National Library of Energy BETA

Sample records for means proof sufficient

  1. Weakly sufficient quantum statistics

    E-Print Network [OSTI]

    Katarzyna Lubnauer; Andrzej ?uczak; Hanna Pods?dkowska

    2009-11-23

    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. Deep inference proof theory equals categorical proof theory minus coherence

    E-Print Network [OSTI]

    Pratt, Vaughan

    Deep inference proof theory equals categorical proof Abstract This paper links deep inference proof theory, as studied by Gugliel* *mi et al., to categorical proof theory in the sense of Lambek et al.. It obs* *erves how deep

  3. Proof Planning Coinduction

    E-Print Network [OSTI]

    Dennis, Louise

    . This automation is based on the ideas of proof planning [Bundy 88]. Proof planning as the name suggests, plans the higher level steps in a proof without performing the formal checking which is also required for a verification. The automation has focused on the use...

  4. PROOF MINING: A SYSTEMATIC WAY OF ANALYSING PROOFS IN MATHEMATICS

    E-Print Network [OSTI]

    Haller-Dintelmann, Robert

    PROOF MINING: A SYSTEMATIC WAY OF ANALYSING PROOFS IN MATHEMATICS ULRICH KOHLENBACH AND PAULO OLIVA Abstract. We call proof mining the process of logically analyzing proofs in mathe- matics with the aim of the main techniques used in proof mining. We show that those techniques not only apply to proofs based

  5. Energy Strategic Planning & Sufficiency Project

    SciTech Connect (OSTI)

    Retziaff, Greg

    2005-03-30

    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.

  6. Deep inference proof theory equals categorical proof theory minus coherence

    E-Print Network [OSTI]

    Pratt, Vaughan

    Deep inference proof theory equals categorical proof theory minus coherence DOMINIC J. D. HUGHES Stanford University October 6, 2004 Abstract This paper links deep inference proof theory, as studied by Guglielmi et al., to categorical proof theory in the sense of Lambek et al.. It observes how deep inference

  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. Alternative Proofs of Ten Inequalities

    E-Print Network [OSTI]

    Adilsultan Lepes

    2014-12-06

    This article offers different proofs of ten inequalities from those already published. So that the readers can see for themselves, the tasks specified in the condition of the source and classical inequalities which used in previously published proofs.

  9. Proofs About Lists Using Ellipsis

    E-Print Network [OSTI]

    Bundy, Alan; Richardson, Julian

    In this paper we explore the use of ellipsis in proofs about lists. We present a higher-order formulation of elliptic formulae, and describe its implementation in the LambdaClam proof planner. We use an unambiguous ...

  10. Use of the Necessary and Sufficient Process

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

    1996-01-25

    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. Probabilistic Proof Systems Oded Goldreichy

    E-Print Network [OSTI]

    Goldreich, Oded

    cation procedures, giving rize to interactive proof systems, seem much more powerful (i.e., \\expressiveProbabilistic Proof Systems (A Survey) Oded Goldreichy Department of Applied Mathematics of probabilistic proof systems have played a central role in the de- velopment of computer science in the last

  12. Hierarchical Correctness Proofs Distributed Algorithms

    E-Print Network [OSTI]

    Tuttle, Mark R.

    distributed networks. With this model we are able to construct modular, hierarchical correct- ness proofs these messages and process variables can be extremely di cult, and the resulting proofs of correct- ness of the full algorithm's correct- ness. Some time ago, we began to consider this approach of proof by re nement

  13. Proof: Weyl's Subtracting

    E-Print Network [OSTI]

    Jakobson, Dmitry

    . · Spectral function: Let x, y X. Nx,y () = i i(x)i(y). If x = y, let Nx,y () := Nx (). Local Weyl's law: Nx,y () = O(n-1), x = y; Nx () = Cnn + Rx (), Rx () = O(n-1); Rx () - local remainder. · We study lower bounds for R(), Rx () and Nx,y (). #12;General Results Negative Curvature Resonances Proof

  14. Interactive proofs April 12, 2014

    E-Print Network [OSTI]

    Babai, László

    :10.1145/103418.103428. [141] L´aszl´o Babai. Transparent proofs and limits to approximation. In Proc] L´aszl´o Babai. Transparent proofs. FOCUS (MAA Newsletter), 12(3):1­2, June 1992. [123] L´aszl´o Babai. Bounded round interactive proofs in finite groups. SIAM J. Discrete Math., 5(1):88­111, 1992. doi

  15. Proof-Theoretic Analysis of Termination Proofs Wilfried Buchholz

    E-Print Network [OSTI]

    Buchholz, Wilfried

    Proof-Theoretic Analysis of Termination Proofs Wilfried Buchholz Mathematisches Institut der the order type of a termination ordering #30; places a bound on the lengths of reduction sequences; is the order type of a termination ordering #30; for a #12;nite rewrite system R then the function G#3; from

  16. Statistical Learning : stability is sufficient for generalization and necessary and sufficient for consistency of Empirical Risk

    E-Print Network [OSTI]

    Poggio, Tomaso

    (ERM) and almost-ERM when the minimizer does not exist need to be consis- tent, so that they may algorithm satisfying it and, (b) necessary and sufficient for generalization and consistency of ERM. Thus for general learning algorithms while subsuming the classical conditions for consistency of ERM. We discuss al

  17. Statistical Learning : CVEEEloo stability is sufficient for generalization and necessary and sufficient for consistency of

    E-Print Network [OSTI]

    Poggio, Tomaso

    Risk Minimization (ERM) and almost-ERM when the minimizer does not exist need to be consistent, so, (b) necessary and sufficient for con- sistency of ERM. Thus CVEEEloo stability is a weak form subsuming the classical conditions for consistency of ERM. We discuss alternative forms of stability

  18. Proof Planning for Automating Hardware Verification

    E-Print Network [OSTI]

    Cantu-Ortiz, Francisco Javier

    In this thesis we investigate the applicability of proof planning to automate the verification of hardware systems. Proof planning is a meta-level reasoning technique which captures patterns of proof common to a family of theorems. It contributes...

  19. A Proof Planning Framework For Isabelle

    E-Print Network [OSTI]

    Dixon, Lucas

    Proof planning is a paradigm for the automation of proof that focuses on encoding intelligence to guide the proof process. The idea is to capture common patterns of reasoning which can be used to derive abstract descriptions ...

  20. Energy Strategic Planning & Self-Sufficiency Project

    SciTech Connect (OSTI)

    Greg Retzlaff

    2005-03-30

    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.

  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: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power Administration would likeUniverse (Journal Article) |Final Reportthe GrowingDirectProof ofProof ofProof of

  2. A MECHANICAL PROOF OF THE CHURCHROSSER THEOREM

    E-Print Network [OSTI]

    Boyer, Robert Stephen

    A MECHANICAL PROOF OF THE CHURCHROSSER THEOREM N. Shankar Technical Report 45 March 1985 Institute and MartinLof. The mechanical proof illustrates the effective use of the BoyerMoore theorem prover in proof of functions and computations. The programming language in which the mechanical proof was formalized, a variant

  3. 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: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power Administration would likeUniverse (Journal Article) |Final Reportthe GrowingDirectProof ofProof of

  4. Sufficient Stochastic Maximum Principle in a Regime-Switching Diffusion Model

    SciTech Connect (OSTI)

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

    2011-10-15

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

  5. Running head: Reading Mathematical Proofs

    E-Print Network [OSTI]

    Inglis, Matthew

    , and is increasingly seen as essential to a coherent school-level mathematics curriculum (e.g., Cowen, 1991; Hanna, 2007; National Council of Teachers of Mathematics [NCTM], 2000; Selden & Selden, 2003; Weber, 2008. #12;4 In this paper we report the first direct comparison of the proof reading behavior of research

  6. Proof Nets and Boolean Circuits Kazushige Terui

    E-Print Network [OSTI]

    Terui, Kazushige

    -depth family of proof nets. We then have APNi = ACi(stCONN2). 1. Introduction Proof nets [4, 2, 6 [5, 7, 11]. Boolean circuits (see [17, 1, 16] for instance) are one of the standard models

  7. Closing a Loophole in Factorization Proofs

    SciTech Connect (OSTI)

    Bodwin, Geoffrey T. [HEP Division, Argonne National Laboratory, 9700 South Cass Avenue, Argonne, Illinois, 60439 (United States); Garcia i Tormo, Xavier [HEP Division, Argonne National Laboratory, 9700 South Cass Avenue, Argonne, Illinois, 60439 (United States); Department of Physics, University of Alberta, Edmonton, Alberta, T6G 2G7 (Canada); Lee, Jungil [Department of Physics, Korea University, Seoul 136-701 (Korea, Republic of)

    2011-05-23

    We address the possibility in factorization proofs that low-energy collinear gluons can couple to soft gluons.

  8. Probabilistic Proof Systems (A Survey) \\Lambda

    E-Print Network [OSTI]

    Goldreich, Oded

    to interactive proof systems, seem much more powerful (i.e., ``expressive'') than their deterministic counProbabilistic Proof Systems (A Survey) \\Lambda Oded Goldreich y Department of Applied Mathematics of probabilistic proof systems have played a central role in the de velopment of computer science in the last

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

  10. Higman's lemma The computational content of Nash-William's proof A Constructive Proof of Higman's Lemma

    E-Print Network [OSTI]

    Middeldorp, Aart

    Higman's lemma The computational content of Nash-William's proof A Constructive Proof of Higman;Higman's lemma The computational content of Nash-William's proof Overview of paper `Applying G The computational content of Nash-William's proof Overview of paper `Applying G¨odel's Dialectica interpretation

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

    E-Print Network [OSTI]

    Mejía Ramos, Juan Pablo

    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

  12. Graphical representation of canonical proof: two case studies

    E-Print Network [OSTI]

    Heijltjes, Willem Bernard

    2012-06-25

    An interesting problem in proof theory is to find representations of proof that do not distinguish between proofs that are morally the same. For many logics, the presentation of proofs in a traditional formalism, such ...

  13. Sufficient Conditions for Uniform Stability of Regularization Algorithms

    E-Print Network [OSTI]

    Poggio, Tomaso

    2009-12-01

    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. 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: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 Outreach Home Room NewsInformation Current HABFES OctoberEvanServices »First Observation of PlasmaronsProof of

  15. 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: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power Administration would likeUniverse (Journal Article) |Final Reportthe GrowingDirectProof of Ferromagnetic Carbon

  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: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power Administration would likeUniverse (Journal Article) |Final Reportthe GrowingDirectProof of Ferromagnetic

  17. 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: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power Administration would likeUniverse (Journal Article) |Final Reportthe GrowingDirectProof of FerromagneticFirst

  18. 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: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power Administration would likeUniverse (Journal Article) |Final Reportthe GrowingDirectProof of

  19. An interesting temporalization of Gdel's ontological proof

    E-Print Network [OSTI]

    Gavriel Segre

    2009-04-24

    Recent theologies concerning God's death after Auschwitz are mathematically formalized through a suitable temporalization of G\\"{o}del's Ontological Proof.

  20. Numbers, proof and 'all that jazz'.

    E-Print Network [OSTI]

    2007-01-08

    CHAPTER 1. Numbers, proof and 'all that jazz'. There is a fundamental difference between mathematics and other sciences. In most sciences, one does...

  1. Using Proof-Planning to Investigate the Structure of Proof in Non-Standard Analysis

    E-Print Network [OSTI]

    Maclean, Ewen

    2004-01-01

    This thesis presents an investigation into the structure of proof in non-standard analysis using proof-planning. The theory of non-standard analysis, developed by Robinson in the 1960s, offers a more algebraic way of ...

  2. Necessary and Sufficient Conditions for Differentiating Under the Integral Sign

    E-Print Network [OSTI]

    Talvila, Erik

    Necessary and Sufficient Conditions for Differentiating Under the Integral Sign Erik Talvila 1. INTRODUCTION. When we have an integral that depends on a parameter, say F(x) = b a f (x, y) dy, it is often-test and Lebesgue Dominated Convergence). If we use the Henstock integral, then it is not difficult to give

  3. April 23, 2003 Statistical Learning : CVloo stability is sufficient for

    E-Print Network [OSTI]

    Poggio, Tomaso

    @ai.mit.edu #12;Abstract Solutions of learning problems by Empirical Risk Minimization (ERM) and almost-ERM when- ror. Our second observation is that for bounded loss classes, CVloo stability of ERM is necessary and sufficient for consistency of ERM. We conclude that CVloo stability is the weakest form of stability which

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

  5. Algorithmic proof of Barnette's Conjecture

    E-Print Network [OSTI]

    I. Cahit

    2009-04-22

    In this paper we have given an algorithmic proof of an long standing Barnette's conjecture (1969) that every 3-connected bipartite cubic planar graph is hamiltonian. Our method is quite different than the known approaches and it rely on the operation of opening disjoint chambers, bu using spiral-chain like movement of the outer-cycle elastic-sticky edges of the cubic planar graph. In fact we have shown that in hamiltonicity of Barnette graph a single-chamber or double-chamber with a bridge face is enough to transform the problem into finding specific hamiltonian path in the cubic bipartite graph reduced. In the last part of the paper we have demonstrated that, if the given cubic planar graph is non-hamiltonian then the algorithm which constructs spiral-chain (or double-spiral chain) like chamber shows that except one vertex there exists (n-1)-vertex cycle.

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

    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.

  7. Other trigonometric proofs of Pythagoras theorem

    E-Print Network [OSTI]

    Nuno Luzia

    2015-02-23

    Only very recently a trigonometric proof of the Pythagoras theorem was given by Zimba \\cite{1}, many authors thought this was not possible. In this note we give other trigonometric proofs of Pythagoras theorem by establishing, geometrically, the half-angle formula $\\cos\\theta=1-2\\sin^2 \\frac{\\theta}{2}$.

  8. Inverse Spectral Problem Proof of Main Result

    E-Print Network [OSTI]

    Stanhope, Liz

    Inverse Spectral Problem Proof of Main Result Geodesics on Weighted Projective Spaces Zuoqin Wang of Main Result Inverse Spectral Geometry Main Result Inverse Spectral Geometry Manifold setting: (M, g Proof of Main Result Inverse Spectral Geometry Main Result Inverse Spectral Geometry Manifold setting

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

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

  11. A proof complexity generator Jan Krajcek #+

    E-Print Network [OSTI]

    Krajíèek, Jan

    A proof complexity generator Jan Kraj??�Ÿcek #+ Academy of Sciences and Charles University, Prague for which the pigeonhole principle is exponentially hard. We define a class of generators generalizing g]) that g is hard (resp. exponentially hard) proof complexity generator for P. The #­formulas have been

  12. A proof complexity generator Jan Krajicek

    E-Print Network [OSTI]

    Krajíèek, Jan

    A proof complexity generator Jan Kraj´icek Academy of Sciences and Charles University, Prague for which the pigeonhole principle is exponentially hard. We define a class of generators generalizing g) proof complexity generator for P. The -formulas have been defined in [7] and independently in [2

  13. PROOF COPY 001502FCT Science and

    E-Print Network [OSTI]

    Rajasekaran, Sanguthevar

    PROOF COPY 001502FCT PROOF COPY 001502FCT Journal of Fuel Cell Science and Technology Technical Processing, Mathematical Modeling, Fuel Cell, Computing Applications 1 Introduction The importance of the fuel cell technology has been felt in the past three decades as revealed by the amount

  14. Towards a sufficiency-driven business model: experiences and opportunities

    E-Print Network [OSTI]

    Bocken, N. M. P.; Short, S. W.

    2015-07-29

    world consumption patterns ever more rapid discarding and replacement of products and materials, and in the case of food, over-consumption reaching endemic proportions in some countries. Political, social and economic systems champion and celebrate... -driven business models might look like. Reference is made to existing sufficiency perspectives (e.g. Dyllick and Hockerts, 2002; Bocken et al., 2014) and the waste hierarchy (Price and Joseph, 2000) as a well-established framework to evaluate the environmental...

  15. Embedding Hardware Description Languages in Proof Systems

    E-Print Network [OSTI]

    Goossens, Kees G W

    The aim of this thesis is to investigate the integration of hardware description lamguaages (HDLs) and automated proof systems. Simulation of circuit designs written in an HDL is an important method of testing their ...

  16. An elementary proof that P =/= NP

    E-Print Network [OSTI]

    Bhupinder Singh Anand

    2007-02-27

    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.

  17. Proof Transformations in Higher-Order Logic

    E-Print Network [OSTI]

    Spirtes, Peter

    is given and its partial correctness is proven. Strong termination of this al- gorithm remains a conjectureProof Transformations in Higher-Order Logic Frank Pfenning January 1987 Submitted in partial

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

  19. required to build the proof lattices in the example set considered so far. We believe that the practicality of the proposed approach is enhanced by the structure

    E-Print Network [OSTI]

    Buy, Ugo A.

    . A. Emerson. Design and Synthesis of Synchronization Skeletons Using BranchingTime Temporal Logic Machinery, 18, 8, Au gust 1975. [4] E. W. Dijkstra. Cooperating Sequential Processes, Technical Report EWD have wedded our proof lattice machinery to the RSTG construction. This means that proof flow

  20. A non-topological proof for the impossibility of k-set agreement

    E-Print Network [OSTI]

    Attiya, Hagit

    A non-topological proof for the impossibility of k-set agreement Hagit Attiya1 and Armando Casta~neda to t processes crash. This means that #12;2 Attiya and Casta~neda if the number of failures is strictly smaller

  1. 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-Expansion -- Reversible Conservation of Energy and Entropy V. Physical Explanation and Reasoning Proof of the Second Law WITH REASONING PROOF OF THE SECOND LAW OF ENERGY DEGRADATION - M. KOSTIC, APRIL 6, 2006 PAGE 2 of 16 The theory

  2. Combining Weather Data for a Dataset Sufficient for Generating High-Resolution Weather Prediction Models

    SciTech Connect (OSTI)

    Fox, Jared B.; Ghan, Steven J.

    2004-03-01

    Assessments of the effects of climate change typically require information at scales of 10 km or less. In regions with complex terrain, much of the spatial variability in climate (temperature, precipitation, and snow water) occurs on scales below 10 km. Since the typical global climate model simulations grid size is more than 200 km, it is necessary to develop models with much higher resolution. Unfortunately, no datasets currently produced are both highly accurate and provide data at a sufficiently high resolution. As a result, current global climate models are forced to ignore the important climate variations that occur below the 200 km scale. This predicament prompted the creation of a global hybrid dataset with information for precipitation, temperature, and relative humidity. The resulting dataset illustrated the importance of having high-resolution datasets and gives clear proof that regions with complex terrain require a fine resolution grid to give an accurate represent at ion of their climatology. For example, the Andes Mountains in Chile cause a temperature shift of more than 25C within the same area as a single 2.5 grid cell from the NCEP dataset. Fortunately the CRU, U.D., GPCP, and NCEP datasets, when hybridized, are able to provide both precision and satisfactory resolution with global coverage. This composite will enable the development of both high-resolution models and quality empirical downscaling methods--both of which are necessary for scientists to more accurately predict the effects of global climate change. Without accurate long-term forecasts, climatologists and policy makers will not have the tools they need to effectively reduce the negative effects human activity have on the earth.

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

    SciTech Connect (OSTI)

    Bucher, R .G.; Nuclear Engineering Division

    2009-01-01

    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.

  4. Method of Indicators Binomial mean (again)

    E-Print Network [OSTI]

    Adler, Robert J.

    ' & $ % Lecture 15 Method of Indicators Binomial mean (again) Tail sum formula Boole's inequality{Tr} = r/p. 7 #12;' & $ % E{X} = n k=1 P{X k} Proof 1 (Algebra) E{X} = n k=0 kpk = p1 +p2 +p2 +p3 +p3 +p3}] + . . . + 6 [P{M 6} - P{M 7}] = 6 k=1 P{M k} 11 #12;' & $ % Boole's inequality: P{X 1} E{X}. (If X takes

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

    E-Print Network [OSTI]

    Roland Donninger; Wilhelm Schlag; Avy Soffer

    2010-07-12

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

  6. Euclidean proofs of projective geometry theorems /

    E-Print Network [OSTI]

    Farner, Elmer Franklin

    0, X, Y are col linear. J1 THEOREM 8 . If the hexagon, ABCDEF, be inscribed in a circle, the intersections, 0,N,M, of the pairs of sides, AB and DE, AF and CD, BC and EF, respectively, are coll inear. Proof: Ancle BCF = an^le OAF...

  7. Truth and Proof: The Platonism of Mathematics

    E-Print Network [OSTI]

    Koellner, Peter

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

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

    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.

  9. PML : A new proof assistant deduction system

    E-Print Network [OSTI]

    and the programming language Different languages (often 3-4) Much harder to learn the programming languages #12;Idea: start from a programming language Programming when doing proof: To write tactics To prove programs In math: a lot of algorithm Design choices: Start from a programming language (ML like) Turn

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

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

  12. Wireless Roadside Inspection Proof of Concept Test

    E-Print Network [OSTI]

    Pennycook, Steve

    Wireless Roadside Inspection Proof of Concept Test Final Report Rev 1.5 May 2007 #12;FOREWORD This study focuses on the ability of a Universal Wireless Inspection System to collect driver, vehicle, and carrier information; format a Safety Data Message Set from this information; and wirelessly transmit

  13. Motivation Methodology Conclusions A Fault Tolerance Bisimulation Proof for

    E-Print Network [OSTI]

    Francalanza, Adrian

    Motivation Methodology Conclusions A Fault Tolerance Bisimulation Proof for Consensus Adrian of Somewhere and Elsewhere A Fault Tolerance Bisimulation Proof for Consensus #12;Motivation Methodology Conclusions Outline 1 Motivation 2 Methodology 3 Conclusions Adrian Francalanza, Matthew Hennessy Universities

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

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

  16. A Compositional Proof System for the Modal -Calculus

    E-Print Network [OSTI]

    Stirling, Colin

    A Compositional Proof System for the Modal -Calculus Henrik Reif Andersen Colin Stirling Glynn@daimi.aau.dk Abstract We present a proof system for determining satisfaction between processes in a fairly general process algebra and assertions of the modal - calculus. The proof system is compositional in the structure

  17. A Visualization System for Correctness Proofs of Graph Algorithms

    E-Print Network [OSTI]

    Metaxas, Takis

    A Visualization System for Correctness Proofs of Graph Algorithms P.A. Gloor1, D.B. Johnson2, F. Makedon2, P. Metaxas3 Feb. 28, 1993 Running head: Proof Visualization of Graph Algorithms Correspondence proofs of graph algorithms. The system has been demonstrated for a greedy algorithm, Prim's algorithm

  18. Basing Obfuscation on Simple Tamper-Proof Hardware Assumptions

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    Basing Obfuscation on Simple Tamper-Proof Hardware Assumptions Nico Dottling, Thilo Mie, Jorn M for obfuscation, and using tamper-proof hardware tokens to achieve general code obfuscation. Following this last on the security of this CRS. Keywords: Obfuscation, Stateless Tamper-Proof hardware, Universal Composability

  19. Founding Cryptography on Tamper-Proof Hardware Tokens Vipul Goyal

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    Founding Cryptography on Tamper-Proof Hardware Tokens Vipul Goyal MSR India vipul of works have investigated using tamper-proof hardware tokens as tools to achieve a variety of cryp if the parties are allowed to generate and exchange tamper-proof hardware tokens. Unconditional non

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

  1. A Framework for Game-Based Security Proofs David Nowak

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    A Framework for Game-Based Security Proofs David Nowak Research Center for Information Security, a cryptographic scheme must come with a proof that it satisfies some standard security properties. However, ideally, machine-checkable. A proof starts with the initial game which comes from the definition

  2. Proof of the Quantum Null Energy Condition

    E-Print Network [OSTI]

    Bousso, Raphael; Koeller, Jason; Leichenauer, Stefan; Wall, Aron C

    2015-01-01

    We prove the Quantum Null Energy Condition (QNEC), a lower bound on the stress tensor in terms of the second variation in a null direction of the entropy of a region. The QNEC arose previously as a consequence of the Quantum Focussing Conjecture, a proposal about quantum gravity. The QNEC itself does not involve gravity, so a proof within quantum field theory is possible. Our proof is somewhat nontrivial, suggesting that there may be alternative formulations of quantum field theory that make the QNEC more manifest. Our proof applies to free and superrenormalizable bosonic field theories, and to any points that lie on stationary null surfaces. An example is Minkowski space, where any point $p$ and null vector $k^a$ define a null plane $N$ (a Rindler horizon). Given any codimension-2 surface $\\Sigma$ that contains $p$ and lies on $N$, one can consider the von Neumann entropy $S_\\text{out}$ of the quantum state restricted to one side of $\\Sigma$. A second variation $S_\\text{out}^{\\prime\\prime}$ can be defined by...

  3. ATAC Process Proof of Concept Final Report

    SciTech Connect (OSTI)

    Bri Rolston; Sarah Freeman

    2014-03-01

    Researchers at INL with funding from the Department of Energys 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.

  4. Crrected Proof CopyArabidopsis Protoplast System 1 Corrected Proof Copy

    E-Print Network [OSTI]

    Sheen, Jen

    (disease caused by virulent bacteria) and incompatible (resistance to avirulent bacteria) plant by plant resistance (R) proteins to trigger gene-for- #12;Corrected Proof Copy2 He, Shan, and Sheen_He Date: 04_03_06/05_26_06 Revision: 1st Pass/2nd Pass gene resistance (2). R proteins are associated

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

    Office of Environmental Management (EM)

    Concept for Radiological Support to Incident Commanders Unified Resolve 2014: A Proof of Concept for Radiological Support to Incident Commanders Daniel Blumenthal*, U.S....

  6. Provability logics with quantifiers on proofs Rostislav E. Yavorsky \\Lambda

    E-Print Network [OSTI]

    Yavorskiy, Rostislav

    3752, fax (095) 1350555 rey@mi.ras.ru Abstract We study here extensions of the Artemov's logic of proofs

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

    SciTech Connect (OSTI)

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

    2007-02-15

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

  8. A Compositional Proof System for the Modal Calculus

    E-Print Network [OSTI]

    Stirling, Colin

    of the Danish National Research Foundation. underlying transition system. However, what we seek here is a methodA Compositional Proof System for the Modal Calculus Henrik Reif Andersen \\Lambda Colin Stirlingmail: gwinskel@daimi.aau.dk Abstract We present a proof system for determining satisfaction between processes

  9. A Compositional Proof System for the Modal Calculus \\Lambda

    E-Print Network [OSTI]

    Stirling, Colin

    A Compositional Proof System for the Modal Calculus \\Lambda Henrik Reif Andersen y Colin Stirling Computer Society Press. y Supported by the Danish Technical Research Council. z Basic Research in Computer Science, Centre of the Danish National Research Foundation. 1 #12; Running head: A Compositional Proof

  10. A Compositional Proof System for the Modal -Calculus

    E-Print Network [OSTI]

    Stirling, Colin

    , Centre of the Danish National Research Foundation. 1 #12;Running head: A Compositional Proof SystemA Compositional Proof System for the Modal -Calculus Henrik Reif Anderseny Colin Stirling Glynn Society Press. ySupported by the Danish Technical Research Council. zBasic Research in Computer Science

  11. A Compositional Proof System for the Modal -Calculus

    E-Print Network [OSTI]

    Winskel, Glynn

    , Centre of the Danish National Research Foundation. 1 #12;Running head: A Compositional Proof SystemA Compositional Proof System for the Modal -Calculus Henrik Reif Andersen Colin Stirling Glynn Society Press. Supported by the Danish Technical Research Council. Basic Research in Computer Science

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

  13. Digital Watermarking for Telltale Tamper Proofing and Authentication

    E-Print Network [OSTI]

    Kundur, Deepa

    Digital Watermarking for Telltale Tamper Proofing and Authentication DEEPA KUNDUR, STUDENT MEMBER the problem of fragile digital watermarking for the tamper proofing of still images. Applications of our domain of the image by quantizing the corresponding coefficients. Tamper detection is pos- sible

  14. A "Future-Proof" Postgraduate Software Engineering Programme: Maintainability Issues

    E-Print Network [OSTI]

    Gibson, J. Paul

    A "Future-Proof" Postgraduate Software Engineering Programme: Maintainability Issues J Paul Gibson of a software engineering programme for Masters students. Maintainability of educational programmes is critical are "future proof". Conse- quently, we followed a traditional software engineering life- cycle process

  15. The Dependency Pair Framework: Combining Techniques for Automated Termination Proofs #

    E-Print Network [OSTI]

    Ábrahám, Erika

    The Dependency Pair Framework: Combining Techniques for Automated Termination Proofs # J of the most powerful techniques for automated termination proofs of term rewrite systems. Up to now of new methods for termination analy­ sis. To demonstrate this, we present several new techniques within

  16. PROOF COPY 001403EQS Tsunami Hazards Associated with the

    E-Print Network [OSTI]

    Synolakis, Costas E.

    PROOF COPY 001403EQS PROOF COPY 001403EQS Tsunami Hazards Associated with the Catalina Fault the tsunami hazard associated with the Catalina Fault off- shore of southern California. Realistic faulting scenarios with moment magnitudes ranging between 7.0 and 7.6 are used as initial conditions for tsunami

  17. Tracking and evaluating economic self-sufficiency programs in moving to work housing authorities

    E-Print Network [OSTI]

    Evans, Kathleen Nessa

    2012-01-01

    This thesis investigates the measurement and evaluation of economic self-sufficiency programs at the Cambridge Housing Authority (CHA). CHA has established a reputation as a leading innovator and implementer, but the agency ...

  18. Proof of a Lorentz and Levi-Civita thesis

    E-Print Network [OSTI]

    A. Loinger

    2011-09-24

    A formal proof of the thesis by Lorentz and Levi-Civita that the left-hand side of Einstein field equations represents the real energy-momentum-stress tensor of the gravitational field.

  19. Computer-assisted proofs in geometry and physics

    E-Print Network [OSTI]

    Minton, Gregory T. (Gregory Thomas)

    2013-01-01

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

  20. The Dynamic Creation of Induction Rules Using Proof Planning

    E-Print Network [OSTI]

    Gow, Jeremy

    A key problem in automating proof by mathematical induction is choosing an induction rule suitable for a given conjecture. Since Boyer & Moores NQTHM system the standard approach has been based on recursion analysis, ...

  1. AN ALGEBRAIC PROOF OF ZAK'S INEQUALITY FOR THE ...

    E-Print Network [OSTI]

    AN ALGEBRAIC PROOF OF ZAK'S INEQUALITY. FOR THE DIMENSION OF THE GAUSS IMAGE. ARon SImIs*, KAREn E. SmIth**, AnD BERnD UlRIch***. 1 .

  2. Developing reuse technology in proof engineering (position paper)

    E-Print Network [OSTI]

    Luo, Zhaohui

    that, to apply our technology of p* *roof development such as systems based on type theory to large will make proof development more efficient and co* *st-effective so that `proving in the large' may become

  3. Experiments in Automating Hardware Verification using Inductive Proof Planning

    E-Print Network [OSTI]

    Cantu, Francisco; Bundy, Alan; Smaill, Alan; Basin, David

    1996-01-01

    We present a new approach to automating the verification of hardware designs based on planning techniques. A database of methods is developed that combines tactics, which construct proofs, using specifications of their ...

  4. Proof Plans for the Correction of False Conjectures

    E-Print Network [OSTI]

    Bundy, Alan; Monroy, Raul; Ireland, Andrew

    1994-01-01

    Theorem proving is the systematic derivation of a mathcmaticM proof from a set of axioms by the use of rules of inference. We ~re interested in a related but far less explored problem: the analysis and correction of ...

  5. Basic Notions Main Theorems Voting Systems Proofs Summary Two Simple Ways to Rig an Election

    E-Print Network [OSTI]

    Ponomarenko, Vadim

    Basic Notions Main Theorems Voting Systems Proofs Summary Two Simple Ways to Rig an Election;Basic Notions Main Theorems Voting Systems Proofs Summary Outline Basic Notions Main Theorems Voting Systems Proofs Summary #12;Basic Notions Main Theorems Voting Systems Proofs Summary Basics Candidates, C

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

  7. CIRCULATING MOVING BED COMBUSTION PROOF OF CONCEPT

    SciTech Connect (OSTI)

    Jukkola, Glen

    2010-06-30

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

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

  9. Advances in Computational Mathematics (2006) 25: 161193 Springer 2006 Learning theory: stability is sufficient for generalization

    E-Print Network [OSTI]

    Poggio, Tomaso

    2006-01-01

    (ERM) and almost-ERM when the minimizer does not exist need to be consistent, so that they may and sufficient for consistency of ERM. Thus LOO stability is a weak form of stability that represents conditions for consistency of ERM. In particular, we conclude that a certain form of well

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

    E-Print Network [OSTI]

    Qiu, Robert Caiming

    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 of this heuristic to non-symmetric matrices introduced by Fazel in [8] minimizes the nuclear norm, *Center

  11. Optimal Control of a Fedbatch Fermentation Process: Numerical Methods, Sufficient Conditions and Sensitivity Analysis

    E-Print Network [OSTI]

    Maurer, Helmut

    Optimal Control of a Fedbatch Fermentation Process: Numerical Methods, Sufficient Conditions-bang and singular optimal controls in a fedbatch fermentation process are computed for a range of time horizons of the user. In this work we study optimal control of a fedbatch fermentation process. An analytic expression

  12. Are Figure Legends Sufficient? Evaluating the Contribution of Associated Text to Biomedical Figure

    E-Print Network [OSTI]

    Yu, Hong

    - 1 - Are Figure Legends Sufficient? Evaluating the Contribution of Associated Text to Biomedical@ohsu.edu Abstract Background Biomedical scientists need to access figures to validate research facts. Such systems could be very useful in improving figure retrieval and in reducing the workload of biomedical

  13. Providing proof: Desalination technology tested for efficiency, economics

    E-Print Network [OSTI]

    Bentz, Laura

    2012-01-01

    stream_source_info Providing proof_desalination.pdf.txt stream_content_type text/plain stream_size 11200 Content-Encoding ISO-8859-1 stream_name Providing proof_desalination.pdf.txt Content-Type text/plain; charset=ISO-8859...-1 12 tx H2O Fall 2012 ] Story by Laura Bentz A revolutionary desalination technology, invented by a Texas A&M University professor, could give Texas water suppliers a new way to purify water. ?ough not yet ready for widescale production...

  14. Hausdorf means and multipliers

    E-Print Network [OSTI]

    McCabe, Thomas Francis

    1968-01-01

    ) transformation since ? j ? for n f. m n+1 m+1 We now state an important theorem concerning the means t m for any Hausdorf transformation. (1. 1) THEOREM. [4, p. 250]. The general Hausdorf transformation is na m =0 Therei'ore the general Hausdorf matrix... 01 02 10 11 12 20 21 22 r 0 We call the numbers { t j the T means of the sequence { s j . m n In this thesis a particular type of matrix method, the general Hausdorf method, is studied. Let 6 be the exw 'matrix 6 = (6, , ) where 6. = (-1...

  15. Retrocausal Effects as a Consequence of Quantum Mechanics Refined to Accommodate the Principle of Sufficient Reason

    SciTech Connect (OSTI)

    Stapp, Henry P.

    2011-05-10

    The principle of sufficient reason asserts that anything that happens does so for a reason: no definite state of affairs can come into being unless there is a sufficient reason why that particular thing should happen. This principle is usually attributed to Leibniz, although the first recorded Western philosopher to use it was Anaximander of Miletus. The demand that nature be rational, in the sense that it be compatible with the principle of sufficient reason, conflicts with a basic feature of contemporary orthodox physical theory, namely the notion that nature's response to the probing action of an observer is determined by pure chance, and hence on the basis of absolutely no reason at all. This appeal to pure chance can be deemed to have no rational fundamental place in reason-based Western science. It is argued here, on the basis of the other basic principles of quantum physics, that in a world that conforms to the principle of sufficient reason, the usual quantum statistical rules will naturally emerge at the pragmatic level, in cases where the reason behind nature's choice of response is unknown, but that the usual statistics can become biased in an empirically manifest way when the reason for the choice is empirically identifiable. It is shown here that if the statistical laws of quantum mechanics were to be biased in this way then the basically forward-in-time unfolding of empirical reality described by orthodox quantum mechanics would generate the appearances of backward-time-effects of the kind that have been reported in the scientific literature.

  16. Mean Comparisons August 2009

    E-Print Network [OSTI]

    Kavanagh, Karen L.

    is based on information from all randomly selected students for both your institution and your comparison item. Means are provided for your institution and all comparison groups. For more information V ariable integrating ideas or information from various sources Included diverse perspectives (different races

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

  18. PROOF-MASS INERTIAL VIBRATION CONTROL USING A SHUNTED

    E-Print Network [OSTI]

    Fleming, Andrew J.

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

  19. UncorrectedProof Computational Intelligence in Racing Games

    E-Print Network [OSTI]

    Togelius, Julian

    the evolution of different types of car controllers, modelling of players' driving styles, evolution of racingUncorrectedProof Computational Intelligence in Racing Games Julian Togelius, Simon M. Lucas- tionary algorithms and other forms of computational intelligence to various aspects of racing games. We

  20. Lightweight and Privacy-Preserving Delegatable Proofs of Storage

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    Lightweight and Privacy-Preserving Delegatable Proofs of Storage Jia Xu1 , Anjia Yang1,2 , Jianying of storage (POR or PDP) is a cryptographic tool, which enables data owner or third party auditor to audit integrity of data stored remotely in a cloud storage server, without keeping a local copy of data

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

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

    E-Print Network [OSTI]

    Texas at Arlington, University of

    Proof-of-Principle Detonation Driven, Linear Electric Generator Facility Eric M. Braun, Frank K. Lu a generator and produce electricity.46 Since the majority of power in the world is generated by deflagrative is described in which a detonation-driven piston system has been integrated with a linear generator in order

  3. Secure and Efficient Proof of Storage with Deduplication Qingji Zheng

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    to the success of cloud storage. So far, security and efficiency of cloud storage have been separately Security Keywords cloud storage, outsourced storage, proof of storage, dedu- plication, integrity checking. This has led to studies on cloud stor- age security and efficiency, which are, however, addressed

  4. Security weakness in the Proof of Storage with Deduplication

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    ) scheme for a secure and efficient cloud storage service [1]. Ex- ploiting the public verifiability [2Security weakness in the Proof of Storage with Deduplication Youngjoo Shin1 , Junbeom Hur2@cau.ac.kr Abstract. Achieving both security and efficiency is the challenging issue for a data outsourcing service

  5. A direct proof of Ramsey's Theorem September 26, 2011

    E-Print Network [OSTI]

    Coquand, Thierry

    A direct proof of Ramsey's Theorem September 26, 2011 Introduction The infinite version of Ramsey an infinite monochromatic subset. However, W. Veldman [5] found an elegant version of Ramsey's Theorem such that R(xi1 , . . . , xik ). The intuitionistic Ramsey's Theorem states that the intersection of two

  6. An Effective Proof that Open Sets are Ramsey Jeremy Avigad

    E-Print Network [OSTI]

    Avigad, Jeremy

    An Effective Proof that Open Sets are Ramsey Jeremy Avigad January 22, 1996 Abstract Solovay has formalizable in ATR0. 1 Introduction A plausible generalization of Ramsey's theorem asserts that for every two subset of X is in P, and X avoids P if no infinite subset of X is in P. A partition P is Ramsey

  7. A direct proof of Ramsey's Theorem September 27, 2010

    E-Print Network [OSTI]

    Coquand, Thierry

    A direct proof of Ramsey's Theorem September 27, 2010 Introduction The infinite version of Ramsey an infinite monochromatic subset. However, W. Veldman [3] found an elegant version of Ramsey's Theorem such that R(xi1 , . . . , xik ). The intuitionistic Ramsey's Theorem states that the intersection of two

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

  9. Efficient Consistency Proofs for Generalized Queries on a Committed Database

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    Efficient Consistency Proofs for Generalized Queries on a Committed Database Rafail Ostrovsky UCLA@csail.mit.edu July 20, 2004 Abstract A consistent query protocol (CQP) allows a database owner to publish a very short string c which commits her and everybody else to a particular database D, so that any copy

  10. Efficient Consistency Proofs for Generalized Queries on a Committed Database

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    Efficient Consistency Proofs for Generalized Queries on a Committed Database #3; Rafail Ostrovsky asmith@csail.mit.edu July 20, 2004 Abstract A consistent query protocol (CQP) allows a database owner to publish a very short string c which commits her and everybody else to a particular database D, so that any

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

  12. Computer Science at Kent On Modular Termination Proofs

    E-Print Network [OSTI]

    Kent, University of

    Computer Science at Kent On Modular Termination Proofs Jonathan C. Martin and Andy King Technical by the Computing Laboratory, University of Kent, Canterbury, Kent CT2 7NF, UK. Abstract Reasoning about termination is a key issue in logic program development. One classic technique for proving termination is to construct

  13. Simultaneous proof of the dimensional and of Jacobi's bound

    E-Print Network [OSTI]

    Ollivier, François

    Simultaneous proof of the dimensional conjecture and of Jacobi's bound F. Ollivier LIX, UMR CNRS­30 2010. Introduction Jacobi's bound, probably formulated by Jacobi around 1840 [2] is an upper bound that the differential codimension of a component defined by a system of r equations is at most r, showing that Jacobi

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

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

  16. A Proof-of-Principle Echo-enabled Harmonic Generation Free Electron...

    Office of Scientific and Technical Information (OSTI)

    ThesisDissertation: A Proof-of-Principle Echo-enabled Harmonic Generation Free Electron Laser Experiment at SLAC Citation Details In-Document Search Title: A Proof-of-Principle...

  17. Necessary and sufficient conditions of freezing phenomena of quantum discord under phase damping

    E-Print Network [OSTI]

    Bo You; Li-Xiang Cen

    2012-06-27

    We investigate the freezing phenomenon of quantum discord occurring in phase damping noise processes. By relating the expression of the time variation of the discord to the convex function of relative entropy, we obtain the necessary and sufficient conditions of the phenomenon for standard Bell-diagonal states. These conditions are applicable also to the phenomenon occurring in a non-Markovian dephasing process. Moreover, we show that the same condition and phenomenon coincide in a new sort of Bell-diagonal states beyond the standard form.

  18. Pi-CO? aqueous post-combustion CO? capture: Proof of concept through thermodynamic, hydrodynamic, and gas-lift pump modeling

    DOE Public Access Gateway for Energy & Science Beta (PAGES Beta)

    Blount, G.; Gorensek, M.; Hamm, L.; ONeil, K.; Kervvan, C.; Beddelem, M. -H.

    2014-12-31

    Partnering in Innovation, Inc. (Pi-Innovation) introduces an aqueous post-combustion carbon dioxide (CO?) capture system (Pi-CO?) that offers high market value by directly addressing the primary constraints limiting beneficial re-use markets (lowering parasitic energy costs, reducing delivered cost of capture, eliminating the need for special solvents, etc.). A highly experienced team has completed initial design, modeling, manufacturing verification, and financial analysis for commercial market entry. Coupled thermodynamic and thermal-hydraulic mass transfer modeling results fully support proof of concept. Pi-CO? has the potential to lower total cost and risk to levels sufficient to stimulate global demand for CO? from local industrial sources.

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

  20. HYBRID PROOFS OF THE qBINOMIAL THEOREM AND OTHER IDENTITIES

    E-Print Network [OSTI]

    Mc Laughlin, James

    HYBRID PROOFS OF THE q­BINOMIAL THEOREM AND OTHER IDENTITIES DENNIS EICHHORN, JAMES MC LAUGHLIN, AND ANDREW V. SILLS Abstract. We give ``hybrid'' proofs of the q­binomial theorem and other identities. The proofs are ``hybrid'' in the sense that we use par­ tition arguments to prove a restricted version

  1. HYBRID PROOFS OF THE q-BINOMIAL THEOREM AND OTHER IDENTITIES

    E-Print Network [OSTI]

    Mc Laughlin, James

    HYBRID PROOFS OF THE q-BINOMIAL THEOREM AND OTHER IDENTITIES DENNIS EICHHORN, JAMES MC LAUGHLIN, AND ANDREW V. SILLS Abstract. We give "hybrid" proofs of the q-binomial theorem and other identities. The proofs are "hybrid" in the sense that we use par- tition arguments to prove a restricted version

  2. HYBRID PROOFS OF THE q-BINOMIAL THEOREM AND OTHER IDENTITIES

    E-Print Network [OSTI]

    Mc Laughlin, James

    HYBRID PROOFS OF THE q-BINOMIAL THEOREM AND OTHER IDENTITIES DENNIS EICHHORN, JAMES MC LAUGHLIN, AND ANDREW V. SILLS Abstract. We give "hybrid" proofs of the q-binomial theorem and other identities. The proofs are "hybrid" in the sense that we use par

  3. On Efficient Non-Interactive Oblivious Transfer with Tamper-Proof Hardware

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    On Efficient Non-Interactive Oblivious Transfer with Tamper-Proof Hardware Maria Dubovitskaya by using tamper-proof hardware tokens. His construction only needs few evaluations of a block cipher-interactive string OT using tamper-proof hardware tokens. While from one side our tokens need to be stateful, our

  4. Provable Security of Digital Signatures in the Tamper-Proof Device Model

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    Provable Security of Digital Signatures in the Tamper-Proof Device Model Nick Varnovsky Information by Varnovsky [1] who studied tamper- proof device model. Instead of access to random oracle each participant is provided with a tamper-proof device implementing a private-key cryptosystem. In this model was demonstrated

  5. New Constructions for UC Secure Computation using Tamper-proof Hardware

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    New Constructions for UC Secure Computation using Tamper-proof Hardware Nishanth Chandran Vipul such trusted setup assumptions. In his model, the physical setup phase includes the parties exchanging tamper proof hard- ware tokens implementing some functionality. The tamper proof hardware is modeled so

  6. Towards a Telltale Watermarking Technique for Tamper-Proofing Deepa Kundur and Dimitrios Hatzinakos

    E-Print Network [OSTI]

    Kundur, Deepa

    Towards a Telltale Watermarking Technique for Tamper-Proofing Deepa Kundur and Dimitrios Hatzinakos present a novel fragile watermark- ing scheme for the tamper-proofing of multimedia sig- nals. Unlike the signal is modified. We call such a technique a telltale tamper-proofing method. Our de- sign embeds

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

  8. A On-line Appendix. Proofs Proof of Lemma 1. The supplier's objective function (3) is piecewise linear. We focus on the

    E-Print Network [OSTI]

    Aydin, Goker

    A On-line Appendix. Proofs Proof of Lemma 1. The supplier's objective function (3) is piecewise). This is the optimal quantity pair for this model. Proof of Proposition 3. At optimality, from the supplier's optimal) 0, pn(t1, t2) 0, for t1, t2 {H, L}, for n = 1, 2, (A.2f) where tn n (s) is supplier-n's expected

  9. No?rlund means

    E-Print Network [OSTI]

    Dibrell, Aquilla Gibbs, III

    1968-01-01

    =0 j Qn p m-n o and since (N, p ) is regular, p /P -& 0 for each fixed n. Hence, n m-n m-n ? & 0 as m -5 co for each n. mn Srnce ( )( ) defines a regular method, if N (s) -&s" (i. e. , if mn n s + s' (N, q )) then Z '4 N (s) ps' (and... summability method f defined by means of a matnx I = (c ) is conservative if and only if mn (1, 2) there exists H independent of m such that =Z /c (1. 3) for each n, c ~ 6 as m+m; mn n (1. 4) c = Z c H 6 when marco. m nmn f is regular if and only if...

  10. Evaluating Effectiveness of Tamper Proofing on Dynamic Graph Software Watermarks

    E-Print Network [OSTI]

    Khiyal, Malik Sikandar Hayat; Amjad, Sehrish; Khalil, M Shahid

    2010-01-01

    For enhancing the protection level of dynamic graph software watermarks and for the purpose of conducting the analysis which evaluates the effect of integrating two software protection techniques such as software watermarking and tamper proofing, constant encoding technique along with the enhancement through the idea of constant splitting is proposed. In this paper Thomborson technique has been implemented with the scheme of breaking constants which enables to encode all constants without having any consideration about their values with respect to the value of watermark tree. Experimental analysis which have been conducted and provided in this paper concludes that the constant encoding process significantly increases the code size, heap space usage, and execution time, while making the tamper proofed code resilient to variety of semantic preserving program transformation attacks.

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

    E-Print Network [OSTI]

    Ren, Shaolei

    Can Data Center Become Water Self-Sufficient? Kishwar Ahmed, Mohammad A. Islam, Shaolei Ren, Gang- tion and water demand (for cooling), air-side economizer has been increasingly adopted to cool down adoption in data cen- ters, potentially leading to water self-sufficiency with- out connecting to water

  12. Consent Versus Consensus - Stakehold Involvement in the Identification of Necessary and Sufficient Transportation

    SciTech Connect (OSTI)

    Fawcett, Ricky Lee; Kramer, George Leroy Jr.

    2003-03-01

    Transportation (DOT) and the Nuclear Regulatory Commission (NRC) to provide for the protection of the public and the environment; historically these regulations have proven quite sufficient. Even so, when the Department of Energy (DOE) makes radioactive materials shipments, that are deemed to be a major federal activity, regulations under the National Environmental Policy Act require that public input on safety issues be sought. This requirement leads to interactions with State, Tribal and local stakeholders that often result in the imposition of extra-regulatory requirements requirements beyond those prescribed by DOT and NRC regulations. Unfortunately, these additional requirements virtually always increase costs and delay schedules, and usually do so without significantly increasing, and possibly even decreasing overall transportation safety. We believe that this problem arises because of efforts to achieve stakeholder consensus rather than stakeholder consent, where consensus connotes universal agreement with all aspects of the program, while consent, as used here, is simple agreement with the overall course of action. Gaining consensus entails extensive negotiations because all aspects and requirements of the project must be agreed to by each stakeholder. Gaining consent, on the other hand, requires only that stakeholders be satisfied that the project, as planned, provides adequately for their safety needs. This article addresses the issue of consent versus consensus and proposes a systematic, decision science process for reaching consent. Key steps in this proposed process are early identification and involvement of stakeholders, compilation of their concerns, perceptions, needs, causes, and translation of that information into an appropriate set of derived requirements. These derived requirements, along with already-established DOT and NRC regulatory requirements, form the necessary and sufficient conditions for safe transportation and for obtaining stakeholder consent.

  13. Necessary and sufficient conditions for big bangs, bounces, crunches, rips, sudden singularities, and extremality events

    E-Print Network [OSTI]

    Celine Cattoen; Matt Visser

    2005-08-30

    The physically relevant singularities occurring in FRW cosmologies had traditionally been thought to be limited to the "big bang", and possibly a "big crunch". However, over the last few years, the zoo of cosmological singularities considered in the literature has become considerably more extensive, with "big rips" and "sudden singularities" added to the mix, as well as renewed interest in non-singular cosmological events such as "bounces" and "turnarounds". In this article we present a complete catalogue of such cosmological milestones, both at the kinematical and dynamical level. First, using generalized power series, purely kinematical definitions of these cosmological events are provided in terms of the behaviour of the scale factor a(t). The notion of a "scale-factor singularity'" is defined, and its relation to curvature singularities (polynomial and differential) is explored. Second, dynamical information is extracted by using the Friedmann equations (without assuming even the existence of any equation of state) to place constraints on whether or not the classical energy conditions are satisfied at the cosmological milestones. We use these considerations to derive necessary and sufficient conditions for the existence of cosmological milestones such as bangs, bounces, crunches, rips, sudden singularities, and extremality events. Since the classification is extremely general, the corresponding results are to a high degree model-independent: In particular, we provide a complete characterization of the class of bangs, crunches, and sudden singularities for which the dominant energy condition is satisfied.

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

  15. Coherent electron cooling proof of principle instrumentation design

    SciTech Connect (OSTI)

    Gassner D. M.; Litvinenko, V.; Michnoff, R.; Miller, T.; Minty, M.; Pinayev, I.

    2012-04-15

    The goal of the Coherent Electron Cooling Proof-of-Principle (CeC PoP) experiment being designed at RHIC is to demonstrate longitudinal (energy spread) cooling before the expected CD-2 for eRHIC. The scope of the experiment is to longitudinally cool a single bunch of 40 GeV/u gold ions in RHIC. This paper will describe the instrumentation systems proposed to meet the diagnostics challenges. These include measurements of beam intensity, emittance, energy spread, bunch length, position, orbit stability, and transverse and temporal alignment of electron and ion beams.

  16. A Simple Proof of the Ramsey Savings Equation

    E-Print Network [OSTI]

    El-Hodiri, Mohamed

    1978-01-01

    SIAM REVIEW Vol. 20, No. 1, January 1978 A SIMPLE PROOF OF THE RAMSEY SAVINGS EQUATION* MOHAMED EL-HODIRI? In [2] Ramsey considers the problem of minimizing the accumulated differ- ence between bliss B and net utility U(x)- V(a), where U... no new "truths." It merely makes it easier to understand what is already a widely held belief. Ramsey considers the case where T . By taking the limit, and arguing around a bit, we can show that the Euler equations in our simple problem will still hold...

  17. ReACT Methodology Proof of Concept Final Report

    SciTech Connect (OSTI)

    Bri Rolston; Sarah Freeman

    2014-03-01

    The Department of Energys 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.

  18. 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 on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QAsource History View NewTexas: Energy Resources JumpNewTexas:HydrothermallyIFB Agro|How toProof of Beneficial Use

  19. File:Proof2.pdf | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QAsource History View New Pages Recent ChangesPower-in-practice-and-theory-teacher.pdf Jump to:Proof2.pdf Jump to:

  20. Climate-Proofing Energy Systems | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTIONRobertsdale, Alabama (Utility Company) Jump to:NewMinnesota:Protection Action2BZoneClimate-Proofing

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

    E-Print Network [OSTI]

    Mauro Patro

    2009-10-07

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

  2. An elementary proof of the robustness of the linear hyperbolic flows

    E-Print Network [OSTI]

    Mauro Patro

    2009-09-20

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

  3. Mobile Data Collection Applications: A Proof of Concept

    SciTech Connect (OSTI)

    Chang, J

    2006-09-20

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

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

    E-Print Network [OSTI]

    Ramesh Bhandari

    2014-08-30

    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.

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

    E-Print Network [OSTI]

    PROOF-OF-CONCEPT OF A DUAL-FIRED (SOLAR & NATURAL GAS) GENERATOR FOR USE IN A SPACE-COOLING SYSTEM REPORT (FAR) PROOF-OF-CONCEPT OF A DUAL-FIRED (SOLAR & NATURAL GAS) GENERATOR FOR USE IN A SPACE COOLING Investigator: Michael Garrabrant AUTHOR EISG Program Administrator Grant #: 52327A/01-06 Grant Funding: $75

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

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

  8. Online Proofing System 1.Corrections should be marked with the Adobe Annotation & Comment Tools below

    E-Print Network [OSTI]

    Maestripieri, Dario

    Online Proofing System 1.Corrections should be marked with the Adobe Annotation & Comment Tools-ANNOTATION TOOLS FOR ELECTRONIC PROOF CORRECTION Required software to e-Annotate PDFs: Adobe Acrobat Professional. Replace (Ins) Tool for replacing text. Strikes a line through text and opens up a text box where

  9. Basic definitions and first examples The main result and its proof

    E-Print Network [OSTI]

    Kuske, Dietrich

    Basic definitions and first examples The main result and its proof Concluding remarks Finite of November 2011 Lutz H. Strüngmann FAP Groups #12;Basic definitions and first examples The main result and its proof Concluding remarks Contents 1 Basic definitions and first examples 2 The main result and its

  10. PROOF COPY [BP10610] 133839PRB [BP10610]133839PRB

    E-Print Network [OSTI]

    Adler, Joan

    PROOF COPY [BP10610] 133839PRB PROOF COPY [BP10610]133839PRB Simulation of nanodiamond 2008 Hydrogen plays a significant role in the formation of nanodiamond, terminating diamond surfaces, there are only few calculations that simulate nanodiamond development directly and even less that do so

  11. Testing, Proof and Automation. An Integrated Approach Simon Burton John Clark John McDermid

    E-Print Network [OSTI]

    Clark, John

    Testing, Proof and Automation. An Integrated Approach Simon Burton John Clark John Mc of testing and proof within automated software ver- ification and validation processes. We demonstrate how a combination of the two approaches can lead to greater lev- els of automation and integrity. In particular we

  12. Uniqueness of the surface wave speed: a proof that is independent of the Stroh formalism

    E-Print Network [OSTI]

    Mielke, Alexander

    -space was first proved by Barnett et al (1973). The existence proof was first given by Barnett and Lothe (1974), and an alternative proof was subsequently given by Lothe and Barnett (1976) in terms of the surface impedance matrix defined first by Ingebrigtsen and Tonning (1969). Barnett and Lothe's existence argument was later made

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

    E-Print Network [OSTI]

    Kaganovich, Igor

    condition. For a low rf, the ECR heating is not effective. Conditions of strong transmission resonancesPROOF COPY 034509PHP PROOF COPY 034509PHP Effectiveness of electron-cyclotron and transmission resonant heating in inductively coupled plasmas Oleg V. Polomarov and Constantine E. Theodosiou University

  14. Proofs of Data Possession and Retrievability Based on MRD , Shengli Liu1

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    Proofs of Data Possession and Retrievability Based on MRD Codes Shuai Han1 , Shengli Liu1 , Kefei.sjtu@gmail.com, {slliu, kfchen, dwgu}@sjtu.edu.cn Abstract Proofs of Data Possession (PoDP) scheme is essential to dataDP/PoR scheme based on Maximum Rank Distance (MRD) codes. The client file is encoded block-wise to generate

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

  16. PROOF COPY 003305JCP Second-order quadrupole-shielding effects in magic-angle spinning

    E-Print Network [OSTI]

    Frydman, Lucio

    PROOF COPY 003305JCP PROOF COPY 003305JCP Second-order quadrupole-shielding effects in magic interaction can give rise to shielding-derived terms that are not entirely averaged away by conventional magic-order quadrupole effects makes such quadrupole-shielding cross-terms observable. Although this may present

  17. PROOF COPY 007140JCP Quadrupolar-shielding cross-correlations in solid state nuclear

    E-Print Network [OSTI]

    Frydman, Lucio

    PROOF COPY 007140JCP PROOF COPY 007140JCP Quadrupolar-shielding cross-correlations in solid state nuclear magnetic resonance NMR , from cross-correlations between the quadrupolar and shielding couplings of the shielding interaction into the realm of conventional detection. Such terms include the antisymmetric

  18. A Rollator-Mounted Wayfinding System for the Elderly: Proof-of-Concept Design

    E-Print Network [OSTI]

    Kulyukin, Vladimir

    A Rollator-Mounted Wayfinding System for the Elderly: Proof-of-Concept Design and Preliminary to this research venue by describing the proof-of-concept design and preliminary technical evaluation of i efforts, iWalker emphasizes a smart world (SW) perspective. A SW is a physical space equipped

  19. Proofs of Retrievability with Public Verifiability and Constant Communication Cost in Cloud

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    Proofs of Retrievability with Public Verifiability and Constant Communication Cost in Cloud Jiawei, requires prior specific permission and/or a fee. CloudComputing'13, May 8, 2013, Hangzhou, China. Copyright 2013 ACM 978-1-4503-2067-2/13/05 ...$15.00. Keywords Proofs of Retrievability, Cloud Storage, Public

  20. The effect of fumigation of different ethalnol proofs on a turbocharged diesel engine

    SciTech Connect (OSTI)

    Hayes, T.K.; Savage, L.D.; White, R.A.; Sorenson, S.C.

    1988-01-01

    Lower proof ethanol is shown to be a viable alternate fuel for diesel engines. This type of ethanol can be manufactured economically in small distillation plants from renewable grain supplies. The effect of fumigation of ethanol proofs with a multipoint injection system on a turbocharged direct injection diesel engine at 2,400 rpm and three loads was studied. The addition of the water in the lower proofs reduced the maximum rate of pressure rise and peak pressure from pure ethanol levels. Both of these values were significantly higher than those for diesel operation. HC and CO emissions increased several times over diesel levels at all loads and also with increased ethanol fumigation. NO emissions were reduced below diesel levels for lower proof ethanol at all loads. The tests at this rpm and load with a a multipoint ethanol injection system indicate that lower (100 or 125) proof provides optimum performance.

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

    E-Print Network [OSTI]

    California at Los Angeles, University of

    Bl k t T h l F l C l dBlanket Technology, Fuel Cycle and Tritium Self Sufficiency M h d Abd and Technology Center (UCLA) President Council of Energy Research and Education Leaders CEREL (USA functions and multiple materials in multiple-field environment. Multiple effects and synergistic phenomena

  2. An isolated, surface-expressed I domain of the integrin L 2 is sufficient for strong adhesive

    E-Print Network [OSTI]

    Springer, Timothy A.

    An isolated, surface-expressed I domain of the integrin L 2 is sufficient for strong adhesive- tutively adhered to intercellular adhesion molecule-1 (ICAM-1) substrates. Locking the I domain closed abolished constitutive and activatable adhesion. The isolated locked-open I domain bound as well

  3. Mean Field Analysis of Quantum Annealing Correction

    E-Print Network [OSTI]

    Shunji Matsuura; Hidetoshi Nishimori; Tameem Albash; Daniel A. Lidar

    2015-10-26

    Quantum annealing correction (QAC) is a method that combines encoding with energy penalties and decoding to suppress and correct errors that degrade the performance of quantum annealers in solving optimization problems. While QAC has been experimentally demonstrated to successfully error-correct a range of optimization problems, a clear understanding of its operating mechanism has been lacking. Here we bridge this gap using tools from quantum statistical mechanics. We study analytically tractable models using a mean-field analysis, specifically the $p$-body ferromagnetic infinite-range transverse-field Ising model as well as the quantum Hopfield model, in the zero temperature limit. We demonstrate that for $p=2$, where the quantum phase transition is of second order, QAC pushes the phase transition to infinite transverse field strength. For $p\\ge3$, where the quantum phase transition is of first order, QAC softens the closing of the gap for small energy penalty values and prevents its closure for sufficiently large energy penalty values. Thus QAC provides protection from excitations that occur near the quantum critical point.

  4. Homotopy Groups Braid Groups Main Results Methods of the Proofs Remarks Mirror Reflections on Braids and the Higher

    E-Print Network [OSTI]

    Wu, Jie

    Homotopy Groups Braid Groups Main Results Methods of the Proofs Remarks Mirror Reflections Braid Groups Main Results Methods of the Proofs Remarks Artin Braids and Homotopy Groups Homotopy Groups Braid Groups Main Results Methods of the Proofs Remarks #12;Homotopy Groups Braid Groups Main Results

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

    SciTech Connect (OSTI)

    Goldmann, Maximilian; Miguel-Snchez, Javier; West, Adam H. C.; Yoder, Bruce L.; Signorell, Ruth

    2015-06-14

    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. First, aerosol photoemission studies can be performed for many different materials, including liquids. Second, 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.

  6. Pi-CO2 Aqueous Post-combustion CO2 Capture: Proof of Concept Through Thermodynamic, Hydrodynamic, and Gas-Lift Pump Modeling

    DOE Public Access Gateway for Energy & Science Beta (PAGES Beta)

    Blount, G.; Gorensek, M.; Hamm, L.; ONeil, K.; Kervvan, C.; Beddelem, M.-H.

    2014-12-31

    Partnering in Innovation, Inc. (Pi-Innovation) introduces an aqueous post-combustion carbon dioxide (CO2) capture system (Pi-CO2) that offers high market value by directly addressing the primary constraints limiting beneficial re-use markets (lowering parasitic energy costs, reducing delivered cost of capture, eliminating the need for special solvents, etc.). A highly experienced team has completed initial design, modeling, manufacturing verification, and financial analysis for commercial market entry. Coupled thermodynamic and thermal-hydraulic mass transfer modeling results fully support proof of concept. Pi-CO2 has the potential to lower total cost and risk to levels sufficient to stimulate global demand for CO2 from local industrial sources.

  7. Firearm equipped with live round inhibiting means and method of making same

    DOE Patents [OSTI]

    Baehr, D.G.

    1990-11-13

    A firearm is disclosed having live round inhibiting means mounted in the barrel of the firearm which permits a blank cartridge to be loaded into a firearm and fired while preventing the loading and firing of a live round. The live round inhibiting means comprise shaft means mounted in the barrel of the firearm and which extends a sufficient length into the barrel at a point just beyond the chamber portion of the firearm to engage the bullet portion of a live round to prevent it from properly chambering, while permitting a blank cartridge to be loaded into the firearm and fired without engaging the live round-inhibiting shaft means. 9 figs.

  8. Firearm equipped with live round inhibiting means and method of making same

    DOE Patents [OSTI]

    Baehr, Donald G. (Albuquerque, NM)

    1990-01-01

    A firearm is disclosed having live round inhibiting means mounted in the barrel of the firearm which permits a blank cartridge to be loaded into a firearm and fired while preventing the loading and firing of a live round. The live round inhibiting means comprise shaft means mounted in the barrel of the firearm and which extends a sufficient length into the barrel at a point just beyond the chamber portion of the firearm to engage the bullet portion of a live round to prevent it from properly chambering, while permitting a blank cartridge to be loaded into the firearm and fired without engaging the live round-inhibiting shaft means.

  9. Cooling by heating a nanodroplet - proof of concept

    E-Print Network [OSTI]

    J. J. Papini

    2011-05-10

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

    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. Equivalence Proofs for MultiLayer Perceptron Classifiers and the Bayesian Discriminant Function \\Lambda

    E-Print Network [OSTI]

    Pearlmutter, Barak

    \\Lambda John B. Hampshire II Dept. of Electrical and Computer Engineering Carnegie Mellon University are not new. Duda and Hart formulated the proof for a simple perceptron in [6] (pp. 154155). More recently

  12. Equivalence Proofs for Multi-Layer Perceptron Classifiers and the Bayesian Discriminant Function

    E-Print Network [OSTI]

    Pearlmutter, Barak

    John B. Hampshire II Dept. of Electrical and Computer Engineering Carnegie Mellon University Pittsburgh are not new. Duda and Hart formulated the proof for a simple perceptron in [6] (pp. 154-155). More recently

  13. Moisture proof columnar Cesium Iodide (CsI) layers for gas avalanche microdetectors

    E-Print Network [OSTI]

    Park, I.J.; Cho, H.S.; Hong, W.S.; Perez-Mendez, V.; Kadyk, J.

    1999-01-01

    Moisture Proof Columnar Cesium Iodide (CsI) Layers for GasHalogen lamp ) Abstract Cesium iodide columnar layers havingargon-ethane mixtures. The cesium iodide columns are damaged

  14. Idaho Request for Extension of Time to Submit Proof of Beneficial...

    Open Energy Info (EERE)

    Extension of Time to Submit Proof of Beneficial Use (DWR Form 204) Jump to: navigation, search OpenEI Reference LibraryAdd to library Form: Idaho Request for Extension of Time to...

  15. UNIFORM PROOFS OF q-SERIES-PRODUCT IDENTITIES SARACHAI KONGSIRIWONG AND ZHI-GUO LIU

    E-Print Network [OSTI]

    UNIFORM PROOFS OF q-SERIES-PRODUCT IDENTITIES SARACHAI KONGSIRIWONG AND ZHI-GUO LIU Abstract Bruce C. Berndt for his helpful guidance. 1 #12;2 SARACHAI KONGSIRIWONG AND ZHI-GUO LIU we use this idea

  16. UNIFORM PROOFS OF q-SERIES-PRODUCT IDENTITIES SARACHAI KONGSIRIWONG AND ZHI-GUO LIU

    E-Print Network [OSTI]

    AND ZHI-GUO LIU Abstract. In this paper we give a simple proof of the Jacobi triple produ* *ct. 1 #12; 2 SARACHAI KONGSIRIWONG AND ZHI-GUO LIU we use this idea and the triple

  17. "Proofs and Fundamentals: A First Course in Abstract Mathematics" Ethan D. Bloch

    E-Print Network [OSTI]

    Bloch, Ethan

    ERRATA FOR "Proofs and Fundamentals: A First Course in Abstract Mathematics" Ethan D. Bloch Birkh let me know by email or regular mail at the following address: Ethan D. Bloch Bard College Annandale

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

    E-Print Network [OSTI]

    Jger, Gerhard

    A Note on the Use of Sum in the Logic of Proofs Roman Kuznets Institut fur Informatik und angewandte Mathematik Universitat Bern Neubruckstrasse 10, 3012 Bern, Switzerland kuznets

  19. Automatic Proofs of Privacy of Secure Multi-Party Computation Protocols Against

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    Automatic Proofs of Privacy of Secure Multi-Party Computation Protocols Against Active Adversaries.pettai@ut.ee, peeter.laud@cyber.ee Abstract We describe an automatic analysis to check secure multiparty computation

  20. Making a Productive Use of Failure to Generate Witnesses for Coinduction from Divergent Proof Attempts

    E-Print Network [OSTI]

    Dennis, Louise; Bundy, Alan; Green, Ian

    1999-01-01

    Coinduction is a proof rule. It is the dual of induction. It allows reasoning about non--well--founded structures such as lazy lists or streams and is of particular use for reasoning about equivalences. A central difficulty ...

  1. Mean Curvature Driven Ricci Flow

    E-Print Network [OSTI]

    Victor Tapia

    2009-03-11

    We obtain the evolution equations for the Riemann tensor, the Ricci tensor and the scalar curvature induced by the mean curvature flow. The evolution for the scalar curvature is similar to the Ricci flow, however, negative, rather than positive, curvature is preserved. Our results are valid in any dimension.

  2. Geometry and Meaning Dominic Widdows

    E-Print Network [OSTI]

    Geometry and Meaning Dominic Widdows (MAYA Design) Stanford, CA: CSLI Publications (CSLI lecture of Grassmann's Ausdehnungslehre. (page 68) Weyl of course contributed extensively to quantum mechanics the case for Grassmann's obscurity is unproven. Chapters 1­6 are really an elementary introduction

  3. Book_Dijke & Heldin_1402045425_Proof1_March 17, 2006 SMADS IN MESENCHYMAL DIFFERENTIATION

    E-Print Network [OSTI]

    Derynck, Rik

    34 35 36 37 38 39 40 41 42 43 44 Book_Dijke & Heldin_1402045425_Proof1_March 17, 2006 CHAPTER 5 SMADS types. 93 P. ten Dijke and C.-H. Heldin (eds.), Smad Signal Transduction, 93112. 2006 Springer 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 Book_Dijke & Heldin_1402045425_Proof1_March

  4. UC-Secure Multi-Session OT Using Tamper-Proof Hardware Tokens

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    UC-Secure Multi-Session OT Using Tamper-Proof Hardware Tokens Kaoru Kurosawa1 Ryo Nojima2 Le Trieu-no,phong}@nict.go.jp Abstract In this paper, we show the first UC-secure multi-session OT proto- col using tamper-proof hardware under the Many DH assumption or under the DDHE assumption (in the standard model). Keywords: tamper

  5. Wireless Roadside Inspection Proof of Concept Test Final Report

    SciTech Connect (OSTI)

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

    2009-03-01

    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.

  6. A simpler proof of existence of quantum weak coin flipping with arbitrarily small bias

    E-Print Network [OSTI]

    Dorit Aharonov; Andr Chailloux; Maor Ganz; Iordanis Kerenidis; Lock Magnin

    2014-02-28

    Mochon's proof [Moc07] of existence of quantum weak coin flipping with arbitrarily small bias is a fundamental result in quantum cryptography, but at the same time one of the least understood. Though used several times as a black box in important follow-up results [Gan09, CK09, AS10, CK11, KZ13] the result has not been peer-reviewed, its novel techniques (and in particular Kitaev's point game formalism) have not been applied anywhere else, and an explicit protocol is missing. We believe that truly understanding the existence proof and the novel techniques it relies on would constitute a major step in quantum information theory, leading to deeper understanding of entanglement and of quantum protocols in general. In this work, we make a first step in this direction. We simplify parts of Mochon's construction considerably, making about 20 pages of analysis in the original proof superfluous, clarifying some other parts of the proof on the way, and presenting the proof in a way which is conceptually easier to grasp. We believe the resulting proof of existence is easier to understand, more readable, and certainly verifiable. Moreover, we analyze the resources needed to achieve a bias $\\epsilon$ and show that the number of qubits is $O(\\log 1/\\epsilon)$, while the number of rounds is $(1/\\epsilon)^{O(1/\\epsilon)}$. A true understanding of the proof, including Kitaev's point game techniques and their applicability, as well as completing the task of constructing an explicit (and also simpler and more efficient) protocol, are left to future work.

  7. SU-E-T-215: Interactive Dose Shaping: Proof of Concept Study for Six Prostate Patients

    SciTech Connect (OSTI)

    Kamerling, CP [The Institute of Cancer Research and The Royal Marsden NHS Foundation Trust, London (United Kingdom); German Cancer Research Center (DKFZ), Heidelberg (Germany); Ziegenhein, P; Oelfke, U [The Institute of Cancer Research and The Royal Marsden NHS Foundation Trust, London (United Kingdom); Sterzing, F [German Cancer Research Center (DKFZ), Heidelberg (Germany)

    2014-06-01

    Purpose: To provide a proof of concept study for IMRT treatment planning through interactive dose shaping (IDS) by utilising the respective tools to create IMRT treatment plans for six prostate patients. Methods: The IDS planning paradigm aims to perform interactive local dose adaptations of an IMRT plan without compromising already established valuable dose features in real-time. Various IDS tools are available in our in-house treatment planning software Dynaplan and were utilised to create IMRT treatment plans for six patients with an adeno-carcinoma of the prostate. The sequenced IDS treatment plans were compared to conventionally optimised clinically approved plans (9 beams, co-planar). The starting point consisted of open fields. The IDS tools were utilised to sculpt dose out of the rectum and bladder. For each patient, several IDS plans were created, with different trade-offs between organ sparing and target coverage. The reference dose distributions were imported into Dynaplan. For each patient, the IDS treatment plan with a similar or better trade-off between target coverage and OAR sparing was selected for plan evaluation, guided by a physician. Pencil beam dose calculation was performed on a grid with a voxel size of 1.951.952.0 mm{sup 3}. D98%, D2%, mean dose and dose-volume indicators as specified by Quantec were calculated for plan evaluation. Results: It was possible to utilise the software prototype to generate treatment plans for prostate patient geometries in 1545 minutes. Individual local dose adaptations could be performed in less than one second. The average differences compared to the reference plans were for the mean dose: 0.0 Gy (boost) and 1.2 Gy (CTV), for D98%: ?1.1 Gy and for D2%: 1.1 Gy (both target volumes). The dose-volume quality indicators were well below the Quantec constraints. Conclusion: Real-time treatment planning utilising IDS is feasible and has the potential to be implemented clinically. Research at The Institute of Cancer Research is supported by Cancer Research UK under Programme C46/A10588.

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

    E-Print Network [OSTI]

    Potvin, Sarah

    2013-06-04

    and applying altmetrics the challenge: what is it we?re trying to measure? What is the impact of the research? Is it making a scholarly impact? Is it contributing to the public good? [And what does it mean to do so? Policy & practice?] Who... + Monolithic + Mysterious + Misapplied + brian glanz, ?monolith and mini,? http://www.flickr.com/photos/brianglanz/1095706242/ altmetrics manifesto: critique & vision + We rely on filters to make sense of the scholarly literature, but the narrow...

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

    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)

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

    SciTech Connect (OSTI)

    Gross, Robert; Harris, Stephen

    2007-08-01

    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.

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

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

  12. Variety of lines Main theorem Kummer coverings Precise statement Proof Singularities Lines in Fermat hypersurface and M0,n

    E-Print Network [OSTI]

    Terasoma, Tomohide

    . . . . . . Variety of lines Main theorem Kummer coverings Precise statement Proof Singularities://gauss.ms.u-tokyo.ac.jp Arrangements of Hyperplanes, in Hokkaido University, 13th Aug 2009 #12;. . . . . . Variety of lines Main theorem Kummer coverings Precise statement Proof Singularities Contents . ..1 Variety of lines . ..2 Main

  13. The model problem Idea of the proof of the main results On stabilization of small solutions in the nonlinear

    E-Print Network [OSTI]

    Thomann, Laurent

    The model problem Idea of the proof of the main results On stabilization of small solutions work with Scipio Cuccagna (University of Trieste) #12;The model problem Idea of the proof of the main results Outline 1 The model problem The NLD: general setting Further notations Main results The case

  14. CS Applications CS Math MR Applications MR Math MR Theory Proof Bridging Matrix Recovery Gaps using Manifolds

    E-Print Network [OSTI]

    Needell, Deanna

    CS Applications CS Math MR Applications MR Math MR Theory Proof Bridging Matrix Recovery Gaps using #12;CS Applications CS Math MR Applications MR Math MR Theory Proof Outline Compressed Sensing (CS manifold theory Deanna Needell Bridging Matrix Recovery Gaps using Manifolds #12;CS Applications CS Math MR

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

    E-Print Network [OSTI]

    Callender, Craig

    2004-01-01

    Environmental Science & Policy 7 (2004) 369383 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

  16. Version with Proof Appendix and Minor Corrections Practical Typed Lazy Contracts

    E-Print Network [OSTI]

    Kent, University of

    - sign and implementation of a small, easy-to-use, purely functional contract library for Haskell, which were introduced as a small library of contract combinators. However, the implementation in Racket usesVersion with Proof Appendix and Minor Corrections Practical Typed Lazy Contracts Olaf Chitil

  17. HYPERGEOMETRIC PROOF OF A CURIOUS IDENTITY OF LYONS, PAULE AND RIESE

    E-Print Network [OSTI]

    Krattenthaler, Christian

    HYPERGEOMETRIC PROOF OF A CURIOUS IDENTITY OF LYONS, PAULE AND RIESE C. Krattenthaler Institut Girard Desargues, Universit'e Claude Bernard Lyon-I 21, avenue Claude Bernard, F-69622 Villeurbanne Cedex, France E-mail: kratt@euler.univ-lyon

  18. Translating Higher-Order Specifications to Coq Libraries Supporting Hybrid Proofs

    E-Print Network [OSTI]

    Felty, Amy

    Translating Higher-Order Specifications to Coq Libraries Supporting Hybrid Proofs Nada Habli1, implemented in OCaml, which parses this syntax, and translates it to a Coq library that includes definitions specifically to reason about such formal systems. Given an input specification, the library

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

    E-Print Network [OSTI]

    Mayero, Micaela

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

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

  1. A Proof of the Boyd-Carr Conjecture Frans Schalekamp David P. Williamson

    E-Print Network [OSTI]

    Schalekamp, Frans

    A Proof of the Boyd-Carr Conjecture Frans Schalekamp David P. Williamson Anke van Zuylen Abstract that obey triangle inequality. Boyd and Carr [3] observe that we do not even know the worst-case up- per/9. In this paper, we prove the Boyd-Carr conjecture. In the case that a fractional 2-matching has no cut edge, we

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

  3. Switching Lemma for Bilinear Tests and Constant-size NIZK Proofs for Linear Subspaces

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    Switching Lemma for Bilinear Tests and Constant-size NIZK Proofs for Linear Subspaces Charanjit S of America Sunnyvale, CA 94085, USA October 7, 2014 Abstract We state a switching lemma for tests on adversarial responses involving bilinear pairings in hard groups, where the tester can effectively switch

  4. Introduction Main result Manner of proof Usable hyperbolicity and SRB measures

    E-Print Network [OSTI]

    Climenhaga, Vaughn

    Introduction Main result Manner of proof Usable hyperbolicity and SRB measures Vaughn Climenhaga University of Toronto August 12, 2011 Joint work with Dmitry Dolgopyat and Yakov Pesin #12;Introduction Main and otherwise 2 Main result Existence of an SRB measure Maps on the boundary of Axiom A: Slowdown, no shear Maps

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

  6. Page 1 of 6 TIER 1: Seed Grant/Proof of Concept Program

    E-Print Network [OSTI]

    Hill, Wendell T.

    Page 1 of 6 TIER 1: Seed Grant/Proof of Concept Program The Tier I program provides funds of concept, with a goal of pursuing sponsored research or to support scholarship leading to a significant Loading on Human Knee Joint Health Rebecca Silverman (Education) Title: Research-Practice Partnerships

  7. A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on -Protocols

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on -Protocols (Full Version) Jos present a comprehensive spec- ification language and a certifying compiler for ZK-PoK protocols based on -protocols and composition techniques known in literature. The compiler allows the fully automatic

  8. Algorithmic Tamper-Proof (ATP) Security : Theoretical Foundations for Security Against

    E-Print Network [OSTI]

    Malkin, Tal

    Algorithmic Tamper-Proof (ATP) Security : Theoretical Foundations for Security Against Hardware Tampering Rosario Gennaro 1 , Anna Lysyanskaya 2 , Tal Malkin 3 , Silvio Micali 4 , and Tal Rabin 1 1 IBM T may completely break under (feasible) attacks that tamper with the secret key. In this paper we

  9. Algorithmic Tamper-Proof (ATP) Security: Theoretical Foundations for Security Against

    E-Print Network [OSTI]

    Lysyanskaya, Anna

    Algorithmic Tamper-Proof (ATP) Security: Theoretical Foundations for Security Against Hardware Tampering Rosario Gennaro1 , Anna Lysyanskaya2 , Tal Malkin3 , Silvio Micali4 , and Tal Rabin1 1 IBM T under (feasible) attacks that tamper with the secret key. In this paper we propose a theoretical

  10. An Adaptation of ProofPlanning to Declarer Play in Bridge ?

    E-Print Network [OSTI]

    Basin, David

    An Adaptation of ProofPlanning to Declarer Play in Bridge ? Ian Frank David Basin Alan Bundy Department of Artificial Intelligence University of Edinburgh 80 South Bridge Edinburgh EH1 1HN Scotland Abstract. We present Finesse, a system that forms optimal plans for declarer play in the game of Bridge

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

    E-Print Network [OSTI]

    Qi, Feng

    2009-01-01

    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\

  12. Biomechanical assessment of the individual risk of rupture of cerebral aneurysms: a proof of concept

    E-Print Network [OSTI]

    Nicoud, Franck

    Biomechanical assessment of the individual risk of rupture of cerebral aneurysms: a proof Augustin Fliche 34295 Montpellier Cedex 5 1 #12;Abstract This study is a step towards a new biomechanical variations may be used as the basis of a biomechanical index of rupture risk. Keywords: FSI, cerebral

  13. Completeness Theorems with Constructive Proofs for Finite Deterministic 2-Party Functions

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    Completeness Theorems with Constructive Proofs for Finite Deterministic 2-Party Functions (full In this paper we present simple but comprehensive combinatorial criteria for completeness of finite completeness criteria also hold in the UC framework. Secondly, what is our main contribution, our criteria also

  14. Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    as Zero-Knowledge Proofs of Knowledge. The pipeline of ZKCrypt tightly in- tegrates purpose-built verified the guarantees delivered by each stage in the pipeline, ZKCrypt provides assurance that the implementa- tion in cryptography, and without the risk of introducing security flaws in their implementations. Zero

  15. XSLT Version 2.0 is Turing-Complete: A Purely Transformation Based Proof

    E-Print Network [OSTI]

    Bayram, Zeki

    of XSLT version 2.0 by the World Wide Web consortium, and no extensions to the core specificationXSLT Version 2.0 is Turing-Complete: A Purely Transformation Based Proof Ruhsan Onder and Zeki Turing machine in XSLT version 2.0. We use only the constructs available in the official specification

  16. Convergence Proof of Jacobi Iterative Method for A Discretized 2D ConvectionDiffusion Equation \\Lambda

    E-Print Network [OSTI]

    Zhang, Jun

    Convergence Proof of Jacobi Iterative Method for A Discretized 2D Convection­Diffusion Equation \\Lambda Deyu Sang, y Jun Zhang, z and Shiqing Zhang y July 16, 1998 Abstract We prove that the Jacobi been verified numerically but evaded rigorous justification for almost two decades. Key words: Jacobi

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

  18. A Proof of Security of a Mesh Security Architecture *Doug Kuhlman,

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    A Proof of Security of a Mesh Security Architecture *Doug Kuhlman, Ryan Moriarty, Tony Braskich a Mesh Security Architecture (MSA), with an interesting key hierarchy and full pro- tocol definitions a substantial efficiency improvement in certain instances. To prove the entire architecture se- cure, we utilize

  19. MasterProof Functional Halt Positions of Rotary F0F1-ATPase Correlated with

    E-Print Network [OSTI]

    Junge, Wolfgang

    . coli) translocates ions. Both portions are stepping rotary engines. The eight different subunitsMasterProof Functional Halt Positions of Rotary F0F1-ATPase Correlated with Crystal StructuresAQ1, University of Osnabruck, D-49069 Osnabruck, Germany ABSTRACT The F0F1-ATPase is a rotary molecular motor

  20. A New, Harder Proof That Continuous Functions With Schwarz Derivative 0 Are Lines

    E-Print Network [OSTI]

    Ash, J. Marshall

    functions denoted by capital Roman letters or by Greek letters will be real-valued functions of a real variable, and all functions denoted by lower case Roman letters will be maps from R2 to R. The above limit ; whenever the right hand side exists. The next, and more or less climactic, step of the proof

  1. Integrated Reasoning and Proof Choice Point Selection in the Jahob System

    E-Print Network [OSTI]

    Rinard, Martin

    provides a general integrated reasoning framework, which enables multiple automated reasoning systemsIntegrated Reasoning and Proof Choice Point Selection in the Jahob System (Mechanisms for Program reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis

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

  3. New Constructions and Proof Methods for Large Universe Attribute-Based Encryption

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    New Constructions and Proof Methods for Large Universe Attribute-Based Encryption Yannis Rouselakis University of Texas at Austin jrous@cs.utexas.edu Brent Waters University of Texas at Austin bwaters@cs.utexas.edu Abstract We propose two large universe Attribute-Based Encryption constructions. In a large universe ABE

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

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

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

  6. Neutrino Mean Free Path in Neutron Star

    E-Print Network [OSTI]

    P. T. P. Hutauruk

    2010-07-22

    Have been calculated the differential cross section and mean free path of neutrino of neutrino interaction in dense matter.

  7. Enabling Security in Cloud Storage SLAs with CloudProof Raluca Ada Popa Jacob R. Lorch David Molnar Helen J. Wang Li Zhuang

    E-Print Network [OSTI]

    Enabling Security in Cloud Storage SLAs with CloudProof Raluca Ada Popa Jacob R. Lorch David Molnar,dmolnar,helenw,lizhuang}@microsoft.com ABSTRACT Several cloud storage systems exist today, but none of them provide security guaranteesProof, a secure storage system specifically de- signed for the cloud. In CloudProof, customers can not only detect

  8. Entanglement-Resistant Two-Prover Interactive Proof Systems and Non-Adaptive Private Information Retrieval Systems

    E-Print Network [OSTI]

    Richard Cleve; Dmitry Gavinsky; Rahul Jain

    2007-07-12

    We show that, for any language in NP, there is an entanglement-resistant constant-bit two-prover interactive proof system with a constant completeness vs. soundness gap. The previously proposed classical two-prover constant-bit interactive proof systems are known not to be entanglement-resistant. This is currently the strongest expressive power of any known constant-bit answer multi-prover interactive proof system that achieves a constant gap. Our result is based on an "oracularizing" property of certain private information retrieval systems, which may be of independent interest.

  9. Size, effect of flexible proof mass on the mechanical behavior of micron-scale cantilevers for energy harvesting appications.

    SciTech Connect (OSTI)

    Kim, M.; Hong, S.; Miller, D. J.; Dugundji, J.; Wardle, B. L. (Materials Science Division); (MIT)

    2011-12-15

    Mechanical behavior of micron-scale cantilevers with a distributed, flexible proof mass is investigated to understand proof mass size effects on the performance of microelectromechanical system energy harvesters. Single-crystal silicon beams with proof masses of various lengths were fabricated using focused ion beam milling and tested using atomic force microscopy. Comparison of three different modeling results with measured data reveals that a 'two-beam' method has the most accurate predictive capability in terms of both resonant frequency and strain. Accurate strain prediction is essential because energy harvested scales with strain squared and maximum strain will be a design limit in fatigue.

  10. New proofs for the two Barnes lemmas and an additional lemma

    SciTech Connect (OSTI)

    Jantzen, Bernd [Institut fuer Theoretische Teilchenphysik und Kosmologie, RWTH Aachen University, 52056 Aachen (Germany)] [Institut fuer Theoretische Teilchenphysik und Kosmologie, RWTH Aachen University, 52056 Aachen (Germany)

    2013-01-15

    Mellin-Barnes (MB) representations have become a widely used tool for the evaluation of Feynman loop integrals appearing in perturbative calculations of quantum field theory. Some of the MB integrals may be solved analytically in closed form with the help of the two Barnes lemmas which have been known in mathematics already for one century. The original proofs of these lemmas solve the integrals by taking infinite series of residues and summing these up via hypergeometric functions. This paper presents new, elegant proofs for the Barnes lemmas which only rely on the well-known basic identity of MB representations, avoiding any series summations. They are particularly useful for presenting and proving the Barnes lemmas to students of quantum field theory without requiring knowledge on hypergeometric functions. The paper also introduces and proves an additional lemma for a MB integral {integral}dz involving a phase factor exp ({+-}i{pi}z).

  11. A Direct Proof of Global Existence for the Dirac-Klein-Gordon Equations in

    E-Print Network [OSTI]

    Fang, Yung-Fu

    A Direct Proof of Global Existence for the Dirac-Klein-Gordon Equations in One Space Dimension Yung . (2) The matrices are defined by 0 = I2 0 0 -I2 , 1 = 0 1 -1 0 , (3) 1991 Mathematics Subject Council at Taiwan, NSC90-2115-M006-025. 1 #12;2 Y.F. FANG where I2 is the 2 2 identity matrix, the wave

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

    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.

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

    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.

  14. _____________________________2008 Conference on Information Sciences and Systems, The Princeton University, March 19--21, 2008 Identifying Sufficient Statistics in Information Networks

    E-Print Network [OSTI]

    Dai, Huaiyu

    _____________________________2008 Conference on Information Sciences and Systems, The Princeton University, March 19--21, 2008 Identifying Sufficient Statistics in Information Networks Huaiyu Dai1-mail: Huaiyu_Dai@ncsu.edu 2 Department of Electrical Engineering and Computer Sciences, University of Tennessee

  15. the plasma is sufficiently short, then one can extract this mono-energetic bunch, before further wave-breaking of plasma oscil-

    E-Print Network [OSTI]

    Geddes, Cameron Guy Robinson

    . B 74, 355361 (2002). 12. Clark, E. L. et al. Measurements of energetic proton transport through-current' of lower-energy electrons (marked (3) in Fig. 5). Indeed, in some simulations this `dark-current' is found to be greatly reduced if the trailing wake is sufficiently perturbed to prevent efficient trapping

  16. THE EMERGENCE OF MEANING IN BIOLOGICAL SYSTEMS

    E-Print Network [OSTI]

    THE EMERGENCE OF MEANING IN BIOLOGICAL SYSTEMS THESIS SUBMITTED FOR THE DEGREE OF "DOCTOR OF MEANING IN BIOLOGICAL SYSTEMS THESIS SUBMITTED FOR THE DEGREE OF "DOCTOR OF PHILOSOPHY" BY URI HERSHBERG and what its functions are. Likewise we study the immune system as an example of cognitive perception

  17. UNCORRECTED PROOF

    E-Print Network [OSTI]

    2006-10-27

    1980; Hethcote et al., 1981; Plant and Wilson, 1986; Taylor and Karlin, 1998; Feng. 97 and Thieme, 2000a,b; ... we give only a heuristic argument. The ordinary...

  18. UNCORRECTED PROOF

    E-Print Network [OSTI]

    2004-04-30

    We have the first case of a precursory chain reported in advance of a subsequent strong earthquake .... The envelope of all the circles is the border of 151. R-

  19. Representation, Organization, Classification, and Meaning-Making

    E-Print Network [OSTI]

    Toronto, University of

    1 Representation, Organization, Classification, and Meaning-Making Description Fundamental epistemological and ontological issues in the use of knowledge and information in human activities. Analysis, department store, grocery store, children's library, a menu, a store catalogue) and analyze that organization

  20. Meaning Predictability and Recursion in Onomasiology

    E-Print Network [OSTI]

    Mason, Julia

    2011-11-23

    The following study of recursive naming units sought to test the methods of meaning predictability outlined in tekauers (2005a) onomasiological account of word-formation. One of his experiments was repeated with new ...

  1. Personal meanings of death among early adolescents

    E-Print Network [OSTI]

    Fitch, Starla Dianne

    1978-01-01

    PERSONAL MEANINGS OF DEATH AMONG EARLY ADOLESCENTS A Thesis by Starla Dianne Fitch Submitted to the Graduate College of Texas A&M University in partial filfillment of the requirement for the degree of MASTER OF SCIENCE December, 1978 Major... Subject; Sociology PERSONAL MEANINGS OF DEATH AMONG EARLY ADOLESCENTS A Thesis by Starla Dianne Fitch Approved as to style and content by: (Chairman of Committee) / / / / J ea'd of Department) i (Member) mber) December, 1978 ABSTRACT...

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

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

    SciTech Connect (OSTI)

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

    2011-12-01

    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.

  4. Critical Percolation Exploration Path and SLE(6): a Proof of Convergence

    E-Print Network [OSTI]

    Federico Camia; Charles M. Newman

    2006-11-07

    It was argued by Schramm and Smirnov that the critical site percolation exploration path on the triangular lattice converges in distribution to the trace of chordal SLE(6). We provide here a detailed proof, which relies on Smirnov's theorem that crossing probabilities have a conformally invariant scaling limit (given by Cardy's formula). The version of convergence to SLE(6) that we prove suffices for the Smirnov-Werner derivation of certain critical percolation crossing exponents and for our analysis of the critical percolation full scaling limit as a process of continuum nonsimple loops.

  5. Computer Assisted 'Proof' of the Global Existence of Periodic Orbits in the Rssler System

    E-Print Network [OSTI]

    A. E. Botha; W. Dednam

    2014-08-14

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

  6. Idaho National Engineering and Environmental Laboratory Environmental Technologies Proof-of-Concepts. Final report FY-96

    SciTech Connect (OSTI)

    Barrie, S.L.; Carpenter, G.S.; Crockett, A.B.

    1997-04-01

    The Idaho National Engineering and Environmental Laboratory Environmental Technologies Proof-of-Concept Project was initiated for the expedited development of new or conceptual technologies in support of groundwater fate, transport, and remediation; buried waste characterization, retrieval, and treatment; waste minimization/pollution prevention; and spent fuel handling and storage. In Fiscal Year 1996, The Idaho National Engineering and Environmental Laboratory proposed 40 development projects and the Department of Energy funded 15. The projects proved the concepts of the various technologies, and all the technologies contribute to successful environmental management.

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

    E-Print Network [OSTI]

    Kurucz, Agi

    .2. (8n 2 !) if w j= ' n and wR 2 w 0 then w 0 j= ' n as well. Proof. By induction on n: Assume w 0 6j; #8; #8; #8; #8; #8; #8; Then u j= d 01 by (2), v j= p by (b), thus w 6j= ' 0 . Now assume w j= ' n+1 . Then, by commutativity, there are u; v with: u w 0 u ' n+1 w u d 01 u ' n ^ p e u e v #8; #8; #8; #8

  8. An Anthropomorphized Version of McCune's Machine Proof that Robbins Algebras are Boolean Algebras

    E-Print Network [OSTI]

    McCune, William

    variables in the term, i.e., one obtains t(x; x; x; : : :). A := x + y c A := x + x B := N(x + y) C := Nx + y D := N(Nx+ y) c D := N(Nx + x) E := D +A c E := c D + c A F := E + y G := F +D H := NF +D I := H (C) x + (y + z) = (x + y) + z (A) N[N(Nx + y) +N(x + y)] = y (RX): PROOF N[N(x + y) +N(Nx + y)] = y

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

    E-Print Network [OSTI]

    Gaudet, Matthieu

    2012-01-01

    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.

  10. Idaho Request for Extension of Time to Submit Proof of Beneficial Use (DWR

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QAsource History View NewTexas: Energy Resources JumpNewTexas:HydrothermallyIFB Agro|How toProofForm 204) | Open

  11. Idaho Statement of Completion for Submitting Proof of Beneficial Use (DWR

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QAsource History View NewTexas: Energy Resources JumpNewTexas:HydrothermallyIFB Agro|How toProofFormSociety

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

  13. Reinventing Superfund means de-inventing'' superfund

    SciTech Connect (OSTI)

    McFarland, C.J. )

    1994-03-01

    The White House claims there are some things the federal government does that it could do better and other things it should not do at all. It is in this light that the federal government should delegate responsibility for Superfund to the states. Various factors that drove the federalization of many environmental programs in the 1970s and 1980s no longer apply for Superfund. Air and water pollution programs were federalized partly because states feared businesses would relocate to friendlier'', less environmentally stringent areas. States would not impose sufficiently stringent environmental controls, because pursuing tougher standards meant committing economic suicide. Thus, uniform air and water pollution standards were implemented on a federal level to eliminate business flight. Superfund, by contrast, imposes costs based wholly on past activities. One state's determination to rededicate its waste sites quickly and more stringently than another state has little effect on a business's location decisions. Relocating a plant does not change where the waste previously was disposed.

  14. Mean-field theory for the Mott-insulator-paired-superfluid phase transition in the two-species Bose-Hubbard model

    SciTech Connect (OSTI)

    Iskin, M. [Department of Physics, Koc University, Rumelifeneri Yolu, TR-34450 Sariyer, Istanbul (Turkey)

    2010-11-15

    The standard mean-field theory for the Mott-insulator-superfluid phase transition is not sufficient to describe the Mott-insulator-paired-superfluid phase transition. Therefore, by restricting the two-species Bose-Hubbard Hamiltonian to the subspace of paired particles, and using perturbation theory, here we derive an analytic mean-field expression for the Mott-insulator-paired-superfluid transition boundary.

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

    SciTech Connect (OSTI)

    NONE

    1998-05-21

    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.

  16. Proofs and advice in general physical theories: a trade-off between states and dynamics?

    E-Print Network [OSTI]

    Ciarn M. Lee; Matty J. Hoban

    2015-10-15

    Quantum theory presents us with the tools for potential computational and communication complexity advantages over classical theory. It has been suggested that this quantum advantage in both tasks is because quantum theory has both entangled states and entangling dynamics. Within a framework of general physical theories, one can construct theories that excel even quantum theory at communication tasks but at the cost of faring worse at computational tasks, and vice versa. So while quantum computation and communication complexity are sub-optimal when considered separately in this framework, quantum theory achieves a trade-off in power between the two. Is such a trade-off a general feature of theories in this framework? In this work we provide strong evidence for the existence of such a trade-off by utilising tools from computational complexity, in particular the tools of computations with advice and proofs. We give general bounds on the complexity of these scenarios and use them to argue that quantum theory achieves an optimal balance in the trade-off. If such a conjecture is borne out, it would provide a reason why nature chose quantum theory over every other theory in this framework. One of our results provides a new proof that QMA is contained in PP which does not make use of any uniquely quantum structure, and thus may be of independent interest.

  17. Proof of principle report for in-tank moisture monitoring using an active neutron probe

    SciTech Connect (OSTI)

    Watson, W.T.

    1993-12-01

    This document establishes the proof of principle for use of a neutron probe to measure moisture concentrations in ferrocyanide waste tanks at the Hanford Site. Computer modeling and experiments with a modified neutron probe have shown that neutron-based measurements will provide accurate moisture determinations in Hanford Site ferrocyanide waste tanks. Moisture measurement using neutron moderation and diffusion is an established and extensively documented technology for the well logging industry. Sophisticated neutron transport modeling and calibrations with known moisture concentrations have provided the necessary developmental analyses and validations. Proof of principle was accomplished using the existing in-tank neutron surveillance tool and its support equipment. A minor, inexpensive hardware modification permitted extending the use of the existing probe to moisture measurements. A limited moisture calibration was performed using the modified in-tank neutron probe, and the results were used to adjust model parameters. Scan data from three ferrocyanide tanks have been obtained using the modified in-tank neutron probe, and interpretation of these scans is in progress. Modeling analyses and experimental test results have provided information that will be used to develop a prototype neutron device for improved in-tank moisture monitoring at the Hanford Site. Now a prototype device must be assembled, tested, and fully calibrated in known moisture ferrocyanide waste simulants.

  18. Fibers and fabrics with insulating, water-proofing, and flame-resistant properties

    DOE Patents [OSTI]

    Hrubesh, Lawrence W.; Poco, John F.; Coronado, Paul R.

    2004-04-20

    Fibers, and fabrics produced from the fibers, are made water repellent, fire-retardant and/or thermally insulating by filling void spaces in the fibers and/or fabrics with a powdered material. When the powder is sufficiently finely divided, it clings tenaciously to the fabric's fibers and to itself, resisting the tendency to be removed from the fabric.

  19. UV LED charge control of an electrically isolated proof mass in a Gravitational Reference Sensor configuration at 255 nm

    E-Print Network [OSTI]

    Karthik Balakrishnan; Ke-Xun Sun; Abdul Alfauwaz; Ahmad Aljadaan; Mohammed Almajeed; Muflih Alrufaydah; Salman Althubiti; Homoud Aljabreen; Sasha Buchman; Robert L Byer; John Conklin; Daniel DeBra; John Hanson; Eric Hultgren; Turki Al Saud; Seiya Shimizu; Michael Soulage; Andreas Zoellner

    2012-02-03

    Precise control over the potential of an electrically isolated proof mass is necessary for the operation of devices such as a Gravitational Reference Sensor (GRS) and satellite missions such as LISA. We show that AlGaN UV LEDs operating at 255 nm are an effective substitute for Mercury vapor lamps used in previous missions because of their ability to withstand space qualification levels of vibration and thermal cycling. After 27 thermal and thermal vacuum cycles and 9 minutes of 14.07 g RMS vibration, there is less than 3% change in current draw, less than 15% change in optical power, and no change in spectral peak or FWHM (full width at half maximum). We also demonstrate UV LED stimulated photoemission from a wide variety of thin film carbide proof mass coating candidates (SiC, Mo2C, TaC, TiC, ZrC) that were applied using electron beam evaporation on an Aluminum 6061-T6 substrate. All tested carbide films have measured quantum efficiencies of 3.8-6.8*10^-7 and reflectivities of 0.11-0.15, which compare favorably with the properties of previously used gold films. We demonstrate the ability to control proof mass potential on an 89 mm diameter spherical proof mass over a 20 mm gap in a GRS-like configuration. Proof mass potential was measured via a non-contact DC probe, which would allow control without introducing dynamic forcing of the spacecraft. Finally we provide a look ahead to an upcoming technology demonstration mission of UV LEDs and future applications toward charge control of electrically isolated proof masses.

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

    E-Print Network [OSTI]

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

    2015-01-01

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

  1. A Stochastic Maximum Principle for a Stochastic Differential Game of a Mean-Field Type

    SciTech Connect (OSTI)

    Hosking, John Joseph Absalom, E-mail: j.j.a.hosking@cma.uio.no [University of Oslo, Centre of Mathematics for Applications (CMA) (Norway)

    2012-12-15

    We construct a stochastic maximum principle (SMP) which provides necessary conditions for the existence of Nash equilibria in a certain form of N-agent stochastic differential game (SDG) of a mean-field type. The information structure considered for the SDG is of a possible asymmetric and partial type. To prove our SMP we take an approach based on spike-variations and adjoint representation techniques, analogous to that of S. Peng (SIAM J. Control Optim. 28(4):966-979, 1990) in the optimal stochastic control context. In our proof we apply adjoint representation procedures at three points. The first-order adjoint processes are defined as solutions to certain mean-field backward stochastic differential equations, and second-order adjoint processes of a first type are defined as solutions to certain backward stochastic differential equations. Second-order adjoint processes of a second type are defined as solutions of certain backward stochastic equations of a type that we introduce in this paper, and which we term conditional mean-field backward stochastic differential equations. From the resulting representations, we show that the terms relating to these second-order adjoint processes of the second type are of an order such that they do not appear in our final SMP equations. A comparable situation exists in an article by R. Buckdahn, B. Djehiche, and J. Li (Appl. Math. Optim. 64(2):197-216, 2011) that constructs a SMP for a mean-field type optimal stochastic control problem; however, the approach we take of using these second-order adjoint processes of a second type to deal with the type of terms that we refer to as the second form of quadratic-type terms represents an alternative to a development, to our setting, of the approach used in their article for their analogous type of term.

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

    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.

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

  4. The role of literal meaning in metaphor

    E-Print Network [OSTI]

    Coleman, Martin Allen

    1996-01-01

    or original meaning of words remain active in their metaphorical setting. " ' This is a foundational premise of his theory of metaphor. Next Davidson considers the notion that metaphor is a kind of ambiguity, and it derives its force Jrom a wavering between...

  5. An Explanation for Beta's Mean-reversion

    E-Print Network [OSTI]

    Bodkin, Connor Matthew

    2013-09-26

    the small non-growth stocks' betas will be far removed from the market average of one and the large companies will be very close to one. Preliminary results have confirmed that small non-growth stocks have means' far from one and that large stocks have...

  6. Motivation: Three primary means of bipedal balance

    E-Print Network [OSTI]

    Ruina, Andy L.

    Motivation: Three primary means of bipedal balance: 1) Foot placement 2) Ankle torque 3) Body: Attempt to balance the Cornell Ranger using only hip torque Theoretical Bound: Find upper bound Bipedal Balance with Small Feet Matthew P. Kelly, Andy Ruina Mechanical Engineering, Cornell Realistic

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

    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.

  8. Means and method for vapor generation

    DOE Patents [OSTI]

    Carlson, Larry W. (Oswego, IL)

    1984-01-01

    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.

  9. Superheavy Nuclei: Relativistic Mean Field Outlook

    E-Print Network [OSTI]

    A. V. Afanasjev

    2006-12-20

    The analysis of quasiparticle spectra in heaviest $A\\sim 250$ nuclei with spectroscopic data provides an additional constraint for the choice of effective interaction for the description of superheavy nuclei. It strongly suggest that only the parametrizations of the relativistic mean field Lagrangian which predict Z=120 and N=172 as shell closures are reliable for superheavy nuclei. The influence of the central depression in the density distribution of spherical superheavy nuclei on the shell structure is studied. Large central depression produces large shell gaps at Z=120 and N=172. The shell gaps at Z=126 and N=184 are favored by a flat density distribution in the central part of nucleus. It is shown that approximate particle number projection (PNP) by means of the Lipkin-Nogami method removes pairing collapse seen at these gaps in the calculations without PNP.

  10. Proof-of-Principle Experiment for FEL-based Coherent Electron Cooling

    SciTech Connect (OSTI)

    Litvinenko, V; Bengtsson, J; Fedotov, A V; Hao, Y; Kayran, D; 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; Schwartz, B T; Hutton, A; Krafft, G A; Poelker, M

    2011-03-01

    Coherent electron cooling (CEC) has a potential to significantly boost luminosity of high-energy, high-intensity hadron-hadron and electron-hadron colliders*. In a CEC system, a hadron beam interacts with a cooling electron beam. A perturbation of the electron density caused by ions is amplified and fed back to the ions to reduce the energy spread and the emittance of the ion beam. To demonstrate the feasibility of CEC we propose a proof-of-principle experiment at RHIC using one of JLabs SRF cryo-modules. In this paper, we describe the experimental setup for CeC installed into one of RHIC's interaction regions. We present results of analytical estimates and results of initial simulations of cooling a gold-ion beam at 40 GeV/u energy via CeC.

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

    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.

  12. Index calculation by means of harmonic expansion

    E-Print Network [OSTI]

    Imamura, Yosuke

    2015-01-01

    We review derivation of superconformal indices by means of supersymmetric localization and spherical harmonic expansion for 3d N=2, 4d N=1, and 6d N=(1,0) supersymmetric gauge theories. We demonstrate calculation of indices for vector multiplets in each dimensions by analysing energy eigenmodes in S^pxR. For the 6d index we consider the perturbative contribution only. We put focus on technical details of harmonic expansion rather than physical applications.

  13. Index calculation by means of harmonic expansion

    E-Print Network [OSTI]

    Yosuke Imamura

    2015-10-28

    We review derivation of superconformal indices by means of supersymmetric localization and spherical harmonic expansion for 3d N=2, 4d N=1, and 6d N=(1,0) supersymmetric gauge theories. We demonstrate calculation of indices for vector multiplets in each dimensions by analysing energy eigenmodes in S^pxR. For the 6d index we consider the perturbative contribution only. We put focus on technical details of harmonic expansion rather than physical applications.

  14. Object delineation Defining energies p algorithms GC vs FC Forests Thm on MSF vs OPF: proof Delineating objects in images via minimization

    E-Print Network [OSTI]

    Ciesielski, Krzysztof Chris

    Object delineation Defining energies p algorithms GC vs FC Forests Thm on MSF vs OPF: proof Delineating objects in images via minimization of p energies; spanning forests via Dijkstra's and Kruskal energies 1 #12;Object delineation Defining energies p algorithms GC vs FC Forests Thm on MSF vs OPF: proof

  15. Attacks and Security Proofs of EAX-Prime Kazuhiko Minematsu1, Stefan Lucks2, Hiraku Morita3, and Tetsu Iwata4

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    ) specified by ANSI C12.22 as a standard security function for Smart Grid. EAX is based on EAX proposedAttacks and Security Proofs of EAX-Prime Kazuhiko Minematsu1, Stefan Lucks2, Hiraku Morita3 by Bellare, Rogaway, and Wagner. While EAX has a proof of security based on the pseudorandomness

  16. review of James Robert Brown, Philosophy of Mathematics, An Introduction to the World of Proofs and Pictures, Routledge, New York, 1999.

    E-Print Network [OSTI]

    Faris, William G.

    and Pictures, Routledge, New York, 1999. reviewed by William G. Faris, Department of Mathematics, University theme is pictures and math- ematical proof. Here is an example. Two mathematicians each wish to convey. The first mathemati- cian draws a picture and claims that this gives a proof. The picture is not itself

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

    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.

  18. San Francisco State University -IMMUNIZATION REQUIREMENTS All students must provide proof of immunization before they may register for classes.

    E-Print Network [OSTI]

    Ovchinnikov, Sergei

    San Francisco State University - IMMUNIZATION REQUIREMENTS All students must provide proof Mail or Bring this form in person to: Questions? Registrar's Office, SSB 101 San Francisco State University 1600 Holloway Avenue San Francisco, CA 94132 Registrar, One Stop Student Service Center, SSB 101

  19. 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 be proven but are never experienced otherwise. In this treatise we have focused on energy concept

  20. The Boltzmann equation Global existence results Uniqueness Properties of propagation Main ideas of the proof On the Boltzmann equation

    E-Print Network [OSTI]

    Craig, Walter

    The Boltzmann equation Global existence results Uniqueness Properties of propagation Main ideas of the proof On the Boltzmann equation: global solutions in one spatial dimension Walter Craig Department 11, 2005 Walter Craig McMaster University Global solutions of the Boltzmann equation #12;The

  1. An error in "On a new formal proof model for RFID location Da-Zhi Sun a, *

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    An error in "On a new formal proof model for RFID location privacy" Da-Zhi Sun a, * a School: sundazhi1977@126.com, sundazhi@tju.edu.cn (D.-Z. Sun). 1 #12;protection. In 2009, Deursen and Radomirovi

  2. The Meaning Of The Fine Structure Constant

    E-Print Network [OSTI]

    R. L. Oldershaw

    2009-02-21

    A possible explanation is offered for the longstanding mystery surrounding the meaning of the fine structure constant. The reasoning is based on a discrete self-similar cosmological paradigm that has shown promise in explaining the general scaling properties of nature's global hierarchy. The discrete scale invariance of the paradigm implies that "strong gravity" governs gravitational interactions within atomic scale systems. Given the revised gravitational coupling constant and Planck mass, one can demonstrate that the fine structure constant is the ratio of the strengths of the unit electromagnetic interaction and the unit gravitational interaction within atomic scale systems. [Abridged

  3. The "mean king's problem" with continuous variables

    E-Print Network [OSTI]

    Alonso Botero; Yakir Aharonov

    2007-10-16

    We present the solution to the "mean king's problem" in the continuous variable setting. We show that in this setting, the outcome of a randomly-selected projective measurement of any linear combination of the canonical variables x and p can be ascertained with arbitrary precision. Moreover, we show that the solution is in turn a solution to an associated "conjunctive" version of the problem, unique to continuous variables, where the inference task is to ascertain all the joint outcomes of a simultaneous measurement of any number of linear combinations of x and p.

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

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

    2014-05-05

    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

  6. Understanding and representing natural language meaning

    SciTech Connect (OSTI)

    Waltz, D.L.; Maran, L.R.; Dorfman, M.H.; Dinitz, R.; Farwell, D.

    1982-12-01

    During this contract period the authors have: (a) continued investigation of events and actions by means of representation schemes called 'event shape diagrams'; (b) written a parsing program which selects appropriate word and sentence meanings by a parallel process known as activation and inhibition; (c) begun investigation of the point of a story or event by modeling the motivations and emotional behaviors of story characters; (d) started work on combining and translating two machine-readable dictionaries into a lexicon and knowledge base which will form an integral part of our natural language understanding programs; (e) made substantial progress toward a general model for the representation of cognitive relations by comparing English scene and event descriptions with similar descriptions in other languages; (f) constructed a general model for the representation of tense and aspect of verbs; (g) made progress toward the design of an integrated robotics system which accepts English requests, and uses visual and tactile inputs in making decisions and learning new tasks.

  7. Meaning in the traditional Chinese house and garden

    E-Print Network [OSTI]

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

    1992-01-01

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

  8. Going and going : a contemporary search for meaning

    E-Print Network [OSTI]

    Alvarado Beltrn, Elba Fabiola

    2012-01-01

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

  9. Place Meaning and Attitudes toward Impacts on Marine Environments

    E-Print Network [OSTI]

    Wynveen, Christopher J.

    2010-10-12

    20 interviews to identify the meanings that recreational visitors ascribe to the Great Barrier Reef Marine Park (GBRMP) and to further explore how the symbolic interactionist framework can be used to understand place meanings. Ten place meaning themes...

  10. Passive heat transfer means for nuclear reactors

    DOE Patents [OSTI]

    Burelbach, James P. (Glen Ellyn, IL)

    1984-01-01

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

  11. Mean Field Limits in Strongly Confined Systems

    E-Print Network [OSTI]

    Johannes von Keler

    2014-12-10

    We consider the dynamics of $N$ interacting bosons in three dimensions which are strongly confined in one or two directions. We analyze the two cases where the interaction potential $w$ is rescaled by either $N^{-1}w(\\cdot)$ or $a^{3\\theta-1}w(a^\\theta \\cdot)$ and choose the initial wavefunction to be close to a product wavefunction. For both scalings we prove that in the mean field limit $N\\rightarrow \\infty $ the dynamics of the $N$-particle system are described by a nonlinear equation in one or two dimensions. In the case of the scaling $N^{-1}w(\\cdot)$ this equation is the Hartree equation and for the scaling $a^{3\\theta-1}w(a^\\theta \\cdot) $ the nonlinear Schr\\"odinger equation. In both cases we obtain explicit bounds for the rate of convergence of the $N$-particle dynamics to the one-particle dynamics.

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

    2014-01-29

    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.

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

    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.

  14. Proof of linear instability of the Reissner-Nordstrm Cauchy horizon under scalar perturbations

    E-Print Network [OSTI]

    Jonathan Luk; Sung-Jin Oh

    2015-01-19

    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.

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

    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.

  16. Electrical Engineering for Wind Engineers (ELEG467/667-010, embedded in ELEG437/637)-This short course will provide non-Electrical Engineers with sufficient instruction to understand the

    E-Print Network [OSTI]

    Firestone, Jeremy

    1 Electrical Engineering for Wind Engineers (ELEG467/667-010, embedded in ELEG437/637)- This short course will provide non-Electrical Engineers with sufficient instruction to understand the conversion of rotary motion into electrical

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

    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.

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

    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.

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

    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.

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

    SciTech Connect (OSTI)

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

    1997-04-01

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

  1. Proof-of-principle of a new geometry for sampling calorimetry using inorganic scintillator plates

    E-Print Network [OSTI]

    Becker, R; Gendotti, A; Huang, Q; Luckey, D; Lustermann, W; Lutterer, S; Nessi-Tedaldi, F; Pandolfi, F; Pauss, F; Peruzzi, M; Quittnat, M; Wallny, R

    2015-01-01

    A novel geometry for a sampling calorimeter employing inorganic scintillators as an active medium is presented. To overcome the mechanical challenges of construction, an innovative light collection geometry has been pioneered, that minimises the complexity of construction. First test results are presented, demonstrating a successful signal extraction. The geometry consists of a sampling calorimeter with passive absorber layers interleaved with layers of an active medium made of inorganic scintillating crystals. Wavelength-shifting (WLS) fibres run along the four long, chamfered edges of the stack, transporting the light to photodetectors at the rear. To maximise the amount of scintillation light reaching the WLS fibres, the scintillator chamfers are depolished. It is shown herein that this concept is working for cerium fluoride (CeF$_3$) as a scintillator. Coupled to it, several different types of materials have been tested as WLS medium. In particular, materials that might be sufficiently resistant to the Hi...

  2. Experimental and numerical investigation of phonon mean free path distribution

    E-Print Network [OSTI]

    Zeng, Lingping

    2013-01-01

    Knowledge of phonon mean free path (MFP) distribution is critically important to engineering size effects. Phenomenological models of phonon relaxation times can give us some sense about the mean free path distribution, ...

  3. Probabilistic grammar induction from sentences and structured meanings

    E-Print Network [OSTI]

    Kwiatkowski, Thomas Mieczyslaw

    2012-06-25

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

  4. Meaning Change in the Context of Thomas S. Kuhn's Philosophy

    E-Print Network [OSTI]

    Kuukkanen, Jouni-Matti

    Thomas S. Kuhn claimed that the meanings of scientific terms change in theory changes or in scientific revolutions. In philosophy, meaning change has been taken as the source of a group of problems, such as untranslatability, ...

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

    E-Print Network [OSTI]

    Kolczynski, Edward Franklin

    1971-01-01

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

  6. Stochastic Mean Field Model of Heat Engine partitioned by Fluctuating Piston

    E-Print Network [OSTI]

    Tomohiko G. Sano; Hisao Hayakawa

    2014-12-15

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

  7. Universal Asymptotic Eigenvalue Distribution of Large $N$ Random Matrices --- A Direct Diagrammatic Proof to Marchenko-Pastur Law ---

    E-Print Network [OSTI]

    Xiaochuan Lu; Hitoshi Murayama

    2015-05-11

    In random matrix theory, Marchenko-Pastur law states that random matrices with independent and identically distributed entries have a universal asymptotic eigenvalue distribution under large dimension limit, regardless of the choice of entry distribution. This law provides useful insight for physics research, because the large $N$ limit proved to be a very useful tool in various theoretical models. We present an alternative proof of Marchenko- Pastur law using Feynman diagrams, which is more familiar to the physics community. We also show that our direct diagrammatic approach can readily generalize to six types of restricted random matrices, which are not all covered by the original Marchenko-Pastur law.

  8. Revisiting Dirac and Schrdinger: A Proof Offered for the Non-Relativistic Time-Dependent Schrdinger Equation

    E-Print Network [OSTI]

    Ali Sanayei

    2013-09-06

    In this paper, three plausible axioms together with two definitions are employed to build an axiomatic framework, and then with the help of the Dirac formalism, it is demonstrated that the time-dependent Schr\\"odinger wave equation is no longer a postulate for the whole theory, but a theorem. Subsequently, a proof for the theorem is presented. The result implies that the other remaining axioms of the picture essentially involve the Schr\\"odinger equation, and this consequence lets the whole theory become stronger.

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

    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.

  10. UV LED charge control of an electrically isolated proof mass in a Gravitational Reference Sensor configuration at 255 nm

    E-Print Network [OSTI]

    Balakrishnan, Karthik; Alfauwaz, Abdul; Aljadaan, Ahmad; Almajeed, Mohammed; Alrufaydah, Muflih; Althubiti, Salman; Aljabreen, Homoud; Buchman, Sasha; Byer, Robert L; Conklin, John; DeBra, Daniel; Hanson, John; Hultgren, Eric; Saud, Turki Al; Shimizu, Seiya; Soulage, Michael; Zoellner, Andreas

    2012-01-01

    Precise control over the potential of an electrically isolated proof mass is necessary for the operation of devices such as a Gravitational Reference Sensor (GRS) and satellite missions such as LISA. We show that AlGaN UV LEDs operating at 255 nm are an effective substitute for Mercury vapor lamps used in previous missions because of their ability to withstand space qualification levels of vibration and thermal cycling. After 27 thermal and thermal vacuum cycles and 9 minutes of 14.07 g RMS vibration, there is less than 3% change in current draw, less than 15% change in optical power, and no change in spectral peak or FWHM (full width at half maximum). We also demonstrate UV LED stimulated photoemission from a wide variety of thin film carbide proof mass coating candidates (SiC, Mo2C, TaC, TiC, ZrC) that were applied using electron beam evaporation on an Aluminum 6061-T6 substrate. All tested carbide films have measured quantum efficiencies of 3.8-6.8*10^-7 and reflectivities of 0.11-0.15, which compare favor...

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

    SciTech Connect (OSTI)

    Shonder, J.A.; Chen, Gong; McEntee, J.

    1992-08-01

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

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

    SciTech Connect (OSTI)

    Shonder, J.A. ); Chen, Gong; McEntee, J. )

    1992-01-01

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

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

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

    E-Print Network [OSTI]

    Fitelson, Branden

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

  15. Mean Flow Acoustic Correlations for Dual-Stream Asymmetric Jets

    E-Print Network [OSTI]

    Papamoschou, Dimitri

    Mean Flow ­ Acoustic Correlations for Dual-Stream Asymmetric Jets Preben E. Nielsen* and Dimitri dual-stream jets for the exhaust of turbofan engines has demonstrated the potential for noise acoustic and mean-flow measurements, of several fan-flow deflector configurations in a subscale dual-stream

  16. EGS Abstract for MEAN RADIUS, MASS AND INERTIA FOR REFERENCE

    E-Print Network [OSTI]

    EGS Abstract for Nice, 2000 MEAN RADIUS, MASS AND INERTIA FOR REFERENCE EARTH'S MODELS. F. CHAMBAT between real and mean Earth. Abstracts to be submitted on or before December 15, 1999 to EGS Oce Max-Planck-Str. 13 37191 Katlenburg-Lindau Germany Tel.: [+49] 5556-1440 Fax.: [+49] 5556-4709 Email: EGS

  17. Simple Proof that the Usual Transformations of the Electric and Magnetic Fields are not the Lorentz Transformations and EDM Searches

    E-Print Network [OSTI]

    Tomislav Ivezi?

    2008-09-30

    The usual transformations of the three-dimensional (3D) fields E and B that are found in [1] ([1] A. Einstein, Ann. Physik \\17, 891 (1905)) are always considered to be the relativistically correct Lorentz transformations (LT) of E and B. However, as proved in, e.g., [2] ([2] T. Ivezi\\'c, Found. Phys. Lett. 18, 301 (2005)), these transformations drastically differ from the LT of the relativistically correct 4D electric and magnetic fields. In this paper a simple proof of that difference will be presented and the consequences for EDM experiments and for some quantum phase shifts experiments are briefly examined. In all such experiments the usual 3D quantities, e.g., E, B, ... are measured and their relativistically incorrect transformations are used, but not the relativistically correct 4D geometric quantities, e.g., E^a, B^a, ... and their LT.

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

    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.

  19. MEAN-RISK OPTIMIZATION MODELS FOR ELECTRICITY PORTFOLIO MANAGEMENT 1 Mean-risk optimization models for electricity

    E-Print Network [OSTI]

    Rmisch, Werner

    the model via uncertain electricity demand, heat demand, spot prices, and future prices. The objectiveMEAN-RISK OPTIMIZATION MODELS FOR ELECTRICITY PORTFOLIO MANAGEMENT 1 Mean-risk optimization models for electricity portfolio management Andreas Eichhorn and Werner Romisch Abstract-- The possibility

  20. Transformed Eulerian-Mean Theory. Part I: Nonquasigeostrophic Theory for Eddies on a Zonal-Mean Flow

    E-Print Network [OSTI]

    Ferrari, Raffaele

    the widely used quasigeostrophic definition is adopted. Along with the "residual mean circulation. This distinction is shown to be especially important for Ertel potential vorticity (PV). The authors show how flux of PV along the mean isopycnals; in the diabatic layer close to the surface, it is more

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

    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.

  2. HAL: Towards Operator-Proof Systems Management Fabio Oliveira (PhD student), Ricardo Bianchini, Richard P. Martin, Thu D. Nguyen

    E-Print Network [OSTI]

    HAL: Towards Operator-Proof Systems Management Fabio Oliveira (PhD student), Ricardo Bianchini, including lack of understanding of system functioning by operators, complexity of the maintenance task-free system maintenance. Previously, we proposed an ap- proach for human operators to check the correctness

  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. "Infinite energy solutions" Fractal Laplace operator Nonlocal problem & well-posedness Renormalized sol's definition Hints & Proof Renormalized solutions adapted to the

    E-Print Network [OSTI]

    Jeanjean, Louis

    "Infinite energy solutions" Fractal Laplace operator Nonlocal problem & well-posedness Renormalized #12;"Infinite energy solutions" Fractal Laplace operator Nonlocal problem & well-posedness Renormalized sol's definition Hints & Proof Plan of the talk 1 "Infinite energy solutions" for elliptic PDEs 2

  5. Proofs of Ownership in Remote Storage Systems Shai Halevi1, Danny Harnik2, Benny Pinkas3, and Alexandra Shulman-Peleg2

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    Proofs of Ownership in Remote Storage Systems Shai Halevi1, Danny Harnik2, Benny Pinkas3 Abstract Cloud storage systems are becoming increasingly popular. A promising technology that keeps of Petabyte scale storage systems. We then present solutions based on Merkle trees and specific encodings

  6. Sub-50 nm scratch-proof DLC molds for reversal nanoimprint lithography L. Tao, C. T. Nelson, K. Trivedi, S. Ramachandran, M. Goeckner, L. Overzet, and Walter Hua)

    E-Print Network [OSTI]

    Hu, Wenchuang "Walter"

    Sub-50 nm scratch-proof DLC molds for reversal nanoimprint lithography L. Tao, C. T. Nelson, K of the industry is related to the mold life time that significantly affects cost of ownership and manufacturing reproducibility. Nowadays, most often used Si or glass molds that are very expensive can be damaged after certain

  7. Galley Proof 26/01/2007; 10:02 File: sav392.tex; BOKCTP/ljl p. 1 Shock and Vibration 14 (2007) 121 1

    E-Print Network [OSTI]

    Grujicic, Mica

    2007-01-01

    Galley Proof 26/01/2007; 10:02 File: sav392.tex; BOKCTP/ljl p. 1 Shock and Vibration 14 (2007) 1, W.N. Royb and R.R. Skaggsc a Department of Mechanical Engineering, Clemson University, Clemson SC buried in sand to different depths is carried out using the software package AUTODYN. The mechanical

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

  9. Reading data stored in the state of metastable defects in silicon using band-band photoluminescence: Proof of concept and physical limits to the data storage density

    E-Print Network [OSTI]

    : Proof of concept and physical limits to the data storage density F. E. Rougieux and D. Macdonald in multicrystalline silicon wafers for solar cells J. Appl. Phys. 102, 054506 (2007); 10.1063/1.2776003 Influence to the data storage density F. E. Rougieux and D. Macdonald Research School of Engineering, College

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

    E-Print Network [OSTI]

    Chandru Iyer

    2008-11-17

    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

  11. Noise and meaning : a cognitive ethnography of San Diego musicians

    E-Print Network [OSTI]

    Davis, Clinton Ross

    2011-01-01

    Splinter in Your Ear: Noise as the Semblance of Critique."OF CALIFORNIA, SAN DIEGO Noise and Meaning: A CognitiveI. A General Overview of Noise and Experimental Musicians in

  12. Wave-mean flow interactions: from nanometre to megametre scales

    E-Print Network [OSTI]

    Xie, Jinhan

    2015-07-01

    Waves, which arise when restoring forces act on small perturbations, are ubiquitous in fluids. Their counterpart, mean flows, capture the remainder of the motion and are often characterised by a slower evolution and larger ...

  13. Imminence and immanence : embodied meaning in architectural experience

    E-Print Network [OSTI]

    Evans, J. Chris (Jon Chris)

    1992-01-01

    This thesis is an investigation of the natural or bodily-based meaning of architecture, understood in terms of the inherent qualities and relationships that arise out of movement within built environment, and based in a ...

  14. Mean Field Variational Approximations in Continuous-Time Markov Processes

    E-Print Network [OSTI]

    Friedman, Nir

    Mean Field Variational Approximations in Continuous-Time Markov Processes A thesis submitted Processes . . . . . . . . . . . . . . . . . . . 18 2.3 Continuous Time Markov Processes-component Representation - Continuous Time Bayesian Networks . 24 2.3.3 Inference in Continuous Time Markov Processes

  15. Introducing Performance Engineering by means of Tools and Practical Exercises

    E-Print Network [OSTI]

    Murphy, John

    , Trevor Parsons, Lucian M. Patcas, John Murphy and Liam Murphy Performance Engineering Laboratory, School Performance Engineering Lab, School of Computer Science and Informatics, University College Dublin. PermissionIntroducing Performance Engineering by means of Tools and Practical Exercises Alexander Ufimtsev

  16. Learning perceptually grounded word meanings from unaligned parallel data

    E-Print Network [OSTI]

    Tellex, Stefanie A.

    In order for robots to effectively understand natural language commands, they must be able to acquire meaning representations that can be mapped to perceptual features in the external world. Previous approaches to learning ...

  17. Grammatical morphology as a source of early number word meanings

    E-Print Network [OSTI]

    Almoammer, Alhanouf

    How does cross-linguistic variation in linguistic structure affect childrens acquisition of early number word meanings? We tested this question by investigating number word learning in two unrelated languages that feature ...

  18. Grammatical morphology as a source of early number word meanings

    E-Print Network [OSTI]

    2013-01-01

    to counting is important to learning number word meanings,hearing number words used outside of these routinesin thewere given two tests of number word knowledge. The Give-a-

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

    E-Print Network [OSTI]

    Panigrahy, Jagannath

    2011-08-08

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

  20. Meaning of Family-Professional Partnerships: Japanese Mothers' Perspectives

    E-Print Network [OSTI]

    Maho, Kasahara; Turnbull, Ann P.

    2005-01-01

    TMs study inquired into the meaning of family-professional partnerships from the perspective offapanese families of children with disabilities. Data were collected from 30 mothers who participated in focus groups and/or interviews infapan...

  1. STUDY OF WATER CONSERVATION AS A MEANS TO

    E-Print Network [OSTI]

    #12;STUDY OF WATER CONSERVATION AS A MEANS TO IMPROVE WASTEWATER TREATMENT AND REDUCE TREATMENT - 5 2.5.1 Computer Simualation Studies............................................................. 2 ............................................................................................ 3 - 7 3.2 Case Study Selection

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

    E-Print Network [OSTI]

    Waterman, Stephanie N

    2009-01-01

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

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

  4. Nuclear Symmetry Energy in Relativistic Mean Field Theory

    E-Print Network [OSTI]

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

    2005-09-12

    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.

  5. An Energy Self-Sufficient Sawmill

    E-Print Network [OSTI]

    Juchymenko, A.

    1982-01-01

    technology commonly referred to as cogeneration. Most sawmills produce large quantities of biomass. The total heat energy requirement at these sawmills could easily be satisfied by a small fraction of the energy contained in the biomass. The unused biomass...

  6. Support means for a particle beam position monitor

    DOE Patents [OSTI]

    VanZwienen, William H. (Bayshore, NY)

    1991-01-01

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

  7. Mean field extrapolations of microscopic nuclear equations of state

    E-Print Network [OSTI]

    Rrapaj, Ermal; Holt, Jeremy W

    2015-01-01

    We explore the use of mean field models to approximate microscopic nuclear equations of state derived from chiral effective field theory across the densities and temperatures relevant for simulating astrophysical phenomena such as core-collapse supernovae and binary neutron star mergers. We consider both relativistic mean field theory with scalar and vector meson exchange as well as energy density functionals based on Skyrme phenomenology and compare to thermodynamic equations of state derived from chiral two- and three-nucleon forces in many-body perturbation theory. Quantum Monte Carlo simulations of symmetric nuclear matter and pure neutron matter are used to determine the density regimes in which perturbation theory with chiral nuclear forces is valid. Within the theoretical uncertainties associated with the many-body methods, we find that select mean field models describe well microscopic nuclear thermodynamics. As an additional consistency requirement, we study as well the single-particle properties of ...

  8. Support means for a particle beam position monitor

    DOE Patents [OSTI]

    VanZwienen, W.H.

    1991-01-29

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

  9. Fluorescent lamp unit with magnetic field generating means

    DOE Patents [OSTI]

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

    1989-08-08

    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. Surface Mean-Square Amplitudes of Vibration for Nacl

    E-Print Network [OSTI]

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

    1972-01-01

    " in low-energy electron diffraction (LEED). In the present paper we report calculations of the mean-square ampli- tudes and mean-square velocities for the (100) surface of NaC1. We will distinguish the Na' and Cl ions by a la- bel w and use a label... expressions coth[If&o, (j)/2ks T] ~,(q) x coth h'tc (q) 'l B M? is the mass of an ion labeled by w, N is the number of values of the two-dimensional wave vec- tor q in the summation, P is a label which distin- guishes the different vibrational modes...

  11. Soergel, The architecture of meaning 1 Dagobert Soergel

    E-Print Network [OSTI]

    Soergel, Dagobert

    knowledge, needs, and purposes, and thus making sense of the content. The significance of meaning Some, needs, and purposes, and thus making sense of the content. This is exactly parallel to the job itself, not only to better navigate the site but to gain a better understanding of their information need

  12. Heat flux carried by the Antarctic Circumpolar Current mean flow

    E-Print Network [OSTI]

    Rhode Island, University of

    Heat flux carried by the Antarctic Circumpolar Current mean flow Che Sun Geophysical Fluid Dynamics Graduate School of Oceanography, University of Rhode Island, Narragansett, Rhode Island, USA Received 18 of historical hydrographic data is applied to study the heat flux problem in the Antarctic Circumpolar Current

  13. Connotation Lexicon: A Dash of Sentiment Beneath the Surface Meaning

    E-Print Network [OSTI]

    Anderson, Richard

    of sentiment beyond denotative or surface meaning of text. For instance, consider the following: Geothermal toward "geothermal". In order to sense the subtle overtone of sentiments, one needs to know that the word "emissions" has generally negative connota- tion, which geothermal reduces. In fact, depend- ing

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

  15. Stereo Integration, Mean Field Theory and Psychophysics Alan L. Yuille

    E-Print Network [OSTI]

    Yuille, Alan L.

    Stereo Integration, Mean Field Theory and Psychophysics Alan L. Yuille Division of Applied Science that the theory is consistent with some psychophysical experiments. The fundamental issues of stereo are: (i) what. This formulationenables us to integrate the depth information from di erent types of matching primitives, or from di erent

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

    E-Print Network [OSTI]

    can we measure the impacts on peatland? Streamwater can be sampled upstream and downstream downstream of forest felling were mostly higher than the sampling points upstream. The mean concentrations the results show? There has been a slight increase in [DOC] downstream of forest felling, tracks, turbine

  17. 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, CA 94043 broder @google.com Lluis Garcia-Pueyo Google 1600 Amphitheater Parkway Mountain View, CA 94043 lgpueyo@google.com Vanja Josifovski Google 1600 Amphitheater Parkway Mountain View, CA 94043

  18. Bohmian Mechanics and the Meaning of the Wave Function

    E-Print Network [OSTI]

    Goldstein, Sheldon

    Bohmian Mechanics and the Meaning of the Wave Function D. Durr Mathematisches Institut der successes, quantum mechanics has, since its inception some seventy years ago, been plagued by conceptual di is not merely one of the conceptual di culties of quantum mechanics; it is the conceptual di culty. While we

  19. Gluon Condensate in Pion Superfluid beyond Mean Field Approximation

    E-Print Network [OSTI]

    Yin Jiang; Pengfei Zhuang

    2011-03-04

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

  20. Thermodynamics and Universality for Mean Field Quantum Spin Glasses

    E-Print Network [OSTI]

    Nick Crawford

    2006-10-13

    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.

  1. Mean stream coordinates structure of the Subantarctic Front: Temperature, salinity,

    E-Print Network [OSTI]

    Luther, Douglas S.

    . The cross-stream structure of along-stream velocity is very nearly symmetric about the jet axisMean stream coordinates structure of the Subantarctic Front: Temperature, salinity, and absolute southwest of Tasmania, at the Subantarctic Front (SAF), is estimated by a stream coordinates analysis

  2. Mean Stream-Coordinate Structure of the Kuroshio Extension

    E-Print Network [OSTI]

    Rhode Island, University of

    Use Stream Coordinates? Meanders cause shifts in direction of main jet flow NecessaryMean Stream-Coordinate Structure of the Kuroshio Extension First Meander Trough 6 March, 2008 timescales between "stable" and "unstable" meander states Goal here is to examine cross-stream fluxes

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

    E-Print Network [OSTI]

    Adriano Barra; Giuseppe Genovese; Francesco Guerra; Daniele Tantari

    2012-05-17

    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.

  4. Fluorescent lamp with static magnetic field generating means

    DOE Patents [OSTI]

    Moskowitz, Philip E. (Peabody, MA); Maya, Jakob (Brookline, MA)

    1987-01-01

    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.

  5. Fluorescent lamp with static magnetic field generating means

    DOE Patents [OSTI]

    Moskowitz, P.E.; Maya, J.

    1987-09-08

    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.

  6. The nonlinear mean-...eld model of nuclear matter II

    E-Print Network [OSTI]

    equation. However it was claimed [4] that the negative- energy contribution should be suppressed dueThe nonlinear mean-...eld model of nuclear matter II -- renormalized optical potential -- K coupling potential. We have found the suppression of the negative-energy propaga- tion compared

  7. Collaborative Human Computation as a Means of Information Management

    E-Print Network [OSTI]

    Cortes, Corinna

    Collaborative Human Computation as a Means of Information Management Manas Tungare1,2 , Ben amortizing the cost of tag- ging and email management across all stakeholders. We dis- cuss how such shared with minimal global cognitive load by the sender of the message. We provide scenarios of collaborative infor

  8. AUTOMATIC LEXICON ENHANCEMENT BY MEANS OF CORPUS TAGGING

    E-Print Network [OSTI]

    AUTOMATIC LEXICON ENHANCEMENT BY MEANS OF CORPUS TAGGING Frdddric Bdchet , Thierry Spriet , Marc E1 maximal cover on a specific topic is an important benefit in many applications of Automatic Speech and Natural Language Processing. The enhancement of these lex- icons can be made automatic as big corpora

  9. Visual Thinking, Meaning & Form in HCI/d

    E-Print Network [OSTI]

    Blevis, Eli

    (Concepts Iteration) DCBL Semester Theme Project Complete I (Still Life Palooza) Schedule Week 14 | APR 23 Week Activity DCBL Semester Theme Project Complete II & Best-of Portfolio Pizza Party (TBC) Final high standard of image production, attribution practices, and meaning making in design, social values

  10. Intermittency in Turbulent Diffusion Models with a Mean Gradient

    E-Print Network [OSTI]

    Majda, Andrew J.

    Intermittency in Turbulent Diffusion Models with a Mean Gradient Andrew J Majda and Xin T TongE30, 62G32 Submitted to: Nonlinearity 1. Introduction Turbulent diffusion is the transportation and diffusion. Its application ranges from the spread of hazardous plumes and mixing properties of turbulent

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

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

  13. Know what a hurricane WATCH and WARNING means

    E-Print Network [OSTI]

    Adhar, Gur Saran

    Know what a hurricane WATCH and WARNING means WATCH: Hurricane conditions are possible in the specified area of the WATCH, usually within 36 hours. WARNING: Hurricane conditions are expected. Special items for infant, elderly, or disabled family members. Identify what to do when a hurricane

  14. High-speed tapping-mode atomic force microscopy using a Q-controlled regular cantilever acting as the actuator: Proof-of-principle experiments

    SciTech Connect (OSTI)

    Balantekin, M.; Sat?r, S.; Torello, D.; De?ertekin, F. L.

    2014-12-15

    We present the proof-of-principle experiments of a high-speed actuation method to be used in tapping-mode atomic force microscopes (AFM). In this method, we do not employ a piezotube actuator to move the tip or the sample as in conventional AFM systems, but, we utilize a Q-controlled eigenmode of a cantilever to perform the fast actuation. We show that the actuation speed can be increased even with a regular cantilever.

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

    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

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

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

  17. Effects and Meaning: Metaphors as Implicit Speech Acts

    E-Print Network [OSTI]

    Seals, Anastasia Margaret

    2014-08-31

    ________________________________ Chairperson Professor Eileen Nutting Date approved: 30 May 2014 iii Abstract I n this paper I show that the typi ca l accoun t s of mean in g do not provide us with what is most impor t a nt about meta phor s. The mean in g of a meta... phori ca l utte ra nce is nothi n g more than what it says. What is impor t a nt about meta phor s looks more like effe ct s, the reali za tion s of sign if i ca nt or surpr i sin g simi la r i ti e s betwee n obje ct s they inspi r e in their inte r...

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

    E-Print Network [OSTI]

    Albert-Laszlo Barabasi; Reka Albert; Hawoong Jeong

    1999-07-05

    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, E.S.; Koutny, L.B.; Hogan, B.L.; Cheung, C.K.; Yinfa Ma.

    1993-03-09

    A means and method are described 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. Energy Dependent Isospin Asymmetry in Mean-Field Dynamics

    E-Print Network [OSTI]

    T. Gaitanos; M. Kaskulov

    2012-01-27

    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.

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

    E-Print Network [OSTI]

    Henryk Gzyl; Enrique ter Horst

    2007-09-04

    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.

  2. On Predicting the Solar Cycle using Mean-Field Models

    E-Print Network [OSTI]

    Paul J. Bushby; Steven M. Tobias

    2007-04-18

    We discuss the difficulties of predicting the solar cycle using mean-field models. Here we argue that these difficulties arise owing to the significant modulation of the solar activity cycle, and that this modulation arises owing to either stochastic or deterministic processes. We analyse the implications for predictability in both of these situations by considering two separate solar dynamo models. The first model represents a stochastically-perturbed flux transport dynamo. Here even very weak stochastic perturbations can give rise to significant modulation in the activity cycle. This modulation leads to a loss of predictability. In the second model, we neglect stochastic effects and assume that generation of magnetic field in the Sun can be described by a fully deterministic nonlinear mean-field model -- this is a best case scenario for prediction. We designate the output from this deterministic model (with parameters chosen to produce chaotically modulated cycles) as a target timeseries that subsequent deterministic mean-field models are required to predict. Long-term prediction is impossible even if a model that is correct in all details is utilised in the prediction. Furthermore, we show that even short-term prediction is impossible if there is a small discrepancy in the input parameters from the fiducial model. This is the case even if the predicting model has been tuned to reproduce the output of previous cycles. Given the inherent uncertainties in determining the transport coefficients and nonlinear responses for mean-field models, we argue that this makes predicting the solar cycle using the output from such models impossible.

  3. Some measure-theoretic properties of generalized means

    E-Print Network [OSTI]

    Irina Navrotskaya; Patrick J. Rabier

    2015-01-12

    If $\\Lambda $ is a measure space, $u:\\Lambda ^{m}\\rightarrow \\Bbb{R}$ is a given function and $N\\geq m,$ the function $U(x_{1},...,x_{N})=\\left( \\begin{array}{l} N \\\\ m \\end{array} \\right) ^{-1}\\sum_{1\\leq i_{1}information is crucial in some problems addressing the existence of generalized means satisfying given conditions, such as the classical Inverse Problem of statistical physics (in the canonical ensemble).

  4. Numerical computation of constant mean curvature surfaces using finite elements

    E-Print Network [OSTI]

    Jan Metzger

    2004-08-18

    This paper presents a method for computing two-dimensional constant mean curvature surfaces. The method in question uses the variational aspect of the problem to implement an efficient algorithm. In principle it is a flow like method in that it is linked to the gradient flow for the area functional, which gives reliable convergence properties. In the background a preconditioned conjugate gradient method works, that gives the speed of a direct elliptic multigrid method.

  5. Mean field approximation for noisy delay coupled excitable neurons

    E-Print Network [OSTI]

    Nikola Buric; Dragana Rankovic; Kristina Todorovic; Nebojsa Vasovic

    2010-03-26

    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.

  6. Mean-field description of plastic flow in amorphous solids

    E-Print Network [OSTI]

    Jie Lin; Matthieu Wyart

    2015-07-17

    Failure and flow of amorphous materials are central to various phenomena including earthquakes and landslides. There is accumulating evidence that the yielding transition between a flowing and an arrested phase is a critical phenomenon, but the associated exponents are not understood, even at a mean-field level where the validity of popular models is debated. Here we solve a mean-field model that captures the broad distribution of the mechanical noise generated by plasticity, whose behavior is related to biased L\\'evy flights near an absorbing boundary. We compute the exponent $\\theta$ characterizing the density of shear transformation $P(x)\\sim x^{\\theta}$, where $x$ is the stress increment beyond which they yield. We find that after an isotropic thermal quench, $\\theta=1/2$. However, $\\theta$ depends continuously on the applied shear stress, this dependence is not monotonic, and its value at the yield stress is not universal. The model rationalizes previously unexplained observations, and captures reasonably well the value of exponents in three dimensions. These results support that it is the true mean-field model that applies in large dimension, and raise fundamental questions on the nature of the yielding transition.

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

    SciTech Connect (OSTI)

    Pickett, Chris A; Younkin, James R; Kovacic, Donald N; Dixon, E. T.; Martinez, B.

    2007-01-01

    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.

  8. Prognostic residual mean flow in an ocean general circulation model and its relation to prognostic Eulerian mean flow

    DOE Public Access Gateway for Energy & Science Beta (PAGES Beta)

    Saenz, Juan A.; Chen, Qingshan; Ringler, Todd

    2015-05-19

    Recent work has shown that taking the thickness-weighted average (TWA) of the Boussinesq equations in buoyancy coordinates results in exact equations governing the prognostic residual mean flow where eddymean flow interactions appear in the horizontal momentum equations as the divergence of the EliassenPalm flux tensor (EPFT). It has been proposed that, given the mathematical tractability of the TWA equations, the physical interpretation of the EPFT, and its relation to potential vorticity fluxes, the TWA is an appropriate framework for modeling ocean circulation with parameterized eddies. The authors test the feasibility of this proposition and investigate the connections between the TWAmoreframework and the conventional framework used in models, where Eulerian mean flow prognostic variables are solved for. Using the TWA framework as a starting point, this study explores the well-known connections between vertical transfer of horizontal momentum by eddy form drag and eddy overturning by the bolus velocity, used by Greatbatch and Lamb and Gent and McWilliams to parameterize eddies. After implementing the TWA framework in an ocean general circulation model, we verify our analysis by comparing the flows in an idealized Southern Ocean configuration simulated using the TWA and conventional frameworks with the same mesoscale eddy parameterization.less

  9. Benchmarking mean-field approximations to level densities

    E-Print Network [OSTI]

    Y. Alhassid; G. F. Bertsch; C. N. Gilbreth; H. Nakada

    2015-12-11

    We assess the accuracy of finite-temperature mean-field theory using as a standard the Hamiltonian and model space of the shell model Monte Carlo calculations. Two examples are considered: the nucleus $^{162}$Dy, representing a heavy deformed nucleus, and $^{148}$Sm, representing a nearby heavy spherical nucleus with strong pairing correlations. The errors inherent in the finite-temperature Hartree-Fock and Hartree-Fock-Bogoliubov approximations are analyzed by comparing the entropies of the grand canonical and canonical ensembles, as well as the level density at the neutron resonance threshold, with shell model Monte Carlo (SMMC) calculations, which are accurate up to well-controlled statistical errors. The main weak points in the mean-field treatments are seen to be: (i) the extraction of number-projected densities from the grand canonical ensembles, and (ii) the symmetry breaking by deformation or by the pairing condensate. In the absence of a pairing condensate, we confirm that the usual saddle-point approximation to extract the number-projected densities is not a significant source of error compared to other errors inherent to the mean-field theory. We also present an alternative formulation of the saddle-point approximation that makes direct use of an approximate particle-number projection and avoids computing the usual three-dimensional Jacobian of the saddle-point integration. We find that the pairing condensate is less amenable to approximate particle-number projection methods due to the explicit violation of particle-number conservation in the pairing condensate. Nevertheless, the Hartree-Fock-Bogoliubov theory is accurate to less than one unit of entropy for $^{148}$Sm at the neutron threshold energy, which is above the pairing phase transition.

  10. FIRST PROOF Occipital Lobe

    E-Print Network [OSTI]

    Grill-Spector, Kalanit

    . Visual field topography has been a primary source of information used to identify and map different (retinotopy), which is inverted due to the optical properties of the cornea and lens of the eye. Information is crossed. Visual information from the left half of the visual field (from both the right and the left eyes

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

  12. Proof-carrying data

    E-Print Network [OSTI]

    Chiesa, Alessandro

    2010-01-01

    The security of systems can often be expressed as ensuring that some property is maintained at every step of a distributed computation conducted by untrusted parties. Special cases include integrity of programs running on ...

  13. Uncorrected Proof RESEARCH COMMUNICATIONS

    E-Print Network [OSTI]

    Giri, Ranjit K.

    virus3 . In general, inci- dences of dengue fever, a mosquito-borne tropical disease (Flavivirus, an RNA in India, although dengue fever was recognized as a classical disease with high morbidity but no mortality for the vector A. aegypti68 . During the past few years, the frequency of dengue hem- orrhagic fever (DHF) has

  14. Polterovich, Proof: Weyl's

    E-Print Network [OSTI]

    Jakobson, Dmitry

    . · Spectral function: Let x, y X. Nx,y () = i i(x)i(y). If x = y, let Nx,y () := Nx (). Local Weyl's law: Nx,y () = O(n-1), x = y; Nx () = Cnn + Rx (), Rx () = O(n-1); Rx () - local remainder. · We study lower bounds for R(), Rx () and Nx,y (). #12;Estimates from below Jakobson, Polterovich, Toth General

  15. Proofs for Tech. Literature

    E-Print Network [OSTI]

    Unknown

    2011-08-17

    Interpreting slavery can be a difficult and controversial task. Recent literature has shown that the majority of plantation museums and historic sites, which historically enslaved African-Americans, are currently ignoring the institution of slavery...

  16. Virtual Cambridge - first proof

    E-Print Network [OSTI]

    Macfarlane, Alan

    2015-06-30

    for visitors, including various facilities and places and another useful set also here. ??An experiment ? This is an experiment which makes use of technologies which have only just emerged. It is worth trying to understand Cambridge University... learns about surprising new developments so that new worlds of ideas are constantly opening up. I was astonished, for example, when I spent three months teaching at the Komaba campus of Tokyo University to find that there was no real staff or student...

  17. 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: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 Outreach Home RoomPreservationBio-Inspired SolarAboutXu Named|Got Solitons? SUpdated: 04/20/10Instantiating apftp

  18. 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: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 Outreach Home RoomPreservationBio-Inspired SolarAboutXu Named|Got Solitons? SUpdated: 04/20/10Instantiating apftp

  19. 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: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 Outreach Home RoomPreservationBio-Inspired SolarAboutXu Named|Got Solitons? SUpdated: 04/20/10Instantiating apftp

  20. Method for chemically analyzing a solution by acoustic means

    DOE Patents [OSTI]

    Beller, L.S.

    1997-04-22

    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.

  1. Method for chemically analyzing a solution by acoustic means

    DOE Patents [OSTI]

    Beller, Laurence S. (Idaho Falls, ID)

    1997-01-01

    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.

  2. A mechanical approach to mean field spin models

    E-Print Network [OSTI]

    Giuseppe Genovese; Adriano Barra

    2009-05-07

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

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

    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.

  4. Beyond Mean-Field Calculations for Odd-A Nuclei

    E-Print Network [OSTI]

    B. Bally; B. Avez; M. Bender; P. -H. Heenen

    2014-10-15

    Beyond mean-field methods are very successful tools for the description of large-amplitude collective motion for even-even atomic nuclei. The state-of-the-art framework of these methods consists in a Generator Coordinate Method based on angular-momentum and particle-number projected triaxially deformed Hatree-Fock-Bogoliubov (HFB) states. The extension of this scheme to odd-mass nuclei is a long-standing challenge. We present for the first time such an extension, where the Generator Coordinate space is built from self-consistently blocked one-quasiparticle HFB states. One of the key points for this success is that the same Skyrme interaction is used for the mean-field and the pairing channels, thus avoiding problems related to the violation of the Pauli principle. An application to 25Mg illustrates the power of our method, as agreement with experiment is obtained for the spectrum, electromagnetic moments, and transition strengths, for both positive and negative parity states and without the necessity for effective charges or effective moments. Although the effective interaction still requires improvement, our study opens the way to systematically describe odd-A nuclei throughout the nuclear chart.

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

    E-Print Network [OSTI]

    Haq, Saif-ul

    1992-01-01

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

  6. Review: Climate Change: What It Means for Us, Our Children, and Our Grandchildren

    E-Print Network [OSTI]

    Pazhoohi, Farid

    2015-01-01

    Review: Climate Change: What It Means for Us, Our Children,Doughman, Pamela (Editors).Climate Change: What It Means forexpressed by the editors, Climate Change: What It Means for

  7. Variation after full projection with triaxially deformed nuclear mean field

    E-Print Network [OSTI]

    Gao, Zao-Chun; Chen, Y S

    2015-01-01

    We implemented a variation after projection (VAP) algorithm based on a triaxially deformed Hartree-Fock-Bogoliubov vacuum state. This is the first projected mean field study that includes all the quantum numbers (except parity), i.e., spin ($J$), isospin ($T$) and mass number ($A$). Systematic VAP calculations with $JTA$-projection have been performed for the even-even $sd$-shell nuclei with the USDB Hamiltonian. All the VAP ground state energies are within 500 keV above the exact shell model values. Our VAP calculations show that the spin projection has two important effects: (1) the spin projection is crucial in achieving good approximation of the full shell model calculation. (2) the intrinsic shapes of the VAP wavefunctions with spin projection are always triaxial, while the Hartree-Fock-Bogoliubov methods likely provide axial intrinsic shapes. Finally, our analysis suggests that one may not be possible to associate an intrinsic shape to an exact shell model wave function.

  8. Variation after full projection with triaxially deformed nuclear mean field

    E-Print Network [OSTI]

    Zao-Chun Gao; Mihai Horoi; Y. S. Chen

    2015-09-10

    We implemented a variation after projection (VAP) algorithm based on a triaxially deformed Hartree-Fock-Bogoliubov vacuum state. This is the first projected mean field study that includes all the quantum numbers (except parity), i.e., spin ($J$), isospin ($T$) and mass number ($A$). Systematic VAP calculations with $JTA$-projection have been performed for the even-even $sd$-shell nuclei with the USDB Hamiltonian. All the VAP ground state energies are within 500 keV above the exact shell model values. Our VAP calculations show that the spin projection has two important effects: (1) the spin projection is crucial in achieving good approximation of the full shell model calculation. (2) the intrinsic shapes of the VAP wavefunctions with spin projection are always triaxial, while the Hartree-Fock-Bogoliubov methods likely provide axial intrinsic shapes. Finally, our analysis suggests that one may not be possible to associate an intrinsic shape to an exact shell model wave function.

  9. Nuclear Level Density: Shell Model vs Mean Field

    E-Print Network [OSTI]

    Sen'kov, Roman

    2015-01-01

    The knowledge of the nuclear level density is necessary for understanding various reactions including those in the stellar environment. Usually the combinatorics of Fermi-gas plus pairing is used for finding the level density. Recently a practical algorithm avoiding diagonalization of huge matrices was developed for calculating the density of many-body nuclear energy levels with certain quantum numbers for a full shell-model Hamiltonian. The underlying physics is that of quantum chaos and intrinsic thermalization in a closed system of interacting particles. We briefly explain this algorithm and, when possible, demonstrate the agreement of the results with those derived from exact diagonalization. The resulting level density is much smoother than that coming from the conventional mean-field combinatorics. We study the role of various components of residual interactions in the process of thermalization, stressing the influence of incoherent collision-like processes. The shell-model results for the traditionally...

  10. Two stochastic mean-field polycrystal plasticity methods

    SciTech Connect (OSTI)

    Tonks, Michael [Los Alamos National Laboratory

    2008-01-01

    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. Radiant energy receiver having improved coolant flow control means

    DOE Patents [OSTI]

    Hinterberger, H.

    1980-10-29

    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.

  12. Nambu-Jona-Lasinio Models Beyond the Mean Field Approximation

    E-Print Network [OSTI]

    P. Domitrovich; D. Bckers; H. Mther

    1993-04-01

    Inspired by the model of Nambu and Jona-Lasinio, various Lagrangians are considered for a system of interacting quarks. Employing standard techniques of many-body theory, the scalar part of the quark self-energy is calculated including terms up to second-order in the interaction. Results obtained for the single-particle Green's function are compared with those which only account for the mean-field or Hartree-Fock term in the self-energy. Depending on the explicit form of the Lagrangian, the second-order contributions range between 4 and 90 percent of the leading Hartree-Fock term. This leads to a considerable momentum dependence of the self-energy and the effective mass of the quarks.

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

    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 glandular dose in a breast screening programme

    SciTech Connect (OSTI)

    Galvan, H. A.; Perez-Badillo, M. P.; Villasenor, Y.

    2012-10-23

    Breast density has an important role in early detection of breast cancer, because has been reported the strong association between breast density and invasive breast cancer risk. Mammography is the gold standard to early detection of breast cancer, despite of this require ionizing radiation that may increase radio-induced cancer risk. This maybe limited with a quality control programme of mammographic units, with the main goal of achieving high quality images with low radiation dose. International Atomic Energy Agency (IAEA) published in 2011 the {sup Q}uality assurance programme for digital mammography{sup ,} where glandular tissue quantity is an important parameter to compute mean glandular dose (MGD), which is necessary to reduce its associated risk. In this work we show the first results in our country applying this protocol and studying breast density in a small group. MGD complies with national and IAEA dose limits.

  15. Statistical Learning : LOO stability is sufficient for generalization and necessary and sufficient for consistency of

    E-Print Network [OSTI]

    Poggio, Tomaso

    Risk Minimization (ERM) and almost-ERM when the minimizer does not exist need to be consis- tent, (b) necessary and suffi- cient for consistency of ERM. Thus LOO stability is a weak form of stability the classical conditions for consistency of ERM. In particular, we conclude that a certain form of well

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

    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

  17. Predicting Pneumonitis Risk: A Dosimetric Alternative to Mean Lung Dose

    SciTech Connect (OSTI)

    Tucker, Susan L.; Mohan, Radhe; Liengsawangwong, Raweewan; Martel, Mary K.; Liao Zhongxing

    2013-02-01

    Purpose: To determine whether the association between mean lung dose (MLD) and risk of severe (grade {>=}3) radiation pneumonitis (RP) depends on the dose distribution pattern to normal lung among patients receiving 3-dimensional conformal radiation therapy for non-small-cell lung cancer. Methods and Materials: Three cohorts treated with different beam arrangements were identified. One cohort (2-field boost [2FB]) received 2 parallel-opposed (anteroposterior-posteroanterior) fields per fraction initially, followed by a sequential boost delivered using 2 oblique beams. The other 2 cohorts received 3 or 4 straight fields (3FS and 4FS, respectively), ie, all fields were irradiated every day. The incidence of severe RP was plotted against MLD in each cohort, and data were analyzed using the Lyman-Kutcher-Burman (LKB) model. Results: The incidence of grade {>=}3 RP rose more steeply as a function of MLD in the 2FB cohort (N=120) than in the 4FS cohort (N=138), with an intermediate slope for the 3FS group (N=99). The estimated volume parameter from the LKB model was n=0.41 (95% confidence interval, 0.15-1.0) and led to a significant improvement in fit (P=.05) compared to a fit with volume parameter fixed at n=1 (the MLD model). Unlike the MLD model, the LKB model with n=0.41 provided a consistent description of the risk of severe RP in all three cohorts (2FB, 3FS, 4FS) simultaneously. Conclusions: When predicting risk of grade {>=}3 RP, the mean lung dose does not adequately take into account the effects of high doses. Instead, the effective dose, computed from the LKB model using volume parameter n=0.41, may provide a better dosimetric parameter for predicting RP risk. If confirmed, these findings support the conclusion that for the same MLD, high doses to small lung volumes ('a lot to a little') are worse than low doses to large volumes ('a little to a lot').

  18. Can-out hatch assembly with magnetic retention means

    DOE Patents [OSTI]

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

    1985-07-03

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

  19. Nuclear Level Density: Shell Model vs Mean Field

    E-Print Network [OSTI]

    Roman Sen'kov; Vladimir Zelevinsky

    2015-08-15

    The knowledge of the nuclear level density is necessary for understanding various reactions including those in the stellar environment. Usually the combinatorics of Fermi-gas plus pairing is used for finding the level density. Recently a practical algorithm avoiding diagonalization of huge matrices was developed for calculating the density of many-body nuclear energy levels with certain quantum numbers for a full shell-model Hamiltonian. The underlying physics is that of quantum chaos and intrinsic thermalization in a closed system of interacting particles. We briefly explain this algorithm and, when possible, demonstrate the agreement of the results with those derived from exact diagonalization. The resulting level density is much smoother than that coming from the conventional mean-field combinatorics. We study the role of various components of residual interactions in the process of thermalization, stressing the influence of incoherent collision-like processes. The shell-model results for the traditionally used parameters are also compared with standard phenomenological approaches.

  20. Nonextensive critical effects in relativistic nuclear mean field models

    E-Print Network [OSTI]

    J. Rozynek; G. Wilk

    2011-02-22

    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.

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

    The National Nuclear Security Administration (NNSA) Office of Nonproliferation and International Securitys (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).

  2. 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-Verdn, Carlos

    Joint 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 problem associated with the inversion. Fluid production measurements are sensitive to initial fluid

  3. Review: Climate Change: What It Means for Us, Our Children, and Our Grandchildren

    E-Print Network [OSTI]

    Pazhoohi, Farid

    2015-01-01

    anthropogenic impact on climate are mentioned (Chapter 3).Review: Climate Change: What It Means for Us, Our Children,Doughman, Pamela (Editors).Climate Change: What It Means for

  4. Hardy Means of a Finite Blaschke Product and Its Alan Gluchoff and Frederick Hartmann

    E-Print Network [OSTI]

    Hartmann, Frederick

    Hardy Means of a Finite Blaschke Product and Its Derviative Alan Gluchoff and Frederick Hartmann;2 ALAN GLUCHOFF AND FREDERICK HARTMANN means n k=1 |Bn(rzk)|(1-|zk|) and n k=1 |Bn(rzk)|(1-|zk

  5. A STUDY OF MICROWAVE INSTABILITIES BY MEANS OF A SQUARE-WELL POTENTIAL

    E-Print Network [OSTI]

    Kim, K.-J.

    2010-01-01

    a more realistic theory of microwave~nstabi1ities.16-27, 1979 A STUDY OF MICROWAVE INSTABILITIES BY MEANS OF ABerkeley A Study of Microwave Instabilities by means of a

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

    E-Print Network [OSTI]

    Vaughn, Bradley Keith

    2003-01-01

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

  7. Quantum soliton dynamics in vibrational chains: Comparison of fully correlated, mean field, and classical dynamics

    E-Print Network [OSTI]

    Baer, Roi

    . Solitary solutions were also found for the mean field GrossPitevskii model for BoseEinstein condensates.9

  8. Crystalline mean curvature flow of convex sets G. Bellettini # , V. Caselles + , A. Chambolle # , M. Novaga

    E-Print Network [OSTI]

    Caselles, Vicent

    Crystalline mean curvature flow of convex sets G. Bellettini # , V. Caselles + , A. Chambolle # , M. Novaga § 29th October 2004 Abstract We prove a local existence and uniqueness result of crystalline mean a compact convex set is unique. Key words: crystalline mean curvature, #­regular flows, flat flows, convex

  9. Model-based Risk Assessment What does model-based mean?

    E-Print Network [OSTI]

    Stlen, Ketil

    Model-based Risk Assessment What does model-based mean? Model-based means based on modelling keeping a good overview at the same time. What does Risk Assessment mean? A risk assessment is a process to change the system in order to reduce these indicated risks. Why Risk Assessment? IT-systems get bigger

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

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

  12. Strategies for measurement of atmospheric column means of carbon dioxide from aircraft using discrete sampling

    E-Print Network [OSTI]

    Stephens, Britton B.

    Strategies for measurement of atmospheric column means of carbon dioxide from aircraft using and Structure: Instruments and techniques; KEYWORDS: carbon dioxide, column mean, column integral, COBRA, flask, Strategies for measurement of atmospheric column means of carbon dioxide from aircraft using discrete

  13. Applications of Fixed Point Theorems to the Vacuum Einstein Constraint Equations with Non-Constant Mean Curvature

    E-Print Network [OSTI]

    Cang, Nguyen The

    2015-01-01

    In this paper, we introduce new methods for solving the vacuum Einstein constraints equations: the first one is based on Schaefer's fixed point theorem (known methods use Schauder's fixed point theorem) while the second one uses the concept of half-continuity coupled with the introduction of local supersolutions. These methods allow to: unify some recent existence results, simplify many proofs (for instance, the main theorem in arXiv:1012.2188) and weaken the assumptions of many recent results.

  14. Role of the mean curvature in the geometry of magnetic confinement configurations

    SciTech Connect (OSTI)

    Skovoroda, A. A. [Russian Research Centre Kurchatov Institute (Russian Federation); Taimanov, I. A. [Russian Academy of Sciences, Sobolev Institute of Mathematics, Siberian Branch (Russian Federation)

    2010-09-15

    Examples are presented of how the geometric notion of the mean curvature is applied to the vector of a general magnetic field and to magnetic surfaces. It is shown that the mean curvature is related to the variation of the absolute value of the magnetic field along its lines. Magnetic surfaces of constant mean curvature are optimum for plasma confinement in multimirror open confinement systems and rippled tori.

  15. What Meaning does Raising a Child with Autism have for Parents? A Qualitative Exploration

    E-Print Network [OSTI]

    Jardine, Kirsten Marie

    2008-01-01

    Introduction: Children with autism experience difficulties in social interaction and communication which are often manifested behaviourally. The nature of these difficulties means that the task of parenting is ...

  16. Policy Paper 02: Climate Change: A Challenge to the Means of Technology Transfer

    E-Print Network [OSTI]

    MacDonald, Gordon J. F.

    1992-01-01

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

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

    E-Print Network [OSTI]

    Konrad, Allan

    2007-01-01

    of a relational thesaurus. In Knowledge Organization andJohn Wiley. 11-22. 1965. Thesaurus principles [Hudon 1998]of specifying meaning in a thesaurus. Conference paper in: [

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

    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.

  19. Noise-induced phase separation: Mean-field results M. Iban~es,1

    E-Print Network [OSTI]

    Toral, Ral

    Noise-induced phase separation: Mean-field results M. Iban~es,1 J. Garcia-Ojalvo,2,3 R. Toral,4 of spatially correlated multipli- cative noise. We develop a mean-field approach suitable for conserved with numerical simulations of the complete model in two dimensions. Additionally, a comparison between the noise

  20. Bouncing Back and Motivating Action on Environmental Issues: The Power of Positive Meaning

    E-Print Network [OSTI]

    Edwards, Paul N.

    Bouncing Back and Motivating Action on Environmental Issues: The Power of Positive Meaning Scott, p. 2). Second, positive meaning may build individuals' resilience by allowing them to bounce back their advocacy of an issue within a larger social community. We assume there is a basic human need for social

  1. MEAN MOTION RESONANCES IN EXOPLANET SYSTEMS: AN INVESTIGATION INTO NODDING BEHAVIOR

    E-Print Network [OSTI]

    Bloch, Anthony

    MEAN MOTION RESONANCES IN EXOPLANET SYSTEMS: AN INVESTIGATION INTO NODDING BEHAVIOR Jacob A, this paper explores a related type of dynamical be- havior known as "nodding". Here, the resonance angle that planetary systems in (near) mean motion resonance can exhibit nodding behavior, and outlines the portion

  2. A Mean Field Based Methodology for Modeling Mobility in Ad Hoc Networks

    E-Print Network [OSTI]

    Horváth, András

    the behavior of the system. Index Terms--ad hoc networks, mean field analysis, Petri nets; I. INTRODUCTIONA Mean Field Based Methodology for Modeling Mobility in Ad Hoc Networks Marco Beccuti1--In this paper we propose a methodology for the modeling and analysis of ad hoc networks composed by a large

  3. Physical meaning of gauge and super-gauge in general-relativistic field theories

    SciTech Connect (OSTI)

    Treder, H.

    1985-05-01

    The physical meaning of gauge groups in bimetrical, Riemannian, and Hermitian theories of gravitation is discussed. In Hermitian relativity, Einstein's A-invariance means a super-gauge group which characterizes the Einstein-Schroedinger equations as the only nondegenerate general-relativistic field theory.

  4. Risk Analysis, Vol. , No. , DOI: Mean-Deviation Analysis in The Theory of Choice

    E-Print Network [OSTI]

    Banaji,. Murad

    Risk Analysis, Vol. , No. , DOI: Mean-Deviation Analysis in The Theory of Choice Bogdan Grechuk: mean-deviation analysis, theory of choice, deviation measures, coherent risk measures 1. INTRODUCTION for Risk Analysis #12;2 B. Grechuk, A. Molyboha, M. Zabarankin r.v. PC such that PC > PB with probability 1

  5. Hazard Communication Definitions Chemical means any substance or mixture of substances

    E-Print Network [OSTI]

    Slatton, Clint

    Hazard Communication Definitions Chemical means any substance or mixture of substances Container that contains a hazardous chemical. Exposure or exposed means that an employee is subjected in the course of employment to a chemical that is a physical or health hazard and includes potential (e.g. accidental

  6. Biological Question Answering with Syntactic and Semantic Feature Matching an Improved Mean Reciprocal Ranking Measurement

    E-Print Network [OSTI]

    Chu, Hao-hua

    . An improved mean reciprocal rank (MRR) measurement, mean average reciprocal rank (MARR), and an efficient formula to reduce the computational complexity of the MARR are proposed to address the same score problem. With our syntactic and semantic features, our system achieves a Top-1 MARR of 74.11% and Top-5 MARR of 76

  7. Integrating K-means Clustering with a Relational DBMS using SQL

    E-Print Network [OSTI]

    Ordonez, Carlos

    1 Integrating K-means Clustering with a Relational DBMS using SQL Carlos Ordonez Teradata, NCR San Diego, CA 92127, USA Abstract--Integrating data mining algorithms with a relational DBMS is an important algorithm to integrate it with a relational DBMS: (1) A straightforward translation of K-means computations

  8. Mean--Field and Nonlinear Dynamics in Many--Body Quantum Systems

    E-Print Network [OSTI]

    V. R. Manfredi; L. Salasnich

    1998-11-08

    In this paper we discuss in detail the nonlinear equations of the mean--field approximation and their connection to the exact many--body Schr\\"odinger equation. Then we analyze the mean--field approach and the nonlinear dynamics of a trapped condensate of weakly--interacting bosons.

  9. Peak-to-mean power control in OFDM, Golay complementary sequences and Reed-Muller codes

    E-Print Network [OSTI]

    Jedwab, Jonathan

    1 Peak-to-mean power control in OFDM, Golay complementary sequences and Reed-Muller codes James A of carriers. These schemes have tightly bounded peak-to- mean envelope power ratio (PMEPR) and simultaneously obtain additional exibility in trading o code rate, PMEPR and errorcorrectioncapability by partitioning

  10. Nuclear structure in mean-field theory and its extensions G.F. Bertsch

    E-Print Network [OSTI]

    Bertsch George F.

    for Study at RIKEN (Wako). gene:japan2005/riken3.tex 1 #12;Contents PART I: THE STATIC MEAN FIELD 3 I. Generator Coordinate Method 32 VIII. Auxiliary field methods 35 2 #12;A. Thermal properties 38 B. SMMC in the wave function. B. The old and the new in SCMF Self-consistent mean field theory has a long history

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

  12. Discriminating Among Word Meanings By Identifying Similar Contexts Amruta Purandare and Ted Pedersen

    E-Print Network [OSTI]

    Pedersen, Ted

    Discriminating Among Word Meanings By Identifying Similar Contexts Amruta Purandare and Ted}@d.umn.edu http://senseclusters.sourceforge.net Abstract Word sense discrimination is an unsupervised clustering problem, which seeks to discover which instances of a word/s are used in the same meaning. This is done

  13. Adaptive Dimension Reduction Using Discriminant Analysis and K-means Chris Ding CHQDING@LBL.GOV

    E-Print Network [OSTI]

    Li, Tao

    Adaptive Dimension Reduction Using Discriminant Analysis and K-means Clustering Chris Ding CHQDING discriminant analysis (LDA) and K-means clustering into a coherent frame- work to adaptively select the most(s)/owner(s). An extension of this approach is the adaptive dimension re- duction approach (Ding et al., 2002; Li et al

  14. Adaptive Dimension Reduction Using Discriminant Analysis and K-means Chris Ding CHQDING@LBL.GOV

    E-Print Network [OSTI]

    Ding, Chris

    Adaptive Dimension Reduction Using Discriminant Analysis and K-means Clustering Chris Ding CHQDING discriminant analysis (LDA) and K-means clustering into a coherent frame- work to adaptively select the most, Corvallis, OR, 2007. Copyright 2007 by the author(s)/owner(s). An extension of this approach is the adaptive

  15. Wave-current interaction in strongly sheared mean flows Zhifei Dong and James T. Kirby

    E-Print Network [OSTI]

    Kirby, James T.

    Wave-current interaction in strongly sheared mean flows Zhifei Dong and James T. Kirby Center@udel.edu Abstract We describe a framework for wave-current interaction theory for small-amplitude surface gravity waves propagating on the strongly sheared mean flows. Using a multiple-scale perturbation method, we

  16. Transparent selective illumination means suitable for use in optically activated electrical switches and optically activated electrical switches constructed using same

    DOE Patents [OSTI]

    Wilcox, Russell B. (Oakland, CA)

    1991-01-01

    A planar transparent light conducting means and an improved optically activated electrical switch made using the novel light conducting means are disclosed. The light conducting means further comprise light scattering means on one or more opposite planar surfaces thereof to transmit light from the light conducting means into adjacent media and reflective means on other surfaces of the light conducting means not containing the light scattering means. The optically activated electrical switch comprises at least two stacked photoconductive wafers, each having electrodes formed on both surfaces thereof, and separated by the planar transparent light conducting means. The light scattering means on the light conducting means face surfaces of the wafers not covered by the electrodes to transmit light from the light conducting means into the photoconductive wafers to uniformly illuminate and activate the switch.

  17. Transparent selective illumination means suitable for use in optically activated electrical switches and optically activated electrical switches constructed using same

    DOE Patents [OSTI]

    Wilcox, R.B.

    1991-09-10

    A planar transparent light conducting means and an improved optically activated electrical switch made using the novel light conducting means are disclosed. The light conducting means further comprise light scattering means on one or more opposite planar surfaces thereof to transmit light from the light conducting means into adjacent media and reflective means on other surfaces of the light conducting means not containing the light scattering means. The optically activated electrical switch comprises at least two stacked photoconductive wafers, each having electrodes formed on both surfaces thereof, and separated by the planar transparent light conducting means. The light scattering means on the light conducting means face surfaces of the wafers not covered by the electrodes to transmit light from the light conducting means into the photoconductive wafers to uniformly illuminate and activate the switch. 11 figures.

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

    SciTech Connect (OSTI)

    Andrews, J.W.

    1995-08-01

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

  19. THE CONTROL OF A HIGH-POWER NEUTRAL BEAM GENERATOR BY MEANS OF ARC-CURRENT REGULATION

    E-Print Network [OSTI]

    Lietzke, A.F.

    2010-01-01

    A HIGH-POWER NEUTRAL BEAM GENERATOR BY MEANS OF ARC-CURRENTA HIGH-POWER NEUTRAL BEAM GENERATOR BY MEANS OF ARC-CURRENT

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

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

  1. technical proof technical proof The physics of squirt

    E-Print Network [OSTI]

    Alciatore, David G.

    of squirt physics, see Ron Shepard's 2001 paper: "Everything you always wanted to know about cue ball squirt a smaller and lighter ferrule, and drilling out the end of the shaft, all to reduce the effective endmass with the ball as the ball rotates (see HSV A.76a for visual evidence of how well a chalked leather tip "grabs

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

    DOE Patents [OSTI]

    Thompson, Donald O. (Ames, IA); Hsu, David K. (Ames, IA)

    1993-12-14

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

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

    DOE Patents [OSTI]

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

    1993-12-14

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

  4. Mean parity of single quantum excitation of some optical fields in thermal environments

    E-Print Network [OSTI]

    Shang-Bin Li

    2010-06-11

    The mean parity (the Wigner function at the origin) of excited binomial states, excited coherent states and excited thermal states in thermal channel is investigated in details. It is found that the single-photon excited binomial state and the single-photon excited coherent state exhibit certain similarity in the aspect of their mean parity in the thermal channel. We show the negative mean parity can be regarded as an indicator of nonclassicality of single-photon excitation of optical fields with a little coherence, especially for the single-photon excited thermal states.

  5. Statistical mechanics of the nonlinear Schroedinger equation. II. Mean field approximation

    SciTech Connect (OSTI)

    Lebowitz, J.L.; Rose, H.A.; Speer, E.R.

    1989-01-01

    The authors investigate a mean field approximation to the statistical mechanics of complex fields with dynamics governed by the nonlinear Schroedinger equation. Such fields, whose Hamiltonian is unbounded below, may model plasmas, lasers, and other physical systems. Restricting themselves to one-dimensional systems with periodic boundary conditions, we find in the mean field approximation a phase transition from a uniform regime to a regime in which the system is dominated by solitons. They compute explicitly, as a function of temperature and density (L/sup 2/ norm), the transition point at which the uniform configuration becomes unstable to local perturbations; static and dynamic mean field approximations yield the same result.

  6. Means and method for the destruction of particles entrained in a gas stream

    DOE Patents [OSTI]

    Botts, Thomas E. (Wading River, NY); Powell, James R. (Shoreham, NY)

    1980-01-01

    An apparatus and method for the destruction of particles entrained in a gas stream are disclosed. Destruction in the context of the subject invention means the fragmentation and/or vaporization of particles above a certain size limit. The subject invention contemplates destroying such particles by exposing them to intense bursts of laser light, such light having a frequency approximately equal to or less than the mean size of such particles. This invention is particularly adopted to the protection of turbine blades in open cycle coal-fired turbine systems. Means for introducing various chemical species and activating them by exposure to laser light are also disclosed.

  7. Mean Motion Resonances in Exoplanet Systems: An Investigation Into Nodding Behavior

    E-Print Network [OSTI]

    Ketchum, Jacob A; Bloch, Anthony M

    2012-01-01

    Motivated by the large number of extrasolar planetary systems that are near mean motion resonances, this paper explores a related type of dynamical behavior known as "nodding". Here, the resonance angle of a planetary system executes libration (oscillatory motion) for several cycles, circulates for one or more cycles, and then enters once again into libration. This type of complicated dynamics can affect our interpretation of observed planetary systems that are in or near mean motion resonance. This work shows that planetary systems in (near) mean motion resonance can exhibit nodding behavior, and outlines the portion of parameter space where it occurs. This problem is addressed using both full numerical integrations of the planetary systems and via model equations obtained through expansions of the disturbing function. In the latter approach, we identify the relevant terms that allow for nodding. The two approaches are in agreement, and show that nodding often occurs when a small body is in an external mean ...

  8. Distributed control in a mean-field cortical network model: Implications for seizure suppression

    E-Print Network [OSTI]

    Ching, ShiNung

    Brain electrical stimulation (BES) has long been suggested as a means of controlling pathological brain activity. In epilepsy, control of a spatially localized source, the seizure focus, may normalize neuronal dynamics. ...

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

    E-Print Network [OSTI]

    Ahn, Soo Young

    2010-01-16

    The purpose of this study was to explore what the word "play" means and implies for Korean preservice kindergarten teachers in an early childhood teacher education program. The research questions under investigation were: ...

  10. Time-odd mean fields in covariant density functional theory I. Non-rotating systems

    E-Print Network [OSTI]

    A. V. Afanasjev; H. Abusara

    2010-10-09

    Time-odd mean fields (nuclear magnetism) are analyzed in the framework of covariant density functional theory (CDFT). It is shown that they always provide additional binding to the binding energies of odd-mass nuclei. This additional binding only weakly depends on the RMF parametrization reflecting good localization of the properties of time-odd mean fields in CDFT. The underlying microscopic mechanism is discussed in detail. Time-odd mean fields affect odd-even mass differences. However, our analysis suggests that the modifications of the strength of pairing correlations required to compensate for their effects are modest. In contrast, time-odd mean fields have profound effect on the properties of odd-proton nuclei in the vicinity of proton-drip line. Their presence can modify the half-lives of proton-emitters (by many orders of magnitude in light nuclei) and affect considerably the possibilities of their experimental observation.

  11. Mean evaporation and condensation coefficients based on energy dependent condensation probability

    E-Print Network [OSTI]

    Struchtrup, Henning

    Maurice Bond and Henning Struchtrup* Department of Mechanical Engineering, University of Victoria, P. Ward, Phys. Rev. E 59, 419 (1999)]. It is shown that mean condensation and evaporation coefficients

  12. Reconstructing phonon mean-free-path contributions to thermal conductivity using nanoscale membranes

    E-Print Network [OSTI]

    Cuffe, John

    Knowledge of the mean-free-path distribution of heat-carrying phonons is key to understanding phonon-mediated thermal transport. We demonstrate that thermal conductivity measurements of thin membranes spanning a wide ...

  13. Creating meaning in the face of bereavement, an adult childs perspective

    E-Print Network [OSTI]

    Sehn, Zoë Lyana

    2013-11-29

    This dissertation offers my personal exploration of the loss of my father through the eyes of multiple selves. Utilizing an arts-inspired autoethnographic narrative case study approach, I detail my journey of meaning ...

  14. Comment on Mean First Passage Time for Nuclear Fission and the Emission of Light Particles

    E-Print Network [OSTI]

    K. -H. Schmidt; J. Benlliure; D. Boilley; A. Heinz; A. Junghans; B. Jurado; A. Kelic; J. Pereira; C. Schmitt; O. Yordanov

    2003-07-25

    Theoretical methods, interpretations and conclusions on the fission dynamics in a recent publication of H. Hofmann and F. A. Ivanyuk on the mean first passage time are critically considered.

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

    E-Print Network [OSTI]

    Pinto, Zeena Blossom

    2001-01-01

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

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

    E-Print Network [OSTI]

    Liu, Qinyan

    2005-08-29

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

  17. Active hypothermic growth : a novel means for increasing total recombinant protein production by CHO cells

    E-Print Network [OSTI]

    Fox, Stephen Richard

    2005-01-01

    Recombinant human glycoproteins produced by Chinese Hamster Ovary (CHO) cells are an important class of therapeutic molecules and investigating means of improving the production rate and product quality of these glycoproteins ...

  18. Individualizing Electrical Circuits of Cryptographic Devices as a Means to Hinder Tampering Attacks

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    Individualizing Electrical Circuits of Cryptographic Devices as a Means to Hinder Tampering Attacks the Wheatstone bridge measurement setup. Here we propose to in- dividualize the electrical circuit of devices with individualized electrical circuit are individualized while providing the same functionality

  19. New Skyrme nucleon-nucleon interaction for the mean-field approximation

    E-Print Network [OSTI]

    Vuong, Au Kim

    2007-09-17

    The effective Skyrme type interactions have been used in the mean-field models for several decades, and many different parameterizations of the interaction have been realized to better reproduce nuclear masses, radii, and ...

  20. Twenty years after '95: What climate change means for heat waves...

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

    Twenty years after '95: What climate change means for heat waves, cities and forecasting By Payal Marathe * October 1, 2015 Tweet EmailPrint The 1995 Chicago heat wave was a...