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


1

Infrared experimental proof of the orientation of CH4 adsorbed in NaA zeolite by means of the degeneracy splitting of the 03BD3 band,  

E-Print Network (OSTI)

L-255 Infrared experimental proof of the orientation of CH4 adsorbed in NaA zeolite by means (C3v) en face d'un cation Na+. Abstract 2014 The infrared spectrum ofmethane adsorbed in NaA zeolite lattice and connected by windows of 4 A diameter [1]. The methane molecule adsorbed in these cavities

Paris-Sud XI, Université de

2

Rational proofs  

E-Print Network (OSTI)

We study a new type of proof system, where an unbounded prover and a polynomial time verifier interact, on inputs a string x and a function f, so that the Verifier may learn f(x). The novelty of our setting is that there ...

Azar, Pablo Daniel

3

Energy Strategic Planning & Sufficiency Project  

SciTech Connect

This report provides information regarding options available, their advantages and disadvantages, and the costs for pursuing activities to advance Smith River Rancheria toward an energy program that reduces their energy costs, allows greater self-sufficiency and stimulates economic development and employment opportunities within and around the reservation. The primary subjects addressed in this report are as follows: (1) Baseline Assessment of Current Energy Costs--An evaluation of the historical energy costs for Smith River was conducted to identify the costs for each component of their energy supply to better assess changes that can be considered for energy cost reductions. (2) Research Viable Energy Options--This includes a general description of many power generation technologies and identification of their relative costs, advantages and disadvantages. Through this research the generation technology options that are most suited for this application were identified. (3) Project Development Considerations--The basic steps and associated challenges of developing a generation project utilizing the selected technologies are identified and discussed. This included items like selling to third parties, wheeling, electrical interconnections, fuel supply, permitting, standby power, and transmission studies. (4) Energy Conservation--The myriad of federal, state and utility programs offered for low-income weatherization and utility bill payment assistance are identified, their qualification requirements discussed, and the subsequent benefits outlined. (5) Establishing an Energy Organization--The report includes a high level discussion of formation of a utility to serve the Tribal membership. The value or advantages of such action is discussed along with some of the challenges. (6) Training--Training opportunities available to the Tribal membership are identified.

Retziaff, Greg

2005-03-30T23:59:59.000Z

4

Hightlights in Proof Theory  

Science Journals Connector (OSTI)

This is a survey of some of the principal developments in proof theory from its inception in the 1920s, at the hands of David Hilbert, up to the 1960s. Hilbert’s aim was to use this as a tool in his finitary c...

Solomon Feferman Lec. 1.

2000-01-01T23:59:59.000Z

5

Earthquake-proof Buildings  

Science Journals Connector (OSTI)

... more, the recent Quetta earthquake has emphasised the importance of erecting none but earthquake-proof buildings in a district subject to destructive shocks. The few houses in Quetta that could ... flanks of hills composed of hard rocks. Areas in which brickwork was seriously cracked and buildings occasionally fell, lay on the flanks of the hills facing the Pacific and in ...

Charles Davison

1936-01-11T23:59:59.000Z

6

Acceptable Documents for Identity Proofing | Department of Energy  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Acceptable Documents for Identity Proofing Acceptable Documents for Identity Proofing Acceptable Documents for Identity Proofing It is a requirement that the identity of a DOE Digital Identity Subscriber be verified against acceptable identity source documents. A Subscriber must appear in person and present their Federal Agency Identification Badge or HSPD-12 Badge as proof of identity. Either of these badges individually are sufficient identification. Lacking a Federal Agency Identification Badge or HSPD-12 Badge, a Subscriber must appear in person and provide two forms of identity source documents in original form unless otherwise noted. One of these two identity source documents must be a photo ID. Acceptable documents are listed below. Please note that all of these documents can be used to establish identity:

7

Inheritance of Proofs Martin Hofmann  

E-Print Network (OSTI)

. To exploit object­ oriented structuring mechanisms for verification, we ex­ tend the object­model of Pierce to object­oriented proving principles --- including inheri­ tance of proofs, late binding of proofs, and encapsulation of proofs --- as analogues to object­oriented programming principles. We have used Lego, a type

Steffen, Martin

8

Inheritance of Proofs Martin Hofmann  

E-Print Network (OSTI)

. To exploit object- oriented structuring mechanisms for veri cation, we ex- tend the object-model of Pierce to object-oriented proving principles | including inheri- tance of proofs, late binding of proofs, and encapsulation of proofs | as analogues to object-oriented programming principles. We have used Lego, a type

Steffen, Martin

9

Proof of Activity: Extending Bitcoin's Proof of Work via Proof of Stake Iddo Bentov  

E-Print Network (OSTI)

Proof of Activity: Extending Bitcoin's Proof of Work via Proof of Stake Iddo Bentov Computer Mizrahi chromawallet.com alex.mizrahi@gmail.com Meni Rosenfeld Israeli Bitcoin Association meni@bitcoin.org.il Abstract We propose a new protocol for a cryptocurrency, that builds upon the Bitcoin protocol by combining

10

Quantum Attacks on Classical Proof Systems - The Hardness of Quantum Rewinding  

E-Print Network (OSTI)

Quantum zero-knowledge proofs and quantum proofs of knowledge are inherently difficult to analyze because their security analysis uses rewinding. Certain cases of quantum rewinding are handled by the results by Watrous (SIAM J Comput, 2009) and Unruh (Eurocrypt 2012), yet in general the problem remains elusive. We show that this is not only due to a lack of proof techniques: relative to an oracle, we show that classically secure proofs and proofs of knowledge are insecure in the quantum setting. More specifically, sigma-protocols, the Fiat-Shamir construction, and Fischlin's proof system are quantum insecure under assumptions that are sufficient for classical security. Additionally, we show that for similar reasons, computationally binding commitments provide almost no security guarantees in a quantum setting. To show these results, we develop the "pick-one trick", a general technique that allows an adversary to find one value satisfying a given predicate, but not two.

Andris Ambainis; Ansis Rosmanis; Dominique Unruh

2014-04-28T23:59:59.000Z

11

Energy Strategic Planning & Self-Sufficiency Project  

SciTech Connect

This report provides information regarding options available, their advantages and disadvantages, and the costs for pursuing activities to advance Smith River Rancheria toward an energy program that reduces their energy costs, allows greater self-sufficiency and stimulates economic development and employment opportunities within and around the reservation. The primary subjects addressed in this report are as follow: (1) Baseline Assessment of Current Energy Costs--An evaluation of the historical energy costs for Smith River was conducted to identify the costs for each component of their energy supply to better assess changes that can be considered for energy cost reductions. (2) Research Viable Energy Options--This includes a general description of many power generation technologies and identification of their relative costs, advantages and disadvantages. Through this research the generation technology options that are most suited for this application were identified. (3) Project Development Considerations--The basic steps and associated challenges of developing a generation project utilizing the selected technologies are identified and discussed. This included items like selling to third parties, wheeling, electrical interconnections, fuel supply, permitting, standby power, and transmission studies. (4) Energy Conservation--The myriad of federal, state and utility programs offered for low-income weatherization and utility bill payment assistance are identified, their qualification requirements discussed, and the subsequent benefits outlined. (5) Establishing an Energy Organization--The report includes a high level discussion of formation of a utility to serve the Tribal membership. The value or advantages of such action is discussed along with some of the challenges. (6) Training--Training opportunities available to the Tribal membership are identified.

Greg Retzlaff

2005-03-30T23:59:59.000Z

12

Attributive types for proof erasure  

Science Journals Connector (OSTI)

Proof erasure plays an essential role in the paradigm of programming with theorem proving. In this paper, we introduce a form of attributive types that carry an attribute to determine whether expressions assigned such types are eligible for erasure before ...

Hongwei Xi

2007-05-01T23:59:59.000Z

13

Proof for Theorem 1. Proof (sketch) Removing u from Aws  

E-Print Network (OSTI)

triangle inequality. L(u1, u2) > L(c1, u2) - L(c1, u1) and L(c1, u2) > L(c1, c2) - L(c2, u2). Therefore, we know L(u1, u2) > r(C1) + r(C2) + - L(c1, u1) - L(c2, u2). Obviously, r(C1) > L(c1, u1) and r(C2) > L(c2, u2). Consequently, L(u1, u2) > . Proof for Theorem 6. Proof Since L is a metric distance

Ã?zsu, M. Tamer

14

A proof of Beal's conjecture Jamel Ghanouchi  

E-Print Network (OSTI)

A proof of Beal's conjecture Jamel Ghanouchi jamel.ghanouchi@topnet.tn Abstract We begin with Fermat-Catalan equation and propose a proof of Beal's conjecture. Keywords : Beal ; Fermat

15

A Non-linear Dynamical Systems' Proof of Kraft-McMillan Inequality and its Converse  

E-Print Network (OSTI)

In this short paper, we shall provide a dynamical systems' proof of the famous Kraft-McMillan inequality and its converse. Kraft-McMillan inequality is a basic result in information theory which gives a necessary and sufficient condition for the lengths of the codewords of a code to be uniquely decodable.

Nithin Nagaraj

2007-10-31T23:59:59.000Z

16

Sufficient Stochastic Maximum Principle in a Regime-Switching Diffusion Model  

SciTech Connect

We prove a sufficient stochastic maximum principle for the optimal control of a regime-switching diffusion model. We show the connection to dynamic programming and we apply the result to a quadratic loss minimization problem, which can be used to solve a mean-variance portfolio selection problem.

Donnelly, Catherine, E-mail: C.Donnelly@hw.ac.uk [Heriot-Watt University, Department of Actuarial Mathematics and Statistics (United Kingdom)

2011-10-15T23:59:59.000Z

17

Managing Proof Documents for Asynchronous Processing  

E-Print Network (OSTI)

Managing Proof Documents for Asynchronous Processing Holger Gast Wilhelm-Schickard-Institut f¨ur Informatik University of T¨ubingen 22.8.2008 UITP '08, Montreal H. Gast Asynchronous Proof Document Management (UITP '08, 22.8.2008) 1H. Gast Asynchronous Proof Document Management (UITP '08, 22.8.2008) 1H

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

18

Programs as proofs: a synopsis  

Science Journals Connector (OSTI)

Programs are like constructive proofs of their specifications. This analogy is a precise equivalence for certain classes of programs. The connection between formal logic and programs is a foundation for programming methodology superior to that usually adopted. Moreover this equivalence suggests programming languages which are far richer than all others currently in use. These claims are established in this paper introducing parts of the PL/CV programming logics as a source of precision and examples.

Robert L. Constable

1983-01-01T23:59:59.000Z

19

First Proof of Ferromagnetic Carbon  

NLE Websites -- All DOE Office Websites (Extended Search)

Proof of Ferromagnetic Proof of Ferromagnetic Carbon First Proof of Ferromagnetic Carbon Print Wednesday, 25 July 2007 00:00 Although it has long been suspected that carbon belongs on the short list of materials that can be magnetic at room temperature, attempts to prove that pure carbon can be magnetized have remained unconvincing. However, using a proton beam and an advanced x-ray microscope at the Advanced Light Source, a multinational team of researchers from the SSRL, the University of Leipzig, and the ALS finally put to rest doubts about the existence of magnetic carbon. Carbon's Magnetic Personality Attracts Attention Most materials exhibit weak forms of magnetism-diamagnetism, which repels an external magnetic field, or paramagnetism, which attracts it. However, take away the external magnetic field, and the material is no longer magnetized. So-called real magnets like refrigerator and horseshoe magnets are ferromagnets. They're stronger because of long-range ordering, which allows domains of aligned electrons to have a high degree of magnetization. Left on their own, these domains cancel each other out. But when even a small magnetic field is applied to a ferromagnetic material, these domains line up with each other, and the material becomes fully magnetized. In addition, once magnetized, it retains some of its magnetism.

20

On some proofs of Muntz-Szasz theorems  

E-Print Network (OSTI)

, if Z ? & + 1 k= 1 k k k some function x such t'hat x g M. there must be k Since J x du(x) and J x du(x) both [0, 1] I 0, 1] Let f(z) = J t du(t), where f(z) = 0 for (0& 1] To prove the sufficiency of (3. 8), 4 ? 0& Pl& P2& vanish at x=O, u may...) of completeness, if (e ) is not 2 complete in L (0, ~) and if (3. 22) g(p ) = 0, le=1, 2, . . . , where (3 . 23) g(u) = f F(s) e d& , F 6 L {0, ) 0 then it need not be that F = 0 a. e. over (0, ~) . Analogous to the proof of the sufficiency of {3. 8...

Smith, Lyle Ross

2012-06-07T23:59:59.000Z

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


21

Energy and EPA Webinar Series Promotes Tribal Energy Sufficiency and  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Energy and EPA Webinar Series Promotes Tribal Energy Sufficiency Energy and EPA Webinar Series Promotes Tribal Energy Sufficiency and Economic Development Energy and EPA Webinar Series Promotes Tribal Energy Sufficiency and Economic Development January 20, 2012 - 11:40am Addthis The Energy Department's Office of Indian Energy Policy and Programs, Tribal Energy Program, the U.S. Environmental Protection Agency's (EPA's) Green Power Partnership Program, and Western Area Power Administration (WAPA) are conducting a series of webinars that promote tribal energy sufficiency and foster economic development and employment on tribal lands through the use of renewable energy and energy efficiency technologies. The webinar series, which launched in August 2011, will run through September 2012, and cover topics including EPA's Green Power Partnership

22

First Proof of Ferromagnetic Carbon  

NLE Websites -- All DOE Office Websites (Extended Search)

Proof of Ferromagnetic Carbon Print Proof of Ferromagnetic Carbon Print Although it has long been suspected that carbon belongs on the short list of materials that can be magnetic at room temperature, attempts to prove that pure carbon can be magnetized have remained unconvincing. However, using a proton beam and an advanced x-ray microscope at the Advanced Light Source, a multinational team of researchers from the SSRL, the University of Leipzig, and the ALS finally put to rest doubts about the existence of magnetic carbon. Carbon's Magnetic Personality Attracts Attention Most materials exhibit weak forms of magnetism-diamagnetism, which repels an external magnetic field, or paramagnetism, which attracts it. However, take away the external magnetic field, and the material is no longer magnetized. So-called real magnets like refrigerator and horseshoe magnets are ferromagnets. They're stronger because of long-range ordering, which allows domains of aligned electrons to have a high degree of magnetization. Left on their own, these domains cancel each other out. But when even a small magnetic field is applied to a ferromagnetic material, these domains line up with each other, and the material becomes fully magnetized. In addition, once magnetized, it retains some of its magnetism.

23

First Proof of Ferromagnetic Carbon  

NLE Websites -- All DOE Office Websites (Extended Search)

Proof of Ferromagnetic Carbon Print Proof of Ferromagnetic Carbon Print Although it has long been suspected that carbon belongs on the short list of materials that can be magnetic at room temperature, attempts to prove that pure carbon can be magnetized have remained unconvincing. However, using a proton beam and an advanced x-ray microscope at the Advanced Light Source, a multinational team of researchers from the SSRL, the University of Leipzig, and the ALS finally put to rest doubts about the existence of magnetic carbon. Carbon's Magnetic Personality Attracts Attention Most materials exhibit weak forms of magnetism-diamagnetism, which repels an external magnetic field, or paramagnetism, which attracts it. However, take away the external magnetic field, and the material is no longer magnetized. So-called real magnets like refrigerator and horseshoe magnets are ferromagnets. They're stronger because of long-range ordering, which allows domains of aligned electrons to have a high degree of magnetization. Left on their own, these domains cancel each other out. But when even a small magnetic field is applied to a ferromagnetic material, these domains line up with each other, and the material becomes fully magnetized. In addition, once magnetized, it retains some of its magnetism.

24

First Proof of Ferromagnetic Carbon  

NLE Websites -- All DOE Office Websites (Extended Search)

Proof of Ferromagnetic Carbon Print Proof of Ferromagnetic Carbon Print Although it has long been suspected that carbon belongs on the short list of materials that can be magnetic at room temperature, attempts to prove that pure carbon can be magnetized have remained unconvincing. However, using a proton beam and an advanced x-ray microscope at the Advanced Light Source, a multinational team of researchers from the SSRL, the University of Leipzig, and the ALS finally put to rest doubts about the existence of magnetic carbon. Carbon's Magnetic Personality Attracts Attention Most materials exhibit weak forms of magnetism-diamagnetism, which repels an external magnetic field, or paramagnetism, which attracts it. However, take away the external magnetic field, and the material is no longer magnetized. So-called real magnets like refrigerator and horseshoe magnets are ferromagnets. They're stronger because of long-range ordering, which allows domains of aligned electrons to have a high degree of magnetization. Left on their own, these domains cancel each other out. But when even a small magnetic field is applied to a ferromagnetic material, these domains line up with each other, and the material becomes fully magnetized. In addition, once magnetized, it retains some of its magnetism.

25

First Proof of Ferromagnetic Carbon  

NLE Websites -- All DOE Office Websites (Extended Search)

First Proof of Ferromagnetic Carbon Print First Proof of Ferromagnetic Carbon Print Although it has long been suspected that carbon belongs on the short list of materials that can be magnetic at room temperature, attempts to prove that pure carbon can be magnetized have remained unconvincing. However, using a proton beam and an advanced x-ray microscope at the Advanced Light Source, a multinational team of researchers from the SSRL, the University of Leipzig, and the ALS finally put to rest doubts about the existence of magnetic carbon. Carbon's Magnetic Personality Attracts Attention Most materials exhibit weak forms of magnetism-diamagnetism, which repels an external magnetic field, or paramagnetism, which attracts it. However, take away the external magnetic field, and the material is no longer magnetized. So-called real magnets like refrigerator and horseshoe magnets are ferromagnets. They're stronger because of long-range ordering, which allows domains of aligned electrons to have a high degree of magnetization. Left on their own, these domains cancel each other out. But when even a small magnetic field is applied to a ferromagnetic material, these domains line up with each other, and the material becomes fully magnetized. In addition, once magnetized, it retains some of its magnetism.

26

First Proof of Ferromagnetic Carbon  

NLE Websites -- All DOE Office Websites (Extended Search)

Proof of Ferromagnetic Carbon Print Proof of Ferromagnetic Carbon Print Although it has long been suspected that carbon belongs on the short list of materials that can be magnetic at room temperature, attempts to prove that pure carbon can be magnetized have remained unconvincing. However, using a proton beam and an advanced x-ray microscope at the Advanced Light Source, a multinational team of researchers from the SSRL, the University of Leipzig, and the ALS finally put to rest doubts about the existence of magnetic carbon. Carbon's Magnetic Personality Attracts Attention Most materials exhibit weak forms of magnetism-diamagnetism, which repels an external magnetic field, or paramagnetism, which attracts it. However, take away the external magnetic field, and the material is no longer magnetized. So-called real magnets like refrigerator and horseshoe magnets are ferromagnets. They're stronger because of long-range ordering, which allows domains of aligned electrons to have a high degree of magnetization. Left on their own, these domains cancel each other out. But when even a small magnetic field is applied to a ferromagnetic material, these domains line up with each other, and the material becomes fully magnetized. In addition, once magnetized, it retains some of its magnetism.

27

Nuclear criticality safety program development using necessary and sufficient standards  

SciTech Connect

The U.S. Department of Energy`s (DOE`s) Necessary and Sufficient Standards Closure Process has been used to develop a new criticality, safety program manual for the Rocky Flats Environmental Technology Site (RFETS). Standards define and communicate the expectations for performance of work. The purpose of the necessary and sufficient standards closure process is to apply standards determined to be necessary and sufficient for protecting the workers, the public, and the environment. This ensures that the applied standards add value to the performance of the activity; work effectiveness is increased. The purpose of this paper is to briefly describe the process and the results for the selection of national criticality safety standards for use at the Rocky Flats facilities.

Croucher, D.W.; Stachowiak, R.V. [Kaiser-Hill Co., LLC, Golden, CO (United States); Wilson, R.E. [Safe Sites of Colorado, Golden, CO (United States)

1996-12-31T23:59:59.000Z

28

Bistatic SAR: Proof of Concept.  

SciTech Connect

Typical synthetic aperture RADAR (SAR) imaging employs a co-located RADAR transmitter and receiver. Bistatic SAR imaging separates the transmitter and receiver locations. A bistatic SAR configuration allows for the transmitter and receiver(s) to be in a variety of geometric alignments. Sandia National Laboratories (SNL) / New Mexico proposed the deployment of a ground-based RADAR receiver. This RADAR receiver was coupled with the capability of digitizing and recording the signal collected. SNL proposed the possibility of creating an image of targets the illuminating SAR observes. This document describes the developed hardware, software, bistatic SAR configuration, and its deployment to test the concept of a ground-based bistatic SAR. In the proof-of-concept experiments herein, the RADAR transmitter will be a commercial SAR satellite and the RADAR receiver will be deployed at ground level, observing and capturing RADAR ground/targets illuminated by the satellite system.

Yocky, David A.; Doren, Neall E.; Bacon, Terry A.; Wahl, Daniel E.; Eichel, Paul H.; Jakowatz, Charles V,; Delaplain, Gilbert G.; Dubbert, Dale F.; Tise, Bertice L.; White, Kyle R.

2014-10-01T23:59:59.000Z

29

A proof of the Gamma test  

Science Journals Connector (OSTI)

...research-article Research Article A proof of the Gamma test Dafydd Evans Antonia J. Jones Department...dataset of input-output vectors, the Gamma test estimates the variance of the noise on...derivatives. We present a proof of the Gamma test under fairly weak hypotheses. nonlinear...

2002-01-01T23:59:59.000Z

30

PROOF COPY 001502FCT Science and  

E-Print Network (OSTI)

PROOF COPY 001502FCT PROOF COPY 001502FCT Journal of Fuel Cell Science and Technology Technical Brief Efficient Parallel Simulation of Direct Methanol Fuel Cell Models S. Rajasekaran R. Ammar K, Connecticut, 06269 USA Fuel cells, as highly efficient and environment-friendly power sources, have attracted

Rajasekaran, Sanguthevar

31

Variational necessary and sufficient stability conditions for inviscid shear flow  

Science Journals Connector (OSTI)

...University of Texas at Austin, , Austin, TX 78712, USA A necessary and sufficient condition...where the velocity profile is assumed to be monotonic and analytic. It is shown...for continuous spectra and is applicable to other stability problems of infinite-dimensional...

2014-01-01T23:59:59.000Z

32

Unified Resolve 2014: A Proof of Concept for Radiological Support...  

Office of Environmental Management (EM)

Unified Resolve 2014: A Proof of Concept for Radiological Support to Incident Commanders Unified Resolve 2014: A Proof of Concept for Radiological Support to Incident Commanders...

33

A Few Words About Proofs What is a proof?  

E-Print Network (OSTI)

, always nagging at you: "And why is this? And how do you know that?" Whenever you say that something," then think again: that's not good enough! On the other hand, if something is "obvious" because its it­what do you mean by that?" If your argument passes the annoying little sister test, then it

Rojas, J. Maurice

34

Quantum proof systems and entanglement theory  

E-Print Network (OSTI)

Quantum complexity theory is important from the point of view of not only theory of computation but also quantum information theory. In particular, quantum multi-prover interactive proof systems are defined based on ...

Abolfathe Beikidezfuli, Salman

2009-01-01T23:59:59.000Z

35

Identity Proofing Process | Department of Energy  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Identity Proofing Process Identity Proofing Process Identity Proofing Process Prior to being issued a Digital Identity candidates must be identity proofed during a face-to-face meeting with a Trusted Agent of the DOE PKI. If you need assistance finding a DOE Trusted Agent please contact the EITS Service Desk at EITSServiceDesk@hq.doe.gov. When you appear in-person to meet with the DOE Trusted Agent you must bring: The printed copy of the Subscriber Agreement form. You should complete the portion of the form that is surrounded by the blue box. Your Federal ID Badge. This will be used to positively identify you. If you do not have a Federal ID Badge you must bring the following: One valid government-issued picture ID. A drivers license for example. One other form of ID. This does not have to be a picture ID, but

36

FINGERPRINTING SOILS – A PROOF OF CONCEPT  

E-Print Network (OSTI)

as UNDERGRADUATE RESEARCH SCHOLAR A Senior Scholars Thesis by CATHERINE KOBYLINSKI FINGERPRINTING SOILS ? A PROOF OF CONCEPT Approved by: Research Advisor: Cristine Morgan Director for Honors and Undergraduate Research: Sumana Datta Major... iii ABSTRACT Fingerprinting Soils - A Proof of Concept. (April 2011) Catherine Kobylinski Department of Plant Pathology and Microbiology Texas A&M University Research Advisor: Dr. Cristine Morgan Department of Soil and Crop Sciences...

Kobylinski, Catherine

2011-05-06T23:59:59.000Z

37

Geothermal resource requirements for an energy self-sufficient spaceport  

SciTech Connect

Geothermal resources in the southwestern United States provide an opportunity for development of isolated spaceports with local energy self-sufficiency. Geothermal resources can provide both thermal energy and electrical energy for the spaceport facility infrastructure and production of hydrogen fuel for the space vehicles. In contrast to hydrothermal resources by which electric power is generated for sale to utilities, hot dry rock (HDR) geothermal resources are more wide-spread and can be more readily developed at desired spaceport locations. This paper reviews a dynamic model used to quantify the HDR resources requirements for a generic spaceport and estimate the necessary reservoir size and heat extraction rate. The paper reviews the distribution of HDR resources in southern California and southern New Mexico, two regions where a first developmental spaceport is likely to be located. Finally, the paper discusses the design of a HDR facility for the generic spaceport and estimates the cost of the locally produced power.

Kruger, P.; Fioravanti, M. [Stanford Univ., CA (United States). Civil Engineering Dept.; Duchane, D.; Vaughan, A. [Los Alamos National Lab., NM (United States). Earth and Environmental Sciences Div.

1997-01-01T23:59:59.000Z

38

Short proofs of the Quantum Substate Theorem  

E-Print Network (OSTI)

The Quantum Substate Theorem due to Jain, Radhakrishnan, and Sen (2002) gives us a powerful operational interpretation of relative entropy, in fact, of the observational divergence of two quantum states, a quantity that is related to their relative entropy. Informally, the theorem states that if the observational divergence between two quantum states rho, sigma is small, then there is a quantum state rho' close to rho in trace distance, such that rho' when scaled down by a small factor becomes a substate of sigma. We present new proofs of this theorem. The resulting statement is optimal up to a constant factor in its dependence on observational divergence. In addition, the proofs are both conceptually simpler and significantly shorter than the earlier proof.

Rahul Jain; Ashwin Nayak

2011-03-31T23:59:59.000Z

39

India's baseline plan for nuclear energy self-sufficiency.  

SciTech Connect

India's nuclear energy strategy has traditionally strived for energy self-sufficiency, driven largely by necessity following trade restrictions imposed by the Nuclear Suppliers Group (NSG) following India's 'peaceful nuclear explosion' of 1974. On September 6, 2008, the NSG agreed to create an exception opening nuclear trade with India, which may create opportunities for India to modify its baseline strategy. The purpose of this document is to describe India's 'baseline plan,' which was developed under constrained trade conditions, as a basis for understanding changes in India's path as a result of the opening of nuclear commerce. Note that this treatise is based upon publicly available information. No attempt is made to judge whether India can meet specified goals either in scope or schedule. In fact, the reader is warned a priori that India's delivery of stated goals has often fallen short or taken a significantly longer period to accomplish. It has been evident since the early days of nuclear power that India's natural resources would determine the direction of its civil nuclear power program. It's modest uranium but vast thorium reserves dictated that the country's primary objective would be thorium utilization. Estimates of India's natural deposits vary appreciably, but its uranium reserves are known to be extremely limited, totaling approximately 80,000 tons, on the order of 1% of the world's deposits; and nominally one-third of this ore is of very low uranium concentration. However, India's roughly 300,000 tons of thorium reserves account for approximately 30% of the world's total. Confronted with this reality, the future of India's nuclear power industry is strongly dependent on the development of a thorium-based nuclear fuel cycle as the only way to insure a stable, sustainable, and autonomous program. The path to India's nuclear energy self-sufficiency was first outlined in a seminal paper by Drs. H. J. Bhabha and N. B. Prasad presented at the Second United Nations Conference on the Peaceful Uses of Atomic Energy in 1958. The paper described a three stage plan for a sustainable nuclear energy program consistent with India's limited uranium but abundant thorium natural resources. In the first stage, natural uranium would be used to fuel graphite or heavy water moderated reactors. Plutonium extracted from the spent fuel of these thermal reactors would drive fast reactors in the second stage that would contain thorium blankets for breeding uranium-233 (U-233). In the final stage, this U-233 would fuel thorium burning reactors that would breed and fission U-233 in situ. This three stage blueprint still reigns as the core of India's civil nuclear power program. India's progress in the development of nuclear power, however, has been impacted by its isolation from the international nuclear community for its development of nuclear weapons and consequent refusal to sign the Nuclear Nonproliferation Treaty (NPT). Initially, India was engaged in numerous cooperative research programs with foreign countries; for example, under the 'Atoms for Peace' program, India acquired the Cirus reactor, a 40 MWt research reactor from Canada moderated with heavy water from the United States. India was also actively engaged in negotiations for the NPT. But, on May 18, 1974, India conducted a 'peaceful nuclear explosion' at Pokharan using plutonium produced by the Cirus reactor, abruptly ending the era of international collaboration. India then refused to sign the NPT, which it viewed as discriminatory since it would be required to join as a non-nuclear weapons state. As a result of India's actions, the Nuclear Suppliers Group (NSG) was created in 1975 to establish guidelines 'to apply to nuclear transfers for peaceful purposes to help ensure that such transfers would not be diverted to unsafeguarded nuclear fuel cycle or nuclear explosive activities. These nuclear export controls have forced India to be largely self-sufficient in all nuclear-related technologies.

Bucher, R .G.; Nuclear Engineering Division

2009-01-01T23:59:59.000Z

40

A proof of Price's Law on Schwarzschild black hole manifolds for all angular momenta  

E-Print Network (OSTI)

Price's Law states that linear perturbations of a Schwarzschild black hole fall off as $t^{-2\\ell-3}$ for $t \\to \\infty$ provided the initial data decay sufficiently fast at spatial infinity. Moreover, if the perturbations are initially static (i.e., their time derivative is zero), then the decay is predicted to be $t^{-2\\ell-4}$. We give a proof of $t^{-2\\ell-2}$ decay for general data in the form of weighted $L^1$ to $L^\\infty$ bounds for solutions of the Regge--Wheeler equation. For initially static perturbations we obtain $t^{-2\\ell-3}$. The proof is based on an integral representation of the solution which follows from self--adjoint spectral theory. We apply two different perturbative arguments in order to construct the corresponding spectral measure and the decay bounds are obtained by appropriate oscillatory integral estimates.

Roland Donninger; Wilhelm Schlag; Avy Soffer

2009-08-28T23:59:59.000Z

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


41

The Proof is in the Pudding: How Refrigerator Standards Have Saved  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

The Proof is in the Pudding: How Refrigerator Standards Have Saved The Proof is in the Pudding: How Refrigerator Standards Have Saved Consumers $Billions The Proof is in the Pudding: How Refrigerator Standards Have Saved Consumers $Billions July 11, 2011 - 12:33pm Addthis Today’s refrigerators have been designed to save energy and money without detriment to capacity, functionality, or extra features. | Image source: Building Technologies Program Today's refrigerators have been designed to save energy and money without detriment to capacity, functionality, or extra features. | Image source: Building Technologies Program Roland Risser Roland Risser Program Director, Building Technologies Office What does this mean for me? Today's refrigerators use only about 25 percent of the energy compared to models built in 1975. They've also increased in size by almost 20 percent, with lots of

42

The Proof is in the Pudding: How Refrigerator Standards Have Saved  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

The Proof is in the Pudding: How Refrigerator Standards Have Saved The Proof is in the Pudding: How Refrigerator Standards Have Saved Consumers $Billions The Proof is in the Pudding: How Refrigerator Standards Have Saved Consumers $Billions July 11, 2011 - 12:33pm Addthis Today’s refrigerators have been designed to save energy and money without detriment to capacity, functionality, or extra features. | Image source: Building Technologies Program Today's refrigerators have been designed to save energy and money without detriment to capacity, functionality, or extra features. | Image source: Building Technologies Program Roland Risser Roland Risser Program Director, Building Technologies Office What does this mean for me? Today's refrigerators use only about 25 percent of the energy compared to models built in 1975. They've also increased in size by almost 20 percent, with lots of

43

Epistemology and legal regulation of proof  

Science Journals Connector (OSTI)

......factors, such as the role of political ideology, governmental structure...proof| Law, Probability and Risk (2003) 2, 117-130 Epistemology...factors, such as the role of political ideology, governmental structure...individual and group proclivities to risk. It is also possible that......

Mirjan Damaska

2003-06-01T23:59:59.000Z

44

Truth and Proof: The Platonism of Mathematics  

E-Print Network (OSTI)

3 Truth and Proof: The Platonism of Mathematics 1 What is the relation in mathematics between truth the Platonist (or platonist or realist) point of view toward mathematics. On the other hand, we learn mathematics by learning how to do things-- for example, to count, compute, solve equations, and more generally

Koellner, Peter

45

Explosion proof vehicle for tank inspection  

DOE Patents (OSTI)

An Explosion Proof Vehicle (EPV) having an interior substantially filled with an inert fluid creating an interior pressure greater than the exterior pressure. One or more flexible tubes provide the inert fluid and one or more electrical conductors from a control system to the vehicle. The vehicle is preferably used in subsurface tank inspection, whereby the vehicle is submerged in a volatile fluid.

Zollinger, William T. (Idaho Falls, ID); Klingler, Kerry M. (Idaho Falls, ID); Bauer, Scott G. (Idaho Falls, ID)

2012-02-28T23:59:59.000Z

46

A proof of Beal's conjecture Jamel Ghanouchi  

E-Print Network (OSTI)

1 A proof of Beal's conjecture Jamel Ghanouchi RIME Dpt Mathematics jamel generalize our approach to Beal equation and discuss the solutions. (Keywords : Diophantine equations by Lebesgue in 1850. We solve here the equation and prove that Beal equation is related to this problem

Paris-Sud XI, Université de

47

A proof of Beal conjecture Jamel Ghanouchi  

E-Print Network (OSTI)

A proof of Beal conjecture Jamel Ghanouchi Ecole Supérieure des Sciences et Techniques de Tunis jamel.ghanouchi@topnet.tn Abstract ( MSC=11D04) We begin with Beal equation Zc = Xa + Y b and prove that it does not have solutions for both a > 2, b > 2 and c > 2 which is Beal conjecture. (Keywords

48

File:Proof2.pdf | Open Energy Information  

Open Energy Info (EERE)

Proof2.pdf Jump to: navigation, search File File history File usage File:Proof2.pdf Size of this preview: 463 599 pixels. Other resolution: 464 600 pixels. Go to page 1 2 Go...

49

Minimal Bell-Kochen-Specker proofs with POVMs on qubits  

E-Print Network (OSTI)

There are many different definitions of what a Bell-Kochen-Specker proof with POVMs might be. Here we present and discuss the minimal proof on qubits for three of these definitions and show that they are indeed minimal.

A. A. Methot

2005-09-28T23:59:59.000Z

50

JODY AZZOUNI. Tracking Reason: Proof, Consequence and Truth  

Science Journals Connector (OSTI)

......Reviews Jody Azzouni. Tracking Reason: Proof, Consequence and Truth Conrad Asmus * * School of Philosophy, Anthropology...gmail.com Jody Azzouni. Tracking Reason: Proof, Consequence and Truth . New York: Oxford University Press......

Conrad Asmus

2009-10-01T23:59:59.000Z

51

How to Make Ad Hoc Proof Automation Less Ad Hoc  

E-Print Network (OSTI)

How to Make Ad Hoc Proof Automation Less Ad Hoc Georges Gonthier1 Beta Ziliani2 Aleks Nanevski3 Software Institute, Madrid ICFP 2011, Tokyo #12;Why proof automation at ICFP? Ad hoc polymorphism Overloading terms Ad hoc proof automation Overloading lemmas "How to make ad hoc polymorphism less ad hoc

Dreyer, Derek

52

Representation Systems and Undergraduate Proof Production: A Comment on Weber  

E-Print Network (OSTI)

Representation Systems and Undergraduate Proof Production: A Comment on Weber Lara Alcock & Matthew proof production occurs when much of the prover's work takes place [outside] the representation system systems involved in undergraduate proof production. We discuss these issues further below. However, we

Inglis, Matthew

53

Energetic Science and Piranha-Proof Armor  

Office of Science (SC) Website

Energetic Energetic Science and Piranha-Proof Armor News Featured Articles 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 Science Headlines Presentations & Testimony News Archives Contact Information Office of Science U.S. Department of Energy 1000 Independence Ave., SW Washington, DC 20585 P: (202) 586-5430 12.12.13 Energetic Science and Piranha-Proof Armor Unique structure of incredible, adaptable armor revealed through Berkeley Lab's Advanced Light Source. Print Text Size: A A A Subscribe FeedbackShare Page Click to enlarge photo. Enlarge Photo Arapaima gigas is an air-breathing fresh water fish in the Amazon Basin that swims with impunity through piranha-infested waters. Photo courtesy of Jeff Kubina, National Geographic Arapaima gigas is an air-breathing fresh water fish in the Amazon Basin

54

Necessary and Sufficient Conditions for Success of the Metropolis Algorithm for Optimization  

E-Print Network (OSTI)

Necessary and Sufficient Conditions for Success of the Metropolis Algorithm for Optimization, or in other words, necessary and sufficient conditions, for the success of the algorithm, both.e., necessary and sufficient conditions) for the success of the Metropolis algorithm for optimization. As our

Biswas, Somenath

55

ATAC Process Proof of Concept Final Report  

SciTech Connect

Researchers at INL with funding from the Department of Energy’s Office of Electricity Delivery and Energy Reliability (DOE-OE) evaluated a novel approach for near real-time consumption of threat intelligence. Demonstration testing in an industry environment supported the development of this new process to assist the electric sector in securing their critical networks. This report provides the reader with an understanding of the methods used during this proof of concept project. The processes and templates were further advanced with an industry partner during an onsite assessment. This report concludes with lessons learned and a roadmap for final development of these materials for use by industry.

Bri Rolston; Sarah Freeman

2014-03-01T23:59:59.000Z

56

One-Piece Leak-Proof Battery  

DOE Patents (OSTI)

The casing of a leak-proof one-piece battery is made of a material comprising a mixture of at least a matrix based on polypropylene and an alloy of a polyamide and a polypropylene. The ratio of the matrix to the alloy is in the range 0.5 to 6 by weight. The alloy forms elongate arborescent inclusions in the matrix such that, on average, the largest dimension of a segment of the arborescence is at least twenty times the smallest dimension of the segment.

Verhoog, Roelof (Bordeaux, FR)

1999-03-23T23:59:59.000Z

57

NMOSE-Proof of Completion of Well | Open Energy Information  

Open Energy Info (EERE)

Citation NMOSE-Proof of Completion of Well (2014). Retrieved from "http:en.openei.orgwindex.php?titleNMOSE-ProofofCompletionofWell&oldid727378" Categories: References...

58

Idaho Statement of Completion for Submitting Proof of Beneficial...  

Open Energy Info (EERE)

Proof of Beneficial Use (DWR Form 217). 112009. Retrieved from "http:en.openei.orgwindex.php?titleIdahoStatementofCompletionforSubmittingProofofBeneficialUse(DWR...

59

Nevada Proof of Completion of Work (Water Right) | Open Energy...  

Open Energy Info (EERE)

search OpenEI Reference LibraryAdd to library Form: Nevada Proof of Completion of Work (Water Right) Abstract Required notice of completion of diversion works for...

60

Nevada Proof of Application of Water to Beneficial Use | Open...  

Open Energy Info (EERE)

Notice Form Topic Proof of Application of Water to Beneficial Use Organization State Engineer of the State of Nevada Published Publisher Not Provided, 072013 DOI Not Provided...

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


61

Necessary and Sufficient Conditions for Success of the Nuclear Norm Heuristic for Rank Minimization  

E-Print Network (OSTI)

Necessary and Sufficient Conditions for Success of the Nuclear Norm Heuristic for Rank Minimization this distribution satisfy our conditions for success with overwhelming probability provided the number

Recht, Ben

62

PROOF COPY 016212PHP Comment on ``Stationary equilibria of self-gravitating quasineutral dusty  

E-Print Network (OSTI)

PROOF COPY 016212PHP PROOF COPY 016212PHP Comment on ``Stationary equilibria of self/2002/9(12)/1/3/$19.00 © 2002 American Institute of Physics PROOF COPY 016212PHP #12;PROOF COPY 016212PHP PROOF COPY 016212PHP Now comes the crucial step. ``In order to obtain a closed form equation

Roy, Subrata

63

Project management process ontologies: a proof of concept  

E-Print Network (OSTI)

to be familiar. #12;A large number of written procedures incurs the risk that project progress is slowed becauseProject management process ontologies: a proof of concept Robert T. Hughes Department of Computing of representing project management processes as ontologies. The proof of concept is the creation of a prototype

Winstanley, Graham

64

A Temporal Proof Methodology for Reactive Systems \\Lambda Zohar Manna  

E-Print Network (OSTI)

concise presentations of complex proofs using the de­ vices of transition tables and proof diagrams. 1, and that a heavy investment in learning all this theoretical material is absolutely nec­ essary. One of the points is required to handle the most important prop­ erties of concurrent programs that occur in practice. The types

Manna, Zohar

65

RANDOMNESS IN PROOF COMPLEXITY Joshua Buresh-Oppenheim  

E-Print Network (OSTI)

RANDOMNESS IN PROOF COMPLEXITY by Joshua Buresh-Oppenheim A thesis submitted in conformity of Toronto Copyright c 2005 by Joshua Buresh-Oppenheim #12;Abstract Randomness in Proof Complexity Joshua Buresh-Oppenheim Doctor of Philosophy Graduate Department of Computer Science University of Toronto 2005

Penn, Gerald

66

Short proofs of the Quantum Substate Theorem National U. Singapore  

E-Print Network (OSTI)

Short proofs of the Quantum Substate Theorem Rahul Jain National U. Singapore Ashwin Nayak U. Waterloo December 30, 2011 Abstract The Quantum Substate Theorem due to Jain, Radhakrishnan, and Sen (2002 a substate of . We present new proofs of this theorem. The resulting statement is optimal up to a constant

Nayak, Ashwin

67

The Automation of Sound Reasoning and Successful Proof Finding  

E-Print Network (OSTI)

709 44 The Automation of Sound Reasoning and Successful Proof Finding LARRY WOS AND BRANDEN scientist naturally envisioned the automation of sound rea- soning ­ reasoning in which conclusions, and find proofs. But can such logical reasoning be fully automated? Can a single computer program

Fitelson, Branden

68

Uncorrected Proof Copy Finding Genes by Using Computational Tools 85  

E-Print Network (OSTI)

Uncorrected Proof Copy Finding Genes by Using Computational Tools 85 Job: Plant Functional Genomics;Uncorrected Proof Copy 86 Davuluri and Zhang Job: Plant Functional Genomics--Grotewold Compositor: Nettype Job: Plant Functional Genomics--Grotewold Compositor: Nettype Chapter: Chapter 6 Date: 3/15/2003 Pub

69

Vibration Proof Construction of 1000kV Electron Microscope  

Science Journals Connector (OSTI)

......University Press 1970 other ORIGINAL Vibration Proof Construction of 1000kV Electron...with the center of gravity. That is, a vibration proof hanging console was made as a method...protecting a 1000kV Electron Microscope from vibration, and this allowed the whole instrument......

Yoshio SAKITANI; Susumu OZASA

1970-01-01T23:59:59.000Z

70

Upper limits to surface-force disturbances on LISA proof masses and the possibility of observing galactic binaries  

Science Journals Connector (OSTI)

We have measured surface-force noise on a hollow replica of a LISA proof mass surrounded by its capacitive motion sensor. Forces are detected through the torque exerted on the proof mass by means of a torsion pendulum in the 0.1–30 mHz range. The sensor and electronics have the same design as for the flight hardware, including 4 mm gaps around the proof mass. The measured upper limit for forces would allow detection of a number of galactic binaries signals with signal-to-noise ratio up to ?40 for 1 yr integration. We also discuss how LISA Pathfinder will substantially improve this limit, approaching the LISA performance.

Ludovico Carbone; Giacomo Ciani; Rita Dolesi; Mauro Hueller; David Tombolato; Stefano Vitale; William Joseph Weber; Antonella Cavalleri

2007-02-12T23:59:59.000Z

71

A short proof of the Quantum Substate Theorem  

E-Print Network (OSTI)

The Quantum Substate Theorem due to Jain, Radhakrishnan, and Sen (2009) gives us a powerful operational interpretation of the observational divergence of two quantum states, a quantity that is closely related to their relative entropy. Informally, the theorem states that if the observational divergence between two quantum states rho, sigma is small, then there is a quantum state rho' close to rho in trace norm, such that rho' when scaled down by a small factor becomes a substate of sigma. We present a new proof of this theorem. The resulting statement is stronger and its proof is both conceptually simpler and significantly shorter than the earlier proof.

Jain, Rahul

2011-01-01T23:59:59.000Z

72

AUBELE - self-sufficient LED street light powered by fuel cells  

Science Journals Connector (OSTI)

Energy saving, in connection to renewable energy sources is an important topic. The project AUBELE represents a small step in this direction - a self-sufficient LED street lighting,...

Just, Jens-Uwe; Fischer, Ulrich H P

73

Operation of CANDU power reactor in thorium self-sufficient fuel cycle  

Science Journals Connector (OSTI)

This paper presents the results of calculations for CANDU reactor operation in thorium fuel cycle. Calculations...233U and mode of operation in self-sufficient cycle. For the mode of accumulation of 233U it was a...

B. R. Bergelson; A. S. Gerasimov; G. V. Tikhomirov

2007-02-01T23:59:59.000Z

74

The relationship between wheat self-sufficiency and national wheat trade policy  

E-Print Network (OSTI)

is to be empha- sized, however, that neither hypothesis makes any assertion as to cause; prediction is the goal, and thus association is of import). The measure of wheat self-sufficiency ut'lized is the ratio of net wheat imports to domestic wheat consumption... of the self-sufficiency ratio (the basic conditions) are operationalized as measures of domestic availability, domestic demand, and the relationship between pro- ducer price and border price. Analysis utilizes ordinary least squares regression techniques...

Maurer, Alan Borman

1980-01-01T23:59:59.000Z

75

DIRECT LIQUEFACTION PROOF-OF-CONCEPT PROGRAM  

SciTech Connect

This report presents the results of the bench-scale work, Bench Run PB-09, HTI Run Number 227-106, conducted under the DOE Proof-of-Concept Option Program indirect coal liquefaction at Hydrocarbon Technologies Inc. in Lawrenceville, New Jersey. Bench Run PB-09 was conducted using two types of Chinese coal, Shenhua No.2 and Shenhua No.3, and had several goals. One goal was to study the liquefaction performance of Shenhua No.2 and Shenhua No.3 with respect to coal conversion and distillate production. Another goal of Bench Run PB-09 was to study the effect of different GelCatw formulations and loadings. At the same time, the space velocity and the temperature of the fmt reactor, K-1, were varied to optimize the liquefaction of the two Chinese coals. The promoter-modified HTI GelCat{trademark} catalyst was very effective in the direct liquefaction of coal with nearly 92% maf coal conversion with Shenhua No.3 and 93% maf coal conversion with 9 Shenhua No.2. Distillate yields (CQ-524 C)varied from 52-68% maf for Shenhua No.3 coal to 54-63% maf for Shenhua No.2 coal. The primary conclusion from Bench Run PB-09 is that Shenhua No.3 coal is superior to Shenhua No.2 coal in direct liquefaction due to its greater distillate production, although coal conversion is slightly lower and C{sub 1}-C{sub 3} light gas production is higher for Shenhua No.3. The new promoter modified GelCat{trademark} proved successful in converting the two 9 Chinese coals and, under some conditions, producing good distillate yields for a coal-only bench run. Run PB-09 demonstrated significantly better performance of China Shenhua coal using HTI's coal direct liquefaction technology and GelCat{trademark} catalyst than that obtained at China Coal Research Institute (CCRI, coal conversion 88% and distillate yield 61%).

A.G. Comolli; T.L.K. Lee; J. Hu; G. Popper; M.D. Elwell; J. Miller; D. Parfitt; P. Zhou

1999-12-30T23:59:59.000Z

76

Climate-Proofing Energy Systems | Open Energy Information  

Open Energy Info (EERE)

Proofing Energy Systems Proofing Energy Systems Jump to: navigation, search Tool Summary Name: Climate-Proofing Energy Systems Agency/Company /Organization: Helio-International Sector: Energy Topics: GHG inventory, Co-benefits assessment, - Energy Security, Pathways analysis Resource Type: Publications, Guide/manual Website: www.helio-international.org/uploads/Global%20Report.En.pdf?size=429055 Country: Benin, Burkina Faso, Cameroon, Democratic Republic of the Congo, Kenya, Mali, Nigeria, Senegal, Tanzania, Uganda UN Region: Middle Africa Climate-Proofing Energy Systems Screenshot References: CPES[1] Overview "This report explains why a metric for the vulnerability and resilience of energy systems is needed and proposes a methodology. It summarises anticipated climate-induced impacts on key energy systems and outlines

77

Proof of Proper Solid Waste Disposal (West Virginia)  

Energy.gov (U.S. Department of Energy (DOE))

This rule provides guidance to persons occupying a residence or operating a business establishment in this state regarding the approved method of providing proof of proper solid waste disposal to...

78

AUTOMORPHIC GROUP REPRESENTATIONS: A NEW PROOF OF BLATTNER'S THEOREM  

E-Print Network (OSTI)

, and was determined by Shale and Stinespring [21]. The purpose of this article is to give new, simpler proofs(E) -+ £/(2")/[/(l). This aspect, already noted by Shale and Stinespring, has been developed by the present

de la Harpe, Pierre

79

Proof of the chain criterion in Landau theory  

Science Journals Connector (OSTI)

A simplified proof is given for the equivalence between the Landau necessary condition and the chain criterion for the possible symmetry breakings in the Landau theory of phase transitions.

Giuseppe Gaeta

1984-06-01T23:59:59.000Z

80

The Proof of the Proxy: Altmetrics, Impact, & Use  

E-Print Network (OSTI)

, Chris Caruso, and Robert Hilliker. Moderated by Matthew K. Gold. March 6, 2013. http://videostreaming.gc.cuny.edu/videos/video/494/in/channel/42/ ?? Stacy Konkiel, ?altmetrics: An App Overview,? (October 7, 2012), https...the proof of the proxy: altmetrics, impact, & use ScholComm: Refresh! Sarah Potvin, Metadata Librarian Texas A&M University Libraries May 21, 2013 [spotvin@library.tamu.edu] [the trouble with idioms] The proof of the pudding...

Potvin, Sarah

2013-06-04T23:59:59.000Z

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


81

CIRCULATING MOVING BED COMBUSTION PROOF OF CONCEPT  

SciTech Connect

Circulating Moving Bed (CMB) combustion technology has its roots in traditional circulating fluidized bed technology and involves a novel method of solid fuel combustion and heat transfer. CMB technology represents a step change in improved performance and cost relative to conventional PC and FBC boilers. The CMB heat exchanger preheats the energy cycle working fluid, steam or air, to the high temperature levels required in systems for advanced power generation. Unique features of the CMB are the reduction of the heat transfer surfaces by about 60% as a result of the enhanced heat transfer rates, flexibility of operation, and about 30% lower cost over existing technology. The CMB Phase I project ran from July 2001 through March 2003. Its objective was to continue development of the CMB technology with a series of proof of concept tests. The tests were conducted at a scale that provided design data for scale up to a demonstration plant. These objectives were met by conducting a series of experiments in ALSTOM Power’s Multi-use Test Facility (MTF). The MTF was modified to operate under CMB conditions of commercial interest. The objective of the tests were to evaluate gas-to-solids heat transfer in the upper furnace, assess agglomeration in the high temperature CMB bubbling bed, and evaluate solids-to-tube heat transfer in the moving bed heat exchanger. The Phase I program results showed that there are still some significant technical uncertainties that needed to be resolved before the technology can be confidently scaled up for a successful demonstration plant design. Work remained in three primary areas: • scale up of gas to solid heat transfer • high temperature finned surface design • the overall requirements of mechanical and process design. The CMB Phase II workscope built upon the results of Phase I and specifically addressed the remaining technical uncertainties. It included a scaled MTF heat transfer test to provide the necessary data to scale up gas-to-solids heat transfer. A stress test rig was built and tested to provide validation data for a stress model needed to support high temperature finned surface design. Additional cold flow model tests and MTF tests were conducted to address mechanical and process design issues. This information was then used to design and cost a commercial CMB design concept. Finally, the MBHE was reconfigured into a slice arrangement and tested for an extended duration at a commercial CFB plant.

Jukkola, Glen

2010-06-30T23:59:59.000Z

82

Meaning, Truth, and Phenomenology  

E-Print Network (OSTI)

to my account of a reconstituted phenomenology (Newell).Introduction to Pure Phenomenology, trans. W. Gibson,MEANING , TRUTH, AND PHENOMENOLOGY By Mark Bevir I. CONTACT

Bevir, Mark

2000-01-01T23:59:59.000Z

83

STEM Students Aim to Increase Tribal Self-Sufficiency | Department of  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

STEM Students Aim to Increase Tribal Self-Sufficiency STEM Students Aim to Increase Tribal Self-Sufficiency STEM Students Aim to Increase Tribal Self-Sufficiency November 21, 2013 - 1:37pm Addthis From left to right, Reyna Banteah, Shaun Tsabetsaye, and Jeremy Laselute of Zuni Pueblo, with NREL's Otto VanGeet. Photo by Dennis Schroeder, NREL From left to right, Reyna Banteah, Shaun Tsabetsaye, and Jeremy Laselute of Zuni Pueblo, with NREL's Otto VanGeet. Photo by Dennis Schroeder, NREL Touring NREL's Integrated Biorefinery Research Facility. From left to right: Otto VanGeet, NREL, Jeremy Laselute, Zuni Pueblo, Colton Heaps, NREL, Reyna Banteah, Zuni Pueblo, Shaun Tsabetsaye, Zuni Pueblo, and Chris Gaul, NREL. Photo by Dennis Schroeder, NREL Touring NREL's Integrated Biorefinery Research Facility. From left to

84

but the resolution of 2 was not sufficient to determine whether the C18  

E-Print Network (OSTI)

but the resolution of 2 was not sufficient to determine whether the C18 O emission was con- fined and AUI for funding the PT link project and to Western New Mexico Telephone Company for the use arsenide (GaAs) without losing their polar- ization, so that coherent transport through the active region

Thibado, Paul M.

85

Is the Donnan effect sufficient to explain swelling in brain tissue slices?  

Science Journals Connector (OSTI)

...effect sufficient to explain swelling in brain tissue slices? Georgina E. Lang 1 Peter...University of Glasgow, , Glasgow, UK Brain tissue swelling is a dangerous consequence...mechanical effects that drive swelling of brain tissue slices in an ionic solution bath...

2014-01-01T23:59:59.000Z

86

Necessary and Sufficient Conditions for Absolute Nörlund Summability of Fourier Series  

Science Journals Connector (OSTI)

......established. Thus it has not become possible to obtain Theorem C from Theorem 10(b). To circumvent this difficulty, we pro- ceed, in what follows, in a different way. Since Theorem 11 gives sufficiency of condition (4.8) in reasonable cases, in this......

G. Das; P. C. Mohapatra

1980-09-01T23:59:59.000Z

87

The water concept in the self-sufficient house Drinking rainwater and reusing wastewater  

E-Print Network (OSTI)

The water concept in the self-sufficient house Drinking rainwater and reusing wastewater Decentralized systems for drinking water processing could make a significant contribution to the Millennium the chance to do just that. Lack of drinking water hygiene is one of the main sources of disease transmission

Wehrli, Bernhard

88

File:Proof1.pdf | Open Energy Information  

Open Energy Info (EERE)

Proof1.pdf Proof1.pdf Jump to: navigation, search File File history File usage File:Proof1.pdf Size of this preview: 463 × 599 pixels. Other resolution: 464 × 600 pixels. Go to page 1 2 3 4 Go! next page → next page → Full resolution ‎(1,275 × 1,650 pixels, file size: 79 KB, MIME type: application/pdf, 4 pages) File history Click on a date/time to view the file as it appeared at that time. Date/Time Thumbnail Dimensions User Comment current 12:16, 14 November 2012 Thumbnail for version as of 12:16, 14 November 2012 1,275 × 1,650, 4 pages (79 KB) Dklein2012 (Talk | contribs) You cannot overwrite this file. Edit this file using an external application (See the setup instructions for more information) File usage There are no pages that link to this file. Retrieved from

89

Energetic Science and Piranha-Proof Armor | Department of Energy  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Energetic Science and Piranha-Proof Armor Energetic Science and Piranha-Proof Armor Energetic Science and Piranha-Proof Armor December 16, 2013 - 4:51pm Addthis Arapaima gigas is an air-breathing fresh water fish in the Amazon Basin that swims with impunity through piranha-infested waters. | Photo courtesy of Jeff Kubina, National Geographic. Arapaima gigas is an air-breathing fresh water fish in the Amazon Basin that swims with impunity through piranha-infested waters. | Photo courtesy of Jeff Kubina, National Geographic. Charles Rousseaux Charles Rousseaux Senior Writer, Office of Science How does it work? Arapaima is one of the world's largest freshwater fish, growing up to nine feet long and weighing more than 400 pounds. Arapaima can shrug off such predators thanks to its incredible, adaptable armor. Understanding the unique structure of this armor may help

90

No?rlund means  

E-Print Network (OSTI)

this thesis. TABLE OF CONTENTS Chapter Page I. IN TROD U CTION II. NORLUND MEANS . III. INCLUSION . . 12 BIBLIOGRAPHY . 16 CHAPTER I INTRODUCTION The purpose of this thesis is to investigate a partrcular class of summability methods ? viz...NORLUND MEANS A Thesis by AQUILLA GIBBS DIBRELL III Submitted to the Graduate College of the Texas A&M University in partial fulfillment of the requirements for the degree of MASTER OF SCIENCE May 1968 Major Subject: Mathematics NORLUND...

Dibrell, Aquilla Gibbs, III

1968-01-01T23:59:59.000Z

91

Proof and evolutionary analysis of ancient genome duplication in the  

E-Print Network (OSTI)

Proof and evolutionary analysis of ancient genome duplication in the yeast Saccharomyces cerevisiae ........................................................................................................................................................................................................................... Whole-genome duplication followed by massive gene loss and specialization has long been postulated by searching complete genome sequence for signs of ancient duplication. Here, we show that the yeast

Kellis, Manolis

92

ELECTRONIC PROOF OF SERVICE LIST and ELECTRONIC DISTRIBUTION LIST  

E-Print Network (OSTI)

.state.ca.us Deborah Dyer, Staff Counsel jbabula@energy.state.ca.us Jared Babula, Staff Counsel ronCALIFORNIA ENERGY COMMISSION ELECTRONIC PROOF OF SERVICE LIST and ELECTRONIC DISTRIBUTION LIST Revised 10/15/07 1516 Ninth Street Sacramento, CA 95814 800-822-6228 www.energy.ca.gov STARWOOD

93

Wireless Roadside Inspection Proof-of-Concept Test  

E-Print Network (OSTI)

Wireless Roadside Inspection Proof-of-Concept Test Phase 1A ­ Generating SDMS PeopleNet, a producer Message Set (SDMS). Data obtained during a 10-hour test was compared to similar data obtained through. DESCRIPTIONRESULTS The majority of the data obtained from the PeopleNet SDMS was accurate. However, the tested system

94

Review of Dave Bressoud's "Proofs and Confirmations" Doron ZEILBERGER 1  

E-Print Network (OSTI)

to that tiny set of mathematicians_Polya and Knuth come* * to mind_who are first-rate researchers to some people such as Gregory Chaitin, proofs are i* *ndeed pass'e, and we should start doing quasi efforts by mathematicians to make them rigoro* *us. In recent years, physics has helped mathematics

Zeilberger, Doron

95

Proof-of-Principle Detonation Driven, Linear Electric Generator Facility  

E-Print Network (OSTI)

Proof-of-Principle Detonation Driven, Linear Electric Generator Facility Eric M. Braun, Frank K. Lu is described in which a detonation-driven piston system has been integrated with a linear generator in order in a single mass, two-spring system where the detonation wave pressure may be modeled as a variable force

Texas at Arlington, University of

96

Robust RFID Authentication Protocol with Formal Proof and Its Feasibility  

E-Print Network (OSTI)

security models compatible with formal security analysis tools. We show that an RFID authentication, such as by letting us reference the price, origin and circulation route of specic goods. On the other hand-in-the-middle adversary and communication fault. We dene model and security proofs via a game-based approach makes our

97

Correctness of linear logic proof structures is NL-complete  

Science Journals Connector (OSTI)

We provide new correctness criteria for all fragments (multiplicative, exponential, additive) of linear logic. We use these criteria for proving that deciding the correctness of a linear logic proof structure is NL-complete. Keywords: Complexity classes, Correctness criteria, Linear logic, Nondeterministic logspace

Paulin Jacobé De Naurois; Virgile Mogbil

2011-04-01T23:59:59.000Z

98

Application of failure assessment diagrams to proof test analysis  

SciTech Connect

Failure Assessment Diagrams (FADs) are constructed which are applicable to a proof test analysis. The FADs are based on failure curves derived from published elastic-plastic J solutions for a wide range of structural features (e.g., structural geometries, crack shapes and sizes, and applied loads) and strain hardening rates. It is shown how failure curves can be constructed which are relatively how failure curves can be constructed which are relatively insensitive to detailed structural features. These are utilized in the construction of failure curves for use in determining the maximum construction of failure curves for use in determining the maximum flaw sizes that could just survive a proof test overload, and the critical crack size under service conditions. The application of the derived failure curves to determining the flaw screening capability conferred by proof testing is discussed. The concepts behind the developed failure curves are being incorporated into a ``state-of-the-art`` proof test guidelines handbook being developed for NASA.

Chell, G.G.; McClung, R.C. [Southwest Research Institute, San Antonio, TX (United States); Russell, D.A. [Rockwell International Corp., Canoga Park, CA (United States). Rocketdyne Division

1995-11-01T23:59:59.000Z

99

Addendum to "Proof Rules for Flush Channels" Scott Stoller  

E-Print Network (OSTI)

identical messages (i.e., messages with the same contents and the same F-channel message type) along does not contain enough information to compute + (i.e., there is no definition of the "transitiveAddendum to "Proof Rules for Flush Channels" Scott Stoller Abstract-- The logic presented in [1

Stoller, Scott

100

ON HARNACK'S THEOREM AND EXTENSIONS: A GEOMETRIC PROOF AND APPLICATIONS  

E-Print Network (OSTI)

of a compact orientable surface of genus g are a set of k disjoint simple closed geodesic where 0 k g + 1. The first goal of this article is to give a purely geometric, complete and self-contained proof of this fact in the compactification of the Moduli space of complex curves of genus g, Mg. More concretely, we establish that given two

Parlier, Hugo

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


101

Is the civil 'higher standard of proof ' a coherent concept?  

Science Journals Connector (OSTI)

......This simple formula actually throws light on the HSP problem so merits further examination...San Francisco zoo after closing time on Christmas Day was killed by an escaped tiger. The...parties (or of a story constructed in light of the parties), and that proof is largely......

Ennis McBride

2009-12-01T23:59:59.000Z

102

Prose versus Proof: Wittgenstein on Gödel, Tarski and Truth  

Science Journals Connector (OSTI)

......Proof: Wittgenstein on Godel, Tarski and Truth JULIET FLOYD * * Department of Philosophy...bearing of Godel's work on our notion of truth, addressing an interesting objection that...directed against the idea that the notion of truth plays a determining role in Godel's argument......

JULIET FLOYD

2001-10-01T23:59:59.000Z

103

A proof-theoretic account of classical principles of truth  

Science Journals Connector (OSTI)

Abstract This paper explores the interface between principles of self-applicable truth and classical logic. To this end, the proof-theoretic strength of a number of axiomatic theories of truth over intuitionistic logic is determined. The theories considered correspond to the maximal consistent collections of fifteen truth-theoretic principles as isolated in Leigh and Rathjen (2012).

G.E. Leigh

2013-01-01T23:59:59.000Z

104

An Elementary Proof of a Theorem of Johnson and Lindenstrauss  

E-Print Network (OSTI)

An Elementary Proof of a Theorem of Johnson and Lindenstrauss Sanjoy Dasgupta,1 Anupam Gupta2 1 AT@research.bell-labs.com Received 16 December 2001; accepted 11 July 2002 DOI 10.1002/rsa.10073 ABSTRACT: A result of Johnson of Johnson and Lindenstrauss [13] says that any n point subset of Euclidean space can be embedded in k O

Gupta, Anupam

105

An improved proof-theoretic compilation of logic programs  

Science Journals Connector (OSTI)

In prior work, we showed that logic programming compilation can be given a proof-theoretic justification for generic abstract logic programming languages, and demonstrated this technique in the case of hereditary Harrop formulas and their linear variant. ... Keywords: Abstract Logic Programming, Compilation, Hereditary Harrop Formulas, Well-Moded Logic Programs

Iliano Cervesato

2012-09-01T23:59:59.000Z

106

PROOF-MASS INERTIAL VIBRATION CONTROL USING A SHUNTED  

E-Print Network (OSTI)

PROOF-MASS INERTIAL VIBRATION CONTROL USING A SHUNTED ELECTROMAGNETIC TRANSDUCER Andrew J. Fleming-mass dampers utilize a suspended mass to reduce the vibration experienced by a host structure. Active vibration vibration absorbtion. An electrical impedance is designed and connected to an electromagnetic coil

Fleming, Andrew J.

107

Formal Proof of Abstract Model Checking of Concurrent Garbage Collection  

E-Print Network (OSTI)

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

Hagiya, Masami

108

A COMBINATORIAL PROOF OF RAYLEIGH MONOTONICITY FOR GRAPHS  

E-Print Network (OSTI)

of the Rayleigh monotonicity property of graphs. Consider a (linear, resistive) electrical network, AND D.G. WAGNER Abstract. We give an elementary, self-contained, and purely com- binatorial proof allow graphs to have loops and/or mul- tiple edges. The value of ye is interpreted as the electrical

109

The Means to Prosperity  

Science Journals Connector (OSTI)

... -lished. Mr. Keynes's thesis in essence is the familiar argument that schemes of capital development or, as he terms it, loan- ... development or, as he terms it, loan-expenditure, are the only available means for creating employment, stimulating demand, raising prices, and ...

1933-04-01T23:59:59.000Z

110

Proof Details for "Performance Analysis of Godard-Based Blind Channel Identification"  

E-Print Network (OSTI)

1 Proof Details for "Performance Analysis of Godard-Based Blind Channel Identification" Philip) The bulk of the proof is spent analyzing the righthand term above. E ^^h(0) i - ^h(0) i 2 2 = E ^^h(0) i 2

Schniter, Philip

111

Algebraic proofs of some fundamental theorems in algebraic $K$-theory.  

E-Print Network (OSTI)

We present news proofs of the additivity, resolution and cofinality theorems for the algebraic $K$-theory of exact categories. These proofs are entirely algebraic, based on Grayson's presentation of higher algebraic $K$-groups via binary complexes.

Tom Harris

112

Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant  

E-Print Network (OSTI)

We present Fiat, a library for the Coq proof assistant supporting refinement of declarative specifications into efficient functional programs with a high degree of automation. Each refinement process leaves a proof trail, ...

Delaware, Benjamin James

113

Sufficient conditions for uniform bounds in abstract polymer systems and explorative partition schemes  

E-Print Network (OSTI)

We present several new sufficient conditions for uniform boundedness of the reduced correlations and free energy of an abstract polymer system in a complex multidisc around zero fugacity. They resolve a discrepancy between two incomparable and previously known extensions of Dobrushin's classic condition. All conditions arise from an extension of the tree-operator approach introduced by Fern\\`{a}ndez & Procacci combined with a novel family of partition schemes of the spanning subgraph complex of a cluster. The key technique is the increased transfer of structural information from the partition scheme to a tree-operator on an enhanced space.

Christoph Temmel

2014-08-25T23:59:59.000Z

114

The German plan for synthetic fuel self-sufficiency, 1933-1942  

E-Print Network (OSTI)

Major Subject: History THE GERMAN PLAN FOR SYNTHETIC FUEL SELF-SUFFICIENCY, 1933-1942 A Thesis by TERRY HUNT TOOLEY Approved as to style and content by: Chairman of Committee Head of Depart ent ~kaM PL~~~~ Member Member Member -. December... 1978 111 ABSTRACT The German Plan for Synthet1c Fuel Self-SuFficiency, 1933-1942 (December 1978) Terry Hunt Tooley, B. A. , Texas ARM Dn1versity Cha1rman of Advisory Committee: Or. Arnold P. Krammer By ach1eving a cooperation between industry...

Tooley, Terry Hunt

2012-06-07T23:59:59.000Z

115

A PROOF OF THE MACDONALD-MORRIS ROOT SYSTEM CONJECTURE FOR F4  

E-Print Network (OSTI)

A PROOF OF THE MACDONALD-MORRIS ROOT SYSTEM CONJECTURE FOR F4 F.G. GARVAN Abstract. We give a proof of the Macdonald-Morris root system conjecture for F4 that draws on ideas from Zeilberger's recent proof of the G 2. The Macdonald-Morris root system conjecture for F4 is (1.1) C.T. 1i

Garvan, Frank

116

Wichita's Self Sufficient Energy Demonstration Center, The Energy Place. Final technical progress report  

SciTech Connect

This final technical report summarizes the results of a Program entitled, Wichita's Self Sufficient Energy Demonstration Center, The Energy Place operated by the City of Wichita Energy Place under a grant from the US Department of Energy within the Appropriate Technology Program. The grant for $23,204 was awarded on October 6, 1980. The main thrust of the proposal was to install and monitor the performance of a Darrieus Style Wind Generator. Shortly after the project began, it was recommended by the consultants from the Wind Energy Lab at Wichita State University, that the type of machine be changed from a Darrieus to a horizontal axis downwind SWECS (small wind energy conversion system). This change was approved by DOE. On August 6, 1981, an Enertech 4000 Wind Generator was installed at The Energy Place. The performance of the machine and its environmental impact have been studied by City staff with the assistance of two consultants. A 5000 watt gasoline powered alternator was also purchased and installed to provide the electrical needs of part of The Energy Place. This experiment demonstrates the self-sufficiency option that is not attainable with the wind system studied. This report recaps the first five quarters of the project, the final quarter and the reports of the consultants.

Pajor, J.T.

1982-01-01T23:59:59.000Z

117

Notes on the proof of the KKV conjecture  

E-Print Network (OSTI)

The Katz-Klemm-Vafa conjecture expresses the Gromov-Witten theory of K3 surfaces (and K3-fibred 3-folds in fibre classes) in terms of modular forms. Its recent proof gives the first non-toric geometry in dimension greater than 1 where Gromov-Witten theory is exactly solved in all genera. We survey the various steps in the proof. The MNOP correspondence and a new Pairs/Noether-Lefschetz correspondence for K3-fibred 3-folds transform the Gromov-Witten problem into a calculation of the full stable pairs theory of a local K3-fibred 3-fold. The stable pairs calculation is then carried out via degeneration, localisation, vanishing results, and new multiple cover formulae.

Pandharipande, R

2014-01-01T23:59:59.000Z

118

Notes on the proof of the KKV conjecture  

E-Print Network (OSTI)

The Katz-Klemm-Vafa conjecture expresses the Gromov-Witten theory of K3 surfaces (and K3-fibred 3-folds in fibre classes) in terms of modular forms. Its recent proof gives the first non-toric geometry in dimension greater than 1 where Gromov-Witten theory is exactly solved in all genera. We survey the various steps in the proof. The MNOP correspondence and a new Pairs/Noether-Lefschetz correspondence for K3-fibred 3-folds transform the Gromov-Witten problem into a calculation of the full stable pairs theory of a local K3-fibred 3-fold. The stable pairs calculation is then carried out via degeneration, localisation, vanishing results, and new multiple cover formulae.

R. Pandharipande; R. P. Thomas

2014-11-04T23:59:59.000Z

119

mean | OpenEI  

Open Energy Info (EERE)

86 86 Varnish cache server Browse Upload data GDR 429 Throttled (bot load) Error 429 Throttled (bot load) Throttled (bot load) Guru Meditation: XID: 2142280586 Varnish cache server mean Dataset Summary Description This dataset is part of a larger internal dataset at the National Renewable Energy Laboratory (NREL) that explores various characteristics of large solar electric (both PV and CSP) facilities around the United States. This dataset focuses on the land use characteristics for solar facilities that are either under construction or currently in operation. Source Land-Use Requirements for Solar Power Plants in the United States Date Released June 25th, 2013 (7 months ago) Date Updated Unknown Keywords acres area average concentrating solar power csp Density electric

120

A proof of Scott's correction for Matter Pedro Balodis Matesanz  

E-Print Network (OSTI)

-Fermi theory (TF in the next), distances scale as the 1=3 power of the nuclear average charge Z, i.e, we would) such that E Q R;Z;N := inf 2H; k k=1 h ; HR;Z;N i H #21; M X j=1 E Q (Z j ) + cZ 7=3 M X j=1 Z 1=3 Ã? j #1A proof of Scott's correction for Matter Pedro Balodis Matesanz January 2002 Abstract In this paper

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


121

ReACT Methodology Proof of Concept Final Report  

SciTech Connect

The Department of Energy’s Office of Electricity Delivery and Energy Reliability (DOE-OE) funded INL Researchers to evaluate a novel process for assessing and mitigating cyber security risks. The proof of concept level of the method was tested in an industry environment. This case study, plus additional case studies will support the further development of the method into a tool to assist industry in securing their critical networks. This report provides an understanding of the process developed in the Response Analysis and Characterization Tool (ReACT) project. This report concludes with lessons learned and a roadmap for final development of these tools for use by industry.

Bri Rolston; Sarah Freeman

2014-03-01T23:59:59.000Z

122

Stationary black-hole binaries: A non-existence proof  

E-Print Network (OSTI)

We resume former discussions of the question, whether the spin-spin repulsion and the gravitational attraction of two aligned black holes can balance each other. Based on the solution of a boundary problem for disconnected (Killing) horizons and the resulting violation of characteristic black hole properties, we present a non-existence proof for the equilibrium configuration in question. From a mathematical point of view, this result is a further example for the efficiency of the inverse ("scattering") method in non-linear theories.

Gernot Neugebauer; Jörg Hennig

2014-06-23T23:59:59.000Z

123

Necessary and Sufficient Standards Closure Process pilot: F- and H-Area groundwater remediation  

SciTech Connect

The DOE Standards Committee`s Necessary and Sufficient (N and S) Standards Closure Process was piloted at SRS on the F- and H- Area Seepage Basins Groundwater Remediation Project. For this existing Environmental Restoration project, the set of N and S standards for design and safety documentation were identified, independently confirmed and approved. Implementation of these standards on the project can lead to a $2.8 Million cost savings on the design, construction/installation, and safety documentation scope of $18 Million. These savings were primarily from site design of power distribution and piping for the water treatment units. Also contributing to the savings were a more appropriate level of safety documentation and the alternate ``commercial`` bids made by vendors in response to a request for proposals for water treatment units. The use of the N and S Process on an ER activity, details on the cost savings, lessons learned and recommendations for broader implementation of the N and S Process are described herein.

Bullington, M.

1995-09-25T23:59:59.000Z

124

Are typical human serum BPA concentrations measurable and sufficient to be estrogenic in the general population?  

Science Journals Connector (OSTI)

Abstract Mammalian estrogen receptors modulate many physiological processes. Chemicals with structural features similar to estrogens can interact with estrogen receptors to produce biological effects similar to those caused by endogenous estrogens in the body. Bisphenol A (BPA) is a structural analogue of estrogen that binds to estrogen receptors. Exposure to BPA in humans is virtually ubiquitous in industrialized societies, but BPA is rapidly detoxified by metabolism and does not accumulate in the body. Whether or not serum concentrations of BPA in humans are sufficiently high to disrupt normal estrogen-related biology is the subject of intense political and scientific debate. Here we show a convergence of robust methods for measuring or calculating serum concentrations of BPA in humans from 93 published studies of more than 30,000 individuals in 19 countries across all life stages. Typical serum BPA concentrations are orders of magnitude lower than levels measurable by modern analytical methods and below concentrations required to occupy more than 0.0009% of Type II Estrogen Binding Sites, GPR30, ER? or ER? receptors. Occupancies would be higher, but ?0.04%, for the highest affinity receptor, ERR?. Our results show limited or no potential for estrogenicity in humans, and question reports of measurable BPA in human serum.

Justin Teeguarden; Sesha Hanson-Drury; Jeffrey W. Fisher; Daniel R. Doerge

2013-01-01T23:59:59.000Z

125

Optogenetic Mimicry of the Transient Activation of Dopamine Neurons by Natural Reward Is Sufficient for Operant Reinforcement  

E-Print Network (OSTI)

Activation of dopamine receptors in forebrain regions, for minutes or longer, is known to be sufficient for positive reinforcement of stimuli and actions. However, the firing rate of dopamine neurons is increased for only ...

Kim, Kyung Man

126

Project Summary for: Johnson Park Health Alliance: Building a Culture of Community Sufficiency for Health in the Fond du Lac  

E-Print Network (OSTI)

Project Summary for: Johnson Park Health Alliance: Building a Culture of Community Sufficiency, the Lindsay Heights Neighborhood Health Alliance (formerly Johnsons Park Health Alliance) has grown, reciprocal learning relationships among Alliance partners and meaningful ties among neighbors, empowering

127

An elementary proof of the robustness of the linear hyperbolic flows  

E-Print Network (OSTI)

We present an elementary proof that the qualitative picture of a linear hyperbolic flow is insensitive to slight measurements errors in its associated vector field.

Mauro Patrão

2009-09-20T23:59:59.000Z

128

An elementary proof of the uniqueness of the solutions of linear odes  

E-Print Network (OSTI)

In this note, we present an elementary proof of the uniqueness of the solutions of the initial value problems of linear ordinary differential equations (odes).

Mauro Patrão

2009-10-07T23:59:59.000Z

129

Mobile Data Collection Applications: A Proof of Concept  

SciTech Connect

This project's goal is to provide a proof of concept for mobile data collection applications, and identify the best ways such applications could be implemented and used. Such an application should decrease the time and resources users now need to devote to redundant data processes, and provide an easy of locating and retrieving data at a later time. The two types of available mobile devices, Personal Digital Assistants and Tablet Personal Computers, each have their particular strengths that suggest themselves for certain types of applications. As such, parallel data collection applications have been developed, with a common web application for uploading information to the database. While these aspects have been developed and proven, it still remains to refine these applications, develop the tables to hold their data, and field-test with users for their feedback.

Chang, J

2006-09-20T23:59:59.000Z

130

A GEOMETRIC CONTROL PROOF OF LINEAR FRANKS' LEMMA FOR GEODESIC FLOWS  

E-Print Network (OSTI)

A GEOMETRIC CONTROL PROOF OF LINEAR FRANKS' LEMMA FOR GEODESIC FLOWS A. LAZRAG Abstract. We provide an elementary proof of the Franks lemma for geodesic flows that uses basic tools of geometric control theory. 1 such as geodesic flows (see [3] and [2]) and more generally Hamiltonians flows (see [15]). In this work, we focus

Boyer, Edmond

131

PROOF-OF-CONCEPT OF A DUAL-FIRED (SOLAR & NATURAL GAS) GENERATOR  

E-Print Network (OSTI)

PROOF-OF-CONCEPT OF A DUAL-FIRED (SOLAR & NATURAL GAS) GENERATOR FOR USE IN A SPACE-COOLING SYSTEM REPORT (FAR) PROOF-OF-CONCEPT OF A DUAL-FIRED (SOLAR & NATURAL GAS) GENERATOR FOR USE IN A SPACE COOLING Technologies · Environmentally-Preferred Advanced Generation · Energy-Related Environmental Research · Energy

132

Introduction Main result Manner of proof Usable hyperbolicity and SRB measures  

E-Print Network (OSTI)

Introduction Main result Manner of proof Usable hyperbolicity and SRB measures Vaughn Climenhaga result Manner of proof 1 Introduction and classical results Definition of SRB measure Examples, known and otherwise 2 Main result Existence of an SRB measure Maps on the boundary of Axiom A: Slowdown, no shear Maps

Climenhaga, Vaughn

133

PROOF COPY 502144JCP Curvature dependent surface tension from a simulation of a cavity  

E-Print Network (OSTI)

PROOF COPY 502144JCP PROOF COPY 502144JCP Curvature dependent surface tension from a simulation 4 September 2001 Monte Carlo simulations have been used to calculate the surface tension of a planar Institute of Physics. DOI: 10.1063/1.1413514 I. INTRODUCTION The dependence of surface tension on radius

Attard, Phil

134

Short proofs of the Quantum Substate Theorem Rahul Jain and Ashwin Nayak  

E-Print Network (OSTI)

1 Short proofs of the Quantum Substate Theorem Rahul Jain and Ashwin Nayak Abstract--The Quantum Substate Theorem due to Jain, Rad- hakrishnan, and Sen (2002) gives us a powerful operational, such that when scaled down by a small factor becomes a substate of . We present new proofs of this theorem

Jain, Rahul

135

UNCORRECTEDPROOF SPB-190570 Chapter ID 19 August 4, 2010 Time: 01:07pm Proof 1  

E-Print Network (OSTI)

UNCORRECTEDPROOF SPB-190570 Chapter ID 19 August 4, 2010 Time: 01:07pm Proof 1 01 02 03 04 05 06 07, LLC 2011 #12;UNCORRECTEDPROOF SPB-190570 Chapter ID 19 August 4, 2010 Time: 01:07pm Proof 1 46 47 48. Most studies supporting the DOHaD hypoth- esis are primarily nutritional in nature, thus the potential

Blumberg, Bruce

136

Translating Higher-Order Specifications to Coq Libraries Supporting Hybrid Proofs  

E-Print Network (OSTI)

software systems. The general Hybrid infrastructure is implemented as two Coq libraries. The first providesTranslating Higher-Order Specifications to Coq Libraries Supporting Hybrid Proofs Nada Habli1 and hints for aiding automated proof in the Hybrid system. Hybrid itself is implemented in Coq, and designed

Felty, Amy

137

Concurrent Zero-Knowledge Proofs for NP Joe Kilian y Erez Petrank z Ransom Richardson x  

E-Print Network (OSTI)

Cummings Center, Beverly, MA 01915. rrichard@groove.net. 1 #12; zero-knowledge protocols that are robustConcurrent Zero-Knowledge Proofs for NP #3; Joe Kilian y Erez Petrank z Ransom Richardson x November 26, 2001 Abstract A proof is concurrent zero-knowledge if it remains zero-knowledge when many

Petrank, Erez

138

A PROOF OF THE MACDONALD-MORRIS ROOT SYSTEM CONJECTURE FOR F4  

E-Print Network (OSTI)

A PROOF OF THE MACDONALD-MORRIS ROOT SYSTEM CONJECTURE FOR F4 F.G. GARVANy Abstract. We give a proof of the Macdonald-Morris root system conjecture f* *or. The Macdonald-Morris root system conjecture for F4 is Y

Garvan, Frank

139

PROOF COPY 015417JCP Onset of decoherence: Six-wave mixing measurements of vibrational  

E-Print Network (OSTI)

isolated in solid argon are used to provide a clear experimental measure for the onset of vibrationalPROOF COPY 015417JCP PROOF COPY 015417JCP Onset of decoherence: Six-wave mixing measurements of vibrational decoherence on the excited electronic state of I2 in solid argon Z. Bihary, M. Karavitis, and V

Apkarian, V. Ara

140

PROOF COPY 002805JAS Pitch strength decreases as F0 and harmonic resolution  

E-Print Network (OSTI)

PROOF COPY 002805JAS PROOF COPY 002805JAS Pitch strength decreases as F0 and harmonic resolution 4 February 2008; accepted 7 February 2008 A melodic pitch experiment was performed to demonstrate the importance of time-interval resolution for pitch strength. The experiments show that notes with a low

Cambridge, University of

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


141

PROOF COPY 034509PHP Effectiveness of electron-cyclotron and transmission resonant heating  

E-Print Network (OSTI)

PROOF COPY 034509PHP PROOF COPY 034509PHP Effectiveness of electron-cyclotron and transmission resonant heating in inductively coupled plasmas Oleg V. Polomarov and Constantine E. Theodosiou University June 2005 The electron-cyclotron and transmission resonances in magnetically enhanced low-pressure one

Kaganovich, Igor

142

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

E-Print Network (OSTI)

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

Paris-Sud XI, Université de

143

Folk Theorems on Transmission Access: Proofs and Counter Examples  

E-Print Network (OSTI)

.ucei.berkeley.edu/ucei #12;[11] S. Stoft, \\On the meaning of transmission prices." Private Communication, 18 October 1994

California at Berkeley. University of

144

Radiation-proof windows for nuclear-power plants  

Science Journals Connector (OSTI)

This paper presents a brief analysis of the main technical characteristics of means of direct observation and biological protection for this country’s nuclear-power...

Belousov, S P; Golikov, D A; Ignatov, A N; Kuznetsov, S A; Kuleshov, N P

2013-01-01T23:59:59.000Z

145

Proof-of-Concept Demonstration Results for Robotic Visual Servo Controllers  

SciTech Connect

There is significant motivation to provide robotic systems with improved autonomy as a means to significantly accelerate deactivation and decommissioning operations while also reducing the associated costs, removing human operators from hazardous environments, and reducing the required burden and skill of human operators. To achieve improved autonomy, fundamental research is focused on the challenges of developing visual servo controllers. The challenge in developing these controllers is that a camera provides 2-dimensional image information about the 3-dimensional Euclidean-space through a perspective (range dependent) projection that can be corrupted by uncertainty in the camera calibration matrix. Disturbances in this relationship (i.e., corruption in the sensor information) propagate erroneous information to the feedback controller of the robot, leading to potentially unpredictable task execution. This technical manual describes 3 proof-of-concept demonstrations of visual servo controllers developed from fundamental research aimed at these challenges. Specifically, one section describes the implementation of a cooperative visual servo control scheme with a camera-in-hand and a fixed camera to track a moving target despite uncertainty in the camera calibration and the unknown constant distance from the camera to a target where the camera is mounted on the end-effector of a 6 degrees-of-freedom hydraulic robot manipulator. The next section describes the implementation of 2 homography-based visual servo tracking and regulation controllers for a mobile robot with a calibrated camera despite an unknown time-varying distance from the camera to a target.

Chawda, P.V.

2004-09-22T23:59:59.000Z

146

Can Data Center Become Water Self-Sufficient? Kishwar Ahmed, Mohammad A. Islam, Shaolei Ren, Gang Quan  

E-Print Network (OSTI)

Quan Florida International University Abstract To curtail data centers' huge cooling power consump servers. Recently, another sustainability practice, rainwater har- vesting, has also seen a growing adoption in data cen- ters, potentially leading to water self-sufficiency with- out connecting to water

Ren, Shaolei

147

Proof-of-Concept Manufacturing and Testing of Composite Wind Generator Blades Made by HCBMP (High Compression Bladder Molded Prepreg)  

SciTech Connect

Proof-of-Concept Manufacturing and Testing of Composite Wind Generator Blades Made by HCBMP (High Compression Bladder Molded Prepreg)

William C. Leighty; DOE Project Officer - Keith Bennett

2005-10-04T23:59:59.000Z

148

SALT DAMAGE CRITERION PROOF-OF-CONCEPT RESEARCH  

SciTech Connect

This document is the annual technical progress report for Department of Energy Contract No. DE-FC26-00NT41026 entitled Proof-of-Concept Research for an Advanced Design Criterion to Improve Working Gas Capacity for Natural Gas Storage Caverns in Salt Formations. This report covers the reporting period from October 1, 2000, through September 30, 2001. During this reporting period, the project was initiated and work was performed to develop structural models that will be used to evaluate two compressed natural gas storage caverns in the McIntosh Dome northwest of Mobile, Alabama. Information necessary to define the structural models include site-specific stress, temperature, geometry, stratigraphy, and operating scenarios in the dome and for the caverns. Additionally, material model development for the salt at the McIntosh Dome was initiated. Material model development activities include acquisition of salt core for testing, laboratory testing, and regression analyses to determine site-specific model parameter values that describe the behavior of salt around a storage cavern. Although not performed during this reporting period, the information and models developed will be used to perform advanced design storage cavern analyses for the Bay Gas caverns to determine the operating pressure ranges to maintain stable conditions.

Kerry L. DeVries; Kirby D. Mellegard; Gary D. Callahan

2001-12-01T23:59:59.000Z

149

Stochastic Motion by Mean Curvature  

E-Print Network (OSTI)

Motion by mean curvature, in which the normal velocity of the interface simply equals its ... where H n?1 denotes the Hausdorff (n ? 1)-dimensional measure and h is the ..... following notations which are standard in geometric measure theory: ...

Springer Verlag Heidelberg #4 2048 1996 Dec 15 10:16:45

1998-11-13T23:59:59.000Z

150

Direct liquefaction proof-of-concept program. Topical report  

SciTech Connect

This report presents the results of work conducted under the DOE Proof-of-Concept Program in direct coal liquefaction at Hydrocarbon Technologies, Inc. in Lawrenceville, New Jersey, from February 1994 through April 1995. The work includes modifications to HRI`s existing 3 ton per day Process Development Unit (PDU) and completion of the second PDU run (POC Run 2) under the Program. The 45-day POC Run 2 demonstrated scale up of the Catalytic Two-Stage Liquefaction (CTSL Process) for a subbituminous Wyoming Black Thunder Mine coal to produce distillate liquid products at a rate of up to 4 barrels per ton of moisture-ash-free coal. The combined processing of organic hydrocarbon wastes, such as waste plastics and used tire rubber, with coal was also successfully demonstrated during the last nine days of operations of Run POC-02. Prior to the first PDU run (POC-01) in this program, a major effort was made to modify the PDU to improve reliability and to provide the flexibility to operate in several alternative modes. The Kerr McGee Rose-SR{sup SM} unit from Wilsonville, Alabama, was redesigned and installed next to the U.S. Filter installation to allow a comparison of the two solids removal systems. The 45-day CTSL Wyoming Black Thunder Mine coal demonstration run achieved several milestones in the effort to further reduce the cost of liquid fuels from coal. The primary objective of PDU Run POC-02 was to scale-up the CTSL extinction recycle process for subbituminous coal to produce a total distillate product using an in-line fixed-bed hydrotreater. Of major concern was whether calcium-carbon deposits would occur in the system as has happened in other low rank coal conversion processes. An additional objective of major importance was to study the co-liquefaction of plastics with coal and waste tire rubber with coal.

Comolli, A.G.; Lee, L.K.; Pradhan, V.R. [and others

1996-12-01T23:59:59.000Z

151

EIS-0284: Low-Emission Boiler System (LEBS) Proof-of-Concept System,  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

4: Low-Emission Boiler System (LEBS) Proof-of-Concept 4: Low-Emission Boiler System (LEBS) Proof-of-Concept System, Elkhart, Illinois EIS-0284: Low-Emission Boiler System (LEBS) Proof-of-Concept System, Elkhart, Illinois Summary This EIS evaluates the potential environmental impacts of a proposal by Babcock Borsig Power to design, construct, and operate an advanced pulverized coal-fired power facility using a low emission boiler system (LEBS) at Elkhart, Illinois. Public Comment Opportunities None available at this time. Documents Available for Download February 29, 2008 EIS-0284: Notice of Cancellation of Environmental Impact Statement Implementation of the Low-Emission Boiler System (LEBS) Proof-of-Concept System, Elkhart, Illinois March 5, 2004 EIS-0284: EPA Notice of Availability of the Draft Environmental Impact

152

MasterProof Intrinsic Fluctuations, Robustness, and Tunability in Signaling Cycles  

E-Print Network (OSTI)

. Our results show that signaling cycles possess a surprising combination of robustness and tunabilityMasterProof Intrinsic Fluctuations, Robustness, and Tunability in Signaling Cycles Joseph Levine Institute of Technology, Cambridge, Massachusetts ABSTRACT Covalent modification cycles (e

Mirny, Leonid

153

PROOF FOR AN ENDOGENOUS COMPONENT IN PERSISTENT SOLAR AND LUNAR RHYTHMICITY IN ORGANISMS  

Science Journals Connector (OSTI)

...COLLEGE, WOODS HOLE, MASSACHUSETTS MARINE BIOLOGICAL LABORATORY, WOODS HOLE, MASSACHUSETTS PROOF FOR AN ENDOGENOUS COMPONENT IN PERSISTENT SOLAR AND LUNAR RHYTHMICITY...UNIVERSITY, WOODS HOLE, MASSACHUSETTS. | Journal Article V...

Frank A. Brown; Jr.; H. Marguerite Webb; Miriam F. Bennett

1955-01-01T23:59:59.000Z

154

A TorPath to TorCoin: Proof-of-Bandwidth Altcoins for Compensating Relays  

E-Print Network (OSTI)

Coin, an "altcoin" that uses the Bitcoin protocol to re- ward relays for contributing bandwidth. Relays "mine" TorCoin is an alternative cryptocurrency, or altcoin, based on the Bitcoin protocol [8]. Unlike Bitcoin, its proof

155

High Performance Electrostatic Sensors and Actuators for LISA Proof Mass Control  

E-Print Network (OSTI)

This document contains two presentations which describe the working principles of a class of electrostatic multidimensional sensors and force actuators. The subject of the study is the search of the most effective methods for measuring the position of a cubical conducting proof mass which floats in a weightless environment. The same proof mass must be controlled with a feedback loop by applying forces with the same set of electrodes. For more information please see the web site: http://lisa.jpl.nasa.gov/

Giorgio Fontana

2001-11-02T23:59:59.000Z

156

What it means to you  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

it means to you it means to you On July 29, 2005, Congress passed the first comprehensive energy legislation in over a decade. This historic bill follows many of the principles outlined by President Bush to strengthen our nation's electrical infrastructure, reduce our dependence on foreign oil, increase conservation and expand the use of clean renewable energy. While the bill will help address our long-term challenges, there are many provisions that will help American families save energy - and money too! Following, is a list of some of the most popular points within the bill: Energy Efficiency and Conservation Measures In Your Home: * Consumers can receive a credit of up to 30% of the cost, or up to $2,000, for installing solar-powered hot-water systems used exclusively for purposes other

157

A Structure-Preserving Model and Sufficient Condition for Frequency Synchronization of Lossless Droop Inverter-Based AC Networks  

SciTech Connect

This paper presents a new method for analysis of frequency synchronization of lossless power networks whose sources are frequency-droop controlled inverters. Unlike most existing approaches, our method focuses on the interaction between inverters and the network to provide new physical insight into how those interactions create frequency synchronization. We introduce two structure-preserving models of such a network (one bus-oriented and one line-oriented), and show that frequency synchronization corresponds to convergence to an equilibrium of these models. We derive a necessary condition for existence of such equilibria, and determine a simple test for their local stability. Finally, we introduce a sufficient condition for frequency synchronization of such networks, and show that it consists of a set of local criteria which can each be determined from local measurements.

Ainsworth, Nathan G [ORNL] [ORNL; Grijalva, Prof. Santiago [Georgia Institute of Technology, Atlanta] [Georgia Institute of Technology, Atlanta

2013-01-01T23:59:59.000Z

158

Toda Molecule and Tomimatsu-Sato Solution $\\sim$ Towards the complete proof of Nakamura's conjecture$\\sim$  

E-Print Network (OSTI)

We discuss the Nakamura's conjecture stating that the Tomimatsu-Sato black hole solution with integer deformation parameter $n$ is composed of the special solutions of the Toda molecule equation at the $n$-th lattice site. From the previous work, in which the conjecture was partly analytically proved, we go further towards final full proof by rearranging the rotation parameter. The proof is explicitly performed for the highest and lowest orders. Though the proof for all orders remains still unsolved, the prospect to the full proof becomes transparent and workable by our method.

Takeshi Fukuyama; Kozo Koizumi

2010-12-06T23:59:59.000Z

159

Women's Empowerment in Agriculture Index: Proof of Concept | Data.gov  

NLE Websites -- All DOE Office Websites (Extended Search)

Women's Empowerment in Agriculture Index: Proof of Concept Women's Empowerment in Agriculture Index: Proof of Concept Agriculture Community Menu DATA APPS EVENTS DEVELOPER STATISTICS COLLABORATE ABOUT Agriculture You are here Data.gov » Communities » Agriculture » Data Women's Empowerment in Agriculture Index: Proof of Concept Dataset Summary Description The index tracks change in women's empowerment that occurs as a direct or indirect result of Feed the Future interventions in targeted geographic zones within the initiative's 19 focus countries. Data for the WEAI will be collected every two years in all 19 countries, and baselines were collected in 2011 and 2012. USAID and partners will conduct data analyses to understand the relationships among empowerment, livelihoods, and food security, as well as relationships among the various components of the index.

160

A Proof of Concept: Grizzly, the LWRS Program Materials Aging and  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

A Proof of Concept: Grizzly, the LWRS Program Materials Aging and A Proof of Concept: Grizzly, the LWRS Program Materials Aging and Degradation Pathway Main Simulation Tool A Proof of Concept: Grizzly, the LWRS Program Materials Aging and Degradation Pathway Main Simulation Tool Nuclear power currently provides a significant fraction of the United States' non- carbon emitting power generation. In future years, nuclear power must continue to generate a significant portion of the nation's electricity to meet the growing electricity demand, clean energy goals, and ensure energy independence. New reactors will be an essential part of the expansion of nuclear power. However, given limits on new builds imposed by economics and industrial capacity, the extended service of the existing fleet will also be required. Ensuring public safety and environmental protection is a prerequisite to

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


161

A Proof of Concept: Grizzly, the LWRS Program Materials Aging and  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

A Proof of Concept: Grizzly, the LWRS Program Materials Aging and A Proof of Concept: Grizzly, the LWRS Program Materials Aging and Degradation Pathway Main Simulation Tool A Proof of Concept: Grizzly, the LWRS Program Materials Aging and Degradation Pathway Main Simulation Tool Nuclear power currently provides a significant fraction of the United States' non- carbon emitting power generation. In future years, nuclear power must continue to generate a significant portion of the nation's electricity to meet the growing electricity demand, clean energy goals, and ensure energy independence. New reactors will be an essential part of the expansion of nuclear power. However, given limits on new builds imposed by economics and industrial capacity, the extended service of the existing fleet will also be required. Ensuring public safety and environmental protection is a prerequisite to

162

A Proof of Concept: Grizzly, the LWRS Program Materials Aging and  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Proof of Concept: Grizzly, the LWRS Program Materials Aging and Proof of Concept: Grizzly, the LWRS Program Materials Aging and Degradation Pathway Main Simulation Tool By Ben Spencer (INL) Jeremey Busby (ORNL) Richard Martineau (INL) Brian Wirth (UTK) Introduction Nuclear power currently provides a significant fraction of the United States' non- carbon emitting power generation. In future years, nuclear power must continue to generate a significant portion of the nation's electricity to meet the growing electricity demand, clean energy goals, and ensure energy independence. New reactors will be an essential part of the expansion of nuclear power. However, given limits on new builds imposed by economics and industrial capacity, the extended

163

ANALYSIS OF SAFETY RELIEF VALVE PROOF TEST DATA TO OPTIMIZE LIFECYCLE MAINTENANCE COSTS  

SciTech Connect

Proof test results were analyzed and compared with a proposed life cycle curve or hazard function and the limit of useful life. Relief valve proof testing procedures, statistical modeling, data collection processes, and time-in-service trends are presented. The resulting analysis of test data allows for the estimation of the PFD. Extended maintenance intervals to the limit of useful life as well as methodologies and practices for improving relief valve performance and reliability are discussed. A generic cost-benefit analysis and an expected life cycle cost reduction concludes that $90 million maintenance dollars might be avoided for a population of 3000 valves over 20 years.

Gross, Robert; Harris, Stephen

2007-08-01T23:59:59.000Z

164

A Simple Proof of Magnetic and Electric Aharonov-Bohm Effects  

E-Print Network (OSTI)

Magnetic Aharonov-Bohm effect (AB effect) was studied in hundreds of papers starting with the seminal paper of Aharonov and Bohm [AB] published in 1959. We give a new proof of the magnetic Aharonov-Bohm effect without using the scattering theory and the theory of inverse boundary value problems. We consider separately the cases of one and several obstacles. The electric AB effect was studied much less. We give the first proof of the electric AB effect in domains with moving boundaries. When the boundary does not move with the time the electric AB effect is absent.

Gregory Eskin

2014-07-20T23:59:59.000Z

165

Ann. Polon. Math., 95, N2, (2009), 135-139. A DSM proof of surjectivity of monotone  

E-Print Network (OSTI)

Ann. Polon. Math., 95, N2, (2009), 135-139. 1 #12;A DSM proof of surjectivity of monotone nonlinear. The proof is based on the Dynamical Systems Method (DSM). MSC: 47A52 Key words: dynamical systems method of this result. It is based on the Dynamical Systems Method (DSM) developed in [2]. Theorem 1.1. Assume that F

166

Draft 14a CMOT.doc Proofs 05/14/04  

E-Print Network (OSTI)

Draft 14a CMOT.doc Proofs 05/14/04 Networks, Fields and Organizations: Micro-Dynamics, Scale us to identify a set of important new micro-macro linkages between local behavior in networks networks, organizational fields, scaling and at- tachment, micro-macro linkages. #12;1. Introduction

White, Douglas R.

167

A Cheat-Proof Game Theoretic Demand Response Scheme for Smart Grids  

E-Print Network (OSTI)

A Cheat-Proof Game Theoretic Demand Response Scheme for Smart Grids Yan Chen, W. Sabrina Lin, Feng}@umd.edu Abstract--While demand response has achieved promising results on making the power grid more efficient and reliable, the additional dynamics and flexibility brought by demand response also increase the uncertainty

Liu, K. J. Ray

168

Secure and efficient high-performance PROOF-based cluster system for high-energy physics  

Science Journals Connector (OSTI)

The particle detectors at the LHC produced about 25 PB data in a year, and the total size of data recorded on tape media at the CERN data center reached almost 100 PB in 2013. In order to preserve such a large-scale data safely and process them fast ... Keywords: Cluster system, High-energy physics, Large hadron collider, PROOF

Sang Un Ahn, Il Yeon Yeo, Sang Oh Park

2014-10-01T23:59:59.000Z

169

A Simpler Primal-Dual Proof of Lawler's Algorithm Renato Paes Leme  

E-Print Network (OSTI)

A Simpler Primal-Dual Proof of Lawler's Algorithm Renato Paes Leme David B. Shmoys Abstract decomposition theorem of Sydney leads to a simple polynomial-time algorithm for series-parallel constraints, an efficient O(n log n) algorithm for scheduling with series-parallel con- straints was given by Lawler in 1978

Keinan, Alon

170

A SIMPLE PROOF OF THE FARY-WAGNER THEOREM DAVID R. WOOD  

E-Print Network (OSTI)

A SIMPLE PROOF OF THE F´ARY-WAGNER THEOREM DAVID R. WOOD The purpose of this note is to give at most two. 1 #12;2 DAVID R. WOOD denote the circle of radius centred at s. For each neighbour: david.wood@upc.edu #12;

Wood, David R.

171

A DENDROLOGICAL PROOF OF THE SCOTT CONJECTURE FOR AUTOMORPHISMS OF FREE GROUPS  

E-Print Network (OSTI)

A DENDROLOGICAL PROOF OF THE SCOTT CONJECTURE FOR AUTOMORPHISMS OF FREE GROUPS Damien Gaboriau of the following much celebrated result of Bestvina­Handel [BH], conjectured earlier by Scott: Theorem 1. For every are all trivial. Given p 1 ; : : : ; pm 2 T belonging to distinct orbits, the isotropy subgroups Stab p i

Gaboriau, Damien

172

No material is "fire proof;" however, proper use and assembly of fire-rated building materials  

E-Print Network (OSTI)

C has the least resistance. However, Class A materials generally need an underlayment of additional-Defensible Zones 6.303, Fire-Resistant Landscaping 6.304, Forest Home Fire Safety 6.305, FireWise Plant Materials 6General No material is "fire proof;" however, proper use and assembly of fire-rated building

173

CorrectedProof DETERMINATION OF THE RHEOLOGICAL PARAMETERS OF SELF-COMPACTING  

E-Print Network (OSTI)

CorrectedProof DETERMINATION OF THE RHEOLOGICAL PARAMETERS OF SELF-COMPACTING CONCRETE MATRIX USING version: 7.7.2010 Abstract: The classification of a concrete mixture as self-compacting (SCC) is performed time with viscosity. Key words: self compacting concrete, rheology, slump flow, yield stress

Georgiou, Georgios

174

A UAV motor denoising technique to improve localization of surrounding noisy aircrafts: proof of  

E-Print Network (OSTI)

A UAV motor denoising technique to improve localization of surrounding noisy aircrafts: proof of the Acoustics 2012 Nantes Conference 23-27 April 2012, Nantes, France 2937 #12;Unmanned Aerial Vehicles (UAVs of monitoring and surveillance applications. A major problem when operating with swarm of UAVs is the risk

Paris-Sud XI, Université de

175

HAMILTON DECOMPOSITIONS OF REGULAR EXPANDERS: A PROOF OF KELLY'S CONJECTURE FOR LARGE  

E-Print Network (OSTI)

HAMILTON DECOMPOSITIONS OF REGULAR EXPANDERS: A PROOF OF KELLY'S CONJECTURE FOR LARGE TOURNAMENTS DANIELA K¨UHN AND DERYK OSTHUS Abstract. A long-standing conjecture of Kelly states that every regular as well as Alon, Gutin and Krivelevich. 1. Introduction 1.1. Kelly's conjecture. A graph or digraph G has

Kühn, Daniela

176

A Uniform Proof of the Macdonald-Mehta-Opdam Identity for Finite Coxeter Groups  

E-Print Network (OSTI)

In this note we give a new proof of the Macdonald-Mehta-Opdam integral identity for finite Coxeter groups (in the equal parameter case). This identity was conjectured by Macdonald and proved by Opdam in \\cite{O1,O2} using ...

Etingof, Pavel I.

177

Outline of a proof theory of parametricity Harry G. Mairson \\Lambda  

E-Print Network (OSTI)

Outline of a proof theory of parametricity Harry G. Mairson \\Lambda Department of Computer Science that the function satisfies.''[Wad89] He gives the example of a function r 2 8A:A \\Lambda ! A \\Lambda , where , we must have the equality map XY f (r X `) = r Y (map XY f `): (1) Intuitive justifications

Mairson, Harry

178

Real-Time Dynamic Brake Assessment Conduct a proof-of-concept  

E-Print Network (OSTI)

Real-Time Dynamic Brake Assessment Purpose Conduct a proof-of-concept test to examine the Federal Motor Carrier Safety Administration's Vehicle and Roadside Operations Division Concept stemming conducted for the National Highway Transportation Safety Administration. Signals to be collected Real

179

Pinocchio Coin: Building Zerocoin from a Succinct Pairing-based Proof System  

E-Print Network (OSTI)

Research Cambridge, UK Bryan Parno Microsoft Research Redmond, USA ABSTRACT Bitcoin is the first widely adopted distributed e-cash system and Zerocoin is a recent proposal to extend Bitcoin with anonymous schemes, Security Keywords Zero-knowledge Proofs; anonymous electronic cash; bitcoin; zerocoin. 1

Danezis, George

180

Cuckoo Cycle: a graph-theoretic proof-of-work system  

E-Print Network (OSTI)

of the cornerstones of crypto-currencies. As proof-of-work for new blocks of transactions, Bitcoin [1] adopted Adam of a cryptographic hash function (twofold SHA256 in Bitcoin's case) to this nonce (and the rest of the block header so as to maintain a certain average block interval (10-minutes for Bitcoin). Since Bitcoin, many

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


181

A New Proof of the Interior Gradient Bound for the Minimal Surface Equation in n Dimensions  

Science Journals Connector (OSTI)

...and Cl, C2 are constants depend- ing only on n. An immediate consequence of (2) is an estimate IDu(xo)I C2u(xo)/d] (3) for positive solutions of Eq. (1). The purpose of this note is to provide a new and simpler proof of the...

Neil S. Trudinger

1972-01-01T23:59:59.000Z

182

Extended Abstract: Combining a Logical Framework with an RUP Checker for SMT Proofs  

E-Print Network (OSTI)

...) (declare satlem (! c1 clause (! c2 clause (! c3 clause (! u1 (holds c1) (! r (^ (simplify_clause c1) c2) (! u2 (! x (holds c2) (holds c3)) (holds c3)))))))) Figure 2: LFSC Rules for Resolution Proofs

Stump, Aaron

183

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

E-Print Network (OSTI)

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

184

When Is a Beer Not a Beer: Iso-?-Acids Not Necessarily Proof of Ethanol Consumption?  

Science Journals Connector (OSTI)

......oup.com October 2014 letter Letter to the Editor When Is a Beer Not a Beer: Iso-alpha-Acids Not Necessarily Proof of Ethanol Consumption? Peter D. Maskell 1 * Paul S. Hughes 2 Dawn L. Maskell 3 * Author to whom correspondence should be addressed......

Peter D. Maskell; Paul S. Hughes; Dawn L. Maskell

2014-10-01T23:59:59.000Z

185

hal-00153936,version1-12Jun2007 ANOTHER PROOF OF WRIGHT'S INEQUALITIES  

E-Print Network (OSTI)

hal-00153936,version1-12Jun2007 ANOTHER PROOF OF WRIGHT'S INEQUALITIES VLADY RAVELOMANANA Abstract. We present a short way of proving the inequalities obtained by Wright in [Journal of Graph Theory, 4 to the numbers c(n, n + ) are due to Sir E. M. Wright in a series of papers including [11, 12]. He also obtained

Boyer, Edmond

186

The role of literal meaning in metaphor  

E-Print Network (OSTI)

of communication is required to give a positive account of metaphorical utterances. In "What Metaphors Mean," Donald Davidson uses his theory of meaning to clear up important confusions about metaphor and its accomplishments, but his account of metaphor is largely...

Coleman, Martin Allen

2012-06-07T23:59:59.000Z

187

Composable security proof for continuous-variable quantum key distribution with coherent states  

E-Print Network (OSTI)

We give the first composable security proof for continuous-variable quantum key distribution with coherent states against collective attacks. Crucially, in the limit of large blocks the secret key rate converges to the usual value computed from the Holevo bound. Combining our proof with either the de Finetti theorem or the Postselection technique then shows the security of the protocol against general attacks, thereby confirming the long-standing conjecture that Gaussian attacks are optimal asymptotically in the composable security framework. We expect that our parameter estimation procedure, which does not rely on any assumption, will find applications elsewhere, for instance for the reliable quantification of continuous-variable entanglement in finite-size settings.

Anthony Leverrier

2014-08-25T23:59:59.000Z

188

Status of Proof-of-principle Experiment for Coherent Electron Cooling  

SciTech Connect

Coherent electron cooling (CEC) has a potential to significantly boost luminosity of high-energy, high-intensity hadron colliders. To verify the concept we conduct proof-of-the-principle experiment at RHIC. In this paper, we describe the current experimental setup to be installed into 2 o'clock RHIC interaction regions. We present current design, status of equipment acquisition and estimates for the expected beam parameters.

Pinayev, I; Ben-Zvi, I; Bengtsson, J; Elizarov, A; Fedotov, A V; Gassner, D M; Hao, Y; Kayran, D; Litvinenko, V; Mahler, G J; Meng, W; Roser, T; Sheehy, B; Than, R; Tuozzolo, J E; Wang, G; Webb, S D; Yakimenko, V; Bell, G I; Bruhwiler, D L; Ranjbar, V H; Schwartz, B T; Hutton, A; Krafft, G A; Poelker, M; Rimmer, R A; Kholopov, M A

2012-07-01T23:59:59.000Z

189

Emissions and efficiency of agricultural diesels using low-proof ethanol as supplement fuel. [Tractor engines  

SciTech Connect

Experimental investigations were made to evaluate the potential of using low-proof ethanol to supplement diesel fuel in agricultural engines. Fumigation, mechanical emulsification, and chemical emulsifiers were used to introduce a significant amount of alcohol with diesel fuel for engine operation. A total of five diesel tractor engines were tested using each of the fuel systems. Exhaust products and fuel usage were determined at various engine speed/load conditions. 5 references, 12 figures, 14 tables.

Allsup, J.R.; Clingenpeel, J.M.

1984-01-01T23:59:59.000Z

190

A simple proof of a theorem of Statman Harry G. Mairson \\Lambda  

E-Print Network (OSTI)

A simple proof of a theorem of Statman Harry G. Mairson \\Lambda Cambridge Research Laboratory ; x 2 ; : : : ; x k g be a set of â??­terms, each of first­order type ff; then L j â??c : ff ! ø ! ø and successor on Church numerals, the length of a list of terms of type ff can be computed by length j â??L : (ff

Mairson, Harry

191

PROOF-based analysis on the ATLAS Grid facilities: first experience with the PoD/PanDa plugin  

E-Print Network (OSTI)

In the ATLAS computing model Grid resources are managed by the PanDA system, a data-driven workload management system designed for production and distributed analysis. Data are stored under various formats in ROOT files and end-user physicists have the choice to use either the ATHENA framework or directly ROOT. The ROOT way to analyze data provides users the possibility to use PROOF to exploit the computing power of multi-core machines or to dynamically manage analysis facilities. Since analysis facilities are, in general, not dedicated to PROOF only, PROOF-on-Demand (PoD) is used to enable PROOF on top of an existing resource management system.\

Vilucchi, E; The ATLAS collaboration; Di Donato, C; Di Nardo, R; Doria, A; Ganis, G; Manafov, A; Mancini, G; Mazza, S; Preltz, F; Rebatto, D; Salvucci, A; Pineda, A S

2013-01-01T23:59:59.000Z

192

UNCORRECTED PROOF  

E-Print Network (OSTI)

Physics of the Earth and Planetary Interiors xxx (2004) xxx–xxx. Reverse ... this paper is to describe RTP methodology, since it has potentially important applications to many other data and to prediction ... The final validation requires, as always, prediction ..... White area shows the time–space where this pattern was found;.

2004-04-30T23:59:59.000Z

193

MEAN DIMENSION, MEAN RANK, AND VON NEUMANN-L UCK RANK  

E-Print Network (OSTI)

MEAN DIMENSION, MEAN RANK, AND VON NEUMANN-L ¨UCK RANK HANFENG LI AND BINGBING LIANG Abstract. We introduce an invariant, called mean rank, for any module M of the integral group ring of a discrete amenable group , as an analogue of the rank of an abelian group. It is shown that the mean dimension

Li, Hanfeng

194

7, 1365313697, 2007 Global mean age of  

E-Print Network (OSTI)

ACPD 7, 13653­13697, 2007 Global mean age of air from MIPAS G. P. Stiller et al. Title Page measurements G. P. Stiller 1 , T. von Clarmann 1 , M. H¨opfner 1 , N. Glatthor 1 , U. Grabowski 1 , S. Kellmann Correspondence to: G. P. Stiller (gabriele.stiller@imk.fzk.de) 13653 #12;ACPD 7, 13653­13697, 2007 Global mean

Paris-Sud XI, Université de

195

Technology development strategy for radical product meaning  

Science Journals Connector (OSTI)

Product meaning is important for consumers. Although there exists a substantial amount of research concerning product meaning, the issue that has centred on the relationship between technology and meaning has remained. In this paper, we examine how the companies conducted their technology development aimed at improving product specifications or generating new meanings (improving product languages) for consumers. To this end, we propose a framework that describes an association between technologies and meanings. A case study within the plasma display panel (PDP) industry raises the possibility that mainstream research has shifted from a focus on specifications to a focus on languages. Further, as the growing diffusion rate of PDP, as well as a quantitative analysis of patents described in this paper, illustrate that Japanese manufacturer Panasonic has engaged in both technological and design research concurrently. Results show that technological research and design research are mutually dependent.

Satoru Goto; Shuichi Ishida

2014-01-01T23:59:59.000Z

196

Supply Chain-Based Solution to Prevent Fuel Tax Evasion: Proof of Concept  

NLE Websites -- All DOE Office Websites (Extended Search)

Chain-Based Solution to Prevent Chain-Based Solution to Prevent Fuel Tax Evasion: Proof of Concept Revenues from motor fuel and other highway use taxes provide the primary source of funding for the United States' transportation system, and ensuring all of these taxes are collected, remitted, and credited to the Highway Trust Fund is a priority for the U.S. Department of Transportation Federal Highway Administration (FHWA). In the past, loss of revenue due to tax evasion has been estimated to

197

Proof of a lower bound for bipartite concurrence via equivalence to an observable entanglement measure  

Science Journals Connector (OSTI)

In this Brief Report, we prove that an analytically solvable two-qubit entanglement monotone introduced by Zhang et al. [Phys. Rev. A 76, 032306 (2007)] is no greater than the square of concurrence. This proof is based on the equivalence between Zhang et al.'s monotone and an observable entanglement measure for mixed states suggested by Mintert and Buchleitner [Phys. Rev. Lett. 98, 140505 (2007)]. Our result may clarify the connections between several recently defined entanglement measures and help understand their possible applications in quantum-information theory.

Xi-Jun Ren; Zheng-Wei Zhou; Xingxiang Zhou; Guang-Can Guo

2008-05-22T23:59:59.000Z

198

Computer Assisted 'Proof' of the Global Existence of Periodic Orbits in the Rössler System  

E-Print Network (OSTI)

The numerical optimized shooting method for finding periodic orbits in nonlinear dynamical systems was employed to determine the existence of periodic orbits in the well-known R\\"ossler system. By optimizing the period $T$ and the three system parameters, $a$, $b$ and $c$, simultaneously, it was found that, for any initial condition $(x_0,y_0,z_0) \\in \\Re^3$, there exists at least one set of optimized parameters corresponding to a periodic orbit passing through $ (x_0,y_0,z_0)$. After a discussion of this result it was concluded that its analytical proof may present an interesting new mathematical challenge.

A. E. Botha; W. Dednam

2014-08-14T23:59:59.000Z

199

Time independent mean-field theory  

SciTech Connect

The physical and theoretical motivations for the time-dependent mean-field theory are presented, and the successes and limitations of the time-dependent Hartree-Fock initial-vaue problem are reviewed. New theoretical developments are described in the treatment of two-body correlations and the formulation of a quantum mean-field theory of large-amplitude collective motion and tunneling decay. Finally, the mean-field theory is used to obtain new insights into the phenomenon of pion condensation in finite nuclei. 18 figures.

Negele, J.W.

1980-02-01T23:59:59.000Z

200

Property:MeanCapacity | Open Energy Information  

Open Energy Info (EERE)

MeanCapacity MeanCapacity Jump to: navigation, search Property Name MeanCapacity Property Type Quantity Description Mean capacity potential at location based on the USGS 2008 Geothermal Resource Assessment if the United States Use this property to express potential electric energy generation, such as Nameplate Capacity. The default unit is megawatts (MW). For spatial capacity, use property Volume. Acceptable units (and their conversions) are: 1 MW,MWe,megawatt,Megawatt,MegaWatt,MEGAWATT,megawatts,Megawatt,MegaWatts,MEGAWATT,MEGAWATTS 1000 kW,kWe,KW,kilowatt,KiloWatt,KILOWATT,kilowatts,KiloWatts,KILOWATT,KILOWATTS 1000000 W,We,watt,watts,Watt,Watts,WATT,WATTS 1000000000 mW,milliwatt,milliwatts,MILLIWATT,MILLIWATTS 0.001 GW,gigawatt,gigawatts,Gigawatt,Gigawatts,GigaWatt,GigaWatts,GIGAWATT,GIGAWATTS

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


201

Dispersion of Identity Meanings: Exploration and Implications  

E-Print Network (OSTI)

If we think about a steam engine as the system in question,feedback systems. The steam engine control system and otheridentity meanings, and steam engines maintain speed. Each

Cantwell, Allison M.

2011-01-01T23:59:59.000Z

202

Consumption and meanings of team licensed merchandise  

Science Journals Connector (OSTI)

This study examined the motives driving the purchase of team licensed merchandise and the meanings embedded in those products. Data from 135 attendees at two National Football League (USA) games revealed that the primary motives for the display of team licensed merchandise were fans' desire to publicly show their affiliation with the team and to express their support for the organisation, while the need to belong in the group of team supporters was also a strong motive. Furthermore, study participants overwhelmingly attached symbolic meanings to their possessions, emphasising social relationships and connectedness as well as elements of personal history. To a lesser extent, experiential meanings were attached to team licensed products. This study makes original contributions to the relatively narrow in scope research on sport licensing by exploring the functional, experiential and symbolic meanings that create value for those products and for their owners.

Artemisia Apostolopoulou; Dimitra Papadimitriou; David Synowka; John S. Clark

2012-01-01T23:59:59.000Z

203

Correlation analysis of mean global radiation values with mean brightness values for one year  

E-Print Network (OSTI)

CORRELATION ANALYSIS OF MEAN GLOBAL RADIATION VALUES WITH MEAN BRIGHTNESS VALUES FOR ONE YEAR A Thesis EDWARD FRANKLIN KOLCZYNSKI Submitted to the Graduate College of Texas ASSAM University in partial fulfillment oi' the requirement... for the degree of MASTER OF SCIENCE December 1971 Major Subject: Meteorology CORRELATION ANALYSIS OF MEAN GLOBAL RADIATION VALUES WITH MEAN BRIGHTNESS VALUES FOR ONE YEAR A Thesis EDWARD FRANKLIN KOLCZYNSKI Approved as to style and content by: airman...

Kolczynski, Edward Franklin

2012-06-07T23:59:59.000Z

204

ccsd-00016966,version2-13Feb2006 On the mean Euler characteristic and mean Betti's  

E-Print Network (OSTI)

ccsd-00016966,version2-13Feb2006 On the mean Euler characteristic and mean Betti's numbers­Poincar´e characteristic and mean Betti's num- bers in the Ising model with arbitrary spin on 2 as functions phenomena. Topological invariants (Euler­ Poincar´e characteristic, Betti's numbers). 1 Introduction

Paris-Sud XI, Université de

205

Report for slot cutter proof-of-principle test, Buried Waste Containment System project. Revision 1  

SciTech Connect

Several million cubic feet of hazardous and radioactive waste was buried in shallow pits and trenches within many US Department of Energy (US DOE) sites. The pits and trenches were constructed similarly to municipal landfills with both stacked and random dump waste forms such as barrels and boxes. Many of the hazardous materials in these waste sites are migrating into groundwater systems through plumes and leaching. On-site containment is one of the options being considered for prevention of waste migration. This report describes the results of a proof-of-principle test conducted to demonstrate technology for containing waste. This proof-of-principle test, conducted at the RAHCO International, Inc., facility in the summer of 1997, evaluated equipment techniques for cutting a horizontal slot beneath an existing waste site. The slot would theoretically be used by complementary equipment designed to place a cement barrier under the waste. The technology evaluated consisted of a slot cutting mechanism, muck handling system, thrust system, and instrumentation. Data were gathered and analyzed to evaluate the performance parameters.

NONE

1998-05-21T23:59:59.000Z

206

Proof-of-principle test for thermoelectric generator for diesel engines; Final report  

SciTech Connect

In September of 1987, the principals of what is now Hi-Z TECHNOLOGY, INC. applied to the National Bureau of Standards (now National Institute of Standards and Technology, NIST) under the Energy Related Inventions Program. The invention was entitled ``Thermoelectric Generator for Diesel Engines.`` The National Institute of Standards and Technology evaluated the invention and on January 12, 1989 forwarded Recommendation Number 455 to the Department of Energy (DOE). This recommendation informed the DOE that the invention had been selected for recommendation by the NIST for possible funding by the DOE. Following the recommendation of the NIST, the DOE contacted Hi-Z to work out a development program for the generator. A contract for a grant to design, fabricate, and test a Proof-of-Principle exhaust powered thermoelectric generator for Diesel engines was signed October 19, 1989. Hi-Z provided the thermoelectric modules used in the generator as their contribution to the project. The purpose of this Grant Program was to design, build, and test a small-scale, Proof-of-Principle thermoelectric generator for a Diesel engine. 15 figs., 1 tab.

NONE

1991-07-26T23:59:59.000Z

207

economic means to permanently store CO  

NLE Websites -- All DOE Office Websites (Extended Search)

economic means to permanently store CO economic means to permanently store CO 2 in unmineable coal seams. Prior to the injection, horizontal coalbed methane (CBM) wells were drilled approximately 1,200 to 1,800 feet underground in a five-spot pattern over a 200-acre area in the unmineable Upper Freeport coal seam. As part of this $13 million field trial, which is being conducted under the collaboration of the National Energy Technology Laboratory (NETL), West Virginia University, and CONSOL Energy, Inc., CO 2 will be injected at a pressure of up to 700 pounds per square inch (psi)

208

Cohesive means in Slovenian spontaneous dialectal conversations  

E-Print Network (OSTI)

— 17 — Cohesive means in Slovenian spontaneous dialectal conversations1 Danila zuljan kumar Inštitut za slovenski jezik Frana Ramovša ZRC SAZU, Raziskovalna postaja Nova Gorica, Delpinova 12, SI – 5000 Nova Gorica, DZuljan@zrc-sazu.si V... Centre SASA. SCN III/1 [2010], 17–34 — 18 — Slavia Centralis 1/2010 Danila Zuljan Kumar 0 Introduction A discourse (or a text as its product) is not a structural unit, like a clause or a sentence. Rather, it is a semantic unit, which means...

Kumar, Danila Zuljan

2010-02-01T23:59:59.000Z

209

SUFFICIENT WEIGHTED COMPLEMENTARITY PROBLEMS 1 ...  

E-Print Network (OSTI)

SIAM J. Optim., 17(3):871–890,. 2006. [13] F. A. Potra. Corrector-predictor methods for monontone linear complementarity problems in a wide neighborhood of ...

2014-10-02T23:59:59.000Z

210

A Machine-Assisted Proof of Gödel’s Incompleteness Theorems for the Theory of Hereditarily Finite Sets  

E-Print Network (OSTI)

be downloaded from an Internet archive.1§2. Background. These proofs were conducted using Isabelle/HOL, an interactive theorem prover (Nipkow et al., 2002). Therefore all proofs are conducted in a formal calculus: higher-order logic. Nevertheless... –392. Feferman, S., editor (1986). Kurt Go¨del: Collected Works, Volume I. Oxford University Press. Franze´n, T. (2005). Go¨del’s Theorem: An Incomplete Guide to Its Use and Abuse. A K Peters. Go¨del, K. (1931). U¨ber formal unentscheidbare Sa¨tze der Principia...

Paulson, Lawrence

2014-04-03T23:59:59.000Z

211

An Explanation for Beta's Mean-reversion  

E-Print Network (OSTI)

for the designation as an UNDERGRADUATE RESEARCH SCHOLAR Approved by Research Advisor: Dr. Dennis Jansen May 2014 Major: Economics TABLE OF CONTENTS Page ABSTRACT.................................................................................................................................. 8 1 ABSTRACT An Explanation for Beta’s Mean Reversion. (May 2014) Connor Matthew Bodkin Department of Economics Texas A&M University Research Advisor: Dr. Dennis Jansen Department of Economics This study aims to improve upon...

Bodkin, Connor Matthew

2013-09-26T23:59:59.000Z

212

Viscosity Determination by Means of Ultrasonics  

Science Journals Connector (OSTI)

It has been shown that the phenomenon of persistence of diffracted lines in water suspensions of starch at different temperatures and also in water solutions of sucrose at different concentrations and constant temperature is related to the viscosity coefficient of the medium in terms of diffusion theory. Therefore we propose a method for the determination of viscosity coefficients by means of ultrasonics.

F. Fittipaldi; E. Ragozzino

1967-01-01T23:59:59.000Z

213

Earth's Annual Global Mean Energy Budget  

Science Journals Connector (OSTI)

The purpose of this paper is to put forward a new estimate, in the context of previous assessments, of the annual global mean energy budget. A description is provided of the source of each component to this budget. The top-of-atmosphere shortwave ...

J. T. Kiehl; Kevin E. Trenberth

1997-02-01T23:59:59.000Z

214

INDICES OF MEAN MONTHLY GEOSTROPHIC WIND  

E-Print Network (OSTI)

323 '*'-'· INDICES OF MEAN MONTHLY GEOSTROPHIC WIND OVER THE NORTH PACIFIC OCEAN Marine Biological OF THE INTERIOR FISH AND WILDLIFE SERVICE #12;Explanatory Note The series embodies results of investigations;United States Department of the Interior, Fred A. Seaton, Secretary Fish and Wildlife Service, Arnie J

215

What Computers Mean for Man and Society  

Science Journals Connector (OSTI)

...Journal Article What Computers Mean for Man and Society Herbert A. Simon Energy and information are...for embezzlement in computer-ized accounting...was known before computers, and the com-puter gives auditors as well as embezz-lers...

Herbert A. Simon

1977-03-18T23:59:59.000Z

216

Design of a speed meter interferometer proof-of-principle experiment  

E-Print Network (OSTI)

The second generation of large scale interferometric gravitational wave detectors will be limited by quantum noise over a wide frequency range in their detection band. Further sensitivity improvements for future upgrades or new detectors beyond the second generation motivate the development of measurement schemes to mitigate the impact of quantum noise in these instruments. Two strands of development are being pursued to reach this goal, focusing both on modifications of the well-established Michelson detector configuration and development of different detector topologies. In this paper, we present the design of the world's first Sagnac speed meter interferometer which is currently being constructed at the University of Glasgow. With this proof-of-principle experiment we aim to demonstrate the theoretically predicted lower quantum noise in a Sagnac interferometer compared to an equivalent Michelson interferometer, to qualify Sagnac speed meters for further research towards an implementation in a future generation large scale gravitational wave detector, such as the planned Einstein Telescope observatory.

C. Gräf; B. W. Barr; A. S. Bell; F. Campbell; A. V. Cumming; S. L. Danilishin; N. A. Gordon; G. D. Hammond; J. Hennig; E. A. Houston; S. H. Huttner; R. A. Jones; S. S. Leavey; H. Lück; J. Macarthur; M. Marwick; S. Rigby; R. Schilling; B. Sorazu; A. Spencer; S. Steinlechner; K. A. Strain; S. Hild

2014-09-11T23:59:59.000Z

217

Cryogenic test of a proof-of-principle superconducting rf-dipole deflecting and crabbing cavity  

Science Journals Connector (OSTI)

Recent applications in need of compact low-frequency deflecting and crabbing cavities have initiated the design and development of new superconducting structures operating at high gradients with low losses. Previously, TM110-type deflecting and crabbing cavities were developed and have also been operated successfully. However, these geometries are not favorable designs for low operating frequencies. The superconducting rf-dipole cavity is the first compact deflecting and crabbing geometry that has demonstrated high gradients and high shunt impedance. Since the fundamental operating mode is the lowest mode and is widely separated from the nearest higher order mode, the rf-dipole design is an attractive geometry for effective damping of the higher order modes in high current applications. A 400 MHz rf-dipole cavity was designed, fabricated, and tested as a proof-of-principle cavity. The cavity achieved high operating gradients, and the multipacting levels were easily processed and did not reoccur.

S. U. De Silva and J. R. Delayen

2013-08-16T23:59:59.000Z

218

Generalized decoding, effective channels, and simplified security proofs in quantum key distribution  

SciTech Connect

Prepare and measure quantum key distribution protocols can be decomposed into two basic steps: delivery of the signals over a quantum channel and distillation of a secret key from the signal and measurement records by classical processing and public communication. Here we formalize the distillation process for a general protocol in a purely quantum-mechanical framework and demonstrate that it can be viewed as creating an 'effective' quantum channel between the legitimate users Alice and Bob. The process of secret key generation can then be viewed as entanglement distribution using this channel, which enables application of entanglement-based security proofs to essentially any prepare and measure protocol. To ensure secrecy of the key, Alice and Bob must be able to estimate the channel noise from errors in the key, and we further show how symmetries of the distillation process simplify this task. Applying this method, we prove the security of several key distribution protocols based on equiangular spherical codes.

Renes, Joseph M. [IAKS Prof. Beth, Arbeitsgruppe Quantum Computing, Universitaet Karlsruhe, Am Fasanengarten 5, D-76131 Karlsruhe (Germany); Quantum Information Theory Group, Institut fuer Theoretische Physik I, and Max-Planck-Forschungsgruppe, Institut fuer Optik, Information und Photonik, Universitaet Erlangen-Nuernberg, Staudtstrasse 7, D-91058 Erlangen (Germany); Grassl, Markus [IAKS Prof. Beth, Arbeitsgruppe Quantum Computing, Universitaet Karlsruhe, Am Fasanengarten 5, D-76131 Karlsruhe (Germany)

2006-08-15T23:59:59.000Z

219

Means and method for vapor generation  

DOE Patents (OSTI)

A liquid, in heat transfer contact with a surface heated to a temperature well above the vaporization temperature of the liquid, will undergo a multiphase (liquid-vapor) transformation from 0% vapor to 100% vapor. During this transition, the temperature driving force or heat flux and the coefficients of heat transfer across the fluid-solid interface, and the vapor percentage influence the type of heating of the fluid--starting as "feedwater" heating where no vapors are present, progressing to "nucleate" heating where vaporization begins and some vapors are present, and concluding with "film" heating where only vapors are present. Unstable heating between nucleate and film heating can occur, accompanied by possibly large and rapid temperature shifts in the structures. This invention provides for injecting into the region of potential unstable heating and proximate the heated surface superheated vapors in sufficient quantities operable to rapidly increase the vapor percentage of the multiphase mixture by perhaps 10-30% and thereby effectively shift the multiphase mixture beyond the unstable heating region and up to the stable film heating region.

Carlson, Larry W. (Oswego, IL)

1984-01-01T23:59:59.000Z

220

Alan Weir. Truth through Proof: A Formalist Foundation for Mathematics. Oxford: Clarendon Press, 2010. ISBN 978-0-19-954149-2. Pp. xiv+281  

Science Journals Connector (OSTI)

......Critical Studies/Book Reviews Alan Weir. Truth through Proof: A Formalist Foundation...jburgess@princeton.edu Alan Weir. Truth through Proof: A Formalist Foundation...what in the mathematical case plays the truth-making role that in the Sherlock Holmes......

John P. Burgess

2011-06-01T23:59:59.000Z

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


221

A spine proof of a lower bound for a typed branching Robert Hardy and Simon C. Harris  

E-Print Network (OSTI)

of an important and difficult path large-deviations lower bound for a typed branching diffusion as found in Git, J.HarrisA spine proof of a lower bound for a typed branching diffusion Robert Hardy and Simon C. Harris March 8, 2004 Abstract We follow the spine approach as found in Hardy and Harris [6, 8, 7] to define new

Harris, Simon Colin

222

A NOTE ON UNIQUENESS PROOFS FOR BOUNDARY-VALUE PROBLEMS IN POTENTIAL THEORY AND STEADY HEAT CONDUCTION  

Science Journals Connector (OSTI)

......these problems the elementary potential is of the...three-dimensional problem the elementary potential is of the...or without contact resistance at the boundary, have...region with contact resistance. The proof of the...Suppose that there is an electric field with potential......

M. E. RAYNER

1953-03-01T23:59:59.000Z

223

Mean field and collisions in hot nuclei  

SciTech Connect

Collisions between heavy nuclei produce nuclear matter of high density and excitation. Brueckner methods are used to calculate the momentum and temperature dependent mean field for nucleons propagating through nuclear matter during these collisions. The mean field is complex and the imaginary part is related to the ''two-body'' collision, while the real part relates to ''one-body'' collisions. A potential model for the N-N interactions is avoided by calculating the Reaction matrix directly from the T-matrix (i.e., N-N phase shifts) using a version of Brueckner theory previously published by the author. Results are presented for nuclear matter at normal and twice normal density and for temperatures up to 50 MeV. 23 refs., 7 figs.

K /umlt o/hler, H.S.

1989-06-01T23:59:59.000Z

224

Mean and peak wind loads on heliostats  

SciTech Connect

Mean and peak wind loads on flat rectangular or circular heliostats were measured on models in a boundary layer wind tunnel which included an atmospheric surface layer simulation. Horizontal and vertical forces, moments about horizontal axes at the ground level and at the centerline of the heliostat, and the moment about the vertical axis through the heliostat center were measured. Results showed that loads are higher than predicted from results obtained in a uniform, low-turbulence flow due to the presence of turbulence. Reduced wind loads were demonstrated for heliostats within a field of heliostats and upper bound curves were developed to provide preliminary design coefficients.

Peterka, J.A.; Tan, Z.; Cermak, J.E.; Bienkiewicz, B.

1989-05-01T23:59:59.000Z

225

This is the pre-peer reviewed version of the following article: "Can hydraulic fracturing make Poland self-sufficient in natural gas?", which will be published in final form in a  

E-Print Network (OSTI)

Poland self-sufficient in natural gas?", which will be published in final form in a special issue-4296 Can hydraulic fracturing make Poland self-sufficient in natural gas? Kjell Alekletta,b,* , Tadeusz to be able to replace gas from Russia with domestic natural gas production and eventually to become self

Patzek, Tadeusz W.

226

GSOD Based Daily Global Mean Surface Temperature and Mean Sea Level Air Pressure (1982-2011)  

DOE Data Explorer (OSTI)

This data product contains all the gridded data set at 1/4 degree resolution in ASCII format. Both mean temperature and mean sea level air pressure data are available. It also contains the GSOD data (1982-2011) from NOAA site, contains station number, location, temperature and pressures (sea level and station level). The data package also contains information related to the data processing methods

Xuan Shi, Dali Wang

227

GSOD Based Daily Global Mean Surface Temperature and Mean Sea Level Air Pressure (1982-2011)  

SciTech Connect

This data product contains all the gridded data set at 1/4 degree resolution in ASCII format. Both mean temperature and mean sea level air pressure data are available. It also contains the GSOD data (1982-2011) from NOAA site, contains station number, location, temperature and pressures (sea level and station level). The data package also contains information related to the data processing methods

Xuan Shi, Dali Wang

2014-05-05T23:59:59.000Z

228

On the mean Euler characteristic and mean Betti numbers of the Ising model with arbitrary spin  

E-Print Network (OSTI)

The behaviour of the mean Euler-Poincar\\'{e} characteristic and mean Betti's numbers in the Ising model with arbitrary spin on $\\mathbbm{Z}^2$ as functions of the temperature is investigated through intensive Monte Carlo simulations. We also consider these quantities for each color $a$ in the state space $S\\_Q = \\{- Q, - Q + 2, ..., Q \\}$ of the model. We find that these topological invariants show a sharp transition at the critical point.

Philippe Blanchard; Christophe Dobrovolny; Daniel Gandolfo; Jean Ruiz

2006-01-16T23:59:59.000Z

229

A piezoelectric frequency up-converting energy harvester with rotating proof mass for human body applications  

Science Journals Connector (OSTI)

Abstract Energy harvesting from human motion faces the challenges of low frequency and random excitation. One strategy that has been successful in the past is frequency up-conversion. This paper introduces an inertial device that combines this principle, in the form of piezoelectric beam plucking through magnetic coupling with a rotating proof mass. The advantages rotational systems can have for body movements are discussed. The prototype is described and tested in a real world environment during a running race and later on in a laboratory environment on a custom built linear excitation table. Throughout these tests it is confirmed that such a device can operate over a broad range of frequencies and under varying orientations, making it suitable for this intended application. Across frequencies between 0.5 and 4 Hz and accelerations between 1 and 20 m/s2 power outputs in the range of tens of microwatts were achieved, with a peak value of 43 ?W at 2 Hz and 20 m/s2 when the rotor went into a continuous rotation.

Pit Pillatsch; Eric M. Yeatman; Andrew S. Holmes

2014-01-01T23:59:59.000Z

230

The origin of Cosmic-Rays from SNRs: confirmations and challenges after the first direct proof  

E-Print Network (OSTI)

Until now, providing an experimental unambiguous proof of Cosmic Ray (CR) origin has been elusive. The SuperNova Remnant (SNR) study showed an increasingly complex scenario with a continuous elaboration of theoretical models. The middle-aged supernova remnant (SNR) W44 has recently attracted attention because of its relevance regarding the origin of Galactic cosmic-rays. The gamma-ray missions AGILE and Fermi have established, for the first time for a SNR, the spectral continuum below 200 MeV which can be attributed to neutral pion emission. Our work is focused on a global re-assessment of all available data and models of particle acceleration in W44 and our analysis strengthens previous studies and observations of the W44 complex environment, providing new information for a more detailed modeling. However, having determined the hadronic nature of the gamma-ray emission on firm ground, a number of theoretical challenges remains to be addressed in the context of CR acceleration in SNRs.

Cardillo, M; Giuliani, A

2014-01-01T23:59:59.000Z

231

Reliability updating and prediction of bridge structures based on proof loads and monitored data  

Science Journals Connector (OSTI)

Abstract Bridge deterioration with time and ever increasing traffic loads raise concerns about reliability of aging bridges. One of the ways to predict reliability of aging bridges is to build reasonable resistance prediction model and load effect prediction model. In this paper, to obtain the predicted resistance, by the truncated method or Bayesian method, the initial resistance probability model is updated with the structural proof loads which are greatly less than the resistance of a bridge, reduce uncertainty in the bridge resistance and so increase the bridge reliability; to predict the time-variant load effects which is treated as a time series, the Bayesian dynamic models (BDMs) are introduced and adopted to predict the structural load effects based on the monitored data (everyday monitored extreme stresses). Finally, with the predicted resistance and load effects, the structural reliability indices are solved and predicted with First Order Second Moment method (FOSM), and three numerical examples are provided to illustrate the feasibility and application of the built prediction model in this paper.

Liu Yuefei; Lu Dagang; Fan Xueping

2014-01-01T23:59:59.000Z

232

Cryogenic systems for proof of the principle experiment of coherent electron cooling at RHIC  

SciTech Connect

The Coherent electron Cooling (CeC) Proof of Principle (PoP) experiment is proposed to be installed in the Relativistic Heavy Ion Collider (RHIC) to demonstrate proton and ion beam cooling with this new technique that may increase the beam luminosity in certain cases, by as much as tenfold. Within the scope of this project, a 112 MHz, 2MeV Superconducting Radio Frequency (SRF) electron gun and a 704 MHz 20MeV 5-cell SRF cavity will be installed at IP2 in the RHIC ring. The superconducting RF electron gun will be cooled in a liquid helium bath at 4.4 K. The 704 MHz 5-cell SRF cavity will be cooled in a super-fluid helium bath at 2.0 K. This paper discusses the cryogenic systems designed for both cavities. For the 112 MHz cavity cryogenic system, a condenser/boiler heat exchanger is used to isolate the cavity helium bath from pressure pulses and microphonics noise sources. For the 704 MHz 5-cell SRF cavity, a heat exchanger is also used to isolate the SRF cavity helium bath from noise sources in the sub-atmospheric pumping system operating at room temperature. Detailed designs, thermal analyses and discussions for both systems will be presented in this paper.

Huang, Yuenian; Belomestnykh, Sergey; Brutus, Jean Clifford; Lederle, Dewey; Orfin, Paul; Skaritka, John; Soria, Victor; Tallerico, Thomas; Than, Roberto [Collider Accelerator Department, Brookhaven National Laboratory, Upton, NY 11973 (United States)

2014-01-29T23:59:59.000Z

233

Proof of Concept Thin Films and Multilayers Toward Enhanced Field Gradients in SRF Cavities  

SciTech Connect

Due to the very shallow penetration depth of the RF fields, SRF properties are inherently a surface phenomenon involving a material thickness of less than 1 micron thus opening up the possibility of using thin film coatings to achieve a desired performance. The challenge has been to understand the dependence of the SRF properties on the detailed characteristics of real surfaces and then to employ appropriate techniques to tailor these surface properties for greatest benefit. Our aim is to achieve gradients >100 MV/m and no simple material is known to be capable of sustaining this performance. A theoretical framework has been proposed which could yield such behavior [1] and it requires creation of thin film layered structures. I will present our systematic studies on such proof-of-principle samples. Our overarching goal has been to build a basic understanding of key nano-scale film growth parameters for materials that show promise for SRF cavity multilayer coatings and to demonstrate the ability to elevate the barrier for vortex entry in such layered structures above the bulk value of Hc1 for type-II superconductors and thus to sustain higher accelerating fields.

Lukaszew, R.A.; Beringer, D.; Roach, W.M.; Eremeev, G.V.; Valente-Feliciano, A-M.; Reece, C.E.; Xi, X.

2013-09-01T23:59:59.000Z

234

Proof of linear instability of the Reissner-Nordstr\\"om Cauchy horizon under scalar perturbations  

E-Print Network (OSTI)

It has long been suggested that solutions to linear scalar wave equation $$\\Box_g\\phi=0$$ on a fixed subextremal Reissner-Nordstr\\"om spacetime with non-vanishing charge are generically singular at the Cauchy horizon. We prove that generic smooth and compactly supported initial data on a Cauchy hypersurface indeed give rise to solutions with infinite nondegenerate energy near the Cauchy horizon in the interior of the black hole. In particular, the solution generically does not belong to $W^{1,2}_{loc}$. This instability is related to the celebrated blue shift effect in the interior of the black hole. The problem is motivated by the strong cosmic censorship conjecture and it is expected that for the full nonlinear Einstein-Maxwell system, this instability leads to a singular Cauchy horizon for generic small perturbations of Reissner-Nordstr\\"om spacetime. Moreover, in addition to the instability result, we also show as a consequence of the proof that Price's law decay is generically sharp along the event horiz...

Luk, Jonathan

2015-01-01T23:59:59.000Z

235

Passive heat transfer means for nuclear reactors  

DOE Patents (OSTI)

An improved passive cooling arrangement is disclosed for maintaining adjacent or related components of a nuclear reactor within specified temperature differences. Specifically, heat pipes are operatively interposed between the components, with the vaporizing section of the heat pipe proximate the hot component operable to cool it and the primary condensing section of the heat pipe proximate the other and cooler component operable to heat it. Each heat pipe further has a secondary condensing section that is located outwardly beyond the reactor confinement and in a secondary heat sink, such as air ambient the containment, that is cooler than the other reactor component. Means such as shrouding normally isolated the secondary condensing section from effective heat transfer with the heat sink, but a sensor responds to overheat conditions of the reactor to open the shrouding, which thereby increases the cooling capacity of the heat pipe. By having many such heat pipes, an emergency passive cooling system is defined that is operative without electrical power.

Burelbach, James P. (Glen Ellyn, IL)

1984-01-01T23:59:59.000Z

236

Proof of Murphy-Cohen Conjecture on One-dimensional Hard Ball Systems  

E-Print Network (OSTI)

We prove the Murphy and Cohen's conjecture that the maximum number of collisions of n + 1 elastic particles moving freely on a line is n(n+1)/2 if no interior particle has mass less than the arithmetic mean of the masses of its immediate neighbors. In fact, we prove the stronger result that, for the same conclusion, the condition no interior particle has mass less than the geometric mean, rather than the arithmetic mean, of the masses of its immediate neighbors suffices.

Lizhou Chen

2006-01-10T23:59:59.000Z

237

Going and going : a contemporary search for meaning  

E-Print Network (OSTI)

Meaning provides the individual with a sense of a purpose to live, being himself, and feeling at ease. Finding meaning on a daily basis is paramount. Yet, the search is constant since meaning is lost and regained persistently. ...

Alvarado Beltrán, Elba Fabiola

2012-01-01T23:59:59.000Z

238

Meaning in the traditional Chinese house and garden  

E-Print Network (OSTI)

The thesis deals with the various levels of meanings of the Chinese house and garden, and how the meanings operated in the context of traditional daily life. It is approached from the point of view of meaning in the context ...

Li, Tao, M.S. Massachusetts Institute of Technology

1992-01-01T23:59:59.000Z

239

A nonparametric adjustment for tests of changing mean  

E-Print Network (OSTI)

When testing for a change in mean of a time series, the null hypothesis is no change in mean. However, a change in mean causes a bias in the estimation of serial correlation parameters. This bias can cause nonmonotonic ...

Juhl, Ted P.

2004-01-01T23:59:59.000Z

240

Communication: Electronic and transport properties of molecular junctions under a finite bias: A dual mean field approach  

SciTech Connect

We show that when a molecular junction is under an external bias, its properties cannot be uniquely determined by the total electron density in the same manner as the density functional theory for ground state properties. In order to correctly incorporate bias-induced nonequilibrium effects, we present a dual mean field (DMF) approach. The key idea is that the total electron density together with the density of current-carrying electrons are sufficient to determine the properties of the system. Two mean fields, one for current-carrying electrons and the other one for equilibrium electrons can then be derived. Calculations for a graphene nanoribbon junction show that compared with the commonly used ab initio transport theory, the DMF approach could significantly reduce the electric current at low biases due to the non-equilibrium corrections to the mean field potential in the scattering region.

Liu, Shuanglong; Feng, Yuan Ping [Department of Physics and Graphene Research Centre, National University of Singapore, 2 Science Drive 3, Singapore 117542 (Singapore)] [Department of Physics and Graphene Research Centre, National University of Singapore, 2 Science Drive 3, Singapore 117542 (Singapore); Zhang, Chun, E-mail: phyzc@nus.edu.sg [Department of Physics and Graphene Research Centre, National University of Singapore, 2 Science Drive 3, Singapore 117542 (Singapore) [Department of Physics and Graphene Research Centre, National University of Singapore, 2 Science Drive 3, Singapore 117542 (Singapore); Department of Chemistry, National University of Singapore, 3 Science Drive 3, Singapore 117543 (Singapore)

2013-11-21T23:59:59.000Z

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


241

Validation, Proof-of-Concept, and Postaudit of the Groundwater Flow and Transport Model of the Project Shoal Area  

SciTech Connect

The groundwater flow and radionuclide transport model characterizing the Shoal underground nuclear test has been accepted by the State of Nevada Division of Environmental Protection. According to the Federal Facility Agreement and Consent Order (FFACO) between DOE and the State of Nevada, the next steps in the closure process for the site are then model validation (or postaudit), the proof-of-concept, and the long-term monitoring stage. This report addresses the development of the validation strategy for the Shoal model, needed for preparing the subsurface Corrective Action Decision Document-Corrective Action Plan and the development of the proof-of-concept tools needed during the five-year monitoring/validation period. The approach builds on a previous model, but is adapted and modified to the site-specific conditions and challenges of the Shoal site.

Ahmed Hassan

2004-09-01T23:59:59.000Z

242

Laboratory {open_quotes}proof of principle{close_quotes} investigation for the acoustically enhanced remediation technology  

SciTech Connect

This document describes a three phase program of Weiss Associates which investigates the systematics of using acoustic excitation fields (AEFs) to enhance the in-situ remediation of contaminated soil and ground water under both saturated and unsaturated conditions. The focus in this particular paper is a laboratory proof of principle investigation. The field deployment and engineering viability of acoustically enhanced remediation technology is also examined.

Iovenitti, J.L.; Spencer, J.W.; Hill, D.G. [and others

1995-12-01T23:59:59.000Z

243

Advance View Proofs Thermodynamic Description of the Mg-Mn, Al-Mn and Mg-Al-Mn Systems  

E-Print Network (OSTI)

Advance View Proofs Thermodynamic Description of the Mg-Mn, Al-Mn and Mg-Al-Mn Systems Using-consistent thermodynamic model of the Mg-Mn, Al-Mn and Mg-Al-Mn systems has been developed. The major difference between work on the Al-Mn system that uses the same model for the liquid phase reveals that better agreement

Medraj, Mamoun

244

Optimization of the Mode of the Uranium-233 Accumulation for Application in Thorium Self-Sufficient Fuel Cycle of Candu Power Reactor  

SciTech Connect

Results of calculation studies of the first stage of self-sufficient thorium cycle for CANDU reactor are presented in the paper. The first stage is preliminary accumulation of {sup 233}U in the CANDU reactor itself. Parameters of active core and scheme of fuel reloading were accepted the same as those for CANDU reactor. It was assumed for calculations, that enriched {sup 235}U or plutonium was used as additional fissile material to provide neutrons for {sup 233}U production. Parameters of 10 different variants of the elementary cell of active core were calculated for the lattice pitch, geometry of fuel channels, and fuel assembly of the CANDU reactor. The results presented in the paper allow to determine the time of accumulation of the required amount of {sup 233}U and corresponding number of targets going into processing for {sup 233}U extraction. Optimum ratio of the accumulation time to number of processed targets can be determined using the cost of electric power produced by the reactor and cost of targets along with their processing. (authors)

Bergelson, Boris; Gerasimov, Alexander [Institute of Theoretical and Experimental Physics, B. Cheremushkinskaya 25, 117259 Moscow (Russian Federation); Tikhomirov, Georgy [Moscow Engineering Physics Institute, Kashirskoe Shosse 31, Moscow (Russian Federation)

2006-07-01T23:59:59.000Z

245

Direct liquefaction proof-of-concept program. Finaltopical report, Bench Run 4 (227-95)  

SciTech Connect

This report presents the results of bench-scale work, Bench Run PB-04, conducted under the DOE Proof of Concept-Bench Option Program in direct coal liquefaction at Hydrocarbon Technologies, Inc. in Lawrenceville, New Jersey. The Bench Run PB-04 was the fifth of the nine runs planned in the POC Bench Option Contract between the U.S. DOE and Hydrocarbon Technologies, Inc. Bench Run PB-04 had multiple goals. These included the evaluation of the effects of dispersed slurry catalyst system on the performance of direct liquefaction of a subbituminous Wyoming Black Thunder mine coal under extinction recycle (454{degrees}C+ recycle) condition; another goal was to investigate the effects of the combined processing of automobile shredder residue (auto-fluff) with coal and other organic waste materials. PB-04 employed a two-stage, back-mixed, slurry reactor system with an interstage V/L separator and an in-line fixed-bed hydrotreater. The HTI`s newly modified P/Fe catalyst was very effective for direct liquefaction and coprocessing of Black Thunder mine subbituminous coal with Hondo resid and auto-fluff; during `coal-only` liquefaction mode, over 93% maf coal conversion was obtained with about 90% residuum conversion and as high as 67% light distillate (C{sub 4}-975 F) yield, while during `coprocessing` mode of operation, distillate yields varied between 58 and 69%; the residuum conversions varied between 74 and 89% maf. Overall, it is concluded, based upon the yield data available from PB-04, that auto-effective as MSW plastics in improving coal hydroconversion process performance. Auto-fluff did not increase light distillate yields nor decrease light gas make and chemical hydrogen consumption in coal liquefaction, as was observed to occur with MSW plastics.

Comolli, A.G.; Pradhan, V.R.; Lee, T.L.K. [and others

1997-03-01T23:59:59.000Z

246

Direct liquefaction proof-of-concept program: Final topical report, Bench Run 03 (227-93)  

SciTech Connect

This report presents the results of bench-scale work, Bench Run PB-03, conducted under the DOE Proof of Concept--Bench Option Program in direct coal liquefaction at Hydrocarbon Technologies, Inc. in Lawrenceville, New Jersey. The Bench Run PB-03 was the third of the nine runs planned in the POC Bench Option Contract between the US DOE and Hydrocarbon Technologies, Inc. The Bench Run PB-03 had multiple goals. These included the evaluation of the effects of dispersed slurry catalyst loadings and types on the performance of two-stage direct coal liquefaction, the effect of HTI`s new iron catalyst, modified with phosphorus, and the evaluation of the effect of recycle solvent hydrotreatment on the overall process performance. PB-03 employed a close-coupled (no interstage separator) configuration of hydroconversion reactors. Other features of PB-03 included the use of an in-line fixed bed hydrotreater for the net product. No significant effects on process performance was found by changing the loadings of iron and molybdenum in the ranges of 1,000--5,000 ppm for iron and 50--100 ppm for molybdenum. However, the modification of HTI`s iron-based gel catalyst with 100 ppm of phosphorous improved the process performance significantly. A newly tested Mo-Carbon dispersed catalyst was not found to be any better than Molyvan-A, which was used during all but one condition of PB-03. Hydrotreatment of part of the recycle solvent was found to have a positive influence on the overall performance.

Comolli, A.G.; Pradhan, V.R.; Lee, T.L.K.; Karolkiewicz, W.F.; Popper, G.

1996-12-01T23:59:59.000Z

247

Direct liquefaction proof-of-concept program: Bench Run 05 (227-97). Final report  

SciTech Connect

This report presents the results Bench Run PB-05, conducted under the DOE Proof of Concept - Bench Option Program in direct coal liquefaction at Hydrocarbon Technologies, Inc. in Lawrenceville, New Jersey. Bench Run PB-05 was the fifth of the nine runs planned in the POC Bench Option Contract between the U.S. DOE and included the evaluation of the effect of using dispersed slurry catalyst in direct liquefaction of a high volatile bituminous Illinois No. 6 coal and in combined coprocessing of coal with organic wastes, such as heavy petroleum resid, MSW plastics, and auto-shredder residue. PB-05 employed a two-stage, back-mixed, slurry reactor system with an interstage V/L separator and an in-line fixed-bed hydrotreater. Coprocessing of waste plastics with Illinois No. 6 coal did not result in the improvement observed earlier with a subbituminous coal. In particular, decreases in light gas yield and hydrogen consumption were not observed with Illinois No. 6 coal as they were with Black Thunder Mine coal. The higher thermal severity during PB-05 is a possible reason for this discrepancy, plastics being more sensitive to temperatures (cracking) than either coal or heavy resid. The ASR material was poorer than MSW plastics in terms of increasing conversions and yields. HTI`s new dispersed catalyst formulation, containing phosphorus-promoted iron gel, was highly effective for the direct liquefaction of Illinois No. 6 coal under the reaction conditions employed; over 95% coal conversion was obtained, along with over 85% residuum conversion and over 73% distillate yields.

Comolli, A.G.; Pradhan, V.R.; Lee, T.L.K.; Karolkiewicz, W.F.; Popper, G.

1997-04-01T23:59:59.000Z

248

New Regulations and What do they Mean?and What do they Mean?  

E-Print Network (OSTI)

GENERAL COUNSEL AND FREEDOM OF INFORMATION ACT OFFICER TRACI GULICK ASSOCIATE REGISTRAR ­ ACADEMIC RECORDS as information that would not generally be considered harmful or an invasion of privacy if disclosed. · No items of information from education records to any party by any means. The previous interpretation prohibited

249

Proof within the Western and the Eastern cultural traditions: Implications for mathematics education  

E-Print Network (OSTI)

education (Plenary Panel at the 19th ICMI Study, Taipei, May 2009) Presentation by SIU, Man Keung Liar Paradox, embodied in the terse but intriguing remark "I am a liar", is ascribed to the 4th century the term "mao dun", literally "halberd and shield", is used to mean "contradiction". Indeed, Hon Fei Zi

Siu, M.K.

250

Censored Glauber Dynamics for the Mean Field Ising Model  

E-Print Network (OSTI)

dynamics for the Mean-?eld Ising Model: cut-off, criticaldynamics for the mean-?eld Ising model. Commun. Math. Phys.to equilibrium of stochastic Ising models in the Dobrushin

Ding, Jian; Lubetzky, Eyal; Peres, Yuval

2009-01-01T23:59:59.000Z

251

Secretary Moniz: What the Natural Gas Boom Means for Renewables...  

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

Moniz: What the Natural Gas Boom Means for Renewables Secretary Moniz: What the Natural Gas Boom Means for Renewables May 29, 2013 - 1:35pm Addthis In a new video released on May...

252

CONTROL OF AN ARC DISCHARGE BY MEANS OF A GRID  

Science Journals Connector (OSTI)

CONTROL OF AN ARC DISCHARGE BY MEANS OF A GRID Albert...Research Laboratory, General Electric Co., Schenectady , N. Y. CONTROL OF AN ARC DISCHARGE BY MEANS OF A GRID. | Research Laboratory, General Electric Co., Schenectady , N...

Albert W. Hull; Irving Langmuir

1929-01-01T23:59:59.000Z

253

The Meaning of Stewardship Linking Planning, Process & Stewardship  

E-Print Network (OSTI)

The Meaning of Stewardship Linking Planning, Process & Stewardship Scott Bradley - Director Meaning of Stewardship Linking Planning, Process & Stewardship Scott Bradley - Director of Context that further capacity for natural, social and economic order to thrive together for the future What

Minnesota, University of

254

What Is Said, Linguistic Meaning, and Directly Referential Expressions  

E-Print Network (OSTI)

What Is Said, Linguistic Meaning, and Directly Referential Expressions Isidora Stojanovic CNRS the lexical or linguistic meaning of the sentence uttered, what is said by an utterance of the sentence, and speaker's meaning, or what is conveyed by the speaker to her audience. In most views, what is said

Paris-Sud XI, Université de

255

Over time, energy has come to mean many things to us. In physical science, energy means the ability to do work. Work means a change in position,  

E-Print Network (OSTI)

Over time, energy has come to mean many things to us. In physical science, energy means the ability). Therefore, energy is the capacity to change matter. Everything we do involves energy. Everything, takes energy. When we turn on a motor, drive a car, cook on a stove, or switch on a light, we are using

Gunawardena, Arunika

256

Dosimetric evaluation of intrafractional tumor motion by means of a robot driven phantom  

SciTech Connect

Purpose: The aim of the work was to investigate the influence of intrafractional tumor motion to the accumulated (absorbed) dose. The accumulated dose was determined by means of calculations and measurements with a robot driven motion phantom. Methods: Different motion scenarios and compensation techniques were realized in a phantom study to investigate the influence of motion on image acquisition, dose calculation, and dose measurement. The influence of motion on the accumulated dose was calculated by employing two methods (a model based and a voxel based method). Results: Tumor motion resulted in a blurring of steep dose gradients and a reduction of dose at the periphery of the target. A systematic variation of motion parameters allowed the determination of the main influence parameters on the accumulated dose. The key parameters with the greatest influence on dose were the mean amplitude and the pattern of motion. Investigations on necessary safety margins to compensate for dose reduction have shown that smaller safety margins are sufficient, if the developed concept with optimized margins (OPT concept) was used instead of the standard internal target volume (ITV) concept. Both calculation methods were a reasonable approximation of the measured dose with the voxel based method being in better agreement with the measurements. Conclusions: Further evaluation of available systems and algorithms for dose accumulation are needed to create guidelines for the verification of the accumulated dose.

Richter, Anne; Wilbert, Juergen; Flentje, Michael [Department of Radiation Oncology, University of Wuerzburg, 97080 Wuerzburg (Germany)

2011-10-15T23:59:59.000Z

257

Stochastic Mean Field Model of Heat Engine partitioned by Fluctuating Piston  

E-Print Network (OSTI)

We propose a stochastic mean field model of heat engine partitioned by a finite-mass piston. The time evolution equations for the density and the temperature of the enclosed gas are proposed, taking into account the stochastic equation of motion of the piston, and the energy conservation for the gas. Though the heat cycle consisting of finite-time heating and cooling processes is under strong non-equilibrium situations, i. e., the ratio of temperatures of two reservoirs is large, we analyze the efficiency and the power, and derive the semi-analytical expression for the efficiency. We find that the obtained efficiency at the maximum power operation is close to the Chambadal-Novikov-Curzon-Ahlborn (CNCA) efficiency, if the piston is sufficiently heavy and elastic for collisions with particles, even when the system is far from equilibrium. However, the extra heat due to the finiteness of the piston-mass or its inelasticity lowers the efficiency from the CNCA efficiency. The results of our stochastic mean field model are consistent with those for our event driven molecular dynamics simulation.

Tomohiko G. Sano; Hisao Hayakawa

2014-12-15T23:59:59.000Z

258

Unified Resolve 2014: A Proof of Concept for Radiological Support to Incident Commanders  

Energy.gov (U.S. Department of Energy (DOE))

Unified Resolve 2014: A Proof of Concept for Radiological Support to Incident Commanders Daniel Blumenthal*, U.S. Department of Energy ; John Crapo, Oak Ridge Institute for Science and Education; Gerard Vavrina, U.S. Department of Energy; Katharine McLellan McLellan, U.S. Department of Energy; Michael J. Gresalfi, Oak Ridge National Laboratory Abstract: In response to a radiological or nuclear (R/N) emergency, Incident Command and the associated response community will require requisite technical expertise, and the application of appropriate decision-support tools, and derivative products in order to effectively manage response operations. Unlike the spectrum of natural disasters which occur with some frequency, and which our nation’s first responder community has great familiarity with, an emergency that includes an R/N element, whether initiated by an accidental or manmade event, is at best an infrequent occurrence and generally not an operational emergency response experience most of our nation’s regional, state and local first responder communities have participated in. The Unified Resolve 2014 annual exercise, conducted by the National Capital Region's Incident Management Team (NCR IMT) during March, 2014, provided the U.S. Department of Energy’s Office of Emergency Response with an ideal opportunity to pilot and asses a proposed R/N operational support position, designed to provide state and local incident command with technical subject matter expertise within both the planning and operational elements of both area and unified command. This proposed cadre of R/N technical specialists, volunteers willing to support their home region’s state and local incident commands when facing an R/N emergency, are presently referred to as “Radiological Operations Support Specialists (ROSS). The role of the ROSS cadre is envisioned to be an on-scene R/N subject matter expert to Incident Command, to provide both adaptive planning support and operational advice, with respect to a wide range of R/N modeling, measurement, and analysis capabilities, decision-tools and products available from across the Federal community, to include both DOE, EPA and others. The ROSS cadre would include personnel who are already radiation professionals, to include health physicists and others. They would receive additional training in the specifics of radiological emergency response. The skills include knowing what Federal assets are available to help local responders, how do the data and modeling products provided by these Federal assets support local decision making, and how do the radiological issues impact or complicate local decision making. The exercise helped to define the role of this specialist, additional training required, and the types of data products needed by incident management personnel. The goal is to develop a nationwide cadre of local experts who can immediately support the local response to a radiological incident before any Federal expertise has time to arrive.

259

ENERGY CONSERVATION AND GRAVITY WAVES IN SOUND-PROOF TREATMENTS OF STELLAR INTERIORS. PART I. ANELASTIC APPROXIMATIONS  

SciTech Connect

Typical flows in stellar interiors are much slower than the speed of sound. To follow the slow evolution of subsonic motions, various sound-proof equations are in wide use, particularly in stellar astrophysical fluid dynamics. These low-Mach number equations include the anelastic equations. Generally, these equations are valid in nearly adiabatically stratified regions like stellar convection zones, but may not be valid in the sub-adiabatic, stably stratified stellar radiative interiors. Understanding the coupling between the convection zone and the radiative interior is a problem of crucial interest and may have strong implications for solar and stellar dynamo theories as the interface between the two, called the tachocline in the Sun, plays a crucial role in many solar dynamo theories. Here, we study the properties of gravity waves in stably stratified atmospheres. In particular, we explore how gravity waves are handled in various sound-proof equations. We find that some anelastic treatments fail to conserve energy in stably stratified atmospheres, instead conserving pseudo-energies that depend on the stratification, and we demonstrate this numerically. One anelastic equation set does conserve energy in all atmospheres and we provide recommendations for converting low-Mach number anelastic codes to this set of equations.

Brown, Benjamin P.; Zweibel, Ellen G. [Department of Astronomy, University of Wisconsin, Madison, WI 53706-1582 (United States); Vasil, Geoffrey M., E-mail: bpbrown@astro.wisc.edu [Canadian Institute for Theoretical Astrophysics, University of Toronto, 60 St. George Street, Toronto, ON M5S 3H8 (Canada)

2012-09-10T23:59:59.000Z

260

Proof of concept of a magnetically coupled Stirling engine-driven heat pump  

SciTech Connect

A prototype magnetically-coupled Stirling engine-driven heat pump module has been designed and fabricated by Sunpower, Inc. under sponsorship of the US Department of Energy and the Oak Ridge National Laboratory (ORNL). Preliminary testing indicates that the magnetic coupling is an effective means for transmitting power from a free-piston Stirling engine to a refrigerant compressor. Compared with other power transmission concepts, the magnetic coupling has relatively low cost, and will help make commercial development of Stirling-driven heat pumps more likely in the future.

Shonder, J.A. [Oak Ridge National Lab., TN (United States); Chen, Gong; McEntee, J. [Sunpower, Inc., Athens, OH (United States)

1992-08-01T23:59:59.000Z

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


261

Proof of concept of a magnetically coupled Stirling engine-driven heat pump  

SciTech Connect

A prototype magnetically-coupled Stirling engine-driven heat pump module has been designed and fabricated by Sunpower, Inc. under sponsorship of the US Department of Energy and the Oak Ridge National Laboratory (ORNL). Preliminary testing indicates that the magnetic coupling is an effective means for transmitting power from a free-piston Stirling engine to a refrigerant compressor. Compared with other power transmission concepts, the magnetic coupling has relatively low cost, and will help make commercial development of Stirling-driven heat pumps more likely in the future.

Shonder, J.A. (Oak Ridge National Lab., TN (United States)); Chen, Gong; McEntee, J. (Sunpower, Inc., Athens, OH (United States))

1992-01-01T23:59:59.000Z

262

HVAC Efficiency Controls Could Mean Significant Savings | Department of  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

HVAC Efficiency Controls Could Mean Significant Savings HVAC Efficiency Controls Could Mean Significant Savings HVAC Efficiency Controls Could Mean Significant Savings April 27, 2012 - 11:58am Addthis HVAC Efficiency Controls Could Mean Significant Savings April Saylor April Saylor Former Digital Outreach Strategist, Office of Public Affairs What does this mean for me? Commercial building owners could save an average 38% on their heating & cooling bills just by installing a few new controls onto their HVAC systems. According to a new report from Pacific Northwest National Lab, commercial building owners could save an average 38 percent on their heating and cooling bills just by installing a few new controls onto their HVAC systems. These findings mean significant potential savings for building owners who use commercial rooftop systems - but there's just one problem: the

263

ESTIMATION OF THE MEAN ENERGY OF MUONS IN MULTILAYER DETECTORS  

E-Print Network (OSTI)

The technique of muon mean energy determination in multilayer detectors is developed. The mean energy is measured by means of average small bursts $m$ i.e. the number of electrons and positrons generated by muons in the detecting layers of device via three basic processes --- creation of $e^+e^-$ pairs, $\\delta$-electrons and bremsestrahlung. The accuracy of the method is considered. Key words: muon energy, multilayer detectors.

T. T. BARNAVELI; Yu. G. VERBETSKY; I. V. KHALDEEVA; N. A. ERISTAVI

1995-05-30T23:59:59.000Z

264

Mean free path in nuclear matter from extended Brueckner theory  

Science Journals Connector (OSTI)

The nucleon mean free path in nuclear matter is studied within the framework of the Brueckner-Hartree-Fock approximation extended to incorporate ground-state correlations. The ground state particle-hole excitations give rise to a partial opening of the Fermi sphere and to an enhancement of the mean free path above the Fermi surface. A comparison with the classical limit and the mean free path in neutron matter is discussed along with a simple prescription to include the isospin dependence.

W. Zuo; U. Lombardo; H.-J. Schulze

1998-01-01T23:59:59.000Z

265

Ultrasonic Intrinsic Tagging for Nuclear Disarmament: A Proof-of-Concept Test  

SciTech Connect

The Office of Nonproliferation Policy of the Department of Energy (DOE/NA-241) requested Pacific Northwest National Laboratory (PNNL) to evaluate ultrasonic intrinsic tag (UIT) technology as a potential means to uniquely identify weapon components during dismantlement activities. PNNL performed a blind test to uniquely identify an item, solely based on UIT signatures out of a population of five inert trainers. A conclusion was that a high confidence exists that the ultrasonic intrinsic tag system is able to perform well as either a confidence building measure or an authenticating technology to assure an item is genuine. UIT signatures are intrinsic to the material and location on an item; therefore, external markings on an item were unnecessary. A fixture that mated to the lifting lugs of the B61 trainer was used to consistently place the UIT reader to the same location on an item to acquire a meaningful UIT signature.

Good, Morris S.; Simpkins, Bret E.; Kirihara, Leslie J.; Skorpik, James R.; Willett, Jesse A.

2003-12-01T23:59:59.000Z

266

Climate Change: A Challenge to the Means of Technology Transfer  

E-Print Network (OSTI)

TO THE MEANS OF TECHNOLOGY TRANSFER Gordon J. MacDonaldthe importance of technology transfer in dealing withthe discussion of technology transfer has centered on

MacDonald, Gordon J. F.

1992-01-01T23:59:59.000Z

267

Exo Ligament: A new means of ankle sprain prevention:.  

E-Print Network (OSTI)

??This thesis presents the research that was conducted to develop an injury preventive means that provides effective external support to the ankle joint without reducing… (more)

Fleuren, M.J.D.

2011-01-01T23:59:59.000Z

268

Proof of Concept of ITS as An Alternative Data Resource: A Demonstration Project of florida and New York Data  

NLE Websites -- All DOE Office Websites (Extended Search)

7 7 Proof of Concept of ITS as An Alternative Data Resource: A Demonstration Project of Florida and New York Data Final Report September 31, 2001 Prepared for Federal Highway Administration U.S. Department of Transportation Washington, DC 20590 P. Hu R. Goeltz R. Schmoyer Center for Transportation Analysis Oak Ridge National Laboratory Oak Ridge, Tennessee 37831-6073 managed by UT-Battelle, LIC for the U.S. DEPARTMENT OF ENERGY under contract DE-AC05-00OR22725 This report has been reproduced directly from the best available copy. Available to DOE and DOE contractors from the Office of Scientific and Technical Information, P. O. Box 62, Oak Ridge, TN 37831; prices available from (615) 576-8401. Available to the public from the National Technical Information Service, U.S. Department of Commerce, 5285 Port Royal Rd.,

269

Proof of concept for integrating oxy-fuel combustion and the removal of all pollutants from a coal fired flame  

SciTech Connect

The USDOE/Albany Research Center and Jupiter Oxygen Corporation, working together under a Cooperative Research and Development Agreement, have demonstrated proof-of-concept for the integration of Jupiter’s oxy-fuel combustion and an integrated system for the removal of all stack pollutants, including CO2, from a coal-fired flame. The components were developed using existing process technology with the addition of a new oxy-coal combustion nozzle. The results of the test showed that the system can capture SOx, NOx, particulates, and even mercury as a part of the process of producing liquefied CO2 for sequestration. This is part of an ongoing research project to explore alternative methods for CO2 capture that will be applicable to both retrofit and new plant construction.

Ochs, Thomas L.; Patrick, Brian (Jupiter Oxygen Corp.); Oryshchyn, Danylo B.; Gross, Alex (Jupiter Oxygen Corp.); Summers, Cathy A.; Simmons, William (CoalTeck LLC); Schoenfield, Mark (Jupiter Oxygen Corp.); Turner, Paul C.

2005-01-01T23:59:59.000Z

270

Fuel cell generator containing a gas sealing means  

DOE Patents (OSTI)

A high temperature solid electrolyte electrochemical generator is made, operating with flowing fuel gas and oxidant gas, the generator having a thermal insulation layer, and a sealing means contacting or contained within the insulation, where the sealing means is effective to control the contact of the various gases utilized in the generator.

Makiel, Joseph M. (Monroeville, PA)

1987-01-01T23:59:59.000Z

271

Fuel cell generator containing a gas sealing means  

DOE Patents (OSTI)

A high temperature solid electrolyte electrochemical generator is made, operating with flowing fuel gas and oxidant gas, the generator having a thermal insulation layer, and a sealing means contacting or contained within the insulation, where the sealing means is effective to control the contact of the various gases utilized in the generator. 5 figs.

Makiel, J.M.

1987-02-03T23:59:59.000Z

272

Time period Annual mean [DOC] 95% CI (mg l-1)  

E-Print Network (OSTI)

.3 Time period Annual mean [SRP] ± 95% CI (mg l-1) SEPA EQS category mean Oct 2006 - Sept 2007* 16.8 ± 4 of different development activities. Building up a time series of DOC and soluble reactive phosphorus (SRP, SRP, total oxidised nitrogen and alkalinity. In addition, streamwater sampling has continued at five

273

Clustering Binary Data Streams with K-means Carlos Ordonez  

E-Print Network (OSTI)

ABSTRACT Clustering data streams is an interesting Data Mining prob- lem. This article presents three was published in SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery. DOI:10 studied in this article include the standard version of K-means [19, 9], On-line K-means [25], Scalable K

Ordonez, Carlos

274

New Efficiency Standards Mean Big Energy Savings for Consumers | Department  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Efficiency Standards Mean Big Energy Savings for Consumers Efficiency Standards Mean Big Energy Savings for Consumers New Efficiency Standards Mean Big Energy Savings for Consumers May 16, 2012 - 4:22pm Addthis New Efficiency Standards Mean Big Energy Savings for Consumers April Saylor April Saylor Former Digital Outreach Strategist, Office of Public Affairs What does this mean for me? By 2030, energy efficiency standards passed since 2009 will save nearly $350 billion total for consumers. Energy efficiency standards for residential clothes washers and dishwashers alone will save consumers approximately $20 billion in energy and water costs through 2030. As part of the Obama Administration's energy strategy, Energy Department officials have been hard at work helping American families save money by saving energy. Since 2009, we've issued nearly 40 common-sense energy

275

Appendix B. Automobile Cruise Control and Monitoring System Case Study This appendix presents an application of the proof-of-concept prototype, CODA,  

E-Print Network (OSTI)

Appendix B. Automobile Cruise Control and Monitoring System Case Study This appendix presents an application of the proof-of-concept prototype, CODA, described in Chapter 10, to an automobile cruise control inferences about the terminators. Second, some of the elements in the diagram are named 1 The automobile

Mills, Kevin

276

ANDERSON-TEIXEIRA FINAL PROOF.DOCX (DO NOT DELETE) 3/7/2011 9:29 AM DO BIOFUELS LIFE CYCLE  

E-Print Network (OSTI)

ANDERSON-TEIXEIRA FINAL PROOF.DOCX (DO NOT DELETE) 3/7/2011 9:29 AM 589 DO BIOFUELS LIFE CYCLE ANALYSES ACCURATELY QUANTIFY THE CLIMATE IMPACTS OF BIOFUELS-RELATED LAND USE CHANGE? Kristina J. Anderson in determining the sustainability of biofuels. To ensure that legal standards are effective in limiting climate

DeLucia, Evan H.

277

Student Immunization Requirements The State of Illinois code, Reference: (110 ILCS 20) College Student Immunization Act, requires students to provide proof of  

E-Print Network (OSTI)

. Translations of non-English documents must be certified. It is acceptable to have an English translation that a live-virus vaccine was administered. History of disease is not acceptable as proof of immunity freshmen living in dormitories, have a higher risk of getting this contagious disease. Meningitis

He, Chuan

278

Harmonic mean, the Gamma factor and Speed of Light  

E-Print Network (OSTI)

The relationship between the harmonic mean and special relativity is concisely elucidated. The arguments in favor and against SRT are explored. It is shown that the ratio of the speed of light to the harmonic mean of the onward and return speeds of light in a moving frame under Newtonian mechanics, when equitably distributed between space and time as a correction, leads to the Lorentz transformation. This correction implies an apparent contraction of objects and time dilation. However, the symmetry of the onward and inverse transformations give a different meaning to the gamma factor

Chandru Iyer

2008-11-05T23:59:59.000Z

279

Eddy-mean flow interactions in western boundary current jets  

E-Print Network (OSTI)

This thesis examines the nature of eddy-mean flow interactions in western boundary current jets and recirculation gyre dynamics from both theoretical and observational perspectives. It includes theoretical studies of ...

Waterman, Stephanie N

2009-01-01T23:59:59.000Z

280

Determination of fission rate by mean last passage time  

Science Journals Connector (OSTI)

The mean last passage time is introduced instead of the mean first passage time for determining the decay rate of a nucleus after induced fission. The stationary fission rate calculated by the inverse of the mean last passage time at the saddle point is in agreement with the result of Langevin simulations and better than that of the mean first passing time at the scission point. In particular, we take into account the backstreaming effect where test particles pass over the potential barrier multiple times. It is shown that the oscillating time of a hot fissioning system around the saddle point is the longest one in time scales of the fission, thus more neutrons might be emitted during this period.

Jing-Dong Bao and Ying Jia

2004-02-26T23:59:59.000Z

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


281

Dynamics of polymers: A mean-field theory  

SciTech Connect

We derive a general mean-field theory of inhomogeneous polymer dynamics; a theory whose form has been speculated and widely applied, but not heretofore derived. Our approach involves a functional integral representation of a Martin-Siggia-Rose (MSR) type description of the exact many-chain dynamics. A saddle point approximation to the generating functional, involving conditions where the MSR action is stationary with respect to a collective density field ? and a conjugate MSR response field ?, produces the desired dynamical mean-field theory. Besides clarifying the proper structure of mean-field theory out of equilibrium, our results have implications for numerical studies of polymer dynamics involving hybrid particle-field simulation techniques such as the single-chain in mean-field method.

Fredrickson, Glenn H. [Department of Chemical Engineering, University of California, Santa Barbara, California 93106 (United States) [Department of Chemical Engineering, University of California, Santa Barbara, California 93106 (United States); Materials Research Laboratory, University of California, Santa Barbara, California 93106 (United States); Department of Materials, University of California, Santa Barbara, California 93106 (United States); Orland, Henri [Institut de Physique Théorique, CE-Saclay, CEA, F-91191 Gif-sur-Yvette Cedex (France)] [Institut de Physique Théorique, CE-Saclay, CEA, F-91191 Gif-sur-Yvette Cedex (France)

2014-02-28T23:59:59.000Z

282

Physical and colloquial meanings of the term “work”  

Science Journals Connector (OSTI)

Physicists are often apologetic about the difference between the physical and colloquial meanings of the term “work ” particularly in situations in which a lot of effort is involved but nothing is moved so no work is done in the physical sense. I argue that there is no need to be apologetic. Many words in mechanics have different physical and colloquial meanings. In the sense that work applies to output rather than input its physical meaning is closer to the colloquial meaning than many other terms in mechanics. A review of the history shows that force × distance was used to refer to the output of engines since the early eighteenth century. During the eighteenth and early nineteenth centuries several terms were used to denote force × distance but none became widespread and work quickly became the preferred term after it was suggested by G. Coriolis in 1829.

Kenneth S. Mendelson

2003-01-01T23:59:59.000Z

283

Posters Mean Fluxes of Visible Solar Radiation in Broken Clouds  

NLE Websites -- All DOE Office Websites (Extended Search)

7 Posters Mean Fluxes of Visible Solar Radiation in Broken Clouds V. E. Zuev, G. A. Titov, T. B. Zhuravleva, and S. Y. Popov Institute of Atmospheric Optics, Siberian Branch...

284

Changing Direct Current to Alternating Current by Means of Thyratrons  

Science Journals Connector (OSTI)

...Laboratory, General Electric Company. | Journal Article...LABORATORY, GENERAL ELECTRIC COMPANY Read before the...alternating for transmission of electric power has many well recognized...method of controlling an arc discharge by means of a grid...

Albert W. Hull

1936-01-01T23:59:59.000Z

285

Automatic measurement of the mean lifetime of the muon  

Science Journals Connector (OSTI)

This paper describes a microcomputer?based apparatus for the measurement of the mean lifetime of the muon. The equipment exposes the student to many modern experimental techniques and is suitable for an advanced undergraduatephysics laboratory.

Roger J. Lewis

1982-01-01T23:59:59.000Z

286

Processing polysemous words in context: Evidence for interrelated meanings  

Science Journals Connector (OSTI)

Two experiments are reported which examined whether the various meanings of polysemous adjectives (e.g.,firm as insolid orfirm as instrict) are functionally independent during language comprehension. In Experimen...

John N. Williams

1992-05-01T23:59:59.000Z

287

Generating Tensor Representation from Concept Tree in Meaning Based Search  

E-Print Network (OSTI)

to a representation that can be stored and compared efficiently on computers. Meaning of objects can be adequately captured in terms of a hierarchical composition structure called concept tree. This thesis describes the design and development...

Panigrahy, Jagannath

2011-08-08T23:59:59.000Z

288

Electric Mean Squared Radii of Lambda(1405) in Chiral Dynamics  

E-Print Network (OSTI)

The electric mean squared radii _E of Lambda(1405) are calculated in the chiral unitary model. We describe the Lambda(1405) as a dynamically generated resonance fully in the octet meson and octet baryon scattering. We also consider ``Lambda(1405)'' as a bound state of KbarN. For the later ``Lambda(1405),'' we obtain negative and larger absolute value of electric mean squared radius than that of ordinary baryons, which implies that Lambda(1405) have structure of widely spread K^- around p.

T. Sekihara; T. Hyodo; D. Jido

2008-03-31T23:59:59.000Z

289

Investigation of storm intensity by means of sferics  

E-Print Network (OSTI)

the measured and the various calculated distributions, it is remarkable that the means of the two distributions fall so closely together; apparently this is purely co- incidence. It appears& then~ that the electromagnetic radiation from non- local storms... the measured and the various calculated distributions, it is remarkable that the means of the two distributions fall so closely together; apparently this is purely co- incidence. It appears& then~ that the electromagnetic radiation from non- local storms...

Sievers, Henry Emmett

2012-06-07T23:59:59.000Z

290

An Energy Self-Sufficient Sawmill  

E-Print Network (OSTI)

This paper investigates the feasibility of converting sawmill wood by-products (biomass) into useful and marketable energy forms such as low pressure steam and electricity. It is based on the principle of energy cascading, utilizing a proven...

Juchymenko, A.

1982-01-01T23:59:59.000Z

291

Energy Self-Sufficiency for Hawaii  

Science Journals Connector (OSTI)

...shore-based utility grid would be both shorter...into an island utility grid, floating anchored platforms...been located in Hawaii. Mini-OTEC was the first fully...accommodated by the utility grid. The availability of...or fuel, no single renewable resource is likely to...

John W. Shupe

1982-06-11T23:59:59.000Z

292

Energy Self-Sufficiency for Hawaii  

Science Journals Connector (OSTI)

...large windmill in Hawaii-a 200-kW wind turbine genera-tor located at Kahuku on the...purchase of 80 MW of electricity from wind turbine generators to be locat-ed near the 200-kW...Windfarms will finance these huge wind turbines at an estimated total cost of SCIENCE...

John W. Shupe

1982-06-11T23:59:59.000Z

293

Individual Self-Sufficiency in Energy  

Science Journals Connector (OSTI)

...motorcycles and other energy-saving forms of...larger units as swimming pool heaters, now that...their autonomy of energy supply and who...automated it is; solar swimming pool heaters average...Edmunds of the Solar Energy Digest, P.O...

Allen L. Hammond

1974-04-19T23:59:59.000Z

294

Energy Self-Sufficiency for Hawaii  

Science Journals Connector (OSTI)

...wind conditions, the potential wind energy in the state exceeds...economic method for storing wind energy is devel-oped, the...energy is the total amount of wind power that can be accommodated...bio-mass growth for boiler fuel farms or liquid fuel feedstock. However...

John W. Shupe

1982-06-11T23:59:59.000Z

295

Individual Self-Sufficiency in Energy  

Science Journals Connector (OSTI)

...by an oversized, oil-fired water heater...cooling rather than heating purposes. Even these...cost of electric heating, which in sonle...Barher in Guilford. Connecticut. [SouLrce: SunAo0-1ks...electricity and backup oil heat) of conventionial...selling them readily at prices in excess of $500...

Allen L. Hammond

1974-04-19T23:59:59.000Z

296

Individual Self-Sufficiency in Energy  

Science Journals Connector (OSTI)

...house is a hemispherical dome, heavily insulated, heated by solar panels, and powered...11). A thick layer of polyurethane foam in-sulation will be sprayed on the outside...of small cars. Buses, subways, and cable cars, for those fortunate enough to live...

Allen L. Hammond

1974-04-19T23:59:59.000Z

297

Energy Self-Sufficiency for Hawaii  

Science Journals Connector (OSTI)

...war-rant nuclear power plants, and...it can share electric loads with...by a common electric grid. The...from mainland refineries may also be...total energy demand of the state...industry-is hydro-electric power, which provides...

John W. Shupe

1982-06-11T23:59:59.000Z

298

Individual Self-Sufficiency in Energy  

Science Journals Connector (OSTI)

...con-tractors of solar houses, taught by...companies now offer solar collectors for a...while emitting less thermal ra-diation than...brisk demand for his solar stills, which compete...may be enough for cooking purposes. If you...a bank of storage batteries, direct cuLrrent...

Allen L. Hammond

1974-04-19T23:59:59.000Z

299

Proof of the Impossibility of a Classical Action Principle for Magnetic Monopoles and Charges without Subsidiary Conditions  

Science Journals Connector (OSTI)

A proof is given that no action principle exists for the classical electromagnetic field when its sources are both charged particles and magnetic monopoles unless an extra condition, not derivable from the action principle, is assumed. The extra condition is that charges never touch magnetic monopoles. The Lorentz force law predicts that a charge and a magnetic monopole approaching each other along a straight line will collide. Since the Lorentz force law can only be gotten from an action principle with the aid of this extra condition, the necessary extra condition is in contradiction to the law derived with its help. Thus there is no satisfactory action principle for the classical electromagnetic field if both charges and magnetic monopoles exist. The foregoing provides an aesthetic argument against the existence of magnetic monopoles. An action principle has then been constructed using the extra condition. It is analogous to the usual action principle for (charge-only) electromagnetic theory, but J?A? is replaced by J?R??K?T? where J? and K? are the 4-dimensional current and magnetic monopole densities, respectively, and R? and T? are gaugeless "effective potentials." Electromagnetic theory is formulated in a gaugeless way in terms of these effective potentials in the Appendix.

David Rosenbaum

1966-07-29T23:59:59.000Z

300

Property:MeanReservoirTemp | Open Energy Information  

Open Energy Info (EERE)

MeanReservoirTemp MeanReservoirTemp Jump to: navigation, search Property Name MeanReservoirTemp Property Type Temperature Description Mean estimated reservoir temperature at location based on the USGS 2008 Geothermal Resource Assessment if the United States Pages using the property "MeanReservoirTemp" Showing 25 pages using this property. (previous 25) (next 25) A Abraham Hot Springs Geothermal Area + 363.15 K90 °C 194 °F 653.67 °R + Adak Geothermal Area + 428.15 K155 °C 311 °F 770.67 °R + Akun Strait Geothermal Area + 353.15 K80 °C 176 °F 635.67 °R + Akutan Fumaroles Geothermal Area + 523.15 K250 °C 482 °F 941.67 °R + Alvord Hot Springs Geothermal Area + 408.15 K135 °C 275 °F 734.67 °R + Amedee Geothermal Area + 388.15 K115 °C 239 °F 698.67 °R + Arrowhead Hot Springs Geothermal Area + 388.15 K115 °C

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


301

Nuclear Symmetry Energy in Relativistic Mean Field Theory  

E-Print Network (OSTI)

The Physical origin of the nuclear symmetry energy is studied within the relativistic mean field (RMF) theory. Based on the nuclear binding energies calculated with and without mean isovector potential for several isobaric chains we conform earlier Skyrme-Hartree-Fock result that the nuclear symmetry energy strength depends on the mean level spacing $\\epsilon (A)$ and an effective mean isovector potential strength $\\kappa (A)$. A detaied analysis of isospin dependence of the two components contributing to the nuclear symmetry energy reveals a quadratic dependence due to the mean-isoscalar potential, $\\sim\\epsilon T^2$, and, completely unexpectedly, the presence of a strong linear component $\\sim\\kappa T(T+1+\\epsilon/\\kappa)$ in the isovector potential. The latter generates a nuclear symmetry energy in RMF theory that is proportional to $E_{sym}\\sim T(T+1)$ at variance to the non-relativistic calculation. The origin of the linear term in RMF theory needs to be further explored.

Shufang Ban; Jie Meng; Wojciech Satula; Ramon A. Wyss

2005-09-12T23:59:59.000Z

302

Less platinum means lower prices for autos | Department of Energy  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Less platinum means lower prices for autos Less platinum means lower prices for autos Less platinum means lower prices for autos January 21, 2010 - 3:29pm Addthis Joshua DeLung You might wear a platinum wedding band, but tucked away in the guts of a car probably isn't where Americans prefer this pricey, precious metallic element to be. Luckily, researchers at 3M's Fuel Cell Component's Program in St. Paul, Minnesota have us covered. 3M has developed technology that will reduce the amount of platinum necessary in a fuel cell system by using nano-catalyst particles that actually make surface atoms more efficient at producing energy. Platinum is needed in fuel cells because no other metals are even close to being as effective at speeding up chemical reactions to make power. 3M is among a handful of fuel cell system suppliers in the U.S., and these advancements

303

WHAT THE SMART GRID MEANS TO AMERICANS | Department of Energy  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

WHAT THE SMART GRID MEANS TO AMERICANS WHAT THE SMART GRID MEANS TO AMERICANS WHAT THE SMART GRID MEANS TO AMERICANS The U.S. Department of Energy (DOE) is charged under the Energy Independence and Security Act of 2007 (EISA 2007) with modernizing the nation's electricity grid to improve its reliability and efficiency. As part of this effort, DOE is also responsible for increasing awareness of our nation's Smart Grid. Building upon The Smart Grid: An Introduction, a DOE-sponsored publication released in 2008 and available online at www.smartgrid.gov, this publication is one in a series of books designed to better acquaint discrete stakeholder groups with the promise and possibilities of the Smart Grid. Stakeholder groups include Utilities, Regulators, Policymakers, Technology Providers, Consumer

304

Growth in Solar Means Growth in Ohio | Department of Energy  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Growth in Solar Means Growth in Ohio Growth in Solar Means Growth in Ohio Growth in Solar Means Growth in Ohio October 6, 2010 - 2:26pm Addthis Lorelei Laird Writer, Energy Empowers Editor's Note: Yesterday Secretary Chu announced that solar panels and a solar hot water heater will be added to the White House by the end of next spring. This entry is cross-posted from the Energy Empowers blog and deals with how the continued growth of solar power is not only a boon for industry, but for local economies as well. The solar industry saw growth in 2010. Market research company Solarbuzz reports that global demand soared by 54 percent in the second quarter of 2010. The research firm reports that in the United States, the annual number of total watts installed moved from 485 MW in all of 2009 to 2.3 GW

305

Be a Lean, Mean, Green Eating Machine | Department of Energy  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Be a Lean, Mean, Green Eating Machine Be a Lean, Mean, Green Eating Machine Be a Lean, Mean, Green Eating Machine January 31, 2012 - 2:53pm Addthis Kristin Swineford Communication Specialist, Weatherization and Intergovernmental Programs Like most Americans, I watched the State of the Union to hear President Obama outline his goals for the year ahead, to understand his energy outlook and plans, and of course, to see what Michelle would be wearing (a stunning royal blue, of course). When listening to the President highlight his administration's clean energy initiatives, I couldn't help but remember the First Family's goals to reduce childhood obesity in America. By no surprise, the link between nationwide health improvement and energy efficiency efforts is strong. By reducing our demand for processed and imported foods, we can improve the

306

Be a Lean, Mean, Green Eating Machine | Department of Energy  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Be a Lean, Mean, Green Eating Machine Be a Lean, Mean, Green Eating Machine Be a Lean, Mean, Green Eating Machine January 31, 2012 - 2:53pm Addthis Kristin Swineford Communication Specialist, Weatherization and Intergovernmental Programs Like most Americans, I watched the State of the Union to hear President Obama outline his goals for the year ahead, to understand his energy outlook and plans, and of course, to see what Michelle would be wearing (a stunning royal blue, of course). When listening to the President highlight his administration's clean energy initiatives, I couldn't help but remember the First Family's goals to reduce childhood obesity in America. By no surprise, the link between nationwide health improvement and energy efficiency efforts is strong. By reducing our demand for processed and imported foods, we can improve the

307

Growth in Solar Means Growth in Ohio | Department of Energy  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Growth in Solar Means Growth in Ohio Growth in Solar Means Growth in Ohio Growth in Solar Means Growth in Ohio October 6, 2010 - 2:26pm Addthis Lorelei Laird Writer, Energy Empowers Editor's Note: Yesterday Secretary Chu announced that solar panels and a solar hot water heater will be added to the White House by the end of next spring. This entry is cross-posted from the Energy Empowers blog and deals with how the continued growth of solar power is not only a boon for industry, but for local economies as well. The solar industry saw growth in 2010. Market research company Solarbuzz reports that global demand soared by 54 percent in the second quarter of 2010. The research firm reports that in the United States, the annual number of total watts installed moved from 485 MW in all of 2009 to 2.3 GW

308

Support means for a particle beam position monitor  

DOE Patents (OSTI)

A support means is disclosed for a plurality of thermally deformable component parts that are concentrically mounted within a thermally expandable housing. The support means includes a plurality of pins that are mounted in relatively fixed or sliding relationship to either one of the concentrically positioned components or to the housing, and the pins are positioned to extend through aligned apertures in the remaining components or the housing in a manner such that the pins are free to slide in a snug relationship relative to the sides of the holes through those components or the housing. The support means enables the concentrically mounted components and the housing to undergo expansion and contraction movement, radially and longitudinally relative to one another, while maintaining concentricity of the components and the housing relative to one another. 3 figures.

VanZwienen, W.H.

1991-01-29T23:59:59.000Z

309

Modeling Stakeholder/Value Dependency through Mean Failure Cost  

SciTech Connect

In an earlier series of works, Boehm et al. discuss the nature of information system dependability and highlight the variability of system dependability according to stakeholders. In a recent paper, the dependency patterns of this model are analyzed. In our recent works, we presented a stakeholder dependent quantitative security model, where we quantify security for a given stakeholder by the mean of the loss incurred by the stakeholder as a result of security threats. We show how this mean can be derived from the security threat configuration (represented as a vector of probabilities that reflect the likelihood of occurrence of the various security threats). We refer to our security metric as MFC, for Mean Failure Cost. In this paper, we analyze Boehm's model from the standpoint of the proposed metric, and show whether, to what extent, and how our metric addresses the issues raised by Boehm's Stakeholder/Value definition of system dependability.

Aissa, Anis Ben [University of Tunis, Belvedere, Tunisia] [University of Tunis, Belvedere, Tunisia; Abercrombie, Robert K [ORNL] [ORNL; Sheldon, Frederick T [ORNL] [ORNL; Mili, Ali [New Jersey Insitute of Technology] [New Jersey Insitute of Technology

2010-01-01T23:59:59.000Z

310

Support means for a particle beam position monitor  

DOE Patents (OSTI)

A support means for a plurality of thermally deformable component parts that are concentrically mounted within a thermally expandable housing. The support means includes a plurality of pins that are mounted in relatively fixed or sliding relationship to either one of the concentrically positioned components or to the housing, and the pins are positioned to extend through aligned apertures in the remaining components or the housing in a manner such that the pins are free to slide in a snug relationship relative to the sides of the holes through those components or the housing. The support means enables the concentrically mounted components and the housing to undergo expansion and contraction movement, radially and longitudinally relative to one another, while maintaining concentricity of the components and the housing relative to one another.

VanZwienen, William H. (Bayshore, NY)

1991-01-01T23:59:59.000Z

311

Surface Mean-Square Amplitudes of Vibration for Nacl  

E-Print Network (OSTI)

obtained by M. Weber, E. J. Sharpe, and J. E. Miller fJ. Phys. Chem. Solids 32, 2775 (1971)]. PHYSICA L RE VIE W B VOLUME 6, NUMBE R 2 15 JULY 1972 Surface Mean-Square Amplitudes of Vibration for NaC1~ T. S. Chen, G. P. Alldredge, and F. W. de Wette..., No. 16, xi (1971). F. W. de Wette and G. E. Schacher, Phys. Rev. 137, SURFACE MEAN-SQUARE AMPLITUDES OF VIBRATION FOR NaC1 627 A78 (1965). A. A. Lucas, J. Chem. Phys. 48, 3156 (1968). Benson and co-workers have found that oversimplified models...

CHEN, TS; Alldredg, GP; Allen, Roland E.; WETTE, FWD.

1972-01-01T23:59:59.000Z

312

Outcomes Means of Assessment & Criteria / Tasks Results Action for Improvement &  

E-Print Network (OSTI)

Outcomes Means of Assessment & Criteria / Tasks Results Action for Improvement & Documentation of Action for College of Agricultural Sciences & Natural Resources - 2011 Priority 1_Increase Enrollment: 01/01/2011 Assessment Method: 2011 Fall Enrollment in College 05/14/2012 - 2011: 1874 (Goal for 2015

Rock, Chris

313

Mean and covariance matrix adaptive estimation for a weakly ...  

E-Print Network (OSTI)

portfolio selection model (of the form ˜P(?)) using simulated and real data in Section 5. ... ical mean and covariance matrix of a process ?t derived from the process rt: ˆ?N+1 ...... The flow balance equations for the xi are then given by: ? .... k, N + 1[, where k ? N. Finally, the optimization problems are solved using Matlab and.

2011-01-25T23:59:59.000Z

314

The meaning of race in science and in society  

Science Journals Connector (OSTI)

...CA The meaning of race in science and in society Harold Freeman...differently. Furthermore, science has been a major force in establishing...by race. For example, the Office of Management of the Budget...both American society and science operate. To illustrate, in...

Harold Freeman

2007-05-01T23:59:59.000Z

315

MEANKINETIC ENERGY,EDDY ENERGY,AND KINETIC ENERGYEXCHANGEBETWEENFLUCTUATIONSAND MEAN  

E-Print Network (OSTI)

MEANKINETIC ENERGY,EDDY ENERGY,AND KINETIC ENERGYEXCHANGEBETWEENFLUCTUATIONSAND MEAN FLOWWITHIN by cornputing three quantities suggested by the theory of turbulence: the nean kinetic energy, the eddy energy, and the energy exchange between the nean and fluctuating portions of the flow field (ca11ed dE/dt). Contours

Luther, Douglas S.

316

WHAT DO THREAT LEVELS AND RESPONSE LEVELS MEAN? THREAT LEVELS  

E-Print Network (OSTI)

WHAT DO THREAT LEVELS AND RESPONSE LEVELS MEAN? THREAT LEVELS: The UK Threat Level is decided by the Government's Joint Terrorism Analysis Centre (JTAC). It is the system to assess the threat to the UK from Threat Levels: Low - an attack is unlikely Moderate - an attack is possible, but not likely Substantial

Edinburgh, University of

317

What Is Said As Lexical Meaning Isidora Stojanovic  

E-Print Network (OSTI)

What Is Said As Lexical Meaning Isidora Stojanovic CNRS/Institut Jean-Nicod, 1bis avenue Lowendal, 75007 Paris, France isidora@stanford.edu 1 Introduction: The Dominant View on What Is Said, Semantic) the content that I have asserted by uttering (1), or the "what is said". This dominant view, whose origin we

Paris-Sud XI, Université de

318

What Happened to the Obama Agenda & What it Means for  

E-Print Network (OSTI)

What Happened to the Obama Agenda & What it Means for Canadian Workers Monday May 9th & Monday May was even awarded the Nobel prize in anticipation of what he was going to achieve., The reality has been, workers still find it difficult to organize and foreign policy is as problematic as it ever was. What

Thompson, Michael

319

Truth and meaning redux Ernie Lepore Kirk Ludwig  

E-Print Network (OSTI)

Truth and meaning redux Ernie Lepore · Kirk Ludwig � Springer Science+Business Media B.V. 2010 Abstract In this paper, we defend Davidson's program in truth-theoretical semantics against recent criticisms by Scott Soames. We argue that Soames has misunderstood Davidson's project, that in consequence

Indiana University

320

Thermodynamics and Universality for Mean Field Quantum Spin Glasses  

E-Print Network (OSTI)

We study aspects of the thermodynamics of quantum versions of spin glasses. By means of the Lie-Trotter formula for exponential sums of operators, we adapt methods used to analyze classical spin glass models to answer analogous questions about quantum models.

Nick Crawford

2006-10-13T23:59:59.000Z

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


321

Fresh Water Increased temperature means higher proportion of water  

E-Print Network (OSTI)

Fresh Water Increased temperature means higher proportion of water falling on surface higher evaporation higher rainfall greater intensity of floods and droughts. Water use has grown four on How much storage compared to average flow Demand as percentage of supply How much ground water is used

Houston, Paul L.

322

Sampling Wind Data for Mean Wind Speed Estimation  

Science Journals Connector (OSTI)

Two sampling techniques are applied to wind data at 3 h intervals for six stations in the Great Plains region in the United States in order to investigate the reduction in the number of data needed to estimate the mean wind speed. One-in-k ...

Mark Jong; Gary Thomann

1981-03-01T23:59:59.000Z

323

Mean Radiant Cooling in a Hot-Humid Climate  

E-Print Network (OSTI)

Shaded interior mass walls in a hot-humid climate can be thermally grounded to an earth heat sink under an insulated structure. The mean radiant temperature (MRT) of the shaded and thermally grounded interior mass walls will be cooler in summer than...

Garrison, M.

1996-01-01T23:59:59.000Z

324

A Solvable Mean Field Model of a Gaussian Spin Glass  

E-Print Network (OSTI)

We introduce a mean field spin glass model with gaussian distribuited spins and pairwise interactions, whose couplings are drawn randomly from a normal gaussian distribution too. We completely control the main thermodynamical properties of the model (free energy, phase diagram, fluctuations theory) in the whole phase space. In particular we prove that in thermodynamic limit the free energy equals its replica symmetric expression.

Adriano Barra; Giuseppe Genovese; Francesco Guerra; Daniele Tantari

2011-09-19T23:59:59.000Z

325

Gluon Condensate in Pion Superfluid beyond Mean Field Approximation  

E-Print Network (OSTI)

We study gluon condensate in a pion superfluid, through calculating the equation of state of the system in the Nambu-Jona-Lasinio model. While in mean field approximation the growing pion condensate leads to an increasing gluon condensate, meson fluctuations reduce the gluon condensate and the broken scalar symmetry can be smoothly restored at finite isospin density.

Yin Jiang; Pengfei Zhuang

2011-03-04T23:59:59.000Z

326

Preliminary Assessment of Alternative Navigation Means for Civil Aviation  

E-Print Network (OSTI)

in Homeland Security Presidential Directive 7 (HSPD-7) and National Security Presidential Directive 39 (NSPD Administration (FAA) is looking to develop alternative navigation means to global navigation satellite systems (GNSS) and GPS. While the national airspace (NAS) includes many navigation systems such as distance

Stanford University

327

Estimating contact rates at a mass gathering by using video analysis: a proof-of-concept project  

SciTech Connect

Current approaches for estimating social mixing patterns and infectious disease transmission at mass gatherings have been limited by various constraints, including low participation rates for volunteer-based research projects and challenges in quantifying spatially and temporally accurate person-to-person interactions. We developed a proof-of-concept project to assess the use of automated video analysis for estimating contact rates of attendees of the GameFest 2013 event at Rensselaer Polytechnic Institute (RPI) in Troy, New York. Video tracking and analysis algorithms were used to estimate the number and duration of contacts for 5 attendees during a 3-minute clip from the RPI video. Attendees were considered to have a contact event if the distance between them and another person was =1 meter. Contact duration was estimated in seconds. We also simulated 50 attendees assuming random mixing using a geo-spatially accurate representation of the same GameFest location. The 5 attendees had an overall median of 2 contact events during the 3-minute video clip (range: 0 6). Contact events varied from less than 5 seconds to the full duration of the 3- minute clip. The random mixing simulation was visualized and presented as a contrasting example. We were able to estimate the number and duration of contacts for five GameFest attendees from a 3-minute video clip that can be compared to a random mixing simulation model at the same location. The next phase will involve scaling the system for simultaneous analysis of mixing patterns from hours-long videos and comparing our results with other approaches for collecting contact data from mass gathering attendees.

Rainey, Jeanette J [ORNL; Cheriyadat, Anil M [ORNL; Radke, Richard J [ORNL; Crumly, Julie K [ORNL; Koch, Daniel B [ORNL

2014-01-01T23:59:59.000Z

328

Direct liquefaction proof-of-concept program: POC bench option run 01 (227-90). Final report  

SciTech Connect

This report presents the results of bench-scale work, Bench Run PB-01, conducted under the DOE Proof of Concept-Bench Option Program in direct coal liquefaction at Hydrocarbon Technologies, Inc. in Lawrenceville, New Jersey. The Bench Run PB-01 was the first of nine runs planned under the POC Bench Option Contract between the US DOE and Hydrocarbon Technologies, Inc. The primary goal of this bench run was to evaluate the most successful of the process improvements concepts, evolving out of the earlier CMSL Project, for conventional direct liquefaction as well as coprocessing of a sub-bituminous Black Thunder mine coal with waste organics such as waste plastics and heavy resid. The interstage separation of light ends and gases was indeed found to reduce the overall light gas-make from the liquefaction process. The organic waste feeds such as mixed plastics and vacuum resid, employed during Bench Run PB-01, in combined processing with coal, resulted in making the overall process more hydrogen efficient by virtue of reducing the light gas make and also decreasing the hydrogen consumption from the process, while at the same time improving the yields and quality of the distillate products. A definite synergy was found during the combined processing of coal with mixtures of vacuum resid and mixed waste plastics. The application of an all dispersed catalyst conversion reactor resulted in higher feed throughput at equivalent process performance, but also necessitated the use of an in-line hydrotreater for improving the quality of IBP-400{degrees}C distillate products. The combination of HTI`s iron gel catalyst and Molyvan-A was found very effective in achieving high levels of process performance; although, in recycled form, these catalysts were not as effective as the freshly added precursors.

Comolli, A.G.; Pradhan, V.R.; Lee, T.L.K.; Karolkiewicz, W.F.; Popper, G.

1996-05-01T23:59:59.000Z

329

Mean-field approach in the multi-component gas of interacting particles applied to relativistic heavy-ion collisions  

E-Print Network (OSTI)

Generalized mean-field approach for thermodynamic description of relativistic single- and multi-component gas in the grand canonical ensemble is formulated. In the framework of the proposed approach different phenomenological excluded-volume procedures are presented and compared to the existing ones. The mean-field approach is then used to effectively include hard-core repulsion in hadron-resonance gas model for description of chemical freeze-out in heavy-ion collisions. We calculate the collision energy dependence of several quantities for different values of hard-core hadron radius and for different excluded-volume procedures such as van der Waals and Carnahan-Starling models. It is shown that a choice of the excluded-volume model becomes important for large particle densities, and for large enough values of hadron radii ($r\\gtrsim0.9$ fm) there can be a sizable difference between different excluded-volume procedures used to describe the chemical freeze-out in heavy-ion collisions. For the smaller and more commonly used values of hard-core hadron radii ($r\\lesssim0.5$ fm) the van der Waals excluded-volume procedure is shown to be sufficient.

D. Anchishkin; V. Vovchenko

2015-01-23T23:59:59.000Z

330

WHAT A SMART GRID MEANS TO OUR NATION'S FUTURE.  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

WHAT A SMART GRID MEANS WHAT A SMART GRID MEANS TO OUR NATION'S FUTURE. regulators consumer advocates environmental groups technology providers ONE of SIX SMART GRID STAKEHOLDER BOOKS A smarter electric grid works to strengthen our nation's economy, environment, security and independence. policymakers utilities 2 DISCLAIMER PRINTED IN THE UNITED STATES OF AMERICA. This report was prepared as an account of work sponsored by an agency of the United States Government. Neither the United States Government nor any agency thereof, nor Litos Strategic Communication, nor any of their employees, make any warranty, express or implied, or assumes any legal liability or responsibility for the accuracy, completeness, or usefulness of any information apparatus, product, or process disclosed, or represents that its use

331

Successful Sequestration and Enhanced Oil Recovery Project Could Mean More  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Successful Sequestration and Enhanced Oil Recovery Project Could Successful Sequestration and Enhanced Oil Recovery Project Could Mean More Oil and Less CO2 Emissions Successful Sequestration and Enhanced Oil Recovery Project Could Mean More Oil and Less CO2 Emissions November 15, 2005 - 2:45pm Addthis "Weyburn Project" Breaks New Ground in Enhanced Oil Recovery Efforts WASHINGTON, DC - Secretary Samuel W. Bodman today announced that the Department of Energy (DOE)-funded "Weyburn Project" successfully sequestered five million tons of carbon dioxide (CO2) into the Weyburn Oilfield in Saskatchewan, Canada, while doubling the field's oil recovery rate. If the methodology used in the Weyburn Project was successfully applied on a worldwide scale, one-third to one-half of CO2 emissions could be eliminated in the next 100 years and billions of barrels of oil could be

332

Mean excitation energies in the nuclear muon capture  

Science Journals Connector (OSTI)

The parametrization of the total muon capture rates in terms of a mean nuclear excitation energy E¯?, proposed in a recent letter of Christillin, Dellafiore, and Rosa-Clot (CDR), is examined. We show that this parametrization ignores the importance of the allowed transitions in light nuclei and fails to reproduce the experimentally observed trend of the T> giant resonance energy as a function of nuclear mass number. The removal of contributions due to higher multipoles in heavier nuclei aggravates this discrepancy. The failure of E¯?, extracted by CDR, to correspond to physically meaningful nuclear excitation energies in heavier nuclei is attributable to the intrinsic arbitrariness in its definition, and to the oversimplifying assumption of the nuclear Hamiltonian to be a sum of kinetic energy and Wigner potential alone. A first-order improvement of the Primakoff approximation is discussed.NUCLEAR REACTIONS ?-+A(N,Z)?v+A(N+1,Z-1); muon capture; closure approximation; mean nuclear excitation energies.

Francesco Cannata and Nimai C. Mukhopadhyay

1974-07-01T23:59:59.000Z

333

Means and method of detection in chemical separation procedures  

DOE Patents (OSTI)

A means and method for indirect detection of constituent components of a mixture separated in a chemical separation process. Fluorescing ions are distributed across the area in which separation of the mixture will occur to provide a generally uniform background fluorescence intensity. For example, the mixture is comprised of one or more charged analytes which displace fluorescing ions where its constituent components separate to. Fluorescing ions of the same charge as the charged analyte components cause a displacement. The displacement results in the location of the separated components having a reduced fluorescence intensity to the remainder of the background. Detection of the lower fluorescence intensity areas can be visually, by photographic means and methods, or by automated laser scanning.

Yeung, Edward S. (Ames, IA); Koutny, Lance B. (Ames, IA); Hogan, Barry L. (Ames, IA); Cheung, Chan K. (Ames, IA); Ma, Yinfa (Ames, IA)

1993-03-09T23:59:59.000Z

334

A relativistic mean field study of multi-strange system  

E-Print Network (OSTI)

We study the binding energies, radii, single-particle energies, spin-orbit potential and density profile for multi-strange hypernuclei in the range of light mass to superheavy region within the relativistic mean field (RMF) theory. The stability of multi-strange hypernuclei as a function of introduced hyperons ($\\Lambda$ and $\\Sigma$) is investigated. The neutron, lambda and sigma mean potentials are presented for light to superheavy hypernuclei. The inclusion of hyperons affects the nucleon, lambda and sigma spin-orbit potentials significantly. The bubble structure of nuclei and corresponding hypernuclei is studied. The nucleon and lambda halo structure are also investigated. A large class of bound multi-strange systems formed from the combination of nucleons and hyperons (n, p, $\\Lambda$, $\\Sigma^+$ and n, p, $\\Lambda$, $\\Sigma^-$) is suggested in the region of superheavy hypernuclei which might be stable against the strong decay. These multi-strange systems might be produced in heavy-ion reactions.

Ikram, M; Usmani, A A; Patra, S K

2014-01-01T23:59:59.000Z

335

A relativistic mean field study of multi-strange system  

E-Print Network (OSTI)

We study the binding energies, radii, single-particle energies, spin-orbit potential and density profile for multi-strange hypernuclei in the range of light mass to superheavy region within the relativistic mean field (RMF) theory. The stability of multi-strange hypernuclei as a function of introduced hyperons ($\\Lambda$ and $\\Sigma$) is investigated. The neutron, lambda and sigma mean potentials are presented for light to superheavy hypernuclei. The inclusion of hyperons affects the nucleon, lambda and sigma spin-orbit potentials significantly. The bubble structure of nuclei and corresponding hypernuclei is studied. The nucleon and lambda halo structure are also investigated. A large class of bound multi-strange systems formed from the combination of nucleons and hyperons (n, p, $\\Lambda$, $\\Sigma^+$ and n, p, $\\Lambda$, $\\Sigma^-$) is suggested in the region of superheavy hypernuclei which might be stable against the strong decay. These multi-strange systems might be produced in heavy-ion reactions.

M. Ikram; S. K. Singh; A. A. Usmani; S. K. Patra

2014-06-18T23:59:59.000Z

336

Energy Dependent Isospin Asymmetry in Mean-Field Dynamics  

E-Print Network (OSTI)

The Lagrangian density of relativistic mean-field (RMF) theory with non-linear derivative (NLD) interactions is applied to isospin asymmetric nuclear matter. We study the symmetry energy and the density and energy dependences of nucleon selfenergies. At high baryon densities a soft symmetry energy is obtained. The energy dependence of the isovector selfenergy suppresses the Lane-type optical potential with increasing energy and predicts a $\\rho$-meson induced mass splitting between protons and neutrons in isospin asymmetric matter.

T. Gaitanos; M. Kaskulov

2012-01-27T23:59:59.000Z

337

The Therapeutic Relationship: Transference, Countertransference, and the Making of Meaning  

E-Print Network (OSTI)

grateful to Carolyn Grant Fay for what she has done. The holder of the McMillan Professorship in Analytical Psychology at Texas A&M functions as the general editor of the Fay Book Series. The Therapeutic Relationship Transference, Countertransference..., and the Making of Meaning jan wiener Foreword by David H. Rosen Texas A&M University Press ? College Station The Therapeutic Relationship Copyright ? 2009 by Jan Wiener Manufactured in the United States of America All rights reserved First edition This paper...

Wiener, Jan

2009-09-11T23:59:59.000Z

338

Sampling Within k-Means Algorithm to Cluster Large Datasets  

SciTech Connect

Due to current data collection technology, our ability to gather data has surpassed our ability to analyze it. In particular, k-means, one of the simplest and fastest clustering algorithms, is ill-equipped to handle extremely large datasets on even the most powerful machines. Our new algorithm uses a sample from a dataset to decrease runtime by reducing the amount of data analyzed. We perform a simulation study to compare our sampling based k-means to the standard k-means algorithm by analyzing both the speed and accuracy of the two methods. Results show that our algorithm is significantly more efficient than the existing algorithm with comparable accuracy. Further work on this project might include a more comprehensive study both on more varied test datasets as well as on real weather datasets. This is especially important considering that this preliminary study was performed on rather tame datasets. Also, these datasets should analyze the performance of the algorithm on varied values of k. Lastly, this paper showed that the algorithm was accurate for relatively low sample sizes. We would like to analyze this further to see how accurate the algorithm is for even lower sample sizes. We could find the lowest sample sizes, by manipulating width and confidence level, for which the algorithm would be acceptably accurate. In order for our algorithm to be a success, it needs to meet two benchmarks: match the accuracy of the standard k-means algorithm and significantly reduce runtime. Both goals are accomplished for all six datasets analyzed. However, on datasets of three and four dimension, as the data becomes more difficult to cluster, both algorithms fail to obtain the correct classifications on some trials. Nevertheless, our algorithm consistently matches the performance of the standard algorithm while becoming remarkably more efficient with time. Therefore, we conclude that analysts can use our algorithm, expecting accurate results in considerably less time.

Bejarano, Jeremy [Brigham Young University; Bose, Koushiki [Brown University; Brannan, Tyler [North Carolina State University; Thomas, Anita [Illinois Institute of Technology; Adragni, Kofi [University of Maryland; Neerchal, Nagaraj [University of Maryland; Ostrouchov, George [ORNL

2011-08-01T23:59:59.000Z

339

Test for the zero mean hypothesis in cosmology  

Science Journals Connector (OSTI)

One working hypothesis on which analyses of cosmological data are based is the zero ensemble mean hypothesis, which is related to the statistical homogeneity of cosmological perturbations. This hypothesis, however, should be tested by observational data in the current era of precision cosmology. Herein, we test the hypothesis by analyzing recent, foreground-reduced cosmic microwave background (CMB) maps, combining the spherical harmonic coefficients of the masked CMB temperature anisotropies in such a way that the combined variables can be treated as statistically independent samples. We find evidence against the zero mean hypothesis in two particular ranges of multipoles, with significance levels of 2.5? and 3.1? in the multipole ranges of ??61–86 and 213–256, respectively, for both the Planck and Wilkinson Microwave Anisotropy Probe maps. The latter signal is consistent with our previous result found by using brute-force Monte Carlo simulations. However, within the method employed in this paper we conclude that the zero mean hypothesis is consistent with the current CMB data on the basis of Stouffer’s weighted Z statistics, which takes multiple testing into account.

Kiyotomo Ichiki

2014-12-17T23:59:59.000Z

340

Vibrational shortcut to the mean-first-passage-time problem  

Science Journals Connector (OSTI)

What is the average time a random walker takes to get from A to B on a fractal structure and how does this mean time scale with the size of the system and the distance between source and target? We take a nonprobabilistic approach toward this problem and show how the solution is readily obtained using an analysis of thermal vibrations on fractals. Invariance under scaling and continuity with respect to the spectral dimension are shown to be emergent properties of the solution obtained via vibrational analysis. Our result emphasizes the duality between diffusion and vibrations on fractal structures. Applications to biological systems are discussed.

Shlomi Reuveni; Rony Granek; Joseph Klafter

2010-04-26T23:59:59.000Z

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


341

A mechanical approach to mean field spin models  

E-Print Network (OSTI)

Inspired by the bridge pioneered by Guerra among statistical mechanics on lattice and analytical mechanics on 1+1 continuous Euclidean space-time, we built a self-consistent method to solve for the thermodynamics of mean-field models defined on lattice, whose order parameters self average. We show the whole procedure by analyzing in full details the simplest test case, namely the Curie-Weiss model. Further we report some applications also to models whose order parameters do not self-average, by using the Sherrington-Kirkpatrick spin glass as a guide.

Giuseppe Genovese; Adriano Barra

2009-05-07T23:59:59.000Z

342

Method for chemically analyzing a solution by acoustic means  

DOE Patents (OSTI)

A method and apparatus are disclosed for determining a type of solution and the concentration of that solution by acoustic means. Generally stated, the method consists of: immersing a sound focusing transducer within a first liquid filled container; locating a separately contained specimen solution at a sound focal point within the first container; locating a sound probe adjacent to the specimen, generating a variable intensity sound signal from the transducer; measuring fundamental and multiple harmonic sound signal amplitudes; and then comparing a plot of a specimen sound response with a known solution sound response, thereby determining the solution type and concentration. 10 figs.

Beller, L.S.

1997-04-22T23:59:59.000Z

343

Method for chemically analyzing a solution by acoustic means  

DOE Patents (OSTI)

A method and apparatus for determining a type of solution and the concention of that solution by acoustic means. Generally stated, the method consists of: immersing a sound focusing transducer within a first liquid filled container; locating a separately contained specimen solution at a sound focal point within the first container; locating a sound probe adjacent to the specimen, generating a variable intensity sound signal from the transducer; measuring fundamental and multiple harmonic sound signal amplitudes; and then comparing a plot of a specimen sound response with a known solution sound response, thereby determining the solution type and concentration.

Beller, Laurence S. (Idaho Falls, ID)

1997-01-01T23:59:59.000Z

344

The cycle and meaning of the existence of humankind  

Science Journals Connector (OSTI)

A correlation has been made between the phases of various evolving natural systems—magmatic, biological and social. The cycle of existence of these systems encompasses four stages—growth, internal development, stationary state (maturity), ageing. On the basis of the correlations it is shown that the modern period of the evolution of humankind corresponds to the end of the growth stage; the age of humankind currently corresponds roughly to the age of a 17-year-old man. The meaning of the existence of humankind as a planetary system is examined, and the need for an elaboration of a long-term strategic programme of the evolution of civilization for promoting fundamental transition from the growth stage to that of internal development is substantiated.

V.N. Kompanichenko

1994-01-01T23:59:59.000Z

345

Two stochastic mean-field polycrystal plasticity methods  

SciTech Connect

In this work, we develop two mean-field polycrystal plasticity models in which the L{sup c} are approximated stochastically. Through comprehensive CPFEM analyses of an idealized tantalum polycrystal, we verify that the L{sup c} tend to follow a normal distribution and surmise that this is due to the crystal interactions. We draw on these results to develop the STM and the stochastic no-constraints model (SNCM), which differ in the manner in which the crystal strain rates D{sup c} are prescribed. Calibration and validation of the models are performed using data from tantalum compression experiments. Both models predict the compression textures more accurately than the FCM, and the SNCM predicts them more accurately than the STM. The STM is extremely computationally efficient, only slightly more expensive than the FCM, while the SNCM is three times more computationally expensive than the STM.

Tonks, Michael [Los Alamos National Laboratory

2008-01-01T23:59:59.000Z

346

Radiant energy receiver having improved coolant flow control means  

DOE Patents (OSTI)

An improved coolant flow control for use in radiant energy receivers of the type having parallel flow paths is disclosed. A coolant performs as a temperature dependent valve means, increasing flow in the warmer flow paths of the receiver, and impeding flow in the cooler paths of the receiver. The coolant has a negative temperature coefficient of viscosity which is high enough such that only an insignificant flow through the receiver is experienced at the minimum operating temperature of the receiver, and such that a maximum flow is experienced at the maximum operating temperature of the receiver. The valving is accomplished by changes in viscosity of the coolant in response to the coolant being heated and cooled. No remotely operated valves, comparators or the like are needed.

Hinterberger, H.

1980-10-29T23:59:59.000Z

347

Mean importance measures for groups of events in fault trees  

SciTech Connect

The method of moments is applied to precisely determine the mean values of three importance measures: risk reduction, partial derivative, and variance reduction. Variance reduction calculations, in particular, are significantly improved by eliminating the imprecision associated with Monte Carlo estimates. The three importance measures are extended to permit analyses of the relative importance of groups of basic and initiating events. The partial derivative importance measure is extended by assessing the contribution of a group of events to the gradient of the top event frequency. The group importance measures are quantified for the overall fuel damage equation and for 14 dominant accident sequences from an independent probabilistic safety assessment of the K Production Reactor. This application demonstrates both the utility and the versatility of the group importance measures.

Haskin, F.E.; Huang, Min [New Mexico Univ., Albuquerque, NM (United States). Dept. of Chemical and Nuclear Engineering; Sasser, M.K.; Stack, D.W. [Los Alamos National Lab., NM (United States)

1993-10-12T23:59:59.000Z

348

Comparative Analysis of Alternative Means for Removing Noncondensable Gases  

Open Energy Info (EERE)

Comparative Analysis of Alternative Means for Removing Noncondensable Gases Comparative Analysis of Alternative Means for Removing Noncondensable Gases from Flashed-Steam Geothermal Power Plants:April 1999 - March 2000 Dataset Summary Description This dataset corresponds to the final report on a screening study to compare six methods of removing noncondensable gases from direct-use geo-thermal steam power plants. This report defines the study methodologies and compares the performance and economics of selected gas-removal systems. Recommendations are presented for follow-up investigations and implementation of some of the technologies discussed. The specific gas-removal methods include five vacuum system configurations using the conventional approach of evacuating gas/vapor mixtures from the power plant condenser system and a system for physical separation of steam and gases upstream of the power turbine. The study focused on flashed-steam applications, but the results apply equally well to flashed-steam and dry-steam geothermal power plant configurations. Two gas-removal options appear to offer profitable economic potential. The hybrid vacuum system configurations and the reboiler process yield positive net present value results over wide-ranging gas concentrations. The hybrid options look favorable for both low-temperature and high-temperature resource applications. The reboiler looks profitable for low-temperature resource applications for gas levels above about 20,000 parts per million by volume. A vacuum system configuration using a three-stage turbocompressor battery may be profitable for low-temperature resources, but results show that the hybrid system is more profitable. The biphase eductor alternative cannot be recommended for commercialization at this time. The report is available from NREL's publication database.

349

Avalanche shape and exponents beyond mean-field theory  

E-Print Network (OSTI)

Elastic systems, such as magnetic domain walls, density waves, contact lines, and cracks, are all pinned by substrate disorder. When driven, they move via successive jumps called avalanches, with power law distributions of size, duration and velocity. Their exponents, and the shape of an avalanche, defined as its mean velocity as function of time, have recently been studied. They are known approximatively from experiments and simulations, and were predicted from mean-field models, such as the Brownian force model (BFM), where each point of the elastic interface sees a force field which itself is a random walk. As we showed in EPL 97 (2012) 46004, the BFM is the starting point for an $\\epsilon = d_{\\rm c}-d$ expansion around the upper critical dimension, with $d_{\\rm c}=4$ for short-ranged elasticity, and $d_{\\rm c}=2$ for long-ranged elasticity. Here we calculate analytically the ${\\cal O}(\\epsilon)$, i.e. 1-loop, correction to the avalanche shape at fixed duration $T$, for both types of elasticity. The exact expression is well approximated by $\\left_T\\simeq [ Tx(1-x)]^{\\gamma-1} \\exp\\left( {\\cal A}\\left[\\frac12-x\\right]\\right)$, $0

Alexander Dobrinevski; Pierre Le Doussal; Kay Jörg Wiese

2014-07-28T23:59:59.000Z

350

The Mixing Time Evolution of Glauber Dynamics for the Mean-Field Ising Model  

E-Print Network (OSTI)

dynamics for the mean-?eld Ising model. http://arxiv. org/dynamics for the mean-?eld Ising model: cut-off, criticalDynamics for the Mean-Field Ising Model Jian Ding 1, , Eyal

Ding, Jian; Lubetzky, Eyal; Peres, Yuval

2009-01-01T23:59:59.000Z

351

An Empirical Approach for Estimating Macroturbulent Heat Transport Conditional upon the Mean State  

Science Journals Connector (OSTI)

A stochastic specification for monthly mean wintertime eddy heat transport conditional upon the monthly mean circulation is proposed. The approach is based on an analog technique. The nearest neighbor for the monthly mean streamfunction (at 850 ...

Ute Luksch; Hans von Storch

1999-07-01T23:59:59.000Z

352

Meaning in architecture : an investigation of the indigenous environment in Bangladesh  

E-Print Network (OSTI)

A meaningful environment forms a necessary and essential part of a meaningful existence. Meaning is an interpretive problem, and meaning in architecture is difficult to grasp. Theoretical insights into meaning have to be ...

Haq, Saif-ul

1992-01-01T23:59:59.000Z

353

Optical measurement of the rms (root-mean-square) roughness of ion-bombarded surfaces. Final report, 1986-1987  

SciTech Connect

Ion-implantation and related ion-beam-processing techniques are used to modify the surface of materials and produce certain desirable properties. However, these methods sometimes roughen the surfaces to which they are applied. If undetected, such roughness can lead to erroneous interpretation of data gathered by most standard surface-analysis techniques. Many surface profilometers and scanning electron microscopes lack sufficient spatial resolution to detect fine-scale roughness that can complicate the data interpretation. A simple optical instrument was constructed to measure the root-mean-square (rms) roughness, below about 100 nm, of ion bombarded surfaces. This instrument measures the total integrated scatter (TIS) of almost normally incident laser light, which (under conditions specified by scalar scattering (theory)) is simply related to the rms surface roughness. This paper describes the construction and calibration of the TIS instrument. In addition, it presents results on the rms roughness of several ion-beam-processed systems, including TiN films on Si and Cr and Cr/sub 2/O/sub 3/ films on AISI 52100 steel, ion beam mixed Mo in Al, Si(x)N(1-x) refractive layers, and GaAs/AlAs superlattices.

Ferguson, C.D.

1987-05-19T23:59:59.000Z

354

NETL: News Release - Successful Sequestration Project Could Mean More Oil  

NLE Websites -- All DOE Office Websites (Extended Search)

November 15, 2005 November 15, 2005 Successful Sequestration Project Could Mean More Oil and Less Carbon Dioxide Emissions Weyburn Project Breaks New Ground in Enhanced Oil Recovery Efforts WASHINGTON, DC - Secretary Samuel Bodman today announced that the Department of Energy (DOE)-funded "Weyburn Project" successfully sequestered five million tons of carbon dioxide (CO2) into the Weyburn Oilfield in Saskatchewan, Canada, while doubling the field's oil recovery rate. If the methodology used in the Weyburn Project was successfully applied on a worldwide scale, one-third to one-half of CO2 emissions could be eliminated in the next 100 years and billions of barrels of oil could be recovered. "The success of the Weyburn Project could have incredible implications for reducing CO2 emissions and increasing America's oil production. Just by applying this technique to the oil fields of Western Canada we would see billions of additional barrels of oil and a reduction in CO2 emissions equivalent to pulling more than 200 million cars off the road for a year," Secretary of Energy Bodman said. "The Weyburn Project will provide policymakers, the energy industry, and the general public with reliable information about industrial carbon sequestration and enhanced oil recovery."

355

MEAN TEMPERATURE RISE IN A TARGET Keith Symon LS-99  

NLE Websites -- All DOE Office Websites (Extended Search)

KS (7 -24-87) KS (7 -24-87) MEAN TEMPERATURE RISE IN A TARGET Keith Symon LS-99 July 1987 The equation which determines the equilibrium temperature distribution in a cylindrically symmetrical target, if we deposit an average power J(r) inside radius r, is ) = dT J(r -2'ITrtK Or' where K is the thermal conductivity and t is the length of the target. The temperature is then T = T - 1 J J(r)dr o 2'ITKt 0 r If we deposit power uniformly in a cylinder of radius a, then where J o is the total T J 0 r2 I a 2 , r .;; a , J (r) = J o r ) a, power del i vered. The temperature is J r2 T - 0 0 2 , r .;; a, 4'ITda = T - J o (1 + 2 tn ria), r ) a. 0 4'ITKt then If the target boundary at r = b is held at a temperature Tb' then the temperature rise at the center is (1) (2 ) (3)

356

Relativistic mean-field models and nuclear matter constraints  

SciTech Connect

This work presents a preliminary study of 147 relativistic mean-field (RMF) hadronic models used in the literature, regarding their behavior in the nuclear matter regime. We analyze here different kinds of such models, namely: (i) linear models, (ii) nonlinear {sigma}{sup 3}+{sigma}{sup 4} models, (iii) {sigma}{sup 3}+{sigma}{sup 4}+{omega}{sup 4} models, (iv) models containing mixing terms in the fields {sigma} and {omega}, (v) density dependent models, and (vi) point-coupling ones. In the finite range models, the attractive (repulsive) interaction is described in the Lagrangian density by the {sigma} ({omega}) field. The isospin dependence of the interaction is modeled by the {rho} meson field. We submit these sets of RMF models to eleven macroscopic (experimental and empirical) constraints, used in a recent study in which 240 Skyrme parametrizations were analyzed. Such constraints cover a wide range of properties related to symmetric nuclear matter (SNM), pure neutron matter (PNM), and both SNM and PNM.

Dutra, M.; Lourenco, O.; Carlson, B. V. [Departamento de Fisica, Instituto Tecnologico de Aeronautica-CTA, 12228-900, Sao Jose dos Campos, SP (Brazil); Delfino, A. [Instituto de Fisica, Universidade Federal Fluminense, 24210-150, Boa Viagem, Niteroi, RJ (Brazil); Menezes, D. P.; Avancini, S. S. [Departamento de Fisica, CFM, Universidade Federal de Santa Catarina, CP. 476, CEP 88.040-900, Florianopolis, SC (Brazil); Stone, J. R. [Oxford Physics, University of Oxford, OX1 3PU Oxford (United Kingdom) and Department of Physics and Astronomy, University of Tennessee, Knoxville, Tennessee 37996 (United States); Providencia, C. [Centro de Fisica Computacional, Department of Physics, University of Coimbra, P-3004-516 Coimbra (Portugal); Typel, S. [GSI Helmholtzzentrum fuer Schwerionenforschung GmbH, Theorie, Planckstrasse 1,D-64291 Darmstadt (Germany)

2013-05-06T23:59:59.000Z

357

Mean Life of the P23 Metastable Argon Level  

Science Journals Connector (OSTI)

Using a previously described light absorption technique, the mean life of the metastable P23 level of argon has been measured in pure argon as a function of pressure at 77°K and 300°K, and in mixtures of neon and argon at 300°K. The coefficient of diffusion of metastable argon atoms in the parent gas falls much more rapidly with decreasing temperature than the T32 dependence predicted using the hard-sphere model. The cross section for the quenching of metastable atoms by two-body collisions with normal atoms changes slightly with temperature, in a manner inconsistent with the assumption of collision-induced transitions to the radiating P13 level. As the temperature is reduced from 300°K to 77°K, the frequency of quenching by three-body collisions increases from 13.5p2 to 440p2 sec-1 (mm of Hg )2. At a given total pressure, the two-body quenching collision cross section is much reduced and the three-body quenching collisions disappear as the ratio of partial pressures of neon to argon is increased.

A. H. Futch and F. A. Grant

1956-10-15T23:59:59.000Z

358

Can-out hatch assembly with magnetic retention means  

DOE Patents (OSTI)

A can-out hatch assembly may be positioned in sealed engagement about aperture within a chamber and is adapted to engage a cover on a container positioned over the aperture to allow the transfer of a contaminant from the chamber to the container while maintaining the contaminant as well as internal portions of the chamber and container isolated from the surrounding environment. With the container's cover engaged by the can-out hatch assembly, the hatch assembly as well as the cover may be pivotally displaced from the aperture with the cover maintaining the exterior portion of the hatch assembly isolated from the contaminant. After the contaminant is transferred from the chamber to the container, the hatch assembly and cover are again positioned in sealed engagement about the aperture. The hatch assembly then positions the cover upon the open end of the container in a sealed manner allowing the container to be removed while maintaining the chamber sealed relative to the surrounding environment. The can-out hatch assembly is particularly adapted for operation by remote control means within the sealed chamber.

Frank, R.C.; Hoh, J.C.

1985-07-03T23:59:59.000Z

359

First Principles Investigations of Americium, Plutonium and their Mixtures using Dynamical Mean Field Theory  

SciTech Connect

We developed a relativistic dynamical mean field approach to study the properties of Plutonium Americium mixtures.

Gabriel Kotliar and Sergej Savrasov

2007-04-17T23:59:59.000Z

360

Technology Assessment for Proof-of-Concept UF6 Cylinder Unique Identification Task 3.1.2 Report – Survey and Assessment of Technologies  

SciTech Connect

The National Nuclear Security Administration (NNSA) Office of Nonproliferation and International Security’s (NA-24) Next Generation Safeguards Initiative (NGSI) and the nuclear industry have begun to develop approaches to identify and monitor uranium hexafluoride (UF6) cylinders. The NA-24 interest in a global monitoring system for UF6 cylinders relates to its interest in supporting the International Atomic Energy Agency (IAEA) in deterring and detecting diversion of UF6 (e.g., loss of cylinder in transit) and undeclared excess production at conversion and enrichment facilities. The industry interest in a global monitoring system for UF6 cylinders relates to the improvements in operational efficiencies that such a system would provide. This task is part of an effort to survey and assess technologies for a UF6 cylinder to identify candidate technologies for a proof-of-concept demonstration and evaluation for the Cylinder Identification System (CIS).

Wylie, Joann; Hockert, John

2014-04-24T23:59:59.000Z

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


361

On the Estimation of Lagrangian Diffusivity: Influence of Nonstationary Mean Flow  

Science Journals Connector (OSTI)

Eddy–mean flow decomposition is crucial to the estimation of Lagrangian diffusivity based on drifter data. Previous studies have shown that inhomogeneous mean flow induces shear dispersion that increases the estimated diffusivity with time. In the ...

Yu-Kun Qian; Shiqiu Peng; Chang-Xia Liang; Rick Lumpkin

2014-10-01T23:59:59.000Z

362

Seasonal Mean Circulation on the Irish Shelf { A Model-Generated Climatology  

E-Print Network (OSTI)

Seasonal Mean Circulation on the Irish Shelf { A Model-Generated Climatology Daniel R. Lynch and interpret the climatological mean circulation in these waters, with emphasis on the Irish Shelf

363

What it means to be Christian: Kierkegaard's purpose as an author  

E-Print Network (OSTI)

My purpose for this thesis is to understand and interpret the meaning and intent of Kierkegaard's authorship. Kierkegaard is emphatically concerned with making his reader aware of essential Christianity and what it means to be a Christian...

Vaughn, Bradley Keith

2012-06-07T23:59:59.000Z

364

On Inquiry: Human Concept Formation and Construction of Meaning through Library and Information Science Intermediation  

E-Print Network (OSTI)

Does the text acknowledge that elocutio ¥ dispositio continues with construction of first order grammatical meanings?Does the text acknowledge that elocutio ¥ dispositio continues with construction of first order grammatical meanings?

Konrad, Allan

2007-01-01T23:59:59.000Z

365

Comparison of Two ARMA-GARCH Approaches for Forecasting the Mean and Volatility of Wind Speed  

Science Journals Connector (OSTI)

In this study, we develop two ARMA-GARCH models for predicting the mean and volatility of wind speed. The first model employs the standalone ARMA-GARCH model for modeling the mean wind speed and the variance simu...

Ergin Erdem; Jing Shi; Ying She

2014-01-01T23:59:59.000Z

366

A Cascade-Type Global Energy Conversion Diagram Based on Wave–Mean Flow Interactions  

Science Journals Connector (OSTI)

A cascade-type energy conversion diagram is proposed for the purpose of diagnosing the atmospheric general circulation based on wave–mean flow interactions. Mass-weighted isentropic zonal means facilitate the expression of nongeostrophic wave ...

Sachiyo Uno; Toshiki Iwasaki

2006-12-01T23:59:59.000Z

367

Fifty-Year Trends in the Chemical Industry: What Do They Mean for Chemical Education?  

Science Journals Connector (OSTI)

Fifty-Year Trends in the Chemical Industry: What Do They Mean for Chemical Education? ... Environmental Chemistry ...

George W. Parshall; Chadwick A. Tolman

1999-02-01T23:59:59.000Z

368

Intrinsic Mean Shift for Clustering on Stiefel and Grassmann Manifolds Hasan Ertan C etingul Rene Vidal  

E-Print Network (OSTI)

Intrinsic Mean Shift for Clustering on Stiefel and Grassmann Manifolds Hasan Ertan C¸ eting¨ul Ren

369

Bell States and Negative Sentences in the Distributed Model of Meaning  

E-Print Network (OSTI)

, but not in the same order. Alice puts the meaning into words according to the rules of the syntax. Bob recognizes KS Bob shared syntax shared meaning time // John does not like Mary Fig. 1. Alice informs BobQPL 2009 Bell States and Negative Sentences in the Distributed Model of Meaning Anne Preller 1

Paris-Sud XI, Université de

370

Bell States and Negative Sentences in the Distributed Model of Meaning  

E-Print Network (OSTI)

, but not in the same order. Alice puts the meaning into words according to the rules of the syntax. Bob recognizes time // John does not like Mary Fig. 1. Alice informs Bob reconstructs the meaning of the wordsQPL 2009 Bell States and Negative Sentences in the Distributed Model of Meaning Anne Preller 1

Paris-Sud XI, Université de

371

IASSNS-HEP-90/58 Mean-field theory of spin-liquid states  

E-Print Network (OSTI)

and topological orders* X. G. Wen Institute for Advanced Study Princeton, NJ 08540 ABSTRACT: The mean field theory are based on the mean field theory, the concept of the topological order and the associated universal theory. We also discuss the dynamical stability of the mean field theory. * Research supported by DOE

Wen, Xiao-Gang

372

The microscopic meaning of grand potential: cluster properties of the one-dimensional lattice gas  

E-Print Network (OSTI)

We demonstrate, with a concrete example, how the combinatorial approach to a general system of particles, which was introduced in detail in the earlier paper arXiv:1205.4986, works and where it enters to provide a genuine extension of results obtainable by more traditional methods of statistical mechanics. To this end, an effort is made to study cluster properties of the one-dimensional lattice gas with nearest neighbor interactions. Three cases: the infinite temperature limit, the range of finite temperatures, and the zero temperature limit are discussed separately, yielding some new results and providing alternative proofs of known results. In particular, the closed-form expression for the grand partition function in the zero temperature limit is obtained, which results in the non-analytic behavior of the grand potential, in accordance with the Yang-Lee theory.

Agata Fronczak

2012-09-18T23:59:59.000Z

373

Annual and Seasonal Global Variation in Total Ozone and Layer-Mean Ozone,  

NLE Websites -- All DOE Office Websites (Extended Search)

Atmospheric Trace Gases » Ozone » Total Ozone and Layer-Mean Ozone Atmospheric Trace Gases » Ozone » Total Ozone and Layer-Mean Ozone Annual and Seasonal Global Variation in Total Ozone and Layer-Mean Ozone, 1958-1987 (1991) DOI: 10.3334/CDIAC/atg.ndp023 data Data Investigators J. K. Angell, J. Korshover, and W. G. Planet Description For 1958 through 1987, this data base presents total ozone variations and layer mean ozone variations expressed as percent deviations from the 1958 to 1977 mean. The total ozone variations were derived from mean monthly ozone values published in Ozone Data for the World by the Atmospheric Environment Service in cooperation with the World Meteorological Organization. The layer mean ozone variations are derived from ozonesonde and Umkehr observations. The data records include year, seasonal and annual

374

Fr\\'echet means of curves for signal averaging and application to ECG data analysis  

E-Print Network (OSTI)

Signal averaging is the process that consists in computing a mean shape from a set of noisy signals. In the presence of geometric variability in time in the data, the usual Euclidean mean of the raw data yields a mean pattern that does not reflect the typical shape of the observed signals. In this setting, it is necessary to use alignment techniques for a precise synchronization of the signals, and then to average the aligned data to obtain a consistent mean shape. In this paper, we study the numerical performances of Fr\\'echet means of curves which are extensions of the usual Euclidean mean to spaces endowed with non-Euclidean metrics. This yields a new algorithm for signal averaging without a reference template. We apply this approach to the estimation of a mean heart cycle from ECG records.

Bigot, Jérémie

2011-01-01T23:59:59.000Z

375

ELECTR-5923; No of Pages 8 Please cite this article in press as: A. Sopinka,, British Columbia Electricity Supply Gap Strategy: A Redefinition of Self-sufficiency, Electr. J. (2013), http://dx.doi.org/10.1016/j.tej.2013.03.003  

E-Print Network (OSTI)

in Victoria, British Columbia. Dr. Sopinka worked for 10 years in the energy sector as both a market analyst auction that signaled the commencement of the deregulated wholesale electricity market in Alberta. She has mandate for self-sufficiency. In addition to the restrictions imposed by the Clean Energy Act

Pedersen, Tom

376

Monthly Mean Pressure Reconstructions for Europe (1780-1980) and North  

NLE Websites -- All DOE Office Websites (Extended Search)

Monthly Mean Pressure Reconstructions for Europe (1780-1980) and North Monthly Mean Pressure Reconstructions for Europe (1780-1980) and North America (1858-1980) (1987) (NDP-025) DOI: 10.3334/CDIAC/cli.ndp025 image Data Investigators P. D. Jones, T. M. L. Wigley, and K. R. Briffa Real and reconstructed measurements of monthly mean pressure data have been constructed for Europe for 1780 through 1980 and North America for 1858 through 1980. The reconstructions use early pressure, temperature, and precipitation data from a variety of sources including World Weather Records, meteorological and national archives, circulation maps, and daily chart series. Each record contains the year, monthly mean pressure, quality code, and annual mean pressure. These reconstructed gridded monthly pressures provide a reliable historical record of mean sea-level pressures

377

A study of phase transitions in sodium stearate by means of nuclear magnetic resonance.  

E-Print Network (OSTI)

??The mesomorphic phase transitions of sodium stearate occurring between 23°C. and 200°C. were investigated by means of the nuclear magnetic resonance of the hydrogen nuclei… (more)

Grant, Rowland Frederick

2012-01-01T23:59:59.000Z

378

Stakeholder Understandings of Wildfire Mitigation: A Case of Shared and Contested Meanings  

Science Journals Connector (OSTI)

This article identifies and compares meanings of wildfire risk mitigation for stakeholders in the Front Range of Colorado, USA. We examine the case of...

Joseph G. Champ; Jeffrey J. Brooks; Daniel R. Williams

2012-10-01T23:59:59.000Z

379

Interplay of anisotropies of momentum distribution and mean field in heavy-ion collisions  

E-Print Network (OSTI)

Two important parametrizations of momentum-dependent nucleonic fields, proposed for the simulations of central heavy-ion collisions, one by Gale et al. and the other by Welke et al., suffer from practical limitations. The first gives rise to mean fields isotropic in momentum, even when underlying momentum distributions are anisotropic, making descriptions of early nonequilibrium stages of collisions unrealistic. The second parametrization gives rise to anisotropic mean fields, but is computationally expensive, because the mean field has to be computed separately for every location of a nucleon in phase space, through folding. Here we construct a parametrization of the nucleonic mean field that yields an anisotropic mean field for an anisotropic momentum distribution and is inexpensive computationally. To demonstrate the versatility of our parametrization, we take the case of results from the parametrization by Welke et al. and attempt to approximate them. In arriving at a suitable anisotropic mean-field potential, we draw, on one hand, from the idea behind the parametrization of Gale et al., of a separable expansion of the potential energy, and, on the other, from the idea of a parallel expansion of the energy and mean field in anisotropy. We show that using our novel parametrization we can qualitatively and partially quantitatively reproduce the features of the mean-field parametrization of Welke et al.. This opens up the possibility of exploring the effects of mean-field anisotropy in collisions, without the penalty of computational cost behind the folding parametrization.

C. H. Simon; P. Danielewicz

2012-12-18T23:59:59.000Z

380

TAX POLICY AS A MEAN OF ATMOSPHERIC AIR PRESERVATION IN GOIÁS.  

E-Print Network (OSTI)

??Develops the creation of a Vehicle Ecological Tax VET in the State of Goiás Brazil as a mean of atmospheric air preservation on the state… (more)

Ideon José de Aguiar Júnior

2006-01-01T23:59:59.000Z

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


381

Determination of the mean energy density of a light beam in an irregular thermodynamic light guide  

Science Journals Connector (OSTI)

The mean energy density of a beam of light in an irregular thermodynamic light guide with random lens shifts is calculated...

A. F. Yakubov; É. T. Bruk-Levinson; A. G. Muradyan…

1976-06-01T23:59:59.000Z

382

Proof of concept testing of an integrated dry injection system for SO{sub 2}/NO{sub x} control. Final report  

SciTech Connect

The integrated Dry Injection Process (IDIP) consists of combustion modification using low NO{sub x} burners to reduce NO{sub x} emissions, dry injection of hydrated line at economizer temperatures for primary capture of SO{sub 2}, dry injection of a commercial grade sodium bicarbonate at the air heater exit for additional SO{sub 2} and NO{sub x} removal, and humidification for precipitator conditioning. IDIP offers the potential for simultaneously achieving 90% SO{sub 2} removal, and 65% NO{sub x} removal from a high sulfur flue gas. The process is well suited for new or retrofit applications since it can be incorporated within existing economizer and downstream ductwork. Subscale tests were performed in order to identify the best calcium and sodium sorbents. These tests involved the injection of calcium hydroxide and sodium sorbents at various points of the flue gas system downstream of a 0.25 MM BTU/hr. coal fired combustor, and the gas residence times, cooling rates and temperatures were comparable to those found for full-scale utility boilers. These tests verified that a high surface area hydrated lime provides maximum sorbent utilization and identified an alcohol-water hydrated lime as yielding the highest surface area and the best SO{sub 2} removal capability. The tests also identified sodium bicarbonate to be somewhat more effective than sodium sesquicarbonate for SO{sub 2} removal. The proof of concept demonstration was conducted on the large combustor at the Riley Stoker Research Facility in Worcester, MA. When economically compared to conventional limestone slurry scrubbing on a 300 MW plant, the dry injection process shows lower capital cost but higher operating cost. Hydrated lime injection can be less costly than limestone scrubbing when two or more of the following conditions exist: plant is small (less than 100MW); yearly operating hours are small (less than 3000); and the remaining plant lifetime is small (less than 10 years).

Helfritch, D.J.; Bortz, S.J. [Research-Cottrell, Inc., Somerville, NJ (United States); Beittel, R. [Riley Stoker Corp., Worcester, MA (United States)

1994-03-01T23:59:59.000Z

383

Direct liquefaction Proof-of-Concept Program, Hydrocarbon Technologies, Inc., Lawrenceville, New Jersey. Final topical report, Bench Run 02 (227-91)  

SciTech Connect

This report presents the results of Bench Run PB-02, conducted under the DOE Proof of Concept - Bench Option Program in direct coal liquefaction at Hydrocarbon Technologies, Inc. in Lawrenceville, New Jersey. Bench Run PB-02 was the second of the nine runs planned in the POC Bench Option Contract between the U.S. DOE and Hydrocarbon Technologies, Inc. The primary goal of this bench run was to evaluate the hybrid catalyst system, consisting of a dispersed slurry catalyst in one of the hydroconversion reactors and conventional supported extrudate catalyst in the other hydroconversion reactor, in a high-low two-stage temperature sequence, similar to the one operated at Wilsonville. This hybrid mode of operation with the high-low temperature sequence was studied during direct liquefaction of coal and in coprocessing of coal with Hondo resid and/or waste plastics under high space velocity operating conditions. Another important objective of Bench Run PB-02 was to investigate the novel {open_quotes}interstage internal recycle{close_quotes} of the second stage reactor slurry back to the first stage reactor. Other features of PB-02 included the use of an interstage separator and an in-line fixed bed hydrotreater. In general, it was found during Bench Run PB-02 that the {open_quote}hybrid type{close_quote} catalyst system was not effective for obtaining high levels of process performance as the {open_quote}all dispersed{close_quote} catalyst system, tested earlier, especially at high coal space velocities. The interstage internal recycle of second stage reactor slurry to the first stage reactor feed line was found to improve cracking of liquefaction products. The addition of small amounts of mixed plastics was found to improve the hydrogen utilization in both coal conversion and heavy oil hydrocracking reactions, i.e., plastics resulted in improving the overall distillate yield while at the same time reducing the light gas make and chemical hydrogen consumption.

Comolli, A.G.; Pradhan, V.R.; Lee, T.L.K.; Karolkiewicz, W.F.; Popper, G.

1996-09-01T23:59:59.000Z

384

Applying agglomerative fuzzy K-means to reduce the cost of telephone marketing  

Science Journals Connector (OSTI)

This research utilizes marketing research database the Taiwan telecom itself has together with Agglomerative Fuzzy K-Means to proceed fuzzy clustering analysis. The database content includes online behaviors and basic properties of clients, such as online ... Keywords: agglomerative fuzzy K-means, clustering analysis, data mining, internet behavior

Ming-Jia Hsu; Ping-Yu Hsu; Bayarmaa Dashnyam

2011-10-01T23:59:59.000Z

385

Neutron field parameter measurements on the JET tokamak by means of super-heated fluid detectors  

E-Print Network (OSTI)

Neutron field parameter measurements on the JET tokamak by means of super-heated fluid detectors M OF SCIENTIFIC INSTRUMENTS 83, 10E124 (2012) Neutron field parameter measurements on the JET tokamak by means 2 August 2012) The neutron field parameters (fluence and energy distribution) at a specific location

386

Estimation of a Mean Template from Spike-Train Data* Wei Wu and Anuj Srivastava  

E-Print Network (OSTI)

Estimation of a Mean Template from Spike-Train Data* Wei Wu and Anuj Srivastava Abstract-- Computing the template, or the mean, of a set of spike trains is a novel and important task in neural coding. Due to the random nature of spike trains taken from experimental recordings, probabilistic

Wu, Wei

387

Sensory invariance driven action (SIDA) framework for understanding the meaning of neural spikes  

E-Print Network (OSTI)

on an approach which regards action as necessary for acquiring the meaning of neural spikes. This approach differs from some others in that it proposes a new criterion called the sensory invariance criterion, which can be used to associate meaning to spike...

Bhamidipati, Sarvani Kumar

2004-09-30T23:59:59.000Z

388

Diagnosing implosion performance at the National Ignition Facility (NIF) by means of neutron spectrometry  

E-Print Network (OSTI)

, Cambridge, MA 02139, USA 2 Lawrence Livermore National Laboratory, Livermore, CA 94550, USA 3 LaboratoryDiagnosing implosion performance at the National Ignition Facility (NIF) by means of neutron.1088/0029-5515/53/4/043014 Diagnosing implosion performance at the National Ignition Facility (NIF) by means of neutron spectrometry J

389

An experimental investigation of the mean flow field of a wavy cylinder at critical Reynolds numbers  

E-Print Network (OSTI)

Fluid flow around a wavy cylinder geometry was investigated in the Texas A&M University 2'x3' wind tunnel. Tests consisted of mean surface static pressure and mean wake dynamic pressure measurements around two wavy cylinders of differing wavelength...

Damiana, Thomas Anthony

2012-06-07T23:59:59.000Z

390

Removal of Plant Nutrients by Means of Aerobic Stabilization of Sludge  

Science Journals Connector (OSTI)

...Nutrients by Means of Aerobic Stabilization of Sludge Roar L. Irgens 1 H. Orin Halvorson Department...investigation, we found that, if the sludges were treated by an aerobic process, a...Nutrients by Means of Aerobic Stabilization of Sludge ROAR L. IRGENS' AND H. ORIN HALVORSON...

Roar L. Irgens; H. Orin Halvorson

1965-05-01T23:59:59.000Z

391

Real Option Pricing with Mean-Reverting Investment and Project Value  

E-Print Network (OSTI)

to the invest in an oil field. Like most commodities, oil prices tend to mean-revert, and as a direct resultReal Option Pricing with Mean-Reverting Investment and Project Value October 1st, 2009 #12;Abstract to invest in a project enjoy a long and dis- tinguished history. The classical work of McDonald and Siegel

Zubelli, Jorge Passamani

392

Hearing and seeing meaning in speech and gesture: insights from brain and behaviour  

Science Journals Connector (OSTI)

...left IFG, bilateral MTG/STS) involved in the...higher level unification processes of meaning [71]. Gestures...These areas (left IFG, MTG/STS) seem to be playing...semantic load required to process iconic gestures and unification...meaning representations, MTG is activated when similar...

2014-01-01T23:59:59.000Z

393

Eddy Amplitudes in Baroclinic Turbulence Driven by Nonzonal Mean Flow: Shear Dispersion of Potential Vorticity  

E-Print Network (OSTI)

of eddy energy. 1. Introduction Continental boundaries lead to a mean oceanic strati- fication with both vorticity gradient. In practical terms, this means that the oceanic available potential energy stored in east­west gradients of the pycnocline is more easily converted to eddy kinetic energy than that stored

Smith, K. Shafer

394

The Mean Number of Extreme Lines in a Convex Hull of Lines  

Science Journals Connector (OSTI)

The dual problem of the mean number of extreme lines among n...chosen at random from a convex polygon of lines is defined, evaluations made for n=4 , 6, 20 and the asymptotic mean are shown to be the same as in t...

Gates

2002-01-01T23:59:59.000Z

395

Frechet means of curves for signal averaging and application to ECG data analysis  

E-Print Network (OSTI)

Fr´echet means of curves for signal averaging and application to ECG data analysis J´er´emie Bigot a reference template. We apply this approach to the estimation of a mean heart cycle from ECG records; Deformable models; ECG data. AMS classifications: Primary 62G08; secondary 62P10. Acknowledgements

Paris-Sud XI, Université de

396

The demographic impacts of shifts in climate means and extremes on alpine butterflies  

E-Print Network (OSTI)

The demographic impacts of shifts in climate means and extremes on alpine butterflies Lauren B and extremes, and how phenotypes mediate these effects. 2. Here, we incorporate demography in a biophysical (mediated by weather means) and egg viability (mediated by weather extremes) over time have varied between

Miller, Thomas E.

397

Table B1. Summary Table: Totals and Means of Floorspace, Number of Workers, and  

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

. Summary Table: Totals and Means of Floorspace, Number of Workers, and Hours of Operation, 1999" . Summary Table: Totals and Means of Floorspace, Number of Workers, and Hours of Operation, 1999" ,"All Buildings (thousand)","Total Floorspace (million square feet)","Total Workers in All Buildings (thousand)","Mean Square Feet per Building (thousand)","Mean Square Feet per Worker","Mean Hours per Week" "All Buildings ................",4657,67338,81852,14.5,823,60 "Building Floorspace" "(Square Feet)" "1,001 to 5,000 ...............",2348,6774,11125,2.9,609,57 "5,001 to 10,000 ..............",1110,8238,10968,7.4,751,53 "10,001 to 25,000 .............",708,11153,11378,15.7,980,65 "25,001 to 50,000 .............",257,9311,9243,36.2,1007,78

398

Electric coheating as a means to test duct efficiency: A review and analysis of the literature  

SciTech Connect

Recent published literature on electric coheating was reviewed in order to assess its suitability for use in a method of test for the efficiency of residential duct systems. Electric coheating is the research use of electric heaters within the heated space to assess the thermal integrity of the building envelope. Information was sought in two primary areas: (1) experimental methodology and (2) accuracy of the coheating method. A variety of experimental variations was found, and the method was judged, on the basis of published data, to be capable of sufficient accuracy for use in duct testing.

Andrews, J.W.

1995-08-01T23:59:59.000Z

399

First Proof of Ferromagnetic Carbon  

NLE Websites -- All DOE Office Websites (Extended Search)

can be moved perpendicular to the x-ray beam, while at the same time the transmitted intensity is detected to produce a 2D map (image, far right) of the x-ray absorption cross...

400

Trusted Trustworthy Proof Position Paper  

E-Print Network (OSTI)

. Examples where lives are at stake are aeroplanes, cars and medical devices. System relia- bility and safety that the certification process has any significant impact on that amount of defects. Given the programming model, any

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


401

Manipulating Proofs Jonathan P. Seldin  

E-Print Network (OSTI)

an approach to formal logic which is concerned with provability rather than with truth alone in recent years. We begin in §1 with a discussion of propositional logic as given by truth tables. In §2, we to Dag Prawitz [3]. In §4, we will look at normalization and its consequences for the full natural

Seldin, Jonathan P.

402

Manipulating Proofs # Jonathan P. Seldin  

E-Print Network (OSTI)

is to explain an approach to formal logic which is concerned with provability rather than with truth alone in recent years. We begin in §1 with a discussion of propositional logic as given by truth tables. In §2, we to Dag Prawitz [3]. In §4, we will look at normalization and its consequences for the full natural

Seldin, Jonathan P.

403

DIRECT LIQUEFACTION PROOF OF CONCEPT  

SciTech Connect

The eighth bench scale test of POC program, Run PB-08, was successfully completed from August 8 to August 26, 1997. A total of five operating conditions were tested aiming at evaluating the reactivity of different pyrolysis oils in liquefaction of a Wyoming sub-bituminous coal (Black Thunder coal). For the first time, water soluble promoters were incorporated into the iron-based GelCat to improve the dispersion of the promoter metals in the feed blend. The concentration of the active metals, Mo and Fe, was 100 and 1000 ppm of moisture-free coal, respectively. Black Thunder coal used in this run was the same batch as tested in HTI?s Run POC-02. Similar to Runs PB-01 through 7, this run employed two back mixed slurry reactors, an interstage gas/slurry separator and a direct-coupled hydrotreater. In addition to the hot vapor from the second stage separator, the first stage separator overhead liquid was also fed to the hydrotreater, which was packed with Criterion C-411 hydrotreating catalyst. Pyrolysis oil was produced off-line from a pyrolysis unit acquired from University of Wyoming. Solids rejection was achieved by purging out pressure filter solid. The recycle solvents consisted of O-6 separator bottoms and pressure filter liquid (PFL). The Run PB-08 proceeded very smoothly without any interruptions. Coal conversion consistently above 90W% was achieved. High resid conversion and distillate yield have been obtained from co-processing of coal and 343°C+ (650°F+) pyrolysis oil. Light gas (C1-C3 ) yield was minimized and hydrogen consumption was reduced due to the introduction of pyrolysis oil, compared with conventional coal-derived solvent. Catalytic activity was improved by incorporating a promoter metal into the iron-based GelCat. It seemed that lowering the first stage temperature to 435°C might increase the hydrogenation function of the promoter metal. In comparison with previous coal-waste coprocessing run (PB-06), significant improvements in the process performance were achieved due to catalyst modification and integration of pyrolysis technique into liquefaction.

NONE

1998-09-01T23:59:59.000Z

404

Inheritance of Proofs Martin Hofmann  

E-Print Network (OSTI)

for verification,owerex-ganized along the class* * hierarchy of object-oriented tend the object-model of Pierce in aonaturalfwayConstructions (ECC) [33] * *_ a type theory in which to object-oriented proving principles _ as analogues to object-oriented programming principles. We have used Lego, a type-theoretictproofype theories

Steffen, Martin

405

Stochastic Heating by ECR as a Novel Means of Background Reduction in the KATRIN Spectrometers  

E-Print Network (OSTI)

The primary objective of the KATRIN experiment is to probe the absolute neutrino mass scale with a sensitivity of 200 meV (90% C.L.) by precision spectroscopy of tritium beta-decay. To achieve this, a low background of the order of 10 mHz in the region of the tritium beta-decay endpoint is required. Measurements with an electrostatic retarding spectrometer have revealed that electrons, arising from nuclear decays in the volume of the spectrometer, are stored over long time periods and thereby act as a major source of background exceeding this limit. In this paper we present a novel active background reduction method based on stochastic heating of stored electrons by the well-known process of electron cyclotron resonance (ECR). A successful proof-of-principle of the ECR technique was demonstrated in test measurements at the KATRIN pre-spectrometer, yielding a large reduction of the background rate. In addition, we have carried out extensive Monte Carlo simulations to reveal the potential of the ECR technique t...

Mertens, S; Bornschein, L; Drexlin, G; Fränkle, F M; Furse, D; Glück, F; Görhardt, S; Krömer, O; Leiber, B; Schlösser, K; Thümmler, T; Wandkowsky, N; Wüstling, S

2012-01-01T23:59:59.000Z

406

Method and means of transmitting and receiving broad-band unipolar, ultrasonic pulses for ultrasonic inspection  

DOE Patents (OSTI)

The invention includes a means and method for transmitting and receiving broadband, unipolar, ultrasonic pulses for ultrasonic inspection. The method comprises generating a generally unipolar ultrasonic stress pulse from a low impedance voltage pulse transmitter along a low impedance electrical pathway to an ultrasonic transducer, and receiving the reflected echo of the pulse by the transducer, converting it to a voltage signal, and passing it through a high impedance electrical pathway to an output. The means utilizes electrical components according to the method. The means and method allow a single transducer to be used in a pulse/echo mode, and facilitates alternatingly transmitting and receiving the broadband, unipolar, ultrasonic pulses. 25 figures.

Thompson, D.O.; Hsu, D.K.

1993-12-14T23:59:59.000Z

407

Proof within the western and the eastern cultural traditions, starting from a discussion of the Chinese book Jiu Zhang Suan Shu: Implications for mathematics  

E-Print Network (OSTI)

of the Chinese book Jiu Zhang Suan Shu: Implications for mathematics education (Plenary Panel at the 19th ICMI but intriguing remark "I am a liar", is ascribed to the 6th century B.C. Cretan EPIMENIDES. A similar flavour through your shields?" In the Chinese language the term "mao dun" (literally meaning "halberd and shield

Siu, M.K.

408

Why new doesn't always mean efficient | ENERGY STAR Buildings & Plants  

NLE Websites -- All DOE Office Websites (Extended Search)

Why new doesn't always mean efficient Why new doesn't always mean efficient Secondary menu About us Press room Contact Us Portfolio Manager Login Facility owners and managers Existing buildings Commercial new construction Industrial energy management Small business Service providers Service and product providers Verify applications for ENERGY STAR certification Design commercial buildings Energy efficiency program administrators Commercial and industrial program sponsors Associations State and local governments Federal agencies Tools and resources Training In this section Why you should design to earn the ENERGY STAR Leading firms choose ENERGY STAR Why new doesn't always mean efficient Follow EPA's step-by-step process ENERGY STAR Challenge for Architects Why new doesn't always mean efficient Contrary to popular opinion, new buildings don't always perform among the

409

Discovery of oxygen in atmosphere could mean life for Saturn's moon Dione  

NLE Websites -- All DOE Office Websites (Extended Search)

Discovery of oxygen in atmosphere could mean life for Saturn's Discovery of oxygen in atmosphere could mean life for Saturn's moon Dione Discovery of oxygen in atmosphere could mean life for Saturn's moon Dione Discovery could mean ingredients for life are abundant on icy space bodies. March 5, 2012 Curiosity rover bears three LANL technologies Inside Titan: This artist's concept shows a possible scenario for the internal structure of Titan, as suggested by data from NASA's Cassini spacecraft. Scientists have been trying to determine what is under Titan's organic-rich atmosphere and icy crust. Data from the radio science experiment make the strongest case yet for a global subsurface ocean, sitting above a subsurface layer of high-pressure ice and a water-infused silicate core. Image credit: A. Tavani Get Expertise

410

B{sup +} and B{sup 0} mean lifetime measurements  

SciTech Connect

We review B{sup +} and B{sup 0} mean lifetime measurements, including direct measurements and determination of the lifetime ratio via measurements of the ratios of branching ratios. We present world averages.

DeJongh, F.

1994-08-01T23:59:59.000Z

411

U.S. Daily Temperatures: The Meaning of Extremes in the Context of Nonnormality  

Science Journals Connector (OSTI)

Variations in extreme daily temperatures are explored in relation to changes in seasonal mean temperature using 1218 high-quality U.S. temperature stations spanning 1900–2012. Extreme temperatures are amplified (or damped) by as much as ±50% ...

P. Huybers; K. A. McKinnon; A. Rhines; M. Tingley

2014-10-01T23:59:59.000Z

412

E-Print Network 3.0 - alter call meaning Sample Search Results  

NLE Websites -- All DOE Office Websites (Extended Search)

within the native range is a central means by which... -off (also called a convex trade-off) tends to hamper adaptation to the conditions in human-altered habitats......

413

A PV View of the Zonal Mean Distribution of Temperature and Wind in the Extratropical Troposphere  

Science Journals Connector (OSTI)

The dependence of the temperature and wind distribution of the zonal mean flow in the extratropical troposphere on the gradient of potential vorticity along isentropes is examined. The extratropics here refer to the region outside the Hadley ...

De-Zheng Sun; Richard S. Lindzen

1994-03-01T23:59:59.000Z

414

Climatology and Trends in the Forcing of the Stratospheric Zonal-Mean Flow  

E-Print Network (OSTI)

The momentum budget of the Transformed Eulerian-Mean (TEM) equation is calculated using the European Centre for Medium-Range Weather Forecasts (ECMWF) Re-Analysis (ERA-40). This study outlines the considerable contribution ...

Monier, Erwan

415

A regression model predicting the compressive strength of concrete by means of nondestructive, acoustic measurements  

E-Print Network (OSTI)

A sample size of 81, 4" diameter concrete standard cylinders were tested using nondestructive means. These cylinders were collected from three different ready-mix plants across Texas located in Houston, San Antonio and Victoria. The sound...

Pinto, Zeena Blossom

2012-06-07T23:59:59.000Z

416

Optimal coordinate sensor placements for estimating mean and variance components of variation sources  

E-Print Network (OSTI)

in diagnosing dimensional variation sources in assembly processes. Sensitivity indices of detecting process mean and variance components are defined as the design criteria and are derived in terms of process layout and sensor deployment information. Exchange...

Liu, Qinyan

2005-08-29T23:59:59.000Z

417

Mean Lives of Some Excited States in Multiply Ionized Oxygen and Neon  

Science Journals Connector (OSTI)

The beam-foil technique has been used to measure the mean lives of some excited levels in multiply oxygen and neon. The values for the mean lives are LevelSpectrumMean Life (sec)2p3 D03 (2p4 P4)O iii (O ii)(17.1±0.4) × 10-102p2 D2O iv(17.1±0.4) × 10-102p4 P4Ne iv(6.6±0.2) × 10-102p3 D03Ne v(8.5±0.1) × 10-10 Cascades that affected the decay of the 2p4 P4 level in the Ne iv have been taken into account in the determination of the mean life of that level. The decays of other states were not affected by cascades. Possible effects from unresolved spectral lines from two different levels were considered and found to be negligible for the cases treated herein.

William S. Bickel

1967-10-05T23:59:59.000Z

418

Super-conducting niobium films produced by means of UHV arc  

Science Journals Connector (OSTI)

The paper shows that high-quality super-conducting Nb films can be deposited by means of arc discharges under ultra-high vacuum conditions. The critical temperatureT c...of Nb-films obtained with ...

J. Langner; M. J. Sadowski; K. Czaus; R. Mirowski…

2004-03-01T23:59:59.000Z

419

The Meaning of the Opposition between the Healthy and the Pathological and its Consequences  

E-Print Network (OSTI)

The Meaning of the Opposition between the Healthy and the Pathological and its Consequences Maël). In an extensional interpretation of the definitions of the healthy and the non-pathological, this truth implies

Paris-Sud XI, Université de

420

Preferential water leakage from fluid inclusions by means of mobile dislocations  

Science Journals Connector (OSTI)

... Group 10.1038/345058a0 Preferential water leakage from fluid inclusions by means of mobile dislocationsRonald J. Bakker R. J. J. Ben H. Jansen J. B. H. ...

Ronald J. Bakker; J. Ben H. Jansen

1990-05-03T23:59:59.000Z

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


421

The Application of Information Technology Means During Clinical Medical Education in China  

Science Journals Connector (OSTI)

With the development of computer network technology and multimedia technology, the increasingly means of modern education technology provides the convenience for the higher medical colleges and universities to im...

Ying Xing; Shu-lai Zhu; Chun-di Chang

2014-01-01T23:59:59.000Z

422

Mesoscale properties of clay aggregates from potential of mean force representation of interactions between nanoplatelets  

E-Print Network (OSTI)

Face-to-face and edge-to-edge free energy interactions of Wyoming Na-montmorillonite platelets were studied by calculating potential of mean force along their center to center reaction coordinate using explicit solvent ...

Ebrahimi, Davoud

423

Cyclic exchange neighborhood search technique for the K-means clustering problem  

E-Print Network (OSTI)

Cyclic Exchange is an application of the cyclic transfers neighborhood search technique for the k-means clustering problem. Neighbors of a feasible solution are obtained by moving points between clusters in a cycle. This ...

Thirathon, Nattavude, 1980-

2004-01-01T23:59:59.000Z

424

Time-Dependent Green's Functions Description of One-Dimensional Nuclear Mean-Field Dynamics  

SciTech Connect

The time-dependent Green's functions formalism provides a consistent description of the time evolution of quantum many-body systems, either in the mean-field approximation or in more sophisticated correlated approaches. We describe an attempt to apply this formalism to the mean-field dynamics of symmetric reactions for one-dimensional nuclear slabs. We pay particular attention to the off-diagonal elements of the Green's functions in real space representation. Their importance is quantified by means of an elimination scheme based on a super-operator cut-off field and their relevance for the global time evolution is assessed. The Wigner function and its structure in the mean-field approximation is also discussed.

Rios, Arnau; Danielewicz, Pawel; Barker, Brent [National Superconducting Cyclotron Laboratory, and Department of Physics and Astronomy, Michigan State University, East Lansing, MI 48824-1321 (United States)

2009-05-07T23:59:59.000Z

425

IMPACT STRUCTURES: WHAT DOES CRATER DIAMETER MEAN? E. P. Turtle1,2 , E. Pierazzo2  

E-Print Network (OSTI)

IMPACT STRUCTURES: WHAT DOES CRATER DIAMETER MEAN? E. P. Turtle1,2 , E. Pierazzo2 , G. S. Collins1 and Planetary Lab., Univ. of Arizona, Tucson, AZ 85721-0092; turtle@lpl.arizona.edu, 2 Planetary Science Inst

Collins, Gareth

426

Problems with the Mean Sea Level Pressure Field over the Western United States  

Science Journals Connector (OSTI)

Reduction of station pressure to mean sea level (MSL) is a difficult procedure. In general, the temperature structure of the fictitious air column between station height and MSL is not known and has to be estimated somehow. Normally, station ...

Matthias Mohr

2004-08-01T23:59:59.000Z

427

Exploring Constructions of the Meanings of Play among Korean Preservice Kindergarten Teachers  

E-Print Network (OSTI)

of the requirements for the degree of DOCTOR OF PHILOSOPHY December 2008 Major Subject: Curriculum and Instruction EXPLORING CONSTRUCTIONS OF THE MEANINGS OF PLAY AMONG KOREAN PRESERVICE KINDERGARTEN TEACHERS A Dissertation by SOO YOUNG AHN... Blanca Quiroz Head of Department, Dennie L. Smith December 2008 Major Subject: Curriculum and Instruction iii ABSTRACT Exploring Constructions of the Meanings of Play among Korean Preservice Kindergarten Teachers. (December 2008) Soo...

Ahn, Soo Young

2010-01-16T23:59:59.000Z

428

Momentum-Dependent Mean Field Based Upon the Dirac-Brueckner Approach for Nuclear Matter  

E-Print Network (OSTI)

A momentum-dependent mean field potential, suitable for application in the transport-model description of nucleus-nucleus collisions, is derived in a microscopic way. The derivation is based upon the Bonn meson-exchange model for the nucleon-nucleon interaction and the Dirac-Brueckner approach for nuclear matter. The properties of the microscopic mean field are examined and compared with phenomenological parametrizations which are commonly used in transport-model calculations.

G. Q. Li; R. Machleidt

1993-08-06T23:59:59.000Z

429

Momentum-dependent mean field and the nuclear equation of state  

SciTech Connect

We study the momentum distribution of nucleons in nuclear matter and calculate the incompressibility analytically in the presence of a momentum-dependent mean field. An equivalent mass is introduced for calculational purposes. The effect of the momentum-dependence of the mean field on the hadronic equation of state is examined and the conditions for equilibrium with a quark phase described by a bag model equation of state are investigated. 12 refs., 4 figs.

Csernai, L.P. (Bergen Univ. (Norway). Dept. of Physics); Fai, G. (Kent State Univ., OH (United States). Dept. of Physics); Gale, C. (McGill Univ., Montreal, PQ (Canada). Dept. of Physics); Osnes, E. (Oslo Univ. (Norway). Dept. of Physics)

1991-01-01T23:59:59.000Z

430

A study of miscible displacement of oil by means of micellar solution injection  

E-Print Network (OSTI)

A STUDY OF MISCIBLE DISPLACEMENT OF OIL BY MEANS OF MICELLAR SOLUTION IN SEC TION A Thesis by FEREIDOON SHARIFI-MONFARED Submitted to the Graduate College of Texas A&M University in partial fulfillment of the requirement for the degree... of MASTER OF SCIENCE May, 1971 Major Subject: Petroleum Engineering A STUDY GF MISCIBLE DISPLACEMENT OF OIL BY MEANS GF MICELLAR SOLUTION INJECTION A Thesis by FEREIDOON SHARIFI-MONFARED Approved as to style and content by: (Chai rxn of Comxnittee...

Sharifi-Monfared, Fereidoon

1971-01-01T23:59:59.000Z

431

Questioning the Meaning of Authenticity in Martin Heidegger's Being and Time  

E-Print Network (OSTI)

the proper context for authenticity will be to clarify those existential structures that describe what it means for Dasein to exist concretely in the world. Since Heidegger provides a fairly comprehensive account of the ontological constitution... the ontological and the ontic, and the existential and the existentiell. As a result, the traditional notions of selfhood and subjectivity get split between this new landscape of categories and subsequently lose their meaning. As Francois Raffoul points out...

Liwinski, Thomas

2011-10-21T23:59:59.000Z

432

Mean Stress and Environmental Effects on Fatigue in Type 304 Stainless Steel  

SciTech Connect

Fatigue life tests were performed in air on Type 304 stainless steel (304 SS) to establish the effect of mean stress under both load control and strain control. An apparent reduction of up to 26% in strain-amplitude occurred in the low and intermediate cycle regime (< 10{sup 8} cycles) for a mean stress of 138 Mpa. A quantitative description of mean stress effects using the Smith-Watson-Topper equivalent strain parameter was developed, which incorporates mean stress through the maximum stress. This description provided a tighter fit to the data, and allowed separation of mean stress and cold work effects. With this separation, the effect of mean stress was reduced to 12% decrease in strain amplitude at 138 Mpa. The stress-life curve apparently increased with increasing mean stress, due to the significant work hardening that occurred in tests with high mean stresses, especially under load control. Tests were performed on double-edge notched specimens of 304 SS in air and low oxygen water at 288 C. The elastically calculated increase in the notch tip stress accounted within 10% for the fatigue life reductions for a K{sub t} = 4.8 notch, but was 38% conservative for a K{sub t} = 8.8 notch. Fatigue crack initiation lives (defined as an 0.127 mm crack) in low oxygen water at 288 C were reduced by a factor of four to eight on cycles over those in air. Crack growth occurred throughout most of the fatigue ''initiation'' life. The increase in crack growth rate of 304 SS in water appears to be large enough to explain the reduced ''initiation'' life in this environment.

Kandra, J.T.; Leax, T.R.; Wire, G.L.

1999-04-01T23:59:59.000Z

433

Phil 87 Freshman Seminar: What Does It All Mean? 8 Philosophical Dilemmas Room: H&SS 7077 Prof. Eric Watkins  

E-Print Network (OSTI)

Phil 87 Freshman Seminar: What Does It All Mean? 8 Philosophical Dilemmas Room: H&SS 7077 Prof Assignments (subject to adjustment): 9-28 Introduction 10-5 A. Death Nagel, What Does It All Mean?, Ch. 9 Nagel, Mortal Questions, Ch.1 B. The Meaning of Life Nagel, What Does It All Mean?, Ch. 10 Nagel, Mortal

434

Phil 87 Freshman Seminar: What Does It All Mean? 8 Philosophical Dilemmas Room: H&SS 7077 Prof. Eric Watkins  

E-Print Network (OSTI)

Phil 87 Freshman Seminar: What Does It All Mean? 8 Philosophical Dilemmas Room: H&SS 7077 Prof to adjustment): 9-26 Introduction 10-3 A. Death Nagel, What Does It All Mean?, Ch. 9 Nagel, Mortal Questions, Ch.1 B. The Meaning of Life Nagel, What Does It All Mean?, Ch. 10 Nagel, Mortal Questions, Ch. 2 10

435

Generation of large-scale vorticity in a homogeneous turbulence with a mean velocity shear Tov Elperin,* Nathan Kleeorin,  

E-Print Network (OSTI)

Generation of large-scale vorticity in a homogeneous turbulence with a mean velocity shear Tov by the gradient of the Reynolds stresses is studied. Generation of a mean vorticity in a homogeneous-induced'' deflection of equilibrium mean vorticity and ``Reynolds stress-induced'' generation of perturbations of mean

Elperin, Tov

436

Are the Proposed Reforms of Numeracy Teaching Sufficient for Success?  

Science Journals Connector (OSTI)

......ing by ability.5 First, socio-political egalitarian ideals: as teachers, they...low-attaining pupils is reduced rapidly, such investments in intensive training and the provision...Numeracy Project) are recommend- ing risk widening that gap. 7. Currently available......

S.J. Prais; Roger Luxton

1998-12-01T23:59:59.000Z

437

corrector-predictor methods for sufficient linear complementarity  

E-Print Network (OSTI)

Todd and Ye [9] is a typical representative of a large class of MTY type predictor- corrector .... ?, ? ? ? denotes the smallest integer greater or equal to ?. Given a ...

2006-03-27T23:59:59.000Z

438

Sufficient Conditions for Well-behaved Adaptive Hypermedia Systems  

E-Print Network (OSTI)

for the architecture of adaptive hypermedia applications: the Adaptive Hypermedia Application Model (AHAM) [DHW99]. AHAM describes AHS at an abstract level, using an architecture consisting of three parts: · a domain (AE) are discussed in earlier paper [WDD01]. We defined a rule language for AHS, AHAM-CA and proposed

De Bra, Paul

439

A three-term conjugate gradient method with sufficient descent ...  

E-Print Network (OSTI)

k?1yk?1. ,. (1.2) where yk?1 is defined by yk?1 = gk ? gk?1 and · denotes the l2 ...... [15] M.R. Hestenes and E. Stiefel, Methods of conjugate gradients for solving

2009-11-02T23:59:59.000Z

440

Geometric sufficient conditions for compactness of the ?-Neumann operator  

E-Print Network (OSTI)

bracketrightbigg dV(y) parenrightbigg dt ? 2?(bardbl?ubardbl20 +bardbl??ubardbl20) +C?bardblubardbl2?1 + 8 m ?j integraldisplay ?j 0 parenleftbigg C(C2)(?j)2n?2nC3? msummationdisplay i=1 integraldisplay ? parenleftbigg |Xku(y)|2 +|Xku(y)|2 parenrightbigg d... the balls B(pm, C210 (?j)C3), 1 ? m ? N, are pairwise disjoint, comparison of volumes gives the upper bound C(C2)(?j)2n?2nC3 on how many of them can be contained in B(pk,2?j +2C2(?j)C3 + C210 (?j)C3). Combining (3.10, 3.11) and the bound on the overlap we...

Munasinghe, Samangi

2009-06-02T23:59:59.000Z

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


441

Energy and EPA Webinar Series Promotes Tribal Energy Sufficiency...  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

often faster than the grid infrastructure that supports them, and the challenges utilities currently face in integrating new generation and demand (load) response...

442

Alternative Astronomy: Experiment in Self-Sufficiency Blossoms  

Science Journals Connector (OSTI)

...Through the auspices of Martin Schwarzschild of Princeton, they were able...unusually high-quality 36-inch mirror, in-tended as a backup for...never used. The loan of the mirror propelled the group to upgrade...architecture of the 36-inch mirror. In the NASA experiment for...

ALLEN L. HAMMOND

1977-09-23T23:59:59.000Z

443

Optimization Online - Sufficient Conditions for Low-rank Matrix ...  

E-Print Network (OSTI)

Jun 15, 2011 ... This class of optimization problems is $NP$-hard and a popular approach replaces the rank function with the nuclear norm of the matrix ...

Lingchen Kong

2011-06-15T23:59:59.000Z

444

A Minimized Technological Approach towards Human Self Sufficiency off Earth  

Science Journals Connector (OSTI)

Since the early 1970’s it has been known that it is technically feasible to build large habitats in space where many people could live more or less independently off Earth. These large habitats would require decades of Apollo level expenditures to build. The objective of this paper is to begin the study of the minimum technological system that will enable the historic shift from the state where all of humanity is dependent on Earth to the state where an independent human community can exist off Earth. It is suggested that such a system is more on the order of a homestead than a city. A minimum technical system is described that could support one human reproductive unit (family) in free space or on a planetary or lunar surface. The system consists of life support materials extraction mobility and power production. Once the technology is developed for the single unit many could be deployed. They could reproduce themselves at an exponential rate using space resources and energy. One would imagine cooperation of these units to build any combination of towns cities and nations in space to extend human life beyond Earth.

Peter A. Curreri

2007-01-01T23:59:59.000Z

445

Sparta, Texas traditions of self-sufficiency and community solidarity  

E-Print Network (OSTI)

site, such as deed and tax records, population and agricultural censuses, as well as a description of the artifacts collected, are presented here. Six oral histories were collected from former residents of the Sparta community. They gave testimony...

Macaulay, Carol Fiorillo

2012-06-07T23:59:59.000Z

446

Environmental impact Assessments – sufficient to verify sustainable biofuels?.  

E-Print Network (OSTI)

??The European Union requires that 10% of the energy in the transport sector shall come from renewable sources by 2020. In addition, biofuels used for… (more)

Englund, Oskar

2010-01-01T23:59:59.000Z

447

Dynamics of zonal-mean flow assimilation and implications for winter circulation anomalies  

SciTech Connect

Seasonally averaged 200-mb circulations for recent winters (1987/88 and 1988/89) that represent opposite phases of El Nino and a zonal-mean zonal flow index cycle are diagnosed using data assimilated by the Goddard Earth Observing System (GEOS) and operational analyses of the European Centre for Medium-Range Weather Forecasts (ECMWF). The comparison is undertaken to determine whether there are significant differences in the 200-mb vorticity dynamics implied by the mean meridional circulations in the two datasets and whether these differences can be related to the Incremental Analysis Update (IAU) method used in the GEOS assimilation. The two datasets show a high degree of similarity in their depictions of the large-scale rotational flow, but there are substantial differences in the associated divergent circulations. For the zonal-mean flow, the zonal winds are substantially the same, but the meridional wind in the Tropics and subtropics is considerably weaker in the GEOS assimilation than its counterparts in both the ECMWF data and the GEOS analyses used to produce the assimilation. The authors examine the assimilation of the Hadley circulation using a zonally symmetric f-plane model. For this model, the IAU method easily assimilates the rotational flow but fails to assimilate the divergent circulation. This deficiency of the IAU method may explain the weakness of the Hadley cell in the GEOS assimilation. For this simple model, an alternative assimilation method, based on constraints imposed by the analyzed potential vorticity and mean meridional circulation fields, is proposed that simultaneously assimilates both rotational and divergent flow components. Barotropic modeling suggests that an accurate representation of mean meridional flow anomalies can be important for the diagnosis of both zonal-mean and eddy rotational flow perturbations, particularly during extreme phases of the zonal-mean zonal flow fluctuation. 22 refs., 10 figs.

DeWeaver, E.; Nigam, S. [Univ. of Maryland, College Park, MD (United States)] [Univ. of Maryland, College Park, MD (United States)

1997-07-01T23:59:59.000Z

448

Adaptive mean filtering for noise reduction in CT polymer gel dosimetry  

SciTech Connect

X-ray computed tomography (CT) as a method of extracting 3D dose information from irradiated polymer gel dosimeters is showing potential as a practical means to implement gel dosimetry in a radiation therapy clinic. However, the response of CT contrast to dose is weak and noise reduction is critical in order to achieve adequate dose resolutions with this method. Phantom design and CT imaging technique have both been shown to decrease image noise. In addition, image postprocessing using noise reduction filtering techniques have been proposed. This work evaluates in detail the use of the adaptive mean filter for reducing noise in CT gel dosimetry. Filter performance is systematically tested using both synthetic patterns mimicking a range of clinical dose distribution features as well as actual clinical dose distributions. Both low and high signal-to-noise ratio (SNR) situations are examined. For all cases, the effects of filter kernel size and the number of iterations are investigated. Results indicate that adaptive mean filtering is a highly effective tool for noise reduction CT gel dosimetry. The optimum filtering strategy depends on characteristics of the dose distributions and image noise level. For low noise images (SNR {approx}20), the filtered results are excellent and use of adaptive mean filtering is recommended as a standard processing tool. For high noise images (SNR {approx}5) adaptive mean filtering can also produce excellent results, but filtering must be approached with more caution as spatial and dose distortions of the original dose distribution can occur.

Hilts, Michelle; Jirasek, Andrew [Medical Physics, BC Cancer Agency-Vancouver Island Centre, Victoria, British Columbia, V8R6V5 (Canada); Department of Physics and Astronomy, University of Victoria, Victoria, British Columbia, V8W2Y2 (Canada)

2008-01-15T23:59:59.000Z

449

Chaotic mean wind in turbulent thermal convection and long-term correlations in solar activity  

E-Print Network (OSTI)

It is shown that correlation function of the mean wind velocity in a turbulent thermal convection (Rayleigh number $Ra \\sim 10^{11}$) exhibits exponential decay with a very long correlation time, while corresponding largest Lyapunov exponent is certainly positive. These results together with the reconstructed phase portrait indicate presence of a chaotic component in the examined mean wind. Telegraph approximation is also used to study relative contribution of the chaotic and stochastic components to the mean wind fluctuations and an equilibrium between these components has been studied. Since solar activity is based on the thermal convection processes, it is reasoned that the observed solar activity long-term correlations can be an imprint of the mean wind chaotic properties. In particular, correlation function of the daily sunspots number exhibits exponential decay with a very long correlation time and corresponding largest Lyapunov exponent is certainly positive, also relative contribution of the chaotic and stochastic components follows the same pattern as for the convection mean wind.

A. Bershadskii

2009-08-27T23:59:59.000Z

450

Secretary Moniz: What the Natural Gas Boom Means for the Future of  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Moniz: What the Natural Gas Boom Means for the Future of Moniz: What the Natural Gas Boom Means for the Future of Renewables Secretary Moniz: What the Natural Gas Boom Means for the Future of Renewables May 23, 2013 - 2:34pm Addthis In a town hall meeting with Department employees, Secretary of Energy Ernest Moniz talks about how a boom in natural gas might be a boon for renewable energy. Dan Leistikow Dan Leistikow Former Director, Office of Public Affairs More from Secretary Moniz See a video recap of Secretary Moniz's first day in office. Watch Secretary Moniz's swearing-in ceremony. Follow Secretary Moniz on Facebook and Twitter. In a new video released today by the Department of Energy, Secretary Ernest Moniz comments on how the United States should take advantage of the natural gas boom and use it as an opportunity to further develop renewable

451

R&D 100: Smart Sensors Mean Energy Savings | Department of Energy  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

R&D 100: Smart Sensors Mean Energy Savings R&D 100: Smart Sensors Mean Energy Savings R&D 100: Smart Sensors Mean Energy Savings July 23, 2013 - 3:04pm Addthis Researchers at the Energy Department's National Renewable Energy Laboratory recently developed a new smart occupancy sensor that adds optics to what had only been a motion detection before. The new sensor combines an inexpensive camera with a high-speed microprocessor and algorithms to detect movement and human presence in a room with an accuracy of more than 90 percent -- an advancement that could lead to enormous energy savings in commercial buildings. | Photo courtesy of Dennis Schroeder, NREL. Researchers at the Energy Department's National Renewable Energy Laboratory recently developed a new smart occupancy sensor that adds optics to what

452

What Do Clean Energy Tax Credits Mean for Minnesota (and America)? |  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Do Clean Energy Tax Credits Mean for Minnesota (and America)? Do Clean Energy Tax Credits Mean for Minnesota (and America)? What Do Clean Energy Tax Credits Mean for Minnesota (and America)? July 18, 2012 - 5:34pm Addthis Earlier this week Deputy Secretary Poneman also visited Environment Minnesota, where he spoke with members about their efforts to educate their community on the importance of clean energy tax credits. | Energy Department photo. Earlier this week Deputy Secretary Poneman also visited Environment Minnesota, where he spoke with members about their efforts to educate their community on the importance of clean energy tax credits. | Energy Department photo. April Saylor April Saylor Former Digital Outreach Strategist, Office of Public Affairs What does this project do? Clean energy tax credits are helping create jobs while boosting

453

VP 100: Growth in solar means growth in Ohio | Department of Energy  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Growth in solar means growth in Ohio Growth in solar means growth in Ohio VP 100: Growth in solar means growth in Ohio October 6, 2010 - 10:57am Addthis DuPont is betting on major growth in the market for solar energy -- and therefore for its Tedlar film, a durable backing for silicon solar panels. | Photo Courtesy of DuPont DuPont is betting on major growth in the market for solar energy -- and therefore for its Tedlar film, a durable backing for silicon solar panels. | Photo Courtesy of DuPont Lorelei Laird Writer, Energy Empowers Market research company Solarbuzz reports that global demand for solar power soared by 54 percent in the second quarter of 2010. The research firm reports that in the United States, the annual number of total watts installed moved from 485 MW in all of 2009 to 2.3 GW as of June -- and

454

New School Year Means New Energy Systems for Two Rhode Island Schools |  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

New School Year Means New Energy Systems for Two Rhode Island New School Year Means New Energy Systems for Two Rhode Island Schools New School Year Means New Energy Systems for Two Rhode Island Schools August 16, 2010 - 4:00pm Addthis New energy recovery systems and occupancy sensors are greatly reducing energy costs at Woonsocket Middle School at Hamlet. | Photo courtesy of Woonsocket Education Department New energy recovery systems and occupancy sensors are greatly reducing energy costs at Woonsocket Middle School at Hamlet. | Photo courtesy of Woonsocket Education Department Kevin Craft What are the key facts? Systems and occupancy sensors save 172,365 kWh and $26,000 annually $181,000 Recovery Act grant funded installation Systems also monitor CO2 levels to provide optimal indoor air quality When city officials in Woonsocket, R.I. were planning the construction of

455

WHAT A SMART GRID MEANS TO OUR NATION'S FUTURE. | Department of Energy  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

A SMART GRID MEANS TO OUR NATION'S FUTURE. A SMART GRID MEANS TO OUR NATION'S FUTURE. WHAT A SMART GRID MEANS TO OUR NATION'S FUTURE. The U.S. Department of Energy (DOE) is charged under the Energy Independence and Security Act of 2007 (EISA 2007) with modernizing the nation's electricity grid to improve its reliability and efficiency. As part of this effort, DOE is also responsible for increasing awareness of our nation's Smart Grid. Building upon The Smart Grid: An Introduction, a DOE-sponsored publication released in 2008 and available online at www.smartgrid.gov, this publication is one in a series of books designed to better acquaint discrete stakeholder groups with the promise and possibilities of the Smart Grid. Stakeholder groups include Utilities, Regulators, Policymakers, Technology Providers, Consumer

456

What the Smart Grid Means to America's Future | Department of Energy  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

What the Smart Grid Means to America's Future What the Smart Grid Means to America's Future What the Smart Grid Means to America's Future The U.S. Department of Energy (DOE) is charged under the Energy Independence and Security Act of 2007 (EISA 2007) with modernizing the nation's electricity grid to improve its reliability and efficiency. As part of this effort, DOE is also responsible for increasing awareness of our nation's Smart Grid. Building upon The Smart Grid: An Introduction, a DOE-sponsored publication released in 2008 and available online at www.smartgrid.gov, this publication is one in a series of books designed to better acquaint discrete stakeholder groups with the promise and possibilities of the Smart Grid. Stakeholder groups include Utilities, Regulators, Policymakers, Technology Providers, Consumer Advocates and

457

What Would the President's Proposed 2013 Budget Mean to the Energy  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Would the President's Proposed 2013 Budget Mean to the Energy Would the President's Proposed 2013 Budget Mean to the Energy Department? What Would the President's Proposed 2013 Budget Mean to the Energy Department? February 14, 2012 - 12:56pm Addthis Secretary Chu details President Barack Obama's $27.2 billion fiscal year 2013 budget request for the Department of Energy. Ginny Simmons Ginny Simmons Former Managing Editor for Energy.gov, Office of Public Affairs Yesterday, Secretary Chu detailed President Barack Obama's $27.2 billion fiscal year 2013 budget request for the Energy Department, emphasizing the President's commitment to an all-of-the-above energy strategy that includes critical investments in innovation, in job-creating clean energy technologies, and in our national security. You can check out a video of

458

Green Means Go for Hybrid and Alternative Fuel Taxis | Department of Energy  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Means Go for Hybrid and Alternative Fuel Taxis Means Go for Hybrid and Alternative Fuel Taxis Green Means Go for Hybrid and Alternative Fuel Taxis August 24, 2010 - 7:30am Addthis Shannon Brescher Shea Communications Manager, Clean Cities Program The taxi, the icon of the bustling city, is getting a makeover. Cities nationwide are encouraging taxi fleets to turn over a new leaf and reduce their petroleum consumption. As taxis average more than 55,000 miles a year, reducing one taxi's gasoline consumption can make a big difference. Fortunately, there are a number of ways fleets can improve their sustainability, including adopting hybrid, natural gas, or propane vehicles. Although many people associate the Ford Crown Victoria with taxis, an increasing number of taxi operators are driving hybrid Toyota Priuses,

459

Neutrinos' Instant Identity Changes Could Mean Big Things for the Big Bang  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Neutrinos' Instant Identity Changes Could Mean Big Things for the Neutrinos' Instant Identity Changes Could Mean Big Things for the Big Bang Neutrinos' Instant Identity Changes Could Mean Big Things for the Big Bang July 11, 2011 - 12:23pm Addthis Scientists use the near detector to verify the intensity and purity of the muon neutrino beam leaving the Fermilab site. | Courtesy of Fermilab, photo by Peter Ginter Scientists use the near detector to verify the intensity and purity of the muon neutrino beam leaving the Fermilab site. | Courtesy of Fermilab, photo by Peter Ginter Charles Rousseaux Charles Rousseaux Senior Writer, Office of Science What are the key facts? Researchers at Fermilab have been studying neutrinos and how they might change, or oscillate, between their three different identities -- electron, muon and tau.

460

What Do Clean Energy Tax Credits Mean for Minnesota (and America)? |  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

What Do Clean Energy Tax Credits Mean for Minnesota (and America)? What Do Clean Energy Tax Credits Mean for Minnesota (and America)? What Do Clean Energy Tax Credits Mean for Minnesota (and America)? July 18, 2012 - 5:34pm Addthis Earlier this week Deputy Secretary Poneman also visited Environment Minnesota, where he spoke with members about their efforts to educate their community on the importance of clean energy tax credits. | Energy Department photo. Earlier this week Deputy Secretary Poneman also visited Environment Minnesota, where he spoke with members about their efforts to educate their community on the importance of clean energy tax credits. | Energy Department photo. April Saylor April Saylor Former Digital Outreach Strategist, Office of Public Affairs What does this project do? Clean energy tax credits are helping create jobs while boosting

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


461

Green Means Go for Hybrid and Alternative Fuel Taxis | Department of Energy  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Green Means Go for Hybrid and Alternative Fuel Taxis Green Means Go for Hybrid and Alternative Fuel Taxis Green Means Go for Hybrid and Alternative Fuel Taxis August 24, 2010 - 7:30am Addthis Shannon Brescher Shea Communications Manager, Clean Cities Program The taxi, the icon of the bustling city, is getting a makeover. Cities nationwide are encouraging taxi fleets to turn over a new leaf and reduce their petroleum consumption. As taxis average more than 55,000 miles a year, reducing one taxi's gasoline consumption can make a big difference. Fortunately, there are a number of ways fleets can improve their sustainability, including adopting hybrid, natural gas, or propane vehicles. Although many people associate the Ford Crown Victoria with taxis, an increasing number of taxi operators are driving hybrid Toyota Priuses,

462

Implementation of robust image artifact removal in SWarp through clipped mean stacking  

E-Print Network (OSTI)

We implement an algorithm for detecting and removing artifacts from astronomical images by means of outlier rejection during stacking. Our method is capable of addressing both small, highly significant artifacts such as cosmic rays and, by applying a filtering technique to generate single frame masks, larger area but lower surface brightness features such as secondary (ghost) images of bright stars. In contrast to the common method of building a median stack, the clipped or outlier-filtered mean stacked point-spread function (PSF) is a linear combination of the single frame PSFs as long as the latter are moderately homogeneous, a property of great importance for weak lensing shape measurement or model fitting photometry. In addition, it has superior noise properties, allowing a significant reduction in exposure time compared to median stacking. We make publicly available a modified version of SWarp that implements clipped mean stacking and software to generate single frame masks from the list of outlier pixel...

Gruen, D; Bernstein, G M

2014-01-01T23:59:59.000Z

463

Dirac-Brueckner mean fields and the effective Dirac-Hartree-Fock interaction in nuclear matter  

Science Journals Connector (OSTI)

Our objective is to include Fock exchange terms, and thus the pion, in a Dirac description of nuclear matter and to determine a density-dependent Dirac-Hartree-Fock meson exchange interaction that is hopefully less density-dependent than a typical Hartree one. We begin by performing extended self-consistent nuclear matter Dirac-Brueckner calculations over a wide range of densities and asymmetries. We maintain the momentum dependence of the Brueckner mean fields in the hope of fitting it with the momentum dependence of the effective Dirac-Hartree-Fock mean fields. To improve the description of the Brueckner mean fields within a Hartee-Fock approximation, we include contact terms in the interaction.

B.V. Carlson; D. Hirata

2010-01-01T23:59:59.000Z

464

Rotating Bose-Einstein condensates: Closing the gap between exact and mean-field solutions  

E-Print Network (OSTI)

When a Bose-Einstein condensed cloud of atoms is given some angular momentum, it forms vortices arranged in structures with a discrete rotational symmetry. For these vortex states, the Hilbert space of the exact solution separates into a "primary" space related to the mean-field Gross-Pitaevskii solution and a "complementary" space including the corrections beyond mean-field. Considering a weakly-interacting Bose-Einstein condensate of harmonically-trapped atoms, we demonstrate how this separation can be used to close the conceptual gap between exact solutions for systems with only a few atoms and the thermodynamic limit for which the mean-field is the correct leading-order approximation. Although we illustrate this approach for the case of weak interactions, it is expected to be more generally valid.

Cremon, J C; Karabulut, E \\" O; Kavoulakis, G M; Mottelson, B R; Reimann, S M

2015-01-01T23:59:59.000Z

465

New School Year Means New Energy Systems for Two Rhode Island Schools |  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

School Year Means New Energy Systems for Two Rhode Island School Year Means New Energy Systems for Two Rhode Island Schools New School Year Means New Energy Systems for Two Rhode Island Schools August 16, 2010 - 4:00pm Addthis New energy recovery systems and occupancy sensors are greatly reducing energy costs at Woonsocket Middle School at Hamlet. | Photo courtesy of Woonsocket Education Department New energy recovery systems and occupancy sensors are greatly reducing energy costs at Woonsocket Middle School at Hamlet. | Photo courtesy of Woonsocket Education Department Kevin Craft What are the key facts? Systems and occupancy sensors save 172,365 kWh and $26,000 annually $181,000 Recovery Act grant funded installation Systems also monitor CO2 levels to provide optimal indoor air quality When city officials in Woonsocket, R.I. were planning the construction of

466

R&D 100: Smart Sensors Mean Energy Savings | Department of Energy  

Energy.gov (U.S. Department of Energy (DOE)) Indexed Site

Smart Sensors Mean Energy Savings Smart Sensors Mean Energy Savings R&D 100: Smart Sensors Mean Energy Savings July 23, 2013 - 3:04pm Addthis Researchers at the Energy Department's National Renewable Energy Laboratory recently developed a new smart occupancy sensor that adds optics to what had only been a motion detection before. The new sensor combines an inexpensive camera with a high-speed microprocessor and algorithms to detect movement and human presence in a room with an accuracy of more than 90 percent -- an advancement that could lead to enormous energy savings in commercial buildings. | Photo courtesy of Dennis Schroeder, NREL. Researchers at the Energy Department's National Renewable Energy Laboratory recently developed a new smart occupancy sensor that adds optics to what

467

Asymmetric neutrino production in magnetized proto-neutron stars in fully relativistic mean-field approach  

SciTech Connect

We calculate the neutrino production cross-section in the proto-neutron-star matter under a strong magnetic field in the relativistic mean-field approach. We introduce a new parameter-set which can reproduce the 1.96 solar mass neutron star. We find that the production process increases emitted neutrinos along the direction parallel to the magnetic field and decrease those along its opposite direction. It means that resultant asymmetry due to the neutrino absorption and scattering process in the magnetic field becomes larger by the addition of the neutrino production process.

Maruyama, Tomoyuki [College of Bioresource Sciences, Nihon University, Fujisawa 252-8510 (Japan); Kajino, Toshitaka; Hidaka, Jun; Takiwaki, Tomoya [National Astronomical Observatory of Japan, Mitaka, Tokyo 181-8588 (Japan); Yasutake, Nobutoshi [Department of Physics, Chiba Institute of Technology, Narashino 275-0023 (Japan); Kuroda, Takami [Department of Physics, University of Basel, CH-4056 Basel (Switzerland); Cheoun, Myung-Ki [Department of Physics, Soongsil University, Seoul, 156-743 (Korea, Republic of); Ryu, Chung-Yeol [General Education Curriculum Center, Hanyang University, Seoul, 133-791 (Korea, Republic of); Mathews, Grant J. [Center of Astrophysics, Department of Physics, University of Notre Dame, Notre Dame, IN 46556 (United States)

2014-05-02T23:59:59.000Z

468

Exponential smoothing models: Means and variances for lead-time demand  

Science Journals Connector (OSTI)

Exponential smoothing is often used to forecast lead-time demand (LTD) for inventory control. In this paper, formulae are provided for calculating means and variances of LTD for a wide variety of exponential smoothing methods. A feature of many of the formulae is that variances, as well as the means, depend on trends and seasonal effects. Thus, these formulae provide the opportunity to implement methods that ensure that safety stocks adjust to changes in trend or changes in season. An example using weekly sales shows how safety stocks can be seriously underestimated during peak sales periods.

Ralph D Snyder; Anne B Koehler; Rob J Hyndman; J.Keith Ord

2004-01-01T23:59:59.000Z

469

An algorithm for improving Non-Local Means operators via low-rank approximation  

E-Print Network (OSTI)

We present a method for improving a Non Local Means operator by computing its low-rank approximation. The low-rank operator is constructed by applying a filter to the spectrum of the original Non Local Means operator. This results in an operator which is less sensitive to noise while preserving important properties of the original operator. The method is efficiently implemented based on Chebyshev polynomials and is demonstrated on the application of natural images denoising. For this application, we provide a comprehensive comparison of our method with leading denoising methods.

Victor May; Yosi Keller; Nir Sharon; Yoel Shkolnisky

2014-11-20T23:59:59.000Z

470

Analytic estimation of the Lyapunov exponent in a mean-field model undergoing a phase transition  

Science Journals Connector (OSTI)

The parametric instability contribution to the largest Lyapunov exponent ?1 is derived for a mean-field Hamiltonian model, with attractive long-range interactions. This uses a recent Riemannian approach to describe Hamiltonian chaos with a large number N of degrees of freedom. Through microcanonical estimates of suitable geometrical observables, the mean-field behavior of ?1 is analytically computed and related to the second-order phase transition undergone by the system. It predicts that chaoticity drops to zero at the critical temperature and remains vanishing above it, with ?1 scaling as N-(1/3) to the leading order in N.

Marie-Christine Firpo

1998-06-01T23:59:59.000Z

471

Weakly interacting two-dimensional system of dipoles: Limitations of the mean-field theory  

Science Journals Connector (OSTI)

We consider a homogeneous two-dimensional Bose gas with repulsive dipole-dipole interactions. The ground-state equation of state, calculated using the diffusion Monte Carlo method, shows quantitative differences from the predictions of the commonly used Gross-Pitaevskii mean-field theory. The static structure factor, pair distribution function, and condensate fraction are calculated in a wide range of the gas parameter. Differences from mean-field theory are reflected in the frequency of the lowest “breathing” mode for harmonically trapped systems.

G. E. Astrakharchik, J. Boronat, J. Casulleras, I. L. Kurbakov, and Yu. E. Lozovik

2007-06-29T23:59:59.000Z

472

Matrix Product State and mean field solutions for one-dimensional systems can be found efficiently  

E-Print Network (OSTI)

We consider the problem of approximating ground states of one-dimensional quantum systems within the two most common variational ansatzes, namely the mean field ansatz and Matrix Product States. We show that both for mean field and for Matrix Product States of fixed bond dimension, the optimal solutions can be found in a way which is provably efficient (i.e., scales polynomially). This implies that the corresponding variational methods can be in principle recast in a way which scales provably polynomially. Moreover, our findings imply that ground states of one-dimensional commuting Hamiltonians can be found efficiently.

Norbert Schuch; J. Ignacio Cirac

2010-07-19T23:59:59.000Z

473

Liquid-liquid extraction as the means of refining cottonseed oil  

E-Print Network (OSTI)

LIBRARY A 4 AI CvLLEGE OF TEXAS LIOVID-LIQUID EXTRACTION AS THE MEANS OI REFINING CCTTONSEFZ OIL A Thesis By 1'RVUBHAI CHIINIBHAI PATEL a 0 U z A R 0 Submitted to the Graduate School of the Agricultural and Mechanical College of Texas... in partial fulfillment of the requirements for the degree of MASTER OF SCIENCE Auuust 1996 Major Subject Chemical ineeri LIQUID-LIQUID EXTRACTION AS THE MEANS OF REFINING COTTONSEED OIL A Thesis By MANUBHAI CHUNIBHAI PATEL Approved as to style...

Patel, Manubhai Chunibhai

2012-06-07T23:59:59.000Z

474

Property:Building/MeanAnnualTempAtSite | Open Energy Information  

Open Energy Info (EERE)

MeanAnnualTempAtSite MeanAnnualTempAtSite Jump to: navigation, search This is a property of type Number. Mean annual temperature at the site1 Pages using the property "Building/MeanAnnualTempAtSite" Showing 25 pages using this property. (previous 25) (next 25) S Sweden Building 05K0001 + 6.6 + Sweden Building 05K0002 + 6.6 + Sweden Building 05K0003 + 6.6 + Sweden Building 05K0004 + 6.6 + Sweden Building 05K0005 + 6.6 + Sweden Building 05K0006 + 6.6 + Sweden Building 05K0007 + 6.6 + Sweden Building 05K0008 + 6.6 + Sweden Building 05K0009 + 6.6 + Sweden Building 05K0010 + 6.6 + Sweden Building 05K0011 + 6.6 + Sweden Building 05K0012 + 6.6 + Sweden Building 05K0013 + 6.6 + Sweden Building 05K0014 + 6.6 + Sweden Building 05K0015 + 6.6 + Sweden Building 05K0016 + 6.6 +

475

Property:Building/MeanAnnualTempCalculationPeriod | Open Energy Information  

Open Energy Info (EERE)

MeanAnnualTempCalculationPeriod MeanAnnualTempCalculationPeriod Jump to: navigation, search This is a property of type Number. Mean annual temperature during the calculation period Pages using the property "Building/MeanAnnualTempCalculationPeriod" Showing 25 pages using this property. (previous 25) (next 25) S Sweden Building 05K0001 + 7.6 + Sweden Building 05K0002 + 7.6 + Sweden Building 05K0003 + 7.142 + Sweden Building 05K0004 + 7.6 + Sweden Building 05K0005 + 7.733 + Sweden Building 05K0006 + 7.733 + Sweden Building 05K0007 + 7.733 + Sweden Building 05K0008 + 7.733 + Sweden Building 05K0009 + 7.733 + Sweden Building 05K0010 + 7.733 + Sweden Building 05K0011 + 7.733 + Sweden Building 05K0012 + 7.6 + Sweden Building 05K0013 + 7.733 + Sweden Building 05K0014 + 7.083 +

476

The Peace: The Meaning and Production of Law in the Post-Revolutionary United  

E-Print Network (OSTI)

565 The Peace: The Meaning and Production of Law in the Post-Revolutionary United States Laura F in particular places. The results moved the legal process into social relations, so that law both guided-Revolutionary social order. The peace is directly related to the idea of "Law As . . .," which explores the utility

Barrett, Jeffrey A.

477

Symmetric Categories as a Means of Virtualization for Braid Groups and Racks  

E-Print Network (OSTI)

Symmetric Categories as a Means of Virtualization for Braid Groups and Racks Victoria LEBED lebed" approach provides a natural interpretation for virtual racks and twisted Burau representation. Homology of categorical SDS is defined via weakly simplicial objects, generalizing rack, bar and Leibniz differ- entials

478

BLOW UP OF SUBCRITICAL QUANTITIES AT THE FIRST SINGULAR TIME OF THE MEAN CURVATURE FLOW  

E-Print Network (OSTI)

BLOW UP OF SUBCRITICAL QUANTITIES AT THE FIRST SINGULAR TIME OF THE MEAN CURVATURE FLOW NAM Q. LE curvature flow, singularity time, blow up, subcritical quantities. 1 #12;2 NAM Q. LE develop singularities, we give a logarithmic improvement of the above results by showing that a family of subcritical

Le, Nam

479

Hearing and seeing meaning in speech and gesture: insights from brain and behaviour  

Science Journals Connector (OSTI)

...meaning in speech and gesture: insights from brain and behaviour Asl ozyurek 1 2 e-mail...comprehension of iconic gestures involves brain activations known to be involved in semantic...information coming from both channels recruiting brain areas such as left IFG, posterior superior...

2014-01-01T23:59:59.000Z

480

Dynamic Pattern Recognition in Sport by Means of Artificial Neural Networks  

E-Print Network (OSTI)

Dynamic Pattern Recognition in Sport by Means of Artificial Neural Networks Jürgen Perl, Peter to store these data but to transform them into useful information. Artificial Neural Networks turn out the data. This is the point where Artificial Neural Networks can become extremely helpful: They are able

Perl, Jürgen

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


481

A Predictive Model of Bacterial Foraging by Means of Freely Released Extracellular Enzymes  

E-Print Network (OSTI)

A Predictive Model of Bacterial Foraging by Means of Freely Released Extracellular Enzymes Y T Extracellular enzymes are important agents for microbial foraging and material cycling in diverse natural immobile microbe, of freely releasing extracellular enzymes into a fluid- bathed, stable matrix of both

Jumars, Pete

482

Computing trade-offs in robust design: Perspectives of the mean squared error  

Science Journals Connector (OSTI)

Researchers often identify robust design as one of the most effective engineering design methods for continuous quality improvement. When more than one quality characteristic is considered, an important question is how to trade off robust design solutions. ... Keywords: Bi-objective robust design, Lexicographic weighted-Tchebycheff method, Mean-squared-error model, Quality control, Weighted-sums method

Sangmun Shin; Funda Samanlioglu; Byung Rae Cho; Margaret M. Wiecek

2011-03-01T23:59:59.000Z

483

Impact of fraud on the mean-field dynamics of cooperative social systems Torsten Rhl,1  

E-Print Network (OSTI)

Impact of fraud on the mean-field dynamics of cooperative social systems Torsten Röhl,1 Claudia in the past. We analyze the impact of fake reputations or fraud on the dynamics of reputation and can even be enhanced by them. We conclude that fraud per se does not necessarily have a detrimental

Traulsen, Arne

484

Analytical solution of the regenerator temperature distribution in a thermoacoustic device with mean flow  

Science Journals Connector (OSTI)

Previous work by the authors has identified a potential for improvement in the efficiency of a traveling wave thermoacoustic engine by replacing the hot heat exchanger with a steady flow of hot gas. An essential step in determining the feasibility of such an engine lies in determining how the mean flow affects the temperature distribution in the regenerator which in turn affects its acoustic driving capability. In the current work the second order time?averaged thermoacoustic energy equation with mean flow is solved analytically for the mean temperature distribution in the regenerator. The resulting expression accounts for the dependence of the working fluid’s thermal conductivity and viscosity on temperature and results in a nearly exponential temperature profile. The specific effects of mean flow axial conduction acoustic velocity amplitude and gas property variation on the temperature distribution in the regenerator will be explored. In turn the effect of the temperature profile on regenerator performance will also be reviewed. In addition to their usefulness in the feasibility study these results can also be applied to assess losses in existing thermoacoustic engines and refrigerators where acoustic streaming results in unwanted net mass flux through the regenerator.

2002-01-01T23:59:59.000Z

485

Notes of a protein crystallographer: the beauty of rose windows and the different meanings of symmetry  

Science Journals Connector (OSTI)

The magnificent rose windows of the Gothic cathedrals provide artistic illustrations of many of the planar point groups of symmetry. It is suggested that the presence of certain symmetry elements and their selection by the artists could have been motivated to convey specific meaning to the resulting compositions.

Abad-Zapatero, C.

2014-02-27T23:59:59.000Z

486

Thesis topic: "Characterisation of wake tracking procedures by means of numerical simulation" (Bachelor or master )  

E-Print Network (OSTI)

dynamics in full field. These data are badly needed for validation of so-called wake meandering models and finally methods of aeroelastic simulation of wind turbines in wake. Scope The proposed work aims.jose.trujillo@uni-oldenburg.de Fig. Near wake path of an offshore wind turbine estimatied by means of wake tracking #12;

Peinke, Joachim

487

Response of the Zonal Mean Atmospheric Circulation to El Nio versus Global Warming  

E-Print Network (OSTI)

Response of the Zonal Mean Atmospheric Circulation to El Niño versus Global Warming JIAN LU Pacific. The hydrological impacts of global warming also exhibit distinct patterns over the subtropics response to global warming: 1) The increase in static stability of the subtropical and midlatitude

Chen, Gang

488

Two Billion Cars: What it Means for Climate and Energy Policy  

ScienceCinema (OSTI)

April 13, 2009: Daniel Sperling, director of the Institute of Transportation Studies at UC Davis, presents the next installment of Berkeley Lab's Environmental Energy Technologies Divisions Distinguished Lecture series. He discusses Two Billion Cars and What it Means for Climate and Energy Policy.

Daniel Sperling

2010-01-08T23:59:59.000Z

489

Mid-Holocene mean climate in the south eastern Pacific and its influence on South America  

E-Print Network (OSTI)

Mid-Holocene mean climate in the south eastern Pacific and its influence on South America Matthieu margin and four regions of South America. These regions were selected for the strength and stability and focus on the relationship between the eastern tropical Pacific and South America. This study is based

Sachs, Julian P.

490

A mean field approach for computing solid-liquid surface tension for nanoscale interfaces  

E-Print Network (OSTI)

A mean field approach for computing solid-liquid surface tension for nanoscale interfaces Chi are largely determined by the solid-liquid surface tension. This is especially true for nanoscale systems with high surface area to volume ratios. While experimental techniques can only measure surface tension

Nielsen, Steven O.

491

Computational environmental ethnography: combining collective sensing and ethnographic inquiries to advance means for reducing environmental footprints  

Science Journals Connector (OSTI)

We lack an understanding of human values, motivations and behavior in regards to new means for changing people's behavior towards more sustainable choices in their everyday life. Previous anthropological and sociological studies have identified these ... Keywords: anthropology, collective sensing, eco-feedback, environmental behavior, evaluation methods, smart control

Henrik Blunck; Niels Olof Bouvin; Johanne Mose Entwistle; Kaj Grønbæk; Mikkel B. Kjærgaard; Matthias Nielsen; Marianne Graves Petersen; Majken K. Rasmussen; Markus Wüstenberg

2013-01-01T23:59:59.000Z

492

ccsd00000500 Microscopic calculation of neutrino mean free path inside hot neutron matter  

E-Print Network (OSTI)

a selfconsistent scheme based on the Brueckner#21;Hartree#21;Fock approxima- tion. We employ the nucleon interaction and the neutrino mean free path including short and long range correlations given by the Brueckner path, neutron star, supernovae, Brueckner#21;Hartree#21;Fock, RPA I. INTRODUCTION Neutrinos play

493

Integrability of the sub-Riemannian mean curvature of surfaces in ...  

E-Print Network (OSTI)

Nov 2, 2011 ... 1. Introduction. The local summability of the sub-Riemannian mean curvature H of a hypersur- ... 1. 2. (xy ? x y)). A basis for the Lie algebra of left-invariant vector fields on H1 associated with ...... MR2021034 (2005d:43007).

D. Danielli; N. Garofalo; D. M. Nhieu

2011-11-16T23:59:59.000Z

494

Climatological Ertel's potential-vorticity ux and mean meridional circulation in the extratropical troposphere lower stratosphere  

E-Print Network (OSTI)

Climatological Ertel's potential-vorticity ¯ux and mean meridional circulation in the extratropical circu- lation derived for stratospheric conditions is applicable to climatological transport of the climatological meridional gradient and ¯ux of Ertel's potential vorti- city (PV). Application of Tung's ¯ux

Paris-Sud XI, Université de

495

Seasonal Mean Circulation in the Yellow Sea A ModelGenerated Climatology  

E-Print Network (OSTI)

Seasonal Mean Circulation in the Yellow Sea ­ A Model­Generated Climatology Christopher E. Naimie 1://www­nml.dartmouth.edu/Publications/external publications/PUB­00­1 email: d.r.lynch@dartmouth.edu Abstract The three­dimensional climatological circulation

496

What it means to be ISO 9000 Certified. By Anthony Nurre, Yusuf Gunaman  

E-Print Network (OSTI)

contains guidelines for the other four standards. · ISO 9001 is intended for suppliers who do a lot. ISO has come up with 9001, 9002, 9003 etc. to cover different aspects of the business. Figure 1: BriefWhat it means to be ISO 9000 Certified. By Anthony Nurre, Yusuf Gunaman Dennis De-Almeida September

Vardeman, Stephen B.

497

What political discussion means and how do the French and (French speaking) Belgians deal with it.  

E-Print Network (OSTI)

1 What political discussion means and how do the French and (French speaking) Belgians deal with it.duchesne@sciences-po.fr - florence.haegel@sciences-po.fr Paper prepared for the EPOP Conference 2008 (Manchester) Panel: Political Discussion and Political Deliberation in a Comparative Perspective A public discussion on European

Paris-Sud XI, Université de

498

What political discussion means and how do the French and (French speaking) Belgians deal with it.  

E-Print Network (OSTI)

What political discussion means and how do the French and (French speaking) Belgians deal with it.duchesne@sciences-po.fr - florence.haegel@sciences-po.fr Paper prepared for the EPOP Conference 2008 (Manchester) Panel: Political Discussion and Political Deliberation in a Comparative Perspective A public discussion on European

Paris-Sud XI, Université de

499

Effect of mean fluid flow on an acoustic standing wave in an open cavity  

Science Journals Connector (OSTI)

Acoustic radiation pressure can be used to concentrate or remove small particles from an airborne aerosol. In this application an ultrasonic transducer mounted flush to one wall of a channel is used to excite an integer half?wavelength standing wave of high amplitude that propagates perpendicular to the aerosol flow direction. An expression for the Fourier transform of the acoustic pressure in a semi?infinite channel including the effect of mean fluid flow and finite transducer aperture has been obtained. A parabolic (laminar) mean flow was assumed. The acoustic pressure was found to be governed by the Mach number of the flow defined by the projection of the propagation direction relative to the mean flow velocity vector; and the aperture function of the transducer. Near a frequency of 50 kHz numerical inversions of the acoustic pressure transform showed that the presence of mean flow in the velocity range 0?2 m/s caused changes in acoustic pressure on the order of 1%–4%. Corresponding experimental measurements showed changes in acoustic pressure up to 10%. The highest changes in measured acoustic pressure were found to occur up? and down stream relative to the transducer and these patterns were in agreement with predictions of the analytical model.

2002-01-01T23:59:59.000Z

500

Creating Personalised Energy Plans: From Groups to Individuals using Fuzzy C Means Clustering  

E-Print Network (OSTI)

carbon dioxide by changing non- electric demand such as gas central heating to the electric- ity network on applying DSM techniques to achieve better electricity system efficiency. DSM techniques require electricity market mean that domestic users will be required to modify their usage behaviour in accordance

Aickelin, Uwe