Weakly sufficient quantum statistics
Katarzyna Lubnauer; Andrzej ?uczak; Hanna Pods?dkowska
2009-11-23T23:59:59.000Z
Some aspects of weak sufficiency of quantum statistics are investigated. In particular, we give necessary and sufficient conditions for the existence of a weakly sufficient statistic for a given family of vector states, investigate the problem of its minimality, and find the relation between weak sufficiency and other notions of sufficiency employed so far.
PROOF MINING: A SYSTEMATIC WAY OF ANALYSING PROOFS IN MATHEMATICS
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
Energy Strategic Planning & Sufficiency Project
Retziaff, Greg
2005-03-30T23:59:59.000Z
This report provides information regarding options available, their advantages and disadvantages, and the costs for pursuing activities to advance Smith River Rancheria toward an energy program that reduces their energy costs, allows greater self-sufficiency and stimulates economic development and employment opportunities within and around the reservation. The primary subjects addressed in this report are as follows: (1) Baseline Assessment of Current Energy Costs--An evaluation of the historical energy costs for Smith River was conducted to identify the costs for each component of their energy supply to better assess changes that can be considered for energy cost reductions. (2) Research Viable Energy Options--This includes a general description of many power generation technologies and identification of their relative costs, advantages and disadvantages. Through this research the generation technology options that are most suited for this application were identified. (3) Project Development Considerations--The basic steps and associated challenges of developing a generation project utilizing the selected technologies are identified and discussed. This included items like selling to third parties, wheeling, electrical interconnections, fuel supply, permitting, standby power, and transmission studies. (4) Energy Conservation--The myriad of federal, state and utility programs offered for low-income weatherization and utility bill payment assistance are identified, their qualification requirements discussed, and the subsequent benefits outlined. (5) Establishing an Energy Organization--The report includes a high level discussion of formation of a utility to serve the Tribal membership. The value or advantages of such action is discussed along with some of the challenges. (6) Training--Training opportunities available to the Tribal membership are identified.
Thomas Chambrion
2013-03-07T23:59:59.000Z
This note presents a sufficient condition for partial approximate ensemble controllability of a set of bilinear conservative quantum systems in an infinite dimensional Hilbert space. The proof relies on classical geometric and averaging control techniques applied on finite dimensional approximation of the infinite dimensional system. The results are illustrated with the planar rotation of a linear molecule.
SUFFICIENT AND NECESSARY CONDITIONS FOR SEMIDEFINITE ...
2008-05-19T23:59:59.000Z
for building global SDP representations from the local ones. ... a compact convex semialgebraic set S, we prove sufficient: the boundary ?S is nonsingular and.
Use of the Necessary and Sufficient Process
Broader source: Directives, Delegations, and Requirements [Office of Management (MA)]
1996-01-25T23:59:59.000Z
Authorizes use of the Necessary and Sufficient Process which addresses how the Department will select its standards to protect workers, the public, and the environment and form the basis for the Department's move to integrating standards activities into a consistent, coordinated system of standards-based safety management. Does not cancel other directives.
Alternative Proofs of Ten Inequalities
Adilsultan Lepes
2014-12-06T23:59:59.000Z
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.
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...
Proofs About Lists Using Ellipsis
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 ...
Probabilistic Proof Systems Oded Goldreichy
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
Hierarchical Correctness Proofs Distributed Algorithms
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
Proof-Assistants Using Dependent Type Systems
Geuvers, Herman
of Proof Development . . . . . . . . . . . . . . . . . . . . . . . . . . 1214 4.3 Autarkic Computations
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
Proof-Theoretic Analysis of Termination Proofs Wilfried Buchholz
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
Integrating Implicit Induction Proofs into Certified Proof Environments
Paris-Sud XI, Université de
and reliable. However, the process for certifying complex soft- ware systems is tedious [13], in the case assistants, our checking methodology is simpler and fits better for automation. The underlying implicit induc extreme, the approach is to certify inference systems such that any proof developed inside certified proof
How to Associate Propositional Proof Systems
Cook, Stephen A.
: Proof system f p-simulates proof system g if 9 polytime T such that f(T(x)) = g(x) GentzenHow to Associate Propositional Proof Systems and Theories with Complexity Classes Part III; Introduction to Propositional Proof Com- plexity A proof system is a polynomial time map f : f0; 1g #3; onto
Proof-assistants using Dependent Type Henk Barendregt
Barendregt, Henk
.3 Autarkic Computations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72 5 Proof assistants
Energy Strategic Planning & Self-Sufficiency Project
Greg Retzlaff
2005-03-30T23:59:59.000Z
This report provides information regarding options available, their advantages and disadvantages, and the costs for pursuing activities to advance Smith River Rancheria toward an energy program that reduces their energy costs, allows greater self-sufficiency and stimulates economic development and employment opportunities within and around the reservation. The primary subjects addressed in this report are as follow: (1) Baseline Assessment of Current Energy Costs--An evaluation of the historical energy costs for Smith River was conducted to identify the costs for each component of their energy supply to better assess changes that can be considered for energy cost reductions. (2) Research Viable Energy Options--This includes a general description of many power generation technologies and identification of their relative costs, advantages and disadvantages. Through this research the generation technology options that are most suited for this application were identified. (3) Project Development Considerations--The basic steps and associated challenges of developing a generation project utilizing the selected technologies are identified and discussed. This included items like selling to third parties, wheeling, electrical interconnections, fuel supply, permitting, standby power, and transmission studies. (4) Energy Conservation--The myriad of federal, state and utility programs offered for low-income weatherization and utility bill payment assistance are identified, their qualification requirements discussed, and the subsequent benefits outlined. (5) Establishing an Energy Organization--The report includes a high level discussion of formation of a utility to serve the Tribal membership. The value or advantages of such action is discussed along with some of the challenges. (6) Training--Training opportunities available to the Tribal membership are identified.
Proof and Definition in Logic and Type Theory Proof and Definition in Logic and Type Theory
Adams, Robin
Proof and Definition in Logic and Type Theory Proof and Definition in Logic and Type Theory Robin questions. #12;Proof and Definition in Logic and Type Theory Definition and Proof Definition and proof -- but they are not in predicate logic or type theory. #12;Proof and Definition in Logic and Type Theory Methods of Definition
A Proof Planning Framework For Isabelle
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 ...
First Proof of Ferromagnetic Carbon
Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)
Proof of Ferromagnetic Carbon Print Although it has long been suspected that carbon belongs on the short list of materials that can be magnetic at room temperature, attempts to...
First Proof of Ferromagnetic Carbon
Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)
First Proof of Ferromagnetic Carbon Print Although it has long been suspected that carbon belongs on the short list of materials that can be magnetic at room temperature, attempts...
A MECHANICAL PROOF OF THE CHURCHROSSER THEOREM
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
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:1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level:5 TablesExports(Journal Article)41clothThe Bonneville Power AdministrationHawaiiEnergyFlorida July 9, 2009TweetREMEDIATEDirectProof ofProof of Ferromagnetic
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:1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level:5 TablesExports(Journal Article)41clothThe Bonneville Power AdministrationHawaiiEnergyFlorida July 9, 2009TweetREMEDIATEDirectProof ofProof of
Sufficient Stochastic Maximum Principle in a Regime-Switching Diffusion Model
Donnelly, Catherine, E-mail: C.Donnelly@hw.ac.uk [Heriot-Watt University, Department of Actuarial Mathematics and Statistics (United Kingdom)
2011-10-15T23:59:59.000Z
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.
A Non-linear Dynamical Systems' Proof of Kraft-McMillan Inequality and its Converse
Nithin Nagaraj
2007-10-31T23:59:59.000Z
In this short paper, we shall provide a dynamical systems' proof of the famous Kraft-McMillan inequality and its converse. Kraft-McMillan inequality is a basic result in information theory which gives a necessary and sufficient condition for the lengths of the codewords of a code to be uniquely decodable.
Proof Nets and Boolean Circuits Kazushige Terui
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
Closing a Loophole in Factorization Proofs
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-23T23:59:59.000Z
We address the possibility in factorization proofs that low-energy collinear gluons can couple to soft gluons.
Probabilistic Proof Systems (A Survey) \\Lambda
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
Proof Mining in Practice Philipp Gerhardy
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
Semantic contamination and mathematical proof: Can a non-proof prove? 1
Inglis, Matthew
Semantic contamination and mathematical proof: Can a non-proof prove? 1 Juan Pablo Mej contamination effect plays a role in determining how students engage with mathematical proof, a fundamental, reasoning, semantic contamination Argumentation and proof are widely accepted as being central
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
Improving constraints on the neutrino mass using sufficient statistics
Wolk, M; Bel, J; Carbone, C; Carron, J
2015-01-01T23:59:59.000Z
We use the "Dark Energy and Massive Neutrino Universe" (DEMNUni) simulations to compare the constraining power of "sufficient statistics" with the standard matter power spectrum on the sum of neutrino masses, $M_\
Sufficient Conditions for Uniform Stability of Regularization Algorithms
Poggio, Tomaso
2009-12-01T23:59:59.000Z
In this paper, we study the stability and generalization properties of penalized empirical-risk minimization algorithms. We propose a set of properties of the penalty term that is sufficient to ensure uniform ?-stability: ...
Dibrell, Aquilla Gibbs, III
1968-01-01T23:59:59.000Z
MEANS (2. 1) DEFINITION. Let p = fp ( be a sequence with p & 0, n 0 p &OandletP =Z p . Thematrixwithc =p /P . n& m, n n- n k=0 k' mn m n m' c = 0, n & m is called the (N, p ) matrix, and the summability method mn n associated with it is called... when m + co is mn equivalent to p /P ? &0. Suppose first c -+ 0 for each n; then n n mn c -+0, bute =p /P, sop /P &0. Letnextp /P ~0; mo mo m m' m m n n fixnandnoteP &P, sothatc =p /P & p /P -+0, m-n ? m' mn m-n m ? m-n m-n and the proof...
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:1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level:5 TablesExports(Journal Article) |govInstrumentsmfrirt DocumentationSitesWeather6Environmental1 |MAgnEt forFirst Proof of Ferromagnetic Carbon Print Although
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:1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level:5 TablesExports(Journal Article) |govInstrumentsmfrirt DocumentationSitesWeather6Environmental1 |MAgnEt forFirst Proof of Ferromagnetic Carbon Print
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:1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level:5 TablesExports(Journal Article)41clothThe Bonneville Power AdministrationHawaiiEnergyFlorida July 9, 2009TweetREMEDIATEDirectProof of Ferromagnetic Carbon
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:1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level:5 TablesExports(Journal Article)41clothThe Bonneville Power AdministrationHawaiiEnergyFlorida July 9, 2009TweetREMEDIATEDirectProof of Ferromagnetic
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:1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level:5 TablesExports(Journal Article)41clothThe Bonneville Power AdministrationHawaiiEnergyFlorida July 9, 2009TweetREMEDIATEDirectProof of FerromagneticFirst
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:1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level:5 TablesExports(Journal Article)41clothThe Bonneville Power AdministrationHawaiiEnergyFlorida July 9, 2009TweetREMEDIATEDirectProof of
An interesting temporalization of Gödel's ontological proof
Gavriel Segre
2009-04-24T23:59:59.000Z
Recent theologies concerning God's death after Auschwitz are mathematically formalized through a suitable temporalization of G\\"{o}del's Ontological Proof.
Using Proof-Planning to Investigate the Structure of Proof in Non-Standard Analysis
Maclean, Ewen
2004-01-01T23:59:59.000Z
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 ...
Necessary and Sufficient Conditions for Differentiating Under the Integral Sign
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
Necessary and sufficient conditions for representing general distributions by Coxians
Necessary and sufficient conditions for representing general distributions by Coxians Takayuki University Pittsburgh, PA 15213 Abstract A common analytical technique involves using a Coxian distribution to model a general distribution G, where the Coxian distribution agrees with G on the first three moments
Necessary and sufficient conditions for representing general distributions by Coxians
Necessary and sufficient conditions for representing general distributions by Coxians Takayuki University Pittsburgh, PA 15213 Abstract A common analytical technique involves using a Coxian distribution to model a general distribution ˘ , where the Coxian distribution agrees with ˘ on the first three moments
Algorithmic proof of Barnette's Conjecture
I. Cahit
2009-04-22T23:59:59.000Z
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.
Bistatic SAR: Proof of Concept.
Yocky, David A.; Doren, Neall E.; Bacon, Terry A.; Wahl, Daniel E.; Eichel, Paul H.; Jakowatz, Charles V,; Delaplain, Gilbert G.; Dubbert, Dale F.; Tise, Bertice L.; White, Kyle R.
2014-10-01T23:59:59.000Z
Typical synthetic aperture RADAR (SAR) imaging employs a co-located RADAR transmitter and receiver. Bistatic SAR imaging separates the transmitter and receiver locations. A bistatic SAR configuration allows for the transmitter and receiver(s) to be in a variety of geometric alignments. Sandia National Laboratories (SNL) / New Mexico proposed the deployment of a ground-based RADAR receiver. This RADAR receiver was coupled with the capability of digitizing and recording the signal collected. SNL proposed the possibility of creating an image of targets the illuminating SAR observes. This document describes the developed hardware, software, bistatic SAR configuration, and its deployment to test the concept of a ground-based bistatic SAR. In the proof-of-concept experiments herein, the RADAR transmitter will be a commercial SAR satellite and the RADAR receiver will be deployed at ground level, observing and capturing RADAR ground/targets illuminated by the satellite system.
van der Waerden's Theorem and Topological Dynamics Proof Mining
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
Improved Modular Termination Proofs Using Dependency Pairs
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
Improved Modular Termination Proofs Using Dependency Pairs
Ă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
Other trigonometric proofs of Pythagoras theorem
Nuno Luzia
2015-02-23T23:59:59.000Z
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}$.
Lectures on Proof Theory Samuel R. Buss
Therien, Denis
Lectures on Proof Theory Samuel R. Buss University of California San Diego March 6th March 10th'eal) and Denis Th'erien (McGill U.). The core of this year's workshop was a series of lectures given by Sam Buss Natural Proofs and split versions of bounded arithmetic : : : : : : : : : : : : : : : 57 Buss's Simplified
Improved Modular Termination Proofs Using Dependency Pairs #
Ă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
PROOF COPY 001502FCT Science and
Rajasekaran, Sanguthevar
PROOF COPY 001502FCT PROOF COPY 001502FCT Journal of Fuel Cell Science and Technology Technical Brief Efficient Parallel Simulation of Direct Methanol Fuel Cell Models S. Rajasekaran R. Ammar K, Connecticut, 06269 USA Fuel cells, as highly efficient and environment-friendly power sources, have attracted
Moneyless strategy-proof mechanism on single-sinked policy ...
Megiddo
2012-04-17T23:59:59.000Z
Key words: Mechanism design, strategy-proof, group strategy-proof, efficiency, ... OR/MS subject classification: Primary: Games/group decisions, Government, ...
On amending the Maskin's sufficiency theorem by using complex numbers
Haoyang Wu
2012-04-17T23:59:59.000Z
The Maskin's theorem is a fundamental work in the theory of mechanism design. In this paper, we will propose a self-enforcing agreement by which agents can fight a bad social choice rule which satisfies monotonicity and no-veto if an additional condition is satisfied. The agreement is based on complex numbers and is justified if the designer receives messages from the agents through some communication channels (e.g., Internet). Under the assumption of complete information among agents, the designer cannot prevent the agents from signing such agreement. Thereby, the Maskin's sufficiency theorem is amended.
Proof Transformations in Higher-Order Logic
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
Embedding Hardware Description Languages in Proof Systems
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 ...
An elementary proof that P =/= NP
Bhupinder Singh Anand
2007-02-27T23:59:59.000Z
We show that, if PA has no non-standard models, then P=/=NP. We then give an elementary proof that PA has no non-standard models.
van der Waerden's Theorem and Topological Dynamics Proof Mining
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
A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses
Paris-Sud XI, Université de
two ways, which Barendregt and Barendsen [4] named the autarkic and the skeptical approach. In the autarkic approach, all the computation is performed in the proof system. In this case, this means certified. In general, the choice between the autarkic and the skeptical approach de- pends
LARGE DEVIATIONS AND THE THERMODYNAMIC FORMALISM: A NEW PROOF OF THE EQUIVALENCE OF ENSEMBLES a
LARGE DEVIATIONS AND THE THERMODYNAMIC FORMALISM: A NEW PROOF OF THE EQUIVALENCE OF ENSEMBLES a J The Equivalence of Ensembles In statistical mechanics the problem of the equivalence of ensembles goes back, the microcanonical measures and the grand canonical measures are equivalent; making precise the meaning
India's baseline plan for nuclear energy self-sufficiency.
Bucher, R .G.; Nuclear Engineering Division
2009-01-01T23:59:59.000Z
India's nuclear energy strategy has traditionally strived for energy self-sufficiency, driven largely by necessity following trade restrictions imposed by the Nuclear Suppliers Group (NSG) following India's 'peaceful nuclear explosion' of 1974. On September 6, 2008, the NSG agreed to create an exception opening nuclear trade with India, which may create opportunities for India to modify its baseline strategy. The purpose of this document is to describe India's 'baseline plan,' which was developed under constrained trade conditions, as a basis for understanding changes in India's path as a result of the opening of nuclear commerce. Note that this treatise is based upon publicly available information. No attempt is made to judge whether India can meet specified goals either in scope or schedule. In fact, the reader is warned a priori that India's delivery of stated goals has often fallen short or taken a significantly longer period to accomplish. It has been evident since the early days of nuclear power that India's natural resources would determine the direction of its civil nuclear power program. It's modest uranium but vast thorium reserves dictated that the country's primary objective would be thorium utilization. Estimates of India's natural deposits vary appreciably, but its uranium reserves are known to be extremely limited, totaling approximately 80,000 tons, on the order of 1% of the world's deposits; and nominally one-third of this ore is of very low uranium concentration. However, India's roughly 300,000 tons of thorium reserves account for approximately 30% of the world's total. Confronted with this reality, the future of India's nuclear power industry is strongly dependent on the development of a thorium-based nuclear fuel cycle as the only way to insure a stable, sustainable, and autonomous program. The path to India's nuclear energy self-sufficiency was first outlined in a seminal paper by Drs. H. J. Bhabha and N. B. Prasad presented at the Second United Nations Conference on the Peaceful Uses of Atomic Energy in 1958. The paper described a three stage plan for a sustainable nuclear energy program consistent with India's limited uranium but abundant thorium natural resources. In the first stage, natural uranium would be used to fuel graphite or heavy water moderated reactors. Plutonium extracted from the spent fuel of these thermal reactors would drive fast reactors in the second stage that would contain thorium blankets for breeding uranium-233 (U-233). In the final stage, this U-233 would fuel thorium burning reactors that would breed and fission U-233 in situ. This three stage blueprint still reigns as the core of India's civil nuclear power program. India's progress in the development of nuclear power, however, has been impacted by its isolation from the international nuclear community for its development of nuclear weapons and consequent refusal to sign the Nuclear Nonproliferation Treaty (NPT). Initially, India was engaged in numerous cooperative research programs with foreign countries; for example, under the 'Atoms for Peace' program, India acquired the Cirus reactor, a 40 MWt research reactor from Canada moderated with heavy water from the United States. India was also actively engaged in negotiations for the NPT. But, on May 18, 1974, India conducted a 'peaceful nuclear explosion' at Pokharan using plutonium produced by the Cirus reactor, abruptly ending the era of international collaboration. India then refused to sign the NPT, which it viewed as discriminatory since it would be required to join as a non-nuclear weapons state. As a result of India's actions, the Nuclear Suppliers Group (NSG) was created in 1975 to establish guidelines 'to apply to nuclear transfers for peaceful purposes to help ensure that such transfers would not be diverted to unsafeguarded nuclear fuel cycle or nuclear explosive activities. These nuclear export controls have forced India to be largely self-sufficient in all nuclear-related technologies.
Method of Indicators Binomial mean (again)
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
Fox, Jared B.; Ghan, Steven J.
2004-03-01T23:59:59.000Z
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.
A sufficient condition for Gaussian departure in turbulence
Daniela Tordella; Michele Iovieno; Peter Roger Bailey
2007-10-17T23:59:59.000Z
The interaction of two isotropic turbulent fields of equal integral scale but different kinetic energy generates the simplest kind of inhomogeneous turbulent field. In this paper we present a numerical experiment where two time decaying isotropic fields of kinetic energies $E_1$ and $E_2$ initially match over a narrow region. Within this region the kinetic energy varies as a hyperbolic tangent. The following temporal evolution produces a shearless mixing. The anisotropy and intermittency of velocity and velocity derivative statistics is observed. In particular the asymptotic behavior in time and as a function of the energy ratio $E_1/E_2 \\to \\infty$ is discussed. This limit corresponds to the maximum observable turbulent energy gradient for a given $E_1$ and is obtained through the limit $E_2 \\to 0$. A field with $E_1/E_2 \\to \\infty$ represents a mixing which could be observed near a surface subject to a very small velocity gradient separating two turbulent fields, one of which is nearly quiescent. In this condition the turbulent penetration is maximum and reaches a value equal to 1.2 times the nominal mixing layer width. The experiment shows that the presence of a turbulent energy gradient is sufficient for the appearance of intermittency and that during the mixing process the pressure transport is not negligible with respect to the turbulent velocity transport. These findings may open the way to the hypothesis that the presence of a gradient of turbulent energy is the minimal requirement for Gaussian departure in turbulence.
A proof of Price's Law on Schwarzschild black hole manifolds for all angular momenta
Roland Donninger; Wilhelm Schlag; Avy Soffer
2010-07-12T23:59:59.000Z
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.
Second Proof Work, Power, and Energy
Kostic, Milivoje M.
Second Proof Work, Power, and Energy M. KOSTIC Northern Illinois University DeKalb, Illinois, United States 1. Basic Concepts 2. Forms, Classifications, and Conservation of Energy 3. Work of Conservative and Nonconservative Forces: WorkEnergy Principle 4. Energy, Work, and Power of Rotating Systems 5
Principles for Mining Summaries: Theorems and Proofs
Regina, University of
Principles for Mining Summaries: Theorems and Proofs Robert J. Hilderman and Howard J. Hamilton,hamiltong@cs.uregina.ca Abstract An important problem in the area of data mining is the development of effective measures of inter previously been utilized in various disciplines, such as information theory, statis tics, ecology
PML : A new proof assistant deduction system
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
Proof Planning some Permutation Group Problems | Abstract |
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
Interactive Termination Proofs using Termination Cores
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
Explosion proof vehicle for tank inspection
Zollinger, William T. (Idaho Falls, ID); Klingler, Kerry M. (Idaho Falls, ID); Bauer, Scott G. (Idaho Falls, ID)
2012-02-28T23:59:59.000Z
An Explosion Proof Vehicle (EPV) having an interior substantially filled with an inert fluid creating an interior pressure greater than the exterior pressure. One or more flexible tubes provide the inert fluid and one or more electrical conductors from a control system to the vehicle. The vehicle is preferably used in subsurface tank inspection, whereby the vehicle is submerged in a volatile fluid.
COMPLEXITY OF POSITIVSTELLENSATZ PROOFS FOR THE KNAPSACK
Grigoriev, Dima
of algebraic proof systems (Beame et al. (1996); Buss et al. (1999, 1996/1997); Clegg et al. (1996); Grigoriev 1998) (see also (Impagliazzo et al. 1999) and (Buss et al. 1996/1997)). A linear lower bound for PC for Tseitin's tautologies was proved in Buss et al. (1999, 2001). Note that the latter bound is sharp
Wireless Roadside Inspection Proof of Concept Test
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
Author Proof Plants on red alert
Schaefer, Martin
Author Proof A Plants on red alert: do insects pay attention? H. Martin Schaefer* and Gregor Rolshausen Summary Two recent hypotheses have proposed that non-green plant colouration evolved as a defence against herbi- vores, either as protective colouration promoting handi- cap signals indicating plant
Proof of Proximity of Knowledge Serge Vaudenay
://lasec.epfl.ch Abstract. Public-key distance bounding schemes are needed to defeat relay attacks in payment systems. So far, only two such schemes exist, but fail to fully protect against malicious provers. In this paper. Like proofs of knowledge, these protocols must satisfy completeness, soundness (protection
SRF photoinjector for proof-of-principle experiment of coherent electron cooling at RHIC
Kayran D.; Belomestnykh, S.; Ben-Zvi, I.; Brutus, J.C.; et al
2012-05-20T23:59:59.000Z
Coherent Electron Cooling (CEC) based on Free Electron Laser (FEL) amplifier promises to be a very good way to cool protons and ions at high energies. A proof of principle experiment to demonstrate cooling at 40 GeV/u is under construction at BNL. One of possible sources to provide sufficient quality electron beam for this experiment is a SRF photoinjector. In this paper we discuss design and simulated performance of the photoinjector based on existing 112 MHz SRF gun and newly designed single-cavity SRF linac operating at 704 MHz.
The congruence subgroup problem for braid groups: Thurston's proof
McReynolds, D B
2009-01-01T23:59:59.000Z
In this article we present an unpublished proof of W. Thurston that pure braid groups have the congruence subgroup property.
A Visualization System for Correctness Proofs of Graph Algorithms
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
A Dozen Proofs of Stirling's Formula Steven R. Dunbar
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
A Compositional Proof System for the Modal -Calculus
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
Supporting Non-membership Proofs with Bilinear-map Accumulators
Supporting Non-membership Proofs with Bilinear-map Accumulators Ivan DamgÂ°ard Nikos Triandopoulos an extension of Nguyen's bilinear-map based accumulator scheme [8] to support non-membership witnesses and corresponding non-membership proofs, i.e., cryptographic proofs that an element has not been accumulated
Boolean Theory laws proof Number Theory Character Theory
Hehner, Eric C.R.
Review Boolean Theory laws proof Number Theory Character Theory Bunches Sets Strings Lists for loop 1/109 #12;Review Boolean Theory laws proof Number Theory Character Theory Bunches Sets Strings with exit for loop 2/109 #12;Review Boolean Theory laws proof Number Theory Character Theory Bunches Sets
Proof Mining in Ergodic Theory and Topological Dynamics
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
Kostic, Milivoje M.
Treatise with Reasoning Proof of the Second Law of Energy Degradation: The Carnot Cycle Proof andzation: Understanding and Defining Concepts and Phenomena III. Work and Heat Transfer, Reversibility. Physical Explanation and Reasoning Proof of the Carnot Efficiency: Thermal and Mechanical Net
Proof of the Quantum Null Energy Condition
Bousso, Raphael; Koeller, Jason; Leichenauer, Stefan; Wall, Aron C
2015-01-01T23:59:59.000Z
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...
ATAC Process Proof of Concept Final Report
Bri Rolston; Sarah Freeman
2014-03-01T23:59:59.000Z
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.
Verhoog, Roelof (Bordeaux, FR)
1999-03-23T23:59:59.000Z
The casing of a leak-proof one-piece battery is made of a material comprising a mixture of at least a matrix based on polypropylene and an alloy of a polyamide and a polypropylene. The ratio of the matrix to the alloy is in the range 0.5 to 6 by weight. The alloy forms elongate arborescent inclusions in the matrix such that, on average, the largest dimension of a segment of the arborescence is at least twenty times the smallest dimension of the segment.
Crrected Proof CopyArabidopsis Protoplast System 1 Corrected Proof Copy
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
Security proof of practical quantum key distribution schemes
Yodai Watanabe
2005-06-29T23:59:59.000Z
This paper provides a security proof of the Bennett-Brassard (BB84) quantum key distribution protocol in practical implementation. To prove the security, it is not assumed that defects in the devices are absorbed into an adversary's attack. In fact, the only assumption in the proof is that the source is characterized. The proof is performed by lower-bounding adversary's Renyi entropy about the key before privacy amplification. The bound reveals the leading factors reducing the key generation rate.
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....
Sufficient reductions in regressions with elliptically contoured1 inverse predictors2
Bura, Efstathia
for21 the regression of Y on X comprises of a linear and a non-linear component.22 1 Introduction23 There are two general approaches based on inverse regression for estimating the linear sufficient9 reductions with18 parameters (ľY , ) and density gY , there is no linear non-trivial sufficient reduction except
Entel, P.
PROOF COPY [BS7335] 068124PRB PROOF COPY [BS7335] 068124PRB Hopping perturbation treatment American Physical Society 2451XX1 PROOF COPY [BS7335] 068124PRB #12; PROOF COPY [BS7335] 068124PRB PROOF COPY [BS7335] 068124PRB diate valence #experimental trends# already present zeroband width
Uncorrected Proof Copy Finding Genes by Using Computational Tools 85
Uncorrected Proof Copy Finding Genes by Using Computational Tools 85 Job: Plant Functional Genomics;Uncorrected Proof Copy 86 Davuluri and Zhang Job: Plant Functional Genomics--Grotewold Compositor: Nettype Job: Plant Functional Genomics--Grotewold Compositor: Nettype Chapter: Chapter 6 Date: 3/15/2003 Pub
A "Future-Proof" Postgraduate Software Engineering Programme: Maintainability Issues
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
The Dependency Pair Framework: Combining Techniques for Automated Termination Proofs #
Ă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
A Compositional Proof System for the Modal Calculus
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
A Compositional Proof System for the Modal Calculus \\Lambda
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
A Compositional Proof System for the Modal -Calculus
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
A Compositional Proof System for the Modal -Calculus
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
PROOF COPY 001403EQS Tsunami Hazards Associated with the
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
PROOF COPY 004805HFS Molecular motors: a traffic cop within?
Gross, Steven
PROOF COPY 004805HFS PROOF COPY 004805HFS Molecular motors: a traffic cop within? M. A. Welte1 bidirectional, employing multiple plus- and minus-end directed motors. How cells regulate such transport in time approach to predict how much of transport can be understood just from our knowledge of the motors involved
The Automation of Sound Reasoning and Successful Proof Finding
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
Uncorrected Proof Copy RescueMu Protocols 37
Raizada, Manish N.
: Nettype Chapter: Chapter 3 Date: 3/15/2003 Pub Date: 7/1/2003 Revision: First Proof Template: MiMB/6x9/Template/Rev.02.03 Uncorrected Proof Copy 37 From: Methods in Molecular Biology, vol. 236: Plant FunctionalDB. Key Words Mutator, RescueMu, maize, genomics, transposon, genome survey sequence, plasmid res- cue
Sufficient statistics for linear control strategies in decentralized systems with partial history
Mahajan, Aditya
1 Sufficient statistics for linear control strategies in decentralized systems with partial history sharing Aditya Mahajan and Ashutosh Nayyar Abstract In decentralized control systems with linear dynamics, quadratic cost, and Gaussian disturbance (also called decentralized LQG systems) linear control strategies
Example Proof Herein we explain in detail all the tactics used during the proof of preservation
Lisboa, Universidade Técnica de
by the lemma F Preserve Iso. Coq ! Lemma F Preserve Iso : (c,d:Category)(fF:(Functor c d)) (c1,c2:c)(Iso c1 c2:(c))(Iso c1 c2)!(Iso (F0 fF c1) (F0 fF c2)) We switch to the proof editing mode by declaring ! is changed to F Preserve Iso !. Our goal is now to prove (c,d:Category)(fF:(Functor c d)) (c1,c2:(c))(Iso c1
Proof of Proper Solid Waste Disposal (West Virginia)
Broader source: Energy.gov [DOE]
This rule provides guidance to persons occupying a residence or operating a business establishment in this state regarding the approved method of providing proof of proper solid waste disposal to...
Developing reuse technology in proof engineering (position paper)
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
GARCH PROOF OF CONCEPT _ UPDATED 18 DEC 2008
Datta, Shoumen
2008-12-18T23:59:59.000Z
Proof that application of GARCH technique offers potential for profitability. Forecasting is an underestimated field of research in supply chain management. Recently advanced methods are coming into use. Initial results ...
ELECTRONIC PROOF OF SERVICE LIST and ELECTRONIC DISTRIBUTION LIST
CALIFORNIA ENERGY COMMISSION ELECTRONIC PROOF OF SERVICE LIST and ELECTRONIC DISTRIBUTION LIST@powereng.com David Tateosian, Power Engineers allanori@comcast.net Alan Thompson, Applicant's Attorney I declare
Computer-assisted proofs in geometry and physics
Minton, Gregory T. (Gregory Thomas)
2013-01-01T23:59:59.000Z
In this dissertation we apply computer-assisted proof techniques to two problems, one in discrete geometry and one in celestial mechanics. Our main tool is an effective inverse function theorem which shows that, in favorable ...
Proof of Concept: Cloud Condensation Nucleus Counter
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
Math 290 -Guided Practice Homework 11 1. Write a formal proof that the sequence {(-1)n
Singman, David
Math 290 - Guided Practice Homework 11 Solutions 1. Write a formal proof that the sequence {(-1)n n} n=1 is not bounded. Your proof should be built from the working definition of a sequence being unbounded. 2. Write a formal proof that the sequence (-1)n9n - 31 n n=1 is bounded. Your proof should
Proof Theory of MartinLof Type Theory --An Anton Setzer #
Setzer, Anton
Proof Theory of MartinÂLË?of Type Theory -- An Overview Anton Setzer # February 22, 2004 Abstract We give an overview over the historic development of proof theory and the main techniques used in ordinal theoretic proof theory. We argue, that in a revised Hilbert's programme, ordinal theoretic proof theory has
Proof Theory of Martin-Lof Type Theory An Anton Setzer
Setzer, Anton
Proof Theory of Martin-LÂ¨of Type Theory Â An Overview Anton Setzer February 22, 2004 Abstract We give an overview over the historic development of proof theory and the main techniques used in ordinal theoretic proof theory. We argue, that in a revised Hilbert's programme, ordinal theoretic proof theory has
CIRCULATING MOVING BED COMBUSTION PROOF OF CONCEPT
Jukkola, Glen
2010-06-30T23:59:59.000Z
Circulating Moving Bed (CMB) combustion technology has its roots in traditional circulating fluidized bed technology and involves a novel method of solid fuel combustion and heat transfer. CMB technology represents a step change in improved performance and cost relative to conventional PC and FBC boilers. The CMB heat exchanger preheats the energy cycle working fluid, steam or air, to the high temperature levels required in systems for advanced power generation. Unique features of the CMB are the reduction of the heat transfer surfaces by about 60% as a result of the enhanced heat transfer rates, flexibility of operation, and about 30% lower cost over existing technology. The CMB Phase I project ran from July 2001 through March 2003. Its objective was to continue development of the CMB technology with a series of proof of concept tests. The tests were conducted at a scale that provided design data for scale up to a demonstration plant. These objectives were met by conducting a series of experiments in ALSTOM 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.
Are Figure Legends Sufficient? Evaluating the Contribution of Associated Text to Biomedical Figure
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
The necessity and sufficiency of anytime capacity for control over a noisy communication link
Sahai, Anant
capacity and mutual information are not enough 3. Necessity of anytime reliability 4. Consequences: power-laws. Necessity of anytime reliability 4. Consequences: power-laws vs zero-error requirements 5. Sufficiency information are not enough 3. Necessity of anytime reliability 4. Consequences: power-laws vs zero
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
Mahajan, Aditya
1 Sufficient statistics for linear control strategies in decentralized systems with partial history sharing Aditya Mahajan and Ashutosh Nayyar Abstract--In decentralized control systems with linear dy- namics, quadratic cost, and Gaussian disturbance (also called decentralized LQG systems) linear control
On Sufficient Conditions for Testing Optimality of Codewords in ISI Channels
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
Necessary and Sufficient Conditions for Success of the Nuclear Norm Heuristic for Rank Minimization
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
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
Stapp, Henry P.
2011-05-10T23:59:59.000Z
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.
Industrial Energy Conservation: Are Market Pressures Sufficient or are Programs Needed?
Crandall, G. C.
of the largest con Industries in Michigan include automobile and tinuous body of fresh water in the world. There automotive equipment; wholesale and retail trade; are 38,575 square miles of Great Lakes water area steel, chemical, cement, and paper industries... INDUSTRIAL ENERGY CONSERVATION I ARE MARKET PRESSURES SUFFICIENT OR ARE PROGRAMS NEEDED? GEOFFREY C. CRANDALL Manager Michigan Public Service Commission Lansing, Michigan ABSTRACT This paper describes a regulatory view on the NATURAL...
On the meaning of logical completeness
Basaldella, Michele
2010-01-01T23:59:59.000Z
Goedel's completeness theorem is concerned with provability, while Girard's theorem in ludics (as well as full completeness theorems in game semantics) are concerned with proofs. Our purpose is to look for a connection between these two disciplines. Following a previous work [3], we consider an extension of the original ludics with contraction and universal nondeterminism, which play dual roles, in order to capture a polarized fragment of linear logic and thus a constructive variant of classical propositional logic. We then prove a completeness theorem for proofs in this extended setting: for any behaviour (formula) A and any design (proof attempt) P, either P is a proof of A or there is a model M of the orthogonal of A which defeats P. Compared with proofs of full completeness in game semantics, ours exhibits a striking similarity with proofs of Goedel's completeness, in that it explicitly constructs a countermodel essentially using Koenig's lemma, proceeds by induction on formulas, and implies an analogue o...
A PROOF THAT THOMPSON'S GROUPS HAVE INFINITELY MANY RELATIVE ENDS
Farley, Dan
A PROOF THAT THOMPSON'S GROUPS HAVE INFINITELY MANY RELATIVE ENDS DANIEL FARLEY Abstract. We show that each of Thompson's groups F , T, and V has infin- itely many ends relative to the groups F[0,1/2], T[0, that Thomp- son's groups T and V have Serre's property FA. 1. Introduction Thompson's group F is the group
Computational Proof as Experiment: Probabilistic Algorithms from a
proof" (algorithm) and the "work done" to achieve it (its energy consumption). 1 Introduction The word Engineering, Georgia Institute of Technology, Atlanta GA 30332, USA. palem@ece.gatech.edu Abstract. A novel framework for the design and analysis of energy-aware algo- rithms is presented, centered around
On automating the extraction of programs from termination proofs
Ayala-RincĂłn, Mauricio
On automating the extraction of programs from termination proofs Fairouz Kamareddine , Fran to use termination techniques such as those in rewriting theory. We overcome this difficulty the incorporation of termination techniques used in other areas while still extracting programs. Keywords: Program
Computer Science at Kent On Modular Termination Proofs
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
Towards a broad spectrum proof certificate Dale Miller
Miller, Dale
needs a formal proof for its next generation of controllers for airplanes, electric cars, medical-gravity devices? ˇ floating cities ˇ levitating cars and trains ˇ easy access to outer-space #12;Let's do some dreaming.... Wouldn't it be great to have anti-gravity devices? ˇ floating cities ˇ levitating cars
Simultaneous proof of the dimensional and of Jacobi's bound
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
PROOF COMPLEXITY IN ALGEBRAIC SYSTEMS AND BOUNDED DEPTH FREGE
Sgall, Jiri
PROOF COMPLEXITY IN ALGEBRAIC SYSTEMS AND BOUNDED DEPTH FREGE SYSTEMS WITH MODULAR COUNTING S. Buss (ř) := minfjßj : f(ß) = řg; #12; 2 S. Buss et al. where jßj is the length of the string ß to showing that NP 6= coNP . Despite extensive research (see the expository articles Buss (1995b) , Kraj
Automated Modular Termination Proofs for Real Prolog Programs
Stroetmann, Karl
Automated Modular Termination Proofs for Real Prolog Programs Martin M¨uller Thomas Glaß Karl the termination of Prolog programs that can be automated and is scalable. Furthermore, the proposed method can of complexity to predicate calls. Then termination of a program is shown by proving this measure
Proof and evolutionary analysis of ancient genome duplication in the
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
A Clean Technology Proof-of-Concept Center
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
A Language-Independent Proof System for Mutual Program Equivalence
Paris-Sud XI, Université de
A Language-Independent Proof System for Mutual Program Equivalence S¸tefan Ciob^aca1 , Dorel Lucanu, France 3 University of Illinois at Urbana-Champaign, USA Abstract. Two programs are mutually equivalent if they both diverge or they end up in similar states. Mutual equivalence is an adequate no- tion
Efficient Consistency Proofs for Generalized Queries on a Committed Database
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
Efficient Consistency Proofs for Generalized Queries on a Committed Database
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
PROOF-MASS INERTIAL VIBRATION CONTROL USING A SHUNTED
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
UNCORRECTED PROOF Date: 12:15 Thursday 21 June 2012
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
Phylogeny, Genealogy, and the Linnaean Hierarchy: Formal Proofs
New South Wales, University of
Phylogeny, Genealogy, and the Linnaean Hierarchy: Formal Proofs Rex Kwok University of New South in the con- text of a phylogenetic tree. However, the only possible source for a phylogeny is a genealogy. This paper presents formal definitions for phylogenetic terms in a genealog- ical context and shows
A Proof System for Compositional Verification of Probabilistic Concurrent Processes
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
Wireless Roadside Inspection Proof-of-Concept Test
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
Necessary and Sufficient Process leading to Work Smart Standards. Final report
NONE
1996-11-01T23:59:59.000Z
The Necessary and Sufficient Process leading to Work Smart Standards is a Department of Energy initiative to assure adequate protection for workers, the public, and the environment. The Work Smart Standards initiative directs the Laboratory to develop a set of ES and H standards based on the work performed at the Laboratory and the hazards associated with the work. Berkeley Lab`s set of Work Smart Standards includes required Federal, State and local laws and, additionally, national and international standards which represent the highest operating standards of industrial and commercial institutions.
Necessary and sufficient conditions of freezing phenomena of quantum discord under phase damping
Bo You; Li-Xiang Cen
2012-06-27T23:59:59.000Z
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.
DOE Public Access Gateway for Energy & Science Beta (PAGES Beta)
Blount, G.; Gorensek, M.; Hamm, L.; ONeil, K.; Kervévan, C.; Beddelem, M. -H.
2014-12-31T23:59:59.000Z
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.
WORKSHOP ON RECENT TRENDS IN PROOF THEORY University of Bern, July 9 11, 2008
Caldwell, James
) On the unusual effectiveness of proof theory in epistemology 09.4510.30 R. Kuznets (Bern) Justifications
Hausdorf means and multipliers
McCabe, Thomas Francis
1968-01-01T23:59:59.000Z
lies in summability methods generated by a m x+ matrix T = (c ); given a sequence { s }, we define t = p c s . nan n m mn n lim If t exists for each m and t = p, then we say T sums m m ~ m {s } to p . Unlike the abstract definition of a summability... Hausdori transformation; that n m for m g n; and that X is a transformation that commutes with B Now if A = 6&6 then we have X = 6A6 and since B = 6p 6 vve have p = 6 B 6 . Therefore AP =(6X6)(6B6) =(6XB6)=6BX6=(6B6) (6) 6) =&A If A has means t where...
To appear in the Journal of Symbolic Computation Modular Termination Proofs for Rewriting
Ă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
Lower Bounds for Bounded Depth Frege Proofs via Pudlak-Buss Games
Harsha, Prahladh
19 Lower Bounds for Bounded Depth Frege Proofs via Pudl´ak-Buss Games ELI BEN-SASSON Technion. Our method uses the interpretation of proofs as two player games given by Pudl´ak and Buss. Our lower. 2010. Lower bounds for bounded depth Frege proofs via Pudl´ak- Buss games. ACM Trans. Comput. Logic, 11
Proof Theory of Martin-L"of Type Theory -An Overview
Setzer, Anton
Proof Theory of Martin-L"of Type Theory - An Overview We give an overview over the historic development of proof theory and the main techniques used in ordinal theoretic proof theory. We argue, that in a revised Hilbert's programme, ordinal theoretic
Ren, Shaolei
servers. Recently, another sustainability practice, rainwater har- vesting, has also seen a growing and limitations on water harvesting area, make wa- ter self-sufficiency challenging. In this paper, we present the feasibility, relieving the requirement on water harvesting area and making water self-sufficiency a reality
Equilibrium Value Method for the Proof of QIP=PSPACE
Xiaodi Wu
2011-03-12T23:59:59.000Z
We provide an alternative proof of \\class{QIP}=\\class{PSPACE} to the recent breakthrough result. Unlike solving some semidefinite programs that captures the computational power of quantum interactive proofs, our method starts with one \\class{QIP}-Complete problem which computes the diamond norm between two admissible quantum channels. The key observation is that we can convert the computation of the diamond norm into the computation of some equilibrium value. The later problem, different from the former semidefinite programs, is of better form, easier to solve and could be interesting for its own sake. The multiplicative weight update method is also applied to solve the equilibrium value problem, however, in a relatively simpler way than the one in the original proof. As a direct byproduct, we also provide a NC algorithm to compute the diamond norm of a class of quantum channels. Furthermore, we provide a generalized form of equilibrium value problems that can be solved in the same way as well as comparisons to semidefinite programs.
Playing games in quantum mechanical settings: A necessary and sufficient condition
Junichi Shimamura; Sahin Kaya Ozdemir; Nobuyuki Imoto
2005-08-15T23:59:59.000Z
A number of recent studies have focused on novel features in game theory when the games are played using quantum mechanical toolbox (entanglement, unitary operators, measurement). Researchers have concentrated in two-player-two strategy, 2x2, dilemma containing classical games, and transferred them into quantum realm showing that in quantum pure strategies dilemmas in such games can be resolved if entanglement is distributed between the players armed with quantum operations. Moreover, it became clear that the players receive the highest sum of payoffs available in the game, which are otherwise impossible in classical pure strategies. Encouraged by the observation of rich dynamics of physical systems with many interacting parties and the power of entanglement in quantum versions of 2x2 games, it became generally accepted that quantum versions can be easily extended to N-player situations by simply allowing N-partite entangled states. In this article, however, we show that this is not generally true because the reproducibility of classical tasks in quantum domain imposes limitations on the type of entanglement and quantum operators. We propose a benchmark for the evaluation of quantum and classical versions of games, and derive the necessary and sufficient conditions for a physical realization. We give examples of entangled states that can and cannot be used, and the characteristics of quantum operators used as strategies.
A necessary and sufficient condition to play games in quantum mechanical settings
Sahin Kaya Ozdemir; Junichi Shimamura; Nobuyuki Imoto
2007-03-01T23:59:59.000Z
Quantum game theory is a multidisciplinary field which combines quantum mechanics with game theory by introducing non-classical resources such as entanglement, quantum operations and quantum measurement. By transferring two-player-two strategy (2x2) dilemma containing classical games into quantum realm, dilemmas can be resolved in quantum pure strategies if entanglement is distributed between the players who use quantum operations. Moreover, players receive the highest sum of payoffs available in the game, which are otherwise impossible in classical pure strategies. Encouraged by the observation of rich dynamics of physical systems with many interacting parties and the power of entanglement in quantum versions of 2x2 games, it became generally accepted that quantum versions can be easily extended to N-player situations by simply allowing N-partite entangled states. In this article, however, we show that this is not generally true because the reproducibility of classical tasks in quantum domain imposes limitations on the type of entanglement and quantum operators. We propose a benchmark for the evaluation of quantum and classical versions of games, and derive the necessary and sufficient conditions for a physical realization. We give examples of entangled states that can and cannot be used, and the characteristics of quantum operators used as strategies.
Celine Cattoen; Matt Visser
2005-08-30T23:59:59.000Z
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.
Pratt, Vaughan
In Proceedings of IEEE Logic in Computer Science, 2003 Proof Nets for UnitÂfree Multiplicative GLABBEEK Stanford University rvg@cs.stanford.edu A cornerstone of the theory of proof nets for unit this key feature: a host of cutÂfree monomial proof nets can correspond to the same cutÂfree proof. Thus
Fast Verification of MLL Proof Nets via IMLL ANDRZEJ S. MURAWSKI and C.H. LUKE ONG
Murawski, Andrzej
Fast Verification of MLL Proof Nets via IMLL ANDRZEJ S. MURAWSKI and C.ÂH. LUKE ONG Oxford University Computing Laboratory We consider the following decision problems: ProofNet : Is a given multiplicative linear logic (MLL) proof structure a proof net? EssNet : Is a given essential net (of
Pratt, Vaughan
In Proceedings of IEEE Logic in Computer Science, 2003 Proof Nets for Unit-free Multiplicative GLABBEEK Stanford University rvg@cs.stanford.edu A cornerstone of the theory of proof nets for unit this key feature: a host of cut-free monomial proof nets can correspond to the same cut-free proof. Thus
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 ...
ReACT Methodology Proof of Concept Final Report
Bri Rolston; Sarah Freeman
2014-03-01T23:59:59.000Z
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.
Coherent electron cooling proof of principle instrumentation design
Gassner D. M.; Litvinenko, V.; Michnoff, R.; Miller, T.; Minty, M.; Pinayev, I.
2012-04-15T23:59:59.000Z
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.
A New Proof on Net Upscale Energy Cascade in 2D and QG Turbulence
Eleftherios Gkioulekas; Ka Kit Tung
2006-09-30T23:59:59.000Z
A general proof that more energy flows upscale than downscale in two-dimensional (2D) turbulence and barotropic quasi-geostrophic (QG) turbulence is given. A proof is also given that in Surface QG turbulence, the reverse is true. Though some of these results are known in restricted cases, the proofs given here are pedagogically simpler, require fewer assumptions and apply to both forced and unforced cases.
An elementary proof of the uniqueness of the solutions of linear odes
Mauro Patrăo
2009-10-07T23:59:59.000Z
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).
An elementary proof of the robustness of the linear hyperbolic flows
Mauro Patrăo
2009-09-20T23:59:59.000Z
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.
Red Means Go Information Technology
Projects ˇBudget Issues #12;Red Means Go Strategic Operations Plan (SOP) ˇArticulate the OIT vision, planning, and other business functions ˇ Scope: Project will impact university data users (executive Means Go Directions and Opportunities for OIT ˇThree Phase Plan for IT Improvement ˇDevelop Strategic
Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra
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
Concise Proof of Tienstra's Formula Josep M. Porta and Federico Thomas
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
A Concise Proof of Tienstra's Formula Josep M. Porta and Federico Thomas
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
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
Proofs of Retrievability with Public Verifiability and Constant Communication Cost in Cloud
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
Proofs of Data Possession and Retrievability Based on MRD , Shengli Liu1
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
Concurrent Zero-Knowledge Proofs for NP Joe Kilian y Erez Petrank z Ransom Richardson x
Petrank, Erez
Cummings Center, Beverly, MA 01915. rrichard@groove.net. 1 #12; zero-knowledge protocols that are robustConcurrent Zero-Knowledge Proofs for NP #3; Joe Kilian y Erez Petrank z Ransom Richardson x November 26, 2001 Abstract A proof is concurrent zero-knowledge if it remains zero-knowledge when many
Orbit equivalence of Cantor minimal systems: A survey and a new proof
Putnam, Ian F.
Orbit equivalence of Cantor minimal systems: A survey and a new proof Ian F. Putnam, Department Abstract We give a new proof of the classification, up to topological orbit equivalence, of minimal AF-equivalence on the structure of AF-equivalence relations and the theory of dimension groups; we give a short survey
PROOF-OF-CONCEPT OF A DUAL-FIRED (SOLAR & NATURAL GAS) GENERATOR
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
Quantum Error Correcting Codes and the Security Proof of the BB84 Protocol
Ramesh Bhandari
2014-08-30T23:59:59.000Z
We describe the popular BB84 protocol and critically examine its security proof as presented by Shor and Preskill. The proof requires the use of quantum error correcting codes called the Calderbank-Shor-Steanne (CSS) quantum codes. These quantum codes are constructed in the quantum domain from two suitable classical linear codes, one used to correct for bit-flip errors and the other for phase-flip errors. Consequently, as a prelude to the security proof, the report reviews the essential properties of linear codes, especially the concept of cosets, before building the quantum codes that are utilized in the proof. The proof considers a security entanglement-based protocol, which is subsequently reduced to a "Prepare and Measure" protocol similar in structure to the BB84 protocol, thus establishing the security of the BB84 protocol. The proof, however, is not without assumptions, which are also enumerated. The treatment throughout is pedagogical, and this report, therefore, serves a useful tutorial for researchers, practitioners, and students, new to the field of quantum information science, in particular, quantum cryptography, as it develops the proof in a systematic manner, starting from the properties of linear codes, and then advancing to the quantum error correcting codes, which are critical to the understanding of the security proof.
Testing, Proof and Automation. An Integrated Approach Simon Burton John Clark John McDermid
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
Bl k t T h l F l C l dBlanket Technology, Fuel Cycle and Tritium Self Sufficiency
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
Firearm equipped with live round inhibiting means and method of making same
Baehr, D.G.
1990-11-13T23:59:59.000Z
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.
Firearm equipped with live round inhibiting means and method of making same
Baehr, Donald G. (Albuquerque, NM)
1990-01-01T23:59:59.000Z
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.
Electron mean free path from angle-dependent photoelectron spectroscopy of aerosol particles
Goldmann, Maximilian; West, Adam H C; Yoder, Bruce L; Signorell, Ruth
2015-01-01T23:59:59.000Z
We propose angle-resolved photoelectron spectroscopy of aerosol particles as an alternative way to determine the electron mean free path of low energy electrons in solid and liquid materials. The mean free path is obtained from fits of simulated photoemission images to experimental ones over a broad range of different aerosol particle sizes. The principal advantage of the aerosol approach is twofold. Firstly, aerosol photoemission studies can be performed for many different materials, including liquids. Secondly, the size-dependent anisotropy of the photoelectrons can be exploited in addition to size-dependent changes in their kinetic energy. These finite size effects depend in different ways on the mean free path and thus provide more information on the mean free path than corresponding liquid jet, thin film, or bulk data. The present contribution is a proof of principle employing a simple model for the photoemission of electrons and preliminary experimental data for potassium chloride aerosol particles.
DOE Public Access Gateway for Energy & Science Beta (PAGES Beta)
Blount, G.; Gorensek, M.; Hamm, L.; ONeil, K.; Kervévan, C.; Beddelem, M.-H.
2014-12-31T23:59:59.000Z
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.
SALT DAMAGE CRITERION PROOF-OF-CONCEPT RESEARCH
Kerry L. DeVries; Kirby D. Mellegard; Gary D. Callahan
2001-12-01T23:59:59.000Z
This document is the annual technical progress report for Department of Energy Contract No. DE-FC26-00NT41026 entitled Proof-of-Concept Research for an Advanced Design Criterion to Improve Working Gas Capacity for Natural Gas Storage Caverns in Salt Formations. This report covers the reporting period from October 1, 2000, through September 30, 2001. During this reporting period, the project was initiated and work was performed to develop structural models that will be used to evaluate two compressed natural gas storage caverns in the McIntosh Dome northwest of Mobile, Alabama. Information necessary to define the structural models include site-specific stress, temperature, geometry, stratigraphy, and operating scenarios in the dome and for the caverns. Additionally, material model development for the salt at the McIntosh Dome was initiated. Material model development activities include acquisition of salt core for testing, laboratory testing, and regression analyses to determine site-specific model parameter values that describe the behavior of salt around a storage cavern. Although not performed during this reporting period, the information and models developed will be used to perform advanced design storage cavern analyses for the Bay Gas caverns to determine the operating pressure ranges to maintain stable conditions.
Cooling by heating a nanodroplet - proof of concept
J. J. Papini
2011-05-10T23:59:59.000Z
Recently [3] predicted the existence of an intriguing new phenomenon. It was shown that if temperature is suddenly raised at the surface of a sphere the temperature in the interior initially decreases. The authors of [3] gave a thorough analysis explaining the physics leading to this remarkable effect. They linked the existence of the phenomenon to the subtle thermomechanical coupling between displacement and temperature in a sphere that is able to expand freely and showed that the effect is expected to be largest close to the glasstransition temperature of the perturbed material. The prediction was based on the assumption of quasi-elasticity where the sample is much smaller than the wavelength of acoustic waves at frequencies of relevance. Being in the inertia free limit they could ignore the acceleration term in the thermoviscoelastic equations of motion. Here we give the first empirical proof of existence of the effect by performing molecular dynamics simulations of a supercooled Kob-Andersen binary mixture of Lennard-Jones particles forming a droplet consisting of 500.000 particles. We show that the phenomenon is real even when inertia cannot be disregarded.
A Proof by the Simplex Method for the Diameter of a (0,1)-Polytope
2011-08-24T23:59:59.000Z
by proving that the diameter of any (0,1)-polytope in d-dimensional. Euclidean space is at most d. In this short paper, we give a simple proof for the diameter.
Dennis, Louise; Bundy, Alan; Green, Ian
1999-01-01T23:59:59.000Z
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 ...
Automatic Proofs of Privacy of Secure Multi-Party Computation Protocols Against
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
Idaho Request for Extension of Time to Submit Proof of Beneficial...
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...
Direct Proof of Security of Wegman-Carter Authentication with Partially Known Key
Direct Proof of Security of Wegman-Carter Authentication with Partially Known Key Aysajan Abidin by Wegman and Carter [24], in the case of partially known key. The scheme is based on secretly selecting
UncorrectedAuthorProof Journal of Alzheimer's Disease xx (20xx) xxx
30 31 Correspondence to: Jesse Mez, Gertrude H. Sergievsky Center, College of Physicians and Surgeons;UncorrectedAuthorProof 2 J. Mez et al. / Language versus Memory Alzheimer's Subgroups tion of patients with AD
PROOF COMPLEXITY IN ALGEBRAIC SYSTEMS AND BOUNDED DEPTH FREGE SYSTEMS WITH
KrajĂĂ¨ek, Jan
PROOF COMPLEXITY IN ALGEBRAIC SYSTEMS AND BOUNDED DEPTH FREGE SYSTEMS WITH MODULAR COUNTING S. Buss; 2 S. Buss et al. NP 6= coNP . Despite extensive research (see the expository articles Buss (1995b
Analysis and demonstration: a proof-of-concept compass star tracker
Swanzy, Michael John
2007-04-25T23:59:59.000Z
, the design and fabrication of a proof-of-concept instrument, an error source analysis, and the experimental tests used to validate the position determination concepts. Star sensors are typically used as attitude determination instruments on spacecraft...
A proof of Tsygan's formality conjecture for an arbitrary smooth manifold
Dolgushev, Vasiliy A
2005-01-01T23:59:59.000Z
Proofs of Tsygan's formality conjectures for chains would unlock important algebraic tools which might lead to new generalizations of the Atiyah-Patodi-Singer index theorem and the Riemann-Roch-Hirzebruch theorem. Despite ...
Sen's Theorem: Geometric Proof and New Interpretations Lingfang (Ivy) Li and Donald G. Saari
Saari, Don
Sen's Theorem: Geometric Proof and New Interpretations Lingfang (Ivy) Li and Donald G. Saari Dept liberal, paradox, decision theory 2 Saari's research was supported by NSF grant DMI 0233798. 1 #12;A
A Note on the Use of Sum in the Logic of Proofs Roman Kuznets
Jäger, Gerhard
A Note on the Use of Sum in the Logic of Proofs Roman Kuznets Institut f¨ur Informatik und angewandte Mathematik Universit¨at Bern Neubr¨uckstrasse 10, 3012 Bern, Switzerland kuznets
Torts and Social Costs: The Judgment Proof Problem as a Matter of Rational Choice
Acciarri, Hugo A; Castellano, Andrea; Barbero, Andrea
2006-01-01T23:59:59.000Z
modelos usuales IV. - La calidad de Judgment Proof como unaes ineficientemente alto. IV. - La calidad de JP como unatipo JP, asumiendo esa calidad como un hecho dado. Cuando se
Direct liquefaction proof-of-concept program. Topical report
Comolli, A.G.; Lee, L.K.; Pradhan, V.R. [and others
1996-12-01T23:59:59.000Z
This report presents the results of work conducted under the DOE Proof-of-Concept Program in direct coal liquefaction at Hydrocarbon Technologies, Inc. in Lawrenceville, New Jersey, from February 1994 through April 1995. The work includes modifications to HRI`s existing 3 ton per day Process Development Unit (PDU) and completion of the second PDU run (POC Run 2) under the Program. The 45-day POC Run 2 demonstrated scale up of the Catalytic Two-Stage Liquefaction (CTSL Process) for a subbituminous Wyoming Black Thunder Mine coal to produce distillate liquid products at a rate of up to 4 barrels per ton of moisture-ash-free coal. The combined processing of organic hydrocarbon wastes, such as waste plastics and used tire rubber, with coal was also successfully demonstrated during the last nine days of operations of Run POC-02. Prior to the first PDU run (POC-01) in this program, a major effort was made to modify the PDU to improve reliability and to provide the flexibility to operate in several alternative modes. The Kerr McGee Rose-SR{sup SM} unit from Wilsonville, Alabama, was redesigned and installed next to the U.S. Filter installation to allow a comparison of the two solids removal systems. The 45-day CTSL Wyoming Black Thunder Mine coal demonstration run achieved several milestones in the effort to further reduce the cost of liquid fuels from coal. The primary objective of PDU Run POC-02 was to scale-up the CTSL extinction recycle process for subbituminous coal to produce a total distillate product using an in-line fixed-bed hydrotreater. Of major concern was whether calcium-carbon deposits would occur in the system as has happened in other low rank coal conversion processes. An additional objective of major importance was to study the co-liquefaction of plastics with coal and waste tire rubber with coal.
Wireless Roadside Inspection Proof of Concept Test Final Report
Capps, Gary J [ORNL; Franzese, Oscar [ORNL; Knee, Helmut E [ORNL; Plate, Randall S [ORNL; Lascurain, Mary Beth [ORNL
2009-03-01T23:59:59.000Z
The U.S. Department of Transportation (DOT) FMCSA commissioned the Wireless Roadside Inspection (WRI) Program to validate technologies and methodologies that can improve safety through inspections using wireless technologies that convey real-time identification of commercial vehicles, drivers, and carriers, as well as information about the condition of the vehicles and their drivers. It is hypothesized that these inspections will: -- Increase safety -- Decrease the number of unsafe commercial vehicles on the road; -- Increase efficiency -- Speed up the inspection process, enabling more inspections to occur, at least on par with the number of weight inspections; -- Improve effectiveness -- Reduce the probability of drivers bypassing CMV inspection stations and increase the likelihood that fleets will attempt to meet the safety regulations; and -- Benefit industry -- Reduce fleet costs, provide good return-on-investment, minimize wait times, and level the playing field. The WRI Program is defined in three phases which are: Phase 1: Proof of Concept Test (POC) Testing of commercially available off-the-shelf (COTS) or near-COTS technology to validate the wireless inspection concept. Phase 2: Pilot Test Safety technology maturation and back office system integration Phase 3: Field Operational Test Multi-vehicle testing over a multi-state instrumented corridor This report focuses on Phase 1 efforts that were initiated in March, 2006. Technical efforts dealt with the ability of a Universal Wireless Inspection System (UWIS) to collect driver, vehicle, and carrier information; format a Safety Data Message Set from this information; and wirelessly transmit a Safety Data Message Set to a roadside receiver unit or mobile enforcement vehicle.
S5 3 lacks the fmp (another proof) 1 August 2000
Kurucz, Agi
S5 3 lacks the fmp (another proof) A. Kurucz 1 August 2000 Abstract We show, using the idea of N#19;emeti [1], that all 3-modal logics between [S5; S5; S5] and S5 3 lack the fmp. Theorem 1. All 3-modal logics between [S5; S5; S5] and S5 3 lack the fmp. Proof. Let #8;(p; d 01 ; d 02 ; d 12
PROOF COPY 504409PHF Standing shocks in a rotating channel
Tabak, Esteban G.
input from wind stress with energy dissipation at shocks. All the energy dissipation must be by means Street, New York, New York 10012 (Received 5 June 2003; accepted 15 June 2004) This paper discusses the stationary shallow water shocks occurring in a reentrant rotating channel with wind stress and topography
A simpler proof of existence of quantum weak coin flipping with arbitrarily small bias
Dorit Aharonov; André Chailloux; Maor Ganz; Iordanis Kerenidis; Loďck Magnin
2014-02-28T23:59:59.000Z
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.
SU-E-J-245: Is Off-Line Adaptive Radiotherapy Sufficient for Head and Neck Cancer with IGRT?
Li, Z [the 6th People's Hospital of Shanghai Jiaotong University, Shanghai, Shanghai (China); Cleveland Clinic, Cleveland, OH (United States); Shang, Q; Liu, H; Greskovich, J; Koyfman, S; Xia, P [Cleveland Clinic, Cleveland, OH (United States)
2014-06-01T23:59:59.000Z
Purpose: Radiation doses delivered to patients with head and neck cancer (HN) may deviate from the planned doses because of variations in patient setup and anatomy. This study was to evaluate whether off-line Adaptive Radiotherapy (ART) is sufficient. Methods: Ten HN patients, who received IMRT under daily imaging guidance using CT-on-rail/KV-CBCT, were randomly selected for this study. For each patient, the daily treatment setup was corrected with translational only directions. Sixty weekly verification CTs were retrospectively analyzed. On these weekly verification CTs, the tumor volumes and OAR contours were manually delineated by a physician. With the treatment iso-center placed on the verification CTs, according to the recorded clinical shifts, the treatment beams from the original IMRT plans were then applied to these CTs to calculate the delivered doses. The electron density of the planning CTs and weekly CTs were overridden to 1 g/cm3. Results: Among 60 fractions, D99 of the CTVs in 4 fractions decreased more than 5% of the planned doses. The maximum dose of the spinal cord exceeded 10% of the planned values in 2 fractions. A close examination indicated that the dose discrepancy in these 6 fractions was due to patient rotations, especially shoulder rotations. After registering these 6 CTs with the planning CT allowing six degree of freedoms, the maximum rotations around 3 axes were > 1.5° for these fractions. With rotation setup errors removed, 4 out of 10 patients still required off-line ART to accommodate anatomical changes. Conclusion: A significant shoulder rotations were observed in 10% fractions, requiring patient re-setup. Off-line ART alone is not sufficient to correct for random variations of patient position, although ART is effective to adapt to patients' gradual anatomic changes. Re-setup or on-line ART may be considered for patients with large deviations detected early by daily IGRT images. The study is supported in part by Siemens Medical Solutions.
Evaluation and improvement on external-hazard proof of JSFR fuel handling system
Katoh, A.; Chikazawa, Y. [Japan Atomic Energy Agency, 4002 Narita, O-arai-machi, Ibaraki-ken, 311-1393 (Japan); Uzawa, M. [Mitsubishi FBR Systems Inc. MFBR, 34-17, Jingumae 2-chome, Shibuya-ku, Tokyo 150-0001 (Japan)
2012-07-01T23:59:59.000Z
Responding to the the Fukushima Dai-ichi nuclear power plant (1F-NPP) accident, the earthquake and the tsunami proof of the fuel handling system (FHS) in Japan sodium-cooled fast reactor (JSFR) is studied. In the earthquake proof estimation, the margin of seismic resistance against the earthquake of the 1F-envelop condition and the sloshing behavior in the EVST is estimated. In terms of the tsunami proof, the scenario to lead fuel subassemblies into the stable cooling state and the potential of the cooling system is introduced in case of loss of the emergency power supply. As a result, it is clear that JSFR FHS originally could already be prepared to have the potential to prevent the release of radioactive material. (authors)
An insight on the Proof of Orientifold Planar Equivalence on the Lattice
Agostino Patella
2006-04-21T23:59:59.000Z
In a recent paper, Armoni, Shifman and Veneziano (ASV) gave a formal non-perturbative proof of planar equivalence between the bosonic sectors of SU(N) super Yang-Mills theory and of a gauge theory with a massless quark in the antisymmetric two-indexes representation. In the case of three colors, the latter theory is nothing but one-flavor QCD. Numerical simulations are necessary to test the validity of that proof and to estimate the size of 1/N corrections. As a first step towards numerical simulations, I will give a lattice version of the ASV proof of orientifold planar equivalence in the strong-coupling and large-mass phase.
ANALYSIS OF SAFETY RELIEF VALVE PROOF TEST DATA TO OPTIMIZE LIFECYCLE MAINTENANCE COSTS
Gross, Robert; Harris, Stephen
2007-08-01T23:59:59.000Z
Proof test results were analyzed and compared with a proposed life cycle curve or hazard function and the limit of useful life. Relief valve proof testing procedures, statistical modeling, data collection processes, and time-in-service trends are presented. The resulting analysis of test data allows for the estimation of the PFD. Extended maintenance intervals to the limit of useful life as well as methodologies and practices for improving relief valve performance and reliability are discussed. A generic cost-benefit analysis and an expected life cycle cost reduction concludes that $90 million maintenance dollars might be avoided for a population of 3000 valves over 20 years.
Longmore, Steven N; Keto, Eric; Zhang, Qizhou; Qiu, Keping
2010-01-01T23:59:59.000Z
If star formation proceeds by thermal fragmentation and the subsequent gravitational collapse of the individual fragments, how is it possible to form fragments massive enough for O and B stars in a typical star-forming molecular cloud where the Jeans mass is about 1Msun at the typical densities (10^4 cm^-3) and temperatures (10K)? We test the hypothesis that a first generation of low-mass stars may heat the gas enough that subsequent thermal fragmentation results in fragments >=10Msun, sufficient to form B stars. We combine ATCA and SMA observations of the massive star-forming region G8.68-0.37 with radiative transfer modeling to derive the present-day conditions in the region and use this to infer the conditions in the past, at the time of core formation. Assuming the current mass/separation of the observed cores equals the fragmentation Jeans mass/length and the region's average density has not changed, requires the gas temperature to have been 100K at the time of fragmentation. The postulated first-generat...
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
The role of literal meaning in metaphor
Coleman, Martin Allen
1996-01-01T23:59:59.000Z
Examining literal meaning and the role it plays in the explanation of metaphor shows that the concept of meaning by itself is not powerful enough to answer questions about using and comprehending metaphorical utterances. A full theory...
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
Proof-of-principle experiments of laser Wakefield acceleration
Nakajima, K.; Kawakubo, T.; Nakanishi, H. [National Lab. for Higher Energy Physics, Ibaraki (Japan)] [and others
1994-04-01T23:59:59.000Z
Recently there has been a great interest in laser-plasma accelerators as possible next-generation particle accelerators because of their potential for ultra high accelerating gradients and compact size compared with conventional accelerators. It is known that the laser pulse is capable of exciting a plasma wave propagating at a phase velocity close to the velocity of light by means of beating two-frequency lasers or an ultra short laser pulse. These schemes came to be known as the Beat Wave Accelerator (BWA) for beating lasers or as the Laser Wakefield Accelerator (LWFA) for a short pulse laser. In this paper, the principle of laser wakefield particle acceleration has been tested by the Nd:glass laser system providing a short pulse with a power of 10 TW and a duration of 1 ps. Electrons accelerated up to 18 MeV/c have been observed by injecting 1 MeV/c electrons emitted from a solid target by an intense laser impact. The accelerating field gradient of 30 GeV/m is inferred.
Translating Higher-Order Specifications to Coq Libraries Supporting Hybrid Proofs
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
Relation algebra reducts of cylindric algebras and an application to proof theory
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
A Proof of Security of a Mesh Security Architecture *Doug Kuhlman,
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
The Nekrasov-Okounkov hook length formula: refinement, elementary proof, extension and applications
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
A Proof of the Boyd-Carr Conjecture Frans Schalekamp David P. Williamson
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
A Cheat-Proof Game Theoretic Demand Response Scheme for Smart Grids
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
On the power of quantum, one round, two prover interactive proof systems
Alex Rapaport; Amnon Ta-Shma
2007-07-08T23:59:59.000Z
We analyze quantum two prover one round interactive proof systems, in which noninteracting provers can share unlimited entanglement. The maximum acceptance probability is characterized as a superoperator norm. We get some partial results about the superoperator norm, and in particular we analyze the "rank one" case.
Completeness Theorems with Constructive Proofs for Finite Deterministic 2-Party Functions
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
An alternative proof of Elezovi\\'c-Giordano-Pe\\v{c}ari\\'c's theorem
Qi, Feng
2009-01-01T23:59:59.000Z
In the present note, an alternative proof is supplied for Theorem~1 in [N. Elezovi\\'c, C. Giordano and J. Pe\\v{c}ari\\'c, \\textit{The best bounds in Gautschi's inequality}, Math. Inequal. Appl. \\textbf{3} (2000), 239\
A functional-analytic proof of the conformal welding Eric Schippers1 Wolfgang Staubach 2
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
XSLT Version 2.0 is Turing-Complete: A Purely Transformation Based Proof
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
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
A SHORT PROOF OF THE DOOB-MEYER THEOREM MATHIAS BEIGLBOCK, WALTER SCHACHERMAYER, BEZIRGEN VELIYEV
Schachermayer, Walter
A SHORT PROOF OF THE DOOB-MEYER THEOREM MATHIAS BEIGLBÂ¨OCK, WALTER SCHACHERMAYER, BEZIRGEN VELIYEV Abstract. Every submartingale S of class D has a unique Doob-Meyer de- composition S = M + A, where M of the Doob-Meyer decomposition theorem. Several previously known arguments are included to keep the paper
Automated Proofs for Some Stirling Number Identities Manuel Kauers # and Carsten Schneider +
Schneider, Carsten
Automated Proofs for Some Stirling Number Identities Manuel Kauers # and Carsten SchneiderÂ)Eulerian numbers that were obtained by combining a recent summation algorithm for Stirling number identities)S(n, k) where h(m, n, k) is a hypergeometric term and S(n, k) are, e.g., Stirling numbers or EuleÂ rian
New Constructions and Proof Methods for Large Universe Attribute-Based Encryption
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
Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols
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
Intuitive Proof of Black-Scholes Formula Based on Arbitrage and Properties of Lognormal Distribution
Alexei Krouglov
2006-12-03T23:59:59.000Z
Presented is intuitive proof of Black-Scholes formula for European call options, which is based on arbitrage and properties of lognormal distribution. Paper can help students and non-mathematicians to better understand economic concepts behind one of the biggest achievements in modern financial theory.
Density and Flow-Velocity Measurement Technology for Dredging Applications - Proof of Concept Study
Greenwood, Margaret S.; Tucker, Brian J.; Diaz, Aaron A.
2004-10-01T23:59:59.000Z
This technical letter report provides the results of all PNNL managed activities on this project, and contains a description of the data acquisition configuration and testing protocols, results and conclusions from this work. This technical letter report constitutes the final deliverable to be submitted to the client for this proof-of-concept study.
Page 1 of 6 TIER 1: Seed Grant/Proof of Concept Program
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
The Proof: and The approximate and of crude circuits CC(X) and
Lyuu, Yuh-Dauh
The Proof: and ˇ The approximate and of crude circuits CC(X) and CC(Y) is CC(pluck({Xi Yj : Xi X that the resulting crude circuit has "a lot" of false positives or false negatives. c 2008 Prof. Yuh-Dauh Lyuu, National Taiwan University Page 718 #12;The Final Crude Circuit Lemma 93 Every final crude circuit either
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
Version with Proof Appendix and Minor Corrections Practical Typed Lazy Contracts
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
Cengarle, MarĂa Victoria
Structure of Termination Proofs Goal of the Termination Tactic Algorithm of the Termination Tactic Mutual recursion Finding Lexicographic Orders for Termination Proofs Lukas Bulwahn FakultÂ¨at fÂ¨ur Informatik Technische UniversitÂ¨at MÂ¨unchen February 16th, 2007 1 / 23 #12;Structure of Termination Proofs
Continuous Time Finite State Mean Field Games
Gomes, Diogo A., E-mail: dgomes@math.ist.utl.pt [Instituto Superior Tecnico, Center for Mathematical Analysis, Geometry, and Dynamical Systems, Departamento de Matematica (Portugal); Mohr, Joana, E-mail: joana.mohr@ufrgs.br; Souza, Rafael Rigao, E-mail: rafars@mat.ufrgs.br [UFRGS, Instituto de Matematica (Brazil)
2013-08-01T23:59:59.000Z
In this paper we consider symmetric games where a large number of players can be in any one of d states. We derive a limiting mean field model and characterize its main properties. This mean field limit is a system of coupled ordinary differential equations with initial-terminal data. For this mean field problem we prove a trend to equilibrium theorem, that is convergence, in an appropriate limit, to stationary solutions. Then we study an N+1-player problem, which the mean field model attempts to approximate. Our main result is the convergence as N{yields}{infinity} of the mean field model and an estimate of the rate of convergence. We end the paper with some further examples for potential mean field games.
Kim, M.; Hong, S.; Miller, D. J.; Dugundji, J.; Wardle, B. L. (Materials Science Division); (MIT)
2011-12-15T23:59:59.000Z
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.
Richard Cleve; Dmitry Gavinsky; Rahul Jain
2007-07-12T23:59:59.000Z
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.
New proofs for the two Barnes lemmas and an additional lemma
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-15T23:59:59.000Z
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).
Status of Proof-of-principle Experiment for Coherent Electron Cooling
Pinayev, I; Ben-Zvi, I; Bengtsson, J; Elizarov, A; Fedotov, A V; Gassner, D M; Hao, Y; Kayran, D; Litvinenko, V; Mahler, G J; Meng, W; Roser, T; Sheehy, B; Than, R; Tuozzolo, J E; Wang, G; Webb, S D; Yakimenko, V; Bell, G I; Bruhwiler, D L; Ranjbar, V H; Schwartz, B T; Hutton, A; Krafft, G A; Poelker, M; Rimmer, R A; Kholopov, M A
2012-07-01T23:59:59.000Z
Coherent electron cooling (CEC) has a potential to significantly boost luminosity of high-energy, high-intensity hadron colliders. To verify the concept we conduct proof-of-the-principle experiment at RHIC. In this paper, we describe the current experimental setup to be installed into 2 o'clock RHIC interaction regions. We present current design, status of equipment acquisition and estimates for the expected beam parameters.
THE EMERGENCE OF MEANING IN BIOLOGICAL SYSTEMS
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
Mean Width of a Regular Simplex
Finch, Steven R
2011-01-01T23:59:59.000Z
The mean width is a measure on n-dimensional convex bodies. An integral formula for the mean width of a regular n-simplex appeared in the electrical engineering literature in 1997. As a consequence, expressions for the expected range of a sample of n+1 normally distributed variables, for ninfty.
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
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
Representation, Organization, Classification, and Meaning-Making
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
Meaning Predictability and Recursion in Onomasiology
Mason, Julia
2011-11-23T23:59:59.000Z
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 ...
2007-08-04T23:59:59.000Z
Please cite this article in press as: P.-Q. Pan, A primal deficient-basis simplex algorithm ..., Appl. Math. Comput. (2007), doi:10.1016/j.amc.2007.07.030 ...
2004-04-30T23:59:59.000Z
in advance for which this study sets up a base. We have the first case of a ..... 258 alarm). Results of the data analysis suggest to take. 259 ? = 6 months. 260.
2006-10-27T23:59:59.000Z
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 ...
Personal meanings of death among early adolescents
Fitch, Starla Dianne
1978-01-01T23:59:59.000Z
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...
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
The driven overdamped mean field model Non-eq. free energies for the mean field model
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
Iskin, M. [Department of Physics, Koc University, Rumelifeneri Yolu, TR-34450 Sariyer, Istanbul (Turkey)
2010-11-15T23:59:59.000Z
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.
Gaudet, Matthieu
2012-01-01T23:59:59.000Z
We demonstrate here a proof-of-concept experiment that microelectromechanical systems (MEMS) can be actuated using photoelectrowetting. In order to demonstrate this, a 30 \\mu m thick aluminum cantilever is actuated using an ordinary white light source. A deflection of 56 \\mu m is observed using a light irradiance equal to \\approx 1000 W m-2 at a bias of 7 V. The deflection of the cantilever relies on the recently observed photoelectrowetting effect [Sci. Rep.1, 184 (2011)]. Such "actuation at a distance" could be useful for optical addressing and control of autonomous wireless sensors, MEMS and microsystems.
The True-Twin microcalorimeter: a proof-of-concept experiment
Luca Oberto; Luciano Brunetti; Marco Sellone
2011-05-02T23:59:59.000Z
We present a proof-of-concept experiment to realize microwave primary power standard with a true-twin microcalorimeter. Double feeding line microcalorimeters are widely used by National Metrology Institutes. A drawback concerns the system calibration: traditional processes changes measurement conditions between system characterization and the measurement stage. Nevertheless, if the feeding lines are made twin, a measurement scheme that avoids separate characterization can be applied, equations simplify and time consumption is halved. Here we demonstrates the feasibility of the idea. The result of an effective efficiency spectroscopy of a thermoelectric power sensor is compared with figures obtained with well established methods.
Critical Percolation Exploration Path and SLE(6): a Proof of Convergence
Federico Camia; Charles M. Newman
2006-11-07T23:59:59.000Z
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.
Supply Chain Based Solution to Prevent Fuel Tax Evasion: Proof of Concept Final Report
Capps, Gary J [ORNL; Lascurain, Mary Beth [ORNL; Franzese, Oscar [ORNL; Earl, Dennis Duncan [ORNL; West, David L [ORNL; McIntyre, Timothy J [ORNL; Chin, Shih-Miao [ORNL; Hwang, Ho-Ling [ORNL; Connatser, Raynella M [ORNL; Lewis Sr, Samuel Arthur [ORNL; Moore, Sheila A [ORNL
2011-12-01T23:59:59.000Z
The goal of this research was to provide a proof-of-concept (POC) system for preventing non-taxable (non-highway diesel use) or low-taxable (jet fuel) petrochemical products from being blended with taxable fuel products and preventing taxable fuel products from cross-jurisdiction evasion. The research worked to fill the need to validate the legitimacy of individual loads, offloads, and movements by integrating and validating, on a near-real-time basis, information from global positioning system (GPS), valve sensors, level sensors, and fuel-marker sensors.
Computer Assisted 'Proof' of the Global Existence of Periodic Orbits in the Rössler System
A. E. Botha; W. Dednam
2014-08-14T23:59:59.000Z
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.
An Anthropomorphized Version of McCune's Machine Proof that Robbins Algebras are Boolean Algebras
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
Using Novel Image-based Interactional Proofs and Source Randomization for Prevention of Web Bots
Shardul Vikram
2012-02-14T23:59:59.000Z
to k and n. Attack using the static image name in source: If the source code of the HTML page hosting the challenge uses image names, an attacker could potentially use those names to identify similar images. However, this sort of attack is easily...USING NOVEL IMAGE-BASED INTERACTIONAL PROOFS AND SOURCE RANDOMIZATION FOR PREVENTION OF WEB BOTS A Thesis by SHARDUL VIKRAM Submitted to the Office of Graduate Studies of Texas A&M University in partial fulfillment of the requirements...
Beyond the mean field in the particle-vibration coupling scheme
Baldo, M; Colo', G; Rizzo, D; Sciacchitano, L
2015-01-01T23:59:59.000Z
The Energy Density Functional theory is one of the most used methods developed in nuclear structure. It is based on the assumption that the energy of the ground state is a functional only of the density profile. The method is extremely successful within the effective force approach, noticeably the Skyrme or Gogny forces, in reproducing the nuclear binding energies and other bulk properties along the whole mass table. Although the Density Functional is in this case represented formally as the Hartree-Fock mean field of an effective force, the corresponding single-particle states in general do not reproduce the phenomenology particularly well. To overcome this difficulty, a strategy has been developed where the effective force is adjusted to reproduce directly the single particle energies, trying to keep the ground state energy sufficiently well reproduced. An alternative route, that has been developed along several years, for solving this problem is to introduce the mean field fluctuations, as represented by t...
The role of literal meaning in metaphor
Coleman, Martin Allen
1996-01-01T23:59:59.000Z
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...
The mean molecular mass of Titan's atmosphere
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
REPORTED JOB SATISFACTION: WHAT DOES IT MEAN?
Paris-Sud XI, Université de
1 REPORTED JOB SATISFACTION: WHAT DOES IT MEAN? Louis Lévy-Garboua TEAM (CNRS), University of Paris or regret, i.e. the difference between what happened and what might have happened, on job satisfaction. The main prediction that we test is that job satisfaction correlates with the wage gaps experienced
Motivation: Three primary means of bipedal balance
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
An Explanation for Beta's Mean-reversion
Bodkin, Connor Matthew
2013-09-26T23:59:59.000Z
-reversion in beta values. They find that 26 companies do not have a constant beta and that 14 of the non-constant betas are mean reverting. Their model is the modified Kalman filter that Harvey et al. (1992) developed. De Bondt and Thalers paper finds...
Fibers and fabrics with insulating, water-proofing, and flame-resistant properties
Hrubesh, Lawrence W.; Poco, John F.; Coronado, Paul R.
2004-04-20T23:59:59.000Z
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.
Report for slot cutter proof-of-principle test, Buried Waste Containment System project. Revision 1
NONE
1998-05-21T23:59:59.000Z
Several million cubic feet of hazardous and radioactive waste was buried in shallow pits and trenches within many US Department of Energy (US DOE) sites. The pits and trenches were constructed similarly to municipal landfills with both stacked and random dump waste forms such as barrels and boxes. Many of the hazardous materials in these waste sites are migrating into groundwater systems through plumes and leaching. On-site containment is one of the options being considered for prevention of waste migration. This report describes the results of a proof-of-principle test conducted to demonstrate technology for containing waste. This proof-of-principle test, conducted at the RAHCO International, Inc., facility in the summer of 1997, evaluated equipment techniques for cutting a horizontal slot beneath an existing waste site. The slot would theoretically be used by complementary equipment designed to place a cement barrier under the waste. The technology evaluated consisted of a slot cutting mechanism, muck handling system, thrust system, and instrumentation. Data were gathered and analyzed to evaluate the performance parameters.
Proof of principle report for in-tank moisture monitoring using an active neutron probe
Watson, W.T.
1993-12-01T23:59:59.000Z
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.
A Stochastic Maximum Principle for a Stochastic Differential Game of a Mean-Field Type
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-15T23:59:59.000Z
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.
Attacks exploiting deviation of mean photon number in quantum key distribution and coin tossing
Shihan Sajeed; Igor Radchenko; Sarah Kaiser; Jean-Philippe Bourgoin; Anna Pappa; Laurent Monat; Matthieu Legre; Vadim Makarov
2015-03-30T23:59:59.000Z
The security of quantum communication using a weak coherent source requires an accurate knowledge of the source's mean photon number. Finite calibration precision or an active manipulation by an attacker may cause the actual emitted photon number to deviate from the known value. We model effects of this deviation on the security of three quantum communication protocols: the Bennett-Brassard 1984 (BB84) quantum key distribution (QKD) protocol without decoy states, Scarani-Acin-Ribordy-Gisin 2004 (SARG04) QKD protocol, and a coin-tossing protocol. For QKD, we model both a strong attack using technology possible in principle, and a realistic attack bounded by today's technology. To maintain the mean photon number in two-way systems, such as plug-and-play and relativistic quantum cryptography schemes, bright pulse energy incoming from the communication channel must be monitored. Implementation of a monitoring detector has largely been ignored so far, except for ID Quantique's commercial QKD system Clavis2. We scrutinize this implementation for security problems, and show that designing a hack-proof pulse-energy-measuring detector is far from trivial. Indeed the first implementation has three serious flaws confirmed experimentally, each of which may be exploited in a cleverly constructed Trojan-horse attack. We discuss requirements for a loophole-free implementation of the monitoring detector.
Means and method for vapor generation
Carlson, Larry W. (Oswego, IL)
1984-01-01T23:59:59.000Z
A liquid, in heat transfer contact with a surface heated to a temperature well above the vaporization temperature of the liquid, will undergo a multiphase (liquid-vapor) transformation from 0% vapor to 100% vapor. During this transition, the temperature driving force or heat flux and the coefficients of heat transfer across the fluid-solid interface, and the vapor percentage influence the type of heating of the fluid--starting as "feedwater" heating where no vapors are present, progressing to "nucleate" heating where vaporization begins and some vapors are present, and concluding with "film" heating where only vapors are present. Unstable heating between nucleate and film heating can occur, accompanied by possibly large and rapid temperature shifts in the structures. This invention provides for injecting into the region of potential unstable heating and proximate the heated surface superheated vapors in sufficient quantities operable to rapidly increase the vapor percentage of the multiphase mixture by perhaps 10-30% and thereby effectively shift the multiphase mixture beyond the unstable heating region and up to the stable film heating region.
Alstone, Peter; Jacobson, Arne; Mills, Evan
2010-08-26T23:59:59.000Z
Efforts to promote rechargeable electric lighting as a replacement for fuel-based light sources in developing countries are typically predicated on the notion that lighting service levels can be maintained or improved while reducing the costs and environmental impacts of existing practices. However, the extremely low incomes of those who depend on fuel-based lighting create a need to balance the hypothetically possible or desirable levels of light with those that are sufficient and affordable. In a pilot study of four night vendors in Kenya, we document a field technique we developed to simultaneously measure the effectiveness of lighting service provided by a lighting system and conduct a survey of lighting service demand by end-users. We took gridded illuminance measurements across each vendor's working and selling area, with users indicating the sufficiency of light at each point. User light sources included a mix of kerosene-fueled hurricane lanterns, pressure lamps, and LED lanterns.We observed illuminance levels ranging from just above zero to 150 lux. The LED systems markedly improved the lighting service levels over those provided by kerosene-fueled hurricane lanterns. Users reported that the minimum acceptable threshold was about 2 lux. The results also indicated that the LED lamps in use by the subjects did not always provide sufficient illumination over the desired retail areas. Our sample size is much too small, however, to reach any conclusions about requirements in the broader population. Given the small number of subjects and very specific type of user, our results should be regarded as indicative rather than conclusive. We recommend replicating the method at larger scales and across a variety of user types and contexts. Policymakers should revisit the subject of recommended illuminance levels regularly as LED technology advances and the price/service balance point evolves.
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-03T23:59:59.000Z
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.
Superheavy Nuclei: Relativistic Mean Field Outlook
A. V. Afanasjev
2006-12-20T23:59:59.000Z
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.
SIMPSON, B.C.
1999-08-12T23:59:59.000Z
This document presents the technical basis for closure of Defense Nuclear Facilities Safety Board (DNFSB) Recommendation 93-5 Implementation Plan milestone 5.6.3.13, ''Core sample all tanks by 2002'' (DOE-RL 1996). The milestone was based on the need for characterization data to ensure safe storage of the waste, to operate the tanks safely, and to plan and implement retrieval and processing of the waste. Sufficient tank characterization data have been obtained to ensure that existing controls are adequate for safe storage of the waste in the 177 waste tanks at the Hanford Site. In addition, a process has been developed, executed, and institutionalized to systemically identify information needs, to integrate and prioritize the needs, and to reliably obtain and analyze the associated samples. This document provides a technical case that the remaining 45 incompletely sampled tanks no longer require sampling to support the intent of the Implementation Plan milestone. Sufficient data have been obtained to close the Unreviewed Safety Questions (USQs), and to ensure that existing hazard controls are adequate and appropriately applied. However, in the future, additional characterization of tanks at the site will be required to support identified information needs. Closure of this milestone allows sampling and analytical data to be obtained in a manner that is consistent with the integrated priority process.
Fixpoint & Proof-theoretic Semantics for CLP with Qualification and Proximity
Rodríguez-Artalejo, Mario
2010-01-01T23:59:59.000Z
Uncertainty in Logic Programming has been investigated during the last decades, dealing with various extensions of the classical LP paradigm and different applications. Existing proposals rely on different approaches, such as clause annotations based on uncertain truth values, qualification values as a generalization of uncertain truth values, and unification based on proximity relations. On the other hand, the CLP scheme has established itself as a powerful extension of LP that supports efficient computation over specialized domains while keeping a clean declarative semantics. In this report we propose a new scheme SQCLP designed as an extension of CLP that supports qualification values and proximity relations. We show that several previous proposals can be viewed as particular cases of the new scheme, obtained by partial instantiation. We present a declarative semantics for SQCLP that is based on observables, providing fixpoint and proof-theoretical characterizations of least program models as well as an im...
Generalized decoding, effective channels, and simplified security proofs in quantum key distribution
Renes, Joseph M. [IAKS Prof. Beth, Arbeitsgruppe Quantum Computing, Universitaet Karlsruhe, Am Fasanengarten 5, D-76131 Karlsruhe (Germany); Quantum Information Theory Group, Institut fuer Theoretische Physik I, and Max-Planck-Forschungsgruppe, Institut fuer Optik, Information und Photonik, Universitaet Erlangen-Nuernberg, Staudtstrasse 7, D-91058 Erlangen (Germany); Grassl, Markus [IAKS Prof. Beth, Arbeitsgruppe Quantum Computing, Universitaet Karlsruhe, Am Fasanengarten 5, D-76131 Karlsruhe (Germany)
2006-08-15T23:59:59.000Z
Prepare and measure quantum key distribution protocols can be decomposed into two basic steps: delivery of the signals over a quantum channel and distillation of a secret key from the signal and measurement records by classical processing and public communication. Here we formalize the distillation process for a general protocol in a purely quantum-mechanical framework and demonstrate that it can be viewed as creating an 'effective' quantum channel between the legitimate users Alice and Bob. The process of secret key generation can then be viewed as entanglement distribution using this channel, which enables application of entanglement-based security proofs to essentially any prepare and measure protocol. To ensure secrecy of the key, Alice and Bob must be able to estimate the channel noise from errors in the key, and we further show how symmetries of the distillation process simplify this task. Applying this method, we prove the security of several key distribution protocols based on equiangular spherical codes.
Proof-of-Principle Experiment for FEL-based Coherent Electron Cooling
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-01T23:59:59.000Z
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.
Proof-of concept testing of the advanced NOXSO flue gas cleanup process. Final report
Not Available
1993-04-01T23:59:59.000Z
The NOXSO Process uses a regenerable sorbent that removes SO{sub 2} and NO{sub x} simultaneously from flue gas. The sorbent is a stabilized {gamma}-alumina bed impregnated with sodium carbonate. The process was successfully tested at three different scales, equivalent to 0.017, 0.06 and 0.75 MW of flue gas generated from a coal-fired power plant. The Proof-of-Concept (POC) Test is the last test prior to a full-scale demonstration. A slip stream of flue gas equivalent to a 5 MW coal-fired power plant was used for the POC test. This paper summarizes the NOXSO POC plant and its test results.
Development and proof-testing of advanced absorption refrigeration cycle concepts
Modahl, R.J.; Hayes, F.C. (Trane Co., La Crosse, WI (United States). Applied Unitary/Refrigeration Systems Div.)
1992-03-01T23:59:59.000Z
The overall objectives of this project are to evaluate, develop, and proof-test advanced absorption refrigeration cycles that are applicable to residential and commercial heat pumps for space conditioning. The heat pump system is to be direct-fired with natural gas and is to use absorption working fluids whose properties are known. Target coefficients of performance (COPs) are 1.6 at 47{degrees}F and 1.2 at 17{degrees} in the heating mode, and 0.7 at 95{degree}F in the cooling mode, including the effect of flue losses. The project is divided into three phases. Phase I entailed the analytical evaluation of advanced cycles and included the selection of preferred concepts for further development. Phase II involves the development and testing of critical components and of a complete laboratory breadboard version of the selected system. Phase III calls for the development of a prototype unit and is contingent on the successful completion of Phase II. This report covers Phase I work on the project. In Phase 1, 24 advanced absorption cycle/fluid combinations were evaluated, and computer models were developed to predict system performance. COP, theoretical pump power, and internal heat exchange were calculated for each system, and these calculations were used as indicators of operating and installed costs in order to rank the relative promise of each system. The highest ranking systems involve the cycle concept of absorber/generator heat exchange, generator heat exchanger/absorber heat exchange, regeneration, and resorption/desorption, in combination with the NH{sub 3}/H{sub 2}O/LiBr ternary absorption fluid mixture or with the NH{sub 3}/H{sub 2}O binary solution. Based upon these conclusions, the recommendation was made to proceed to Phase II, the laboratory breadboard proof-of- concept.
Property:MeanCapacity | Open Energy Information
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on DeliciousPlasmaP a g eWorks -09-0018-CXNuon Renewables JumpSolartech Co LtdFloridaProperty Edit with formMeanCapacity
The Meaning Of The Fine Structure Constant
R. L. Oldershaw
2009-02-21T23:59:59.000Z
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
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
GSOD Based Daily Global Mean Surface Temperature and Mean Sea Level Air Pressure (1982-2011)
Xuan Shi, Dali Wang
2014-05-05T23:59:59.000Z
This data product contains all the gridded data set at 1/4 degree resolution in ASCII format. Both mean temperature and mean sea level air pressure data are available. It also contains the GSOD data (1982-2011) from NOAA site, contains station number, location, temperature and pressures (sea level and station level). The data package also contains information related to the data processing methods
MasterProof The Proton-Driven Rotor of ATP Synthase: Ohmic Conductance (10 fS),
Steinhoff, Heinz-Jürgen
MasterProof The Proton-Driven Rotor of ATP Synthase: Ohmic Conductance (10 fS), and Absence ABSTRACT The membrane portion of F0F1-ATP synthase, F0, translocates protons by a rotary mechanism. Proton conduction by F0 was studied in chromatophores of the photosynthetic bacterium Rhodobacter capsulatus
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
Patzek, Tadeusz W.
Poland self-sufficient in natural gas?", which will be published in final form in a special issue-4296 Can hydraulic fracturing make Poland self-sufficient in natural gas? Kjell Alekletta,b,* , Tadeusz to be able to replace gas from Russia with domestic natural gas production and eventually to become self
Meaning in the traditional Chinese house and garden
Li, Tao, M.S. Massachusetts Institute of Technology
1992-01-01T23:59:59.000Z
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 ...
Going and going : a contemporary search for meaning
Alvarado Beltrán, Elba Fabiola
2012-01-01T23:59:59.000Z
Meaning provides the individual with a sense of a purpose to live, being himself, and feeling at ease. Finding meaning on a daily basis is paramount. Yet, the search is constant since meaning is lost and regained persistently. ...
Mean Field Limits in Strongly Confined Systems
Johannes von Keler
2014-12-10T23:59:59.000Z
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.
Passive heat transfer means for nuclear reactors
Burelbach, James P. (Glen Ellyn, IL)
1984-01-01T23:59:59.000Z
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.
Marcin Pawlowski
2010-09-21T23:59:59.000Z
We show that monogamy of Bell's inequality violations, which is strictly weaker condition than no-signaling is enough to prove security of quantum key distribution. We derive our results for a whole class of monogamy constraints and generalize our results to any theory that communicating parties may have access to. Some of these theories do not respect no-signaling principle yet still allow for secure communication. This proves that no-signaling is only a sufficient condition for the possibility of secure communication, but not the necessary one. We also present some new qualitative results concerning the security of existing quantum key distribution protocols.
Proof of linear instability of the Reissner-Nordström Cauchy horizon under scalar perturbations
Jonathan Luk; Sung-Jin Oh
2015-01-19T23:59:59.000Z
It has long been suggested that solutions to linear scalar wave equation $$\\Box_g\\phi=0$$ on a fixed subextremal Reissner-Nordstr\\"om spacetime with non-vanishing charge are generically singular at the Cauchy horizon. We prove that generic smooth and compactly supported initial data on a Cauchy hypersurface indeed give rise to solutions with infinite nondegenerate energy near the Cauchy horizon in the interior of the black hole. In particular, the solution generically does not belong to $W^{1,2}_{loc}$. This instability is related to the celebrated blue shift effect in the interior of the black hole. The problem is motivated by the strong cosmic censorship conjecture and it is expected that for the full nonlinear Einstein-Maxwell system, this instability leads to a singular Cauchy horizon for generic small perturbations of Reissner-Nordstr\\"om spacetime. Moreover, in addition to the instability result, we also show as a consequence of the proof that Price's law decay is generically sharp along the event horizon.
Status of proof-of-principle experiment for coherent electron cooling
Pinayev I.; Belomestnykh, S.; Bengtsson, J.; Ben-Zvi, I.; Elizarov, A. et al
2012-05-20T23:59:59.000Z
Coherent electron cooling (CEC) has a potential to significantly boost luminosity of high-energy, high-intensity hadron colliders. To verify the concept we conduct proof-of-the-principle experiment at RHIC. In this paper, we describe the current experimental setup to be installed into 2 o'clock RHIC interaction regions. We present current design, status of equipment acquisition and estimates for the expected beam parameters. We use a dogleg to merge the electron and ion beams. The ions 'imprint' their distribution into the electron beam via a space charge density modulation. The modulation is amplified in an FEL comprised of a 7-m long helical wiggler. The ions are co-propagating with electron beam through the FEL. The ion's average velocity is matched to the group velocity of the wave-packet of e-beam density modulation in the FEL. A three-pole wiggler at the exit of the FEL tune the phase of the wave-packet so the ion with the central energy experience the maximum of the e-beam density modulation, where electric field is zero. The time-of-flight dependence on ion's provides for the electrical field caused by the density modulation to reduce energy spread of the ion beam. The used electron beam is bent off the ion path and damped.
Proof of Concept Thin Films and Multilayers Toward Enhanced Field Gradients in SRF Cavities
Lukaszew, R.A.; Beringer, D.; Roach, W.M.; Eremeev, G.V.; Valente-Feliciano, A-M.; Reece, C.E.; Xi, X.
2013-09-01T23:59:59.000Z
Due to the very shallow penetration depth of the RF fields, SRF properties are inherently a surface phenomenon involving a material thickness of less than 1 micron thus opening up the possibility of using thin film coatings to achieve a desired performance. The challenge has been to understand the dependence of the SRF properties on the detailed characteristics of real surfaces and then to employ appropriate techniques to tailor these surface properties for greatest benefit. Our aim is to achieve gradients >100 MV/m and no simple material is known to be capable of sustaining this performance. A theoretical framework has been proposed which could yield such behavior [1] and it requires creation of thin film layered structures. I will present our systematic studies on such proof-of-principle samples. Our overarching goal has been to build a basic understanding of key nano-scale film growth parameters for materials that show promise for SRF cavity multilayer coatings and to demonstrate the ability to elevate the barrier for vortex entry in such layered structures above the bulk value of Hc1 for type-II superconductors and thus to sustain higher accelerating fields.
Desulfurization of flue gas by the confined zone dispersion process - Proof-of-concept tests
Abrams, J.Z.; Blake, J.H.; Pennline, H.W.
1986-01-01T23:59:59.000Z
As part of a program to develop more cost-effective approaches to the control of acid rain precursors, the Department of Energy (DOE) is supporting proof-of-concept tests of the Confined Zone Dispersion (CZD) process proposed by Bechtel. This process removes SO/sub 2/ from flue gas by injecting a finely atomized slurry of highly reactive pressure hydrated dolomitic lime into the duct of a utility boiler. A slipstream of flue gas at 300/sup 0/F will be withdrawn from the plant ductwork and will pass through a 130-ft run of 3-ft diameter test duct. A two-fluid atomizer will inject the lime slurry into the upstream end of the test duct. A pilot scale electrostatic precipitator (ESP) will remove reaction products and fly ash before the gas is discharged back into the utility's ESP. An 11-month test program will optimize controllable variables, acquire design data, and demonstrate reliability by a long duration run. Measurements taken will include SO/sub 2/ removal, lime utilization, ESP performance, and characterization of waste solids.
Cryogenic systems for proof of the principle experiment of coherent electron cooling at RHIC
Huang, Yuenian; Belomestnykh, Sergey; Brutus, Jean Clifford; Lederle, Dewey; Orfin, Paul; Skaritka, John; Soria, Victor; Tallerico, Thomas; Than, Roberto [Collider Accelerator Department, Brookhaven National Laboratory, Upton, NY 11973 (United States)
2014-01-29T23:59:59.000Z
The Coherent electron Cooling (CeC) Proof of Principle (PoP) experiment is proposed to be installed in the Relativistic Heavy Ion Collider (RHIC) to demonstrate proton and ion beam cooling with this new technique that may increase the beam luminosity in certain cases, by as much as tenfold. Within the scope of this project, a 112 MHz, 2MeV Superconducting Radio Frequency (SRF) electron gun and a 704 MHz 20MeV 5-cell SRF cavity will be installed at IP2 in the RHIC ring. The superconducting RF electron gun will be cooled in a liquid helium bath at 4.4 K. The 704 MHz 5-cell SRF cavity will be cooled in a super-fluid helium bath at 2.0 K. This paper discusses the cryogenic systems designed for both cavities. For the 112 MHz cavity cryogenic system, a condenser/boiler heat exchanger is used to isolate the cavity helium bath from pressure pulses and microphonics noise sources. For the 704 MHz 5-cell SRF cavity, a heat exchanger is also used to isolate the SRF cavity helium bath from noise sources in the sub-atmospheric pumping system operating at room temperature. Detailed designs, thermal analyses and discussions for both systems will be presented in this paper.
Haegele, Daniel
2008-01-01T23:59:59.000Z
It is shown that the polynomial $\\lambda(t) = {\\rm Tr}[(A + tB)^p]$ has nonnegative coefficients when $p \\leq 7$ and A and B are any two complex positive semidefinite $n \\times n$ matrices with arbitrary $n$. This proofs a general nontrivial case of the Lieb-Seiringer formulation of the Bessis-Moussa-Villani conjecture which is a long standing problem in theoretical physics.
Proof-of-principle of a new geometry for sampling calorimetry using inorganic scintillator plates
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-01T23:59:59.000Z
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...
Real-Time Dynamic Brake Assessment Proof of Concept Final Report
Lascurain, Mary Beth [ORNL; Franzese, Oscar [ORNL; Capps, Gary J [ORNL
2011-11-01T23:59:59.000Z
This proof-of-concept research was performed to explore the feasibility of using real-world braking data from commercial motor vehicles to make a diagnosis of brake condition similar to that of the performance-based brake tester (PBBT). This was done by determining the relationship between pressure and brake force (P-BF), compensating for the gross vehicle weight (GVW). The nature of this P-BF relationship (e.g., low braking force for a given brake application pressure) may indicate brake system problems. In order to determine the relationship between brake force and brake application pressure, a few key parameters of duty cycle information were collected. Because braking events are often brief, spanning only a few seconds, a sample rate of 10 Hz was needed. The algorithm under development required brake application pressure and speed (from which deceleration was calculated). Accurate weight estimation was also needed to properly derive the braking force from the deceleration. In order to ensure that braking force was the predominant factor in deceleration for the segments of data used in analysis, the data was screened for grade as well. Also, the analysis needed to be based on pressures above the crack pressure. The crack pressure is the pressure below which the individual brakes are not applied due the nature of the mechanical system. This value, which may vary somewhat from one wheel end to another, is approximately 10 psi. Therefore, only pressures 15 psi and above were used in the analysis. The Department of Energy s Medium Truck Duty Cycle research has indicated that under the real-world circumstances of the test vehicle brake pressures of up to approximately 30 psi can be expected. Several different types of data were collected during the testing task of this project. Constant-pressure stopping tests were conducted at several combinations of brake application pressure (15, 20, 25, and 30 psi), load conditions (moderately and fully laden), and speeds (20 and 30 mph). Data was collected at 10 Hz. Standard and stepped-pressure performance-based brake tests with brake pressure transducers were performed for each loading condition. The stepped-pressure test included the constant-pressure intervals of brake application at 15, 20, 25, and 30 psi. The PBBT data files included 10 Hz streaming data collected during the testing of each axle. Two weeks of real-world duty cycle (driving and braking) data was also collected at 10 Hz. Initial analysis of the data revealed that the data collected in the field (i.e., day-to-day operations) provided the same information as that obtained from the controlled tests. Analysis of the data collected revealed a strong linear relationship between brake application pressure and deceleration for given GVWs. As anticipated, initial speed was not found to be a significant factor in the deceleration-pressure relationship, unlike GVW. The positive results obtained from this proof of concept test point to the need for further research to expand this concept. A second phase should include testing over a wider range of speeds and include medium brake application pressures in addition to the low pressures tested in this research. Testing on multiple vehicles would also be of value. This future phase should involve testing to determine how degradation of braking performance affects the pressure-deceleration relationship.
Direct liquefaction proof-of-concept program: Final topical report, Bench Run 03 (227-93)
Comolli, A.G.; Pradhan, V.R.; Lee, T.L.K.; Karolkiewicz, W.F.; Popper, G.
1996-12-01T23:59:59.000Z
This report presents the results of bench-scale work, Bench Run PB-03, conducted under the DOE Proof of Concept--Bench Option Program in direct coal liquefaction at Hydrocarbon Technologies, Inc. in Lawrenceville, New Jersey. The Bench Run PB-03 was the third of the nine runs planned in the POC Bench Option Contract between the US DOE and Hydrocarbon Technologies, Inc. The Bench Run PB-03 had multiple goals. These included the evaluation of the effects of dispersed slurry catalyst loadings and types on the performance of two-stage direct coal liquefaction, the effect of HTI`s new iron catalyst, modified with phosphorus, and the evaluation of the effect of recycle solvent hydrotreatment on the overall process performance. PB-03 employed a close-coupled (no interstage separator) configuration of hydroconversion reactors. Other features of PB-03 included the use of an in-line fixed bed hydrotreater for the net product. No significant effects on process performance was found by changing the loadings of iron and molybdenum in the ranges of 1,000--5,000 ppm for iron and 50--100 ppm for molybdenum. However, the modification of HTI`s iron-based gel catalyst with 100 ppm of phosphorous improved the process performance significantly. A newly tested Mo-Carbon dispersed catalyst was not found to be any better than Molyvan-A, which was used during all but one condition of PB-03. Hydrotreatment of part of the recycle solvent was found to have a positive influence on the overall performance.
Direct Proof of Security of Wegman-Carter Authentication with Partially Known Key
Aysajan Abidin; Jan-Ĺke Larsson
2013-03-01T23:59:59.000Z
Information-theoretically secure (ITS) authentication is needed in Quantum Key Distribution (QKD). In this paper, we study security of an ITS authentication scheme proposed by Wegman & Carter, in the case of partially known authentication key. This scheme uses a new authentication key in each authentication attempt, to select a hash function from an Almost Strongly Universal$_2$ hash function family. The partial knowledge of the attacker is measured as the trace distance between the authentication key distribution and the uniform distribution; this is the usual measure in QKD. We provide direct proofs of security of the scheme, when using partially known key, first in the information-theoretic setting and then in terms of witness indistinguishability as used in the Universal Composability (UC) framework. We find that if the authentication procedure has a failure probability $\\epsilon$ and the authentication key has an $\\epsilon'$ trace distance to the uniform, then under ITS, the adversary's success probability conditioned on an authentic message-tag pair is only bounded by $\\epsilon+|\\mT|\\epsilon'$, where $|\\mT|$ is the size of the set of tags. Furthermore, the trace distance between the authentication key distribution and the uniform increases to $|\\mT|\\epsilon'$ after having seen an authentic message-tag pair. Despite this, we are able to prove directly that the authenticated channel is indistinguishable from an (ideal) authentic channel (the desired functionality), except with probability less than $\\epsilon+\\epsilon'$. This proves that the scheme is ($\\epsilon+\\epsilon'$)-UC-secure, without using the composability theorem.
Probabilistic grammar induction from sentences and structured meanings
Kwiatkowski, Thomas Mieczyslaw
2012-06-25T23:59:59.000Z
The meanings of natural language sentences may be represented as compositional logical-forms. Each word or lexicalised multiword-element has an associated logicalform representing its meaning. Full sentential logical-forms ...
Experimental and numerical investigation of phonon mean free path distribution
Zeng, Lingping
2013-01-01T23:59:59.000Z
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, ...
Correlation analysis of mean global radiation values with mean brightness values for one year
Kolczynski, Edward Franklin
1971-01-01T23:59:59.000Z
quantities of global radiation, = kb. sin h i oi where i denotes the number of the month (1 to 12), Q. is the individual monthly quantity of global radiation, h . is the solar altitude relat- oi ed to noon of the middle day of the month, and k is the coei... which now exists in the data bank of this field. B. ~Db' t' The objective of the proposed research is to investigate a pos- sible relationship between global radiation, as measured from ground- based instruments, and mean brightness values...
Gunawardena, Arunika
energy. For example, in photosynthesis, plants take in energy from sunlight. This solar energy is storedOver time, energy has come to mean many things to us. In physical science, energy means the ability). Therefore, energy is the capacity to change matter. Everything we do involves energy. Everything
Xiaochuan Lu; Hitoshi Murayama
2015-05-11T23:59:59.000Z
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.
Ris-R-1545(EN) Emission reduction by means
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ř
Measuring Meaning on the World-Wide Web
Aerts, Diederik
2010-01-01T23:59:59.000Z
We introduce the notion of the 'meaning bound' of a word with respect to another word by making use of the World-Wide Web as a conceptual environment for meaning. The meaning of a word with respect to another word is established by multiplying the product of the number of webpages containing both words by the total number of webpages of the World-Wide Web, and dividing the result by the product of the number of webpages for each of the single words. We calculate the meaning bounds for several words and analyze different aspects of these by looking at specific examples.
Urban Form Energy Use and Emissions in China: Preliminary Findings and Model Proof of Concept
Aden, Nathaniel; Qin, Yining; Fridley, David
2010-12-15T23:59:59.000Z
Urbanization is reshaping China's economy, society, and energy system. Between 1990 and 2008 China added more than 300 million new urban residents, bringing the total urbanization rate to 46%. The ongoing population shift is spurring energy demand for new construction, as well as additional residential use with the replacement of rural biomass by urban commercial energy services. This project developed a modeling tool to quantify the full energy consequences of a particular form of urban residential development in order to identify energy- and carbon-efficient modes of neighborhood-level development and help mitigate resource and environmental implications of swelling cities. LBNL developed an integrated modeling tool that combines process-based lifecycle assessment with agent-based building operational energy use, personal transport, and consumption modeling. The lifecycle assessment approach was used to quantify energy and carbon emissions embodied in building materials production, construction, maintenance, and demolition. To provide more comprehensive analysis, LBNL developed an agent-based model as described below. The model was applied to LuJing, a residential development in Jinan, Shandong Province, to provide a case study and model proof of concept. This study produced results data that are unique by virtue of their scale, scope and type. Whereas most existing literature focuses on building-, city-, or national-level analysis, this study covers multi-building neighborhood-scale development. Likewise, while most existing studies focus exclusively on building operational energy use, this study also includes embodied energy related to personal consumption and buildings. Within the boundaries of this analysis, food is the single largest category of the building energy footprint, accounting for 23% of the total. On a policy level, the LCA approach can be useful for quantifying the energy and environmental benefits of longer average building lifespans. In addition to prospective analysis for standards and certification, urban form modeling can also be useful in calculating or verifying ex post facto, bottom-up carbon emissions inventories. Emissions inventories provide a benchmark for evaluating future outcomes and scenarios as well as an empirical basis for valuing low-carbon technologies. By highlighting the embodied energy and emissions of building materials, the LCA approach can also be used to identify the most intensive aspects of industrial production and the supply chain. The agent based modeling aspect of the model can be useful for understanding how policy incentives can impact individual behavior and the aggregate effects thereof. The most useful elaboration of the urban form assessment model would be to further generalize it for comparative analysis. Scenario analysis could be used for benchmarking and identification of policy priorities. If the model is to be used for inventories, it is important to disaggregate the energy use data for more accurate emissions modeling. Depending on the policy integration of the model, it may be useful to incorporate occupancy data for per-capita results. On the question of density and efficiency, it may also be useful to integrate a more explicit spatial scaling mechanism for modeling neighborhood and city-level energy use and emissions, i.e. to account for scaling effects in public infrastructure and transportation.
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-01T23:59:59.000Z
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...
Mean Flow Acoustic Correlations for Dual-Stream Asymmetric Jets
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
Higher genus arithmetic-geometric means Frazer Jarvis
Jarvis, Frazer
, then there is no obvious canonical choice of the square root in the geometric mean. Nonetheless, Gauss was able to duplication formulae for genus 2 theta functions, enabling us to give a generalisation of Gauss's work In this paper, we recall the notion of arithmetic-geometric mean (AGM), due to Gauss, and suggest a definition
A Study of the Mean Field Approach to Knapsack Problems
Lunds Universitet,
with linear programming and mean field components is showed to further improve the performance and summations with more than 7 bits (including one sign bit). ffl Linear programming (LP) based on the simplex to multiple knapsacks and generalized assignment problems with Potts mean field equations governing
Ris0-R-828(EN) Practical Means for
Ris0-R-828(EN) Practical Means for Decontamination 9 Years after a Nuclear Accident Editors J. Roed Means for Decontamination 9 Years after a Nuclear Accident Editors J. Roed, K.G. Andersson, H. Prip Ris0) of the individual examined tech- niques for decontamination or dose reduction in various different types
Beyond the mean field in the particle-vibration coupling scheme
M. Baldo; P. F. Bortignon; G. Colo'; D. Rizzo; L. Sciacchitano
2015-07-09T23:59:59.000Z
The Energy Density Functional theory is one of the most used methods developed in nuclear structure. It is based on the assumption that the energy of the ground state is a functional only of the density profile. The method is extremely successful within the effective force approach, noticeably the Skyrme or Gogny forces, in reproducing the nuclear binding energies and other bulk properties along the whole mass table. Although the Density Functional is in this case represented formally as the Hartree-Fock mean field of an effective force, the corresponding single-particle states in general do not reproduce the phenomenology particularly well. To overcome this difficulty, a strategy has been developed where the effective force is adjusted to reproduce directly the single particle energies, trying to keep the ground state energy sufficiently well reproduced. An alternative route, that has been developed along several years, for solving this problem is to introduce the mean field fluctuations, as represented by the collective vibrations of the nuclear system, and their influence on the single particle dynamics and structure. This is the basis of the particle-vibration coupling model. In this paper we present a formal theory of the particle-vibration coupling model based on the Green' s function method. The theory extends to realistic effective forces the macroscopic particle-vibration coupling models and the (microscopic) Nuclear Field Theory. It is formalized within the functional derivative approach to many-body theory. An expansion in diagrams is devised for the single particle self-energy and the phonon propagator. Critical aspects of the particle-vibration coupling model are analysed in general. Applications at the lowest order of the expansion are presented and discussed.
Experimental Proof of the Existence of a Bifurcation Process During the undrained test in Clay
P. Evesque; M. Hattab
2005-07-05T23:59:59.000Z
Recent papers, based on a new simple incremental modelling which assumes an "isotropic" response, predicts that the trajectory followed during an undrained compression test exhibits a bifurcation process when the stress field arrives at q=M'p', where q stands for the deviatoric stress, p' for the mean stress and M' is a coefficient describing friction. This indicates a discontinuous change of solution when arriving at q=M'p'. This paper looks at experimental data on dense sample obtained at p'=constant, and it shows that the trajectory (p'=constant, v=constant) does continue to exist at and beyond the q=M'p' plane. So, this demonstrates the validity of the analysis which uses the bifurcation theory and this strengthens the proposed modelling. Indeed, this demonstrates the reality of the bifurcation process during undrained compression. Pacs # : 5.40 ; 45.70 ; 62.20 ; 83.70.Fn
Divergence of Lubkin's series for a quantum subsystem's mean entropy
Jacob P Dyer
2014-09-17T23:59:59.000Z
In 1978, Lubkin proposed a method of approximating the mean von Neumann entropy for a subsystem of a finite-dimensional quantum system in an overall pure state by expanding the entropy as a series in terms of the mean trace of powers of the system's reduced density operator, but the convergence of this series was never established. We find an exact closed form expression for the mean traces, which enables us to prove that the series converges if and only if the system's dimension $m\\le2$, in spite of the fact that Lubkin's proposed approximation for the entropy is now known to be correct.
Tomislav Ivezi?
2008-09-30T23:59:59.000Z
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.
Generating Tensor Representation from Concept Tree in Meaning Based Search
Panigrahy, Jagannath
2011-08-08T23:59:59.000Z
to a representation that can be stored and compared efficiently on computers. Meaning of objects can be adequately captured in terms of a hierarchical composition structure called concept tree. This thesis describes the design and development...
Eddy-mean flow interactions in western boundary current jets
Waterman, Stephanie N
2009-01-01T23:59:59.000Z
This thesis examines the nature of eddy-mean flow interactions in western boundary current jets and recirculation gyre dynamics from both theoretical and observational perspectives. It includes theoretical studies of ...
Mean Field Variational Approximations in Continuous-Time Markov Processes
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
STUDY OF WATER CONSERVATION AS A MEANS TO
#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
Dynamics of polymers: A mean-field theory
Fredrickson, Glenn H. [Department of Chemical Engineering, University of California, Santa Barbara, California 93106 (United States) [Department of Chemical Engineering, University of California, Santa Barbara, California 93106 (United States); Materials Research Laboratory, University of California, Santa Barbara, California 93106 (United States); Department of Materials, University of California, Santa Barbara, California 93106 (United States); Orland, Henri [Institut de Physique Théorique, CE-Saclay, CEA, F-91191 Gif-sur-Yvette Cedex (France)] [Institut de Physique Théorique, CE-Saclay, CEA, F-91191 Gif-sur-Yvette Cedex (France)
2014-02-28T23:59:59.000Z
We derive a general mean-field theory of inhomogeneous polymer dynamics; a theory whose form has been speculated and widely applied, but not heretofore derived. Our approach involves a functional integral representation of a Martin-Siggia-Rose (MSR) type description of the exact many-chain dynamics. A saddle point approximation to the generating functional, involving conditions where the MSR action is stationary with respect to a collective density field ? and a conjugate MSR response field ?, produces the desired dynamical mean-field theory. Besides clarifying the proper structure of mean-field theory out of equilibrium, our results have implications for numerical studies of polymer dynamics involving hybrid particle-field simulation techniques such as the single-chain in mean-field method.
Optimization Online - Efficient Cardinality/Mean-Variance Portfolios
R. P. Brito
2012-03-03T23:59:59.000Z
Mar 3, 2012 ... Efficient Cardinality/Mean-Variance Portfolios. R. P. Brito(rpedro.brito ***at*** gmail.com) L. N. Vicente(lnv ***at*** mat.uc.pt). Abstract: A ...
Generating Tensor Representation from Concept Tree in Meaning Based Search
Panigrahy, Jagannath
2011-08-08T23:59:59.000Z
to a representation that can be stored and compared efficiently on computers. Meaning of objects can be adequately captured in terms of a hierarchical composition structure called concept tree. This thesis describes the design and development...
Introducing Performance Engineering by means of Tools and Practical Exercises
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
Imminence and immanence : embodied meaning in architectural experience
Evans, J. Chris (Jon Chris)
1992-01-01T23:59:59.000Z
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 ...
Polymer dynamics in random flow with mean shear K. Turitsyn
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
Wave-mean flow interactions: from nanometre to megametre scales
Xie, Jinhan
2015-07-01T23:59:59.000Z
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 ...
Modahl, R.J.; Hayes, F.C. [Trane Co., La Crosse, WI (United States). Applied Unitary/Refrigeration Systems Div.
1992-03-01T23:59:59.000Z
The overall objectives of this project are to evaluate, develop, and proof-test advanced absorption refrigeration cycles that are applicable to residential and commercial heat pumps for space conditioning. The heat pump system is to be direct-fired with natural gas and is to use absorption working fluids whose properties are known. Target coefficients of performance (COPs) are 1.6 at 47{degrees}F and 1.2 at 17{degrees} in the heating mode, and 0.7 at 95{degree}F in the cooling mode, including the effect of flue losses. The project is divided into three phases. Phase I entailed the analytical evaluation of advanced cycles and included the selection of preferred concepts for further development. Phase II involves the development and testing of critical components and of a complete laboratory breadboard version of the selected system. Phase III calls for the development of a prototype unit and is contingent on the successful completion of Phase II. This report covers Phase I work on the project. In Phase 1, 24 advanced absorption cycle/fluid combinations were evaluated, and computer models were developed to predict system performance. COP, theoretical pump power, and internal heat exchange were calculated for each system, and these calculations were used as indicators of operating and installed costs in order to rank the relative promise of each system. The highest ranking systems involve the cycle concept of absorber/generator heat exchange, generator heat exchanger/absorber heat exchange, regeneration, and resorption/desorption, in combination with the NH{sub 3}/H{sub 2}O/LiBr ternary absorption fluid mixture or with the NH{sub 3}/H{sub 2}O binary solution. Based upon these conclusions, the recommendation was made to proceed to Phase II, the laboratory breadboard proof-of- concept.
ANDERSON-TEIXEIRA FINAL PROOF.DOCX (DO NOT DELETE) 3/7/2011 9:29 AM DO BIOFUELS LIFE CYCLE
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
McGaughey, Alan
FIBREEZE: LEAK-PROOF HOLLOW FIBERS for ARTIFICIAL LUNGS Alexis Zambino, Corina Ramirez, Maddie Technology Center ARTIFICIAL LUNG BASICS CLINICAL NEED & PROBLEM NOVELTY & INNOVATION DESCRIPTION OF MARKET and characterization ˇ Mr. Dave Skoog for his immense support, time, help, and patience ˇLung disease is one
HAL: Towards Operator-Proof Systems Management F´abio 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
Allard, William K.
using only a compass and unmarked straightedge. (See Project 1, Chapter I, p. 35, and the references given there.) 2. Report on the proof that it is impossible to square a circle using only a compass on the theorem of Mohr and Mascheroni that all Euclidean constructions of points can be made with a compass alone
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
: 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
Galley Proof 26/01/2007; 10:02 File: sav392.tex; BOKCTP/ljl p. 1 Shock and Vibration 14 (2007) 121 1
Grujicic, Mica
2007-01-01T23:59:59.000Z
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
Mills, Kevin
Appendix B. Automobile Cruise Control and Monitoring System Case Study This appendix presents an application of the proof-of-concept prototype, CODA, described in Chapter 10, to an automobile cruise control inferences about the terminators. Second, some of the elements in the diagram are named 1 The automobile
Mean ZZ Ceti pulsation period gauges stellar temperature
Anjum S. Mukadam; M. H. Montgomery; A. Kim; D. E. Winget; S. O. Kepler; J. C. Clemens
2006-12-15T23:59:59.000Z
The mean pulsation period of ZZ Ceti stars increases with decreasing effective temperature as we traverse from the blue to the red edge of the instability strip. This well-established correlation between the mean period and spectroscopic temperature suggests that the mean period could be utilized as a tool to measure the relative temperature of the star independent of spectroscopy. Measuring the pulsation periods of a ZZ Ceti star is a simple, model-independent, and straight forward process as opposed to a spectroscopic determination of its temperature. Internal uncertainties in determining the spectroscopic temperature of a ZZ Ceti star are at least 200K, 15% of the 1350K width of the instability strip. The uncertainties in determining the mean period arise mostly from amplitude modulation in the pulsation spectrum and are smaller than 100s for 91% of the ZZ Ceti stars, temperature indicator rather than conventional spectroscopy. Presently we only claim that the relative temperatures of ZZ Ceti stars derived by using the mean pulsation period are certainly as good as and perhaps about 15% better than spectroscopy.
Nuclear Symmetry Energy in Relativistic Mean Field Theory
Shufang Ban; Jie Meng; Wojciech Satula; Ramon A. Wyss
2005-09-12T23:59:59.000Z
The Physical origin of the nuclear symmetry energy is studied within the relativistic mean field (RMF) theory. Based on the nuclear binding energies calculated with and without mean isovector potential for several isobaric chains we conform earlier Skyrme-Hartree-Fock result that the nuclear symmetry energy strength depends on the mean level spacing $\\epsilon (A)$ and an effective mean isovector potential strength $\\kappa (A)$. A detaied analysis of isospin dependence of the two components contributing to the nuclear symmetry energy reveals a quadratic dependence due to the mean-isoscalar potential, $\\sim\\epsilon T^2$, and, completely unexpectedly, the presence of a strong linear component $\\sim\\kappa T(T+1+\\epsilon/\\kappa)$ in the isovector potential. The latter generates a nuclear symmetry energy in RMF theory that is proportional to $E_{sym}\\sim T(T+1)$ at variance to the non-relativistic calculation. The origin of the linear term in RMF theory needs to be further explored.
Support means for a particle beam position monitor
VanZwienen, William H. (Bayshore, NY)
1991-01-01T23:59:59.000Z
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.
Mean field extrapolations of microscopic nuclear equations of state
Rrapaj, Ermal; Holt, Jeremy W
2015-01-01T23:59:59.000Z
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 ...
Surface Mean-Square Amplitudes of Vibration for Nacl
CHEN, TS; Alldredg, GP; Allen, Roland E.; WETTE, FWD.
1972-01-01T23:59:59.000Z
" 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...
Double-$?$ hypernuclei in the relativistic mean-field theory
H. Shen; F. Yang; H. Toki
2006-02-14T23:59:59.000Z
We study the properties of double-$\\Lambda$ hypernuclei in the relativistic mean-field theory, which has been successfully used for the description of stable and unstable nuclei. With the meson-hyperon couplings determined by the experimental binding energies of single-$\\Lambda$ hypernuclei, we present a self-consistent calculation of double-$\\Lambda$ hypernuclei in the relativistic mean-field theory, and discuss the influence of hyperons on the nuclear core. The contribution of two mesons with dominant strange quark components (scalar $\\sigma^*$ and vector $\\phi$) to the $\\Lambda\\Lambda$ binding energy of double-$\\Lambda$ hypernuclei is examined.
Fluorescent lamp unit with magnetic field generating means
Grossman, M.W.; George, W.A.
1989-08-08T23:59:59.000Z
A fluorescent lamp unit having a magnetic field generating means for improving the performance of the fluorescent lamp is disclosed. In a preferred embodiment the fluorescent lamp comprises four longitudinally extending leg portions disposed in substantially quadrangular columnar array and joined by three generally U-shaped portions disposed in different planes. In another embodiment of the invention the magnetic field generating means comprises a plurality of permanent magnets secured together to form a single columnar structure disposed within a centrally located region defined by the shape of lamp envelope. 4 figs.
Distributed mean curvature on a discrete manifold for Regge calculus
Rory Conboye; Warner A. Miller; Shannon Ray
2015-02-26T23:59:59.000Z
The integrated mean curvature of a simplicial manifold is well understood in both Regge Calculus and Discrete Differential Geometry. However, a well motivated pointwise definition of curvature requires a careful choice of volume over which to uniformly distribute the local integrated curvature. We show that hybrid cells formed using both the simplicial lattice and its circumcentric dual emerge as a remarkably natural structure for the distribution of this local integrated curvature. These hybrid cells form a complete tessellation of the simplicial manifold, contain a geometric orthonormal basis, and are also shown to give a pointwise mean curvature with a natural interpretation as a fractional rate of change of the normal vector.
An Energy Self-Sufficient Sawmill
Juchymenko, A.
1982-01-01T23:59:59.000Z
This paper investigates the feasibility of converting sawmill wood by-products (biomass) into useful and marketable energy forms such as low pressure steam and electricity. It is based on the principle of energy cascading, utilizing a proven...
An Energy Self-Sufficient Sawmill
Juchymenko, A.
1982-01-01T23:59:59.000Z
This paper investigates the feasibility of converting sawmill wood by-products (biomass) into useful and marketable energy forms such as low pressure steam and electricity. It is based on the principle of energy cascading, utilizing a proven...
Optimization Online - Sufficient and Necessary Conditions for ...
J. William Helton
2007-10-15T23:59:59.000Z
Oct 15, 2007 ... This provides a technique for building global SDP representations from the local ones. (ii) For the SDP representability of a compact convex ...
Collective periodicity in mean-field models of cooperative behavior
Francesca Collet; Paolo Dai Pra; Marco Formentin
2015-02-06T23:59:59.000Z
We propose a way to break symmetry in stochastic dynamics by introducing a dissipation term. We show in a specific mean-field model, that if the reversible model undergoes a phase transition of ferromagnetic type, then its dissipative counterpart exhibits periodic orbits in the thermodynamic limit.
Optimizing Thermoelectric Power Factor by Means of a Potential Barrier
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
Connotation Lexicon: A Dash of Sentiment Beneath the Surface Meaning
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
AUTOMATIC LEXICON ENHANCEMENT BY MEANS OF CORPUS TAGGING
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
Parametrization of light clusters within relativistic mean field models
Ferreira, Marcio; Providencia, Constanca [Centro de Fisica Computacional, Department of Physics, University of Coimbra, P-3004-516 Coimbra (Portugal)
2013-06-10T23:59:59.000Z
Light clusters are included in the equation of state of nuclearmatter within the relativistic mean field theory. The effect of the cluster-meson coupling constants on the dissolution density is discussed. Theoretical and experimental constraints are used to fix the cluster-meson couplings at T Almost-Equal-To 5 MeV.
A Solvable Mean Field Model of a Gaussian Spin Glass
Adriano Barra; Giuseppe Genovese; Francesco Guerra; Daniele Tantari
2012-05-17T23:59:59.000Z
We introduce a mean field spin glass model with gaussian distribuited spins and pairwise interactions, whose couplings are drawn randomly from a normal gaussian distribution too. We completely control the main thermodynamical properties of the model (free energy, phase diagram, fluctuations theory) in the whole phase space. In particular we prove that in thermodynamic limit the free energy equals its replica symmetric expression.
Fluorescent lamp with static magnetic field generating means
Moskowitz, Philip E. (Peabody, MA); Maya, Jakob (Brookline, MA)
1987-01-01T23:59:59.000Z
A fluorescent lamp wherein magnetic field generating means (e.g., permanent magnets) are utilized to generate a static magnetic field across the respective electrode structures of the lamp such that maximum field strength is located at the electrode's filament. An increase in efficacy during operation has been observed.
Mean stream coordinates structure of the Subantarctic Front: Temperature, salinity,
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
Mean Stream-Coordinate Structure of the Kuroshio Extension
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
Distributed Precoding for MISO Interference Channels with Channel Mean Feedback
Ulukus, Sennur
Distributed Precoding for MISO Interference Channels with Channel Mean Feedback: Algorithms precoding algorithms for multiple-input single-output (MISO) interference channels, where each trans- mitter- antenna wireless interference channels [5]-[7]. For multiple- input single-output (MISO) interference
Diffusion theory The mean and variance function for discrete processes
Tufto, Jarle
and = var(St). It is well known that this approximation is remarkably good, even for moderate values of t that are continuous in the state variable as well as in time. The properties of such processes will be completely, which means that the form of the distribution of the St has practically no effect on the process Xt
Stereo Integration, Mean Field Theory and Psychophysics Alan L. Yuille
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
HYBRID DECADE-MEAN GLOBAL SEA LEVEL WITH MESOSCALE RESOLUTION
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
WHAT DO THREAT LEVELS AND RESPONSE LEVELS MEAN? THREAT LEVELS
Edinburgh, University of
WHAT DO THREAT LEVELS AND RESPONSE LEVELS MEAN? THREAT LEVELS: The UK Threat Level is decided by the Government's Joint Terrorism Analysis Centre (JTAC). It is the system to assess the threat to the UK from Threat Levels: Low - an attack is unlikely Moderate - an attack is possible, but not likely Substantial
Bohmian Mechanics and the Meaning of the Wave Function
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
Soergel, The architecture of meaning 1 Dagobert Soergel
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
Scalable K-Means by Ranked Retrieval Andrei Broder
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
Thermodynamics and Universality for Mean Field Quantum Spin Glasses
Nick Crawford
2006-10-13T23:59:59.000Z
We study aspects of the thermodynamics of quantum versions of spin glasses. By means of the Lie-Trotter formula for exponential sums of operators, we adapt methods used to analyze classical spin glass models to answer analogous questions about quantum models.
Know what a hurricane WATCH and WARNING means
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
Fresh Water Increased temperature means higher proportion of water
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
Proton root-mean-square radii and electron scattering
Ingo Sick; Dirk Trautmann
2014-07-07T23:59:59.000Z
The standard procedure of extracting the proton root-mean-square radii from models for the Sachs form factors $G_e (q)$ and $G_m (q)$ fitted to elastic electron-proton scattering data %has a serious flaw. is more uncertain than traditionally assumed. The extrapolation of $G(q)$, from the region $q_{min} reliable $rms$-radii be determined.
Beliefs about obesity What does obesity mean to you?
Doran, Simon J.
Beliefs about obesity What does obesity mean to you? Obesity has been in the news a lot recently. We are interested in your views about obesity. We would therefore be grateful if you could answer extent do you think that obesity is caused by the following? (Please circle) Not at all Totally Genetics
Svirin, M. I., E-mail: svirin@ippe.ru [Institute for Physics and Power Engineering (Russian Federation)
2012-12-15T23:59:59.000Z
The cross section for the neutron-induced fission of {sup 232}Th target nuclei, {sigma}{sub f} (E{sub n}), was described within statistical theory. The spectra of the mean multiplicity, v-bar (E{sub n}), and the mean energy, E-bar(E{sub n}), of secondary neutrons accompanying {sup 232}Th fission induced by neutrons of energy extending up to E{sub n} = 20 MeV were analyzed on the basis of the chance structure of the cross section.
Inferring statistics of planet populations by means of automated microlensing searches
M. Dominik; U. G. Jorgensen; K. Horne; Y. Tsapras; R. A. Street; L. Wyrzykowski; F. V. Hessman; M. Hundertmark; S. Rahvar; J. Wambsganss; G. Scarpetta; V. Bozza; S. Calchi Novati; L. Mancini; G. Masi; J. Teuber; T. C. Hinse; I. A. Steele; M. J. Burgdorf; S. Kane
2008-07-31T23:59:59.000Z
(abridged) The study of other worlds is key to understanding our own, and not only provides clues to the origin of our civilization, but also looks into its future. Rather than in identifying nearby systems and learning about their individual properties, the main value of the technique of gravitational microlensing is in obtaining the statistics of planetary populations within the Milky Way and beyond. Only the complementarity of different techniques currently employed promises to yield a complete picture of planet formation that has sufficient predictive power to let us understand how habitable worlds like ours evolve, and how abundant such systems are in the Universe. A cooperative three-step strategy of survey, follow-up, and anomaly monitoring of microlensing targets, realized by means of an automated expert system and a network of ground-based telescopes is ready right now to be used to obtain a first census of cool planets with masses reaching even below that of Earth orbiting K and M dwarfs in two distinct stellar populations, namely the Galactic bulge and disk. The hunt for extra-solar planets acts as a principal science driver for time-domain astronomy with robotic-telescope networks adopting fully-automated strategies. Several initiatives, both into facilities as well as into advanced software and strategies, are supposed to see the capabilities of gravitational microlensing programmes step-wise increasing over the next 10 years. New opportunities will show up with high-precision astrometry becoming available and studying the abundance of planets around stars in neighbouring galaxies becoming possible. Finally, we should not miss out on sharing the vision with the general public, and make its realization to profit not only the scientists but all the wider society.
Mean-field theory for scale-free random networks
Albert-Laszlo Barabasi; Reka Albert; Hawoong Jeong
1999-07-05T23:59:59.000Z
Random networks with complex topology are common in Nature, describing systems as diverse as the world wide web or social and business networks. Recently, it has been demonstrated that most large networks for which topological information is available display scale-free features. Here we study the scaling properties of the recently introduced scale-free model, that can account for the observed power-law distribution of the connectivities. We develop a mean-field method to predict the growth dynamics of the individual vertices, and use this to calculate analytically the connectivity distribution and the scaling exponents. The mean-field method can be used to address the properties of two variants of the scale-free model, that do not display power-law scaling.
Means and method of detection in chemical separation procedures
Yeung, E.S.; Koutny, L.B.; Hogan, B.L.; Cheung, C.K.; Yinfa Ma.
1993-03-09T23:59:59.000Z
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.
Effects and Meaning: Metaphors as Implicit Speech Acts
Seals, Anastasia Margaret
2014-08-31T23:59:59.000Z
________________________________ 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...
Energy Dependent Isospin Asymmetry in Mean-Field Dynamics
T. Gaitanos; M. Kaskulov
2012-01-27T23:59:59.000Z
The Lagrangian density of relativistic mean-field (RMF) theory with non-linear derivative (NLD) interactions is applied to isospin asymmetric nuclear matter. We study the symmetry energy and the density and energy dependences of nucleon selfenergies. At high baryon densities a soft symmetry energy is obtained. The energy dependence of the isovector selfenergy suppresses the Lane-type optical potential with increasing energy and predicts a $\\rho$-meson induced mass splitting between protons and neutrons in isospin asymmetric matter.
Bayesian Prediction of Mean Indoor Radon Concentrations for Minnesota Counties
Price, P.N.; Nero, A.V.; Gelman, A.
1995-08-01T23:59:59.000Z
Past efforts to identify areas having higher than average indoor radon concentrations by examining the statistical relationship between local mean concentrations and physical parameters such as the soil radium concentration have been hampered by the noise in local means caused by the small number of homes monitored in some or most areas, In the present paper, indoor radon data from a survey in Minnesota are analyzed in such a way as to minimize the effect of finite sample size within counties, in order to determine the true county-to-county variation of indoor radon concentrations in the state and the extent to which this variation is explained by the variation in surficial radium concentration among counties, The analysis uses hierarchical modeling, in which some parameters of interest (such as county geometric mean (GM) radon concentrations) are assumed to be drawn from a single population, for which the distributional parameters are estimated from the data. Extensions of this technique, known as a random effects regression and mixed effects regression, are used to determine the relationship between predictive variables and indoor radon concentrations; the results are used to refine the predictions of each county's radon levels, resulting in a great decrease in uncertainty. The true county-to-county variation of GM radon levels is found to be substantially less than the county-to-county variation of the observed GMs, much of which is due to the small sample size in each county. The variation in the logarithm of surficial radium content is shown to explain approximately 80% of the variation of the logarithm of GM radon concentration among counties. The influences of housing and measurement factors, such as whether the monitored home has a basement and whether the measurement was made in a basement, are also discussed. This approach offers a self-consistent statistical method for predicting the mean values of indoor radon concentrations or other geographically distributed environmental parameters.
Excitation of fast waves near the mean gyrofrequency
Platt, R.C.; McWilliams, R.
1986-11-03T23:59:59.000Z
Fast waves with frequencies near the mean gyrofrequency (..omega..--(..omega../sub c//sub i/..omega../sub ce/)/sup 1/2/) were excited in a toroidal, magnetized plasma. Experimental measurements were made of wavelengths and phase velocities perpendicular to the toroidal magnetic field, and wave energy trajectories in the plasma, varying wave frequency, plasma density, and magnetic field values. Experimental results agree with predictions from the cold-plasma dispersion relation.
Filtering Additive Measurement Noise with Maximum Entropy in the Mean
Henryk Gzyl; Enrique ter Horst
2007-09-04T23:59:59.000Z
The purpose of this note is to show how the method of maximum entropy in the mean (MEM) may be used to improve parametric estimation when the measurements are corrupted by large level of noise. The method is developed in the context on a concrete example: that of estimation of the parameter in an exponential distribution. We compare the performance of our method with the bayesian and maximum likelihood approaches.
Some measure-theoretic properties of generalized means
Irina Navrotskaya; Patrick J. Rabier
2015-01-12T23:59:59.000Z
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).
Mean field approximation for noisy delay coupled excitable neurons
Nikola Buric; Dragana Rankovic; Kristina Todorovic; Nebojsa Vasovic
2010-03-26T23:59:59.000Z
Mean field approximation of a large collection of FitzHugh-Nagumo excitable neurons with noise and all-to-all coupling with explicit time-delays, modelled by $N\\gg 1$ stochastic delay-differential equations is derived. The resulting approximation contains only two deterministic delay-differential equations but provides excellent predictions concerning the stability and bifurcations of the averaged global variables of the exact large system.
Numerical computation of constant mean curvature surfaces using finite elements
Jan Metzger
2004-08-18T23:59:59.000Z
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.
Garvan, Frank
1965-01-01T23:59:59.000Z
tAndl lAndll IA+61 tA+Hl lA+O'Bl TA+SD] tAtkI TC+SI References : G. Ei. Andrews, 'Al simple proof Soc. 18 (2) (1988). I G. Ei. Andrews anfl D. Hickerson, 'Rama,nuJan's 'lost' notebook VII: ther sixth883), 158-170t i [Gor] B. Gordon, 'sorrie identities ln combtnratorial analysis', Quart. J. Math. o
Pickett, Chris A [ORNL] [ORNL; Younkin, James R [ORNL] [ORNL; Kovacic, Donald N [ORNL] [ORNL; Dixon, E. T. [Los Alamos National Laboratory (LANL)] [Los Alamos National Laboratory (LANL); Martinez, B. [Los Alamos National Laboratory (LANL)] [Los Alamos National Laboratory (LANL)
2007-01-01T23:59:59.000Z
This effort describes how radio-frequency (RF) technology can be integrated into a uranium enrichment facility's nuclear materials accounting and control program to enhance uranium hexafluoride (UF6) cylinder tracking and thus provide benefits to both domestic and international safeguards. Approved industry-standard cylinders are used to handle and store UF6 feed, product, tails, and samples at uranium enrichment plants. In the international arena, the International Atomic Energy Agency (IAEA) relies on time-consuming manual cylinder inventory and tracking techniques to verify operator declarations and to detect potential diversion of UF6. Development of a reliable, automated, and tamper-resistant process for tracking and monitoring UF6 cylinders would greatly reduce the risk of false or misreported cylinder tare weights, diversion of nuclear material, concealment of excess production, utilization of undeclared cylinders, and misrepresentation of the cylinders contents. This paper will describe a "proof-of concept" system that was designed show the feasibility of using RF based technologies to track individual UF6 cylinders throughout their entire life cycle, and thus ensure both increased domestic accountability of materials and a more effective and efficient method for application of IAEA international safeguards at the site level. The proposed system incorporates RF-based identification devices, which provide a mechanism for a reliable, automated, and tamper-resistant tracking network. We explore how securely attached RF tags can be integrated with other safeguards technologies to better detect diversion of cylinders. The tracking system could also provide a foundation for integration of other types of safeguards that would further enhance detection of undeclared activities.
Thermal entanglement of spins in mean-field clusters
Asoudeh, M.; Karimipour, V. [Department of Physics, Sharif University of Technology, P.O. Box 11365-9161, Tehran (Iran, Islamic Republic of)
2006-06-15T23:59:59.000Z
We determine thermal entanglement in mean-field clusters of N spin one-half particles interacting via the anisotropic Heisenberg interaction, with and without external magnetic field. For the xxx cluster in the absence of magnetic field we prove that only the N=2 ferromagnetic cluster shows entanglement. An external magnetic field B can only entangle xxx antiferromagnetic clusters in certain regions of the B-T plane. On the other hand, the xxz clusters of size N>2 are entangled only when the interaction is ferromagnetic. Detailed dependence of the entanglement on various parameters is investigated in each case.
Relativistic mean field calculations in neutron-rich nuclei
Gangopadhyay, G.; Bhattacharya, Madhubrata [Department of Physics, University of Calcutta, 92 Acharya Prafulla Chandra Road, Kolkata 700 009 (India); Roy, Subinit [Saha Institute of Nuclear Physics, Block AF, Sector 1, Kolkata- 700 064 (India)
2014-08-14T23:59:59.000Z
Relativistic mean field calculations have been employed to study neutron rich nuclei. The Lagrange's equations have been solved in the co-ordinate space. The effect of the continuum has been effectively taken into account through the method of resonant continuum. It is found that BCS approximation performs as well as a more involved Relativistic Continuum Hartree Bogoliubov approach. Calculations reveal the possibility of modification of magic numbers in neutron rich nuclei. Calculation for low energy proton scattering cross sections shows that the present approach reproduces the density in very light neutron rich nuclei.
Be a Lean, Mean, Green Eating Machine | Department of Energy
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on DeliciousPlasmaP a g e October 20, 2014 Attn: David Meyer Office ofReport:RA-10-065-03BC TIPSBasisBe a Lean, Mean,
Before the House Ways and Means Committee | Department of Energy
Broader source: Energy.gov (indexed) [DOE]
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level:5 TablesExports to3,1,50022,3,,0,,6,1,Separation 23 362Transmission: Comments from StateInvestigations and Oversight |Before the House Ways and Means
A mechanical approach to mean field spin models
Giuseppe Genovese; Adriano Barra
2009-05-07T23:59:59.000Z
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.
Mean field theory of assortative networks of phase oscillators
Juan G. Restrepo; Edward Ott
2014-09-05T23:59:59.000Z
Employing the Kuramoto model as an illustrative example, we show how the use of the mean field approximation can be applied to large networks of phase oscillators with assortativity. We then use the ansatz of Ott and Antonsen [Chaos 19, 037113 (2008)] to reduce the mean field kinetic equations to a system of ordinary differential equations. The resulting formulation is illustrated by application to a network Kuramoto problem with degree assortativity and correlation between the node degrees and the natural oscillation frequencies. Good agreement is found between the solutions of the reduced set of ordinary differential equations obtained from our theory and full simulations of the system. These results highlight the ability of our method to capture all the phase transitions (bifurcations) and system attractors. One interesting result is that degree assortativity can induce transitions from a steady macroscopic state to a temporally oscillating macroscopic state through both (presumed) Hopf and SNIPER (saddle-node, infinite period) bifurcations. Possible use of these techniques to a broad class of phase oscillator network problems is discussed.
Beyond Mean-Field Calculations for Odd-A Nuclei
B. Bally; B. Avez; M. Bender; P. -H. Heenen
2014-10-15T23:59:59.000Z
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.
Unknown
2011-08-17T23:59:59.000Z
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...
Uncorrected Proof RESEARCH COMMUNICATIONS
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
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
Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level:5 TablesExports(Journal Article) |govInstrumentsmfrirtA Journey InsideMicroBooNE LArTPC SarahArea:Securitypeople | National Nuclear Security
Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level:5 TablesExports(Journal Article) |govInstrumentsmfrirtA Journey InsideMicroBooNE LArTPC SarahArea:Securitypeople | National Nuclear Security
Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level:5 TablesExports(Journal Article) |govInstrumentsmfrirtA Journey InsideMicroBooNE LArTPC SarahArea:Securitypeople | National Nuclear Security
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
Virtual Cambridge - first proof
Macfarlane, Alan
2015-06-30T23:59:59.000Z
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... the reason why there has hitherto not been any other attempt to write a work like this. It is very ancient, over eight hundred years of continuous history, constantly changing, yet retaining much of the older world buried under layers of added features...
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
Review: Climate Change: What It Means for Us, Our Children, and Our Grandchildren
Pazhoohi, Farid
2015-01-01T23:59:59.000Z
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
Meaning in architecture : an investigation of the indigenous environment in Bangladesh
Haq, Saif-ul
1992-01-01T23:59:59.000Z
A meaningful environment forms a necessary and essential part of a meaningful existence. Meaning is an interpretive problem, and meaning in architecture is difficult to grasp. Theoretical insights into meaning have to be ...
Two stochastic mean-field polycrystal plasticity methods
Tonks, Michael [Los Alamos National Laboratory
2008-01-01T23:59:59.000Z
In this work, we develop two mean-field polycrystal plasticity models in which the L{sup c} are approximated stochastically. Through comprehensive CPFEM analyses of an idealized tantalum polycrystal, we verify that the L{sup c} tend to follow a normal distribution and surmise that this is due to the crystal interactions. We draw on these results to develop the STM and the stochastic no-constraints model (SNCM), which differ in the manner in which the crystal strain rates D{sup c} are prescribed. Calibration and validation of the models are performed using data from tantalum compression experiments. Both models predict the compression textures more accurately than the FCM, and the SNCM predicts them more accurately than the STM. The STM is extremely computationally efficient, only slightly more expensive than the FCM, while the SNCM is three times more computationally expensive than the STM.
Nuclear Level Density: Shell Model vs Mean Field
Sen'kov, Roman
2015-01-01T23:59:59.000Z
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...
Mean-field Evolution of Fermionic Mixed States
Niels Benedikter; Vojkan Jaksic; Marcello Porta; Chiara Saffirio; Benjamin Schlein
2015-02-11T23:59:59.000Z
In this paper we study the dynamics of fermionic mixed states in the mean-field regime. We consider initial states which are close to quasi-free states and prove that, under suitable assumptions on the inital data and on the many-body interaction, the quantum evolution of such initial data is well approximated by a suitable quasi-free state. In particular we prove that the evolution of the reduced one-particle density matrix converges, as the number of particles goes to infinity, to the solution of the time-dependent Hartree-Fock equation. Our result holds for all times, and gives effective estimates on the rate of convergence of the many-body dynamics towards the Hartree-Fock one.
Radiant energy receiver having improved coolant flow control means
Hinterberger, H.
1980-10-29T23:59:59.000Z
An improved coolant flow control for use in radiant energy receivers of the type having parallel flow paths is disclosed. A coolant performs as a temperature dependent valve means, increasing flow in the warmer flow paths of the receiver, and impeding flow in the cooler paths of the receiver. The coolant has a negative temperature coefficient of viscosity which is high enough such that only an insignificant flow through the receiver is experienced at the minimum operating temperature of the receiver, and such that a maximum flow is experienced at the maximum operating temperature of the receiver. The valving is accomplished by changes in viscosity of the coolant in response to the coolant being heated and cooled. No remotely operated valves, comparators or the like are needed.
Shell Model and Mean-Field Description of Band Termination
M. Zalewski; W. Satula; W. Nazarewicz; G. Stoitcheva; H. Zdunczuk
2007-01-09T23:59:59.000Z
We study nuclear high-spin states undergoing the transition to the fully stretched configuration with maximum angular momentum I_max within the space of valence nucleons. To this end, we perform a systematic theoretical analysis of non-fully-stretched I_max-2 and I_max-1 f_{7/2}^n seniority isomers and d_{3/2}^{-1} f_{7/2}^{n+1} intruder states in the A~44 nuclei from the lower-fp shell. We employ two theoretical approaches: (i) the density functional theory based on the cranked self-consistent Skyrme-Hartree-Fock method, and (ii) the nuclear shell model in the full sdfp configuration space allowing for 1p-1h cross-shell excitations. We emphasize the importance of restoration of broken angular momentum symmetry inherently obscuring the mean-field treatment of high-spin states. Overall good agreement with experimental data is obtained.
Variation after full projection with triaxially deformed nuclear mean field
Gao, Zao-Chun; Chen, Y S
2015-01-01T23:59:59.000Z
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.
Variation after full projection with triaxially deformed nuclear mean field
Zao-Chun Gao; Mihai Horoi; Y. S. Chen
2015-09-10T23:59:59.000Z
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.
Effect of ocean mesoscale variability on the mean state of tropical Atlantic climate
Seo, H; Jochum, M; Murtugudde, R; Miller, A J
2006-01-01T23:59:59.000Z
Effect of Ocean Mesoscale Variability on the Mean State ofthe effect of oceanic mesoscale features on the mean climatemodel, resolving oceanic mesoscale variability leads to a
Can-out hatch assembly with magnetic retention means
Frank, R.C.; Hoh, J.C.
1985-07-03T23:59:59.000Z
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.
Nuclear Level Density: Shell Model vs Mean Field
Roman Sen'kov; Vladimir Zelevinsky
2015-08-15T23:59:59.000Z
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.
Deák, Gedeon O; Narasimham, Gayathri
2013-01-01T23:59:59.000Z
using ?exibility in the new Flexible Induction of Meanings [with an established test (Flexible Induction of Meanings [example, in studies using the Flexible Induction of Meanings
Review: Climate Change: What It Means for Us, Our Children, and Our Grandchildren
Pazhoohi, Farid
2015-01-01T23:59:59.000Z
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
A STUDY OF MICROWAVE INSTABILITIES BY MEANS OF A SQUARE-WELL POTENTIAL
Kim, K.-J.
2010-01-01T23:59:59.000Z
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
What it means to be Christian: Kierkegaard's purpose as an author
Vaughn, Bradley Keith
2003-01-01T23:59:59.000Z
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...
Baer, Roi
. Solitary solutions were also found for the mean field GrossPitevskii model for BoseEinstein condensates.9
Wylie, Joann; Hockert, John
2014-04-24T23:59:59.000Z
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).
Tracking in Presence of Total Occlusion and Size Variation using Mean Shift and Kalman Filter
Paris-Sud XI, Université de
Tracking in Presence of Total Occlusion and Size Variation using Mean Shift and Kalman Filter Oscar using mean shift and the Kalman filter, which was added to the traditional algorithm as a predictor when mean shift Kalman filter algorithm improves the tracking performance of the classical algorithms
Estimating quality factor and mean grain size of sediments from high-resolution marine seismic data
National Oceanography Centre Southampton
model of quality factor against mean grain size from published sediment studies, the mean grain sizes with frequency. The Biot-Stoll model shows a marked velocity dispersion and nonlinear transition in compressionalEstimating quality factor and mean grain size of sediments from high-resolution marine seismic data
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
Torres-Verdín, Carlos
in this paper is also suitable for the quantitative interpretation of 4D seismic data. Simulation and InversionJoint Inversion of Reservoir Production Measurements and 3D Pre-Stack Seismic Data: Proof-stack seismic data and fluid production history. The production measurements and the seismic data
Harstad, Kenneth; Bellan, Josette [4800 Oak Grove Drive, M/S 125-109, Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109-8099 (United States)
2010-08-15T23:59:59.000Z
A methodology for deriving a reduced kinetic mechanism for alkane oxidation is described and applied to n-heptane. The model is based on partitioning the species of the skeletal kinetic mechanism into lights, defined as those having a carbon number smaller than 3, and heavies, which are the complement in the species ensemble. For modeling purposes, the heavy species are mathematically decomposed into constituents, which are similar but not identical to groups in the group additivity theory. From analysis of the LLNL skeletal mechanism in conjunction with CHEMKIN II, it is shown that a similarity variable can be formed such that the appropriately scaled global constituent molar density exhibits a self-similar behavior over a very wide range of equivalence ratios, initial pressures and initial temperatures that is of interest for predicting n-heptane oxidation. Furthermore, the oxygen and water molar densities are shown to display a quasi-linear behavior with respect to the similarity variable. The light species ensemble is partitioned into quasi-steady and unsteady species. The concept is tested by using tabular information from the LLNL skeletal mechanism in conjunction with CHEMKIN II. The test reveals that the similarity concept is indeed justified and that the combustion temperature is well predicted, but that the ignition time is overpredicted. To palliate this deficiency, functional modeling is incorporated into our conceptual reduction. Due to the reduction process, models are also included for the global constituent molar density, the kinetics-induced enthalpy evolution of the heavy species, the contribution to the reaction rate of the unsteady lights from the heavies, the molar density evolution of oxygen and water, the mole fractions of the quasi-steady light species and the mean molar heat capacity of the heavy species. The model is compact in that there are only nine species-related progress variables. Results are presented comparing the performance of the model for predicting the temperature and species evolution with that of the skeletal mechanism. The model reproduces the ignition time over a wide range of equivalence ratios, initial pressure and initial temperature. (author)
Role of the mean curvature in the geometry of magnetic confinement configurations
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-15T23:59:59.000Z
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.
Konrad, Allan
2007-01-01T23:59:59.000Z
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: [
Cang, Nguyen The
2015-01-01T23:59:59.000Z
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.
Effects of spatial and temporal variations in aerosol properties on mean cloud albedo
in quantifying the effects of cloud on radiation budget and aerosol indirect effects on global scaleEffects of spatial and temporal variations in aerosol properties on mean cloud albedo Jian Wang1 effect on mean cloud albedo, was investigated using data collected at Pt. Reyes, California, during
Bouncing Back and Motivating Action on Environmental Issues: The Power of Positive Meaning
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
Mean--Field and Nonlinear Dynamics in Many--Body Quantum Systems
V. R. Manfredi; L. Salasnich
1998-11-08T23:59:59.000Z
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.
Research papers The vertical structure of time-mean estuarine circulation in a shallow,
Polton, Jeff
the mean fluid depth the residual circulation is well modelled by a water column of uniform density 2013 Accepted 5 March 2013 Available online 27 March 2013 Keywords: Tidal residual ROFI HF radar ADCP) model shows that the time-mean depth weighted flow, or the residual circulation, is usefully constrained
Complementary relationship of evaporation and the mean annual water-energy balance
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
Adaptive Dimension Reduction Using Discriminant Analysis and K-means Chris Ding CHQDING@LBL.GOV
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
Adaptive Dimension Reduction Using Discriminant Analysis and K-means Chris Ding CHQDING@LBL.GOV
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
What it means to be ISO 9000 Certified. By Anthony Nurre, Yusuf Gunaman
Vardeman, Stephen B.
What it means to be ISO 9000 Certified. By Anthony Nurre, Yusuf Gunaman Dennis De-Almeida September competitive, companies must apply effective and efficient plans. The most accepted plan today is the ISO 9000 will explain what ISO 9000 is and what it means to a company to be ISO 9000 certified. What is ISO? ISO
Integrating K-means Clustering with a Relational DBMS using SQL
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
Hazard Communication Definitions Chemical means any substance or mixture of substances
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
Electrical Vehicles in the Smart Grid: A Mean Field Game Analysis
Paris-Sud XI, Université de
1 Electrical Vehicles in the Smart Grid: A Mean Field Game Analysis Romain Couillet, Samir M interaction between electrical vehicles or hybrid oil- electricity vehicles in a Cournot market consisting of electricity transactions to or from an underlying electricity distribution network. We provide a mean field
MEAN MOTION RESONANCES IN EXOPLANET SYSTEMS: AN INVESTIGATION INTO NODDING BEHAVIOR
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
An experimental investigation of the mean flow field of a wavy cylinder at critical Reynolds numbers
Damiana, Thomas Anthony
1994-01-01T23:59:59.000Z
Fluid flow around a wavy cylinder geometry was investigated in the Texas A&M University 2'x3' wind tunnel. Tests consisted of mean surface static pressure and mean wake dynamic pressure measurements around two wavy cylinders of differing wavelength...
NOAA Technical Memorandum ERL PMEL-92 THE ANNUAL MEAN TRANSPORT IN PUGET SOUND
FILE NOAA Technical Memorandum ERL PMEL-92 THE ANNUAL MEAN TRANSPORT IN PUGET SOUND E. D. Cokelet R Technical Memorandum ERL PMEL-92 THE ANNUAL MEAN TRANSPORT IN PUGET SOUND E. D. Cokelet Pacific Marine . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40 7.2 Puget Sound's Main Axis 40 7.3 Hood Canal 43 7.4 Saratoga Passage and Deception Pass 43 7
Wave-current interaction in strongly sheared mean flows Zhifei Dong and James T. Kirby
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
Neutron stars in the BPS Skyrme model: mean-field limit vs. full field theory
Adam, C; Sanchez-Guillen, J; Vazquez, R; Wereszczynski, A
2015-01-01T23:59:59.000Z
Using a solitonic model of nuclear matter, the BPS Skyrme model, we compare neutron stars obtained in the full field theory, where gravitational back reaction is completely taken into account, with calculations in a mean-field approximation using the Tolman-Oppenheimer-Volkoff approach. In the latter case, a mean-field-theory equation of state is derived from the original BPS field theory. We show that in the full field theory, where the energy density is non-constant even at equilibrium, there is no universal and coordinate independent equation of state of nuclear matter, in contrast to the mean-field approximation. We also study how neutron star properties are modified by going beyond mean field theory, and find that the differences between mean field theory and exact results can be considerable.
Pekalski, J.; Ciach, A. [Institute of Physical Chemistry, Polish Academy of Sciences, 01-224 Warszawa (Poland)] [Institute of Physical Chemistry, Polish Academy of Sciences, 01-224 Warszawa (Poland); Almarza, N. G. [Instituto de Química Física Rocasolano, CSIC, Serrano 119, E-28006 Madrid (Spain)] [Instituto de Química Física Rocasolano, CSIC, Serrano 119, E-28006 Madrid (Spain)
2014-03-21T23:59:59.000Z
The short-range attraction and long-range repulsion between nanoparticles or macromolecules can lead to spontaneous pattern formation on solid surfaces, fluid interfaces, or membranes. In order to study the self-assembly in such systems we consider a triangular lattice model with nearest-neighbor attraction and third-neighbor repulsion. At the ground state of the model (T = 0) the lattice is empty for small values of the chemical potential ?, and fully occupied for large ?. For intermediate values of ? periodically distributed clusters, bubbles, or stripes appear if the repulsion is sufficiently strong. At the phase coexistences between the vacuum and the ordered cluster phases and between the cluster and the lamellar (stripe) phases the entropy per site does not vanish. As a consequence of this ground state degeneracy, disordered fluid phases consisting of clusters or stripes are stable, and the surface tension vanishes. For T > 0 we construct the phase diagram in the mean-field approximation and calculate the correlation function in the self-consistent Brazovskii-type field theory.
Mean parity of single quantum excitation of some optical fields in thermal environments
Shang-Bin Li
2010-06-11T23:59:59.000Z
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.
Mass dispersion in transfer reactions with a stochastic mean-field theory
Kouhei Washiyama; Sakir Ayik; Denis Lacroix
2009-06-24T23:59:59.000Z
Nucleon transfer in symmetric heavy-ion reactions at energies below the Coulomb barrier is investigated in the framework of a microscopic stochastic mean-field theory. While mean-field alone is known to significantly underpredict the dispersion of the fragment mass distribution, a considerable enhancement of the dispersion is obtained in the stochastic mean-field theory. The variance of the fragment mass distribution deduced from the stochastic theory scales with the number of exchanged nucleon. Therefore, the new approach provides the first fully microscopic theory consistent with the phenomenological analysis of the experimental data.
Means and method for the destruction of particles entrained in a gas stream
Botts, Thomas E. (Wading River, NY); Powell, James R. (Shoreham, NY)
1980-01-01T23:59:59.000Z
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.
Thompson, Donald O. (Ames, IA); Hsu, David K. (Ames, IA)
1993-12-14T23:59:59.000Z
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.
Thompson, D.O.; Hsu, D.K.
1993-12-14T23:59:59.000Z
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.
Statistical mechanics of the nonlinear Schroedinger equation. II. Mean field approximation
Lebowitz, J.L.; Rose, H.A.; Speer, E.R.
1989-01-01T23:59:59.000Z
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.
Helfritch, D.J.; Bortz, S.J. [Research-Cottrell, Inc., Somerville, NJ (United States); Beittel, R. [Riley Stoker Corp., Worcester, MA (United States)
1994-03-01T23:59:59.000Z
The integrated Dry Injection Process (IDIP) consists of combustion modification using low NO{sub x} burners to reduce NO{sub x} emissions, dry injection of hydrated line at economizer temperatures for primary capture of SO{sub 2}, dry injection of a commercial grade sodium bicarbonate at the air heater exit for additional SO{sub 2} and NO{sub x} removal, and humidification for precipitator conditioning. IDIP offers the potential for simultaneously achieving 90% SO{sub 2} removal, and 65% NO{sub x} removal from a high sulfur flue gas. The process is well suited for new or retrofit applications since it can be incorporated within existing economizer and downstream ductwork. Subscale tests were performed in order to identify the best calcium and sodium sorbents. These tests involved the injection of calcium hydroxide and sodium sorbents at various points of the flue gas system downstream of a 0.25 MM BTU/hr. coal fired combustor, and the gas residence times, cooling rates and temperatures were comparable to those found for full-scale utility boilers. These tests verified that a high surface area hydrated lime provides maximum sorbent utilization and identified an alcohol-water hydrated lime as yielding the highest surface area and the best SO{sub 2} removal capability. The tests also identified sodium bicarbonate to be somewhat more effective than sodium sesquicarbonate for SO{sub 2} removal. The proof of concept demonstration was conducted on the large combustor at the Riley Stoker Research Facility in Worcester, MA. When economically compared to conventional limestone slurry scrubbing on a 300 MW plant, the dry injection process shows lower capital cost but higher operating cost. Hydrated lime injection can be less costly than limestone scrubbing when two or more of the following conditions exist: plant is small (less than 100MW); yearly operating hours are small (less than 3000); and the remaining plant lifetime is small (less than 10 years).
Distributed control in a mean-field cortical network model: Implications for seizure suppression
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. ...
Fox, Stephen Richard
2005-01-01T23:59:59.000Z
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 ...
Transient Responses to Rapid Changes in Mean and Variance in Spiking Models
Khorsand, Peyman; Chance, Frances
2008-01-01T23:59:59.000Z
features of IF model responses to steps in input signals:neuron firing rates in response to steps in mean and noise.variance (see Decaying Response to Step Function). In the
Time-odd mean fields in covariant density functional theory I. Non-rotating systems
A. V. Afanasjev; H. Abusara
2010-10-09T23:59:59.000Z
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.
Sensory invariance driven action (SIDA) framework for understanding the meaning of neural spikes
Bhamidipati, Sarvani Kumar
2004-09-30T23:59:59.000Z
to learn the meaning of complex (spatiotemporal) spike patterns. The successful learning exhibited by the agent raises hopes that SIDA can be used to build agents with natural semantics....
Mark the Music: Heidegger on Technology, Art, and the Meaning of Materiality
Friedman, James
2012-10-19T23:59:59.000Z
of Committee, Theodore D. George Committee Members, Daniel Conway Marian Eide Head of Department, Gary Varner August 2012 Major Subject: Philosophy iii ABSTRACT Mark the Music: Heidegger on Technology, Art, and the Meaning of Materiality...
Comment on Mean First Passage Time for Nuclear Fission and the Emission of Light Particles
K. -H. Schmidt; J. Benlliure; D. Boilley; A. Heinz; A. Junghans; B. Jurado; A. Kelic; J. Pereira; C. Schmitt; O. Yordanov
2003-07-25T23:59:59.000Z
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.
17/07/2014 1 Sustainable Development by means of a Collaborative
1 17/07/2014 1 Sustainable Development by means of a Collaborative Planning Framework, the case knowledge building + suitability criteria construction #12;4 Perspectives on sustainable housing development, lead towards sustainable development. ˇ Barriers: incompatible interests, political stress, personal
Creating meaning in the face of bereavement, an adult childs perspective
Sehn, Zoë Lyana
2013-11-29T23:59:59.000Z
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 ...
Reconstructing phonon mean-free-path contributions to thermal conductivity using nanoscale membranes
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 ...
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...
Mean Motion Resonances in Exoplanet Systems: An Investigation Into Nodding Behavior
Ketchum, Jacob A; Bloch, Anthony M
2012-01-01T23:59:59.000Z
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 ...
Heffner, Reid R.
2007-01-01T23:59:59.000Z
electric, diesel, fuel-cell, and plug-in hybrid-electric,Hybrid Electric Vehicle 2X mileage of previous vehicle (full-size dieselhybrid and conventional gasoline powertrains, but very few articulated meanings for diesel
PERSPECTIVE Navigating the multiple meanings of b diversity: a roadmap for the practicing ecologist
Kraft, Nathan
IDEA AND PERSPECTIVE Navigating the multiple meanings of b diversity: a roadmap for the practicing a roadmap of the most widely used and ecologically relevant approaches for analysis through a series
Problems of tort litigation as a means of patient and consumer protection in health care systems
Moore, Michael David
2009-01-01T23:59:59.000Z
The U.S. health care system relies on tort litigation as a means of protecting patients and consumers from medical malpractice. The system of tort litigation has contributed to the U.S. having the highest health care ...
Pinto, Zeena Blossom
2001-01-01T23:59:59.000Z
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...
technical proof technical proof The physics of squirt
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
Cano, Narciso Ortiz
1968-01-01T23:59:59.000Z
EVALUATION OF DISCONTINUITY STRESSES IN THICK WALLED CYLINDRICAL SHELLS BY MEANS OF AN EMBEDDED POLARISCOPE A Thesis By NARCISO ORTIZ CANO, JR. Submitted to the Graduate College of the Texas A&M University in partial fulfillment... of the requirements for the degree of MASTER OF SCIENCE January, 196B Major Sub)ect: Aerospace Engineering EVALUATION OF DISCONTINUITY STRESSES IN THICK WALLED CYLINDRICAL SHELLS BY MEANS OF AN EMBEDDED POLARISCOPE A Thesis By NARCISO ORTIZ CANO, JR. Approved...
Mean zonal acceleration and heating of the 70- to 100-km region
Miyahara, S.; Portnyagin, Yu.I.; Forbes, J.M. (Boston Univ., MA (USA)); Solovjeva, T.V. (Inst. for Experimental Meteorology, Obninsk (USSR))
1991-02-01T23:59:59.000Z
The dynamical interactions which occur in the atmospheric region around the mesopause ({approximately} 90 km) determine the boundary characteristics for the thermospheric region above. In the present work, using an empirical model of Eulerian-mean meridional motions based on monthly climatological winds from these radar data, the net vertical motions in this atmospheric regime are derived from the continuity equation. Assuming empirical prescriptions of the mean density and temperature fields, mean heat flux divergences and momentum flux divergences are estimated which exhibit very specific characteristics in the height versus latitude domain for winter, summer, and equinox conditions in both hemispheres. A numerical circulation model including gravity wave/mean flow and tide/mean flow interactions is utilized to examine possible origins of these heat and acceleration sources. At low latitudes ({le}30{degree}), it is evident that atmospheric tides represent the primary wave source contribution to zonal mean acceleration and heating of this region of the atmosphere; similarly, at middle and high latitudes ({ge}30{degree}) below about 90 km, dissipation of vertically propagating gravity waves appears to provide the dominant momentum source for the mean zonal circulation. However, above approximately 90 km and between about 40{degree} and 70{degree} latitude, very significant regions of mean heating and acceleration exist which are not accounted for by the effects of vertically propagating gravity waves and tides. The possible origins of these effects are examined. The authors suggest that the two most likely candidates to explain these observed features are (1) obliquely propagating gravity waves and/or (2) planetary scale waves.
Do meaning-related blockers induce tip-of-the-tongue states? / by Stephen Paul Balfour
Balfour, Stephen Paul
1992-01-01T23:59:59.000Z
may not be warranted because items were not counterbalanced across experimental treatments. Jones' (1989) conclusion that meaning-based TOT induction does not occur relies on the ability of Jones and Langford's (1987) paradigm to uncover the effect... ABSTRACT Do Meaning-Related Blockers Induce Tip-of-the-Tongue States? (December 1992) Stephen Paul Balfour, B. S. , Texas AgcM University Chair of Advisory Committee: Dr. Steven M. Smith Findings in the current tip-of-the-tongue (TOT) induction...
A review of "Excess and the Mean in Early Modern English Literature." by Joshua Scodel
Ira Clark
2003-01-01T23:59:59.000Z
criticism, Joshua Scodel offers readers both old-fashioned scholarly and current theoretical virtues. Excess and the Mean in Early Modern English Literature re- minds me both of the monumental and meticulous learning that 70 SEVENTEENTH-CENTURY NEWS... and marriage. Some of his most intriguing results come from taking drinking songs seriously. Throughout Excess and the Mean in Early Modern English Literature he offers perceptive ideas about the relationships between the dis- courses of love and of politics...
A study of miscible displacement of oil by means of micellar solution injection
Sharifi-Monfared, Fereidoon
1971-01-01T23:59:59.000Z
A STUDY OF MISCIBLE DISPLACEMENT OF OIL BY MEANS OF MICELLAR SOLUTION IN SEC TION A Thesis by FEREIDOON SHARIFI-MONFARED Submitted to the Graduate College of Texas A&M University in partial fulfillment of the requirement for the degree... of MASTER OF SCIENCE May, 1971 Major Subject: Petroleum Engineering A STUDY GF MISCIBLE DISPLACEMENT OF OIL BY MEANS GF MICELLAR SOLUTION INJECTION A Thesis by FEREIDOON SHARIFI-MONFARED Approved as to style and content by: (Chai rxn of Comxnittee...
Ambedkar Dukkipati; M. Narsimha Murty; Shalabh Bhatnagar
2005-05-30T23:59:59.000Z
As additivity is a characteristic property of the classical information measure, Shannon entropy, pseudo-additivity is a characteristic property of Tsallis entropy. Renyi generalized Shannon entropy by means of Kolmogorov-Nagumo averages, by imposing additivity as a constraint.In this paper we show that there exists no generalization for Tsallis entropy, by means of Kolmogorov-Nagumo averages, which preserves the pseudo-additivity.
Low pressure arc discharge lamp apparatus with magnetic field generating means
Grossman, M.W.; George, W.A.; Maya, J.
1987-10-06T23:59:59.000Z
A low-pressure arc discharge apparatus having a magnetic field generating means for increasing the output of a discharge lamp is disclosed. The magnetic field generating means, which in one embodiment includes a plurality of permanent magnets, is disposed along the lamp for applying a constant transverse magnetic field over at least a portion of the positive discharge column produced in the arc discharge lamp operating at an ambient temperature greater than about 25 C. 3 figs.
A Nash equilibrium macroscopic closure for kinetic models coupled with Mean-Field Games
Pierre Degond; Jian-Guo Liu; Christian Ringhofer
2012-12-26T23:59:59.000Z
We introduce a new mean field kinetic model for systems of rational agents interacting in a game theoretical framework. This model is inspired from non-cooperative anonymous games with a continuum of players and Mean-Field Games. The large time behavior of the system is given by a macroscopic closure with a Nash equilibrium serving as the local thermodynamic equilibrium. An application of the presented theory to a social model (herding behavior) is discussed.
Coagulation kinetics beyond mean field theory using an optimised Poisson representation
James Burnett; Ian J. Ford
2015-05-22T23:59:59.000Z
Binary particle coagulation can be modelled as the repeated random process of the combination of two particles to form a third. The kinetics can be represented by population rate equations based on a mean field assumption, according to which the rate of aggregation is taken to be proportional to the product of the mean populations of the two participants. This can be a poor approximation when the mean populations are small. However, using the Poisson representation it is possible to derive a set of rate equations that go beyond mean field theory, describing pseudo-populations that are continuous, noisy and complex, but where averaging over the noise and initial conditions gives the mean of the physical population. Such an approach is explored for the simple case of a size-independent rate of coagulation between particles. Analytical results are compared with numerical computations and with results derived by other means. In the numerical work we encounter instabilities that can be eliminated using a suitable 'gauge' transformation of the problem [P. D. Drummond, Eur. Phys. J. B38, 617 (2004)] which we show to be equivalent to the application of the Cameron-Martin-Girsanov formula describing a shift in a probability measure. The cost of such a procedure is to introduce additional statistical noise into the numerical results, but we identify an optimised gauge transformation where this difficulty is minimal for the main properties of interest. For more complicated systems, such an approach is likely to be computationally cheaper than Monte Carlo simulation.
Acceptable Documents for Identity Proofing
Broader source: Energy.gov [DOE]
It is a requirement that the identity of a DOE Digital Identity Subscriber be verified against acceptable identity source documents. A Subscriber must appear in person and present their Federal...
Rose, William I.
basic data that will be tested against theory for decades. The 41volume is significant because silicic in dangerous settings (LaHusen et al., chapter 16), the 46detailed pattern of growth of the dome (Vallance et (*) Geological Engineering & Sciences, Michigan Technological University, 1400 Townsend Dr, Houghton, MI 49931
Segraves, Kari A.
, such as the nutrient content of soils by rapid 51combustion and release of nutrients from herbaceous vege- 52tation and accumulated organic matter. Ash deposition may 53create a nutrient pulse following fire (e.g., Kellman et al
Raghavan, Barath
2009-01-01T23:59:59.000Z
networks. In Proceedings of ACM SIGCOMM, [93] C. Jin, D. X.services. In Proceedings of ACM SIGCOMM, 2002. [105] E.downstream queue behavior. IEEE/ACM Trans. Netw. , 3(1):82
Svensen, Henrik
for the visible spectrum by holographic lithography. Nature 404, 5356 (2000). 8. Vlasov, Y. A., Bo, X. Z., Sturm-dimensional bandgap near 1.5 micrometres. Nature 405, 437440 (2000). 10. Cheng, C. C. & Scherer, A. Fabrication
Hardware Verification by Formal Proof
Birtwistle, G.; Graham, B.; Melham, T.F.
Birtwistle,G. Graham,B. Melham,T.F. Schediwy,B. Proceedings of the Candadian Conference on Electrical and Computer Engineering pp 379-384 Canadian Society for Electrical Engineering
Raghavan, Barath
2009-01-01T23:59:59.000Z
Raghavan, Kashi Vishwanath, Sriram Ramabhadran, Kennethhumility of Travis Newhouse, Sriram Ramabhadran, and YoshiRaghavan, Kashi Vishwanath, Sriram Ramabhadran, Kenneth
Geometric sufficient conditions for compactness of the ?-Neumann operator
Munasinghe, Samangi
2009-06-02T23:59:59.000Z
For smooth bounded pseudoconvex domains in Cn, we provide geometric conditions on (the points of infinite type in) the boundary which imply compactness of the ?-Neumann operator. This is an extension of a theorem of Straube for smooth bounded...
Will Moores law be sufficient?
DeBenedictis, Erik P.
2004-07-01T23:59:59.000Z
It seems well understood that supercomputer simulation is an enabler for scientific discoveries, weapons, and other activities of value to society. It also seems widely believed that Moore's Law will make progressively more powerful supercomputers over time and thus enable more of these contributions. This paper seeks to add detail to these arguments, revealing them to be generally correct but not a smooth and effortless progression. This paper will review some key problems that can be solved with supercomputer simulation, showing that more powerful supercomputers will be useful up to a very high yet finite limit of around 1021 FLOPS (1 Zettaflops) . The review will also show the basic nature of these extreme problems. This paper will review work by others showing that the theoretical maximum supercomputer power is very high indeed, but will explain how a straightforward extrapolation of Moore's Law will lead to technological maturity in a few decades. The power of a supercomputer at the maturity of Moore's Law will be very high by today's standards at 1016-1019 FLOPS (100 Petaflops to 10 Exaflops), depending on architecture, but distinctly below the level required for the most ambitious applications. Having established that Moore's Law will not be that last word in supercomputing, this paper will explore the nearer term issue of what a supercomputer will look like at maturity of Moore's Law. Our approach will quantify the maximum performance as permitted by the laws of physics for extension of current technology and then find a design that approaches this limit closely. We study a 'multi-architecture' for supercomputers that combines a microprocessor with other 'advanced' concepts and find it can reach the limits as well. This approach should be quite viable in the future because the microprocessor would provide compatibility with existing codes and programming styles while the 'advanced' features would provide a boost to the limits of performance.
Efficient Learning using Constrained Sufficient Statistics Nir Friedman
Friedman, Nir
and classification. In this paper, we propose a new method for speeding up the computational process of learning collected during learning and thus speed up the learning time. We show that our method is capable technique that we introduce is general and can be used to improve learnÂ ing performance in many settings
Energy and EPA Webinar Series Promotes Tribal Energy Sufficiency and
Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious RankShale_Gas.pdfServiceDepartment of EnergyNationalBiomass(PE)DepartmentJanuary 26, 2012Economic
Recommendation 227: Recommendation to EM on Request for Sufficient Funding
Office of Environmental Management (EM)
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level:5 TablesExports to3,1,50022,3,,0,,6,1,Separation 23 362 334 318Cubic Feet)89312Forums OutreachPower Plant2-392Grid IQ Quiz:Recentto Meet Cleanup
HUD Self-Sufficiency Training Sessions | Department of Energy
Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious Rank EERE: Alternative Fuels Data Center Homesfor Procurement Officials Guidance for ProcurementDeploymentHUD
Generic identifiability and second-order sufficiency in tame convex ...
2009-01-19T23:59:59.000Z
Jan 19, 2009 ... is somehow pathological, or because of the failure of the typical ... identify the manifold and converge well, and standard sensitivity analysis.
Towards a sufficiency-driven business model: experiences and opportunities
Bocken, N. M. P.; Short, S. W.
2015-07-29T23:59:59.000Z
supply chains and products are an important first step in reducing the impacts of production and consumption. However, growth in demand is far outpacing such improvements and innovations and these initiatives can facilitate rebound-effects where... ) and the environmental degradation caused by materials extraction and production. Therefore tackling developed world consumption levels offers benefits to all. To manage consumption, businesses will need to move beyond eco-efficiency (saving energy and materials...
Can frequencies in thermosolutal convection be predicted by their mean flows?
Turton, Sam E; Barkley, Dwight
2015-01-01T23:59:59.000Z
Motivated by studies of the cylinder wake, in which the vortex-shedding frequency can be obtained from the mean flow, we study thermosolutal convection driven by opposing thermal and solutal gradients. In the archetypal two-dimensional geometry with free-slip vertical walls and periodic horizontal boundaries, branches of traveling waves and standing waves are created simultaneously by a Hopf bifurcation. We find that linearization about the mean fields of the traveling waves yields an eigenvalue whose real part is almost zero and whose imaginary part corresponds very closely to the nonlinear frequency, consistent with similar analyses performed on the cylinder wake. In marked contrast, linearization about the mean field of the standing waves yields neither zero growth nor the nonlinear frequency. It is shown that this difference can be attributed to the fact that the temporal power spectrum for the traveling waves is peaked, while that of the standing waves is broad. We give a general demonstration that the f...
Rotating Bose-Einstein condensates: Closing the gap between exact and mean-field solutions
J. C. Cremon; A. D. Jackson; E. \\" O. Karabulut; G. M. Kavoulakis; B. R. Mottelson; S. M. Reimann
2015-01-22T23:59:59.000Z
When a Bose-Einstein condensed cloud of atoms is given some angular momentum, it forms vortices arranged in structures with a discrete rotational symmetry. For these vortex states, the Hilbert space of the exact solution separates into a "primary" space related to the mean-field Gross-Pitaevskii solution and a "complementary" space including the corrections beyond mean-field. Considering a weakly-interacting Bose-Einstein condensate of harmonically-trapped atoms, we demonstrate how this separation can be used to close the conceptual gap between exact solutions for systems with only a few atoms and the thermodynamic limit for which the mean-field is the correct leading-order approximation. Although we illustrate this approach for the case of weak interactions, it is expected to be more generally valid.
Source Optimization in MISO Relaying with Channel Mean Feedback: A Stochastic Ordering Approach
Ding, Minhua
2011-01-01T23:59:59.000Z
This paper investigates the optimum source transmission strategy to maximize the capacity of a multiple-input single-output (MISO) amplify-and-forward relay channel, assuming source-relay channel mean feedback at the source. The challenge here is that relaying introduces a nonconvex structure in the objective function, thereby excluding the possible use of previous methods dealing with mean feedback that generally rely on the concavity of the objective function. A novel method is employed, which divides the feasible set into two subsets and establishes the optimum from one of them by comparison. As such, the optimization is transformed into the comparison of two nonnegative random variables in the Laplace transform order, which is one of the important stochastic orders. It turns out that the optimum transmission strategy is to transmit along the known channel mean and its orthogonal eigenchannels. The condition for rank-one precoding (beamforming) to achieve capacity is also determined. Our results subsume th...
A new water anomaly: the temperature dependence of the proton mean kinetic energy
Davide Flammini; Fabio Bruni; Maria Antonietta Ricci
2009-01-28T23:59:59.000Z
The mean kinetic energy of protons in water is determined by Deep Inelastic Neutron Scattering experiments, performed above and below the temperature of maximum density and in the supercooled phase. The temperature dependence of this energy shows an anomalous behavior, as it occurs for many water properties. In particular two regions of maximum kinetic energy are identified: the first one, in the supercooled phase in the range 269 K - 272 K, and a second one above 273 K. In both these regions the measured proton kinetic energy exceedes the theoretical prediction based on a semi-classical model. Noteworthy, the proton mean kinetic energy has a maximum at 277 K, the temperature of the maximum density of water. In the supercooled metastable phase the measured mean kinetic energy and the proton momentum distribution clearly indicate proton delocalization between two H-bonded oxygens.