Sample records for means proof sufficient

  1. Weakly sufficient quantum statistics

    E-Print Network [OSTI]

    Katarzyna Lubnauer; Andrzej ?uczak; Hanna Pods?dkowska

    2009-11-23T23:59:59.000Z

    Some aspects of weak sufficiency of quantum statistics are investigated. In particular, we give necessary and sufficient conditions for the existence of a weakly sufficient statistic for a given family of vector states, investigate the problem of its minimality, and find the relation between weak sufficiency and other notions of sufficiency employed so far.

  2. Rational proofs

    E-Print Network [OSTI]

    Azar, Pablo Daniel

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

  3. Energy Strategic Planning & Sufficiency Project

    SciTech Connect (OSTI)

    Retziaff, Greg

    2005-03-30T23:59:59.000Z

    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.

  4. A Sufficient Condition for Partial Ensemble Controllability of Bilinear Schrödinger Equations with Bounded Coupling Terms

    E-Print Network [OSTI]

    Thomas Chambrion

    2013-03-07T23:59:59.000Z

    This note presents a sufficient condition for partial approximate ensemble controllability of a set of bilinear conservative quantum systems in an infinite dimensional Hilbert space. The proof relies on classical geometric and averaging control techniques applied on finite dimensional approximation of the infinite dimensional system. The results are illustrated with the planar rotation of a linear molecule.

  5. Sophia Proof of Concept Report

    SciTech Connect (OSTI)

    Gordon Rueff; Corey Thuen; James Davidson

    2010-03-01T23:59:59.000Z

    Final report covering the development, deployment and lessons learning while making the Sophia proof of concept.

  6. SUFFICIENT AND NECESSARY CONDITIONS FOR SEMIDEFINITE ...

    E-Print Network [OSTI]

    2008-05-19T23:59:59.000Z

    for building global SDP representations from the local ones. ... a compact convex semialgebraic set S, we prove sufficient: the boundary ?S is nonsingular and.

  7. First Proof of Ferromagnetic Carbon

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

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

  8. Proof-Assistants Using Dependent Type Systems

    E-Print Network [OSTI]

    Geuvers, Herman

    of Proof Development . . . . . . . . . . . . . . . . . . . . . . . . . . 1214 4.3 Autarkic Computations

  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. Use of the Necessary and Sufficient Process

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

    1996-01-25T23:59:59.000Z

    Authorizes use of the Necessary and Sufficient Process which addresses how the Department will select its standards to protect workers, the public, and the environment and form the basis for the Department's move to integrating standards activities into a consistent, coordinated system of standards-based safety management. Does not cancel other directives.

  11. An alternative proof of the Bryant representation Jose A. Galveza

    E-Print Network [OSTI]

    Gálvez, José Antonio

    An alternative proof of the Bryant representation Jos´e A. G´alveza and Pablo Mirab a Departamento Keywords: constant mean curvature, Bryant surfaces, Liouville equation. 1 Introduction In his famous 1987 paper, R. Bryant [Bry] established a meromorphic representation for the surfaces with constant mean

  12. Integrating Implicit Induction Proofs into Certified Proof Environments

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    and reliable. However, the process for certifying complex soft- ware systems is tedious [13], in the case assistants, our checking methodology is simpler and fits better for automation. The underlying implicit induc extreme, the approach is to certify inference systems such that any proof developed inside certified proof

  13. How to Associate Propositional Proof Systems

    E-Print Network [OSTI]

    Cook, Stephen A.

    : Proof system f p-simulates proof system g if 9 polytime T such that f(T(x)) = g(x) GentzenHow to Associate Propositional Proof Systems and Theories with Complexity Classes Part III; Introduction to Propositional Proof Com- plexity A proof system is a polynomial time map f : f0; 1g #3; onto

  14. Proof-assistants using Dependent Type Henk Barendregt

    E-Print Network [OSTI]

    Barendregt, Henk

    .3 Autarkic Computations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72 5 Proof assistants

  15. Proof and Definition in Logic and Type Theory Proof and Definition in Logic and Type Theory

    E-Print Network [OSTI]

    Adams, Robin

    Proof and Definition in Logic and Type Theory Proof and Definition in Logic and Type Theory Robin questions. #12;Proof and Definition in Logic and Type Theory Definition and Proof Definition and proof -- but they are not in predicate logic or type theory. #12;Proof and Definition in Logic and Type Theory Methods of Definition

  16. First Proof of Ferromagnetic Carbon

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville Power AdministrationField8,Dist.New MexicoFinancingProof of Ferromagnetic Carbon PrintProofProof

  17. First Proof of Ferromagnetic Carbon

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

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

  18. First Proof of Ferromagnetic Carbon

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

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

  19. Energy Strategic Planning & Self-Sufficiency Project

    SciTech Connect (OSTI)

    Greg Retzlaff

    2005-03-30T23:59:59.000Z

    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.

  20. A three-term conjugate gradient method with sufficient descent ...

    E-Print Network [OSTI]

    2009-11-02T23:59:59.000Z

    Finally, some numerical results of the proposed method are given. keyword; Unconstrained optimization, three-term conjugate gradient method, sufficient.

  1. First Proof of Ferromagnetic Carbon

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville Power AdministrationField8,Dist.New MexicoFinancingProof of Ferromagnetic Carbon PrintProof of

  2. First Proof of Ferromagnetic Carbon

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville Power AdministrationField8,Dist.New MexicoFinancingProof of Ferromagnetic Carbon PrintProof

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

    E-Print Network [OSTI]

    Nithin Nagaraj

    2007-10-31T23:59:59.000Z

    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.

  4. ON INTERACTIVE PROOFS WITH A LACONIC PROVER

    E-Print Network [OSTI]

    Wigderson, Avi

    ON INTERACTIVE PROOFS WITH A LACONIC PROVER Oded Goldreich, Salil Vadhan, and Avi Wigderson Abstract. We continue the investigation of interactive proofs with bounded communication, as initiated by Goldreich and Hastad (IPL 1998). Let L be a language that has an interactive proof in which the prover sends

  5. Proof Mining in Practice Philipp Gerhardy

    E-Print Network [OSTI]

    Gerhardy, Philipp

    Proof Mining in Practice Philipp Gerhardy April 14, 2008 Abstract In this paper, we present some aspects of a recent application of proof mining by J.Avigad, H.Towsner and the author. In this case study for the ergodic averages. Proof mining generally falls into two main categories: Establishing general metatheorems

  6. Managing Proof Documents for Asynchronous Processing

    E-Print Network [OSTI]

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

    Managing Proof Documents for Asynchronous Processing Holger Gast Wilhelm-Schickard-Institut f Management (UITP '08, 22.8.2008) 1H. Gast Asynchronous Proof Document Management (UITP '08, 22.8.2008) 1H. Gast Asynchronous Proof Document Management (UITP '08, 22.8.2008) 1 #12;Traditional User Interfaces

  7. Semantic contamination and mathematical proof: Can a non-proof prove? 1

    E-Print Network [OSTI]

    Inglis, Matthew

    Semantic contamination and mathematical proof: Can a non-proof prove? 1 Juan Pablo Mej contamination effect plays a role in determining how students engage with mathematical proof, a fundamental, reasoning, semantic contamination Argumentation and proof are widely accepted as being central

  8. First Proof of Ferromagnetic Carbon

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville Power AdministrationField8,Dist.New MexicoFinancingProof of Ferromagnetic Carbon Print Although it

  9. First Proof of Ferromagnetic Carbon

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville Power AdministrationField8,Dist.New MexicoFinancingProof of Ferromagnetic Carbon Print Although

  10. First Proof of Ferromagnetic Carbon

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville Power AdministrationField8,Dist.New MexicoFinancingProof of Ferromagnetic Carbon Print

  11. First Proof of Ferromagnetic Carbon

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of Science (SC) Environmental Assessments (EA)Budget »TraveleBooks FindFirst Proof of Ferromagnetic

  12. First Proof of Ferromagnetic Carbon

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of Science (SC) Environmental Assessments (EA)Budget »TraveleBooks FindFirst Proof of

  13. Sufficient Conditions for Uniform Stability of Regularization Algorithms

    E-Print Network [OSTI]

    Poggio, Tomaso

    2009-12-01T23:59:59.000Z

    In this paper, we study the stability and generalization properties of penalized empirical-risk minimization algorithms. We propose a set of properties of the penalty term that is sufficient to ensure uniform ?-stability: ...

  14. Improving constraints on the neutrino mass using sufficient statistics

    E-Print Network [OSTI]

    Wolk, M; Bel, J; Carbone, C; Carron, J

    2015-01-01T23:59:59.000Z

    We use the "Dark Energy and Massive Neutrino Universe" (DEMNUni) simulations to compare the constraining power of "sufficient statistics" with the standard matter power spectrum on the sum of neutrino masses, $M_\

  15. Recommendation 227: Recommendation to EM on Request for Sufficient...

    Office of Environmental Management (EM)

    Request for Sufficient Funding to Meet Cleanup Needs The EM SSAB Chairs believe the EM budget request is insufficient to meet cleanup obligations and DOE needs to honor agreements...

  16. No?rlund means

    E-Print Network [OSTI]

    Dibrell, Aquilla Gibbs, III

    1968-01-01T23:59:59.000Z

    MEANS (2. 1) DEFINITION. Let p = fp ( be a sequence with p & 0, n 0 p &OandletP =Z p . Thematrixwithc =p /P . n& m, n n- n k=0 k' mn m n m' c = 0, n & m is called the (N, p ) matrix, and the summability method mn n associated with it is called... when m + co is mn equivalent to p /P ? &0. Suppose first c -+ 0 for each n; then n n mn c -+0, bute =p /P, sop /P &0. Letnextp /P ~0; mo mo m m' m m n n fixnandnoteP &P, sothatc =p /P & p /P -+0, m-n ? m' mn m-n m ? m-n m-n and the proof...

  17. Bistatic SAR: Proof of Concept.

    SciTech Connect (OSTI)

    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

    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.

  18. van der Waerden's Theorem and Topological Dynamics Proof Mining

    E-Print Network [OSTI]

    Gerhardy, Philipp

    Outline van der Waerden's Theorem and Topological Dynamics Proof Mining Proof Analysis Comparison with van der Waerden's proof Proof Mining in Topological Dynamics Philipp Gerhardy Department of Mathematics University of Oslo Oberwolfach, April 6 - April 12, 2008. Philipp Gerhardy Proof Mining

  19. PROOF COPY 001502FCT Science and

    E-Print Network [OSTI]

    Rajasekaran, Sanguthevar

    for the popularity of fuel cells are the promise of high efficiency, the promise of low emissions, low cost, longerPROOF 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

  20. Improved Modular Termination Proofs Using Dependency Pairs

    E-Print Network [OSTI]

    Kobbelt, Leif

    Improved Modular Termination Proofs Using Dependency Pairs Renâ??e Thiemann, JË?urgen Giesl, Peter) termination proofs of term rewrite systems (TRSs). For any TRS, it generates inequality constraints that have to be satisfied by well­founded orders. However, proving innermost termination is considerably easier than

  1. Improved Modular Termination Proofs Using Dependency Pairs #

    E-Print Network [OSTI]

    Ábrahám, Erika

    Improved Modular Termination Proofs Using Dependency Pairs # Renâ??e Thiemann, JË?urgen Giesl, Peter) termination proofs of term rewrite systems (TRSs). For any TRS, it generates inequality constraints that have to be satisfied by well­founded orders. However, proving innermost termination is considerably easier than

  2. Improved Modular Termination Proofs Using Dependency Pairs

    E-Print Network [OSTI]

    Middeldorp, Aart

    Improved Modular Termination Proofs Using Dependency Pairs Ren´e Thiemann, J¨urgen Giesl, Peter) termination proofs of term rewrite systems (TRSs). For any TRS, it generates inequality constraints that have to be satisfied by well-founded orders. However, proving innermost termination is considerably easier than

  3. On Narrowing, Refutation Proofs and Constraints

    E-Print Network [OSTI]

    Nieuwenhuis, Robert

    years (see e.g. [RKL85, BGM88, H¨ol89, NRS89, BKW92, BW94]). In the literature, most completeness proofs LSE­narrowing ([BKW92, BW94]), in which leftmost­innermost rewrite proofs, with a priority ordering

  4. Lectures on Proof Theory Samuel R. Buss

    E-Print Network [OSTI]

    Therien, Denis

    Lectures on Proof Theory Samuel R. Buss University of California San Diego March 6th ­ March 10th'eal) and Denis Th'erien (McGill U.). The core of this year's workshop was a series of lectures given by Sam Buss Natural Proofs and split versions of bounded arithmetic : : : : : : : : : : : : : : : 57 Buss's Simplified

  5. Necessary and sufficient conditions for representing general distributions by Coxians

    E-Print Network [OSTI]

    Necessary and sufficient conditions for representing general distributions by Coxians Takayuki University Pittsburgh, PA 15213 Abstract A common analytical technique involves using a Coxian distribution to model a general distribution G, where the Coxian distribution agrees with G on the first three moments

  6. Necessary and sufficient conditions for representing general distributions by Coxians

    E-Print Network [OSTI]

    Necessary and sufficient conditions for representing general distributions by Coxians Takayuki University Pittsburgh, PA 15213 Abstract A common analytical technique involves using a Coxian distribution to model a general distribution ¢ , where the Coxian distribution agrees with ¢ on the first three moments

  7. Moneyless strategy-proof mechanism on single-sinked policy ...

    E-Print Network [OSTI]

    Megiddo

    2012-04-17T23:59:59.000Z

    We completely characterize deterministic strategy-proof and group strategy-proof mechanisms on single- sinked public policy domain. The single-sinked domain ...

  8. An elementary proof that P =/= NP

    E-Print Network [OSTI]

    Bhupinder Singh Anand

    2007-02-27T23:59:59.000Z

    We show that, if PA has no non-standard models, then P=/=NP. We then give an elementary proof that PA has no non-standard models.

  9. van der Waerden's Theorem and Topological Dynamics Proof Mining

    E-Print Network [OSTI]

    Gerhardy, Philipp

    van der Waerden's Theorem and Topological Dynamics Proof Mining Proof Analysis Conclusion Proof Mining in Topological Dynamics Philipp Gerhardy Department of Mathematics University of Oslo Logic Colloquium 2008, Bern, Switzerland, July 3-8. Philipp Gerhardy Proof Mining in Topological Dynamics #12;van

  10. #PRL --A Proof Refinement Calculus for Classical Reasoning

    E-Print Network [OSTI]

    Kreitz, Christoph

    #µPRL -- A Proof Refinement Calculus for Classical Reasoning in Computational Type Theory Nuria, 14482 Potsdam, Germany {brede,kreitz}@cs.uni­potsdam.de Abstract. We present a hybrid proof calculus #µPRL to con­ structive proofs and show that the restriction of #µPRL to µ­safe proof terms is sound

  11. Modular SMT Proofs for Fast Reflexive Checking inside Coq

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Modular SMT Proofs for Fast Reflexive Checking inside Coq Fr´ed´eric Besson, Pierre methodology for exchanging unsatisfia- bility proofs between an untrusted SMT solver and a sceptical proof assistant with computation capabilities like Coq. We advocate modu- lar SMT proofs that separate boolean

  12. Compact Proof Certificates For Linear Logic Kaustuv Chaudhuri

    E-Print Network [OSTI]

    Chaudhuri, Kaustuv

    Compact Proof Certificates For Linear Logic Kaustuv Chaudhuri INRIA, France http://kaustuv.chaudhuri

  13. On amending the Maskin's sufficiency theorem by using complex numbers

    E-Print Network [OSTI]

    Haoyang Wu

    2012-04-17T23:59:59.000Z

    The Maskin's theorem is a fundamental work in the theory of mechanism design. In this paper, we will propose a self-enforcing agreement by which agents can fight a bad social choice rule which satisfies monotonicity and no-veto if an additional condition is satisfied. The agreement is based on complex numbers and is justified if the designer receives messages from the agents through some communication channels (e.g., Internet). Under the assumption of complete information among agents, the designer cannot prevent the agents from signing such agreement. Thereby, the Maskin's sufficiency theorem is amended.

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

    E-Print Network [OSTI]

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

  15. Photon underproduction crisis: Are QSOs sufficient to resolve it?

    E-Print Network [OSTI]

    Khaire, Vikram

    2015-01-01T23:59:59.000Z

    We investigate the recent claim of 'photon underproduction crisis' by Kollmeier et al. (2014) which suggests that the known sources of ultra-violet (UV) radiation may not be sufficient to generate the inferred hydrogen photoionization rate ($\\Gamma_{\\rm HI}$) in the low redshift inter-galactic medium. Using the updated QSO emissivities from the recent studies and our radiative transfer code developed to estimate the UV background, we show that the QSO contribution to $\\Gamma_{\\rm HI}$ is higher by a factor ~2 as compared to the previous estimates. Using self-consistently computed combinations of star formation rate density and dust attenuation, we show that a typical UV escape fraction of 4% from star forming galaxies should be sufficient to explain the inferred $\\Gamma_{\\rm HI}$ by Kollmeier et al. (2014). Interestingly, we find that the contribution from QSOs alone can explain the recently inferred $\\Gamma_{\\rm HI}$ by Shull et al. (2015) which used the same observational data but different simulation. Ther...

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

    SciTech Connect (OSTI)

    Bucher, R .G.; Nuclear Engineering Division

    2009-01-01T23:59:59.000Z

    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.

  17. Proof Planning some Permutation Group Problems | Abstract |

    E-Print Network [OSTI]

    Sorge, Volker

    of permutation group algorithms from computer algebra with proof planning. We consider eight basic questions handle eight basic queries, ranging from \\Is this permutation in that permutation group?" to \\What suÃ?cient information. In detail we concentrate on the following eight problems: Let G be a group

  18. Principles for Mining Summaries: Theorems and Proofs

    E-Print Network [OSTI]

    Regina, University of

    Principles for Mining Summaries: Theorems and Proofs Robert J. Hilderman and Howard J. Hamilton,hamiltong@cs.uregina.ca Abstract An important problem in the area of data mining is the development of effective measures of inter previously been utilized in various disciplines, such as information theory, statis­ tics, ecology

  19. Explosion proof vehicle for tank inspection

    DOE Patents [OSTI]

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

    2012-02-28T23:59:59.000Z

    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.

  20. Author Proof Plants on red alert

    E-Print Network [OSTI]

    Schaefer, Martin

    Author Proof A Plants on red alert: do insects pay attention? H. Martin Schaefer* and Gregor Rolshausen Summary Two recent hypotheses have proposed that non-green plant colouration evolved as a defence against herbi- vores, either as protective colouration promoting handi- cap signals indicating plant

  1. Proof of Proximity of Knowledge Serge Vaudenay

    E-Print Network [OSTI]

    ://lasec.epfl.ch Abstract. Public-key distance bounding schemes are needed to defeat relay attacks in payment systems. So far, only two such schemes exist, but fail to fully protect against malicious provers. In this paper. Like proofs of knowledge, these protocols must satisfy completeness, soundness (protection

  2. Interactive Termination Proofs using Termination Cores

    E-Print Network [OSTI]

    Manolios, Panagiotis "Pete"

    Interactive Termination Proofs using Termination Cores Panagiotis Manolios and Daron Vroon College@ccs.neu.edu, daron.vroon@gmail.com Abstract. Recent advances in termination analysis have yielded new methods and determining how to proceed. In this paper, we address the issue of building termination analysis engines

  3. COMPLEXITY OF POSITIVSTELLENSATZ PROOFS FOR THE KNAPSACK

    E-Print Network [OSTI]

    Grigoriev, Dima

    of algebraic proof systems (Beame et al. (1996); Buss et al. (1999, 1996/1997); Clegg et al. (1996); Grigoriev 1998) (see also (Impagliazzo et al. 1999) and (Buss et al. 1996/1997)). A linear lower bound for PC for Tseitin's tautologies was proved in Buss et al. (1999, 2001). Note that the latter bound is sharp

  4. Second Proof Work, Power, and Energy

    E-Print Network [OSTI]

    Kostic, Milivoje M.

    ) energy sources, such as solar energy, wind, water flows, ocean and tidal waves, and biomassSecond Proof Work, Power, and Energy M. KOSTIC Northern Illinois University DeKalb, Illinois, United States 1. Basic Concepts 2. Forms, Classifications, and Conservation of Energy 3. Work

  5. A sufficient condition for Gaussian departure in turbulence

    E-Print Network [OSTI]

    Daniela Tordella; Michele Iovieno; Peter Roger Bailey

    2007-10-17T23:59:59.000Z

    The interaction of two isotropic turbulent fields of equal integral scale but different kinetic energy generates the simplest kind of inhomogeneous turbulent field. In this paper we present a numerical experiment where two time decaying isotropic fields of kinetic energies $E_1$ and $E_2$ initially match over a narrow region. Within this region the kinetic energy varies as a hyperbolic tangent. The following temporal evolution produces a shearless mixing. The anisotropy and intermittency of velocity and velocity derivative statistics is observed. In particular the asymptotic behavior in time and as a function of the energy ratio $E_1/E_2 \\to \\infty$ is discussed. This limit corresponds to the maximum observable turbulent energy gradient for a given $E_1$ and is obtained through the limit $E_2 \\to 0$. A field with $E_1/E_2 \\to \\infty$ represents a mixing which could be observed near a surface subject to a very small velocity gradient separating two turbulent fields, one of which is nearly quiescent. In this condition the turbulent penetration is maximum and reaches a value equal to 1.2 times the nominal mixing layer width. The experiment shows that the presence of a turbulent energy gradient is sufficient for the appearance of intermittency and that during the mixing process the pressure transport is not negligible with respect to the turbulent velocity transport. These findings may open the way to the hypothesis that the presence of a gradient of turbulent energy is the minimal requirement for Gaussian departure in turbulence.

  6. Software tools for elementary math education : animated mathematical proofs

    E-Print Network [OSTI]

    Mwangi, Timothy M

    2013-01-01T23:59:59.000Z

    The National Council of Teachers of Mathematics [6] has identified the learning of proofs as a critical goal for students from pre-kindergarten through grade 12 (p. 56). A proof for elementary students is not the highly ...

  7. SRF photoinjector for proof-of-principle experiment of coherent electron cooling at RHIC

    SciTech Connect (OSTI)

    Kayran D.; Belomestnykh, S.; Ben-Zvi, I.; Brutus, J.C.; et al

    2012-05-20T23:59:59.000Z

    Coherent Electron Cooling (CEC) based on Free Electron Laser (FEL) amplifier promises to be a very good way to cool protons and ions at high energies. A proof of principle experiment to demonstrate cooling at 40 GeV/u is under construction at BNL. One of possible sources to provide sufficient quality electron beam for this experiment is a SRF photoinjector. In this paper we discuss design and simulated performance of the photoinjector based on existing 112 MHz SRF gun and newly designed single-cavity SRF linac operating at 704 MHz.

  8. The congruence subgroup problem for braid groups: Thurston's proof

    E-Print Network [OSTI]

    McReynolds, D B

    2009-01-01T23:59:59.000Z

    In this article we present an unpublished proof of W. Thurston that pure braid groups have the congruence subgroup property.

  9. Proof Mining in Ergodic Theory and Topological Dynamics

    E-Print Network [OSTI]

    Gerhardy, Philipp

    Proof Mining in Ergodic Theory and Topological Dynamics Philipp Gerhardy Department of Mathematics, University of Oslo Proof Mining in Ergodic Theory and Topological Dynamics ­ p.1/10 #12;Introduction "Proof mining" is the subfield of mathematical logic concerned with extracting additional information from

  10. Supporting Non-membership Proofs with Bilinear-map Accumulators

    E-Print Network [OSTI]

    Supporting Non-membership Proofs with Bilinear-map Accumulators Ivan Damg°ard Nikos Triandopoulos an extension of Nguyen's bilinear-map based accumulator scheme [8] to support non-membership witnesses and corresponding non-membership proofs, i.e., cryptographic proofs that an element has not been accumulated

  11. 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/Rev.02.03 Uncorrected Proof Copy #12;Uncorrected Proof Copy Finding Genes by Using Computational Tools 87 Computational Tools 89 Job: Plant Functional Genomics--Grotewold Compositor: Nettype Chapter: Chapter 6 Date: 3

  12. PRL A Proof Refinement Calculus for Classical Reasoning

    E-Print Network [OSTI]

    Kreitz, Christoph

    µPRL ­ A Proof Refinement Calculus for Classical Reasoning in Computational Type Theory Nuria Brede, Germany {brede,kreitz}@cs.uni-potsdam.de Abstract. We present a hybrid proof calculus µPRL that combines and show that the restriction of µPRL to µ-safe proof terms is sound and complete for intuitionistic

  13. A Dozen Proofs of Stirling's Formula Steven R. Dunbar

    E-Print Network [OSTI]

    Dunbar, Steve

    Stirling's Formula Steven R. Dunbar Supporting Formulas Stirling's Formula Proof Methods A Dozen Proofs of Stirling's Formula Steven R. Dunbar March 31, 2012 1 / 15 #12;Stirling's Formula Steven R. Dunbar Supporting Formulas Stirling's Formula Proof Methods Wallis' Formula Wallis' Formula

  14. Boolean Theory laws proof Number Theory Character Theory

    E-Print Network [OSTI]

    Hehner, Eric C.R.

    Review Boolean Theory laws proof Number Theory Character Theory Bunches Sets Strings Lists for loop 1/109 #12;Review Boolean Theory laws proof Number Theory Character Theory Bunches Sets Strings with exit for loop 2/109 #12;Review Boolean Theory laws proof Number Theory Character Theory Bunches Sets

  15. Treatise with Reasoning Proof of the Second Law of Energy Degradation: The Carnot Cycle Proof, and Entropy Transfer and Generation

    E-Print Network [OSTI]

    Kostic, Milivoje M.

    Treatise with Reasoning Proof of the Second Law of Energy Degradation: The Carnot Cycle Proof andzation: Understanding and Defining Concepts and Phenomena III. Work and Heat Transfer, Reversibility. Physical Explanation and Reasoning Proof of the Carnot Efficiency: Thermal and Mechanical Net

  16. Certified Software Only if the programmer can prove (through formal machine-checkable proofs) it's free of

    E-Print Network [OSTI]

    . Dependability of- ten includes attributes like reliability, safety, availability, and security. A system. In recent years, however, there have been many ad- vances in the theory and engineering of mechanized proof- gineering artifact. Software companies lack the kind of meaning- ful warranty most other engineering

  17. ATAC Process Proof of Concept Final Report

    SciTech Connect (OSTI)

    Bri Rolston; Sarah Freeman

    2014-03-01T23:59:59.000Z

    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.

  18. One-Piece Leak-Proof Battery

    DOE Patents [OSTI]

    Verhoog, Roelof (Bordeaux, FR)

    1999-03-23T23:59:59.000Z

    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.

  19. Security proof of practical quantum key distribution schemes

    E-Print Network [OSTI]

    Yodai Watanabe

    2005-06-29T23:59:59.000Z

    This paper provides a security proof of the Bennett-Brassard (BB84) quantum key distribution protocol in practical implementation. To prove the security, it is not assumed that defects in the devices are absorbed into an adversary's attack. In fact, the only assumption in the proof is that the source is characterized. The proof is performed by lower-bounding adversary's Renyi entropy about the key before privacy amplification. The bound reveals the leading factors reducing the key generation rate.

  20. an elementary proof of optimality conditions for linear programming

    E-Print Network [OSTI]

    2008-06-30T23:59:59.000Z

    References. Acknowledgement. This note has its origin in discussions with Krister Svanberg on elementary proofs of Farkas' lemma. References. [1] A. Charnes.

  1. Cavitation in trees and the hydraulic sufficiency of woody Department of Botany, University of Vermont, Burlington, VT 05405, and Northeastern Forest Ex-

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Cavitation in trees and the hydraulic sufficiency of woody stems M. Tyree Department of Botany cycle of water stress leading to loss of hydraulic conductance and further dynamic stress (see Fig. 1 of hydraulic conductance in the stem. A loss of conductance means that sap will have to overcome a larger

  2. Tritium proof-of-principle injector experiment

    SciTech Connect (OSTI)

    Fisher, P.W.; Milora, S.L.; Combs, S.K.; Carlson, R.V.; Coffin, D.O.

    1988-01-01T23:59:59.000Z

    The Tritium Proof-of-Principle (TPOP) pellet injector was designed and built by Oak Ridge National Laboratory (ORNL) to evaluate the production and acceleration of tritium pellets for fueling future fision reactors. The injector uses the pipe-gun concept to form pellets directly in a short liquid-helium-cooled section of the barrel. Pellets are accelerated by using high-pressure hydrogen supplied from a fast solenoid valve. A versatile, tritium-compatible gas-handling system provides all of the functions needed to operate the gun, including feed gas pressure control and flow control, plus helium separation and preparation of mixtures. These systems are contained in a glovebox for secondary containment of tritium Systems Test Assembly (TSTA) at Los Alamos National Laboratory (LANL). 18 refs., 3 figs.

  3. PROOF COPY [BS7335] 068124PRB Hopping perturbation treatment the periodic Anderson model around atomic limit

    E-Print Network [OSTI]

    Entel, P.

    PROOF COPY [BS7335] 068124PRB PROOF COPY [BS7335] 068124PRB Hopping perturbation treatment American Physical Society 2451XX­1 PROOF COPY [BS7335] 068124PRB #12; PROOF COPY [BS7335] 068124PRB PROOF COPY [BS7335] 068124PRB diate valence #experimental trends# already present zero­band width

  4. Neighborhoods, Economic Self-Sufficiency, and the MTO John Quigley Steven Raphael

    E-Print Network [OSTI]

    Sekhon, Jasjeet S.

    Neighborhoods, Economic Self-Sufficiency, and the MTO John Quigley Steven Raphael University of California University of California Berkeley Berkeley quigley@econ.berkeley.edu stevenraphael

  5. The Automation of Sound Reasoning and Successful Proof Finding

    E-Print Network [OSTI]

    Fitelson, Branden

    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

  6. PROOF COPY 005202JTM Mohammad Al-Qahtani

    E-Print Network [OSTI]

    Al-Qahtani, Mohammad

    PROOF COPY 005202JTM PROOF COPY 005202JTM Mohammad Al-Qahtani Yong-Jun Jang Turbine Heat Transfer, TX 77843 Je-Chin Han Turbine Heat Transfer Laboratory, Department of Mechanical Engineering, Texas A of 2:1. The rib height-to-hydraulic diameter ratio e/Dh is 0.094 and the rib-pitch- to-height ratio P

  7. The CIFF Proof Procedure for Abductive Logic Programming with Constraints

    E-Print Network [OSTI]

    Toni, Francesca

    The CIFF Proof Procedure for Abductive Logic Programming with Constraints U. Endriss1 , P,terreni,toni}@di.unipi.it Abstract. We introduce a new proof procedure for abductive logic pro- gramming and present two soundness results. Our procedure extends that of Fung and Kowalski by integrating abductive reasoning

  8. Uncorrected Proof Copy RescueMu Protocols 37

    E-Print Network [OSTI]

    Raizada, Manish N.

    : Nettype Chapter: Chapter 3 Date: 3/15/2003 Pub Date: 7/1/2003 Revision: First Proof Template: MiMB/6x9/Template/Rev.02.03 Uncorrected Proof Copy 37 From: Methods in Molecular Biology, vol. 236: Plant FunctionalDB. Key Words Mutator, RescueMu, maize, genomics, transposon, genome survey sequence, plasmid res- cue

  9. Another proof of Gell-Mann and Low's theorem

    E-Print Network [OSTI]

    Luca Guido Molinari

    2006-12-11T23:59:59.000Z

    The theorem by Gell-Mann and Low is a cornerstone in QFT and zero-temperature many-body theory. The standard proof is based on Dyson's time-ordered expansion of the propagator; a proof based on exact identities for the time-propagator is here given.

  10. Quantifier Inference Rules for SMT proofs David Deharbe

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Quantifier Inference Rules for SMT proofs David Deharbe Universidade Federal do Rio Grande do Norte quantifiers in the proof format of the SMT-solver veriT. The quantifier-handling modules in veriT being fairly benefit the SMT community. 1 Introduction In the typical architecture of an SMT-solver, the core automated

  11. PROOF COPY 004805HFS Molecular motors: a traffic cop within?

    E-Print Network [OSTI]

    Gross, Steven

    PROOF COPY 004805HFS PROOF COPY 004805HFS Molecular motors: a traffic cop within? M. A. Welte1 bidirectional, employing multiple plus- and minus-end directed motors. How cells regulate such transport in time approach to predict how much of transport can be understood just from our knowledge of the motors involved

  12. Sufficient reductions in regressions with elliptically contoured1 inverse predictors2

    E-Print Network [OSTI]

    Bura, Efstathia

    for21 the regression of Y on X comprises of a linear and a non-linear component.22 1 Introduction23 There are two general approaches based on inverse regression for estimating the linear sufficient9 reductions with18 parameters (µY , ) and density gY , there is no linear non-trivial sufficient reduction except

  13. Math 103b Spring 2014 Sample Midterm 2 1. (a) Define what it means for a ring R to be a PID (principal ideal

    E-Print Network [OSTI]

    Rogalski, Daniel

    Math 103b Spring 2014 Sample Midterm 2 1. (a) Define what it means for a ring R to be a PID above are UFD's? (no proof necessary) (c2). Which rings on the list above are PID's? (no proof necessary

  14. Example Proof Herein we explain in detail all the tactics used during the proof of preservation

    E-Print Network [OSTI]

    Lisboa, Universidade Técnica de

    by the lemma F Preserve Iso. Coq ! Lemma F Preserve Iso : (c,d:Category)(fF:(Functor c d)) (c1,c2:c)(Iso c1 c2:(c))(Iso c1 c2)!(Iso (F0 fF c1) (F0 fF c2)) We switch to the proof editing mode by declaring ! is changed to F Preserve Iso !. Our goal is now to prove (c,d:Category)(fF:(Functor c d)) (c1,c2:(c))(Iso c1

  15. Proof of Proper Solid Waste Disposal (West Virginia)

    Broader source: Energy.gov [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...

  16. Using Entanglement in Quantum Multi-Prover Interactive Proofs

    E-Print Network [OSTI]

    Julia Kempe; Hirotada Kobayashi; Keiji Matsumoto; Thomas Vidick

    2007-11-23T23:59:59.000Z

    The central question in quantum multi-prover interactive proof systems is whether or not entanglement shared between provers affects the verification power of the proof system. We study for the first time positive aspects of prior entanglement and show that entanglement is useful even for honest provers. We show how to use shared entanglement to parallelize any multi-prover quantum interactive proof system to a one-round system with perfect completeness, with one extra prover. Alternatively, we can also parallelize to a three-turn system with the same number of provers, where the verifier only broadcasts the outcome of a coin flip. This "public-coin" property is somewhat surprising, since in the classical case public-coin multi-prover interactive proofs are equivalent to single prover ones.

  17. ELECTRONIC PROOF OF SERVICE LIST and ELECTRONIC DISTRIBUTION LIST

    E-Print Network [OSTI]

    CALIFORNIA ENERGY COMMISSION ELECTRONIC PROOF OF SERVICE LIST and ELECTRONIC DISTRIBUTION LIST@powereng.com David Tateosian, Power Engineers allanori@comcast.net Alan Thompson, Applicant's Attorney I declare

  18. GARCH PROOF OF CONCEPT _ UPDATED 18 DEC 2008

    E-Print Network [OSTI]

    Datta, Shoumen

    2008-12-18T23:59:59.000Z

    Proof that application of GARCH technique offers potential for profitability. Forecasting is an underestimated field of research in supply chain management. Recently advanced methods are coming into use. Initial results ...

  19. Apprentice Program Alternate Proof of the Spectral Theorem

    E-Print Network [OSTI]

    May, J. Peter

    Math REU Apprentice Program Alternate Proof of the Spectral Theorem Julian Hartman September 17 in the apprentice class but not in this manner. Because the Spectral Theorem is such a fundamental theorem in linear

  20. Computer-assisted proofs in geometry and physics

    E-Print Network [OSTI]

    Minton, Gregory T. (Gregory Thomas)

    2013-01-01T23:59:59.000Z

    In this dissertation we apply computer-assisted proof techniques to two problems, one in discrete geometry and one in celestial mechanics. Our main tool is an effective inverse function theorem which shows that, in favorable ...

  1. Sufficient statistics for linear control strategies in decentralized systems with partial history

    E-Print Network [OSTI]

    Mahajan, Aditya

    1 Sufficient statistics for linear control strategies in decentralized systems with partial history sharing Aditya Mahajan and Ashutosh Nayyar Abstract In decentralized control systems with linear dynamics, quadratic cost, and Gaussian disturbance (also called decentralized LQG systems) linear control strategies

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

    E-Print Network [OSTI]

    Singman, David

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

  3. Proof Theory of MartinLof Type Theory --An Anton Setzer #

    E-Print Network [OSTI]

    Setzer, Anton

    Proof Theory of Martin­LË?of Type Theory -- An Overview Anton Setzer # February 22, 2004 Abstract We give an overview over the historic development of proof theory and the main techniques used in ordinal theoretic proof theory. We argue, that in a revised Hilbert's programme, ordinal theoretic proof theory has

  4. Proof Theory of Martin-Lof Type Theory An Anton Setzer

    E-Print Network [OSTI]

    Setzer, Anton

    Proof Theory of Martin-L¨of Type Theory ­ An Overview Anton Setzer February 22, 2004 Abstract We give an overview over the historic development of proof theory and the main techniques used in ordinal theoretic proof theory. We argue, that in a revised Hilbert's programme, ordinal theoretic proof theory has

  5. Proof of Concept: Cloud Condensation Nucleus Counter

    E-Print Network [OSTI]

    Delene, David J.

    North Dakota project. The solid circle is the mean value, the horizontal line is the 50th percentile Price High Price #12;Research Applications · One commercially available cloud condensation nuclei (CCN) counter. · Available since 2002 · Sold over 100 Units, Mostly Labs · Price is Approximately $70

  6. CIRCULATING MOVING BED COMBUSTION PROOF OF CONCEPT

    SciTech Connect (OSTI)

    Jukkola, Glen

    2010-06-30T23:59:59.000Z

    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.

  7. Scalable K-Means++

    E-Print Network [OSTI]

    Bahmani, Bahman; Vattani, Andrea; Kumar, Ravi; Vassilvitskii, Sergei

    2012-01-01T23:59:59.000Z

    Over half a century old and showing no signs of aging, k-means remains one of the most popular data processing algorithms. As is well-known, a proper initialization of k-means is crucial for obtaining a good final solution. The recently proposed k-means++ initialization algorithm achieves this, obtaining an initial set of centers that is provably close to the optimum solution. A major downside of the k-means++ is its inherent sequential nature, which limits its applicability to massive data: one must make k passes over the data to find a good initial set of centers. In this work we show how to drastically reduce the number of passes needed to obtain, in parallel, a good initialization. This is unlike prevailing efforts on parallelizing k-means that have mostly focused on the post-initialization phases of k-means. We prove that our proposed initialization algorithm k-means|| obtains a nearly optimal solution after a logarithmic number of passes, and then show that in practice a constant number of passes suffic...

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

    E-Print Network [OSTI]

    Recht, Ben

    Necessary and Sufficient Conditions for Success of the Nuclear Norm Heuristic for Rank Minimization that yield exact solutions. A popular heuristic algorithm replaces the rank function with the nuclear norm provide accurate predictions of the heuristic's performance in non-asymptotic scenarios. I. INTRODUCTION

  9. Sufficient statistics for linear control strategies in decentralized systems with partial history sharing

    E-Print Network [OSTI]

    Mahajan, Aditya

    1 Sufficient statistics for linear control strategies in decentralized systems with partial history sharing Aditya Mahajan and Ashutosh Nayyar Abstract--In decentralized control systems with linear dy- namics, quadratic cost, and Gaussian disturbance (also called decentralized LQG systems) linear control

  10. The necessity and sufficiency of anytime capacity for control over a noisy communication link

    E-Print Network [OSTI]

    Sahai, Anant

    capacity and mutual information are not enough 3. Necessity of anytime reliability 4. Consequences: power-laws. Necessity of anytime reliability 4. Consequences: power-laws vs zero-error requirements 5. Sufficiency information are not enough 3. Necessity of anytime reliability 4. Consequences: power-laws vs zero

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

    E-Print Network [OSTI]

    Wehrli, Bernhard

    the chance to do just that. Lack of drinking water hygiene is one of the main sources of disease transmissionThe 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

  12. On Sufficient Conditions for Testing Optimality of Codewords in ISI Channels

    E-Print Network [OSTI]

    Kavcic, Aleksandar

    On Sufficient Conditions for Testing Optimality of Codewords in ISI Channels Fabian Lim1 if a codeword is optimal, for intersymbol interference (ISI) channels. I. INTRODUCTION The maximum interference (ISI) channels, where (channel) memory is present. The techniques for the memoryless channels

  13. A Clean Technology Proof-of-Concept Center

    E-Print Network [OSTI]

    Ohta, Shigemi

    A Clean Technology Proof-of-Concept Center www.powerbridgeny.com Campus Representatives: Brookhaven Natural Gas and Liquefied Natural Gas Hydrofracking Clean coal #12;Mutual Expectations for Winning Mentorship/ Advisors Business Support Access to Customers Overcome Technology and Market Risk #12;Validation

  14. A Language-Independent Proof System for Mutual Program Equivalence

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    A Language-Independent Proof System for Mutual Program Equivalence S¸tefan Ciob^aca1 , Dorel Lucanu, France 3 University of Illinois at Urbana-Champaign, USA Abstract. Two programs are mutually equivalent if they both diverge or they end up in similar states. Mutual equivalence is an adequate no- tion

  15. Correctness Proofs for Device Drivers in Embedded Systems Jianjun Duan

    E-Print Network [OSTI]

    Regehr, John

    that may be thousands of lines; we intend to integrate our manual proofs about bottom-level routines. For example, an auto- motive brake-by-wire system might be required to begin brake drum actuation within 50 ms of receiving a brake pedal input. Let's look at a more detailed example: a hypothetical embedded system

  16. A PROOF THAT THOMPSON'S GROUPS HAVE INFINITELY MANY RELATIVE ENDS

    E-Print Network [OSTI]

    Farley, Dan

    A PROOF THAT THOMPSON'S GROUPS HAVE INFINITELY MANY RELATIVE ENDS DANIEL FARLEY Abstract. We show that each of Thompson's groups F , T, and V has infin- itely many ends relative to the groups F[0,1/2], T[0, that Thomp- son's groups T and V have Serre's property FA. 1. Introduction Thompson's group F is the group

  17. UNCORRECTED PROOF Date: 12:15 Thursday 21 June 2012

    E-Print Network [OSTI]

    Jiggins, Francis

    sensitivity, six additional species of flies were found to be infected with sigma viruses (Longdon et alUNCORRECTED PROOF Date: 12:15 Thursday 21 June 2012 File: Rhabdoviruses 3P 8The Sigma Viruses of Drosophila Ben Longdon, Lena Wilfert and Francis M. Jiggins Abstract The sigma virus of Drosophila

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

    E-Print Network [OSTI]

    New South Wales, University of

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

  19. A Proof System for Compositional Verification of Probabilistic Concurrent Processes

    E-Print Network [OSTI]

    Simpson, Alex

    A Proof System for Compositional Verification of Probabilistic Concurrent Processes Matteo Mio1 established itself as a powerful and widely applicable method for verifying properties of systems, with its-state systems. Moreover, even in the finite-state case, the applicability of model checking is limited

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

  1. Automated Modular Termination Proofs for Real Prolog Programs

    E-Print Network [OSTI]

    Stroetmann, Karl

    Automated Modular Termination Proofs for Real Prolog Programs Martin M¨uller Thomas Glaß Karl the termination of Prolog programs that can be automated and is scalable. Furthermore, the proposed method can of complexity to predicate calls. Then termination of a program is shown by proving this measure

  2. On automating the extraction of programs from termination proofs

    E-Print Network [OSTI]

    Ayala-Rincón, Mauricio

    On automating the extraction of programs from termination proofs Fairouz Kamareddine , Fran to use termination techniques such as those in rewriting theory. We overcome this difficulty the incorporation of termination techniques used in other areas while still extracting programs. Keywords: Program

  3. Computational Proof as Experiment: Probabilistic Algorithms from a

    E-Print Network [OSTI]

    proof" (algorithm) and the "work done" to achieve it (its energy consumption). 1 Introduction The word Engineering, Georgia Institute of Technology, Atlanta GA 30332, USA. palem@ece.gatech.edu Abstract. A novel framework for the design and analysis of energy-aware algo- rithms is presented, centered around

  4. A Flexible Proof Format for SMT: Frederic Besson

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    A Flexible Proof Format for SMT: a Proposal Fr´ed´eric Besson INRIA Rennes ­ Bretagne Atlantique The standard input format for Satisfiability Modulo Theories (SMT) solvers has now reached its second version and integrates many of the features useful for users to interact with their favourite SMT solver. However

  5. Towards a broad spectrum proof certificate Dale Miller

    E-Print Network [OSTI]

    Miller, Dale

    needs a formal proof for its next generation of controllers for airplanes, electric cars, medical-gravity devices? · floating cities · levitating cars and trains · easy access to outer-space #12;Let's do some dreaming.... Wouldn't it be great to have anti-gravity devices? · floating cities · levitating cars

  6. PROOF COMPLEXITY IN ALGEBRAIC SYSTEMS AND BOUNDED DEPTH FREGE

    E-Print Network [OSTI]

    Sgall, Jiri

    PROOF COMPLEXITY IN ALGEBRAIC SYSTEMS AND BOUNDED DEPTH FREGE SYSTEMS WITH MODULAR COUNTING S. Buss (ø) := minfjßj : f(ß) = øg; #12; 2 S. Buss et al. where jßj is the length of the string ß to showing that NP 6= coNP . Despite extensive research (see the expository articles Buss (1995b) , Kraj

  7. Proof and evolutionary analysis of ancient genome duplication in the

    E-Print Network [OSTI]

    Kellis, Manolis

    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

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

    E-Print Network [OSTI]

    Maurer, Alan Borman

    1980-01-01T23:59:59.000Z

    of self- sufficiency in wheat. Trade-restrictive policies such as tariffs, quotas and price support programs have been enacted by most gov- ernments. In 1976-1977, for example, less than five percent of the wheat traded internationally was imported...-demand conditions with production quotas and price support programs. It also sets standards of product differentiation (grading), determines ease of entry into the market by issuing licenses, and affects cost structures through credit and other reg- ulations...

  9. On the meaning of logical completeness

    E-Print Network [OSTI]

    Basaldella, Michele

    2010-01-01T23:59:59.000Z

    Goedel's completeness theorem is concerned with provability, while Girard's theorem in ludics (as well as full completeness theorems in game semantics) are concerned with proofs. Our purpose is to look for a connection between these two disciplines. Following a previous work [3], we consider an extension of the original ludics with contraction and universal nondeterminism, which play dual roles, in order to capture a polarized fragment of linear logic and thus a constructive variant of classical propositional logic. We then prove a completeness theorem for proofs in this extended setting: for any behaviour (formula) A and any design (proof attempt) P, either P is a proof of A or there is a model M of the orthogonal of A which defeats P. Compared with proofs of full completeness in game semantics, ours exhibits a striking similarity with proofs of Goedel's completeness, in that it explicitly constructs a countermodel essentially using Koenig's lemma, proceeds by induction on formulas, and implies an analogue o...

  10. On the Purpose of Event-B Proof Obligations Stefan Hallerstede

    E-Print Network [OSTI]

    Southampton, University of

    systematic support within the modelling method. We insist that reasoning is an essential part of modelling into relative deadlock- freeness proofs with respect to the failures model of CSP [17] and into soundness proofs

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

    E-Print Network [OSTI]

    Meikle, Laura Isabel

    2014-06-27T23:59:59.000Z

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

  12. WORKSHOP ON RECENT TRENDS IN PROOF THEORY University of Bern, July 9 11, 2008

    E-Print Network [OSTI]

    Caldwell, James

    ) On the unusual effectiveness of proof theory in epistemology 09.4510.30 R. Kuznets (Bern) Justifications

  13. Planar and Braided ProofNets for Multiplicative Linear Logic with Mix

    E-Print Network [OSTI]

    Bellin, Gianluigi

    in his thesis [8]. There are both logical and geometrical reasons to consider the rule of Mix ` \\GammaPlanar and Braided Proof­Nets for Multiplicative Linear Logic with Mix G. Bellin \\Lambda A of the data. Braided proof­ nets are proof­nets for multiplicative linear logic with Mix embedded in R 3

  14. To appear in the Journal of Symbolic Computation Modular Termination Proofs for Rewriting

    E-Print Network [OSTI]

    Ábrahám, Erika

    To appear in the Journal of Symbolic Computation Modular Termination Proofs for Rewriting Using Recently, Arts and Giesl developed the dependency pair approach which allows automated termination and innermost termination proofs for many term rewriting systems for which such proofs were not possible before

  15. Lower Bounds for Bounded Depth Frege Proofs via Pudlak-Buss Games

    E-Print Network [OSTI]

    Harsha, Prahladh

    19 Lower Bounds for Bounded Depth Frege Proofs via Pudl´ak-Buss Games ELI BEN-SASSON Technion. Our method uses the interpretation of proofs as two player games given by Pudl´ak and Buss. Our lower. 2010. Lower bounds for bounded depth Frege proofs via Pudl´ak- Buss games. ACM Trans. Comput. Logic, 11

  16. Proof Theory of Martin-L"of Type Theory -An Overview

    E-Print Network [OSTI]

    Setzer, Anton

    Proof Theory of Martin-L"of Type Theory - An Overview We give an overview over the historic development of proof theory and the main techniques used in ordinal theoretic proof theory. We argue, that in a revised Hilbert's programme, ordinal theoretic

  17. Necessary and Sufficient Process leading to Work Smart Standards. Final report

    SciTech Connect (OSTI)

    NONE

    1996-11-01T23:59:59.000Z

    The Necessary and Sufficient Process leading to Work Smart Standards is a Department of Energy initiative to assure adequate protection for workers, the public, and the environment. The Work Smart Standards initiative directs the Laboratory to develop a set of ES and H standards based on the work performed at the Laboratory and the hazards associated with the work. Berkeley Lab`s set of Work Smart Standards includes required Federal, State and local laws and, additionally, national and international standards which represent the highest operating standards of industrial and commercial institutions.

  18. Solar energt focusing means

    SciTech Connect (OSTI)

    Tsubota, J.

    1981-11-10T23:59:59.000Z

    A highly efficient solar focusing means being hollow and in semi-cylindrical or arcuate shape, the surface has such fine menisci as to act like convex lenses to focus solar rays towards the center of the focusing body, irrespective of the position of the sun, where a solar energy conversion device is located and further acts to disperse light reflected thereonto from the solar energy conversion device. The focusing body can assume several shapes and thus can be used for roofing of a building, such as a house, or the like, and still be aesthetically pleasing.

  19. Equilibrium Value Method for the Proof of QIP=PSPACE

    E-Print Network [OSTI]

    Xiaodi Wu

    2011-03-12T23:59:59.000Z

    We provide an alternative proof of \\class{QIP}=\\class{PSPACE} to the recent breakthrough result. Unlike solving some semidefinite programs that captures the computational power of quantum interactive proofs, our method starts with one \\class{QIP}-Complete problem which computes the diamond norm between two admissible quantum channels. The key observation is that we can convert the computation of the diamond norm into the computation of some equilibrium value. The later problem, different from the former semidefinite programs, is of better form, easier to solve and could be interesting for its own sake. The multiplicative weight update method is also applied to solve the equilibrium value problem, however, in a relatively simpler way than the one in the original proof. As a direct byproduct, we also provide a NC algorithm to compute the diamond norm of a class of quantum channels. Furthermore, we provide a generalized form of equilibrium value problems that can be solved in the same way as well as comparisons to semidefinite programs.

  20. Hausdorf means and multipliers

    E-Print Network [OSTI]

    McCabe, Thomas Francis

    1968-01-01T23:59:59.000Z

    lies in summability methods generated by a m x+ matrix T = (c ); given a sequence { s }, we define t = p c s . nan n m mn n lim If t exists for each m and t = p, then we say T sums m m ~ m {s } to p . Unlike the abstract definition of a summability... Hausdori transformation; that n m for m g n; and that X is a transformation that commutes with B Now if A = 6&6 then we have X = 6A6 and since B = 6p 6 vve have p = 6 B 6 . Therefore AP =(6X6)(6B6) =(6XB6)=6BX6=(6B6) (6) 6) =&A If A has means t where...

  1. In Proceedings of IEEE Logic in Computer Science, 2003 Proof Nets for Unitfree MultiplicativeAdditive Linear Logic

    E-Print Network [OSTI]

    Pratt, Vaughan

    In Proceedings of IEEE Logic in Computer Science, 2003 Proof Nets for Unit­free Multiplicative GLABBEEK Stanford University rvg@cs.stanford.edu A cornerstone of the theory of proof nets for unit this key feature: a host of cut­free monomial proof nets can correspond to the same cut­free proof. Thus

  2. Fast Verification of MLL Proof Nets via IMLL ANDRZEJ S. MURAWSKI and C.H. LUKE ONG

    E-Print Network [OSTI]

    Murawski, Andrzej

    Fast Verification of MLL Proof Nets via IMLL ANDRZEJ S. MURAWSKI and C.­H. LUKE ONG Oxford University Computing Laboratory We consider the following decision problems: ProofNet : Is a given multiplicative linear logic (MLL) proof structure a proof net? EssNet : Is a given essential net (of

  3. In Proceedings of IEEE Logic in Computer Science, 2003 Proof Nets for Unit-free Multiplicative-Additive Linear Logic

    E-Print Network [OSTI]

    Pratt, Vaughan

    In Proceedings of IEEE Logic in Computer Science, 2003 Proof Nets for Unit-free Multiplicative GLABBEEK Stanford University rvg@cs.stanford.edu A cornerstone of the theory of proof nets for unit this key feature: a host of cut-free monomial proof nets can correspond to the same cut-free proof. Thus

  4. ReACT Methodology Proof of Concept Final Report

    SciTech Connect (OSTI)

    Bri Rolston; Sarah Freeman

    2014-03-01T23:59:59.000Z

    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.

  5. An almost trivial proof of the 4-colour theorem

    E-Print Network [OSTI]

    Peter Doerre

    2013-06-25T23:59:59.000Z

    Proving for triangulations an extended (sharper) version of the 4-colour theorem by induction, we manage to exclude the case which led to the failure of Kempe's attempted proof. The new idea is to claim the existence of a "nice" 4-colouring, in which existing Kempe chains satisfy a special condition, and to show that the assumption of its non-existence (a counterexample) always leads to a contradiction. The trick is to employ recolouring in order to assure the non-existence of potential counter-examples.

  6. Two-Factor Identify Proofing Process | Department of Energy

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level:Energy: Grid Integration Redefining What'sis Taking Over OurThe Iron Spin Transition in2,EHSS A-Zandof EnergyTwoTwo newIdentify Proofing

  7. Idaho Instructions for Filing Proof of Beneficial Use | Open Energy

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page onYou are now leaving Energy.gov You are now leaving Energy.gov You are8COaBulkTransmissionSitingProcess.pdfGetecGtel JumpCounty, Texas:ITC TransmissionIdaho DEQInformationProof

  8. Sufficient Conditions for Optimal Multicast Communication Barbara D. Birchler, AbdolHossein Esfahanian, and Eric Torng

    E-Print Network [OSTI]

    Torng, Eric

    ­1266 fbirchler,esfahani,torngg@cps.msu.edu Abstract In this paper, we give a general technique for com­ puting will satisfy these conditions, this result essentially means that multicast can always be performed in dlog(d+1 to be a shortest path routing scheme, this result essentially implies that any real system allows optimal multicast

  9. A New Proof on Net Upscale Energy Cascade in 2D and QG Turbulence

    E-Print Network [OSTI]

    Eleftherios Gkioulekas; Ka Kit Tung

    2006-09-30T23:59:59.000Z

    A general proof that more energy flows upscale than downscale in two-dimensional (2D) turbulence and barotropic quasi-geostrophic (QG) turbulence is given. A proof is also given that in Surface QG turbulence, the reverse is true. Though some of these results are known in restricted cases, the proofs given here are pedagogically simpler, require fewer assumptions and apply to both forced and unforced cases.

  10. Sufficient bound on the mode mismatch of single photons for scalability of the boson sampling computer

    E-Print Network [OSTI]

    Valery Shchesnovich

    2014-12-02T23:59:59.000Z

    The boson sampler proposed by Aaronson and Arkhipov is a non-universal quantum computer, which can serve as evidence against the extended Church-Turing thesis. It samples the probability distribution at the output of linear unitary optical network, with indistinguishable single photons at the input. Four experimental groups have already tested their small-scale prototypes with up to four photons. The boson sampler with few dozens of single photons is believed to be hard to simulate on a classical computer. For scalability of a realistic boson sampler with current technology it is necessary to know the effect of the photon mode mismatch on its operation. Here a nondeterministic model of the boson sampler is analyzed, which employs partially indistinguishable single photons emitted by identical sources. A sufficient condition on the average mutual fidelity $ \\langle \\mathcal{F}\\rangle$ of the single photons is found, which guarantees that the realistic boson sampler outperforms the classical computer. Moreover, the boson sampler computer with partially indistinguishable single photons is scalable while being beyond the power of classical computers when the single photon mode mismatch $1-\\langle \\mathcal{F}\\rangle$ scales as $ \\mathcal{O}(N^{-3/2})$ with the total number of photons $N$.

  11. Playing games in quantum mechanical settings: A necessary and sufficient condition

    E-Print Network [OSTI]

    Junichi Shimamura; Sahin Kaya Ozdemir; Nobuyuki Imoto

    2005-08-15T23:59:59.000Z

    A number of recent studies have focused on novel features in game theory when the games are played using quantum mechanical toolbox (entanglement, unitary operators, measurement). Researchers have concentrated in two-player-two strategy, 2x2, dilemma containing classical games, and transferred them into quantum realm showing that in quantum pure strategies dilemmas in such games can be resolved if entanglement is distributed between the players armed with quantum operations. Moreover, it became clear that the players receive the highest sum of payoffs available in the game, which are otherwise impossible in classical pure strategies. Encouraged by the observation of rich dynamics of physical systems with many interacting parties and the power of entanglement in quantum versions of 2x2 games, it became generally accepted that quantum versions can be easily extended to N-player situations by simply allowing N-partite entangled states. In this article, however, we show that this is not generally true because the reproducibility of classical tasks in quantum domain imposes limitations on the type of entanglement and quantum operators. We propose a benchmark for the evaluation of quantum and classical versions of games, and derive the necessary and sufficient conditions for a physical realization. We give examples of entangled states that can and cannot be used, and the characteristics of quantum operators used as strategies.

  12. A necessary and sufficient condition to play games in quantum mechanical settings

    E-Print Network [OSTI]

    Sahin Kaya Ozdemir; Junichi Shimamura; Nobuyuki Imoto

    2007-03-01T23:59:59.000Z

    Quantum game theory is a multidisciplinary field which combines quantum mechanics with game theory by introducing non-classical resources such as entanglement, quantum operations and quantum measurement. By transferring two-player-two strategy (2x2) dilemma containing classical games into quantum realm, dilemmas can be resolved in quantum pure strategies if entanglement is distributed between the players who use quantum operations. Moreover, players receive the highest sum of payoffs available in the game, which are otherwise impossible in classical pure strategies. Encouraged by the observation of rich dynamics of physical systems with many interacting parties and the power of entanglement in quantum versions of 2x2 games, it became generally accepted that quantum versions can be easily extended to N-player situations by simply allowing N-partite entangled states. In this article, however, we show that this is not generally true because the reproducibility of classical tasks in quantum domain imposes limitations on the type of entanglement and quantum operators. We propose a benchmark for the evaluation of quantum and classical versions of games, and derive the necessary and sufficient conditions for a physical realization. We give examples of entangled states that can and cannot be used, and the characteristics of quantum operators used as strategies.

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

    E-Print Network [OSTI]

    Kim, Kyung Man

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

  14. General proof of (maximum) entropy principle in Lovelock gravity

    E-Print Network [OSTI]

    Cao, Li-Ming

    2014-01-01T23:59:59.000Z

    We consider a static self-gravitating perfect fluid system in Lovelock gravity theory. For a spacial region on the hypersurface orthogonal to static Killing vector, by the Tolman's law of temperature, the assumption of a fixed total particle number inside the spacial region, and all of the variations (of relevant fields) in which the induced metric and its first derivatives are fixed on the boundary of the spacial region, then with the help of the gravitational equations of the theory, we can prove a theorem says that the total entropy of the fluid in this region takes an extremum value. A converse theorem can also be obtained following the reverse process of our proof.

  15. How to Delegate Computations: The Power of No-Signaling Proofs

    E-Print Network [OSTI]

    -exponentially secure private information retrieval (PIR) scheme. The proof exploits a curious connection between suggested by Aiello et al. (ICALP, 2000), which makes use of a PIR scheme. This method lacked a proof of security. We prove that this method is secure assuming the underlying MIP is secure against no

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

    E-Print Network [OSTI]

    Petrank, Erez

    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

  17. Orbit equivalence of Cantor minimal systems: A survey and a new proof

    E-Print Network [OSTI]

    Putnam, Ian F.

    Orbit equivalence of Cantor minimal systems: A survey and a new proof Ian F. Putnam, Department Abstract We give a new proof of the classification, up to topological orbit equivalence, of minimal AF-equivalence on the structure of AF-equivalence relations and the theory of dimension groups; we give a short survey

  18. Concise Proof of Tienstra's Formula Josep M. Porta and Federico Thomas

    E-Print Network [OSTI]

    Porta, Josep M.

    Concise Proof of Tienstra's Formula Josep M. Porta and Federico Thomas Institut de Rob`otica i and practitioners recognize that Tienstra's formula provides the most compact and elegant solution to this problem. Un- fortunately, all available proofs for this remarkable formula are intricate. This paper shows how

  19. A Concise Proof of Tienstra's Formula Josep M. Porta and Federico Thomas

    E-Print Network [OSTI]

    A Concise Proof of Tienstra's Formula Josep M. Porta and Federico Thomas Institut de Rob`otica i that Tienstra's formula provides the most compact and elegant solution to this problem. Un- fortunately, all available proofs for this remarkable formula are intricate. This paper shows how, by using barycentric

  20. PROOF COPY 019605JAP Effect of pulsing parameters on laser ablative cleaning of copper oxides

    E-Print Network [OSTI]

    Yao, Y. Lawrence

    such as selectivity, controllabil- ity, and flexibility. Moreover, laser cleaning is easy to be automated is too low to melt the layer, the thermal stress due to the very rapid heating of laser pulsePROOF COPY 019605JAP PROOF COPY 019605JAP Effect of pulsing parameters on laser ablative cleaning

  1. Quantum Error Correcting Codes and the Security Proof of the BB84 Protocol

    E-Print Network [OSTI]

    Ramesh Bhandari

    2014-08-30T23:59:59.000Z

    We describe the popular BB84 protocol and critically examine its security proof as presented by Shor and Preskill. The proof requires the use of quantum error correcting codes called the Calderbank-Shor-Steanne (CSS) quantum codes. These quantum codes are constructed in the quantum domain from two suitable classical linear codes, one used to correct for bit-flip errors and the other for phase-flip errors. Consequently, as a prelude to the security proof, the report reviews the essential properties of linear codes, especially the concept of cosets, before building the quantum codes that are utilized in the proof. The proof considers a security entanglement-based protocol, which is subsequently reduced to a "Prepare and Measure" protocol similar in structure to the BB84 protocol, thus establishing the security of the BB84 protocol. The proof, however, is not without assumptions, which are also enumerated. The treatment throughout is pedagogical, and this report, therefore, serves a useful tutorial for researchers, practitioners, and students, new to the field of quantum information science, in particular, quantum cryptography, as it develops the proof in a systematic manner, starting from the properties of linear codes, and then advancing to the quantum error correcting codes, which are critical to the understanding of the security proof.

  2. Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra

    E-Print Network [OSTI]

    Bruck, Jehoshua (Shuki)

    Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra to integrate the AXIOM family of computer algebra systems with Poly/ML-based proof assistants in the same framework. A long-term goal is to make a large set of efficient implementations of algebraic algorithms

  3. Red Means Go Information Technology

    E-Print Network [OSTI]

    Projects ·Budget Issues #12;Red Means Go Strategic Operations Plan (SOP) ·Articulate the OIT vision, planning, and other business functions · Scope: Project will impact university data users (executive Means Go Directions and Opportunities for OIT ·Three Phase Plan for IT Improvement ·Develop Strategic

  4. Storm detection by electronic means

    E-Print Network [OSTI]

    Wooten, Allen Dewey

    1949-01-01T23:59:59.000Z

    equivalent circuit (figure 5), 14 ~744 r 50, 000 + r r = 7uu ouu ? 17u irrr 4. 1 Thus, the applied sigr 1 eg is not 245 volts, but 14 volts. This signal voltage is sufficient to cause Eb to drop froia 390 volts to 290 volts. I'Loni. , lly, C402 (Figure 3... and Mechanical College of Texas in partial fulfillment of the requirements for the deEree of MASTER OF SCIENCE IN ELECTRICAL ENGINEERING 1949 CONTENTS Introduction Theoretic. . l Consideration oi' Radar Storm Detection II. Extending =ffective R~ge of Radar...

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

    SciTech Connect (OSTI)

    William C. Leighty; DOE Project Officer - Keith Bennett

    2005-10-04T23:59:59.000Z

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

  6. New coherent states and a new proof of the Scott correction Jan Philip Solovej and Wolfgang L Spitzer

    E-Print Network [OSTI]

    New coherent states and a new proof of the Scott correction Jan Philip Solovej and Wolfgang L­Fermi potential yielding a new proof of the Scott correction for molecules. 1. Introduction In this paper we review a novel proof of the Scott correction for neutral mol­ ecules. So suppose, we have M nuclei

  7. Sufficient condition for a finite-time singularity in a high-symmetry Euler flow: Analysis and statistics

    E-Print Network [OSTI]

    Ng, Chung-Sang

    City, Iowa 52242 Received 20 March 1995 A sufficient condition is obtained for the development that for fixed total energy, pxxxx is predominantly positive with the average value growing with the numbers spontaneously, dissipa- tion intervenes, and the dynamical balance between the two processes determines

  8. Bl k t T h l F l C l dBlanket Technology, Fuel Cycle and Tritium Self Sufficiency

    E-Print Network [OSTI]

    Abdou, Mohamed

    and TechnologyNuclear Science and Technology (FNST). 4 #12;FNST is the science, engineering, technology and materials Fusion Nuclear Science & Technology (FNST) FNST is the science, engineering, technologyBl k t T h l F l C l dBlanket Technology, Fuel Cycle and Tritium Self Sufficiency M h d Abd

  9. Cooling by heating a nanodroplet - proof of concept

    E-Print Network [OSTI]

    J. J. Papini

    2011-05-10T23:59:59.000Z

    Recently [3] predicted the existence of an intriguing new phenomenon. It was shown that if temperature is suddenly raised at the surface of a sphere the temperature in the interior initially decreases. The authors of [3] gave a thorough analysis explaining the physics leading to this remarkable effect. They linked the existence of the phenomenon to the subtle thermomechanical coupling between displacement and temperature in a sphere that is able to expand freely and showed that the effect is expected to be largest close to the glasstransition temperature of the perturbed material. The prediction was based on the assumption of quasi-elasticity where the sample is much smaller than the wavelength of acoustic waves at frequencies of relevance. Being in the inertia free limit they could ignore the acceleration term in the thermoviscoelastic equations of motion. Here we give the first empirical proof of existence of the effect by performing molecular dynamics simulations of a supercooled Kob-Andersen binary mixture of Lennard-Jones particles forming a droplet consisting of 500.000 particles. We show that the phenomenon is real even when inertia cannot be disregarded.

  10. SALT DAMAGE CRITERION PROOF-OF-CONCEPT RESEARCH

    SciTech Connect (OSTI)

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

    2001-12-01T23:59:59.000Z

    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.

  11. Electron mean free path from angle-dependent photoelectron spectroscopy of aerosol particles

    E-Print Network [OSTI]

    Goldmann, Maximilian; West, Adam H C; Yoder, Bruce L; Signorell, Ruth

    2015-01-01T23:59:59.000Z

    We propose angle-resolved photoelectron spectroscopy of aerosol particles as an alternative way to determine the electron mean free path of low energy electrons in solid and liquid materials. The mean free path is obtained from fits of simulated photoemission images to experimental ones over a broad range of different aerosol particle sizes. The principal advantage of the aerosol approach is twofold. Firstly, aerosol photoemission studies can be performed for many different materials, including liquids. Secondly, the size-dependent anisotropy of the photoelectrons can be exploited in addition to size-dependent changes in their kinetic energy. These finite size effects depend in different ways on the mean free path and thus provide more information on the mean free path than corresponding liquid jet, thin film, or bulk data. The present contribution is a proof of principle employing a simple model for the photoemission of electrons and preliminary experimental data for potassium chloride aerosol particles.

  12. Learning the meaning of music

    E-Print Network [OSTI]

    Whitman, Brian A. (Brian Alexander)

    2005-01-01T23:59:59.000Z

    Expression as complex and personal as music is not adequately represented by the signal alone. We define and model meaning in music as the mapping between the acoustic signal and its contextual interpretation - the 'community ...

  13. In Situ Redox Manipulation Proof-of-Principle Test at the Fort Lewis Logistics Center: Final Report

    SciTech Connect (OSTI)

    VR Vermeul; MD Williams; JC Evans; JE Szecsody; BN Bjornstad; TL Liikala

    2000-10-25T23:59:59.000Z

    Pacific Northwest National Laboratory (PNNL) conducted a proof-of-principle test at the Fort Lewis Logistics Center to determine the feasibility of using the In Situ Redox Manipulation (ISRM) technology for remediating groundwater contaminated with dissolved trichloroethylene (TCE). ISRM creates a permeable treatment zone in the subsurface to remediate redox-sensitive contaminants in groundwater. The permeable treatment zone is formed by injecting a chemical reducing agent (sodium dithionite with pH buffers) into the aquifer through a well to reduce the naturally occurring ferric iron in the sediments to ferrous iron. Once the reducing agent is injected and given sufficient time to react with aquifer sediments, residual chemicals and reaction products are withdrawn from the aquifer through the same well used for the injection. Redox-sensitive contaminants such as TCE, moving through the treatment zone under natural groundwater flow conditions, are destroyed. TCE is degraded via reductive dechlorination within the ISRM treatment zone to benign degradation products (i.e., acetylene, ethylene). Prior to the proof-of-principle field test, the ISRM technology was successfully demonstrated in laboratory experiments for the reductive dechlorination of dissolved TCE using sediments from the Fort Lewis site. The Logistics Center was placed on the National Priorities List in December 1989 because of TCE contamination in groundwater beneath the site. A Federal Facilities Agreement between the Army, the U.S. Environmental Protection Agency, and the Washington State Department of Ecology became effective in January 1990, and a Record of Decision (ROD) was signed in September 1990. The major components of the ROD included installation of two pump-and-treat systems for the upper aquifer and further investigation of the lower aquifer and other potential sources of contamination. The pump-and-treat systems became operational in August 1995. Fort Lewis asked PNNL to provide technical support in accelerating Installation Restoration Program site remediation and significantly reducing site life-cycle costs at the Logistics Center. In support of this program, ISRM was selected as an innovative technology for bench and field-scale demonstration. Emplacement of the ISRM treatment zone was accomplished through a series of four separate dithionite injection tests conducted between November 10, 1998 and March 29,2000. An extensive program of chemical monitoring was also performed before, during, and after each injection to evaluate the performance of ISRM. Prior to emplacement of the ISRM treatment zone, the site was extensively characterized with respect to geologic, hydrologic, and geochemical properties. Sediment core samples collected for the characterization studies were analyzed in bench-scale column tests at PNNL to determine reducible iron content. These site-specific hydrogeologic and geochemical data were used to develop the emplacement design of the pilot-scale (i.e., single injection well) ISRM treatment zone. Performance data obtained from the proof-of-principle test indicate that field-scale reductive dechlorination of TCE using the ISRM technology is feasible. A treatment zone was created in the subsurface that reduced TCE concentrations as much as 92% on the downgradient side of the reduced zone, from a background concentration of approximately 140 ppb to approximately 11 ppb. The appearance of the principal degradation product, acetylene, also confirmed that TCE destruction was occurring. Analysis of sediment samples collected from post-test boreholes showed a high degree of iron reduction, which helped to confirm the effectiveness of the treatment zone emplacement. Another important goal of the testing program was to provide assurances that chemical treatment of the subsurface did not result in undesirable secondary effects, including formation of toxic TCE degradation products, mobilization of trace elements, and degradation of hydraulic performance. Results obtained from the Fort Lewis ISRM proof-of-principle test, which are c

  14. Isotope separation by laser means

    DOE Patents [OSTI]

    Robinson, C. Paul (Los Alamos, NM); Jensen, Reed J. (Los Alamos, NM); Cotter, Theodore P. (Los Alamos, NM); Greiner, Norman R. (Los Alamos, NM); Boyer, Keith (Los Alamos, NM)

    1982-06-15T23:59:59.000Z

    A process for separating isotopes by selective excitation of isotopic species of a volatile compound by tuned laser light. A highly cooled gas of the volatile compound is produced in which the isotopic shift is sharpened and defined. Before substantial condensation occurs, the cooled gas is irradiated with laser light precisely tuned to a desired wavelength to selectively excite a particular isotopic species in the cooled gas. The laser light may impart sufficient energy to the excited species to cause it to undergo photochemical reaction or even to photoionize. Alternatively, a two-photon irradiation may be applied to the cooled gas to induce photochemical reaction or photoionization. The process is particularly applicable to the separation of isotopes of uranium and plutonium.

  15. UncorrectedAuthorProof Journal of Alzheimer's Disease xx (20xx) xxx

    E-Print Network [OSTI]

    30 31 Correspondence to: Jesse Mez, Gertrude H. Sergievsky Center, College of Physicians and Surgeons;UncorrectedAuthorProof 2 J. Mez et al. / Language versus Memory Alzheimer's Subgroups tion of patients with AD

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

  17. Comment on Proof that the Hydrogen-Antihydrogen Molecule is Unstable

    E-Print Network [OSTI]

    G. Van Hooydonk

    2005-07-31T23:59:59.000Z

    A recent claim that molecule H-antiH is unstable cannot be a proof as it is based on a wrong conjecture. This is illustrated with 4 examples, including observed natural hydrogen-antihydrogen oscillations never detected previously.

  18. Direct Proof of Security of Wegman-Carter Authentication with Partially Known Key

    E-Print Network [OSTI]

    Direct Proof of Security of Wegman-Carter Authentication with Partially Known Key Aysajan Abidin by Wegman and Carter [24], in the case of partially known key. The scheme is based on secretly selecting

  19. Sen's Theorem: Geometric Proof and New Interpretations Lingfang (Ivy) Li and Donald G. Saari

    E-Print Network [OSTI]

    Saari, Don

    Sen's Theorem: Geometric Proof and New Interpretations Lingfang (Ivy) Li and Donald G. Saari Dept liberal, paradox, decision theory 2 Saari's research was supported by NSF grant DMI 0233798. 1 #12;A

  20. A Note on the Use of Sum in the Logic of Proofs Roman Kuznets

    E-Print Network [OSTI]

    Jäger, Gerhard

    A Note on the Use of Sum in the Logic of Proofs Roman Kuznets Institut f¨ur Informatik und angewandte Mathematik Universit¨at Bern Neubr¨uckstrasse 10, 3012 Bern, Switzerland kuznets

  1. Torts and Social Costs: The Judgment Proof Problem as a Matter of Rational Choice

    E-Print Network [OSTI]

    Acciarri, Hugo A; Castellano, Andrea; Barbero, Andrea

    2006-01-01T23:59:59.000Z

    modelos usuales IV. - La calidad de Judgment Proof como unaes ineficientemente alto. IV. - La calidad de JP como unatipo JP, asumiendo esa calidad como un hecho dado. Cuando se

  2. A Proof by the Simplex Method for the Diameter of a (0,1)-Polytope

    E-Print Network [OSTI]

    2011-08-24T23:59:59.000Z

    by proving that the diameter of any (0,1)-polytope in d-dimensional. Euclidean space is at most d. In this short paper, we give a simple proof for the diameter.

  3. Analysis and demonstration: a proof-of-concept compass star tracker 

    E-Print Network [OSTI]

    Swanzy, Michael John

    2007-04-25T23:59:59.000Z

    , the design and fabrication of a proof-of-concept instrument, an error source analysis, and the experimental tests used to validate the position determination concepts. Star sensors are typically used as attitude determination instruments on spacecraft...

  4. Canonical Sequent Proofs via Multi-Focusing Kaustuv Chaudhuri, Dale Miller, and Alexis Saurin

    E-Print Network [OSTI]

    Chaudhuri, Kaustuv

    Canonical Sequent Proofs via Multi-Focusing Kaustuv Chaudhuri, Dale Miller, and Alexis Saurin examining and reorganizing Kaustuv Chaudhuri INRIA Saclay ­ ^Ile-de-France, e-mail: Kaustuv.Chaudhuri

  5. PROOF COMPLEXITY IN ALGEBRAIC SYSTEMS AND BOUNDED DEPTH FREGE SYSTEMS WITH

    E-Print Network [OSTI]

    Krajíèek, Jan

    PROOF COMPLEXITY IN ALGEBRAIC SYSTEMS AND BOUNDED DEPTH FREGE SYSTEMS WITH MODULAR COUNTING S. Buss; 2 S. Buss et al. NP 6= coNP . Despite extensive research (see the expository articles Buss (1995b

  6. Math 302 Introduction to Proofs via Number Theory Summer 2011 Instructor Dr. Amites Sarkar

    E-Print Network [OSTI]

    Sarkar, Amites

    Math 302 Introduction to Proofs via Number Theory Summer 2011 Instructor Dr. Amites Sarkar Text-mail is amites.sarkar@wwu.edu Course objectives The successful student will demonstrate: 1. Proficiency

  7. Math 302 Introduction to Proofs via Number Theory Spring 2009 Instructor Amites Sarkar

    E-Print Network [OSTI]

    Sarkar, Amites

    Math 302 Introduction to Proofs via Number Theory Spring 2009 Instructor Amites Sarkar Text-mail is amites.sarkar@wwu.edu Course objectives The successful student will demonstrate: 1. Understanding

  8. Math 302 Introduction to Proofs via Number Theory Winter 2011 Instructor Dr. Amites Sarkar

    E-Print Network [OSTI]

    Sarkar, Amites

    Math 302 Introduction to Proofs via Number Theory Winter 2011 Instructor Dr. Amites Sarkar Text Hall. My phone number is 650 7569 and my e-mail is amites.sarkar@wwu.edu Course objectives

  9. Math 312 Proofs in Elementary Analysis Summer 2009 Instructor Dr. Amites Sarkar

    E-Print Network [OSTI]

    Sarkar, Amites

    Math 312 Proofs in Elementary Analysis Summer 2009 Instructor Dr. Amites Sarkar Text Mappings. My phone number is 650 7569 and my e-mail is amites.sarkar@wwu.edu #12;Course objectives

  10. Math 302 Introduction to Proofs via Number Theory Spring 2013 Instructor Dr. Amites Sarkar

    E-Print Network [OSTI]

    Sarkar, Amites

    Math 302 Introduction to Proofs via Number Theory Spring 2013 Instructor Dr. Amites Sarkar Text, Tuesdays, Thursdays and Fridays, in 216 Bond Hall. My phone number is 650 7569 and my e-mail is amites.sarkar

  11. Math 302 Introduction to Proofs via Number Theory Summer 2010 Instructor Dr. Amites Sarkar

    E-Print Network [OSTI]

    Sarkar, Amites

    Math 302 Introduction to Proofs via Number Theory Summer 2010 Instructor Dr. Amites Sarkar Text-mail is amites.sarkar@wwu.edu Course objectives The successful student will demonstrate: 1. Proficiency

  12. Math 302 Introduction to Proofs via Number Theory Spring 2014 Instructor Dr. Amites Sarkar

    E-Print Network [OSTI]

    Sarkar, Amites

    Math 302 Introduction to Proofs via Number Theory Spring 2014 Instructor Dr. Amites Sarkar Text, Tuesdays, Thursdays and Fridays, in 216 Bond Hall. My phone number is 650 7569 and my e-mail is amites.sarkar

  13. Math 309 Introduction to Proof in Discrete Mathematics Summer 2014 Instructor Amites Sarkar

    E-Print Network [OSTI]

    Sarkar, Amites

    Math 309 Introduction to Proof in Discrete Mathematics Summer 2014 Instructor Amites Sarkar Text, in 216 Bond Hall. My phone number is 650 7569 and my e-mail is amites.sarkar@wwu.edu #12;

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

    E-Print Network [OSTI]

    Dolgushev, Vasiliy A

    2005-01-01T23:59:59.000Z

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

  15. On the complexity of cutting plane proofs using split cuts Sanjeeb ...

    E-Print Network [OSTI]

    2008-06-16T23:59:59.000Z

    Jun 16, 2008 ... Page 1 ... The complexity of different types of cutting-plane proofs has been a much studied topic in recent years. Some well-known classes of ...

  16. Wireless Roadside Inspection Proof of Concept Test Final Report

    SciTech Connect (OSTI)

    Capps, Gary J [ORNL; Franzese, Oscar [ORNL; Knee, Helmut E [ORNL; Plate, Randall S [ORNL; Lascurain, Mary Beth [ORNL

    2009-03-01T23:59:59.000Z

    The U.S. Department of Transportation (DOT) FMCSA commissioned the Wireless Roadside Inspection (WRI) Program to validate technologies and methodologies that can improve safety through inspections using wireless technologies that convey real-time identification of commercial vehicles, drivers, and carriers, as well as information about the condition of the vehicles and their drivers. It is hypothesized that these inspections will: -- Increase safety -- Decrease the number of unsafe commercial vehicles on the road; -- Increase efficiency -- Speed up the inspection process, enabling more inspections to occur, at least on par with the number of weight inspections; -- Improve effectiveness -- Reduce the probability of drivers bypassing CMV inspection stations and increase the likelihood that fleets will attempt to meet the safety regulations; and -- Benefit industry -- Reduce fleet costs, provide good return-on-investment, minimize wait times, and level the playing field. The WRI Program is defined in three phases which are: Phase 1: Proof of Concept Test (POC) Testing of commercially available off-the-shelf (COTS) or near-COTS technology to validate the wireless inspection concept. Phase 2: Pilot Test Safety technology maturation and back office system integration Phase 3: Field Operational Test Multi-vehicle testing over a multi-state instrumented corridor This report focuses on Phase 1 efforts that were initiated in March, 2006. Technical efforts dealt with the ability of a Universal Wireless Inspection System (UWIS) to collect driver, vehicle, and carrier information; format a Safety Data Message Set from this information; and wirelessly transmit a Safety Data Message Set to a roadside receiver unit or mobile enforcement vehicle.

  17. Direct liquefaction proof-of-concept program. Topical report

    SciTech Connect (OSTI)

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

    1996-12-01T23:59:59.000Z

    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.

  18. S5 3 lacks the fmp (another proof) 1 August 2000

    E-Print Network [OSTI]

    Kurucz, Agi

    S5 3 lacks the fmp (another proof) A. Kurucz 1 August 2000 Abstract We show, using the idea of N#19;emeti [1], that all 3-modal logics between [S5; S5; S5] and S5 3 lack the fmp. Theorem 1. All 3-modal logics between [S5; S5; S5] and S5 3 lack the fmp. Proof. Let #8;(p; d 01 ; d 02 ; d 12

  19. Supplement: Proofs and Technical Details for "The Solution Path of the Generalized Lasso"

    E-Print Network [OSTI]

    Gordon, Geoffrey J.

    . Letting k , we get ^u0 - ^u 0 - , as desired. It is important to note that if DDT is diagonally dominant, in other words (DDT )ii j=i |(DDT )ij| for each i = 1, . . . m, then the proof of the boundary)i - j=i(DDT )ijuj (DDT )ii , but the rest of the proof remains the same, so the boundary lemma still

  20. Mathematical Proofs of Two Conjectures: The Four Color Problem and The Uniquely 4-colorable Planar Graph

    E-Print Network [OSTI]

    Jin Xu

    2012-01-18T23:59:59.000Z

    The famous four color theorem states that for all planar graphs, every vertex can be assigned one of 4 colors such that no two adjacent vertices receive the same color. Since Francis Guthrie first conjectured it in 1852, it is until 1976 with electronic computer that Appel and Haken first gave a proof by finding and verifying 1936 reducible unavoidable sets, and a simplified proof of Robertson, Sanders, Seymour and Thomas in 1997 only involved 633 reducible unavoidable sets, both proofs could not be realized effectively by hand. Until now, finding the reducible unavoidable sets remains the only successful method to use, which came from Kempe's first "proof" of the four color problem in 1879. An alternative method only involving 4 reducible unavoidable sets for proving the four color theorem is used in this paper, which takes form of mathematical proof rather than a computer-assisted proof and proves both the four color conjecture and the uniquely 4-colorable planar graph conjecture by mathematical method.

  1. Appendix A K-means and Fuzzy K-means Clustering 11.1 K-Means Clustering

    E-Print Network [OSTI]

    Bowden, Richard

    199 Appendix A ­ K-means and Fuzzy K-means Clustering 11 11.1 K-Means Clustering Clustering by a gradient descent based iterative algorithm that is known as k-means (or c-means) algorithm or the Generalised Lloyd algorithm {Karayiannis 95]. The k-means algorithm begins with a set of k initial exemplars

  2. PROOF COPY 504409PHF Standing shocks in a rotating channel

    E-Print Network [OSTI]

    Tabak, Esteban G.

    input from wind stress with energy dissipation at shocks. All the energy dissipation must be by means Street, New York, New York 10012 (Received 5 June 2003; accepted 15 June 2004) This paper discusses the stationary shallow water shocks occurring in a reentrant rotating channel with wind stress and topography

  3. An insight on the Proof of Orientifold Planar Equivalence on the Lattice

    E-Print Network [OSTI]

    Agostino Patella

    2006-04-21T23:59:59.000Z

    In a recent paper, Armoni, Shifman and Veneziano (ASV) gave a formal non-perturbative proof of planar equivalence between the bosonic sectors of SU(N) super Yang-Mills theory and of a gauge theory with a massless quark in the antisymmetric two-indexes representation. In the case of three colors, the latter theory is nothing but one-flavor QCD. Numerical simulations are necessary to test the validity of that proof and to estimate the size of 1/N corrections. As a first step towards numerical simulations, I will give a lattice version of the ASV proof of orientifold planar equivalence in the strong-coupling and large-mass phase.

  4. Evaluation and improvement on external-hazard proof of JSFR fuel handling system

    SciTech Connect (OSTI)

    Katoh, A.; Chikazawa, Y. [Japan Atomic Energy Agency, 4002 Narita, O-arai-machi, Ibaraki-ken, 311-1393 (Japan); Uzawa, M. [Mitsubishi FBR Systems Inc. MFBR, 34-17, Jingumae 2-chome, Shibuya-ku, Tokyo 150-0001 (Japan)

    2012-07-01T23:59:59.000Z

    Responding to the the Fukushima Dai-ichi nuclear power plant (1F-NPP) accident, the earthquake and the tsunami proof of the fuel handling system (FHS) in Japan sodium-cooled fast reactor (JSFR) is studied. In the earthquake proof estimation, the margin of seismic resistance against the earthquake of the 1F-envelop condition and the sloshing behavior in the EVST is estimated. In terms of the tsunami proof, the scenario to lead fuel subassemblies into the stable cooling state and the potential of the cooling system is introduced in case of loss of the emergency power supply. As a result, it is clear that JSFR FHS originally could already be prepared to have the potential to prevent the release of radioactive material. (authors)

  5. The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments

    E-Print Network [OSTI]

    Mancarella, P; Sadri, F; Toni, F; Endriss, U

    2009-01-01T23:59:59.000Z

    We present the CIFF proof procedure for abductive logic programming with constraints, and we prove its correctness. CIFF is an extension of the IFF proof procedure for abductive logic programming, relaxing the original restrictions over variable quantification (allowedness conditions) and incorporating a constraint solver to deal with numerical constraints as in constraint logic programming. Finally, we describe the CIFF system, comparing it with state of the art abductive systems and answer set solvers and showing how to use it to program some applications. (To appear in Theory and Practice of Logic Programming - TPLP).

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

    SciTech Connect (OSTI)

    Gross, Robert; Harris, Stephen

    2007-08-01T23:59:59.000Z

    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.

  7. SU-E-J-245: Is Off-Line Adaptive Radiotherapy Sufficient for Head and Neck Cancer with IGRT?

    SciTech Connect (OSTI)

    Li, Z [the 6th People's Hospital of Shanghai Jiaotong University, Shanghai, Shanghai (China); Cleveland Clinic, Cleveland, OH (United States); Shang, Q; Liu, H; Greskovich, J; Koyfman, S; Xia, P [Cleveland Clinic, Cleveland, OH (United States)

    2014-06-01T23:59:59.000Z

    Purpose: Radiation doses delivered to patients with head and neck cancer (HN) may deviate from the planned doses because of variations in patient setup and anatomy. This study was to evaluate whether off-line Adaptive Radiotherapy (ART) is sufficient. Methods: Ten HN patients, who received IMRT under daily imaging guidance using CT-on-rail/KV-CBCT, were randomly selected for this study. For each patient, the daily treatment setup was corrected with translational only directions. Sixty weekly verification CTs were retrospectively analyzed. On these weekly verification CTs, the tumor volumes and OAR contours were manually delineated by a physician. With the treatment iso-center placed on the verification CTs, according to the recorded clinical shifts, the treatment beams from the original IMRT plans were then applied to these CTs to calculate the delivered doses. The electron density of the planning CTs and weekly CTs were overridden to 1 g/cm3. Results: Among 60 fractions, D99 of the CTVs in 4 fractions decreased more than 5% of the planned doses. The maximum dose of the spinal cord exceeded 10% of the planned values in 2 fractions. A close examination indicated that the dose discrepancy in these 6 fractions was due to patient rotations, especially shoulder rotations. After registering these 6 CTs with the planning CT allowing six degree of freedoms, the maximum rotations around 3 axes were > 1.5° for these fractions. With rotation setup errors removed, 4 out of 10 patients still required off-line ART to accommodate anatomical changes. Conclusion: A significant shoulder rotations were observed in 10% fractions, requiring patient re-setup. Off-line ART alone is not sufficient to correct for random variations of patient position, although ART is effective to adapt to patients' gradual anatomic changes. Re-setup or on-line ART may be considered for patients with large deviations detected early by daily IGRT images. The study is supported in part by Siemens Medical Solutions.

  8. K-means on Azure Matthieu Durut

    E-Print Network [OSTI]

    Rossi, Fabrice

    K-means on Azure Matthieu Durut Lokad 70, rue Lemercier, 75018 Paris ­ France matthieu the speedups of a parallel k-means algorithm obtained on up to 200 processing units. 1 Parallel K-means This paper uses the k-means clustering algorithm as a typical example of machine learning methods

  9. 2nd Coq workshop, Edinburgh, Scotland c S. Wilson, J. Fleuriot & A. Smaill Inductive Proof Automation for Coq

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Automation for Coq Sean Wilson Jacques Fleuriot Alan Smaill School of Informatics, The University of Edinburgh {sean.wilson,jacques.fleuriot,a.smaill}@ed.ac.uk We introduce inductive proof automation for Coq support for proofs involving case splits and multiple inductive hypotheses. The automation makes use

  10. Treatise with Reasoning Proof of the First Law of Energy Conservation Forced Interactions of Material Systems and Their Structures

    E-Print Network [OSTI]

    Kostic, Milivoje M.

    Treatise with Reasoning Proof of the First Law of Energy Conservation Forced Interactions The First Law of Energy Conservation, have been traditionally accepted as axiomatic laws that cannot and reasoned the general proof of energy conservation based on the Newton's Laws of motion and energy

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

    E-Print Network [OSTI]

    Liu, K. J. Ray

    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

  12. Density and Flow-Velocity Measurement Technology for Dredging Applications - Proof of Concept Study

    SciTech Connect (OSTI)

    Greenwood, Margaret S.; Tucker, Brian J.; Diaz, Aaron A.

    2004-10-01T23:59:59.000Z

    This technical letter report provides the results of all PNNL managed activities on this project, and contains a description of the data acquisition configuration and testing protocols, results and conclusions from this work. This technical letter report constitutes the final deliverable to be submitted to the client for this proof-of-concept study.

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

    E-Print Network [OSTI]

    Danezis, George

    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

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

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

    E-Print Network [OSTI]

    . FEASIBILITYANALYSISANDFINALEISGREPORT May 2005 CEC-500-2005-090 #12;ENERGY INNOVATIONS SMALL GRANT (EISG) PROGRAM FEASIBILITY ANALYSIS million of which $2.4 million/year is allocated to the Energy Innovation Small Grant (EISG) Program solicitations a year and awards grants up to $75,000 for promising proof-of-concept energy research. PIER

  16. A short proof of the strong normalization of the simply typed -calculus

    E-Print Network [OSTI]

    Nour, Karim

    and by a CPS transformation to the -calculus. The technique we present here can also be used to prove are necessary. This result was proved (see [1]) by using a CPS transformation. We will give a direct proof slightly different from the one in [6], is essentially the same and the two systems are obviously

  17. A short proof of the strong normalization of the simply typed -calculus

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    and by a CPS transformation to the -calculus. The technique we present here can also be used to prove are necessary. This result was proved (see [1]) by using a CPS transformation. We will give a direct proof A B ¬(A B) D1 B This coding, though slightly different from the one in [6], is essentially the same

  18. A short proof of the strong normalization of the simply typed #calculus

    E-Print Network [OSTI]

    David, René

    and by a CPS transformation to the #­calculus. The technique we present here can also be used to prove are necessary. This result was proved (see [1]) by using a CPS transformation. We will give a direct proof], is essentially the same and the two systems are obviously equivalent. ­ Parigot uses two sets of variables

  19. The Nekrasov-Okounkov hook length formula: refinement, elementary proof, extension and applications

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    2008/05/09 The Nekrasov-Okounkov hook length formula: refinement, elementary proof, extension and applications Guo-Niu HAN ABSTRACT. -- The paper is devoted to the derivation of the expan- sion formula function for t-cores. Several applications are derived, including the "marked hook formula". 1

  20. An Abductive Semantics for Disjunctive Logic Programs and its Proof Procedure

    E-Print Network [OSTI]

    Yuan, Li-Yan

    An Abductive Semantics for Disjunctive Logic Programs and its Proof Procedure Jia­Huai You, Li Yan may be viewed as a form of abduction and argumentation, the problem of how disjunctive programs may be used for abductive reasoning is rarely dis­ cussed. In this paper we propose an abductive semantics

  1. Intuitive Proof of Black-Scholes Formula Based on Arbitrage and Properties of Lognormal Distribution

    E-Print Network [OSTI]

    Alexei Krouglov

    2006-12-03T23:59:59.000Z

    Presented is intuitive proof of Black-Scholes formula for European call options, which is based on arbitrage and properties of lognormal distribution. Paper can help students and non-mathematicians to better understand economic concepts behind one of the biggest achievements in modern financial theory.

  2. An alternative proof of Elezovi\\'c-Giordano-Pe\\v{c}ari\\'c's theorem

    E-Print Network [OSTI]

    Qi, Feng

    2009-01-01T23:59:59.000Z

    In the present note, an alternative proof is supplied for Theorem~1 in [N. Elezovi\\'c, C. Giordano and J. Pe\\v{c}ari\\'c, \\textit{The best bounds in Gautschi's inequality}, Math. Inequal. Appl. \\textbf{3} (2000), 239\

  3. A functional-analytic proof of the conformal welding Eric Schippers1 Wolfgang Staubach 2

    E-Print Network [OSTI]

    Schippers, Eric

    A functional-analytic proof of the conformal welding theorem Eric Schippers1 Wolfgang Staubach 2 1 Universitet Uppsala, Sweden CMS Winter Meeting 2012 Eric Schippers (Manitoba) Conformal welding theorem CMS Winter Meeting 2012 1 / 21 #12;Statement of the theorem Conformal welding theorem Definition

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

    E-Print Network [OSTI]

    General No material is "fire proof;" however, proper use and assembly of fire-rated building materials can reduce a fire's spread and extend the amount of time it takes for a home to ignite and burn. (Structural assembly is the process of layering materials when building exterior walls and roof.) Your roof

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

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    task because of the low signal to noise ratio (SNR) due to wind, vibration and own propeller noiseA UAV motor denoising technique to improve localization of surrounding noisy aircrafts: proof on active propulsion using propellers or jets, they emit noise which reveals their presence and position

  6. The Proof: and The approximate and of crude circuits CC(X) and

    E-Print Network [OSTI]

    Lyuu, Yuh-Dauh

    The Proof: and · The approximate and of crude circuits CC(X) and CC(Y) is CC(pluck({Xi Yj : Xi X that the resulting crude circuit has "a lot" of false positives or false negatives. c 2008 Prof. Yuh-Dauh Lyuu, National Taiwan University Page 718 #12;The Final Crude Circuit Lemma 93 Every final crude circuit either

  7. Brunet-Derrida-Simon conjectures Background material Main results Proof overview The genealogy of branching Brownian

    E-Print Network [OSTI]

    Berestycki, Julien

    Brunet-Derrida-Simon conjectures Background material Main results Proof overview The genealogy with constant population size Conjecture 1 : the speed Conjecture 2 : timescale Conjecture 3 : Genealogy 2 Background material So what is the Bolthausen-Sznitman coalescent ? CSBP Genealogy of Neveu's CSBP BBM 3 Main

  8. Relation algebra reducts of cylindric algebras and an application to proof theory

    E-Print Network [OSTI]

    Hodkinson, Ian

    Relation algebra reducts of cylindric algebras and an application to proof theory Robin Hirsch, Ian of cylindric algebras made in 1969 by J. D. Monk, confirm a later conjecture by Maddux about relation algebras obtained from cylindric algebras, and solve a problem raised by Tarski and Givant. These results

  9. On the power of quantum, one round, two prover interactive proof systems

    E-Print Network [OSTI]

    Alex Rapaport; Amnon Ta-Shma

    2007-07-08T23:59:59.000Z

    We analyze quantum two prover one round interactive proof systems, in which noninteracting provers can share unlimited entanglement. The maximum acceptance probability is characterized as a superoperator norm. We get some partial results about the superoperator norm, and in particular we analyze the "rank one" case.

  10. Recursive Composition and Bootstrapping for SNARKs and Proof-Carrying Data

    E-Print Network [OSTI]

    Ben-Sasson, Eli

    Recursive Composition and Bootstrapping for SNARKs and Proof-Carrying Data Nir Bitansky nirbitan@tau.ac.il Tel Aviv University Ran Canetti canetti@tau.ac.il Boston University and Tel Aviv University Alessandro Chiesa alexch@csail.mit.edu MIT Eran Tromer tromer@tau.ac.il Tel Aviv University April 3, 2012 Abstract

  11. A SHORT PROOF OF THE DOOB-MEYER THEOREM MATHIAS BEIGLBOCK, WALTER SCHACHERMAYER, BEZIRGEN VELIYEV

    E-Print Network [OSTI]

    Schachermayer, Walter

    A SHORT PROOF OF THE DOOB-MEYER THEOREM MATHIAS BEIGLB¨OCK, WALTER SCHACHERMAYER, BEZIRGEN VELIYEV Abstract. Every submartingale S of class D has a unique Doob-Meyer de- composition S = M + A, where M of the Doob-Meyer decomposition theorem. Several previously known arguments are included to keep the paper

  12. Automated Proofs for Some Stirling Number Identities Manuel Kauers # and Carsten Schneider +

    E-Print Network [OSTI]

    Schneider, Carsten

    Automated Proofs for Some Stirling Number Identities Manuel Kauers # and Carsten Schneider­)Eulerian numbers that were obtained by combining a recent summation algorithm for Stirling number identities)S(n, k) where h(m, n, k) is a hypergeometric term and S(n, k) are, e.g., Stirling numbers or Eule­ rian

  13. Environmental Science & Policy 7 (2004) 369383 Science and public policy: what's proof

    E-Print Network [OSTI]

    Callender, Craig

    2004-01-01T23:59:59.000Z

    Environmental Science & Policy 7 (2004) 369­383 Science and public policy: what's proof got to do the effects of our choices. © 2004 Elsevier Ltd. All rights reserved. Keywords: Environmental policy; Science for opponents of environmental action to argue that the scientific basis for purported harms is uncertain

  14. Proof-of-principle experiments of laser Wakefield acceleration

    SciTech Connect (OSTI)

    Nakajima, K.; Kawakubo, T.; Nakanishi, H. [National Lab. for Higher Energy Physics, Ibaraki (Japan)] [and others

    1994-04-01T23:59:59.000Z

    Recently there has been a great interest in laser-plasma accelerators as possible next-generation particle accelerators because of their potential for ultra high accelerating gradients and compact size compared with conventional accelerators. It is known that the laser pulse is capable of exciting a plasma wave propagating at a phase velocity close to the velocity of light by means of beating two-frequency lasers or an ultra short laser pulse. These schemes came to be known as the Beat Wave Accelerator (BWA) for beating lasers or as the Laser Wakefield Accelerator (LWFA) for a short pulse laser. In this paper, the principle of laser wakefield particle acceleration has been tested by the Nd:glass laser system providing a short pulse with a power of 10 TW and a duration of 1 ps. Electrons accelerated up to 18 MeV/c have been observed by injecting 1 MeV/c electrons emitted from a solid target by an intense laser impact. The accelerating field gradient of 30 GeV/m is inferred.

  15. Generalized Tsirelson Inequalities, Commuting-Operator Provers, and Multi-Prover Interactive Proof Systems

    E-Print Network [OSTI]

    Tsuyoshi Ito; Hirotada Kobayashi; Daniel Preda; Xiaoming Sun; Andrew C. -C. Yao

    2008-04-11T23:59:59.000Z

    A central question in quantum information theory and computational complexity is how powerful nonlocal strategies are in cooperative games with imperfect information, such as multi-prover interactive proof systems. This paper develops a new method for proving limits of nonlocal strategies that make use of prior entanglement among players (or, provers, in the terminology of multi-prover interactive proofs). Instead of proving the limits for usual isolated provers who initially share entanglement, this paper proves the limits for "commuting-operator provers", who share private space, but can apply only such operators that are commutative with any operator applied by other provers. Commuting-operator provers are at least as powerful as usual isolated but prior-entangled provers, and thus, limits for commuting-operator provers immediately give limits for usual entangled provers. Using this method, we obtain an n-party generalization of the Tsirelson bound for the Clauser-Horne- Shimony-Holt inequality for every n. Our bounds are tight in the sense that, in every n-party case, the equality is achievable by a usual nonlocal strategy with prior entanglement. We also apply our method to a 3-prover 1-round binary interactive proof for NEXP. Combined with the technique developed by Kempe, Kobayashi, Matsumoto, Toner and Vidick to analyze the soundness of the proof system, it is proved to be NP-hard to distinguish whether the entangled value of a 3-prover 1-round binary-answer game is equal to 1 or at most 1-1/p(n) for some polynomial p, where n is the number of questions. This is in contrast to the 2-prover 1-round binary-answer case, where the corresponding problem is efficiently decidable. Alternatively, NEXP has a 3-prover 1-round binary interactive proof system with perfect completeness and soundness 1-2^{-poly}.

  16. Is protostellar heating sufficient to halt fragmentation? A case study of the massive protocluster G8.68-0.37

    E-Print Network [OSTI]

    Longmore, Steven N; Keto, Eric; Zhang, Qizhou; Qiu, Keping

    2010-01-01T23:59:59.000Z

    If star formation proceeds by thermal fragmentation and the subsequent gravitational collapse of the individual fragments, how is it possible to form fragments massive enough for O and B stars in a typical star-forming molecular cloud where the Jeans mass is about 1Msun at the typical densities (10^4 cm^-3) and temperatures (10K)? We test the hypothesis that a first generation of low-mass stars may heat the gas enough that subsequent thermal fragmentation results in fragments >=10Msun, sufficient to form B stars. We combine ATCA and SMA observations of the massive star-forming region G8.68-0.37 with radiative transfer modeling to derive the present-day conditions in the region and use this to infer the conditions in the past, at the time of core formation. Assuming the current mass/separation of the observed cores equals the fragmentation Jeans mass/length and the region's average density has not changed, requires the gas temperature to have been 100K at the time of fragmentation. The postulated first-generat...

  17. Accepted Manuscript Comment on "Ccl2, Cx3cr1 and Ccl2/Cx3cr1 chemokine deficiencies are not sufficient

    E-Print Network [OSTI]

    Boyer, Edmond

    Accepted Manuscript Comment on "Ccl2, Cx3cr1 and Ccl2/Cx3cr1 chemokine deficiencies on "Ccl2, Cx3cr1 and Ccl2/Cx3cr1 chemokine deficiencies are not sufficient to cause age- related retinal on "Ccl2, Cx3cr1 and Ccl2/Cx3cr1 chemokine deficiencies are not sufficient to cause age- related retinal

  18. Structure of Termination Proofs Goal of the Termination Tactic Algorithm of the Termination Tactic Mutual recursion Finding Lexicographic Orders for Termination

    E-Print Network [OSTI]

    Cengarle, María Victoria

    Structure of Termination Proofs Goal of the Termination Tactic Algorithm of the Termination Tactic Mutual recursion Finding Lexicographic Orders for Termination Proofs Lukas Bulwahn Fakult¨at f¨ur Informatik Technische Universit¨at M¨unchen February 16th, 2007 1 / 23 #12;Structure of Termination Proofs

  19. The role of literal meaning in metaphor

    E-Print Network [OSTI]

    Coleman, Martin Allen

    1996-01-01T23:59:59.000Z

    Examining literal meaning and the role it plays in the explanation of metaphor shows that the concept of meaning by itself is not powerful enough to answer questions about using and comprehending metaphorical utterances. A full theory...

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

    SciTech Connect (OSTI)

    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

    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.

  1. A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses M. Armand1 , G. Faure2 , B.Faure,Chantal.Keller,Benjamin.Werner}@inria.fr Abstract We present a way to enjoy the power of SAT and SMT provers in Coq without compromising soundness witnesses from the SAT solver ZChaff and from the SMT solver veriT. Experiments highlight the efficiency

  2. Math 290 -Class Activity Assignment 14 1. Write formal proofs of each of the following using PMI.

    E-Print Network [OSTI]

    Singman, David

    using PMI. (a) For all n N, 6 n i=0 7i = 7n+1 - 1. In your proof, make use of the inductive definition = 7n+1 - 1 . We prove that S = N using PMI. (i) (Basis step) Since 6 1 i=0 7i = 6(1 + 7) = 48 = 72 - 1) - 1 = 7n+2 - 1, which proves that n + 1 S. Thus by PMI, S = N. (b) Proof. Define the set S by S = {n

  3. Continuous Time Finite State Mean Field Games

    SciTech Connect (OSTI)

    Gomes, Diogo A., E-mail: dgomes@math.ist.utl.pt [Instituto Superior Tecnico, Center for Mathematical Analysis, Geometry, and Dynamical Systems, Departamento de Matematica (Portugal); Mohr, Joana, E-mail: joana.mohr@ufrgs.br; Souza, Rafael Rigao, E-mail: rafars@mat.ufrgs.br [UFRGS, Instituto de Matematica (Brazil)

    2013-08-01T23:59:59.000Z

    In this paper we consider symmetric games where a large number of players can be in any one of d states. We derive a limiting mean field model and characterize its main properties. This mean field limit is a system of coupled ordinary differential equations with initial-terminal data. For this mean field problem we prove a trend to equilibrium theorem, that is convergence, in an appropriate limit, to stationary solutions. Then we study an N+1-player problem, which the mean field model attempts to approximate. Our main result is the convergence as N{yields}{infinity} of the mean field model and an estimate of the rate of convergence. We end the paper with some further examples for potential mean field games.

  4. Scalable k-means statistics with Titan.

    SciTech Connect (OSTI)

    Thompson, David C.; Bennett, Janine C.; Pebay, Philippe Pierre

    2009-11-01T23:59:59.000Z

    This report summarizes existing statistical engines in VTK/Titan and presents both the serial and parallel k-means statistics engines. It is a sequel to [PT08], [BPRT09], and [PT09] which studied the parallel descriptive, correlative, multi-correlative, principal component analysis, and contingency engines. The ease of use of the new parallel k-means engine is illustrated by the means of C++ code snippets and algorithm verification is provided. This report justifies the design of the statistics engines with parallel scalability in mind, and provides scalability and speed-up analysis results for the k-means engine.

  5. Study of relaxation and transport processes by means of AFM based dielectric spectroscopy

    SciTech Connect (OSTI)

    Miccio, Luis A. [Centro de Física de Materiales CSIC-UPV/EHU, P. M. de Lardizabal 5, 20018 San Sebastian, Spain and Departamento de Física de Materiales UPV/EHU, Fac. de Química, 20080 San Sebastian (Spain); Schwartz, Gustavo A. [Centro de Física de Materiales CSIC-UPV/EHU, P. M. de Lardizabal 5, 20018 San Sebastian, Spain and Donostia International Physics Center, Paseo Manuel de Lardizabal 4, 20018 San Sebastian (Spain)

    2014-05-15T23:59:59.000Z

    Since its birth a few years ago, dielectric spectroscopy studies based on atomic force microscopy (AFM) have gained a growing interest. Not only the frequency and temperature ranges have become broader since then but also the kind of processes that can be studied by means of this approach. In this work we analyze the most adequate experimental setup for the study of several dielectric processes with a spatial resolution of a few nanometers by using force mode AFM based dielectric spectroscopy. Proof of concept experiments were performed on PS/PVAc blends and PMMA homopolymer films, for temperatures ranging from 300 to 400 K. Charge transport processes were also studied by this approach. The obtained results were analyzed in terms of cantilever stray contribution, film thickness and relaxation strength. We found that the method sensitivity is strongly coupled with the film thickness and the relaxation strength, and that it is possible to control it by using an adequate experimental setup.

  6. Noisy k-means The algorithm of noisy k-means

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Noisy k-means The algorithm of noisy k-means Camille Brunet camille.brunet@univ-angers.fr LAREMA-step procedure: (1) a deconvolution step to deal with noisy inputs and (2) Newton's iterations as the popular k-means. Keywords: Clustering, Deconvolution, Lloyd algorithm, Fast Fourier Transform, Noisy k-means. 1

  7. UNCORRECTED PROOF

    E-Print Network [OSTI]

    2007-08-04T23:59:59.000Z

    Please cite this article in press as: P.-Q. Pan, A primal deficient-basis simplex algorithm ..., Appl. Math. Comput. (2007), doi:10.1016/j.amc.2007.07.030 ...

  8. UNCORRECTED PROOF

    E-Print Network [OSTI]

    2000-12-14T23:59:59.000Z

    bSobolev Institute of Mathematics, Novosibirsk-90 630090, Russia ... 1 Supported by the Russian Foundation for Fundamental Research (Grant 99-01-

  9. UNCORRECTED PROOF

    E-Print Network [OSTI]

    2000-12-12T23:59:59.000Z

    aNovosibirsk State University, Novosibirsk 630090, Russia. bFaculty ... 2 Supported by the Russian Foundation for Fundamental Research (Grant 99-01-

  10. UNCORRECTED PROOF

    E-Print Network [OSTI]

    2004-04-30T23:59:59.000Z

    P. Shebalina, A. Gabrielovc, D. Turcotted. 4 a International Institute for Earthquake Prediction Theory and Mathematical Geophysics, Russian Academy Science,.

  11. Mean Width of a Regular Simplex

    E-Print Network [OSTI]

    Finch, Steven R

    2011-01-01T23:59:59.000Z

    The mean width is a measure on n-dimensional convex bodies. An integral formula for the mean width of a regular n-simplex appeared in the electrical engineering literature in 1997. As a consequence, expressions for the expected range of a sample of n+1 normally distributed variables, for ninfty.

  12. Purging the Task Pump on the 800 Cold Probe Occasionally the task pump in the 800 cryobay will not pull a sufficient

    E-Print Network [OSTI]

    Oliver, Douglas L.

    Purging the Task Pump on the 800 Cold Probe Occasionally the task pump in the 800 cryobay will not pull a sufficient vacuum to start the cold probe. When this happens the pump may need to have a N2 panels off the cryobay and place somewhere safe · Make sure the task pump is off. If it is still running

  13. "Actuation at a distance" of microelectromechanical systems using photoelectrowetting: proof-of-concept

    E-Print Network [OSTI]

    Gaudet, Matthieu

    2012-01-01T23:59:59.000Z

    We demonstrate here a proof-of-concept experiment that microelectromechanical systems (MEMS) can be actuated using photoelectrowetting. In order to demonstrate this, a 30 \\mu m thick aluminum cantilever is actuated using an ordinary white light source. A deflection of 56 \\mu m is observed using a light irradiance equal to \\approx 1000 W m-2 at a bias of 7 V. The deflection of the cantilever relies on the recently observed photoelectrowetting effect [Sci. Rep.1, 184 (2011)]. Such "actuation at a distance" could be useful for optical addressing and control of autonomous wireless sensors, MEMS and microsystems.

  14. Using Novel Image-based Interactional Proofs and Source Randomization for Prevention of Web Bots

    E-Print Network [OSTI]

    Shardul Vikram

    2012-02-14T23:59:59.000Z

    to k and n. Attack using the static image name in source: If the source code of the HTML page hosting the challenge uses image names, an attacker could potentially use those names to identify similar images. However, this sort of attack is easily...USING NOVEL IMAGE-BASED INTERACTIONAL PROOFS AND SOURCE RANDOMIZATION FOR PREVENTION OF WEB BOTS A Thesis by SHARDUL VIKRAM Submitted to the Office of Graduate Studies of Texas A&M University in partial fulfillment of the requirements...

  15. Supply Chain Based Solution to Prevent Fuel Tax Evasion: Proof of Concept Final Report

    SciTech Connect (OSTI)

    Capps, Gary J [ORNL; Lascurain, Mary Beth [ORNL; Franzese, Oscar [ORNL; Earl, Dennis Duncan [ORNL; West, David L [ORNL; McIntyre, Timothy J [ORNL; Chin, Shih-Miao [ORNL; Hwang, Ho-Ling [ORNL; Connatser, Raynella M [ORNL; Lewis Sr, Samuel Arthur [ORNL; Moore, Sheila A [ORNL

    2011-12-01T23:59:59.000Z

    The goal of this research was to provide a proof-of-concept (POC) system for preventing non-taxable (non-highway diesel use) or low-taxable (jet fuel) petrochemical products from being blended with taxable fuel products and preventing taxable fuel products from cross-jurisdiction evasion. The research worked to fill the need to validate the legitimacy of individual loads, offloads, and movements by integrating and validating, on a near-real-time basis, information from global positioning system (GPS), valve sensors, level sensors, and fuel-marker sensors.

  16. The True-Twin microcalorimeter: a proof-of-concept experiment

    E-Print Network [OSTI]

    Luca Oberto; Luciano Brunetti; Marco Sellone

    2011-05-02T23:59:59.000Z

    We present a proof-of-concept experiment to realize microwave primary power standard with a true-twin microcalorimeter. Double feeding line microcalorimeters are widely used by National Metrology Institutes. A drawback concerns the system calibration: traditional processes changes measurement conditions between system characterization and the measurement stage. Nevertheless, if the feeding lines are made twin, a measurement scheme that avoids separate characterization can be applied, equations simplify and time consumption is halved. Here we demonstrates the feasibility of the idea. The result of an effective efficiency spectroscopy of a thermoelectric power sensor is compared with figures obtained with well established methods.

  17. I.C. 42-217 - Proof of Application (of Water) to Beneficial Use | Open

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page onYou are now leaving Energy.gov You are now leaving Energy.gov You are8COaBulkTransmissionSitingProcess.pdfGetecGtel JumpCounty, Texas: EnergyHy9Moat ofEnergy Information Proof of

  18. Utah Full Proof of Beneficial Use of Water | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page onYou are now leaving Energy.gov You are now leaving Energy.gov YouKizildere IRaghuraji Agro IndustriesTown of Ladoga,planning methodologies and tools |UC 54-2Full Proof of Beneficial Use

  19. Utah Proof of Beneficial Use of Water Application | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page onYou are now leaving Energy.gov You are now leaving Energy.gov YouKizildere IRaghuraji Agro IndustriesTown of Ladoga,planning methodologies and tools |UC 54-2Full Proof ofUtahOffice

  20. Perspective unconventional means for nuclear reactor control

    SciTech Connect (OSTI)

    Ionaitis, R.R.

    1993-12-31T23:59:59.000Z

    The concept of reliable shutdown of nuclear reactors demands application of engineering control means on the basis of principles, safety, safe failure, redundancy, independence, variety, defence in depth, and intrinsical safety. This report describes application of control methods.

  1. The Meaning of Cell Genealogy The meaning of stem The meaning of Zygote, Mitotic ages and Genome Data Methods Applica Somatic Cell Genealogies and Differentiation

    E-Print Network [OSTI]

    Goldschmidt, Christina

    The Meaning of Cell Genealogy The meaning of stem The meaning of Zygote, Mitotic ages and Genome Data Methods Applica Somatic Cell Genealogies and Differentiation Olina Geofrey Martijn African Institute for Mathematical Sciences 2008 #12;The Meaning of Cell Genealogy The meaning of stem The meaning

  2. The driven overdamped mean field model Non-eq. free energies for the mean field model

    E-Print Network [OSTI]

    Dauxois, Thierry

    The driven overdamped mean field model Non-eq. free energies for the mean field model Large deviations for turbulent flows Non-Equilibrium Free Energies for Particle Systems and Turbulent Flows F Treilles. F. Bouchet ENSL-CNRS Non-Equilibrium Free Energies #12;The driven overdamped mean field model Non

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

    SciTech Connect (OSTI)

    NONE

    1998-05-21T23:59:59.000Z

    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.

  4. Beyond the mean field in the particle-vibration coupling scheme

    E-Print Network [OSTI]

    Baldo, M; Colo', G; Rizzo, D; Sciacchitano, L

    2015-01-01T23:59:59.000Z

    The Energy Density Functional theory is one of the most used methods developed in nuclear structure. It is based on the assumption that the energy of the ground state is a functional only of the density profile. The method is extremely successful within the effective force approach, noticeably the Skyrme or Gogny forces, in reproducing the nuclear binding energies and other bulk properties along the whole mass table. Although the Density Functional is in this case represented formally as the Hartree-Fock mean field of an effective force, the corresponding single-particle states in general do not reproduce the phenomenology particularly well. To overcome this difficulty, a strategy has been developed where the effective force is adjusted to reproduce directly the single particle energies, trying to keep the ground state energy sufficiently well reproduced. An alternative route, that has been developed along several years, for solving this problem is to introduce the mean field fluctuations, as represented by t...

  5. Attacks exploiting deviation of mean photon number in quantum key distribution and coin tossing

    E-Print Network [OSTI]

    Shihan Sajeed; Igor Radchenko; Sarah Kaiser; Jean-Philippe Bourgoin; Anna Pappa; Laurent Monat; Matthieu Legre; Vadim Makarov

    2015-03-30T23:59:59.000Z

    The security of quantum communication using a weak coherent source requires an accurate knowledge of the source's mean photon number. Finite calibration precision or an active manipulation by an attacker may cause the actual emitted photon number to deviate from the known value. We model effects of this deviation on the security of three quantum communication protocols: the Bennett-Brassard 1984 (BB84) quantum key distribution (QKD) protocol without decoy states, Scarani-Acin-Ribordy-Gisin 2004 (SARG04) QKD protocol, and a coin-tossing protocol. For QKD, we model both a strong attack using technology possible in principle, and a realistic attack bounded by today's technology. To maintain the mean photon number in two-way systems, such as plug-and-play and relativistic quantum cryptography schemes, bright pulse energy incoming from the communication channel must be monitored. Implementation of a monitoring detector has largely been ignored so far, except for ID Quantique's commercial QKD system Clavis2. We scrutinize this implementation for security problems, and show that designing a hack-proof pulse-energy-measuring detector is far from trivial. Indeed the first implementation has three serious flaws confirmed experimentally, each of which may be exploited in a cleverly constructed Trojan-horse attack. We discuss requirements for a loophole-free implementation of the monitoring detector.

  6. An Explanation for Beta's Mean-reversion

    E-Print Network [OSTI]

    Bodkin, Connor Matthew

    2013-09-26T23:59:59.000Z

    -reversion in beta values. They find that 26 companies do not have a constant beta and that 14 of the non-constant betas are mean reverting. Their model is the modified Kalman filter that Harvey et al. (1992) developed. De Bondt and Thaler’s paper finds...

  7. SURGEURGEAnd Move Planning Manual WHAT IT MEANS

    E-Print Network [OSTI]

    Doudna, Jennifer A.

    SURGEURGEAnd Move Planning Manual A GUIDE ON WHAT IT MEANS TO SURGE, HOW LONG IT WILL TAKE AND THE BEST WAY TO GET THROUGH IT Produced by: University of California, Berkeley Capital Projects #12 Manual describes the surge planning process and provides an overview of roles and responsibilities

  8. The mean molecular mass of Titan's atmosphere

    E-Print Network [OSTI]

    Withers, Paul

    , Mars, Mars #12;Science Questions · Mean molecular mass (µ) -> Chemical composition · How did Titan form? · Current reservoirs of volatiles · Ethane/methane puddles/ocean · Thermal structure of atmosphere #12, delicate, etc ­ T/p sensors are simple, cheap, reliable · Is it possible to know µ based on simple

  9. REPORTED JOB SATISFACTION: WHAT DOES IT MEAN?

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    1 REPORTED JOB SATISFACTION: WHAT DOES IT MEAN? Louis Lévy-Garboua TEAM (CNRS), University of Paris or regret, i.e. the difference between what happened and what might have happened, on job satisfaction. The main prediction that we test is that job satisfaction correlates with the wage gaps experienced

  10. Fixpoint & Proof-theoretic Semantics for CLP with Qualification and Proximity

    E-Print Network [OSTI]

    Rodríguez-Artalejo, Mario

    2010-01-01T23:59:59.000Z

    Uncertainty in Logic Programming has been investigated during the last decades, dealing with various extensions of the classical LP paradigm and different applications. Existing proposals rely on different approaches, such as clause annotations based on uncertain truth values, qualification values as a generalization of uncertain truth values, and unification based on proximity relations. On the other hand, the CLP scheme has established itself as a powerful extension of LP that supports efficient computation over specialized domains while keeping a clean declarative semantics. In this report we propose a new scheme SQCLP designed as an extension of CLP that supports qualification values and proximity relations. We show that several previous proposals can be viewed as particular cases of the new scheme, obtained by partial instantiation. We present a declarative semantics for SQCLP that is based on observables, providing fixpoint and proof-theoretical characterizations of least program models as well as an im...

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

    SciTech Connect (OSTI)

    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

    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.

  12. Proof-of concept testing of the advanced NOXSO flue gas cleanup process. Final report

    SciTech Connect (OSTI)

    Not Available

    1993-04-01T23:59:59.000Z

    The NOXSO Process uses a regenerable sorbent that removes SO{sub 2} and NO{sub x} simultaneously from flue gas. The sorbent is a stabilized {gamma}-alumina bed impregnated with sodium carbonate. The process was successfully tested at three different scales, equivalent to 0.017, 0.06 and 0.75 MW of flue gas generated from a coal-fired power plant. The Proof-of-Concept (POC) Test is the last test prior to a full-scale demonstration. A slip stream of flue gas equivalent to a 5 MW coal-fired power plant was used for the POC test. This paper summarizes the NOXSO POC plant and its test results.

  13. Development and proof-testing of advanced absorption refrigeration cycle concepts

    SciTech Connect (OSTI)

    Modahl, R.J.; Hayes, F.C. (Trane Co., La Crosse, WI (United States). Applied Unitary/Refrigeration Systems Div.)

    1992-03-01T23:59:59.000Z

    The overall objectives of this project are to evaluate, develop, and proof-test advanced absorption refrigeration cycles that are applicable to residential and commercial heat pumps for space conditioning. The heat pump system is to be direct-fired with natural gas and is to use absorption working fluids whose properties are known. Target coefficients of performance (COPs) are 1.6 at 47{degrees}F and 1.2 at 17{degrees} in the heating mode, and 0.7 at 95{degree}F in the cooling mode, including the effect of flue losses. The project is divided into three phases. Phase I entailed the analytical evaluation of advanced cycles and included the selection of preferred concepts for further development. Phase II involves the development and testing of critical components and of a complete laboratory breadboard version of the selected system. Phase III calls for the development of a prototype unit and is contingent on the successful completion of Phase II. This report covers Phase I work on the project. In Phase 1, 24 advanced absorption cycle/fluid combinations were evaluated, and computer models were developed to predict system performance. COP, theoretical pump power, and internal heat exchange were calculated for each system, and these calculations were used as indicators of operating and installed costs in order to rank the relative promise of each system. The highest ranking systems involve the cycle concept of absorber/generator heat exchange, generator heat exchanger/absorber heat exchange, regeneration, and resorption/desorption, in combination with the NH{sub 3}/H{sub 2}O/LiBr ternary absorption fluid mixture or with the NH{sub 3}/H{sub 2}O binary solution. Based upon these conclusions, the recommendation was made to proceed to Phase II, the laboratory breadboard proof-of- concept.

  14. SUFFICIENT WEIGHTED COMPLEMENTARITY PROBLEMS 1 ...

    E-Print Network [OSTI]

    2014-10-02T23:59:59.000Z

    Ann. Math. Statist., 30:165–168, 1959. [8] R. M. Freund. Projective transformations for interior-point algorithms, and a superlinearly convergent algorithm for the ...

  15. Illumination Sufficiency Survey Techniques: In-situ Measurements of Lighting System Performance and a User Preference Survey for Illuminance in an Off-Grid, African Setting

    SciTech Connect (OSTI)

    Alstone, Peter; Jacobson, Arne; Mills, Evan

    2010-08-26T23:59:59.000Z

    Efforts to promote rechargeable electric lighting as a replacement for fuel-based light sources in developing countries are typically predicated on the notion that lighting service levels can be maintained or improved while reducing the costs and environmental impacts of existing practices. However, the extremely low incomes of those who depend on fuel-based lighting create a need to balance the hypothetically possible or desirable levels of light with those that are sufficient and affordable. In a pilot study of four night vendors in Kenya, we document a field technique we developed to simultaneously measure the effectiveness of lighting service provided by a lighting system and conduct a survey of lighting service demand by end-users. We took gridded illuminance measurements across each vendor's working and selling area, with users indicating the sufficiency of light at each point. User light sources included a mix of kerosene-fueled hurricane lanterns, pressure lamps, and LED lanterns.We observed illuminance levels ranging from just above zero to 150 lux. The LED systems markedly improved the lighting service levels over those provided by kerosene-fueled hurricane lanterns. Users reported that the minimum acceptable threshold was about 2 lux. The results also indicated that the LED lamps in use by the subjects did not always provide sufficient illumination over the desired retail areas. Our sample size is much too small, however, to reach any conclusions about requirements in the broader population. Given the small number of subjects and very specific type of user, our results should be regarded as indicative rather than conclusive. We recommend replicating the method at larger scales and across a variety of user types and contexts. Policymakers should revisit the subject of recommended illuminance levels regularly as LED technology advances and the price/service balance point evolves.

  16. No material is "fire proof." However, the proper use and assembly of fire-rated building materials

    E-Print Network [OSTI]

    General No material is "fire proof." However, the proper use and assembly of fire-rated building materials can reduce a fire's spread and lengthen the amount of time it takes for a home to ignite and burn. Structural assembly is the process of layering materials when building exterior walls and roof. Your home

  17. No material is "fire proof." However, the proper use and assembly of fire-rated building materials

    E-Print Network [OSTI]

    General No material is "fire proof." However, the proper use and assembly of fire-rated building materials can reduce a fire's spread, and extend the amount of time it takes for a home to ignite and burn your home. However, radiant energy can eventually ignite materials behind the window even with glass

  18. Though no material is "fire proof," the proper use and assembly of fire-rated building materials

    E-Print Network [OSTI]

    General Though no material is "fire proof," the proper use and assembly of fire-rated building materials can reduce a fire's spread, and lengthen the amount of time it takes for a home to ignite and burn. Structural assembly is the layering of building materials. Decks are a very popular, well-used feature

  19. A Proof of Concept Implementation of SSL/TLS Session-Aware User Authentication (TLS-SA)

    E-Print Network [OSTI]

    Basin, David

    A Proof of Concept Implementation of SSL/TLS Session-Aware User Authentication (TLS-SA) Rolf, CH-8005 Z¨urich Abstract Most SSL/TLS-based e-commerce applications employ con- ventional mechanisms for user authentication. These mechanisms--if de- coupled from SSL/TLS session establishment

  20. MasterProof The Proton-Driven Rotor of ATP Synthase: Ohmic Conductance (10 fS),

    E-Print Network [OSTI]

    Steinhoff, Heinz-Jürgen

    MasterProof The Proton-Driven Rotor of ATP Synthase: Ohmic Conductance (10 fS), and Absence ABSTRACT The membrane portion of F0F1-ATP synthase, F0, translocates protons by a rotary mechanism. Proton conduction by F0 was studied in chromatophores of the photosynthetic bacterium Rhodobacter capsulatus

  1. Proof of concept of a zinc-silver battery for the extraction of energy from a concentration difference.

    E-Print Network [OSTI]

    Carati, Andrea

    solution. The cyclic operation allows us to extract a surplus of energy, at the expense of the free energyProof of concept of a zinc-silver battery for the extraction of energy from a concentration power (SGP) is the production of renewable and clean power from naturally available water reservoirs

  2. Means and method for vapor generation

    DOE Patents [OSTI]

    Carlson, Larry W. (Oswego, IL)

    1984-01-01T23:59:59.000Z

    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.

  3. Construction What Does it Mean To Me?What Does it Mean To Me?

    E-Print Network [OSTI]

    Wechsler, Risa H.

    The LCLS Construction Project: What Does it Mean To Me?What Does it Mean To Me? #12;Construction Site Interstate 280 SLAC Front Gate Construction Traffic 0 100 200 VehiclesperDay Months During Construction 2006-2008 LCLS Construction Traffic Cars Trucks 300 Sept.-N ov. D ec.-Feb.M arch-M ay June-O ct. N

  4. Technical Basis for the Determination that Current Characterization Data and Processes are Sufficient to Ensure Safe Storage and to Design Waste Disposal

    SciTech Connect (OSTI)

    SIMPSON, B.C.

    1999-08-12T23:59:59.000Z

    This document presents the technical basis for closure of Defense Nuclear Facilities Safety Board (DNFSB) Recommendation 93-5 Implementation Plan milestone 5.6.3.13, ''Core sample all tanks by 2002'' (DOE-RL 1996). The milestone was based on the need for characterization data to ensure safe storage of the waste, to operate the tanks safely, and to plan and implement retrieval and processing of the waste. Sufficient tank characterization data have been obtained to ensure that existing controls are adequate for safe storage of the waste in the 177 waste tanks at the Hanford Site. In addition, a process has been developed, executed, and institutionalized to systemically identify information needs, to integrate and prioritize the needs, and to reliably obtain and analyze the associated samples. This document provides a technical case that the remaining 45 incompletely sampled tanks no longer require sampling to support the intent of the Implementation Plan milestone. Sufficient data have been obtained to close the Unreviewed Safety Questions (USQs), and to ensure that existing hazard controls are adequate and appropriately applied. However, in the future, additional characterization of tanks at the site will be required to support identified information needs. Closure of this milestone allows sampling and analytical data to be obtained in a manner that is consistent with the integrated priority process.

  5. Security proof for cryptographic protocols based only on the monogamy of Bell's inequality violations

    E-Print Network [OSTI]

    Marcin Pawlowski

    2010-09-21T23:59:59.000Z

    We show that monogamy of Bell's inequality violations, which is strictly weaker condition than no-signaling is enough to prove security of quantum key distribution. We derive our results for a whole class of monogamy constraints and generalize our results to any theory that communicating parties may have access to. Some of these theories do not respect no-signaling principle yet still allow for secure communication. This proves that no-signaling is only a sufficient condition for the possibility of secure communication, but not the necessary one. We also present some new qualitative results concerning the security of existing quantum key distribution protocols.

  6. Hierarchical k-Means for Unsupervised Learning Harry Gifford

    E-Print Network [OSTI]

    Treuille, Adrien

    Hierarchical k-Means for Unsupervised Learning Harry Gifford Carnegie Mellon University Abstract In this paper we investigate how to accelerate k-means based unsupervised learning algorithms with hierar- chical k-means. We show that hierarchical k-means significantly speeds up k-means based learning

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

    SciTech Connect (OSTI)

    Xuan Shi, Dali Wang

    2014-05-05T23:59:59.000Z

    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

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

    DOE Data Explorer [Office of Scientific and Technical Information (OSTI)]

    Xuan Shi, Dali Wang

    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

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

    Patzek, Tadeusz W.

    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

  10. Fast k-means algorithm clustering

    E-Print Network [OSTI]

    Salman, Raied; Li, Qi; Strack, Robert; Test, Erik

    2011-01-01T23:59:59.000Z

    k-means has recently been recognized as one of the best algorithms for clustering unsupervised data. Since k-means depends mainly on distance calculation between all data points and the centers, the time cost will be high when the size of the dataset is large (for example more than 500millions of points). We propose a two stage algorithm to reduce the time cost of distance calculation for huge datasets. The first stage is a fast distance calculation using only a small portion of the data to produce the best possible location of the centers. The second stage is a slow distance calculation in which the initial centers used are taken from the first stage. The fast and slow stages represent the speed of the movement of the centers. In the slow stage, the whole dataset can be used to get the exact location of the centers. The time cost of the distance calculation for the fast stage is very low due to the small size of the training data chosen. The time cost of the distance calculation for the slow stage is also mi...

  11. Status of proof-of-principle experiment for coherent electron cooling

    SciTech Connect (OSTI)

    Pinayev I.; Belomestnykh, S.; Bengtsson, J.; Ben-Zvi, I.; Elizarov, A. et al

    2012-05-20T23:59:59.000Z

    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. We use a dogleg to merge the electron and ion beams. The ions 'imprint' their distribution into the electron beam via a space charge density modulation. The modulation is amplified in an FEL comprised of a 7-m long helical wiggler. The ions are co-propagating with electron beam through the FEL. The ion's average velocity is matched to the group velocity of the wave-packet of e-beam density modulation in the FEL. A three-pole wiggler at the exit of the FEL tune the phase of the wave-packet so the ion with the central energy experience the maximum of the e-beam density modulation, where electric field is zero. The time-of-flight dependence on ion's provides for the electrical field caused by the density modulation to reduce energy spread of the ion beam. The used electron beam is bent off the ion path and damped.

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

    SciTech Connect (OSTI)

    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

    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.

  13. Desulfurization of flue gas by the confined zone dispersion process - Proof-of-concept tests

    SciTech Connect (OSTI)

    Abrams, J.Z.; Blake, J.H.; Pennline, H.W.

    1986-01-01T23:59:59.000Z

    As part of a program to develop more cost-effective approaches to the control of acid rain precursors, the Department of Energy (DOE) is supporting proof-of-concept tests of the Confined Zone Dispersion (CZD) process proposed by Bechtel. This process removes SO/sub 2/ from flue gas by injecting a finely atomized slurry of highly reactive pressure hydrated dolomitic lime into the duct of a utility boiler. A slipstream of flue gas at 300/sup 0/F will be withdrawn from the plant ductwork and will pass through a 130-ft run of 3-ft diameter test duct. A two-fluid atomizer will inject the lime slurry into the upstream end of the test duct. A pilot scale electrostatic precipitator (ESP) will remove reaction products and fly ash before the gas is discharged back into the utility's ESP. An 11-month test program will optimize controllable variables, acquire design data, and demonstrate reliability by a long duration run. Measurements taken will include SO/sub 2/ removal, lime utilization, ESP performance, and characterization of waste solids.

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

    SciTech Connect (OSTI)

    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

    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.

  15. Proof of linear instability of the Reissner-Nordström Cauchy horizon under scalar perturbations

    E-Print Network [OSTI]

    Jonathan Luk; Sung-Jin Oh

    2015-01-19T23:59:59.000Z

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

  16. Going and going : a contemporary search for meaning

    E-Print Network [OSTI]

    Alvarado Beltrán, Elba Fabiola

    2012-01-01T23:59:59.000Z

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

  17. K-Means+ID3: A Novel Method for Supervised Anomaly Detection by Cascading K-Means

    E-Print Network [OSTI]

    Phoha, Vir V.

    K-Means+ID3: A Novel Method for Supervised Anomaly Detection by Cascading K-Means Clustering and ID. Balagani Abstract--In this paper, we present "K-Means+ID3," a method to cascade k-Means clustering network, an active electronic circuit, and a mechanical mass- beam system. The k-Means clustering method

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

    SciTech Connect (OSTI)

    Ahmed Hassan

    2004-09-01T23:59:59.000Z

    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.

  19. Proof of the cases $p \\leq 7$ of the Lieb-Seiringer formulation of the Bessis-Moussa-Villani conjecture

    E-Print Network [OSTI]

    Haegele, Daniel

    2008-01-01T23:59:59.000Z

    It is shown that the polynomial $\\lambda(t) = {\\rm Tr}[(A + tB)^p]$ has nonnegative coefficients when $p \\leq 7$ and A and B are any two complex positive semidefinite $n \\times n$ matrices with arbitrary $n$. This proofs a general nontrivial case of the Lieb-Seiringer formulation of the Bessis-Moussa-Villani conjecture which is a long standing problem in theoretical physics.

  20. On the generalization of linear least mean squares estimation to quantum systems with non-commutative outputs

    E-Print Network [OSTI]

    Nina H. Amini; Zibo Miao; Yu Pan; Matthew R. James; Hideo Mabuchi

    2015-01-19T23:59:59.000Z

    The purpose of this paper is to study the problem of generalizing the Belavkin-Kalman filter to the case where the classical measurement signal is replaced by a fully quantum non-commutative output signal. We formulate a least mean squares estimation problem that involves a non-commutative system as the filter processing the non-commutative output signal. We solve this estimation problem within the framework of non-commutative probability. Also, we find the necessary and sufficient conditions which make these non-commutative estimators physically realizable.

  1. Real-Time Dynamic Brake Assessment Proof of Concept Final Report

    SciTech Connect (OSTI)

    Lascurain, Mary Beth [ORNL; Franzese, Oscar [ORNL; Capps, Gary J [ORNL

    2011-11-01T23:59:59.000Z

    This proof-of-concept research was performed to explore the feasibility of using real-world braking data from commercial motor vehicles to make a diagnosis of brake condition similar to that of the performance-based brake tester (PBBT). This was done by determining the relationship between pressure and brake force (P-BF), compensating for the gross vehicle weight (GVW). The nature of this P-BF relationship (e.g., low braking force for a given brake application pressure) may indicate brake system problems. In order to determine the relationship between brake force and brake application pressure, a few key parameters of duty cycle information were collected. Because braking events are often brief, spanning only a few seconds, a sample rate of 10 Hz was needed. The algorithm under development required brake application pressure and speed (from which deceleration was calculated). Accurate weight estimation was also needed to properly derive the braking force from the deceleration. In order to ensure that braking force was the predominant factor in deceleration for the segments of data used in analysis, the data was screened for grade as well. Also, the analysis needed to be based on pressures above the crack pressure. The crack pressure is the pressure below which the individual brakes are not applied due the nature of the mechanical system. This value, which may vary somewhat from one wheel end to another, is approximately 10 psi. Therefore, only pressures 15 psi and above were used in the analysis. The Department of Energy s Medium Truck Duty Cycle research has indicated that under the real-world circumstances of the test vehicle brake pressures of up to approximately 30 psi can be expected. Several different types of data were collected during the testing task of this project. Constant-pressure stopping tests were conducted at several combinations of brake application pressure (15, 20, 25, and 30 psi), load conditions (moderately and fully laden), and speeds (20 and 30 mph). Data was collected at 10 Hz. Standard and stepped-pressure performance-based brake tests with brake pressure transducers were performed for each loading condition. The stepped-pressure test included the constant-pressure intervals of brake application at 15, 20, 25, and 30 psi. The PBBT data files included 10 Hz streaming data collected during the testing of each axle. Two weeks of real-world duty cycle (driving and braking) data was also collected at 10 Hz. Initial analysis of the data revealed that the data collected in the field (i.e., day-to-day operations) provided the same information as that obtained from the controlled tests. Analysis of the data collected revealed a strong linear relationship between brake application pressure and deceleration for given GVWs. As anticipated, initial speed was not found to be a significant factor in the deceleration-pressure relationship, unlike GVW. The positive results obtained from this proof of concept test point to the need for further research to expand this concept. A second phase should include testing over a wider range of speeds and include medium brake application pressures in addition to the low pressures tested in this research. Testing on multiple vehicles would also be of value. This future phase should involve testing to determine how degradation of braking performance affects the pressure-deceleration relationship.

  2. Direct Proof of Security of Wegman-Carter Authentication with Partially Known Key

    E-Print Network [OSTI]

    Aysajan Abidin; Jan-Åke Larsson

    2013-03-01T23:59:59.000Z

    Information-theoretically secure (ITS) authentication is needed in Quantum Key Distribution (QKD). In this paper, we study security of an ITS authentication scheme proposed by Wegman & Carter, in the case of partially known authentication key. This scheme uses a new authentication key in each authentication attempt, to select a hash function from an Almost Strongly Universal$_2$ hash function family. The partial knowledge of the attacker is measured as the trace distance between the authentication key distribution and the uniform distribution; this is the usual measure in QKD. We provide direct proofs of security of the scheme, when using partially known key, first in the information-theoretic setting and then in terms of witness indistinguishability as used in the Universal Composability (UC) framework. We find that if the authentication procedure has a failure probability $\\epsilon$ and the authentication key has an $\\epsilon'$ trace distance to the uniform, then under ITS, the adversary's success probability conditioned on an authentic message-tag pair is only bounded by $\\epsilon+|\\mT|\\epsilon'$, where $|\\mT|$ is the size of the set of tags. Furthermore, the trace distance between the authentication key distribution and the uniform increases to $|\\mT|\\epsilon'$ after having seen an authentic message-tag pair. Despite this, we are able to prove directly that the authenticated channel is indistinguishable from an (ideal) authentic channel (the desired functionality), except with probability less than $\\epsilon+\\epsilon'$. This proves that the scheme is ($\\epsilon+\\epsilon'$)-UC-secure, without using the composability theorem.

  3. Final report for the Light Water Breeder Reactor proof-of-breeding analytical support project

    SciTech Connect (OSTI)

    Graczyk, D.G.; Hoh, J.C.; Martino, F.J.; Nelson, R.E.; Osudar, J.; Levitz, N.M.

    1987-05-01T23:59:59.000Z

    The technology of breeding /sup 233/U from /sup 232/Th in a light water reactor is being developed and evaluated by the Westinghouse Bettis Atomic Power Laboratory (BAPL) through operation and examination of the Shippingport Light Water Breeder Reactor (LWBR). Bettis is determining the end-of-life (EOL) inventory of fissile uranium in the LWBR core by nondestructive assay of a statistical sample comprising approximately 500 EOL fuel rods. This determination is being made with an irradiated-fuel assay gauge based on neutron interrogation and detection of delayed neutrons from each rod. The EOL fissile inventory will be compared with the beginning-of-life fissile loading of the LWBR to determine the extent of breeding. In support of the BAPL proof-of-breeding (POB) effort, Argonne National Laboratory (ANL) carried out destructive physical, chemical, and radiometric analyses on 17 EOL LWBR fuel rods that were previously assayed with the nondestructive gauge. The ANL work included measurements on the intact rods; shearing of the rods into pre-designated contiguous segments; separate dissolution of each of the more than 150 segments; and analysis of the dissolver solutions to determine each segment's uranium content, uranium isotopic composition, and loading of selected fission products. This report describes the facilities in which this work was carried out, details operations involved in processing each rod, and presents a comprehensive discussion of uncertainties associated with each result of the ANL measurements. Most operations were carried out remotely in shielded cells. Automated equipment and procedures, controlled by a computer system, provided error-free data acquisition and processing, as well as full replication of operations with each rod. Despite difficulties that arose during processing of a few rod segments, the ANL destructive-assay results satisfied the demanding needs of the parent LWBR-POB program.

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

    SciTech Connect (OSTI)

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

    1996-12-01T23:59:59.000Z

    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.

  5. Cartesian k-means Mohammad Norouzi David J. Fleet

    E-Print Network [OSTI]

    Jepson, Allan D.

    Cartesian k-means Mohammad Norouzi David J. Fleet Department of Computer Science University the k-means clustering algorithm is the storage and run- time cost associated with the large numbers of centers. We formulate two such models, Orthogonal k-means and Cartesian k-means. They are closely related

  6. Secure Two-Party k-Means Clustering Rafail Ostrovsky

    E-Print Network [OSTI]

    Ostrovsky, Rafail

    Secure Two-Party k-Means Clustering Paul Bunn Rafail Ostrovsky Abstract The k-Means Clustering. To date there have been numerous attempts to create specific multiparty k-means clustering protocols a Two-Party k-Means Clustering Protocol that guarantees privacy, and is more efficient than utilizing

  7. Continuous k-Means Monitoring over Moving Objects

    E-Print Network [OSTI]

    Papadias, Dimitris

    Continuous k-Means Monitoring over Moving Objects Zhenjie Zhang, Yin Yang, Anthony K.H. Tung, and Dimitris Papadias Abstract-- Given a dataset P, a k-means query returns k points in space (called centers study continuous k-means computation at a server that monitors a set of moving objects. Re-evaluating k-means

  8. Probabilistic grammar induction from sentences and structured meanings 

    E-Print Network [OSTI]

    Kwiatkowski, Thomas Mieczyslaw

    2012-06-25T23:59:59.000Z

    The meanings of natural language sentences may be represented as compositional logical-forms. Each word or lexicalised multiword-element has an associated logicalform representing its meaning. Full sentential logical-forms ...

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

    E-Print Network [OSTI]

    Kolczynski, Edward Franklin

    1971-01-01T23:59:59.000Z

    quantities of global radiation, = kb. sin h i oi where i denotes the number of the month (1 to 12), Q. is the individual monthly quantity of global radiation, h . is the solar altitude relat- oi ed to noon of the middle day of the month, and k is the coei... which now exists in the data bank of this field. B. ~Db' t' The objective of the proposed research is to investigate a pos- sible relationship between global radiation, as measured from ground- based instruments, and mean brightness values...

  10. An Efficient K-Means Clustering Algorithm Khaled Alsabti

    E-Print Network [OSTI]

    Scheuermann, Peter

    An Efficient K-Means Clustering Algorithm Khaled Alsabti Syracuse University Sanjay Ranka for perform- ing k-means clustering. It organizes all the patterns in a k-d tree structure such that one can the computational speed of the direct k-means algorithm by an order to two orders of magnitude in the total number

  11. Accelerating Exact k-means Algorithms with Geometric Reasoning

    E-Print Network [OSTI]

    Accelerating Exact k-means Algorithms with Geometric Reasoning Dan Pelleg Andrew Moore January 2000 #12;Keywords: computational geometry, classi cation, density estimation, kd- trees, clustering, K-means #12;Abstract We present new algorithms for the k-means clustering problem. They use the kd-tree data

  12. Unsupervised Feature Selection for the k-means Clustering Problem

    E-Print Network [OSTI]

    Drineas, Petros

    Unsupervised Feature Selection for the k-means Clustering Problem Christos Boutsidis Department present a novel feature selection algorithm for the k-means clustering problem. Our algorithm any -approximate k-means algorithm ( 1) on the features selected using our method, we can find a (1

  13. On the performance of bisecting K-means and PDDP *

    E-Print Network [OSTI]

    Boley, Daniel

    1 On the performance of bisecting K-means and PDDP * Sergio M. Savaresi and Daniel L. Boley 1 in the last two decades ([13]), in this paper we will focus on two techniques: · the bisecting K-means;2 K-means is probably the most celebrated and widely used clustering technique; hence it is the best

  14. Scalable K-Means by Ranked Retrieval Andrei Broder

    E-Print Network [OSTI]

    Cortes, Corinna

    Scalable K-Means by Ranked Retrieval Andrei Broder Google 1600 Amphitheater Parkway Mountain View@google.com Srihari Venkatesan xAd 440 North Wolfe Road Sunnyvale, CA 94085 ABSTRACT The k-means clustering algorithm, a prohibitive cost when the number of clusters is large. In this paper we show how to reduce the cost of the k-means

  15. k-Means has Polynomial Smoothed Complexity David Arthur

    E-Print Network [OSTI]

    Al Hanbali, Ahmad

    k-Means has Polynomial Smoothed Complexity David Arthur Department of Computer Science Stanford-- The k-means method is one of the most widely used clustering algorithms, drawing its popularity from its to close the gap between practical performance and theoretical analysis, the k-means method has been

  16. Towards Explaining the Speed of k-Means Bodo Manthey

    E-Print Network [OSTI]

    Al Hanbali, Ahmad

    Towards Explaining the Speed of k-Means Bodo Manthey University of Twente, Department of Applied Mathematics P. O. Box 217, 7500 AE Enschede, The Netherlands b.manthey@utwente.nl The k-means method exponential worst-case running-time. To explain the speed of the k-means method, a smoothed analysis has been

  17. Graph Based K-Means Clustering Laurent Galluccioa,c

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Graph Based K-Means Clustering Laurent Galluccioa,c , Olivier Michelb , Pierre Comona , Alfred O the generalized Lloyd algorithm, also known as k-means, which circumvents its well known initialization problems for estimating of the number of clusters present and determining good centroid locations to initialize the k-means

  18. The global k-means clustering algorithm Aristidis Likasa,

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    The global k-means clustering algorithm Aristidis Likasa, Nikos Vlassisb Jakob J. Verbeekb,jverbeek}@science.uva.nl Abstract We present the global k-means algorithm which is an incremental approach to clustering (with N being the size of the data set) executions of the k-means algorithm from suitable initial

  19. Convergence of the k-Means Minimization Problem using -Convergence

    E-Print Network [OSTI]

    Theil, Florian

    Convergence of the k-Means Minimization Problem using -Convergence Matthew Thorpe1 , Florian Theil1-ES, Luton, LU1 3PG, United Kingdom Abstract The k-means method is an iterative clustering algorithm which space as the observed data. By relaxing this requirement, it is possible to apply the k-means method

  20. Normalized k-means clustering of hyper-rectangles

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Normalized k-means clustering of hyper-rectangles Marie Chavent Math´ematiques Appliqu´ees de-rectangles and their use in two normalized k-means clustering algorithms. Keywords: Interval data, Standardization [Diday, 1988], [Bock and Diday, 2000]. Several works on k-means clustering of interval data sets have

  1. Stability of K-Means Clustering Alexander Rakhlin

    E-Print Network [OSTI]

    Rakhlin, Alexander "Sasha"

    Stability of K-Means Clustering Alexander Rakhlin Department of Computer Science UC Berkeley phrase K-means clustering as an empirical risk minimization procedure over a class HK and explicitly calculate the covering number for this class. Next, we show that stability of K-means clustering

  2. Urban Form Energy Use and Emissions in China: Preliminary Findings and Model Proof of Concept

    SciTech Connect (OSTI)

    Aden, Nathaniel; Qin, Yining; Fridley, David

    2010-12-15T23:59:59.000Z

    Urbanization is reshaping China's economy, society, and energy system. Between 1990 and 2008 China added more than 300 million new urban residents, bringing the total urbanization rate to 46%. The ongoing population shift is spurring energy demand for new construction, as well as additional residential use with the replacement of rural biomass by urban commercial energy services. This project developed a modeling tool to quantify the full energy consequences of a particular form of urban residential development in order to identify energy- and carbon-efficient modes of neighborhood-level development and help mitigate resource and environmental implications of swelling cities. LBNL developed an integrated modeling tool that combines process-based lifecycle assessment with agent-based building operational energy use, personal transport, and consumption modeling. The lifecycle assessment approach was used to quantify energy and carbon emissions embodied in building materials production, construction, maintenance, and demolition. To provide more comprehensive analysis, LBNL developed an agent-based model as described below. The model was applied to LuJing, a residential development in Jinan, Shandong Province, to provide a case study and model proof of concept. This study produced results data that are unique by virtue of their scale, scope and type. Whereas most existing literature focuses on building-, city-, or national-level analysis, this study covers multi-building neighborhood-scale development. Likewise, while most existing studies focus exclusively on building operational energy use, this study also includes embodied energy related to personal consumption and buildings. Within the boundaries of this analysis, food is the single largest category of the building energy footprint, accounting for 23% of the total. On a policy level, the LCA approach can be useful for quantifying the energy and environmental benefits of longer average building lifespans. In addition to prospective analysis for standards and certification, urban form modeling can also be useful in calculating or verifying ex post facto, bottom-up carbon emissions inventories. Emissions inventories provide a benchmark for evaluating future outcomes and scenarios as well as an empirical basis for valuing low-carbon technologies. By highlighting the embodied energy and emissions of building materials, the LCA approach can also be used to identify the most intensive aspects of industrial production and the supply chain. The agent based modeling aspect of the model can be useful for understanding how policy incentives can impact individual behavior and the aggregate effects thereof. The most useful elaboration of the urban form assessment model would be to further generalize it for comparative analysis. Scenario analysis could be used for benchmarking and identification of policy priorities. If the model is to be used for inventories, it is important to disaggregate the energy use data for more accurate emissions modeling. Depending on the policy integration of the model, it may be useful to incorporate occupancy data for per-capita results. On the question of density and efficiency, it may also be useful to integrate a more explicit spatial scaling mechanism for modeling neighborhood and city-level energy use and emissions, i.e. to account for scaling effects in public infrastructure and transportation.

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

    SciTech Connect (OSTI)

    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

    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.

  4. Vector Quantization: L'algorithme k-Means Frank NIELSEN

    E-Print Network [OSTI]

    Nielsen, Frank

    INF555 TD5 Vector Quantization: L'algorithme k-Means Frank NIELSEN nielsen@lix.polytechnique.fr 13 pixel en un point 3D ´equivalent (r, g, b) dans l'espace des couleurs. · Implanter l'algorithme k-means points 3D des couleurs des pixels et les diff´erentes it´erations de l'algorithme k-means. · Utiliser l

  5. Vector Quantization: L'algorithme k-Means Frank NIELSEN

    E-Print Network [OSTI]

    Nielsen, Frank

    INF555 TD5 Vector Quantization: L'algorithme k-Means Frank NIELSEN nielsen@lix.polytechnique.fr 12) dans l'espace des couleurs. · Implanter l'algorithme k-means pour trouver une table des couleurs couleurs des pixels et les diff´erentes it´erations de l'algorithme k-means. · Utiliser l'initialisation de

  6. Robust seed selection algorithm for k-means type algorithms

    E-Print Network [OSTI]

    Pavan, K Karteeka; Rao, A V Dattatreya; Sridhar, G R; 10.5121/ijcsit.2011.3513

    2012-01-01T23:59:59.000Z

    Selection of initial seeds greatly affects the quality of the clusters and in k-means type algorithms. Most of the seed selection methods result different results in different independent runs. We propose a single, optimal, outlier insensitive seed selection algorithm for k-means type algorithms as extension to k-means++. The experimental results on synthetic, real and on microarray data sets demonstrated that effectiveness of the new algorithm in producing the clustering results

  7. Experimental Proof of the Existence of a Bifurcation Process During the undrained test in Clay

    E-Print Network [OSTI]

    P. Evesque; M. Hattab

    2005-07-05T23:59:59.000Z

    Recent papers, based on a new simple incremental modelling which assumes an "isotropic" response, predicts that the trajectory followed during an undrained compression test exhibits a bifurcation process when the stress field arrives at q=M'p', where q stands for the deviatoric stress, p' for the mean stress and M' is a coefficient describing friction. This indicates a discontinuous change of solution when arriving at q=M'p'. This paper looks at experimental data on dense sample obtained at p'=constant, and it shows that the trajectory (p'=constant, v=constant) does continue to exist at and beyond the q=M'p' plane. So, this demonstrates the validity of the analysis which uses the bifurcation theory and this strengthens the proposed modelling. Indeed, this demonstrates the reality of the bifurcation process during undrained compression. Pacs # : 5.40 ; 45.70 ; 62.20 ; 83.70.Fn

  8. Approximating K-means-type clustering via semidefinite programming

    E-Print Network [OSTI]

    Jiming Peng

    2005-04-22T23:59:59.000Z

    Apr 22, 2005 ... Approximating K-means-type clustering via semidefinite ... Abstract: One of the fundamental clustering problems is to assign $n$ points into $k$ ...

  9. Measuring Meaning on the World-Wide Web

    E-Print Network [OSTI]

    Aerts, Diederik

    2010-01-01T23:59:59.000Z

    We introduce the notion of the 'meaning bound' of a word with respect to another word by making use of the World-Wide Web as a conceptual environment for meaning. The meaning of a word with respect to another word is established by multiplying the product of the number of webpages containing both words by the total number of webpages of the World-Wide Web, and dividing the result by the product of the number of webpages for each of the single words. We calculate the meaning bounds for several words and analyze different aspects of these by looking at specific examples.

  10. Optimization Online - Performance-based regularization in mean ...

    E-Print Network [OSTI]

    Gah-Yi Vahn

    2014-11-03T23:59:59.000Z

    Nov 3, 2014 ... Performance-based regularization in mean-CVaR portfolio optimization. Gah-Yi Vahn(gvahn ***at*** london.edu) Noureddine El ...

  11. From the preface of the text: ". . . The text is meant to be read by the student. We mean the whole text including examples, questions, and proofs. Mathematics is not a spectator

    E-Print Network [OSTI]

    Kierstead, Hal

    .2. Treasure Island. Here is a challenge problem to try: Exploring the attic of the house that has been in your

  12. From the preface of the text: ". . . The text is meant to be read by the student. We mean the whole text including examples, questions, and proofs. Mathematics is not a spectator

    E-Print Network [OSTI]

    Kierstead, Hal

    as it is presented. . . . " 1. August 22, 2013 1.1. Treasure Island. Exploring the attic of the house that has been

  13. Proof-of-principle experiment of a modified photon-number-splitting attack against quantum key distribution

    SciTech Connect (OSTI)

    Liu Weitao; Sun Shihai; Liang Linmei; Yuan Jianmin [Department of Physics, College of Science, National University of Defense Technology, Changsha, 410073 (China)

    2011-04-15T23:59:59.000Z

    Any imperfections in a practical quantum key distribution (QKD) system may be exploited by an eavesdropper to collect information about the key without being discovered. We propose a modified photon-number-splitting attack scheme against QKD systems based on weak laser pulses taking advantage of possible multiphoton pulses. Proof-of-principle experiments are demonstrated. The results show that the eavesdropper can get information about the key generated between the legitimate parties without being detected. Since the equivalent attenuation introduced by the eavesdropper for pulses of different average photon numbers are different, the decoy-state method is effective in fighting against this kind of attack. This has also been proven in our experiments.

  14. A mathematical proof that the transition to a superconducting state is a second-order phase transition

    E-Print Network [OSTI]

    Shuji Watanabe

    2008-08-26T23:59:59.000Z

    We deal with the gap function and the thermodynamical potential in the BCS-Bogoliubov theory of superconductivity, where the gap function is a function of the temperature $T$ only. We show that the squared gap function is of class $C^2$ on the closed interval $[ 0, T_c ]$ and point out some more properties of the gap function. Here, $T_c$ stands for the transition temperature. On the basis of this study we then give, examining the thermodynamical potential, a mathematical proof that the transition to a superconducting state is a second-order phase transition. Furthermore, we obtain a new and more precise form of the gap in the specific heat at constant volume from a mathematical point of view.

  15. Development and proof-testing of advanced absorption refrigeration cycle concepts. Report on Phases 1 and 1A

    SciTech Connect (OSTI)

    Modahl, R.J.; Hayes, F.C. [Trane Co., La Crosse, WI (United States). Applied Unitary/Refrigeration Systems Div.

    1992-03-01T23:59:59.000Z

    The overall objectives of this project are to evaluate, develop, and proof-test advanced absorption refrigeration cycles that are applicable to residential and commercial heat pumps for space conditioning. The heat pump system is to be direct-fired with natural gas and is to use absorption working fluids whose properties are known. Target coefficients of performance (COPs) are 1.6 at 47{degrees}F and 1.2 at 17{degrees} in the heating mode, and 0.7 at 95{degree}F in the cooling mode, including the effect of flue losses. The project is divided into three phases. Phase I entailed the analytical evaluation of advanced cycles and included the selection of preferred concepts for further development. Phase II involves the development and testing of critical components and of a complete laboratory breadboard version of the selected system. Phase III calls for the development of a prototype unit and is contingent on the successful completion of Phase II. This report covers Phase I work on the project. In Phase 1, 24 advanced absorption cycle/fluid combinations were evaluated, and computer models were developed to predict system performance. COP, theoretical pump power, and internal heat exchange were calculated for each system, and these calculations were used as indicators of operating and installed costs in order to rank the relative promise of each system. The highest ranking systems involve the cycle concept of absorber/generator heat exchange, generator heat exchanger/absorber heat exchange, regeneration, and resorption/desorption, in combination with the NH{sub 3}/H{sub 2}O/LiBr ternary absorption fluid mixture or with the NH{sub 3}/H{sub 2}O binary solution. Based upon these conclusions, the recommendation was made to proceed to Phase II, the laboratory breadboard proof-of- concept.

  16. Fuel cell generator containing a gas sealing means

    DOE Patents [OSTI]

    Makiel, Joseph M. (Monroeville, PA)

    1987-01-01T23:59:59.000Z

    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.

  17. A Study of the Mean Field Approach to Knapsack Problems

    E-Print Network [OSTI]

    Lunds Universitet,

    with linear programming and mean field components is showed to further improve the performance and summations with more than 7 bits (including one sign bit). ffl Linear programming (LP) based on the simplex to multiple knapsacks and generalized assignment problems with Potts mean field equations governing

  18. Ris0-R-828(EN) Practical Means for

    E-Print Network [OSTI]

    Ris0-R-828(EN) Practical Means for Decontamination 9 Years after a Nuclear Accident Editors J. Roed Means for Decontamination 9 Years after a Nuclear Accident Editors J. Roed, K.G. Andersson, H. Prip Ris0) of the individual examined tech- niques for decontamination or dose reduction in various different types

  19. Higher genus arithmetic-geometric means Frazer Jarvis

    E-Print Network [OSTI]

    Jarvis, Frazer

    , then there is no obvious canonical choice of the square root in the geometric mean. Nonetheless, Gauss was able to duplication formulae for genus 2 theta functions, enabling us to give a generalisation of Gauss's work In this paper, we recall the notion of arithmetic-geometric mean (AGM), due to Gauss, and suggest a definition

  20. Correcting the proof of Theorem 3.2 in Almost sure rates of mixing for i.i.d. unimodal maps by V. Baladi, M. Benedicks, V. Maume-Deschamps, Ann. E.N.S. (2002)

    E-Print Network [OSTI]

    V. Baladi; M. Benedicks; V. Maume-Deschamps

    2010-08-30T23:59:59.000Z

    Weixiao Shen pointed out to us that the proof of Theorem 3.2 of our 2002 paper in Ann ENS was flawed, and he kindly provided an argument to fix this proof. (We do not make claims on the lower bounds for the stationary density anymore.)

  1. Topics for Term Projects 1. Report on the proof that it is impossible to trisect an arbitrary angle using only a compass and

    E-Print Network [OSTI]

    Allard, William K.

    using only a compass and unmarked straightedge. (See Project 1, Chapter I, p. 35, and the references given there.) 2. Report on the proof that it is impossible to square a circle using only a compass on the theorem of Mohr and Mascheroni that all Euclidean constructions of points can be made with a compass alone

  2. FIBREEZE: LEAK-PROOF HOLLOW FIBERS for ARTIFICIAL LUNGS Alexis Zambino, Corina Ramirez, Maddie Cramer, Sissy Henriquez, Spencer Lehr, Trisha Ambe

    E-Print Network [OSTI]

    McGaughey, Alan

    FIBREEZE: LEAK-PROOF HOLLOW FIBERS for ARTIFICIAL LUNGS Alexis Zambino, Corina Ramirez, Maddie Technology Center ARTIFICIAL LUNG BASICS CLINICAL NEED & PROBLEM NOVELTY & INNOVATION DESCRIPTION OF MARKET and characterization · Mr. Dave Skoog for his immense support, time, help, and patience ·Lung disease is one

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

    E-Print Network [OSTI]

    DeLucia, Evan H.

    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

  4. 2006 Royal Statistical Society 09641998/07/170000 Proofs subject to correction. Not to be reproduced without permission. Contributions to the

    E-Print Network [OSTI]

    White, Douglas R.

    longer than 400 words will be cut by the editor. J. R. Statist. Soc. A (2007) 170, Part 2, pp. 1­22 Model statistical language, latentnet, is available to analyse data by using the model. Keywords: Bayes factor; Dyad© 2006 Royal Statistical Society 0964­1998/07/170000 Proofs subject to correction

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

    Mills, Kevin

    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

  6. Beyond the mean field in the particle-vibration coupling scheme

    E-Print Network [OSTI]

    M. Baldo; P. F. Bortignon; G. Colo'; D. Rizzo; L. Sciacchitano

    2015-07-09T23:59:59.000Z

    The Energy Density Functional theory is one of the most used methods developed in nuclear structure. It is based on the assumption that the energy of the ground state is a functional only of the density profile. The method is extremely successful within the effective force approach, noticeably the Skyrme or Gogny forces, in reproducing the nuclear binding energies and other bulk properties along the whole mass table. Although the Density Functional is in this case represented formally as the Hartree-Fock mean field of an effective force, the corresponding single-particle states in general do not reproduce the phenomenology particularly well. To overcome this difficulty, a strategy has been developed where the effective force is adjusted to reproduce directly the single particle energies, trying to keep the ground state energy sufficiently well reproduced. An alternative route, that has been developed along several years, for solving this problem is to introduce the mean field fluctuations, as represented by the collective vibrations of the nuclear system, and their influence on the single particle dynamics and structure. This is the basis of the particle-vibration coupling model. In this paper we present a formal theory of the particle-vibration coupling model based on the Green' s function method. The theory extends to realistic effective forces the macroscopic particle-vibration coupling models and the (microscopic) Nuclear Field Theory. It is formalized within the functional derivative approach to many-body theory. An expansion in diagrams is devised for the single particle self-energy and the phonon propagator. Critical aspects of the particle-vibration coupling model are analysed in general. Applications at the lowest order of the expansion are presented and discussed.

  7. Divergence of Lubkin's series for a quantum subsystem's mean entropy

    E-Print Network [OSTI]

    Jacob P Dyer

    2014-09-17T23:59:59.000Z

    In 1978, Lubkin proposed a method of approximating the mean von Neumann entropy for a subsystem of a finite-dimensional quantum system in an overall pure state by expanding the entropy as a series in terms of the mean trace of powers of the system's reduced density operator, but the convergence of this series was never established. We find an exact closed form expression for the mean traces, which enables us to prove that the series converges if and only if the system's dimension $m\\le2$, in spite of the fact that Lubkin's proposed approximation for the entropy is now known to be correct.

  8. Harmonic mean, the Gamma factor and Speed of Light

    E-Print Network [OSTI]

    Chandru Iyer

    2008-11-17T23:59:59.000Z

    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

  9. Optimization Online - Efficient Cardinality/Mean-Variance Portfolios

    E-Print Network [OSTI]

    R. P. Brito

    2012-03-03T23:59:59.000Z

    Mar 3, 2012 ... Efficient Cardinality/Mean-Variance Portfolios. R. P. Brito(rpedro.brito ***at*** gmail.com) L. N. Vicente(lnv ***at*** mat.uc.pt). Abstract: A ...

  10. Generating Tensor Representation from Concept Tree in Meaning Based Search

    E-Print Network [OSTI]

    Panigrahy, Jagannath

    2011-08-08T23:59:59.000Z

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

  11. Ris-R-1545(EN) Emission reduction by means

    E-Print Network [OSTI]

    and Plasma Research Department, Risø), Helge Egsgaard (Biosystems Department, Risø), Per G. Kristensen reduction by means of low temperature plasma. Summary Department: Optics and Plasma Research Department Risø

  12. Learning manifolds with k-means and k-flats

    E-Print Network [OSTI]

    Canas, Guillermo D.

    We study the problem of estimating a manifold from random samples. In particular, we consider piecewise constant and piecewise linear estimators induced by k-means and k-?ats, and analyze their performance. We extend ...

  13. Thermal Conductivity Spectroscopy Technique to Measure Phonon Mean Free Paths

    E-Print Network [OSTI]

    Schmidt, A. J.

    Size effects in heat conduction, which occur when phonon mean free paths (MFPs) are comparable to characteristic lengths, are being extensively explored in many nanoscale systems for energy applications. Knowledge of MFPs ...

  14. Preliminary Assessment of Alternative Navigation Means for Civil Aviation

    E-Print Network [OSTI]

    Stanford University

    , particularly where it is relied upon in critical infrastructure. The Federal Aviation Administration (FAA Leo Eldredge, Mitchell Narins, Federal Aviation Administration ABSTRACT The Federal Aviation Administration (FAA) is looking to develop alternative navigation means to global navigation satellite systems

  15. Polymer dynamics in random flow with mean shear K. Turitsyn

    E-Print Network [OSTI]

    Fominov, Yakov

    Polymer dynamics in random flow with mean shear K. Turitsyn Landau Institute for theoretical;Outline · Motivation: Elastic turbulence · Experimental setup · Flow and polymer models · Results: 1. Angular statistics 2. Polymer elongation distribution · Conclusion #12;Elastic Turbulence Elastic

  16. Early Experience with a Hybrid Processor: K-Means Clustering

    E-Print Network [OSTI]

    Theiler, James

    of con#12;g- urable logic. Keywords: con#12;gurable system on a chip, CSOC, Excalibur, K-means Clustering), with minimal synchronization between the two. Recently, hybrid Con#12;gurable System on a Chip (CSOC

  17. Dynamics of polymers: A mean-field theory

    SciTech Connect (OSTI)

    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

    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.

  18. Recovering Industrial Waste Heat by the Means of Thermoelectricity

    E-Print Network [OSTI]

    Kjelstrup, Signe

    as a heat pump) to the surroundings. This heat was interpreted as the lost work of the device. The aimRecovering Industrial Waste Heat by the Means of Thermoelectricity Spring 2010 Department

  19. Eddy-mean flow interactions in western boundary current jets

    E-Print Network [OSTI]

    Waterman, Stephanie N

    2009-01-01T23:59:59.000Z

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

  20. k-means Approach to the Karhunen-Loeve Transform

    E-Print Network [OSTI]

    Misztal, Krzysztof; Tabor, Jacek

    2011-01-01T23:59:59.000Z

    We present a simultaneous generalization of the well-known Karhunen-Loeve (PCA) and k-means algorithms. The basic idea lies in approximating the data with k affine subspaces of a given dimension n. In the case n=0 we obtain the classical k-means, while for k=1 we obtain PCA algorithm. We show that for some data exploration problems this method gives better result then either of the classical approaches.

  1. ENERGY CONSERVATION AND GRAVITY WAVES IN SOUND-PROOF TREATMENTS OF STELLAR INTERIORS. II. LAGRANGIAN CONSTRAINED ANALYSIS

    SciTech Connect (OSTI)

    Vasil, Geoffrey M.; Lecoanet, Daniel [Department of Astronomy and Theoretical Astrophysics Center, University of California Berkeley, Berkeley, CA 94720 (United States); Brown, Benjamin P.; Zweibel, Ellen G. [Department of Astronomy, University of Wisconsin, Madison, WI 53706-1582 (United States); Wood, Toby S., E-mail: vasil@cita.utoronto.ca [Department of Applied Mathematics and Statistics, Baskin School of Engineering, University of California, Santa Cruz, CA (United States)

    2013-08-20T23:59:59.000Z

    The speed of sound greatly exceeds typical flow velocities in many stellar and planetary interiors. To follow the slow evolution of subsonic motions, various sound-proof models attempt to remove fast acoustic waves while retaining stratified convection and buoyancy dynamics. In astrophysics, anelastic models typically receive the most attention in the class of sound-filtered stratified models. Generally, anelastic models remain valid in nearly adiabatically stratified regions like stellar convection zones, but may break down in strongly sub-adiabatic, stably stratified layers common in stellar radiative zones. However, studying stellar rotation, circulation, and dynamos requires understanding the complex coupling between convection and radiative zones, and this requires robust equations valid in both regimes. Here we extend the analysis of equation sets begun in Brown et al., which studied anelastic models, to two types of pseudo-incompressible models. This class of models has received attention in atmospheric applications, and more recently in studies of white-dwarf supernova progenitors. We demonstrate that one model conserves energy but the other does not. We use Lagrangian variational methods to extend the energy conserving model to a general equation of state, and dub the resulting equation set the generalized pseudo-incompressible (GPI) model. We show that the GPI equations suitably capture low-frequency phenomena in both convection and radiative zones in stars and other stratified systems, and we provide recommendations for converting low-Mach number codes to this equation set.

  2. Nuclear Symmetry Energy in Relativistic Mean Field Theory

    E-Print Network [OSTI]

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

    2005-09-12T23:59:59.000Z

    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.

  3. Mean ZZ Ceti pulsation period gauges stellar temperature

    E-Print Network [OSTI]

    Anjum S. Mukadam; M. H. Montgomery; A. Kim; D. E. Winget; S. O. Kepler; J. C. Clemens

    2006-12-15T23:59:59.000Z

    The mean pulsation period of ZZ Ceti stars increases with decreasing effective temperature as we traverse from the blue to the red edge of the instability strip. This well-established correlation between the mean period and spectroscopic temperature suggests that the mean period could be utilized as a tool to measure the relative temperature of the star independent of spectroscopy. Measuring the pulsation periods of a ZZ Ceti star is a simple, model-independent, and straight forward process as opposed to a spectroscopic determination of its temperature. Internal uncertainties in determining the spectroscopic temperature of a ZZ Ceti star are at least 200K, 15% of the 1350K width of the instability strip. The uncertainties in determining the mean period arise mostly from amplitude modulation in the pulsation spectrum and are smaller than 100s for 91% of the ZZ Ceti stars, temperature indicator rather than conventional spectroscopy. Presently we only claim that the relative temperatures of ZZ Ceti stars derived by using the mean pulsation period are certainly as good as and perhaps about 15% better than spectroscopy.

  4. Stochastic Dimensionality Reduction for K-means Clustering

    E-Print Network [OSTI]

    Boutsidis, Christos; Mahoney, Michael W; Drineas, Petros

    2011-01-01T23:59:59.000Z

    We study the topic of dimensionality reduction methods for k-means clustering. Dimensionality reduction encompasses the union of two approaches; feature selection and feature extraction. First, feature selection selects a small subset of actual features from the data and then runs the clustering algorithm only on the selected features. Second, feature extraction constructs a small set of new artificial features and then runs the clustering algorithm only on the constructed features. Despite the significance of the problem as well as the wealth of heuristic methods addressing it there exist no provably accurate feature selection methods. On the other hand, two provably accurate feature extraction methods for k-means exist: the first one is randomized and is based on Random Projections; the other, is deterministic and it is based on the Singular Value Decomposition. This paper addresses this shortcoming by presenting the first provably accurate feature selection method for k-means clustering. We also present tw...

  5. Spurious Shell Closures in the Relativistic Mean Field Model

    E-Print Network [OSTI]

    L. S. Geng; J. Meng; H. Toki; W. H. Long; G. Shen

    2006-03-10T23:59:59.000Z

    Following a systematic theoretical study of the ground-state properties of over 7000 nuclei from the proton drip line to the neutron drip line in the relativistic mean field model [Prog. Theor. Phys. 113 (2005) 785], which is in fair agreement with existing experimental data, we observe a few spurious shell closures, i.e. proton shell closures at Z=58 and Z=92. These spurious shell closures are found to persist in all the effective forces of the relativistic mean field model, e.g. TMA, NL3, PKDD and DD-ME2.

  6. Mean Field Effects In The Quark-Gluon Plasma

    E-Print Network [OSTI]

    Zhi Guang Tan; A. Bonasera

    2006-11-20T23:59:59.000Z

    A transport model based on the mean free path approach for an interacting meson system at finite temperatures is discussed. A transition to a quark gluon plasma is included within the framework of the MIT bag model. The results obtained compare very well with Lattice QCD calculations when we include a mean field in the QGP phase due to the Debye color screening. In particular the cross over to the QGP at about 175 MeV temperature is nicely reproduced. We also discuss a possible scenario for hadronization which is especially important for temperatures below the QGP phase transition.

  7. Distributed mean curvature on a discrete manifold for Regge calculus

    E-Print Network [OSTI]

    Rory Conboye; Warner A. Miller; Shannon Ray

    2015-02-26T23:59:59.000Z

    The integrated mean curvature of a simplicial manifold is well understood in both Regge Calculus and Discrete Differential Geometry. However, a well motivated pointwise definition of curvature requires a careful choice of volume over which to uniformly distribute the local integrated curvature. We show that hybrid cells formed using both the simplicial lattice and its circumcentric dual emerge as a remarkably natural structure for the distribution of this local integrated curvature. These hybrid cells form a complete tessellation of the simplicial manifold, contain a geometric orthonormal basis, and are also shown to give a pointwise mean curvature with a natural interpretation as a fractional rate of change of the normal vector.

  8. Double-$?$ hypernuclei in the relativistic mean-field theory

    E-Print Network [OSTI]

    H. Shen; F. Yang; H. Toki

    2006-02-14T23:59:59.000Z

    We study the properties of double-$\\Lambda$ hypernuclei in the relativistic mean-field theory, which has been successfully used for the description of stable and unstable nuclei. With the meson-hyperon couplings determined by the experimental binding energies of single-$\\Lambda$ hypernuclei, we present a self-consistent calculation of double-$\\Lambda$ hypernuclei in the relativistic mean-field theory, and discuss the influence of hyperons on the nuclear core. The contribution of two mesons with dominant strange quark components (scalar $\\sigma^*$ and vector $\\phi$) to the $\\Lambda\\Lambda$ binding energy of double-$\\Lambda$ hypernuclei is examined.

  9. Fluorescent lamp unit with magnetic field generating means

    DOE Patents [OSTI]

    Grossman, M.W.; George, W.A.

    1989-08-08T23:59:59.000Z

    A fluorescent lamp unit having a magnetic field generating means for improving the performance of the fluorescent lamp is disclosed. In a preferred embodiment the fluorescent lamp comprises four longitudinally extending leg portions disposed in substantially quadrangular columnar array and joined by three generally U-shaped portions disposed in different planes. In another embodiment of the invention the magnetic field generating means comprises a plurality of permanent magnets secured together to form a single columnar structure disposed within a centrally located region defined by the shape of lamp envelope. 4 figs.

  10. G. Ei. Andrews, 'Al simple proof of Jacob'i's triple product ldenilty', Pro,c. Amer. Math{. Soc. 16 (1965), 333-:334.

    E-Print Network [OSTI]

    Garvan, Frank

    1965-01-01T23:59:59.000Z

    tAndl lAndll IA+61 tA+Hl lA+O'Bl TA+SD] tAtkI TC+SI References : G. Ei. Andrews, 'Al simple proof Soc. 18 (2) (1988). I G. Ei. Andrews anfl D. Hickerson, 'Rama,nuJan's 'lost' notebook VII: ther sixth883), 158-170t i [Gor] B. Gordon, 'sorrie identities ln combtnratorial analysis', Quart. J. Math. o

  11. Sufficient Conditions for Collision-Resistant Hashing

    E-Print Network [OSTI]

    Ostrovsky, Rafail

    information retrieval (PIR) protocols and homomorphic one-way commitments. Keywords. Collision-resistant hash. A homomorphic encryption is a semantically secure encryption in which the plaintexts are taken from a group (single-server, sublinear-communication) one-round PIR protocol [15]. Since PIR is implied by homomorphic

  12. Error bounds: necessary and sufficient conditions

    E-Print Network [OSTI]

    2010-01-27T23:59:59.000Z

    Russian Math. Surveys 55, 501–558 (2000). 25. Ioffe, A.D., Outrata, J.V.: On metric and calmness qualification conditions in subdifferential calculus. Set-

  13. An Energy Self-Sufficient Sawmill 

    E-Print Network [OSTI]

    Juchymenko, A.

    1982-01-01T23:59:59.000Z

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

  14. An Energy Self-Sufficient Sawmill

    E-Print Network [OSTI]

    Juchymenko, A.

    1982-01-01T23:59:59.000Z

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

  15. Optimization Online - Sufficient and Necessary Conditions for ...

    E-Print Network [OSTI]

    J. William Helton

    2007-10-15T23:59:59.000Z

    Oct 15, 2007 ... This provides a technique for building global SDP representations from the local ones. (ii) For the SDP representability of a compact convex ...

  16. Mean-shift algorithms for manifold denoising, matrix completion and clustering

    E-Print Network [OSTI]

    Wang, Weiran

    2013-01-01T23:59:59.000Z

    and the centroids found by K-means, K-modes, and mean-Rosasco. Learning manifolds with k- means and k-flats. In P.Huang. Extensions to the k-means algorithm for clustering

  17. A Solvable Mean Field Model of a Gaussian Spin Glass

    E-Print Network [OSTI]

    Adriano Barra; Giuseppe Genovese; Francesco Guerra; Daniele Tantari

    2012-05-17T23:59:59.000Z

    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.

  18. Fluorescent lamp with static magnetic field generating means

    DOE Patents [OSTI]

    Moskowitz, P.E.; Maya, J.

    1987-09-08T23:59:59.000Z

    A fluorescent lamp wherein magnetic field generating means (e.g., permanent magnets) are utilized to generate a static magnetic field across the respective electrode structures of the lamp such that maximum field strength is located at the electrode's filament. An increase in efficacy during operation has been observed. 2 figs.

  19. Distributed Precoding for MISO Interference Channels with Channel Mean Feedback

    E-Print Network [OSTI]

    Ulukus, Sennur

    Distributed Precoding for MISO Interference Channels with Channel Mean Feedback: Algorithms precoding algorithms for multiple-input single-output (MISO) interference channels, where each trans- mitter- antenna wireless interference channels [5]-[7]. For multiple- input single-output (MISO) interference

  20. Collective periodicity in mean-field models of cooperative behavior

    E-Print Network [OSTI]

    Francesca Collet; Paolo Dai Pra; Marco Formentin

    2015-02-06T23:59:59.000Z

    We propose a way to break symmetry in stochastic dynamics by introducing a dissipation term. We show in a specific mean-field model, that if the reversible model undergoes a phase transition of ferromagnetic type, then its dissipative counterpart exhibits periodic orbits in the thermodynamic limit.

  1. Optimizing Thermoelectric Power Factor by Means of a Potential Barrier

    E-Print Network [OSTI]

    1 Optimizing Thermoelectric Power Factor by Means of a Potential Barrier Neophytos Neophytou}@iue.tuwien.ac.at Abstract Large efforts in improving thermoelectric energy conversion are devoted to energy filtering design, ~40% improvement in the thermoelectric power factor can be achieved if the following conditions

  2. WHAT DO THREAT LEVELS AND RESPONSE LEVELS MEAN? THREAT LEVELS

    E-Print Network [OSTI]

    Edinburgh, University of

    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

  3. Thermodynamics and Universality for Mean Field Quantum Spin Glasses

    E-Print Network [OSTI]

    Nick Crawford

    2006-10-13T23:59:59.000Z

    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.

  4. Fresh Water Increased temperature means higher proportion of water

    E-Print Network [OSTI]

    Houston, Paul L.

    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

  5. Proton root-mean-square radii and electron scattering

    E-Print Network [OSTI]

    Ingo Sick; Dirk Trautmann

    2014-07-07T23:59:59.000Z

    The standard procedure of extracting the proton root-mean-square radii from models for the Sachs form factors $G_e (q)$ and $G_m (q)$ fitted to elastic electron-proton scattering data %has a serious flaw. is more uncertain than traditionally assumed. The extrapolation of $G(q)$, from the region $q_{min} reliable $rms$-radii be determined.

  6. Generalized Mean-payoff and Energy Games Krishnendu Chatterjee1

    E-Print Network [OSTI]

    Doyen, Laurent

    Generalized Mean-payoff and Energy Games Krishnendu Chatterjee1 , Laurent Doyen2 , Thomas A. Henzinger1 , and Jean-François Raskin3 1 IST Austria (Institute of Science and Technology Austria) 2 LSV of an infinite sequence of numeric weights is nonnegative. In energy games, the objective is to ensure

  7. Mean Radiant Cooling in a Hot-Humid Climate

    E-Print Network [OSTI]

    Garrison, M.

    1996-01-01T23:59:59.000Z

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

  8. Beliefs about obesity What does obesity mean to you?

    E-Print Network [OSTI]

    Doran, Simon J.

    Beliefs about obesity What does obesity mean to you? Obesity has been in the news a lot recently. We are interested in your views about obesity. We would therefore be grateful if you could answer extent do you think that obesity is caused by the following? (Please circle) Not at all Totally Genetics

  9. Diffusion theory The mean and variance function for discrete processes

    E-Print Network [OSTI]

    Tufto, Jarle

    and = var(St). It is well known that this approximation is remarkably good, even for moderate values of t that are continuous in the state variable as well as in time. The properties of such processes will be completely, which means that the form of the distribution of the St has practically no effect on the process Xt

  10. Parametrization of light clusters within relativistic mean field models

    SciTech Connect (OSTI)

    Ferreira, Marcio; Providencia, Constanca [Centro de Fisica Computacional, Department of Physics, University of Coimbra, P-3004-516 Coimbra (Portugal)

    2013-06-10T23:59:59.000Z

    Light clusters are included in the equation of state of nuclearmatter within the relativistic mean field theory. The effect of the cluster-meson coupling constants on the dissolution density is discussed. Theoretical and experimental constraints are used to fix the cluster-meson couplings at T Almost-Equal-To 5 MeV.

  11. Mean-risk optimization of electricity portfolios Andreas Eichhorn 1

    E-Print Network [OSTI]

    Eichhorn, Andreas

    refer to a wide range of literature dealing with power management in a hydro-thermal system and simultaneous optimization of power production and electricity trading, e.g. [7] and [10]. We suppose that eachMean-risk optimization of electricity portfolios Andreas Eichhorn 1 , Nicole Gr¨owe-Kuska1 , Andrea

  12. HYBRID DECADE-MEAN GLOBAL SEA LEVEL WITH MESOSCALE RESOLUTION

    E-Print Network [OSTI]

    HYBRID DECADE-MEAN GLOBAL SEA LEVEL WITH MESOSCALE RESOLUTION Nikolai A. Maximenko1 and Pearn P of twin-satellite mission GRACE and mesoscale sea level tilt derived from the momentum balance as seen 55 #12;sea level exhibits excellent accuracy on mesoscale, but may contain significant systematic

  13. Inferring statistics of planet populations by means of automated microlensing searches

    E-Print Network [OSTI]

    M. Dominik; U. G. Jorgensen; K. Horne; Y. Tsapras; R. A. Street; L. Wyrzykowski; F. V. Hessman; M. Hundertmark; S. Rahvar; J. Wambsganss; G. Scarpetta; V. Bozza; S. Calchi Novati; L. Mancini; G. Masi; J. Teuber; T. C. Hinse; I. A. Steele; M. J. Burgdorf; S. Kane

    2008-07-31T23:59:59.000Z

    (abridged) The study of other worlds is key to understanding our own, and not only provides clues to the origin of our civilization, but also looks into its future. Rather than in identifying nearby systems and learning about their individual properties, the main value of the technique of gravitational microlensing is in obtaining the statistics of planetary populations within the Milky Way and beyond. Only the complementarity of different techniques currently employed promises to yield a complete picture of planet formation that has sufficient predictive power to let us understand how habitable worlds like ours evolve, and how abundant such systems are in the Universe. A cooperative three-step strategy of survey, follow-up, and anomaly monitoring of microlensing targets, realized by means of an automated expert system and a network of ground-based telescopes is ready right now to be used to obtain a first census of cool planets with masses reaching even below that of Earth orbiting K and M dwarfs in two distinct stellar populations, namely the Galactic bulge and disk. The hunt for extra-solar planets acts as a principal science driver for time-domain astronomy with robotic-telescope networks adopting fully-automated strategies. Several initiatives, both into facilities as well as into advanced software and strategies, are supposed to see the capabilities of gravitational microlensing programmes step-wise increasing over the next 10 years. New opportunities will show up with high-precision astrometry becoming available and studying the abundance of planets around stars in neighbouring galaxies becoming possible. Finally, we should not miss out on sharing the vision with the general public, and make its realization to profit not only the scientists but all the wider society.

  14. Systematics of the mean energy and the mean multiplicity of prompt neutrons originating from {sup 232}Th fission

    SciTech Connect (OSTI)

    Svirin, M. I., E-mail: svirin@ippe.ru [Institute for Physics and Power Engineering (Russian Federation)

    2012-12-15T23:59:59.000Z

    The cross section for the neutron-induced fission of {sup 232}Th target nuclei, {sigma}{sub f} (E{sub n}), was described within statistical theory. The spectra of the mean multiplicity, v-bar (E{sub n}), and the mean energy, E-bar(E{sub n}), of secondary neutrons accompanying {sup 232}Th fission induced by neutrons of energy extending up to E{sub n} = 20 MeV were analyzed on the basis of the chance structure of the cross section.

  15. A "Proof-of-Concept" Demonstration of RF-Based Technologies for UF6 Cylinder Tracking at Centrifuge Enrichment Plant

    SciTech Connect (OSTI)

    Pickett, Chris A [ORNL] [ORNL; Younkin, James R [ORNL] [ORNL; Kovacic, Donald N [ORNL] [ORNL; Dixon, E. T. [Los Alamos National Laboratory (LANL)] [Los Alamos National Laboratory (LANL); Martinez, B. [Los Alamos National Laboratory (LANL)] [Los Alamos National Laboratory (LANL)

    2007-01-01T23:59:59.000Z

    This effort describes how radio-frequency (RF) technology can be integrated into a uranium enrichment facility's nuclear materials accounting and control program to enhance uranium hexafluoride (UF6) cylinder tracking and thus provide benefits to both domestic and international safeguards. Approved industry-standard cylinders are used to handle and store UF6 feed, product, tails, and samples at uranium enrichment plants. In the international arena, the International Atomic Energy Agency (IAEA) relies on time-consuming manual cylinder inventory and tracking techniques to verify operator declarations and to detect potential diversion of UF6. Development of a reliable, automated, and tamper-resistant process for tracking and monitoring UF6 cylinders would greatly reduce the risk of false or misreported cylinder tare weights, diversion of nuclear material, concealment of excess production, utilization of undeclared cylinders, and misrepresentation of the cylinders contents. This paper will describe a "proof-of concept" system that was designed show the feasibility of using RF based technologies to track individual UF6 cylinders throughout their entire life cycle, and thus ensure both increased domestic accountability of materials and a more effective and efficient method for application of IAEA international safeguards at the site level. The proposed system incorporates RF-based identification devices, which provide a mechanism for a reliable, automated, and tamper-resistant tracking network. We explore how securely attached RF tags can be integrated with other safeguards technologies to better detect diversion of cylinders. The tracking system could also provide a foundation for integration of other types of safeguards that would further enhance detection of undeclared activities.

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

    SciTech Connect (OSTI)

    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

    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.

  17. Quantum root-mean-square error and measurement uncertainty relations

    E-Print Network [OSTI]

    Paul Busch; Pekka Lahti; Reinhard F Werner

    2014-10-10T23:59:59.000Z

    Recent years have witnessed a controversy over Heisenberg's famous error-disturbance relation. Here we resolve the conflict by way of an analysis of the possible conceptualizations of measurement error and disturbance in quantum mechanics. We discuss two approaches to adapting the classic notion of root-mean-square error to quantum measurements. One is based on the concept of noise operator; its natural operational content is that of a mean deviation of the values of two observables measured jointly, and thus its applicability is limited to cases where such joint measurements are available. The second error measure quantifies the differences between two probability distributions obtained in separate runs of measurements and is of unrestricted applicability. We show that there are no nontrivial unconditional joint-measurement bounds for {\\em state-dependent} errors in the conceptual framework discussed here, while Heisenberg-type measurement uncertainty relations for {\\em state-independent} errors have been proven.

  18. Mean-field theory for scale-free random networks

    E-Print Network [OSTI]

    Albert-Laszlo Barabasi; Reka Albert; Hawoong Jeong

    1999-07-05T23:59:59.000Z

    Random networks with complex topology are common in Nature, describing systems as diverse as the world wide web or social and business networks. Recently, it has been demonstrated that most large networks for which topological information is available display scale-free features. Here we study the scaling properties of the recently introduced scale-free model, that can account for the observed power-law distribution of the connectivities. We develop a mean-field method to predict the growth dynamics of the individual vertices, and use this to calculate analytically the connectivity distribution and the scaling exponents. The mean-field method can be used to address the properties of two variants of the scale-free model, that do not display power-law scaling.

  19. Means and method of detection in chemical separation procedures

    DOE Patents [OSTI]

    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

    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.

  20. Understanding Proofs JEREMY AVIGAD

    E-Print Network [OSTI]

    Avigad, Jeremy

    others for comments, including Andrew Arana, Mic Detlefsen, Jeremy Heis, Jukka Keranen, Paolo Mancosu

  1. GARCH Proof of Concept

    E-Print Network [OSTI]

    Datta, Shoumen

    2008-12-14T23:59:59.000Z

    Forecasting is an underestimated field of research in supply chain management. Recently advanced methods are coming into use. Initial results presented in this chapter are encouraging, but may require changes in policies ...

  2. Author Proof Focus Article

    E-Print Network [OSTI]

    Cook, Diane J.

    in smart homes offer unprecedented opportunities for providing health monitoring and assistance health of smart home residents, we need to design technologies that recognize and track activities, is how many smart home sensors are needed and where should they be placed in order to accurately

  3. poster00proof

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of ScienceandMesa del SolStrengtheningWildfires mayYuan T.External LinksDoug

  4. poster60proof

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of ScienceandMesa del SolStrengtheningWildfires mayYuan T.External LinksDoug

  5. poster80proof

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of ScienceandMesa del SolStrengtheningWildfires mayYuan T.External LinksDoug

  6. Bayesian Prediction of Mean Indoor Radon Concentrations for Minnesota Counties

    SciTech Connect (OSTI)

    Price, P.N.; Nero, A.V.; Gelman, A.

    1995-08-01T23:59:59.000Z

    Past efforts to identify areas having higher than average indoor radon concentrations by examining the statistical relationship between local mean concentrations and physical parameters such as the soil radium concentration have been hampered by the noise in local means caused by the small number of homes monitored in some or most areas, In the present paper, indoor radon data from a survey in Minnesota are analyzed in such a way as to minimize the effect of finite sample size within counties, in order to determine the true county-to-county variation of indoor radon concentrations in the state and the extent to which this variation is explained by the variation in surficial radium concentration among counties, The analysis uses hierarchical modeling, in which some parameters of interest (such as county geometric mean (GM) radon concentrations) are assumed to be drawn from a single population, for which the distributional parameters are estimated from the data. Extensions of this technique, known as a random effects regression and mixed effects regression, are used to determine the relationship between predictive variables and indoor radon concentrations; the results are used to refine the predictions of each county's radon levels, resulting in a great decrease in uncertainty. The true county-to-county variation of GM radon levels is found to be substantially less than the county-to-county variation of the observed GMs, much of which is due to the small sample size in each county. The variation in the logarithm of surficial radium content is shown to explain approximately 80% of the variation of the logarithm of GM radon concentration among counties. The influences of housing and measurement factors, such as whether the monitored home has a basement and whether the measurement was made in a basement, are also discussed. This approach offers a self-consistent statistical method for predicting the mean values of indoor radon concentrations or other geographically distributed environmental parameters.

  7. Excitation of fast waves near the mean gyrofrequency

    SciTech Connect (OSTI)

    Platt, R.C.; McWilliams, R.

    1986-11-03T23:59:59.000Z

    Fast waves with frequencies near the mean gyrofrequency (..omega..--(..omega../sub c//sub i/..omega../sub ce/)/sup 1/2/) were excited in a toroidal, magnetized plasma. Experimental measurements were made of wavelengths and phase velocities perpendicular to the toroidal magnetic field, and wave energy trajectories in the plasma, varying wave frequency, plasma density, and magnetic field values. Experimental results agree with predictions from the cold-plasma dispersion relation.

  8. Cosmic metal production and the mean metallicity of the Universe

    E-Print Network [OSTI]

    F. Calura; F. Matteucci

    2004-03-08T23:59:59.000Z

    By means of detailed chemo-photometric models for elliptical, spiral and irregular galaxies, we evaluate the cosmic history of the production of chemical elements as well as the metal mass density of the present-day universe. We then calculate the mean metal abundances for galaxies of different morphological types, along with the average metallicity of galactic matter in the universe (stars, gas and intergalactic medium). For the average metallicity of galaxies in the local universe, we find Z_gal= 0.0175, i.e. close to the solar value. We find the main metal production in spheroids (ellipticals and bulges) to occur at very early times, implying an early peak in the metal production and a subsequent decrease. On the other hand, the metal production in spirals and irregulars is always increasing with time. We perform a self-consistent census of the baryons and metals in the local universe finding that, while the vast majority of the baryons lies outside galaxies in the inter-galactic medium (IGM), 52 % of the metals (with the exception of the Fe-peak elements) is locked up in stars and in the interstellar medium. We estimate indirectly the amount of baryons which resides in the IGM and we derive its mean Fe abundance, finding a value of X_Fe,IGM=0.05 X_Fe,sun. We believe that this estimate is uncertain by a factor of 2, owing to the normalization of the local luminosity function. This means that the Fe abundance of 0.3 solar inferred from X-ray observations of the hot intra-cluster medium (ICM) is higher than the average Fe abundance of the inter-galactic gas in the field.

  9. Mean field approximation for noisy delay coupled excitable neurons

    E-Print Network [OSTI]

    Nikola Buric; Dragana Rankovic; Kristina Todorovic; Nebojsa Vasovic

    2010-03-26T23:59:59.000Z

    Mean field approximation of a large collection of FitzHugh-Nagumo excitable neurons with noise and all-to-all coupling with explicit time-delays, modelled by $N\\gg 1$ stochastic delay-differential equations is derived. The resulting approximation contains only two deterministic delay-differential equations but provides excellent predictions concerning the stability and bifurcations of the averaged global variables of the exact large system.

  10. Filtering Additive Measurement Noise with Maximum Entropy in the Mean

    E-Print Network [OSTI]

    Henryk Gzyl; Enrique ter Horst

    2007-09-04T23:59:59.000Z

    The purpose of this note is to show how the method of maximum entropy in the mean (MEM) may be used to improve parametric estimation when the measurements are corrupted by large level of noise. The method is developed in the context on a concrete example: that of estimation of the parameter in an exponential distribution. We compare the performance of our method with the bayesian and maximum likelihood approaches.

  11. Energy Dependent Isospin Asymmetry in Mean-Field Dynamics

    E-Print Network [OSTI]

    T. Gaitanos; M. Kaskulov

    2012-01-27T23:59:59.000Z

    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.

  12. Understanding Sequestration as a Means of Carbon Management Howard Herzog

    E-Print Network [OSTI]

    IN&OUT'ACC CO2'POPx GDP POP x BTU GDP x CO2 BTU 1 (1) (2) Understanding Sequestration as a Means and is a measure of fuel combustion and cement production (5.5 standard of living, BTU/GDP is energy Gt to as "deforestation" (1.6 GtC/yr). By energy intensity, and CO2/BTU is the amount of 1994, the fossil fuel

  13. Abstract--Kernel k-means is an extension of the standard k-means clustering algorithm that identifies nonlinearly separa-

    E-Print Network [OSTI]

    Likas, Aristidis

    Abstract-- Kernel k-means is an extension of the standard k- means clustering algorithm associated with this method, in this work we propose the global kernel k-means algorithm, a deterministic a global search proce- dure consisting of several executions of kernel k-means from suitable

  14. Revisiting k-means: New Algorithms via Bayesian Nonparametrics

    E-Print Network [OSTI]

    Kulis, Brian

    2011-01-01T23:59:59.000Z

    One of the many benefits of Bayesian nonparametric processes such as the Dirichlet process is that they can be used for modeling infinite mixture models, thus providing a flexible answer to the question of how many clusters exist in a data set. For the most part, such flexibility is currently lacking in techniques based on hard clustering, such as k-means, graph cuts, and Bregman hard clustering. For finite mixture models, there is a precise connection between k-means and mixtures of Gaussians, obtained by an appropriate limiting argument. In this paper, we apply a similar technique to an infinite mixture arising from the Dirichlet process (DP). We show that a Gibbs sampling algorithm for DP mixtures approaches a hard clustering algorithm in the limit, and further that the resulting algorithm monotonically minimizes an elegant underlying k-means-like objective that includes a penalty term based on the number of clusters. We generalize our analysis to the case of clustering multiple related data sets through a...

  15. Modeling the creative process of the mind by prime numbers and a simple proof of the Riemann Hypothesis

    E-Print Network [OSTI]

    Shi Huang

    2008-10-01T23:59:59.000Z

    Numbers (positive integers) are the most fundamental creatures of the human mind and the foundation to the scientific understanding of nature. Some mathematicians have suspected a link between prime numbers and secrets of creation. Understanding creativity may help resolve the deepest mysteries of primes. The algorithm that programs the mind and makes the mind creative must be sufficient for the mind to create primes. I found that primes are directly linked to the creation algorithm of the mind. The essence of primes is the duality of uniqueness and uniformity together with the creation algorithm of the mind. The creative process of the mind is lawfully determined but the outcome is unpredictable. The mathematical equivalent or model of this process is the creation of primes. Primes have the inherent property of unpredictability but can be generated by the creation algorithm of the mind, termed the Prime Law, via a fully deterministic lawful process. This new understanding of the essence of primes can deduce some of the best-known properties of primes, including the Riemann Hypothesis (RH). Understanding human creativity is obviously the most fundamental of all scientific enquiries. That this understanding can directly lead to a solution to the RH, widely considered the most important unsolved problem in mathematics, shows a deep connection between creativity and mathematics.

  16. Mean flow and turbulence characteristics in whirling annular seals

    E-Print Network [OSTI]

    Thames, Howard Davis

    1992-01-01T23:59:59.000Z

    of the test rig with the annular seal installed 15: Dimensions of the Annular Rotor . 16: Components of the 3D Laser Doppler Velocimetry System 15 17 . . 19 Figure 17: Raw Doppler signal with high frequency noise and pedestal Figure 18: Doppler signal... 64: Figure 65: Figure 66: Figure 67: Figure 68: Figure 69: Figure 70: Figure 71: Figure 72: Figure 73: Figure 74: Figure 75: Figure 76: Figure 77: Case 2 Vector Plots at Constant Axial Positions 13-17 99 Case 2 Mean Velocity Contours...

  17. Thermal entanglement of spins in mean-field clusters

    SciTech Connect (OSTI)

    Asoudeh, M.; Karimipour, V. [Department of Physics, Sharif University of Technology, P.O. Box 11365-9161, Tehran (Iran, Islamic Republic of)

    2006-06-15T23:59:59.000Z

    We determine thermal entanglement in mean-field clusters of N spin one-half particles interacting via the anisotropic Heisenberg interaction, with and without external magnetic field. For the xxx cluster in the absence of magnetic field we prove that only the N=2 ferromagnetic cluster shows entanglement. An external magnetic field B can only entangle xxx antiferromagnetic clusters in certain regions of the B-T plane. On the other hand, the xxz clusters of size N>2 are entangled only when the interaction is ferromagnetic. Detailed dependence of the entanglement on various parameters is investigated in each case.

  18. Investigation of storm intensity by means of sferics

    E-Print Network [OSTI]

    Sievers, Henry Emmett

    1959-01-01T23:59:59.000Z

    was about 0. 02. On 15 May, a funnel aloft was sight- ed neer Fort Sherman~ Grayson County~ at a time when 175 kc ratio was about 0. 32. On 18 May~ a funnel aloft occurred at Port Neches when sferics ratio was 0. 1; on the 28th~ a funnel aloft occurred... LIBRARy' A & M COLLEGE OF TEXAS INVESTIGATION OF STORM INTENSITY BY MEANS OF SFERICS A Thesis By HENRY EMMETT SIEVERS Major U. S. A. F. Submitted to the Graduate School of the Agricultural and Mechanical College of Texas in partial...

  19. Fusion of heavy ions by means of the Langevin equation

    SciTech Connect (OSTI)

    Mahboub, K.; Zerarka, A.; Foester, V.G. [Departement de Physique Nucleaire, Universite Med Khider, B P 145 Biskra 07000 (Algeria)

    2005-06-01T23:59:59.000Z

    The Langevin equation was used to describe fusion dynamics in two systems, {sup 64}Ni+{sup 100}Mo and {sup 64}Ni+{sup 96}Zr. The corresponding fusion cross sections were calculated for different energies, and the mean angular momentum and its dependence on energy were also obtained. We were able to reproduce experimental fusion cross sections at high energies with the one-body dissipation mechanism. Attention was focused on the fusion barrier calculated with the Yukawa-plus-exponential method.

  20. Relativistic mean field calculations in neutron-rich nuclei

    SciTech Connect (OSTI)

    Gangopadhyay, G.; Bhattacharya, Madhubrata [Department of Physics, University of Calcutta, 92 Acharya Prafulla Chandra Road, Kolkata 700 009 (India); Roy, Subinit [Saha Institute of Nuclear Physics, Block AF, Sector 1, Kolkata- 700 064 (India)

    2014-08-14T23:59:59.000Z

    Relativistic mean field calculations have been employed to study neutron rich nuclei. The Lagrange's equations have been solved in the co-ordinate space. The effect of the continuum has been effectively taken into account through the method of resonant continuum. It is found that BCS approximation performs as well as a more involved Relativistic Continuum Hartree Bogoliubov approach. Calculations reveal the possibility of modification of magic numbers in neutron rich nuclei. Calculation for low energy proton scattering cross sections shows that the present approach reproduces the density in very light neutron rich nuclei.

  1. Method for chemically analyzing a solution by acoustic means

    DOE Patents [OSTI]

    Beller, L.S.

    1997-04-22T23:59:59.000Z

    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.

  2. Method for chemically analyzing a solution by acoustic means

    DOE Patents [OSTI]

    Beller, Laurence S. (Idaho Falls, ID)

    1997-01-01T23:59:59.000Z

    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.

  3. Assessing complexity by means of maximum entropy models

    E-Print Network [OSTI]

    Chliamovitch, Gregor; Velasquez, Lino

    2014-01-01T23:59:59.000Z

    We discuss a characterization of complexity based on successive approximations of the probability density describing a system by means of maximum entropy methods, thereby quantifying the respective role played by different orders of interaction. This characterization is applied on simple cellular automata in order to put it in perspective with the usual notion of complexity for such systems based on Wolfram classes. The overlap is shown to be good, but not perfect. This suggests that complexity in the sense of Wolfram emerges as an intermediate regime of maximum entropy-based complexity, but also gives insights regarding the role of initial conditions in complexity-related issues.

  4. An Empirical Evaluation of Different Initializations on the Number of K-means

    E-Print Network [OSTI]

    Amorim, Renato Cordeiro de

    An Empirical Evaluation of Different Initializations on the Number of K-means Iterations Renato of iterations K-Means takes to converge under different initializations. We have ex- perimented with seven using the Ward criterion when applied to real datasets. Keywords: K-Means, K-Means++, iK-Means, Build

  5. Mean transverse mass of hadrons in proton-proton reactions

    E-Print Network [OSTI]

    V. Yu. Vovchenko; D. V. Anchishkin; M. I. Gorenstein

    2015-01-23T23:59:59.000Z

    An energy dependence of the mean transverse mass $\\langle m_T\\rangle$ at mid-rapidity in proton-proton ($p+p$) reactions is studied within the ultra-relativistic quantum molecular dynamics (UrQMD). The UrQMD model predicts a nonmonotonous dependence of $\\langle m_T\\rangle$ on collision energy for several hadron species: for $\\pi^+$, $p$, $K^+$, and $\\Lambda$ the mean transverse mass has a maximum at the center of mass energy region $5\\le \\sqrt{s}\\le 8$ GeV. These results are a consequence of an interplay of two contributions: 1) excitations and decays of the baryonic resonances $N^*$ and $\\Delta$; 2) excitations and decays of the baryonic strings. The UrQMD results do not show any nonmonotonous dependence of $\\langle m_T\\rangle$ on $\\sqrt{s}$ for $\\pi^-$, $K^{-}$, and antiprotons. Whether a nonmonotonous dependence of $\\langle m_T\\rangle$ at mid-rapidity on the collision energy for $\\pi^+$, $p$, $K^+$, and $\\Lambda$ is relevant for real $p+p$ interactions will be soon checked experimentally by the NA61/SHINE Collaboration.

  6. Mean field theory of assortative networks of phase oscillators

    E-Print Network [OSTI]

    Juan G. Restrepo; Edward Ott

    2014-09-05T23:59:59.000Z

    Employing the Kuramoto model as an illustrative example, we show how the use of the mean field approximation can be applied to large networks of phase oscillators with assortativity. We then use the ansatz of Ott and Antonsen [Chaos 19, 037113 (2008)] to reduce the mean field kinetic equations to a system of ordinary differential equations. The resulting formulation is illustrated by application to a network Kuramoto problem with degree assortativity and correlation between the node degrees and the natural oscillation frequencies. Good agreement is found between the solutions of the reduced set of ordinary differential equations obtained from our theory and full simulations of the system. These results highlight the ability of our method to capture all the phase transitions (bifurcations) and system attractors. One interesting result is that degree assortativity can induce transitions from a steady macroscopic state to a temporally oscillating macroscopic state through both (presumed) Hopf and SNIPER (saddle-node, infinite period) bifurcations. Possible use of these techniques to a broad class of phase oscillator network problems is discussed.

  7. On the Equivalence of Nonnegative Matrix Factorization and K-means - Spectral Clustering

    E-Print Network [OSTI]

    Ding, Chris; He, Xiaofeng; Simon, Horst D.; Jin, Rong

    2008-01-01T23:59:59.000Z

    Guan, and B. Kulis. Kernel k-means: spectral clustering and10] C. Ding and X. He. K-means clustering and principalSpectral relaxation for K-means clustering. Advances in

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

    E-Print Network [OSTI]

    Haq, Saif-ul

    1992-01-01T23:59:59.000Z

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

  9. Effect of ocean mesoscale variability on the mean state of tropical Atlantic climate

    E-Print Network [OSTI]

    Seo, H; Jochum, M; Murtugudde, R; Miller, A J

    2006-01-01T23:59:59.000Z

    Effect of Ocean Mesoscale Variability on the Mean State ofthe effect of oceanic mesoscale features on the mean climatemodel, resolving oceanic mesoscale variability leads to a

  10. Two stochastic mean-field polycrystal plasticity methods

    SciTech Connect (OSTI)

    Tonks, Michael [Los Alamos National Laboratory

    2008-01-01T23:59:59.000Z

    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.

  11. Mean-field Evolution of Fermionic Mixed States

    E-Print Network [OSTI]

    Niels Benedikter; Vojkan Jaksic; Marcello Porta; Chiara Saffirio; Benjamin Schlein

    2015-02-11T23:59:59.000Z

    In this paper we study the dynamics of fermionic mixed states in the mean-field regime. We consider initial states which are close to quasi-free states and prove that, under suitable assumptions on the inital data and on the many-body interaction, the quantum evolution of such initial data is well approximated by a suitable quasi-free state. In particular we prove that the evolution of the reduced one-particle density matrix converges, as the number of particles goes to infinity, to the solution of the time-dependent Hartree-Fock equation. Our result holds for all times, and gives effective estimates on the rate of convergence of the many-body dynamics towards the Hartree-Fock one.

  12. Radiant energy receiver having improved coolant flow control means

    DOE Patents [OSTI]

    Hinterberger, H.

    1980-10-29T23:59:59.000Z

    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.

  13. Shell Model and Mean-Field Description of Band Termination

    E-Print Network [OSTI]

    M. Zalewski; W. Satula; W. Nazarewicz; G. Stoitcheva; H. Zdunczuk

    2007-01-09T23:59:59.000Z

    We study nuclear high-spin states undergoing the transition to the fully stretched configuration with maximum angular momentum I_max within the space of valence nucleons. To this end, we perform a systematic theoretical analysis of non-fully-stretched I_max-2 and I_max-1 f_{7/2}^n seniority isomers and d_{3/2}^{-1} f_{7/2}^{n+1} intruder states in the A~44 nuclei from the lower-fp shell. We employ two theoretical approaches: (i) the density functional theory based on the cranked self-consistent Skyrme-Hartree-Fock method, and (ii) the nuclear shell model in the full sdfp configuration space allowing for 1p-1h cross-shell excitations. We emphasize the importance of restoration of broken angular momentum symmetry inherently obscuring the mean-field treatment of high-spin states. Overall good agreement with experimental data is obtained.

  14. Mean motion resonances from planet-planet scattering

    E-Print Network [OSTI]

    Sean N. Raymond; Rory Barnes; Philip J. Armitage; Noel Gorelick

    2008-09-19T23:59:59.000Z

    Planet-planet scattering is the leading mechanism to explain the large eccentricities of the observed exoplanet population. However, scattering has not been considered important to the production of pairs of planets in mean motion resonances (MMRs). We present results from a large number of numerical simulations of dynamical instabilities in 3-planet systems. We show that MMRs arise naturally in about five percent of cases. The most common resonances we populate are the 2:1 and 3:1 MMRs, although a wide variety of MMRs can occur, including high-order MMRs (up to eleventh order). MMRs are generated preferentially in systems with uneven mass distributions: the smallest planet is typically ejected after a series of close encounters, leaving the remaining, more massive planets in resonance. The distribution of resonant planets is consistent with the phase-space density of resonant orbits, meaning that planets are randomly thrown into MMRs rather than being slowly pulled into them. It may be possible to distinguish between MMRs created by scattering vs. convergent migration in a gaseous disk by considering planetary mass ratios: resonant pairs of planets beyond ~1 AU with more massive outer planets are likely to have formed by scattering. In addition, scattering may be responsible for pairs of planets in high-order MMRs (3:1 and higher) that are not easily populated by migration. The frequency of MMRs from scattering is comparable to the expected survival rate of MMRs in turbulent disks. Thus, planet-planet scattering is likely to be a major contributor to the population of resonant planets.

  15. Otsu method and K-means DongjuLiu, JianYu

    E-Print Network [OSTI]

    Wolberg, George

    Otsu method and K-means DongjuLiu, JianYu Department of Computer Science Beijing Jiaotong optimal threshold, while K-means is a local optimal method. Moreover, K-means does not require computing. Therefore, K-means can be more efficiently extended to multilevel thresholding method, two

  16. Secure TwoParty kMeans Clustering Paul Bunn # Rafail Ostrovsky +

    E-Print Network [OSTI]

    Ostrovsky, Rafail

    Secure Two­Party k­Means Clustering Paul Bunn # Rafail Ostrovsky + Abstract The k­Means Clustering. To date there have been numerous attempts to create specific multiparty k­means clustering protocols a Two­Party k­Means Clustering Protocol that guarantees privacy, and is more e#cient than utilizing

  17. Stability yields a PTAS for k-Median and k-Means Clustering Pranjal Awasthi

    E-Print Network [OSTI]

    Blum, Avrim

    Stability yields a PTAS for k-Median and k-Means Clustering Pranjal Awasthi Carnegie Mellon and k-means clustering in Euclidean spaces, in the setting where k is part of the input (not a constant). For the k-means problem, Ostrovsky et al. [18] show that if the optimal (k-1)-means clustering of the input

  18. Secure TwoParty kMeans Clustering Paul Bunn # Rafail Ostrovsky +

    E-Print Network [OSTI]

    Secure Two­Party k­Means Clustering Paul Bunn # Rafail Ostrovsky + Abstract The k­Means Clustering describe a Two­Party k­Means Clustering Protocol that guarantees privacy, and is more e#cient than of our result is a way to compute e#ciently multiple iter­ ations of k­means clustering without revealing

  19. K-means Hashing: an Affinity-Preserving Quantization Method for Learning Binary Compact Codes

    E-Print Network [OSTI]

    Bernstein, Phil

    K-means Hashing: an Affinity-Preserving Quantization Method for Learning Binary Compact Codes. In this paper, we present a hashing method adopting the k-means quantization. We propose a novel Affinity-Preserving K-means algorithm which simultane- ously performs k-means clustering and learns the binary indices

  20. Color Image Segmentation Using a Spatial K-Means Clustering Algorithm

    E-Print Network [OSTI]

    Whelan, Paul F.

    Color Image Segmentation Using a Spatial K-Means Clustering Algorithm Dana Elena Ilea and Paul F-texture segmentation that is a generalization of the standard K-Means algorithm. The standard K-Means algorithm. In addition, the initialization of the K-Means algorithm is problematic and usually the initial cluster

  1. James-Stein Shrinkage to Improve K-means Cluster Analysis

    E-Print Network [OSTI]

    Hitchcock, David B.

    James-Stein Shrinkage to Improve K-means Cluster Analysis Jinxin Gao Eli Lilly and Company in k-means cluster- ing. We shrink the centroids of clusters toward the overall mean of all data using in the next clustering iteration until convergence. We compare the shrinkage results to the traditional k-means

  2. James-Stein Shrinkage to Improve K-means Cluster Analysis

    E-Print Network [OSTI]

    Hitchcock, David B.

    James-Stein Shrinkage to Improve K-means Cluster Analysis Jinxin Gao Eli Lilly and Company-Stein shrinkage effect in k-means cluster- ing. We shrink the centroids of clusters toward the overall mean of all to the traditional k-means method. Monte Carlo simulation shows that the magnitude of the improvement depends

  3. Improved Smoothed Analysis of the k-Means Method Bodo Manthey

    E-Print Network [OSTI]

    Al Hanbali, Ahmad

    Improved Smoothed Analysis of the k-Means Method Bodo Manthey Heiko R¨oglin Abstract The k-means ) on the smoothed running- time of the k-means method, where n is the number of data points and is the standard larger than the running-time observed in practice. We improve the smoothed analysis of the k-means method

  4. Chimera death induced by the mean-field diffusive coupling

    E-Print Network [OSTI]

    Tanmoy Banerjee

    2014-09-28T23:59:59.000Z

    Recently a novel dynamical state, called the {\\it chimera death}, is discovered in a network of non locally coupled identical oscillators [A. Zakharova, M. Kapeller, and E. Sch\\"oll, Phy.Rev.Lett. 112, 154101 (2014)], which is defined as the coexistence of spatially coherent and incoherent oscillation death state. This state arises due to the interplay of non locality and symmetry breaking and thus bridges the gap between two important dynamical states, namely the chimera and oscillation death. In this paper we show that the chimera death can be induced in a network of generic identical oscillators with mean-field diffusive coupling and thus we establish that a non local coupling is not essential to obtain chimera death. We identify a new transition route to the chimera death state, namely the transition from in-phase synchronized oscillation to chimera death via global amplitude death state. We ascribe the occurrence of chimera death to the bifurcation structure of the network in the limiting condition and show that multi-cluster chimera death states can be achieved by a proper choice of initial conditions.

  5. Nonextensive critical effects in relativistic nuclear mean field models

    E-Print Network [OSTI]

    J. Rozynek; G. Wilk

    2011-02-22T23:59:59.000Z

    We present a possible extension of the usual relativistic nuclear mean field models widely used to describe nuclear matter towards accounting for the influence of possible intrinsic fluctuations caused by the environment. Rather than individually identifying their particular causes we concentrate on the fact that such effects can be summarily incorporated in the changing of the statistical background used, from the usual (extensive) Boltzman-Gibbs one to the nonextensive taken in the form proposed by Tsallis with a dimensionless nonextensivity parameter $q$ responsible for the above mentioned effects (for $q \\rightarrow 1$ one recovers the usual BG case). We illustrate this proposition on the example of the QCD-based Nambu - Jona-Lasinio (NJL) model of a many-body field theory describing the behavior of strongly interacting matter presenting its nonextensive version. We check the sensitivity of the usual NJL model to a departure from the BG scenario expressed by the value of $| q - 1|$, in particular in the vicinity of critical points.

  6. Measuring the Neutron's Mean Square Charge Radius Using Neutron Interferometry

    E-Print Network [OSTI]

    F. E. Wietfeldt; M. Huber; T. C. Black; H. Kaiser; M. Arif; D. L. Jacobson; S. A. Werner

    2005-09-14T23:59:59.000Z

    The neutron is electrically neutral, but its substructure consists of charged quarks so it may have an internal charge distribution. In fact it is known to have a negative mean square charge radius (MSCR), the second moment of the radial charge density. In other words the neutron has a positive core and negative skin. In the first Born approximation the neutron MSCR can be simply related to the neutron-electron scattering length b_ne. In the past this important quantity has been extracted from the energy dependence of the total transmission cross-section of neutrons on high-Z targets, a very difficult and complicated process. A few years ago S.A. Werner proposed a novel approach to measuring b_ne from the neutron's dynamical phase shift in a perfect crystal close to the Bragg condition. We are conducting an experiment based on this method at the NIST neutron interferometer which may lead to a five-fold improvement in precision of b_ne and hence the neutron MSCR.

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

    SciTech Connect (OSTI)

    Wylie, Joann; Hockert, John

    2014-04-24T23:59:59.000Z

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

  8. Young children's flexible use of semantic cues to word meanings: converging evidence of individual and age differences

    E-Print Network [OSTI]

    Deák, Gedeon O; Narasimham, Gayathri

    2013-01-01T23:59:59.000Z

    using ?exibility in the new Flexible Induction of Meanings [with an established test (Flexible Induction of Meanings [example, in studies using the Flexible Induction of Meanings

  9. Joint Inversion of Reservoir Production Measurements and 3D Pre-Stack Seismic Data: Proof Carlos Torres-Verdn, Zhan Wu, Omar J. Varela, Mrinal K. Sen, and Indrajit G. Roy.

    E-Print Network [OSTI]

    Torres-Verdín, Carlos

    in this paper is also suitable for the quantitative interpretation of 4D seismic data. Simulation and InversionJoint Inversion of Reservoir Production Measurements and 3D Pre-Stack Seismic Data: Proof-stack seismic data and fluid production history. The production measurements and the seismic data

  10. Understanding Clusters in Multidimensional Spaces: Making Meaning by Combining Insights from Coordinated Views of

    E-Print Network [OSTI]

    Golbeck, Jennifer

    - 1 - Understanding Clusters in Multidimensional Spaces: Making Meaning by Combining Insights from: Cluster Analysis, Interactive Design, Information Visualization, Coordination, Domain Knowledge, Graphical. #12;- 2 - Understanding Clusters in Multidimensional Spaces: Making Meaning by Combining Insights from

  11. How Fast is the k-means Method? Sariel Har-Peled

    E-Print Network [OSTI]

    Toronto, University of

    How Fast is the k-means Method? Sariel Har-Peled Bardia Sadri Abstract We present polynomial upper and lower bounds on the number of iterations performed by the k-means method (a.k.a. Lloyd's method) for k-means of the point set. We also present a lower bound, showing that in the worst case the k-means heuristic needs

  12. MODERN DISPLAYS: WHY WE SEE DIFFERENT COLORS, AND WHAT IT MEANS? Abhijit Sarkar1,2

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    MODERN DISPLAYS: WHY WE SEE DIFFERENT COLORS, AND WHAT IT MEANS? Abhijit Sarkar1,2 , Laurent Blondé

  13. Tracking in Presence of Total Occlusion and Size Variation using Mean Shift and Kalman Filter

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Tracking in Presence of Total Occlusion and Size Variation using Mean Shift and Kalman Filter Oscar using mean shift and the Kalman filter, which was added to the traditional algorithm as a predictor when mean shift Kalman filter algorithm improves the tracking performance of the classical algorithms

  14. Real Option Pricing with Mean-Reverting Investment and Project Value

    E-Print Network [OSTI]

    Zubelli, Jorge Passamani

    to the invest in an oil field. Like most commodities, oil prices tend to mean-revert, and as a direct result the value of investment in an oil field is also mean-reverting. Consequently, it would not be appropriateReal Option Pricing with Mean-Reverting Investment and Project Value October 1st, 2009 #12;Abstract

  15. Real Option Pricing with Mean-Reverting Investment and Project Value

    E-Print Network [OSTI]

    Zubelli, Jorge Passamani

    is the valuation of the option to the invest in an oil field. Like most commodities, oil prices tend to mean-revert, and as a direct result the value of investment in an oil field is also mean-reverting. Consequently, it wouldReal Option Pricing with Mean-Reverting Investment and Project Value Sebastian Jaimungal , Max

  16. Hybrid K-Means: Combining Regression-Wise and Centroid-Based Criteria for QSAR

    E-Print Network [OSTI]

    Mirkin, Boris

    Hybrid K-Means: Combining Regression-Wise and Centroid-Based Criteria for QSAR Robert Stanforth1 traditional methods of cluster-analysis such as K-Means clustering may not work very well because they capture in the space of input variables. The combined clustering criterion is referred to as the hybrid K-means cri

  17. Constrained K-means Clustering with Background Knowledge Kiri Wagstaff wkiri@cs.cornell.edu

    E-Print Network [OSTI]

    Wagstaff, Kiri L.

    Constrained K-means Clustering with Background Knowledge Kiri Wagstaff wkiri@cs.cornell.edu Claire the popular k-means clustering algorithm can be profitably modi- fied to make use of this information. In ex, 2000). K-means is another popular clustering algorithm that has been used in a variety of application

  18. Continuous K-Means Monitoring with Low Reporting Cost in Sensor Networks

    E-Print Network [OSTI]

    Morik, Katharina

    Continuous K-Means Monitoring with Low Reporting Cost in Sensor Networks Ming Hua, Man Ki Lau, Jian an interesting problem: continuously monitoring k-means clustering of sensor readings in a large sensor network. Given a set of sensors whose readings evolve over time, we want to maintain the k-means of the readings

  19. k-means--: A unified approach to clustering and outlier detection Sanjay Chawla

    E-Print Network [OSTI]

    Gionis, Aristides

    k-means--: A unified approach to clustering and outlier detection Sanjay Chawla Aristides Gionis. Our approach is formalized as a generalization of the k-means problem. We prove that the problem is NP will propose a generalization of the k-means problem with the aim of simultaneously clus- tering data

  20. A Generalization of Proximity Functions for K-means , Hui Xiong2

    E-Print Network [OSTI]

    Xiong, Hui

    A Generalization of Proximity Functions for K-means Junjie Wu1 , Hui Xiong2 , Jian Chen1 , Wenjun@andromeda.rutgers.edu, wjzhou@pegasus.rutgers.edu Abstract K-means is a widely used partitional clustering method. A large amount of effort has been made on finding better proximity (distance) functions for K-means. However

  1. A Prototypes-Embedded Genetic K-means Algorithm Shih-Sian Cheng1,2

    E-Print Network [OSTI]

    Wang, Hsin-Min

    A Prototypes-Embedded Genetic K-means Algorithm Shih-Sian Cheng1,2 , Yi-Hsiang Chao1,2 , Hsin into the chromosomes. The crossover operator is designed to exchange prototypes between two chromosomes. The one-step K-means K-means algorithm (PGKA). With the inherent evolution process of evolutionary algorithms, PGKA has

  2. Fast and Exact Out-of-Core K-Means Clustering Anjan Goswami Ruoming Jin

    E-Print Network [OSTI]

    Jin, Ruoming

    Fast and Exact Out-of-Core K-Means Clustering Anjan Goswami Ruoming Jin Department of Computer Abstract Clustering has been one of the most widely studied top- ics in data mining and k-means clustering has been one of the popular clustering algorithms. K-means requires several passes on the entire

  3. Nov 16th, 2001Copyright 2001, Andrew W. Moore K-means and

    E-Print Network [OSTI]

    Silvano, Cristina

    1 Nov 16th, 2001Copyright © 2001, Andrew W. Moore K-means and Hierarchical Clustering Andrew W gratefully received. Copyright © 2001, Andrew W. Moore K-means and Hierarchical Clustering: Slide 2 Some Data, friendly and infinitely popular alternative... Copyright © 2001, Andrew W. Moore K-means and Hierarchical

  4. K-means Clustering via Principal Component Analysis Chris Ding chqding@lbl.gov

    E-Print Network [OSTI]

    Ding, Chris

    K-means Clustering via Principal Component Analysis Chris Ding chqding@lbl.gov Xiaofeng He xhe component analysis (PCA) is a widely used statistical technique for unsuper- vised dimension reduction. K-means that principal components are the continuous solutions to the discrete cluster membership indicators for K-means

  5. A Deterministic Method for Initializing K-means Clustering Northeastern University

    E-Print Network [OSTI]

    Dy, Jennifer G.

    A Deterministic Method for Initializing K-means Clustering Ting Su Northeastern University Boston@ece.neu.edu Abstract The performance of K-means clustering depends on the initial guess of partition. In this paper, we. The criterion that K-means clustering minimizes is the SSE (sum-squared-error) criterion. The first principal di

  6. Constrained K-means Clustering with Background Knowledge Kiri Wagsta wkiri@cs.cornell.edu

    E-Print Network [OSTI]

    Cardie, Claire

    Constrained K-means Clustering with Background Knowledge Kiri Wagsta#11; wkiri, we demonstrate how the popular k-means clustering algorithm can be pro#12;tably modi- #12;ed to make to constrain their clus- ter placement (Wagsta#11; & Cardie, 2000). K-means is another popular clustering

  7. Kernel k-means, Spectral Clustering and Normalized Cuts Inderjit S. Dhillon

    E-Print Network [OSTI]

    Ghosh, Joydeep

    Kernel k-means, Spectral Clustering and Normalized Cuts Inderjit S. Dhillon Dept. of Computer. of Computer Sciences University of Texas at Austin Austin, TX 78712 kulis@cs.utexas.edu ABSTRACT Kernel k-means an ex- plicit theoretical connection between them. We show the generality of the weighted kernel k-means

  8. K-means Clustering versus Validation Measures: A Data Distribution Perspective

    E-Print Network [OSTI]

    Xiong, Hui

    K-means Clustering versus Validation Measures: A Data Distribution Perspective Hui Xiong Rutgers University jchen@mail.tsinghua.edu.cn ABSTRACT K-means is a widely used partitional clustering method. While there are considerable research efforts to characterize the key features of K-means clustering, further investigation

  9. Analysis of k-means++ for Separable Data Ragesh Jaiswal1

    E-Print Network [OSTI]

    Prasad, Sanjiva

    Analysis of k-means++ for Separable Data Ragesh Jaiswal1 and Nitin Garg1 Department of Computer Science and Engineering, IIT Delhi, New Delhi, India. {cs5070222 , rjaiswal}@cse.iitd.ac.in. Abstract. k-means is the point set), then the sampling algorithm gives an O(1)-approximation for the k-means problem

  10. In Search of Deterministic Methods for Initializing K-Means and Gaussian Mixture

    E-Print Network [OSTI]

    Dy, Jennifer G.

    In Search of Deterministic Methods for Initializing K-Means and Gaussian Mixture Clustering Ting Su of K-means and Gaussian mixture model (GMM) clustering depends on the initial guess of partitions) partitioning and Var-Part (Variance Partitioning). K-means clustering tries to minimize the sum-squared- error

  11. Constrained K-means Clustering with Background Knowledge Kiri Wagsta wkiri@cs.cornell.edu

    E-Print Network [OSTI]

    Wagstaff, Kiri L.

    Constrained K-means Clustering with Background Knowledge Kiri Wagsta#11; wkiri how the popular k-means clustering algorithm can be pro#12;tably modi- #12;ed to make use#11; & Cardie, 2000). K-means is another popular clustering algorithm that has been used in a variety

  12. Mandarin Digital Speech Recognition Based on a Chaotic Neural Network and Fuzzy C-means Clustering

    E-Print Network [OSTI]

    Freeman, Walter J.

    performance than the hard k-means clustering. I. INTRODUCTION Digital speech recognition can be widely used of the feature vectors varies along with the lasting time of different digital speech. So, the k-means clustering the extracted features of ambiguous Mandarin digital speech in comparison with the k-means clustering algorithm

  13. Agglomerative Fuzzy K-Means Clustering Algorithm with Selection of Number of Clusters

    E-Print Network [OSTI]

    Cheung, Yiu-ming

    Agglomerative Fuzzy K-Means Clustering Algorithm with Selection of Number of Clusters Mark Junjie--In this paper, we present an agglomerative fuzzy K-Means clustering algorithm for numerical data, an extension to the standard fuzzy K-Means algorithm by introducing a penalty term to the objective function to make

  14. Learning Manifolds with K-Means and K-Flats Guille D. Canas ,

    E-Print Network [OSTI]

    Poggio, Tomaso

    Learning Manifolds with K-Means and K-Flats Guille D. Canas , Tomaso Poggio , Lorenzo A. Rosasco samples. In particular, we consider piecewise constant and piecewise linear estima- tors induced by k-means and k-flats, and analyze their performance. We extend previous results for k-means in two separate

  15. Learning feature weights for K-Means clustering using the Minkowski metric

    E-Print Network [OSTI]

    Amorim, Renato Cordeiro de

    Learning feature weights for K-Means clustering using the Minkowski metric Renato Cordeiro de or award at this or any other academic institution. Signed: Renato Cordeiro de Amorim #12;iii Abstract K-Means are taken from a database just because they are available. Another issue of our concern is that K-Means

  16. A Simple Linear Time (1 + )-Approximation Algorithm for k-Means Clustering in Any Dimensions

    E-Print Network [OSTI]

    Sen, Sandeep

    A Simple Linear Time (1 + )-Approximation Algorithm for k-Means Clustering in Any Dimensions Amit@cse.iitd.ernet.in Abstract We present the first linear time (1+)-approximation al- gorithm for the k-means problem for fixed of the most popular definitions of cluster- ing is the k-means clustering problem. Given a set of points P

  17. How Fast is the k-means Method? Sariel Har-Peled

    E-Print Network [OSTI]

    Har-Peled, Sariel

    How Fast is the k-means Method? Sariel Har-Peled Bardia Sadri October 12, 2004 Abstract We present polynomial upper and lower bounds on the number of iterations per- formed by the k-means method (a.k.a. Lloyd's method) for k-means clustering. Our upper bounds are polynomial in the number of points, number

  18. How Fast is the k-means Method? Sariel Har-Peled

    E-Print Network [OSTI]

    Toronto, University of

    How Fast is the k-means Method? Sariel Har-Peled Bardia Sadri January 2, 2010 Abstract We present polynomial upper and lower bounds on the number of iterations performed by the k-means method (a.k.a. Lloyd's method) for k-means clustering. Our upper bounds are polynomial in the number of points, number

  19. Learning Feature Representations with K-means Adam Coates and Andrew Y. Ng

    E-Print Network [OSTI]

    Bejerano, Gill

    Learning Feature Representations with K-means Adam Coates and Andrew Y. Ng Stanford University effectively. Recently, it has been found that K-means clustering can be used as a fast alternative training. On the other hand, employing this method in practice is not completely trivial: K-means has several limitations

  20. A Modified K-Means Clustering with a Density-Sensitive Distance Metric

    E-Print Network [OSTI]

    Bo, Liefeng

    A Modified K-Means Clustering with a Density-Sensitive Distance Metric Ling Wang, Liefeng Bo {wliiip, blf0218}@163.com, lchjiao@mail.xidian.edu.cn Abstract. The K-Means clustering is by far the most characteristic of data clus- tering. By using this dissimilarity measure, a density-sensitive K-Means clustering

  1. Moment-based Uniform Deviation Bounds for k-means and Friends

    E-Print Network [OSTI]

    Wang, Deli

    Moment-based Uniform Deviation Bounds for k-means and Friends Matus Telgarsky Sanjoy Dasgupta are fit to m points by heuristically minimizing the k-means cost; what is the corresponding fit over this mechanism, a soft clustering variant of k-means cost is also considered, namely the log likelihood of a Gaus

  2. Penalized and weighted K-means for clustering with noise and prior

    E-Print Network [OSTI]

    Tseng, George C. "Chien-Cheng"

    Penalized and weighted K-means for clustering with noise and prior information incorporation George;Outline Intro of cluster analysis Model-based clustering Heuristic methods Hierarchical clustering K-means & K-memoids ...... A motivating example (yeast cell cycle microarray data) Penalized weighted K-means

  3. Paternal age related schizophrenia (PARS): latent subgroups detected by k-means clustering analysis

    E-Print Network [OSTI]

    Ahn, Hongshik

    1 Paternal age related schizophrenia (PARS): latent subgroups detected by k-means clustering of schizophrenia with distinct etiology, pathophysiology and symptoms. This study uses a k-means clustering-R) and olfaction (University of Pennsylvania Smell Identification Test; UPSIT). We conducted a series of k-means

  4. REGULARISED k-MEANS CLUSTERING FOR DIMENSION REDUCTION APPLIED TO SUPERVISED CLASSIFICATION

    E-Print Network [OSTI]

    McLachlan, Geoff

    REGULARISED k-MEANS CLUSTERING FOR DIMENSION REDUCTION APPLIED TO SUPERVISED CLASSIFICATION]. The most popular clustering methods are hierarchical and k-means. However, several key issues for the analysis of large datasets is limited. The procedure k-means is relatively scalable and efficient when

  5. Worst-Case and Smoothed Analysis of k-Means Clustering with Bregman Divergences

    E-Print Network [OSTI]

    Al Hanbali, Ahmad

    Worst-Case and Smoothed Analysis of k-Means Clustering with Bregman Divergences Bodo Manthey1 Department of Quantitative Economics, Maastricht University heiko@roeglin.org Abstract. The k-means algorithm entropy, which is commonly used to cluster web pages. In this paper, we analyze the running-time of the k-means

  6. Refining k-means by Bootstrap and Data Depth Aurora Torrente and Juan Romo

    E-Print Network [OSTI]

    Romo, Juan

    Refining k-means by Bootstrap and Data Depth Aurora Torrente and Juan Romo Departamento de Estad two simple, computationally fast methods that allow the refinement of the initial points of k-means to cluster a given data set. They are based on alternating k-means and the search of the deepest (most

  7. Smoothed Analysis of the k-Means Method DAVID ARTHUR, Stanford University, Department of Computer Science

    E-Print Network [OSTI]

    Al Hanbali, Ahmad

    A Smoothed Analysis of the k-Means Method DAVID ARTHUR, Stanford University, Department of Computer of Bonn, Department of Computer Science The k-means method is one of the most widely used clustering analysis, the k-means method has been studied in the model of smoothed analysis. But even the smoothed

  8. Multi-Resolution K-Means Clustering of Time Series and Application to Images

    E-Print Network [OSTI]

    Lin, Jessica

    Multi-Resolution K-Means Clustering of Time Series and Application to Images Michail Vlachos using orthonormal decompositions, we present an anytime version of the k-Means algorithm. The algorithm centers for k-Means is mitigated by assigning the final centers at each approximation level as the initial

  9. Impartial Trimmed k-means for Functional Juan Antonio Cuesta-Albertos a 1

    E-Print Network [OSTI]

    Cuesta, Juan Antonio

    Impartial Trimmed k-means for Functional Data Juan Antonio Cuesta-Albertos a 1 , Ricardo Fraiman b. For cluster analysis, impartial trimming techniques offer a resistant alternative to k-means, one of the most widely used cluster methods. A quick description of k-means is the following: · For a fixed value of k

  10. Efficient Disk-based K-means Clustering for Relational Databases

    E-Print Network [OSTI]

    Ordonez, Carlos

    1 Efficient Disk-based K-means Clustering for Relational Databases Carlos Ordonez Edward Omiecinski Teradata, NCR Georgia Institute of Technology San Diego, CA 92127, USA Atlanta, GA 30332, USA Abstract--K-means- plementation of K-means. The proposed algorithm is designed to work inside a relational database management

  11. Decentralized K-means using randomized Gossip protocols for clustering large datasets

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Decentralized K-means using randomized Gossip protocols for clustering large datasets Jerome Fellus datasets distributed over a network of computational units using a decentralized K-means algorithm with a centralized K-means, provided a bound on the number of messages each node has to send is met. We provide

  12. CONSENSUS-BASED K-MEANS ALGORITHM FOR DISTRIBUTED LEARNING USING WIRELESS SENSOR NETWORKS

    E-Print Network [OSTI]

    Pleite, Alfonso Cano

    CONSENSUS-BASED K-MEANS ALGORITHM FOR DISTRIBUTED LEARNING USING WIRELESS SENSOR NETWORKS Pedro A centralized clustering ap- proaches impractical. This paper develops two decentralized k-means algorithms that distributed k- means are less sensitive to initialization than their centralized counterparts resulting

  13. Estimating quality factor and mean grain size of sediments from high-resolution marine seismic data

    E-Print Network [OSTI]

    National Oceanography Centre Southampton

    model of quality factor against mean grain size from published sediment studies, the mean grain sizes with frequency. The Biot-Stoll model shows a marked velocity dispersion and nonlinear transition in compressionalEstimating quality factor and mean grain size of sediments from high-resolution marine seismic data

  14. A model of reduced kinetics for alkane oxidation using constituents and species: Proof of concept for n-heptane

    SciTech Connect (OSTI)

    Harstad, Kenneth; Bellan, Josette [4800 Oak Grove Drive, M/S 125-109, Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109-8099 (United States)

    2010-08-15T23:59:59.000Z

    A methodology for deriving a reduced kinetic mechanism for alkane oxidation is described and applied to n-heptane. The model is based on partitioning the species of the skeletal kinetic mechanism into lights, defined as those having a carbon number smaller than 3, and heavies, which are the complement in the species ensemble. For modeling purposes, the heavy species are mathematically decomposed into constituents, which are similar but not identical to groups in the group additivity theory. From analysis of the LLNL skeletal mechanism in conjunction with CHEMKIN II, it is shown that a similarity variable can be formed such that the appropriately scaled global constituent molar density exhibits a self-similar behavior over a very wide range of equivalence ratios, initial pressures and initial temperatures that is of interest for predicting n-heptane oxidation. Furthermore, the oxygen and water molar densities are shown to display a quasi-linear behavior with respect to the similarity variable. The light species ensemble is partitioned into quasi-steady and unsteady species. The concept is tested by using tabular information from the LLNL skeletal mechanism in conjunction with CHEMKIN II. The test reveals that the similarity concept is indeed justified and that the combustion temperature is well predicted, but that the ignition time is overpredicted. To palliate this deficiency, functional modeling is incorporated into our conceptual reduction. Due to the reduction process, models are also included for the global constituent molar density, the kinetics-induced enthalpy evolution of the heavy species, the contribution to the reaction rate of the unsteady lights from the heavies, the molar density evolution of oxygen and water, the mole fractions of the quasi-steady light species and the mean molar heat capacity of the heavy species. The model is compact in that there are only nine species-related progress variables. Results are presented comparing the performance of the model for predicting the temperature and species evolution with that of the skeletal mechanism. The model reproduces the ignition time over a wide range of equivalence ratios, initial pressure and initial temperature. (author)

  15. A fast version of the k-means classification algorithm for astronomical applications

    E-Print Network [OSTI]

    Ordovás-Pascual, I

    2014-01-01T23:59:59.000Z

    Context. K-means is a clustering algorithm that has been used to classify large datasets in astronomical databases. It is an unsupervised method, able to cope very different types of problems. Aims. We check whether a variant of the algorithm called single-pass k-means can be used as a fast alternative to the traditional k-means. Methods. The execution time of the two algorithms are compared when classifying subsets drawn from the SDSS-DR7 catalog of galaxy spectra. Results. Single-pass k-means turn out to be between 20 % and 40 % faster than k-means and provide statistically equivalent classifications. This conclusion can be scaled up to other larger databases because the execution time of both algorithms increases linearly with the number of objects. Conclusions. Single-pass k-means can be safely used as a fast alternative to k-means.

  16. A Simple Linear Time (1 + #)Approximation Algorithm for kMeans Clustering in Any Dimensions

    E-Print Network [OSTI]

    Kumar, Amit

    A Simple Linear Time (1 + #)­Approximation Algorithm for k­Means Clustering in Any Dimensions Amit@cse.iitd.ernet.in Abstract We present the first linear time (1+#)­approximation al­ gorithm for the k­means problem for fixed of the most popular definitions of cluster­ ing is the k­means clustering problem. Given a set of points P

  17. Method and means for continuous precipitation of easy-dry, granular uranium peroxide

    DOE Patents [OSTI]

    Cahill, Allen E. (Roland, IA); Burkhart, deceased, Lawrence E. (late of Ames, IA)

    1992-02-28T23:59:59.000Z

    A method and means for continuous precipitation of granular uranium peroxide. The reaction vessel and agitation method practiced in it avoid filter plugging and caking problems.

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

    SciTech Connect (OSTI)

    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

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

  19. Research papers The vertical structure of time-mean estuarine circulation in a shallow,

    E-Print Network [OSTI]

    Polton, Jeff

    the mean fluid depth the residual circulation is well modelled by a water column of uniform density 2013 Accepted 5 March 2013 Available online 27 March 2013 Keywords: Tidal residual ROFI HF radar ADCP) model shows that the time-mean depth weighted flow, or the residual circulation, is usefully constrained

  20. Complementary relationship of evaporation and the mean annual water-energy balance

    E-Print Network [OSTI]

    Szilagyi, Jozsef

    Complementary relationship of evaporation and the mean annual water-energy balance Jozsef Szilagyi1 and the mean annual water-energy balance, Water Resour. Res., 45, W09201, doi:10.1029/2009WR008129. [2] Gerrits balance necessarily operates at the catchment scale, plus E0 depends predominantly on the available energy