Weakly sufficient quantum statistics
Katarzyna Lubnauer; Andrzej ?uczak; Hanna Pods?dkowska
2009-11-23
Some aspects of weak sufficiency of quantum statistics are investigated. In particular, we give necessary and sufficient conditions for the existence of a weakly sufficient statistic for a given family of vector states, investigate the problem of its minimality, and find the relation between weak sufficiency and other notions of sufficiency employed so far.
Deep inference proof theory equals categorical proof theory minus coherence
Pratt, Vaughan
Deep inference proof theory equals categorical proof Abstract This paper links deep inference proof theory, as studied by Gugliel* *mi et al., to categorical proof theory in the sense of Lambek et al.. It obs* *erves how deep
Dennis, Louise
. This automation is based on the ideas of proof planning [Bundy 88]. Proof planning as the name suggests, plans the higher level steps in a proof without performing the formal checking which is also required for a verification. The automation has focused on the use...
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-30
This report provides information regarding options available, their advantages and disadvantages, and the costs for pursuing activities to advance Smith River Rancheria toward an energy program that reduces their energy costs, allows greater self-sufficiency and stimulates economic development and employment opportunities within and around the reservation. The primary subjects addressed in this report are as follows: (1) Baseline Assessment of Current Energy Costs--An evaluation of the historical energy costs for Smith River was conducted to identify the costs for each component of their energy supply to better assess changes that can be considered for energy cost reductions. (2) Research Viable Energy Options--This includes a general description of many power generation technologies and identification of their relative costs, advantages and disadvantages. Through this research the generation technology options that are most suited for this application were identified. (3) Project Development Considerations--The basic steps and associated challenges of developing a generation project utilizing the selected technologies are identified and discussed. This included items like selling to third parties, wheeling, electrical interconnections, fuel supply, permitting, standby power, and transmission studies. (4) Energy Conservation--The myriad of federal, state and utility programs offered for low-income weatherization and utility bill payment assistance are identified, their qualification requirements discussed, and the subsequent benefits outlined. (5) Establishing an Energy Organization--The report includes a high level discussion of formation of a utility to serve the Tribal membership. The value or advantages of such action is discussed along with some of the challenges. (6) Training--Training opportunities available to the Tribal membership are identified.
Deep inference proof theory equals categorical proof theory minus coherence
Pratt, Vaughan
Deep inference proof theory equals categorical proof theory minus coherence DOMINIC J. D. HUGHES Stanford University October 6, 2004 Abstract This paper links deep inference proof theory, as studied by Guglielmi et al., to categorical proof theory in the sense of Lambek et al.. It observes how deep inference
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...
Alternative Proofs of Ten Inequalities
Adilsultan Lepes
2014-12-06
This article offers different proofs of ten inequalities from those already published. So that the readers can see for themselves, the tasks specified in the condition of the source and classical inequalities which used in previously published proofs.
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 ...
Use of the Necessary and Sufficient Process
Broader source: Directives, Delegations, and Requirements [Office of Management (MA)]
1996-01-25
Authorizes use of the Necessary and Sufficient Process which addresses how the Department will select its standards to protect workers, the public, and the environment and form the basis for the Department's move to integrating standards activities into a consistent, coordinated system of standards-based safety management. Does not cancel other directives.
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
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
Interactive proofs April 12, 2014
Babai, LĂĄszlĂł
:10.1145/103418.103428. [141] LÂ´aszlÂ´o Babai. Transparent proofs and limits to approximation. In Proc] LÂ´aszlÂ´o Babai. Transparent proofs. FOCUS (MAA Newsletter), 12(3):1Â2, June 1992. [123] LÂ´aszlÂ´o Babai. Bounded round interactive proofs in finite groups. SIAM J. Discrete Math., 5(1):88Â111, 1992. doi
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
Poggio, Tomaso
(ERM) and almost-ERM when the minimizer does not exist need to be consis- tent, so that they may algorithm satisfying it and, (b) necessary and sufficient for generalization and consistency of ERM. Thus for general learning algorithms while subsuming the classical conditions for consistency of ERM. We discuss al
Poggio, Tomaso
Risk Minimization (ERM) and almost-ERM when the minimizer does not exist need to be consistent, so, (b) necessary and sufficient for con- sistency of ERM. Thus CVEEEloo stability is a weak form subsuming the classical conditions for consistency of ERM. We discuss alternative forms of stability
Proof Planning for Automating Hardware Verification
Cantu-Ortiz, Francisco Javier
In this thesis we investigate the applicability of proof planning to automate the verification of hardware systems. Proof planning is a meta-level reasoning technique which captures patterns of proof common to a family of theorems. It contributes...
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 ...
Energy Strategic Planning & Self-Sufficiency Project
Greg Retzlaff
2005-03-30
This report provides information regarding options available, their advantages and disadvantages, and the costs for pursuing activities to advance Smith River Rancheria toward an energy program that reduces their energy costs, allows greater self-sufficiency and stimulates economic development and employment opportunities within and around the reservation. The primary subjects addressed in this report are as follow: (1) Baseline Assessment of Current Energy Costs--An evaluation of the historical energy costs for Smith River was conducted to identify the costs for each component of their energy supply to better assess changes that can be considered for energy cost reductions. (2) Research Viable Energy Options--This includes a general description of many power generation technologies and identification of their relative costs, advantages and disadvantages. Through this research the generation technology options that are most suited for this application were identified. (3) Project Development Considerations--The basic steps and associated challenges of developing a generation project utilizing the selected technologies are identified and discussed. This included items like selling to third parties, wheeling, electrical interconnections, fuel supply, permitting, standby power, and transmission studies. (4) Energy Conservation--The myriad of federal, state and utility programs offered for low-income weatherization and utility bill payment assistance are identified, their qualification requirements discussed, and the subsequent benefits outlined. (5) Establishing an Energy Organization--The report includes a high level discussion of formation of a utility to serve the Tribal membership. The value or advantages of such action is discussed along with some of the challenges. (6) Training--Training opportunities available to the Tribal membership are identified.
First Proof of Ferromagnetic Carbon
Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power Administration would likeUniverse (Journal Article) |Final Reportthe GrowingDirectProof ofProof ofProof of
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: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power Administration would likeUniverse (Journal Article) |Final Reportthe GrowingDirectProof ofProof of
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-15
We prove a sufficient stochastic maximum principle for the optimal control of a regime-switching diffusion model. We show the connection to dynamic programming and we apply the result to a quadratic loss minimization problem, which can be used to solve a mean-variance portfolio selection problem.
Running head: Reading Mathematical Proofs
Inglis, Matthew
, and is increasingly seen as essential to a coherent school-level mathematics curriculum (e.g., Cowen, 1991; Hanna, 2007; National Council of Teachers of Mathematics [NCTM], 2000; Selden & Selden, 2003; Weber, 2008. #12;4 In this paper we report the first direct comparison of the proof reading behavior of research
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-23
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
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
Semantic contamination and mathematical proof: Can a non-proof prove? 1
MejĂa Ramos, Juan Pablo
Semantic contamination and mathematical proof: Can a non-proof prove? 1 Juan Pablo Mej contamination effect plays a role in determining how students engage with mathematical proof, a fundamental, reasoning, semantic contamination Argumentation and proof are widely accepted as being central
Graphical representation of canonical proof: two case studies
Heijltjes, Willem Bernard
2012-06-25
An interesting problem in proof theory is to find representations of proof that do not distinguish between proofs that are morally the same. For many logics, the presentation of proofs in a traditional formalism, such ...
Sufficient Conditions for Uniform Stability of Regularization Algorithms
Poggio, Tomaso
2009-12-01
In this paper, we study the stability and generalization properties of penalized empirical-risk minimization algorithms. We propose a set of properties of the penalty term that is sufficient to ensure uniform ?-stability: ...
First Proof of Ferromagnetic Carbon
Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 Outreach Home Room NewsInformation Current HABFES OctoberEvanServices ÂťFirst Observation of PlasmaronsProof of
First Proof of Ferromagnetic Carbon
Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power Administration would likeUniverse (Journal Article) |Final Reportthe GrowingDirectProof of Ferromagnetic Carbon
First Proof of Ferromagnetic Carbon
Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power Administration would likeUniverse (Journal Article) |Final Reportthe GrowingDirectProof of Ferromagnetic
First Proof of Ferromagnetic Carbon
Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power Administration would likeUniverse (Journal Article) |Final Reportthe GrowingDirectProof of FerromagneticFirst
First Proof of Ferromagnetic Carbon
Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power Administration would likeUniverse (Journal Article) |Final Reportthe GrowingDirectProof of
An interesting temporalization of Gödel's ontological proof
Gavriel Segre
2009-04-24
Recent theologies concerning God's death after Auschwitz are mathematically formalized through a suitable temporalization of G\\"{o}del's Ontological Proof.
Numbers, proof and 'all that jazz'.
2007-01-08
CHAPTER 1. Numbers, proof and 'all that jazz'. There is a fundamental difference between mathematics and other sciences. In most sciences, one does ...
Using Proof-Planning to Investigate the Structure of Proof in Non-Standard Analysis
Maclean, Ewen
2004-01-01
This thesis presents an investigation into the structure of proof in non-standard analysis using proof-planning. The theory of non-standard analysis, developed by Robinson in the 1960s, offers a more algebraic way of ...
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
April 23, 2003 Statistical Learning : CVloo stability is sufficient for
Poggio, Tomaso
@ai.mit.edu #12;Abstract Solutions of learning problems by Empirical Risk Minimization (ERM) and almost-ERM when- ror. Our second observation is that for bounded loss classes, CVloo stability of ERM is necessary and sufficient for consistency of ERM. We conclude that CVloo stability is the weakest form of stability which
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
Algorithmic proof of Barnette's Conjecture
I. Cahit
2009-04-22
In this paper we have given an algorithmic proof of an long standing Barnette's conjecture (1969) that every 3-connected bipartite cubic planar graph is hamiltonian. Our method is quite different than the known approaches and it rely on the operation of opening disjoint chambers, bu using spiral-chain like movement of the outer-cycle elastic-sticky edges of the cubic planar graph. In fact we have shown that in hamiltonicity of Barnette graph a single-chamber or double-chamber with a bridge face is enough to transform the problem into finding specific hamiltonian path in the cubic bipartite graph reduced. In the last part of the paper we have demonstrated that, if the given cubic planar graph is non-hamiltonian then the algorithm which constructs spiral-chain (or double-spiral chain) like chamber shows that except one vertex there exists (n-1)-vertex cycle.
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-01
Typical synthetic aperture RADAR (SAR) imaging employs a co-located RADAR transmitter and receiver. Bistatic SAR imaging separates the transmitter and receiver locations. A bistatic SAR configuration allows for the transmitter and receiver(s) to be in a variety of geometric alignments. Sandia National Laboratories (SNL) / New Mexico proposed the deployment of a ground-based RADAR receiver. This RADAR receiver was coupled with the capability of digitizing and recording the signal collected. SNL proposed the possibility of creating an image of targets the illuminating SAR observes. This document describes the developed hardware, software, bistatic SAR configuration, and its deployment to test the concept of a ground-based bistatic SAR. In the proof-of-concept experiments herein, the RADAR transmitter will be a commercial SAR satellite and the RADAR receiver will be deployed at ground level, observing and capturing RADAR ground/targets illuminated by the satellite system.
Other trigonometric proofs of Pythagoras theorem
Nuno Luzia
2015-02-23
Only very recently a trigonometric proof of the Pythagoras theorem was given by Zimba \\cite{1}, many authors thought this was not possible. In this note we give other trigonometric proofs of Pythagoras theorem by establishing, geometrically, the half-angle formula $\\cos\\theta=1-2\\sin^2 \\frac{\\theta}{2}$.
Inverse Spectral Problem Proof of Main Result
Stanhope, Liz
Inverse Spectral Problem Proof of Main Result Geodesics on Weighted Projective Spaces Zuoqin Wang of Main Result Inverse Spectral Geometry Main Result Inverse Spectral Geometry Manifold setting: (M, g Proof of Main Result Inverse Spectral Geometry Main Result Inverse Spectral Geometry Manifold setting
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
A proof complexity generator Jan Krajcek #+
KrajĂĂ¨ek, Jan
A proof complexity generator Jan Krajâ??ďż˝Ĺ¸cek #+ Academy of Sciences and Charles University, Prague for which the pigeonhole principle is exponentially hard. We define a class of generators generalizing g]) that g is hard (resp. exponentially hard) proof complexity generator for P. The #Âformulas have been
A proof complexity generator Jan Krajicek
KrajĂĂ¨ek, Jan
A proof complexity generator Jan KrajÂ´icek Academy of Sciences and Charles University, Prague for which the pigeonhole principle is exponentially hard. We define a class of generators generalizing g) proof complexity generator for P. The -formulas have been defined in [7] and independently in [2
PROOF COPY 001502FCT Science and
Rajasekaran, Sanguthevar
PROOF COPY 001502FCT PROOF COPY 001502FCT Journal of Fuel Cell Science and Technology Technical Processing, Mathematical Modeling, Fuel Cell, Computing Applications 1 Introduction The importance of the fuel cell technology has been felt in the past three decades as revealed by the amount
Towards a sufficiency-driven business model: experiences and opportunities
Bocken, N. M. P.; Short, S. W.
2015-07-29
world consumption patterns ever more rapid discarding and replacement of products and materials, and in the case of food, over-consumption reaching endemic proportions in some countries. Political, social and economic systems champion and celebrate... -driven business models might look like. Reference is made to existing sufficiency perspectives (e.g. Dyllick and Hockerts, 2002; Bocken et al., 2014) and the waste hierarchy (Price and Joseph, 2000) as a well-established framework to evaluate the environmental...
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-27
We show that, if PA has no non-standard models, then P=/=NP. We then give an elementary proof that PA has no non-standard models.
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
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
Buy, Ugo A.
. A. Emerson. Design and Synthesis of Synchronization Skeletons Using BranchingTime Temporal Logic Machinery, 18, 8, Au gust 1975. [4] E. W. Dijkstra. Cooperating Sequential Processes, Technical Report EWD have wedded our proof lattice machinery to the RSTG construction. This means that proof flow
A non-topological proof for the impossibility of k-set agreement
Attiya, Hagit
A non-topological proof for the impossibility of k-set agreement Hagit Attiya1 and Armando Casta~neda to t processes crash. This means that #12;2 Attiya and Casta~neda if the number of failures is strictly smaller
Kostic, Milivoje M.
Treatise with Reasoning Proof of the Second Law of Energy Degradation: The Carnot Cycle Proof-Expansion -- Reversible Conservation of Energy and Entropy V. Physical Explanation and Reasoning Proof of the Second Law WITH REASONING PROOF OF THE SECOND LAW OF ENERGY DEGRADATION - M. KOSTIC, APRIL 6, 2006 PAGE 2 of 16 The theory
Fox, Jared B.; Ghan, Steven J.
2004-03-01
Assessments of the effects of climate change typically require information at scales of 10 km or less. In regions with complex terrain, much of the spatial variability in climate (temperature, precipitation, and snow water) occurs on scales below 10 km. Since the typical global climate model simulations grid size is more than 200 km, it is necessary to develop models with much higher resolution. Unfortunately, no datasets currently produced are both highly accurate and provide data at a sufficiently high resolution. As a result, current global climate models are forced to ignore the important climate variations that occur below the 200 km scale. This predicament prompted the creation of a global hybrid dataset with information for precipitation, temperature, and relative humidity. The resulting dataset illustrated the importance of having high-resolution datasets and gives clear proof that regions with complex terrain require a fine resolution grid to give an accurate represent at ion of their climatology. For example, the Andes Mountains in Chile cause a temperature shift of more than 25C within the same area as a single 2.5 grid cell from the NCEP dataset. Fortunately the CRU, U.D., GPCP, and NCEP datasets, when hybridized, are able to provide both precision and satisfactory resolution with global coverage. This composite will enable the development of both high-resolution models and quality empirical downscaling methods--both of which are necessary for scientists to more accurately predict the effects of global climate change. Without accurate long-term forecasts, climatologists and policy makers will not have the tools they need to effectively reduce the negative effects human activity have on the earth.
India's baseline plan for nuclear energy self-sufficiency.
Bucher, R .G.; Nuclear Engineering Division
2009-01-01
India's nuclear energy strategy has traditionally strived for energy self-sufficiency, driven largely by necessity following trade restrictions imposed by the Nuclear Suppliers Group (NSG) following India's 'peaceful nuclear explosion' of 1974. On September 6, 2008, the NSG agreed to create an exception opening nuclear trade with India, which may create opportunities for India to modify its baseline strategy. The purpose of this document is to describe India's 'baseline plan,' which was developed under constrained trade conditions, as a basis for understanding changes in India's path as a result of the opening of nuclear commerce. Note that this treatise is based upon publicly available information. No attempt is made to judge whether India can meet specified goals either in scope or schedule. In fact, the reader is warned a priori that India's delivery of stated goals has often fallen short or taken a significantly longer period to accomplish. It has been evident since the early days of nuclear power that India's natural resources would determine the direction of its civil nuclear power program. It's modest uranium but vast thorium reserves dictated that the country's primary objective would be thorium utilization. Estimates of India's natural deposits vary appreciably, but its uranium reserves are known to be extremely limited, totaling approximately 80,000 tons, on the order of 1% of the world's deposits; and nominally one-third of this ore is of very low uranium concentration. However, India's roughly 300,000 tons of thorium reserves account for approximately 30% of the world's total. Confronted with this reality, the future of India's nuclear power industry is strongly dependent on the development of a thorium-based nuclear fuel cycle as the only way to insure a stable, sustainable, and autonomous program. The path to India's nuclear energy self-sufficiency was first outlined in a seminal paper by Drs. H. J. Bhabha and N. B. Prasad presented at the Second United Nations Conference on the Peaceful Uses of Atomic Energy in 1958. The paper described a three stage plan for a sustainable nuclear energy program consistent with India's limited uranium but abundant thorium natural resources. In the first stage, natural uranium would be used to fuel graphite or heavy water moderated reactors. Plutonium extracted from the spent fuel of these thermal reactors would drive fast reactors in the second stage that would contain thorium blankets for breeding uranium-233 (U-233). In the final stage, this U-233 would fuel thorium burning reactors that would breed and fission U-233 in situ. This three stage blueprint still reigns as the core of India's civil nuclear power program. India's progress in the development of nuclear power, however, has been impacted by its isolation from the international nuclear community for its development of nuclear weapons and consequent refusal to sign the Nuclear Nonproliferation Treaty (NPT). Initially, India was engaged in numerous cooperative research programs with foreign countries; for example, under the 'Atoms for Peace' program, India acquired the Cirus reactor, a 40 MWt research reactor from Canada moderated with heavy water from the United States. India was also actively engaged in negotiations for the NPT. But, on May 18, 1974, India conducted a 'peaceful nuclear explosion' at Pokharan using plutonium produced by the Cirus reactor, abruptly ending the era of international collaboration. India then refused to sign the NPT, which it viewed as discriminatory since it would be required to join as a non-nuclear weapons state. As a result of India's actions, the Nuclear Suppliers Group (NSG) was created in 1975 to establish guidelines 'to apply to nuclear transfers for peaceful purposes to help ensure that such transfers would not be diverted to unsafeguarded nuclear fuel cycle or nuclear explosive activities. These nuclear export controls have forced India to be largely self-sufficient in all nuclear-related technologies.
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
A proof of Price's Law on Schwarzschild black hole manifolds for all angular momenta
Roland Donninger; Wilhelm Schlag; Avy Soffer
2010-07-12
Price's Law states that linear perturbations of a Schwarzschild black hole fall off as $t^{-2\\ell-3}$ for $t \\to \\infty$ provided the initial data decay sufficiently fast at spatial infinity. Moreover, if the perturbations are initially static (i.e., their time derivative is zero), then the decay is predicted to be $t^{-2\\ell-4}$. We give a proof of $t^{-2\\ell-2}$ decay for general data in the form of weighted $L^1$ to $L^\\infty$ bounds for solutions of the Regge--Wheeler equation. For initially static perturbations we obtain $t^{-2\\ell-3}$. The proof is based on an integral representation of the solution which follows from self--adjoint spectral theory. We apply two different perturbative arguments in order to construct the corresponding spectral measure and the decay bounds are obtained by appropriate oscillatory integral estimates.
Euclidean proofs of projective geometry theorems /
Farner, Elmer Franklin
0, X, Y are col linear. J1 THEOREM 8 . If the hexagon, ABCDEF, be inscribed in a circle, the intersections, 0,N,M, of the pairs of sides, AB and DE, AF and CD, BC and EF, respectively, are coll inear. Proof: Ancle BCF = an^le OAF...
Truth and Proof: The Platonism of Mathematics
Koellner, Peter
3 Truth and Proof: The Platonism of Mathematics 1 What is the relation in mathematics between truth the Platonist (or platonist or realist) point of view toward mathematics. On the other hand, we learn mathematics by learning how to do things-- for example, to count, compute, solve equations, and more generally
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-28
An Explosion Proof Vehicle (EPV) having an interior substantially filled with an inert fluid creating an interior pressure greater than the exterior pressure. One or more flexible tubes provide the inert fluid and one or more electrical conductors from a control system to the vehicle. The vehicle is preferably used in subsurface tank inspection, whereby the vehicle is submerged in a volatile fluid.
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
Wireless Roadside Inspection Proof of Concept Test
Pennycook, Steve
Wireless Roadside Inspection Proof of Concept Test Final Report Rev 1.5 May 2007 #12;FOREWORD This study focuses on the ability of a Universal Wireless Inspection System to collect driver, vehicle, and carrier information; format a Safety Data Message Set from this information; and wirelessly transmit
Motivation Methodology Conclusions A Fault Tolerance Bisimulation Proof for
Francalanza, Adrian
Motivation Methodology Conclusions A Fault Tolerance Bisimulation Proof for Consensus Adrian of Somewhere and Elsewhere A Fault Tolerance Bisimulation Proof for Consensus #12;Motivation Methodology Conclusions Outline 1 Motivation 2 Methodology 3 Conclusions Adrian Francalanza, Matthew Hennessy Universities
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
Uncorrected Proof Copy Finding Genes by Using Computational Tools 85
Uncorrected Proof Copy Finding Genes by Using Computational Tools 85 Job: Plant Functional Genomics/Rev.02.03 Uncorrected Proof Copy #12;Uncorrected Proof Copy Finding Genes by Using Computational Tools 87 Computational Tools 89 Job: Plant Functional Genomics--Grotewold Compositor: Nettype Chapter: Chapter 6 Date: 3
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
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
Basing Obfuscation on Simple Tamper-Proof Hardware Assumptions
International Association for Cryptologic Research (IACR)
Basing Obfuscation on Simple Tamper-Proof Hardware Assumptions Nico D¨ottling, Thilo Mie, J¨orn M for obfuscation, and using tamper-proof hardware tokens to achieve general code obfuscation. Following this last on the security of this CRS. Keywords: Obfuscation, Stateless Tamper-Proof hardware, Universal Composability
Founding Cryptography on Tamper-Proof Hardware Tokens Vipul Goyal
International Association for Cryptologic Research (IACR)
Founding Cryptography on Tamper-Proof Hardware Tokens Vipul Goyal MSR India vipul of works have investigated using tamper-proof hardware tokens as tools to achieve a variety of cryp if the parties are allowed to generate and exchange tamper-proof hardware tokens. ˇ Unconditional non
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
A Framework for Game-Based Security Proofs David Nowak
International Association for Cryptologic Research (IACR)
A Framework for Game-Based Security Proofs David Nowak Research Center for Information Security, a cryptographic scheme must come with a proof that it satisfies some standard security properties. However, ideally, machine-checkable. A proof starts with the initial game which comes from the definition
Proof of the Quantum Null Energy Condition
Bousso, Raphael; Koeller, Jason; Leichenauer, Stefan; Wall, Aron C
2015-01-01
We prove the Quantum Null Energy Condition (QNEC), a lower bound on the stress tensor in terms of the second variation in a null direction of the entropy of a region. The QNEC arose previously as a consequence of the Quantum Focussing Conjecture, a proposal about quantum gravity. The QNEC itself does not involve gravity, so a proof within quantum field theory is possible. Our proof is somewhat nontrivial, suggesting that there may be alternative formulations of quantum field theory that make the QNEC more manifest. Our proof applies to free and superrenormalizable bosonic field theories, and to any points that lie on stationary null surfaces. An example is Minkowski space, where any point $p$ and null vector $k^a$ define a null plane $N$ (a Rindler horizon). Given any codimension-2 surface $\\Sigma$ that contains $p$ and lies on $N$, one can consider the von Neumann entropy $S_\\text{out}$ of the quantum state restricted to one side of $\\Sigma$. A second variation $S_\\text{out}^{\\prime\\prime}$ can be defined by...
ATAC Process Proof of Concept Final Report
Bri Rolston; Sarah Freeman
2014-03-01
Researchers at INL with funding from the Department of Energys Office of Electricity Delivery and Energy Reliability (DOE-OE) evaluated a novel approach for near real-time consumption of threat intelligence. Demonstration testing in an industry environment supported the development of this new process to assist the electric sector in securing their critical networks. This report provides the reader with an understanding of the methods used during this proof of concept project. The processes and templates were further advanced with an industry partner during an onsite assessment. This report concludes with lessons learned and a roadmap for final development of these materials for use by industry.
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
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....
Provability logics with quantifiers on proofs Rostislav E. Yavorsky \\Lambda
Yavorskiy, Rostislav
3752, fax (095) 1350555 rey@mi.ras.ru Abstract We study here extensions of the Artemov's logic of proofs
Carbone, Ludovico; Ciani, Giacomo; Dolesi, Rita; Hueller, Mauro; Tombolato, David; Vitale, Stefano; Weber, William Joseph; Cavalleri, Antonella
2007-02-15
We have measured surface-force noise on a hollow replica of a LISA proof mass surrounded by its capacitive motion sensor. Forces are detected through the torque exerted on the proof mass by means of a torsion pendulum in the 0.1-30 mHz range. The sensor and electronics have the same design as for the flight hardware, including 4 mm gaps around the proof mass. The measured upper limit for forces would allow detection of a number of galactic binaries signals with signal-to-noise ratio up to {approx_equal}40 for 1 yr integration. We also discuss how LISA Pathfinder will substantially improve this limit, approaching the LISA performance.
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
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
Digital Watermarking for Telltale Tamper Proofing and Authentication
Kundur, Deepa
Digital Watermarking for Telltale Tamper Proofing and Authentication DEEPA KUNDUR, STUDENT MEMBER the problem of fragile digital watermarking for the tamper proofing of still images. Applications of our domain of the image by quantizing the corresponding coefficients. Tamper detection is pos- sible
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
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
Tracking and evaluating economic self-sufficiency programs in moving to work housing authorities
Evans, Kathleen Nessa
2012-01-01
This thesis investigates the measurement and evaluation of economic self-sufficiency programs at the Cambridge Housing Authority (CHA). CHA has established a reputation as a leading innovator and implementer, but the agency ...
Proof of a Lorentz and Levi-Civita thesis
A. Loinger
2011-09-24
A formal proof of the thesis by Lorentz and Levi-Civita that the left-hand side of Einstein field equations represents the real energy-momentum-stress tensor of the gravitational field.
Computer-assisted proofs in geometry and physics
Minton, Gregory T. (Gregory Thomas)
2013-01-01
In this dissertation we apply computer-assisted proof techniques to two problems, one in discrete geometry and one in celestial mechanics. Our main tool is an effective inverse function theorem which shows that, in favorable ...
The Dynamic Creation of Induction Rules Using Proof Planning
Gow, Jeremy
A key problem in automating proof by mathematical induction is choosing an induction rule suitable for a given conjecture. Since Boyer & Moores NQTHM system the standard approach has been based on recursion analysis, ...
AN ALGEBRAIC PROOF OF ZAK'S INEQUALITY FOR THE ...
AN ALGEBRAIC PROOF OF ZAK'S INEQUALITY. FOR THE DIMENSION OF THE GAUSS IMAGE. ARon SImIs*, KAREn E. SmIth**, AnD BERnD UlRIch***. 1 .
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
Experiments in Automating Hardware Verification using Inductive Proof Planning
Cantu, Francisco; Bundy, Alan; Smaill, Alan; Basin, David
1996-01-01
We present a new approach to automating the verification of hardware designs based on planning techniques. A database of methods is developed that combines tactics, which construct proofs, using specifications of their ...
Proof Plans for the Correction of False Conjectures
Bundy, Alan; Monroy, Raul; Ireland, Andrew
1994-01-01
Theorem proving is the systematic derivation of a mathcmaticM proof from a set of axioms by the use of rules of inference. We ~re interested in a related but far less explored problem: the analysis and correction of ...
Basic Notions Main Theorems Voting Systems Proofs Summary Two Simple Ways to Rig an Election
Ponomarenko, Vadim
Basic Notions Main Theorems Voting Systems Proofs Summary Two Simple Ways to Rig an Election;Basic Notions Main Theorems Voting Systems Proofs Summary Outline Basic Notions Main Theorems Voting Systems Proofs Summary #12;Basic Notions Main Theorems Voting Systems Proofs Summary Basics Candidates, C
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
CIRCULATING MOVING BED COMBUSTION PROOF OF CONCEPT
Jukkola, Glen
2010-06-30
Circulating Moving Bed (CMB) combustion technology has its roots in traditional circulating fluidized bed technology and involves a novel method of solid fuel combustion and heat transfer. CMB technology represents a step change in improved performance and cost relative to conventional PC and FBC boilers. The CMB heat exchanger preheats the energy cycle working fluid, steam or air, to the high temperature levels required in systems for advanced power generation. Unique features of the CMB are the reduction of the heat transfer surfaces by about 60% as a result of the enhanced heat transfer rates, flexibility of operation, and about 30% lower cost over existing technology. The CMB Phase I project ran from July 2001 through March 2003. Its objective was to continue development of the CMB technology with a series of proof of concept tests. The tests were conducted at a scale that provided design data for scale up to a demonstration plant. These objectives were met by conducting a series of experiments in ALSTOM Powers Multi-use Test Facility (MTF). The MTF was modified to operate under CMB conditions of commercial interest. The objective of the tests were to evaluate gas-to-solids heat transfer in the upper furnace, assess agglomeration in the high temperature CMB bubbling bed, and evaluate solids-to-tube heat transfer in the moving bed heat exchanger. The Phase I program results showed that there are still some significant technical uncertainties that needed to be resolved before the technology can be confidently scaled up for a successful demonstration plant design. Work remained in three primary areas: scale up of gas to solid heat transfer high temperature finned surface design the overall requirements of mechanical and process design. The CMB Phase II workscope built upon the results of Phase I and specifically addressed the remaining technical uncertainties. It included a scaled MTF heat transfer test to provide the necessary data to scale up gas-to-solids heat transfer. A stress test rig was built and tested to provide validation data for a stress model needed to support high temperature finned surface design. Additional cold flow model tests and MTF tests were conducted to address mechanical and process design issues. This information was then used to design and cost a commercial CMB design concept. Finally, the MBHE was reconfigured into a slice arrangement and tested for an extended duration at a commercial CFB plant.
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
Poggio, Tomaso
2006-01-01
(ERM) and almost-ERM when the minimizer does not exist need to be consistent, so that they may and sufficient for consistency of ERM. Thus LOO stability is a weak form of stability that represents conditions for consistency of ERM. In particular, we conclude that a certain form of well
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
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
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
Providing proof: Desalination technology tested for efficiency, economics
Bentz, Laura
2012-01-01
stream_source_info Providing proof_desalination.pdf.txt stream_content_type text/plain stream_size 11200 Content-Encoding ISO-8859-1 stream_name Providing proof_desalination.pdf.txt Content-Type text/plain; charset=ISO-8859...-1 12 tx H2O Fall 2012 ] Story by Laura Bentz A revolutionary desalination technology, invented by a Texas A&M University professor, could give Texas water suppliers a new way to purify water. ?ough not yet ready for widescale production...
Hausdorf means and multipliers
McCabe, Thomas Francis
1968-01-01
) transformation since ? j ? for n f. m n+1 m+1 We now state an important theorem concerning the means t m for any Hausdorf transformation. (1. 1) THEOREM. [4, p. 250]. The general Hausdorf transformation is na m =0 Therei'ore the general Hausdorf matrix... 01 02 10 11 12 20 21 22 r 0 We call the numbers { t j the T means of the sequence { s j . m n In this thesis a particular type of matrix method, the general Hausdorf method, is studied. Let 6 be the exw 'matrix 6 = (6, , ) where 6. = (-1...
Stapp, Henry P.
2011-05-10
The principle of sufficient reason asserts that anything that happens does so for a reason: no definite state of affairs can come into being unless there is a sufficient reason why that particular thing should happen. This principle is usually attributed to Leibniz, although the first recorded Western philosopher to use it was Anaximander of Miletus. The demand that nature be rational, in the sense that it be compatible with the principle of sufficient reason, conflicts with a basic feature of contemporary orthodox physical theory, namely the notion that nature's response to the probing action of an observer is determined by pure chance, and hence on the basis of absolutely no reason at all. This appeal to pure chance can be deemed to have no rational fundamental place in reason-based Western science. It is argued here, on the basis of the other basic principles of quantum physics, that in a world that conforms to the principle of sufficient reason, the usual quantum statistical rules will naturally emerge at the pragmatic level, in cases where the reason behind nature's choice of response is unknown, but that the usual statistics can become biased in an empirically manifest way when the reason for the choice is empirically identifiable. It is shown here that if the statistical laws of quantum mechanics were to be biased in this way then the basically forward-in-time unfolding of empirical reality described by orthodox quantum mechanics would generate the appearances of backward-time-effects of the kind that have been reported in the scientific literature.
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
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
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
UncorrectedProof Computational Intelligence in Racing Games
Togelius, Julian
the evolution of different types of car controllers, modelling of players' driving styles, evolution of racingUncorrectedProof Computational Intelligence in Racing Games Julian Togelius, Simon M. Lucas- tionary algorithms and other forms of computational intelligence to various aspects of racing games. We
Lightweight and Privacy-Preserving Delegatable Proofs of Storage
International Association for Cryptologic Research (IACR)
Lightweight and Privacy-Preserving Delegatable Proofs of Storage Jia Xu1 , Anjia Yang1,2 , Jianying of storage (POR or PDP) is a cryptographic tool, which enables data owner or third party auditor to audit integrity of data stored remotely in a cloud storage server, without keeping a local copy of data
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
Proof-of-Principle Detonation Driven, Linear Electric Generator Facility
Texas at Arlington, University of
Proof-of-Principle Detonation Driven, Linear Electric Generator Facility Eric M. Braun, Frank K. Lu a generator and produce electricity.46 Since the majority of power in the world is generated by deflagrative is described in which a detonation-driven piston system has been integrated with a linear generator in order
Secure and Efficient Proof of Storage with Deduplication Qingji Zheng
International Association for Cryptologic Research (IACR)
to the success of cloud storage. So far, security and efficiency of cloud storage have been separately Security Keywords cloud storage, outsourced storage, proof of storage, dedu- plication, integrity checking. This has led to studies on cloud stor- age security and efficiency, which are, however, addressed
Security weakness in the Proof of Storage with Deduplication
International Association for Cryptologic Research (IACR)
) scheme for a secure and efficient cloud storage service [1]. Ex- ploiting the public verifiability [2Security weakness in the Proof of Storage with Deduplication Youngjoo Shin1 , Junbeom Hur2@cau.ac.kr Abstract. Achieving both security and efficiency is the challenging issue for a data outsourcing service
A direct proof of Ramsey's Theorem September 26, 2011
Coquand, Thierry
A direct proof of Ramsey's Theorem September 26, 2011 Introduction The infinite version of Ramsey an infinite monochromatic subset. However, W. Veldman [5] found an elegant version of Ramsey's Theorem such that R(xi1 , . . . , xik ). The intuitionistic Ramsey's Theorem states that the intersection of two
An Effective Proof that Open Sets are Ramsey Jeremy Avigad
Avigad, Jeremy
An Effective Proof that Open Sets are Ramsey Jeremy Avigad January 22, 1996 Abstract Solovay has formalizable in ATR0. 1 Introduction A plausible generalization of Ramsey's theorem asserts that for every two subset of X is in P, and X avoids P if no infinite subset of X is in P. A partition P is Ramsey
A direct proof of Ramsey's Theorem September 27, 2010
Coquand, Thierry
A direct proof of Ramsey's Theorem September 27, 2010 Introduction The infinite version of Ramsey an infinite monochromatic subset. However, W. Veldman [3] found an elegant version of Ramsey's Theorem such that R(xi1 , . . . , xik ). The intuitionistic Ramsey's Theorem states that the intersection of two
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
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
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
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
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 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
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-of-Principle Echo-enabled Harmonic Generation Free Electron...
Office of Scientific and Technical Information (OSTI)
ThesisDissertation: A Proof-of-Principle Echo-enabled Harmonic Generation Free Electron Laser Experiment at SLAC Citation Details In-Document Search Title: A Proof-of-Principle...
Necessary and sufficient conditions of freezing phenomena of quantum discord under phase damping
Bo You; Li-Xiang Cen
2012-06-27
We investigate the freezing phenomenon of quantum discord occurring in phase damping noise processes. By relating the expression of the time variation of the discord to the convex function of relative entropy, we obtain the necessary and sufficient conditions of the phenomenon for standard Bell-diagonal states. These conditions are applicable also to the phenomenon occurring in a non-Markovian dephasing process. Moreover, we show that the same condition and phenomenon coincide in a new sort of Bell-diagonal states beyond the standard form.
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-31
Partnering in Innovation, Inc. (Pi-Innovation) introduces an aqueous post-combustion carbon dioxide (CO?) capture system (Pi-CO?) that offers high market value by directly addressing the primary constraints limiting beneficial re-use markets (lowering parasitic energy costs, reducing delivered cost of capture, eliminating the need for special solvents, etc.). A highly experienced team has completed initial design, modeling, manufacturing verification, and financial analysis for commercial market entry. Coupled thermodynamic and thermal-hydraulic mass transfer modeling results fully support proof of concept. Pi-CO? has the potential to lower total cost and risk to levels sufficient to stimulate global demand for CO? from local industrial sources.
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
HYBRID PROOFS OF THE qBINOMIAL THEOREM AND OTHER IDENTITIES
Mc Laughlin, James
HYBRID PROOFS OF THE qÂBINOMIAL THEOREM AND OTHER IDENTITIES DENNIS EICHHORN, JAMES MC LAUGHLIN, AND ANDREW V. SILLS Abstract. We give ``hybrid'' proofs of the qÂbinomial theorem and other identities. The proofs are ``hybrid'' in the sense that we use parÂ tition arguments to prove a restricted version
HYBRID PROOFS OF THE q-BINOMIAL THEOREM AND OTHER IDENTITIES
Mc Laughlin, James
HYBRID PROOFS OF THE q-BINOMIAL THEOREM AND OTHER IDENTITIES DENNIS EICHHORN, JAMES MC LAUGHLIN, AND ANDREW V. SILLS Abstract. We give "hybrid" proofs of the q-binomial theorem and other identities. The proofs are "hybrid" in the sense that we use par- tition arguments to prove a restricted version
HYBRID PROOFS OF THE q-BINOMIAL THEOREM AND OTHER IDENTITIES
Mc Laughlin, James
HYBRID PROOFS OF THE q-BINOMIAL THEOREM AND OTHER IDENTITIES DENNIS EICHHORN, JAMES MC LAUGHLIN, AND ANDREW V. SILLS Abstract. We give "hybrid" proofs of the q-binomial theorem and other identities. The proofs are "hybrid" in the sense that we use par
On Efficient Non-Interactive Oblivious Transfer with Tamper-Proof Hardware
International Association for Cryptologic Research (IACR)
On Efficient Non-Interactive Oblivious Transfer with Tamper-Proof Hardware Maria Dubovitskaya by using tamper-proof hardware tokens. His construction only needs few evaluations of a block cipher-interactive string OT using tamper-proof hardware tokens. While from one side our tokens need to be stateful, our
Provable Security of Digital Signatures in the Tamper-Proof Device Model
International Association for Cryptologic Research (IACR)
Provable Security of Digital Signatures in the Tamper-Proof Device Model Nick Varnovsky Information by Varnovsky [1] who studied tamper- proof device model. Instead of access to random oracle each participant is provided with a tamper-proof device implementing a private-key cryptosystem. In this model was demonstrated
New Constructions for UC Secure Computation using Tamper-proof Hardware
International Association for Cryptologic Research (IACR)
New Constructions for UC Secure Computation using Tamper-proof Hardware Nishanth Chandran Vipul such trusted setup assumptions. In his model, the physical setup phase includes the parties exchanging tamper proof hard- ware tokens implementing some functionality. The tamper proof hardware is modeled so
Towards a Telltale Watermarking Technique for Tamper-Proofing Deepa Kundur and Dimitrios Hatzinakos
Kundur, Deepa
Towards a Telltale Watermarking Technique for Tamper-Proofing Deepa Kundur and Dimitrios Hatzinakos present a novel fragile watermark- ing scheme for the tamper-proofing of multimedia sig- nals. Unlike the signal is modified. We call such a technique a telltale tamper-proofing method. Our de- sign embeds
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
Aydin, Goker
A On-line Appendix. Proofs Proof of Lemma 1. The supplier's objective function (3) is piecewise). This is the optimal quantity pair for this model. Proof of Proposition 3. At optimality, from the supplier's optimal) 0, pn(t1, t2) 0, for t1, t2 {H, L}, for n = 1, 2, (A.2f) where tn n (s) is supplier-n's expected
Dibrell, Aquilla Gibbs, III
1968-01-01
=0 j Qn p m-n o and since (N, p ) is regular, p /P -& 0 for each fixed n. Hence, n m-n m-n ? & 0 as m -5 co for each n. mn Srnce ( )( ) defines a regular method, if N (s) -&s" (i. e. , if mn n s + s' (N, q )) then Z '4 N (s) ps' (and... summability method f defined by means of a matnx I = (c ) is conservative if and only if mn (1, 2) there exists H independent of m such that =Z /c (1. 3) for each n, c ~ 6 as m+m; mn n (1. 4) c = Z c H 6 when marco. m nmn f is regular if and only if...
Evaluating Effectiveness of Tamper Proofing on Dynamic Graph Software Watermarks
Khiyal, Malik Sikandar Hayat; Amjad, Sehrish; Khalil, M Shahid
2010-01-01
For enhancing the protection level of dynamic graph software watermarks and for the purpose of conducting the analysis which evaluates the effect of integrating two software protection techniques such as software watermarking and tamper proofing, constant encoding technique along with the enhancement through the idea of constant splitting is proposed. In this paper Thomborson technique has been implemented with the scheme of breaking constants which enables to encode all constants without having any consideration about their values with respect to the value of watermark tree. Experimental analysis which have been conducted and provided in this paper concludes that the constant encoding process significantly increases the code size, heap space usage, and execution time, while making the tamper proofed code resilient to variety of semantic preserving program transformation attacks.
Ren, Shaolei
Can Data Center Become Water Self-Sufficient? Kishwar Ahmed, Mohammad A. Islam, Shaolei Ren, Gang- tion and water demand (for cooling), air-side economizer has been increasingly adopted to cool down adoption in data cen- ters, potentially leading to water self-sufficiency with- out connecting to water
Fawcett, Ricky Lee; Kramer, George Leroy Jr.
2003-03-01
Transportation (DOT) and the Nuclear Regulatory Commission (NRC) to provide for the protection of the public and the environment; historically these regulations have proven quite sufficient. Even so, when the Department of Energy (DOE) makes radioactive materials shipments, that are deemed to be a major federal activity, regulations under the National Environmental Policy Act require that public input on safety issues be sought. This requirement leads to interactions with State, Tribal and local stakeholders that often result in the imposition of extra-regulatory requirements requirements beyond those prescribed by DOT and NRC regulations. Unfortunately, these additional requirements virtually always increase costs and delay schedules, and usually do so without significantly increasing, and possibly even decreasing overall transportation safety. We believe that this problem arises because of efforts to achieve stakeholder consensus rather than stakeholder consent, where consensus connotes universal agreement with all aspects of the program, while consent, as used here, is simple agreement with the overall course of action. Gaining consensus entails extensive negotiations because all aspects and requirements of the project must be agreed to by each stakeholder. Gaining consent, on the other hand, requires only that stakeholders be satisfied that the project, as planned, provides adequately for their safety needs. This article addresses the issue of consent versus consensus and proposes a systematic, decision science process for reaching consent. Key steps in this proposed process are early identification and involvement of stakeholders, compilation of their concerns, perceptions, needs, causes, and translation of that information into an appropriate set of derived requirements. These derived requirements, along with already-established DOT and NRC regulatory requirements, form the necessary and sufficient conditions for safe transportation and for obtaining stakeholder consent.
Celine Cattoen; Matt Visser
2005-08-30
The physically relevant singularities occurring in FRW cosmologies had traditionally been thought to be limited to the "big bang", and possibly a "big crunch". However, over the last few years, the zoo of cosmological singularities considered in the literature has become considerably more extensive, with "big rips" and "sudden singularities" added to the mix, as well as renewed interest in non-singular cosmological events such as "bounces" and "turnarounds". In this article we present a complete catalogue of such cosmological milestones, both at the kinematical and dynamical level. First, using generalized power series, purely kinematical definitions of these cosmological events are provided in terms of the behaviour of the scale factor a(t). The notion of a "scale-factor singularity'" is defined, and its relation to curvature singularities (polynomial and differential) is explored. Second, dynamical information is extracted by using the Friedmann equations (without assuming even the existence of any equation of state) to place constraints on whether or not the classical energy conditions are satisfied at the cosmological milestones. We use these considerations to derive necessary and sufficient conditions for the existence of cosmological milestones such as bangs, bounces, crunches, rips, sudden singularities, and extremality events. Since the classification is extremely general, the corresponding results are to a high degree model-independent: In particular, we provide a complete characterization of the class of bangs, crunches, and sudden singularities for which the dominant energy condition is satisfied.
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 ...
Coherent electron cooling proof of principle instrumentation design
Gassner D. M.; Litvinenko, V.; Michnoff, R.; Miller, T.; Minty, M.; Pinayev, I.
2012-04-15
The goal of the Coherent Electron Cooling Proof-of-Principle (CeC PoP) experiment being designed at RHIC is to demonstrate longitudinal (energy spread) cooling before the expected CD-2 for eRHIC. The scope of the experiment is to longitudinally cool a single bunch of 40 GeV/u gold ions in RHIC. This paper will describe the instrumentation systems proposed to meet the diagnostics challenges. These include measurements of beam intensity, emittance, energy spread, bunch length, position, orbit stability, and transverse and temporal alignment of electron and ion beams.
A Simple Proof of the Ramsey Savings Equation
El-Hodiri, Mohamed
1978-01-01
SIAM REVIEW Vol. 20, No. 1, January 1978 A SIMPLE PROOF OF THE RAMSEY SAVINGS EQUATION* MOHAMED EL-HODIRI? In [2] Ramsey considers the problem of minimizing the accumulated differ- ence between bliss B and net utility U(x)- V(a), where U... no new "truths." It merely makes it easier to understand what is already a widely held belief. Ramsey considers the case where T . By taking the limit, and arguing around a bit, we can show that the Euler equations in our simple problem will still hold...
ReACT Methodology Proof of Concept Final Report
Bri Rolston; Sarah Freeman
2014-03-01
The Department of Energys Office of Electricity Delivery and Energy Reliability (DOE-OE) funded INL Researchers to evaluate a novel process for assessing and mitigating cyber security risks. The proof of concept level of the method was tested in an industry environment. This case study, plus additional case studies will support the further development of the method into a tool to assist industry in securing their critical networks. This report provides an understanding of the process developed in the Response Analysis and Characterization Tool (ReACT) project. This report concludes with lessons learned and a roadmap for final development of these tools for use by industry.
Idaho Instructions for Filing Proof of Beneficial Use | Open 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 QA:QAsource History View NewTexas: Energy Resources JumpNewTexas:HydrothermallyIFB Agro|How toProof of Beneficial Use
File:Proof2.pdf | 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 QA:QAsource History View New Pages Recent ChangesPower-in-practice-and-theory-teacher.pdf Jump to:Proof2.pdf Jump to:
Climate-Proofing Energy Systems | 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 QA:QA J-E-1 SECTIONRobertsdale, Alabama (Utility Company) Jump to:NewMinnesota:Protection Action2BZoneClimate-Proofing
An elementary proof of the uniqueness of the solutions of linear odes
Mauro Patrăo
2009-10-07
In this note, we present an elementary proof of the uniqueness of the solutions of the initial value problems of linear ordinary differential equations (odes).
An elementary proof of the robustness of the linear hyperbolic flows
Mauro Patrăo
2009-09-20
We present an elementary proof that the qualitative picture of a linear hyperbolic flow is insensitive to slight measurements errors in its associated vector field.
Mobile Data Collection Applications: A Proof of Concept
Chang, J
2006-09-20
This project's goal is to provide a proof of concept for mobile data collection applications, and identify the best ways such applications could be implemented and used. Such an application should decrease the time and resources users now need to devote to redundant data processes, and provide an easy of locating and retrieving data at a later time. The two types of available mobile devices, Personal Digital Assistants and Tablet Personal Computers, each have their particular strengths that suggest themselves for certain types of applications. As such, parallel data collection applications have been developed, with a common web application for uploading information to the database. While these aspects have been developed and proven, it still remains to refine these applications, develop the tables to hold their data, and field-test with users for their feedback.
Quantum Error Correcting Codes and the Security Proof of the BB84 Protocol
Ramesh Bhandari
2014-08-30
We describe the popular BB84 protocol and critically examine its security proof as presented by Shor and Preskill. The proof requires the use of quantum error correcting codes called the Calderbank-Shor-Steanne (CSS) quantum codes. These quantum codes are constructed in the quantum domain from two suitable classical linear codes, one used to correct for bit-flip errors and the other for phase-flip errors. Consequently, as a prelude to the security proof, the report reviews the essential properties of linear codes, especially the concept of cosets, before building the quantum codes that are utilized in the proof. The proof considers a security entanglement-based protocol, which is subsequently reduced to a "Prepare and Measure" protocol similar in structure to the BB84 protocol, thus establishing the security of the BB84 protocol. The proof, however, is not without assumptions, which are also enumerated. The treatment throughout is pedagogical, and this report, therefore, serves a useful tutorial for researchers, practitioners, and students, new to the field of quantum information science, in particular, quantum cryptography, as it develops the proof in a systematic manner, starting from the properties of linear codes, and then advancing to the quantum error correcting codes, which are critical to the understanding of the security proof.
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
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
Basic definitions and first examples The main result and its proof
Kuske, Dietrich
Basic definitions and first examples The main result and its proof Concluding remarks Finite of November 2011 Lutz H. StrĂźngmann FAP Groups #12;Basic definitions and first examples The main result and its proof Concluding remarks Contents 1 Basic definitions and first examples 2 The main result and its
PROOF COPY [BP10610] 133839PRB [BP10610]133839PRB
Adler, Joan
PROOF COPY [BP10610] 133839PRB PROOF COPY [BP10610]133839PRB Simulation of nanodiamond 2008 Hydrogen plays a significant role in the formation of nanodiamond, terminating diamond surfaces, there are only few calculations that simulate nanodiamond development directly and even less that do so
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
Uniqueness of the surface wave speed: a proof that is independent of the Stroh formalism
Mielke, Alexander
-space was first proved by Barnett et al (1973). The existence proof was first given by Barnett and Lothe (1974), and an alternative proof was subsequently given by Lothe and Barnett (1976) in terms of the surface impedance matrix defined first by Ingebrigtsen and Tonning (1969). Barnett and Lothe's existence argument was later made
PROOF COPY 034509PHP Effectiveness of electron-cyclotron and transmission resonant heating
Kaganovich, Igor
condition. For a low rf, the ECR heating is not effective. Conditions of strong transmission resonancesPROOF COPY 034509PHP PROOF COPY 034509PHP Effectiveness of electron-cyclotron and transmission resonant heating in inductively coupled plasmas Oleg V. Polomarov and Constantine E. Theodosiou University
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
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
PROOF COPY 003305JCP Second-order quadrupole-shielding effects in magic-angle spinning
Frydman, Lucio
PROOF COPY 003305JCP PROOF COPY 003305JCP Second-order quadrupole-shielding effects in magic interaction can give rise to shielding-derived terms that are not entirely averaged away by conventional magic-order quadrupole effects makes such quadrupole-shielding cross-terms observable. Although this may present
PROOF COPY 007140JCP Quadrupolar-shielding cross-correlations in solid state nuclear
Frydman, Lucio
PROOF COPY 007140JCP PROOF COPY 007140JCP Quadrupolar-shielding cross-correlations in solid state nuclear magnetic resonance NMR , from cross-correlations between the quadrupolar and shielding couplings of the shielding interaction into the realm of conventional detection. Such terms include the antisymmetric
A Rollator-Mounted Wayfinding System for the Elderly: Proof-of-Concept Design
Kulyukin, Vladimir
A Rollator-Mounted Wayfinding System for the Elderly: Proof-of-Concept Design and Preliminary to this research venue by describing the proof-of-concept design and preliminary technical evaluation of i efforts, iWalker emphasizes a smart world (SW) perspective. A SW is a physical space equipped
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
The effect of fumigation of different ethalnol proofs on a turbocharged diesel engine
Hayes, T.K.; Savage, L.D.; White, R.A.; Sorenson, S.C.
1988-01-01
Lower proof ethanol is shown to be a viable alternate fuel for diesel engines. This type of ethanol can be manufactured economically in small distillation plants from renewable grain supplies. The effect of fumigation of ethanol proofs with a multipoint injection system on a turbocharged direct injection diesel engine at 2,400 rpm and three loads was studied. The addition of the water in the lower proofs reduced the maximum rate of pressure rise and peak pressure from pure ethanol levels. Both of these values were significantly higher than those for diesel operation. HC and CO emissions increased several times over diesel levels at all loads and also with increased ethanol fumigation. NO emissions were reduced below diesel levels for lower proof ethanol at all loads. The tests at this rpm and load with a a multipoint ethanol injection system indicate that lower (100 or 125) proof provides optimum performance.
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
An isolated, surface-expressed I domain of the integrin L 2 is sufficient for strong adhesive
Springer, Timothy A.
An isolated, surface-expressed I domain of the integrin L 2 is sufficient for strong adhesive- tutively adhered to intercellular adhesion molecule-1 (ICAM-1) substrates. Locking the I domain closed abolished constitutive and activatable adhesion. The isolated locked-open I domain bound as well
Mean Field Analysis of Quantum Annealing Correction
Shunji Matsuura; Hidetoshi Nishimori; Tameem Albash; Daniel A. Lidar
2015-10-26
Quantum annealing correction (QAC) is a method that combines encoding with energy penalties and decoding to suppress and correct errors that degrade the performance of quantum annealers in solving optimization problems. While QAC has been experimentally demonstrated to successfully error-correct a range of optimization problems, a clear understanding of its operating mechanism has been lacking. Here we bridge this gap using tools from quantum statistical mechanics. We study analytically tractable models using a mean-field analysis, specifically the $p$-body ferromagnetic infinite-range transverse-field Ising model as well as the quantum Hopfield model, in the zero temperature limit. We demonstrate that for $p=2$, where the quantum phase transition is of second order, QAC pushes the phase transition to infinite transverse field strength. For $p\\ge3$, where the quantum phase transition is of first order, QAC softens the closing of the gap for small energy penalty values and prevents its closure for sufficiently large energy penalty values. Thus QAC provides protection from excitations that occur near the quantum critical point.
Wu, Jie
Homotopy Groups Braid Groups Main Results Methods of the Proofs Remarks Mirror Reflections Braid Groups Main Results Methods of the Proofs Remarks Artin Braids and Homotopy Groups Homotopy Groups Braid Groups Main Results Methods of the Proofs Remarks #12;Homotopy Groups Braid Groups Main Results
Electron mean free path from angle-dependent photoelectron spectroscopy of aerosol particles
Goldmann, Maximilian; Miguel-Sánchez, Javier; West, Adam H. C.; Yoder, Bruce L.; Signorell, Ruth
2015-06-14
We propose angle-resolved photoelectron spectroscopy of aerosol particles as an alternative way to determine the electron mean free path of low energy electrons in solid and liquid materials. The mean free path is obtained from fits of simulated photoemission images to experimental ones over a broad range of different aerosol particle sizes. The principal advantage of the aerosol approach is twofold. First, aerosol photoemission studies can be performed for many different materials, including liquids. Second, the size-dependent anisotropy of the photoelectrons can be exploited in addition to size-dependent changes in their kinetic energy. These finite size effects depend in different ways on the mean free path and thus provide more information on the mean free path than corresponding liquid jet, thin film, or bulk data. The present contribution is a proof of principle employing a simple model for the photoemission of electrons and preliminary experimental data for potassium chloride aerosol particles.
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-31
Partnering in Innovation, Inc. (Pi-Innovation) introduces an aqueous post-combustion carbon dioxide (CO2) capture system (Pi-CO2) that offers high market value by directly addressing the primary constraints limiting beneficial re-use markets (lowering parasitic energy costs, reducing delivered cost of capture, eliminating the need for special solvents, etc.). A highly experienced team has completed initial design, modeling, manufacturing verification, and financial analysis for commercial market entry. Coupled thermodynamic and thermal-hydraulic mass transfer modeling results fully support proof of concept. Pi-CO2 has the potential to lower total cost and risk to levels sufficient to stimulate global demand for CO2 from local industrial sources.
Firearm equipped with live round inhibiting means and method of making same
Baehr, D.G.
1990-11-13
A firearm is disclosed having live round inhibiting means mounted in the barrel of the firearm which permits a blank cartridge to be loaded into a firearm and fired while preventing the loading and firing of a live round. The live round inhibiting means comprise shaft means mounted in the barrel of the firearm and which extends a sufficient length into the barrel at a point just beyond the chamber portion of the firearm to engage the bullet portion of a live round to prevent it from properly chambering, while permitting a blank cartridge to be loaded into the firearm and fired without engaging the live round-inhibiting shaft means. 9 figs.
Firearm equipped with live round inhibiting means and method of making same
Baehr, Donald G. (Albuquerque, NM)
1990-01-01
A firearm is disclosed having live round inhibiting means mounted in the barrel of the firearm which permits a blank cartridge to be loaded into a firearm and fired while preventing the loading and firing of a live round. The live round inhibiting means comprise shaft means mounted in the barrel of the firearm and which extends a sufficient length into the barrel at a point just beyond the chamber portion of the firearm to engage the bullet portion of a live round to prevent it from properly chambering, while permitting a blank cartridge to be loaded into the firearm and fired without engaging the live round-inhibiting shaft means.
Cooling by heating a nanodroplet - proof of concept
J. J. Papini
2011-05-10
Recently [3] predicted the existence of an intriguing new phenomenon. It was shown that if temperature is suddenly raised at the surface of a sphere the temperature in the interior initially decreases. The authors of [3] gave a thorough analysis explaining the physics leading to this remarkable effect. They linked the existence of the phenomenon to the subtle thermomechanical coupling between displacement and temperature in a sphere that is able to expand freely and showed that the effect is expected to be largest close to the glasstransition temperature of the perturbed material. The prediction was based on the assumption of quasi-elasticity where the sample is much smaller than the wavelength of acoustic waves at frequencies of relevance. Being in the inertia free limit they could ignore the acceleration term in the thermoviscoelastic equations of motion. Here we give the first empirical proof of existence of the effect by performing molecular dynamics simulations of a supercooled Kob-Andersen binary mixture of Lennard-Jones particles forming a droplet consisting of 500.000 particles. We show that the phenomenon is real even when inertia cannot be disregarded.
SALT DAMAGE CRITERION PROOF-OF-CONCEPT RESEARCH
Kerry L. DeVries; Kirby D. Mellegard; Gary D. Callahan
2001-12-01
This document is the annual technical progress report for Department of Energy Contract No. DE-FC26-00NT41026 entitled Proof-of-Concept Research for an Advanced Design Criterion to Improve Working Gas Capacity for Natural Gas Storage Caverns in Salt Formations. This report covers the reporting period from October 1, 2000, through September 30, 2001. During this reporting period, the project was initiated and work was performed to develop structural models that will be used to evaluate two compressed natural gas storage caverns in the McIntosh Dome northwest of Mobile, Alabama. Information necessary to define the structural models include site-specific stress, temperature, geometry, stratigraphy, and operating scenarios in the dome and for the caverns. Additionally, material model development for the salt at the McIntosh Dome was initiated. Material model development activities include acquisition of salt core for testing, laboratory testing, and regression analyses to determine site-specific model parameter values that describe the behavior of salt around a storage cavern. Although not performed during this reporting period, the information and models developed will be used to perform advanced design storage cavern analyses for the Bay Gas caverns to determine the operating pressure ranges to maintain stable conditions.
Pearlmutter, Barak
\\Lambda John B. Hampshire II Dept. of Electrical and Computer Engineering Carnegie Mellon University are not new. Duda and Hart formulated the proof for a simple perceptron in [6] (pp. 154155). More recently
Equivalence Proofs for Multi-Layer Perceptron Classifiers and the Bayesian Discriminant Function
Pearlmutter, Barak
John B. Hampshire II Dept. of Electrical and Computer Engineering Carnegie Mellon University Pittsburgh are not new. Duda and Hart formulated the proof for a simple perceptron in [6] (pp. 154-155). More recently
Moisture proof columnar Cesium Iodide (CsI) layers for gas avalanche microdetectors
Park, I.J.; Cho, H.S.; Hong, W.S.; Perez-Mendez, V.; Kadyk, J.
1999-01-01
Moisture Proof Columnar Cesium Iodide (CsI) Layers for GasHalogen lamp ) Abstract Cesium iodide columnar layers havingargon-ethane mixtures. The cesium iodide columns are damaged
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...
UNIFORM PROOFS OF q-SERIES-PRODUCT IDENTITIES SARACHAI KONGSIRIWONG AND ZHI-GUO LIU
UNIFORM PROOFS OF q-SERIES-PRODUCT IDENTITIES SARACHAI KONGSIRIWONG AND ZHI-GUO LIU Abstract Bruce C. Berndt for his helpful guidance. 1 #12;2 SARACHAI KONGSIRIWONG AND ZHI-GUO LIU we use this idea
UNIFORM PROOFS OF q-SERIES-PRODUCT IDENTITIES SARACHAI KONGSIRIWONG AND ZHI-GUO LIU
AND ZHI-GUO LIU Abstract. In this paper we give a simple proof of the Jacobi triple produ* *ct. 1 #12; 2 SARACHAI KONGSIRIWONG AND ZHI-GUO LIU we use this idea and the triple
"Proofs and Fundamentals: A First Course in Abstract Mathematics" Ethan D. Bloch
Bloch, Ethan
ERRATA FOR "Proofs and Fundamentals: A First Course in Abstract Mathematics" Ethan D. Bloch Birkh let me know by email or regular mail at the following address: Ethan D. Bloch Bard College Annandale
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
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
Dennis, Louise; Bundy, Alan; Green, Ian
1999-01-01
Coinduction is a proof rule. It is the dual of induction. It allows reasoning about non--well--founded structures such as lazy lists or streams and is of particular use for reasoning about equivalences. A central difficulty ...
Mean Curvature Driven Ricci Flow
Victor Tapia
2009-03-11
We obtain the evolution equations for the Riemann tensor, the Ricci tensor and the scalar curvature induced by the mean curvature flow. The evolution for the scalar curvature is similar to the Ricci flow, however, negative, rather than positive, curvature is preserved. Our results are valid in any dimension.
Geometry and Meaning Dominic Widdows
Geometry and Meaning Dominic Widdows (MAYA Design) Stanford, CA: CSLI Publications (CSLI lecture of Grassmann's Ausdehnungslehre. (page 68) Weyl of course contributed extensively to quantum mechanics the case for Grassmann's obscurity is unproven. Chapters 1Â6 are really an elementary introduction
Book_Dijke & Heldin_1402045425_Proof1_March 17, 2006 SMADS IN MESENCHYMAL DIFFERENTIATION
Derynck, Rik
34 35 36 37 38 39 40 41 42 43 44 Book_Dijke & Heldin_1402045425_Proof1_March 17, 2006 CHAPTER 5 SMADS types. 93 P. ten Dijke and C.-H. Heldin (eds.), Smad Signal Transduction, 93112. Š 2006 Springer 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 Book_Dijke & Heldin_1402045425_Proof1_March
UC-Secure Multi-Session OT Using Tamper-Proof Hardware Tokens
International Association for Cryptologic Research (IACR)
UC-Secure Multi-Session OT Using Tamper-Proof Hardware Tokens Kaoru Kurosawa1 Ryo Nojima2 Le Trieu-no,phong}@nict.go.jp Abstract In this paper, we show the first UC-secure multi-session OT proto- col using tamper-proof hardware under the Many DH assumption or under the DDHE assumption (in the standard model). Keywords: tamper
Wireless Roadside Inspection Proof of Concept Test Final Report
Capps, Gary J; Franzese, Oscar; Knee, Helmut E; Plate, Randall S; Lascurain, Mary Beth
2009-03-01
The U.S. Department of Transportation (DOT) FMCSA commissioned the Wireless Roadside Inspection (WRI) Program to validate technologies and methodologies that can improve safety through inspections using wireless technologies that convey real-time identification of commercial vehicles, drivers, and carriers, as well as information about the condition of the vehicles and their drivers. It is hypothesized that these inspections will: -- Increase safety -- Decrease the number of unsafe commercial vehicles on the road; -- Increase efficiency -- Speed up the inspection process, enabling more inspections to occur, at least on par with the number of weight inspections; -- Improve effectiveness -- Reduce the probability of drivers bypassing CMV inspection stations and increase the likelihood that fleets will attempt to meet the safety regulations; and -- Benefit industry -- Reduce fleet costs, provide good return-on-investment, minimize wait times, and level the playing field. The WRI Program is defined in three phases which are: Phase 1: Proof of Concept Test (POC) Testing of commercially available off-the-shelf (COTS) or near-COTS technology to validate the wireless inspection concept. Phase 2: Pilot Test Safety technology maturation and back office system integration Phase 3: Field Operational Test Multi-vehicle testing over a multi-state instrumented corridor This report focuses on Phase 1 efforts that were initiated in March, 2006. Technical efforts dealt with the ability of a Universal Wireless Inspection System (UWIS) to collect driver, vehicle, and carrier information; format a Safety Data Message Set from this information; and wirelessly transmit a Safety Data Message Set to a roadside receiver unit or mobile enforcement vehicle.
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-28
Mochon's proof [Moc07] of existence of quantum weak coin flipping with arbitrarily small bias is a fundamental result in quantum cryptography, but at the same time one of the least understood. Though used several times as a black box in important follow-up results [Gan09, CK09, AS10, CK11, KZ13] the result has not been peer-reviewed, its novel techniques (and in particular Kitaev's point game formalism) have not been applied anywhere else, and an explicit protocol is missing. We believe that truly understanding the existence proof and the novel techniques it relies on would constitute a major step in quantum information theory, leading to deeper understanding of entanglement and of quantum protocols in general. In this work, we make a first step in this direction. We simplify parts of Mochon's construction considerably, making about 20 pages of analysis in the original proof superfluous, clarifying some other parts of the proof on the way, and presenting the proof in a way which is conceptually easier to grasp. We believe the resulting proof of existence is easier to understand, more readable, and certainly verifiable. Moreover, we analyze the resources needed to achieve a bias $\\epsilon$ and show that the number of qubits is $O(\\log 1/\\epsilon)$, while the number of rounds is $(1/\\epsilon)^{O(1/\\epsilon)}$. A true understanding of the proof, including Kitaev's point game techniques and their applicability, as well as completing the task of constructing an explicit (and also simpler and more efficient) protocol, are left to future work.
SU-E-T-215: Interactive Dose Shaping: Proof of Concept Study for Six Prostate Patients
Kamerling, CP [The Institute of Cancer Research and The Royal Marsden NHS Foundation Trust, London (United Kingdom); German Cancer Research Center (DKFZ), Heidelberg (Germany); Ziegenhein, P; Oelfke, U [The Institute of Cancer Research and The Royal Marsden NHS Foundation Trust, London (United Kingdom); Sterzing, F [German Cancer Research Center (DKFZ), Heidelberg (Germany)
2014-06-01
Purpose: To provide a proof of concept study for IMRT treatment planning through interactive dose shaping (IDS) by utilising the respective tools to create IMRT treatment plans for six prostate patients. Methods: The IDS planning paradigm aims to perform interactive local dose adaptations of an IMRT plan without compromising already established valuable dose features in real-time. Various IDS tools are available in our in-house treatment planning software Dynaplan and were utilised to create IMRT treatment plans for six patients with an adeno-carcinoma of the prostate. The sequenced IDS treatment plans were compared to conventionally optimised clinically approved plans (9 beams, co-planar). The starting point consisted of open fields. The IDS tools were utilised to sculpt dose out of the rectum and bladder. For each patient, several IDS plans were created, with different trade-offs between organ sparing and target coverage. The reference dose distributions were imported into Dynaplan. For each patient, the IDS treatment plan with a similar or better trade-off between target coverage and OAR sparing was selected for plan evaluation, guided by a physician. Pencil beam dose calculation was performed on a grid with a voxel size of 1.95×1.95×2.0 mm{sup 3}. D98%, D2%, mean dose and dose-volume indicators as specified by Quantec were calculated for plan evaluation. Results: It was possible to utilise the software prototype to generate treatment plans for prostate patient geometries in 1545 minutes. Individual local dose adaptations could be performed in less than one second. The average differences compared to the reference plans were for the mean dose: 0.0 Gy (boost) and 1.2 Gy (CTV), for D98%: ?1.1 Gy and for D2%: 1.1 Gy (both target volumes). The dose-volume quality indicators were well below the Quantec constraints. Conclusion: Real-time treatment planning utilising IDS is feasible and has the potential to be implemented clinically. Research at The Institute of Cancer Research is supported by Cancer Research UK under Programme C46/A10588.
The Proof of the Proxy: Altmetrics, Impact, & Use
Potvin, Sarah
2013-06-04
and applying altmetrics the challenge: what is it we?re trying to measure? What is the impact of the research? Is it making a scholarly impact? Is it contributing to the public good? [And what does it mean to do so? Policy & practice?] Who... + Monolithic + Mysterious + Misapplied + brian glanz, ?monolith and mini,? http://www.flickr.com/photos/brianglanz/1095706242/ altmetrics manifesto: critique & vision + We rely on filters to make sense of the scholarly literature, but the narrow...
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-01
Responding to the the Fukushima Dai-ichi nuclear power plant (1F-NPP) accident, the earthquake and the tsunami proof of the fuel handling system (FHS) in Japan sodium-cooled fast reactor (JSFR) is studied. In the earthquake proof estimation, the margin of seismic resistance against the earthquake of the 1F-envelop condition and the sloshing behavior in the EVST is estimated. In terms of the tsunami proof, the scenario to lead fuel subassemblies into the stable cooling state and the potential of the cooling system is introduced in case of loss of the emergency power supply. As a result, it is clear that JSFR FHS originally could already be prepared to have the potential to prevent the release of radioactive material. (authors)
ANALYSIS OF SAFETY RELIEF VALVE PROOF TEST DATA TO OPTIMIZE LIFECYCLE MAINTENANCE COSTS
Gross, Robert; Harris, Stephen
2007-08-01
Proof test results were analyzed and compared with a proposed life cycle curve or hazard function and the limit of useful life. Relief valve proof testing procedures, statistical modeling, data collection processes, and time-in-service trends are presented. The resulting analysis of test data allows for the estimation of the PFD. Extended maintenance intervals to the limit of useful life as well as methodologies and practices for improving relief valve performance and reliability are discussed. A generic cost-benefit analysis and an expected life cycle cost reduction concludes that $90 million maintenance dollars might be avoided for a population of 3000 valves over 20 years.
Longmore, Steven N; Keto, Eric; Zhang, Qizhou; Qiu, Keping
2010-01-01
If star formation proceeds by thermal fragmentation and the subsequent gravitational collapse of the individual fragments, how is it possible to form fragments massive enough for O and B stars in a typical star-forming molecular cloud where the Jeans mass is about 1Msun at the typical densities (10^4 cm^-3) and temperatures (10K)? We test the hypothesis that a first generation of low-mass stars may heat the gas enough that subsequent thermal fragmentation results in fragments >=10Msun, sufficient to form B stars. We combine ATCA and SMA observations of the massive star-forming region G8.68-0.37 with radiative transfer modeling to derive the present-day conditions in the region and use this to infer the conditions in the past, at the time of core formation. Assuming the current mass/separation of the observed cores equals the fragmentation Jeans mass/length and the region's average density has not changed, requires the gas temperature to have been 100K at the time of fragmentation. The postulated first-generat...
Terasoma, Tomohide
. . . . . . Variety of lines Main theorem Kummer coverings Precise statement Proof Singularities://gauss.ms.u-tokyo.ac.jp Arrangements of Hyperplanes, in Hokkaido University, 13th Aug 2009 #12;. . . . . . Variety of lines Main theorem Kummer coverings Precise statement Proof Singularities Contents . ..1 Variety of lines . ..2 Main
Thomann, Laurent
The model problem Idea of the proof of the main results On stabilization of small solutions work with Scipio Cuccagna (University of Trieste) #12;The model problem Idea of the proof of the main results Outline 1 The model problem The NLD: general setting Further notations Main results The case
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
Environmental Science & Policy 7 (2004) 369383 Science and public policy: what's proof
Callender, Craig
2004-01-01
Environmental Science & Policy 7 (2004) 369383 Science and public policy: what's proof got to do the effects of our choices. Š 2004 Elsevier Ltd. All rights reserved. Keywords: Environmental policy; Science for opponents of environmental action to argue that the scientific basis for purported harms is uncertain
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
HYPERGEOMETRIC PROOF OF A CURIOUS IDENTITY OF LYONS, PAULE AND RIESE
Krattenthaler, Christian
HYPERGEOMETRIC PROOF OF A CURIOUS IDENTITY OF LYONS, PAULE AND RIESE C. Krattenthaler Institut Girard Desargues, Universit'e Claude Bernard Lyon-I 21, avenue Claude Bernard, F-69622 Villeurbanne Cedex, France E-mail: kratt@euler.univ-lyon
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
Formal Proof of a Wave Equation Resolution Scheme: the Method Error
Mayero, Micaela
-dimensional acoustic wave equation are well-known to be convergent. We present a comprehensive formalization words: partial differential equation, acoustic wave equation, nu- merical scheme, Coq formal proofs 1 propagation models, the acoustic wave equation in a one-dimensional space domain, for it is a prototype model
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
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
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
Switching Lemma for Bilinear Tests and Constant-size NIZK Proofs for Linear Subspaces
International Association for Cryptologic Research (IACR)
Switching Lemma for Bilinear Tests and Constant-size NIZK Proofs for Linear Subspaces Charanjit S of America Sunnyvale, CA 94085, USA October 7, 2014 Abstract We state a switching lemma for tests on adversarial responses involving bilinear pairings in hard groups, where the tester can effectively switch
Introduction Main result Manner of proof Usable hyperbolicity and SRB measures
Climenhaga, Vaughn
Introduction Main result Manner of proof Usable hyperbolicity and SRB measures Vaughn Climenhaga University of Toronto August 12, 2011 Joint work with Dmitry Dolgopyat and Yakov Pesin #12;Introduction Main and otherwise 2 Main result Existence of an SRB measure Maps on the boundary of Axiom A: Slowdown, no shear Maps
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
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
A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on -Protocols
International Association for Cryptologic Research (IACR)
A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on -Protocols (Full Version) Jos present a comprehensive spec- ification language and a certifying compiler for ZK-PoK protocols based on -protocols and composition techniques known in literature. The compiler allows the fully automatic
Algorithmic Tamper-Proof (ATP) Security : Theoretical Foundations for Security Against
Malkin, Tal
Algorithmic Tamper-Proof (ATP) Security : Theoretical Foundations for Security Against Hardware Tampering Rosario Gennaro 1 , Anna Lysyanskaya 2 , Tal Malkin 3 , Silvio Micali 4 , and Tal Rabin 1 1 IBM T may completely break under (feasible) attacks that tamper with the secret key. In this paper we
Algorithmic Tamper-Proof (ATP) Security: Theoretical Foundations for Security Against
Lysyanskaya, Anna
Algorithmic Tamper-Proof (ATP) Security: Theoretical Foundations for Security Against Hardware Tampering Rosario Gennaro1 , Anna Lysyanskaya2 , Tal Malkin3 , Silvio Micali4 , and Tal Rabin1 1 IBM T under (feasible) attacks that tamper with the secret key. In this paper we propose a theoretical
An Adaptation of ProofPlanning to Declarer Play in Bridge ?
Basin, David
An Adaptation of ProofPlanning to Declarer Play in Bridge ? Ian Frank David Basin Alan Bundy Department of Artificial Intelligence University of Edinburgh 80 South Bridge Edinburgh EH1 1HN Scotland Abstract. We present Finesse, a system that forms optimal plans for declarer play in the game of Bridge
An alternative proof of Elezovi\\'c-Giordano-Pe\\v{c}ari\\'c's theorem
Qi, Feng
2009-01-01
In the present note, an alternative proof is supplied for Theorem~1 in [N. Elezovi\\'c, C. Giordano and J. Pe\\v{c}ari\\'c, \\textit{The best bounds in Gautschi's inequality}, Math. Inequal. Appl. \\textbf{3} (2000), 239\
Biomechanical assessment of the individual risk of rupture of cerebral aneurysms: a proof of concept
Nicoud, Franck
Biomechanical assessment of the individual risk of rupture of cerebral aneurysms: a proof Augustin Fliche 34295 Montpellier Cedex 5 1 #12;Abstract This study is a step towards a new biomechanical variations may be used as the basis of a biomechanical index of rupture risk. Keywords: FSI, cerebral
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
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
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
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
MasterProof Functional Halt Positions of Rotary F0F1-ATPase Correlated with
Junge, Wolfgang
. coli) translocates ions. Both portions are stepping rotary engines. The eight different subunitsMasterProof Functional Halt Positions of Rotary F0F1-ATPase Correlated with Crystal Structures˝AQ1, University of Osnabru¨ck, D-49069 Osnabru¨ck, Germany ABSTRACT The F0F1-ATPase is a rotary molecular motor
A New, Harder Proof That Continuous Functions With Schwarz Derivative 0 Are Lines
Ash, J. Marshall
functions denoted by capital Roman letters or by Greek letters will be real-valued functions of a real variable, and all functions denoted by lower case Roman letters will be maps from R2 to R. The above limit ; whenever the right hand side exists. The next, and more or less climactic, step of the proof
Integrated Reasoning and Proof Choice Point Selection in the Jahob System
Rinard, Martin
provides a general integrated reasoning framework, which enables multiple automated reasoning systemsIntegrated Reasoning and Proof Choice Point Selection in the Jahob System (Mechanisms for Program reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis
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
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
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
Tsuyoshi Ito; Hirotada Kobayashi; Daniel Preda; Xiaoming Sun; Andrew C. -C. Yao
2008-04-11
A central question in quantum information theory and computational complexity is how powerful nonlocal strategies are in cooperative games with imperfect information, such as multi-prover interactive proof systems. This paper develops a new method for proving limits of nonlocal strategies that make use of prior entanglement among players (or, provers, in the terminology of multi-prover interactive proofs). Instead of proving the limits for usual isolated provers who initially share entanglement, this paper proves the limits for "commuting-operator provers", who share private space, but can apply only such operators that are commutative with any operator applied by other provers. Commuting-operator provers are at least as powerful as usual isolated but prior-entangled provers, and thus, limits for commuting-operator provers immediately give limits for usual entangled provers. Using this method, we obtain an n-party generalization of the Tsirelson bound for the Clauser-Horne- Shimony-Holt inequality for every n. Our bounds are tight in the sense that, in every n-party case, the equality is achievable by a usual nonlocal strategy with prior entanglement. We also apply our method to a 3-prover 1-round binary interactive proof for NEXP. Combined with the technique developed by Kempe, Kobayashi, Matsumoto, Toner and Vidick to analyze the soundness of the proof system, it is proved to be NP-hard to distinguish whether the entangled value of a 3-prover 1-round binary-answer game is equal to 1 or at most 1-1/p(n) for some polynomial p, where n is the number of questions. This is in contrast to the 2-prover 1-round binary-answer case, where the corresponding problem is efficiently decidable. Alternatively, NEXP has a 3-prover 1-round binary interactive proof system with perfect completeness and soundness 1-2^{-poly}.
Neutrino Mean Free Path in Neutron Star
P. T. P. Hutauruk
2010-07-22
Have been calculated the differential cross section and mean free path of neutrino of neutrino interaction in dense matter.
Enabling Security in Cloud Storage SLAs with CloudProof Raluca Ada Popa Jacob R. Lorch David Molnar,dmolnar,helenw,lizhuang}@microsoft.com ABSTRACT Several cloud storage systems exist today, but none of them provide security guaranteesProof, a secure storage system specifically de- signed for the cloud. In CloudProof, customers can not only detect
Richard Cleve; Dmitry Gavinsky; Rahul Jain
2007-07-12
We show that, for any language in NP, there is an entanglement-resistant constant-bit two-prover interactive proof system with a constant completeness vs. soundness gap. The previously proposed classical two-prover constant-bit interactive proof systems are known not to be entanglement-resistant. This is currently the strongest expressive power of any known constant-bit answer multi-prover interactive proof system that achieves a constant gap. Our result is based on an "oracularizing" property of certain private information retrieval systems, which may be of independent interest.
Kim, M.; Hong, S.; Miller, D. J.; Dugundji, J.; Wardle, B. L. (Materials Science Division); (MIT)
2011-12-15
Mechanical behavior of micron-scale cantilevers with a distributed, flexible proof mass is investigated to understand proof mass size effects on the performance of microelectromechanical system energy harvesters. Single-crystal silicon beams with proof masses of various lengths were fabricated using focused ion beam milling and tested using atomic force microscopy. Comparison of three different modeling results with measured data reveals that a 'two-beam' method has the most accurate predictive capability in terms of both resonant frequency and strain. Accurate strain prediction is essential because energy harvested scales with strain squared and maximum strain will be a design limit in fatigue.
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-15
Mellin-Barnes (MB) representations have become a widely used tool for the evaluation of Feynman loop integrals appearing in perturbative calculations of quantum field theory. Some of the MB integrals may be solved analytically in closed form with the help of the two Barnes lemmas which have been known in mathematics already for one century. The original proofs of these lemmas solve the integrals by taking infinite series of residues and summing these up via hypergeometric functions. This paper presents new, elegant proofs for the Barnes lemmas which only rely on the well-known basic identity of MB representations, avoiding any series summations. They are particularly useful for presenting and proving the Barnes lemmas to students of quantum field theory without requiring knowledge on hypergeometric functions. The paper also introduces and proves an additional lemma for a MB integral {integral}dz involving a phase factor exp ({+-}i{pi}z).
A Direct Proof of Global Existence for the Dirac-Klein-Gordon Equations in
Fang, Yung-Fu
A Direct Proof of Global Existence for the Dirac-Klein-Gordon Equations in One Space Dimension Yung . (2) The matrices ľ are defined by 0 = I2 0 0 -I2 , 1 = 0 1 -1 0 , (3) 1991 Mathematics Subject Council at Taiwan, NSC90-2115-M006-025. 1 #12;2 Y.F. FANG where I2 is the 2 × 2 identity matrix, the wave
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-01
Coherent electron cooling (CEC) has a potential to significantly boost luminosity of high-energy, high-intensity hadron colliders. To verify the concept we conduct proof-of-the-principle experiment at RHIC. In this paper, we describe the current experimental setup to be installed into 2 o'clock RHIC interaction regions. We present current design, status of equipment acquisition and estimates for the expected beam parameters.
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-01
In this paper we consider symmetric games where a large number of players can be in any one of d states. We derive a limiting mean field model and characterize its main properties. This mean field limit is a system of coupled ordinary differential equations with initial-terminal data. For this mean field problem we prove a trend to equilibrium theorem, that is convergence, in an appropriate limit, to stationary solutions. Then we study an N+1-player problem, which the mean field model attempts to approximate. Our main result is the convergence as N{yields}{infinity} of the mean field model and an estimate of the rate of convergence. We end the paper with some further examples for potential mean field games.
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
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
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
2006-10-27
1980; Hethcote et al., 1981; Plant and Wilson, 1986; Taylor and Karlin, 1998; Feng. 97 and Thieme, 2000a,b; ... we give only a heuristic argument. The ordinary ...
2004-04-30
We have the first case of a precursory chain reported in advance of a subsequent strong earthquake .... The envelope of all the circles is the border of 151. R-
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-23
The following study of recursive naming units sought to test the methods of meaning predictability outlined in tekauers (2005a) onomasiological account of word-formation. One of his experiments was repeated with new ...
Personal meanings of death among early adolescents
Fitch, Starla Dianne
1978-01-01
PERSONAL MEANINGS OF DEATH AMONG EARLY ADOLESCENTS A Thesis by Starla Dianne Fitch Submitted to the Graduate College of Texas A&M University in partial filfillment of the requirement for the degree of MASTER OF SCIENCE December, 1978 Major... Subject; Sociology PERSONAL MEANINGS OF DEATH AMONG EARLY ADOLESCENTS A Thesis by Starla Dianne Fitch Approved as to style and content by: (Chairman of Committee) / / / / J ea'd of Department) i (Member) mber) December, 1978 ABSTRACT...
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
Supply Chain Based Solution to Prevent Fuel Tax Evasion: Proof of Concept Final Report
Capps, Gary J; Lascurain, Mary Beth; Franzese, Oscar; Earl, Dennis Duncan; West, David L; McIntyre, Timothy J; Chin, Shih-Miao; Hwang, Ho-Ling; Connatser, Raynella M; Lewis Sr, Samuel Arthur; Moore, Sheila A
2011-12-01
The goal of this research was to provide a proof-of-concept (POC) system for preventing non-taxable (non-highway diesel use) or low-taxable (jet fuel) petrochemical products from being blended with taxable fuel products and preventing taxable fuel products from cross-jurisdiction evasion. The research worked to fill the need to validate the legitimacy of individual loads, offloads, and movements by integrating and validating, on a near-real-time basis, information from global positioning system (GPS), valve sensors, level sensors, and fuel-marker sensors.
Critical Percolation Exploration Path and SLE(6): a Proof of Convergence
Federico Camia; Charles M. Newman
2006-11-07
It was argued by Schramm and Smirnov that the critical site percolation exploration path on the triangular lattice converges in distribution to the trace of chordal SLE(6). We provide here a detailed proof, which relies on Smirnov's theorem that crossing probabilities have a conformally invariant scaling limit (given by Cardy's formula). The version of convergence to SLE(6) that we prove suffices for the Smirnov-Werner derivation of certain critical percolation crossing exponents and for our analysis of the critical percolation full scaling limit as a process of continuum nonsimple loops.
Computer Assisted 'Proof' of the Global Existence of Periodic Orbits in the Rössler System
A. E. Botha; W. Dednam
2014-08-14
The numerical optimized shooting method for finding periodic orbits in nonlinear dynamical systems was employed to determine the existence of periodic orbits in the well-known R\\"ossler system. By optimizing the period $T$ and the three system parameters, $a$, $b$ and $c$, simultaneously, it was found that, for any initial condition $(x_0,y_0,z_0) \\in \\Re^3$, there exists at least one set of optimized parameters corresponding to a periodic orbit passing through $ (x_0,y_0,z_0)$. After a discussion of this result it was concluded that its analytical proof may present an interesting new mathematical challenge.
Barrie, S.L.; Carpenter, G.S.; Crockett, A.B.
1997-04-01
The Idaho National Engineering and Environmental Laboratory Environmental Technologies Proof-of-Concept Project was initiated for the expedited development of new or conceptual technologies in support of groundwater fate, transport, and remediation; buried waste characterization, retrieval, and treatment; waste minimization/pollution prevention; and spent fuel handling and storage. In Fiscal Year 1996, The Idaho National Engineering and Environmental Laboratory proposed 40 development projects and the Department of Energy funded 15. The projects proved the concepts of the various technologies, and all the technologies contribute to successful environmental management.
S5 3 lacks the fmp (another proof) 1 August 2000
Kurucz, Agi
.2. (8n 2 !) if w j= ' n and wR 2 w 0 then w 0 j= ' n as well. Proof. By induction on n: Assume w 0 6j; #8; #8; #8; #8; #8; #8; Then u j= d 01 by (2), v j= p by (b), thus w 6j= ' 0 . Now assume w j= ' n+1 . Then, by commutativity, there are u; v with: u w 0 u ' n+1 w u d 01 u ' n ^ p e u e v #8; #8; #8; #8
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
Gaudet, Matthieu
2012-01-01
We demonstrate here a proof-of-concept experiment that microelectromechanical systems (MEMS) can be actuated using photoelectrowetting. In order to demonstrate this, a 30 \\mu m thick aluminum cantilever is actuated using an ordinary white light source. A deflection of 56 \\mu m is observed using a light irradiance equal to \\approx 1000 W m-2 at a bias of 7 V. The deflection of the cantilever relies on the recently observed photoelectrowetting effect [Sci. Rep.1, 184 (2011)]. Such "actuation at a distance" could be useful for optical addressing and control of autonomous wireless sensors, MEMS and microsystems.
Idaho Request for Extension of Time to Submit Proof of Beneficial Use (DWR
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QAsource History View NewTexas: Energy Resources JumpNewTexas:HydrothermallyIFB Agro|How toProofForm 204) | Open
Idaho Statement of Completion for Submitting Proof of Beneficial Use (DWR
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QAsource History View NewTexas: Energy Resources JumpNewTexas:HydrothermallyIFB Agro|How toProofFormSociety
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
Reinventing Superfund means de-inventing'' superfund
McFarland, C.J. )
1994-03-01
The White House claims there are some things the federal government does that it could do better and other things it should not do at all. It is in this light that the federal government should delegate responsibility for Superfund to the states. Various factors that drove the federalization of many environmental programs in the 1970s and 1980s no longer apply for Superfund. Air and water pollution programs were federalized partly because states feared businesses would relocate to friendlier'', less environmentally stringent areas. States would not impose sufficiently stringent environmental controls, because pursuing tougher standards meant committing economic suicide. Thus, uniform air and water pollution standards were implemented on a federal level to eliminate business flight. Superfund, by contrast, imposes costs based wholly on past activities. One state's determination to rededicate its waste sites quickly and more stringently than another state has little effect on a business's location decisions. Relocating a plant does not change where the waste previously was disposed.
Iskin, M. [Department of Physics, Koc University, Rumelifeneri Yolu, TR-34450 Sariyer, Istanbul (Turkey)
2010-11-15
The standard mean-field theory for the Mott-insulator-superfluid phase transition is not sufficient to describe the Mott-insulator-paired-superfluid phase transition. Therefore, by restricting the two-species Bose-Hubbard Hamiltonian to the subspace of paired particles, and using perturbation theory, here we derive an analytic mean-field expression for the Mott-insulator-paired-superfluid transition boundary.
Report for slot cutter proof-of-principle test, Buried Waste Containment System project. Revision 1
NONE
1998-05-21
Several million cubic feet of hazardous and radioactive waste was buried in shallow pits and trenches within many US Department of Energy (US DOE) sites. The pits and trenches were constructed similarly to municipal landfills with both stacked and random dump waste forms such as barrels and boxes. Many of the hazardous materials in these waste sites are migrating into groundwater systems through plumes and leaching. On-site containment is one of the options being considered for prevention of waste migration. This report describes the results of a proof-of-principle test conducted to demonstrate technology for containing waste. This proof-of-principle test, conducted at the RAHCO International, Inc., facility in the summer of 1997, evaluated equipment techniques for cutting a horizontal slot beneath an existing waste site. The slot would theoretically be used by complementary equipment designed to place a cement barrier under the waste. The technology evaluated consisted of a slot cutting mechanism, muck handling system, thrust system, and instrumentation. Data were gathered and analyzed to evaluate the performance parameters.
Proofs and advice in general physical theories: a trade-off between states and dynamics?
Ciarán M. Lee; Matty J. Hoban
2015-10-15
Quantum theory presents us with the tools for potential computational and communication complexity advantages over classical theory. It has been suggested that this quantum advantage in both tasks is because quantum theory has both entangled states and entangling dynamics. Within a framework of general physical theories, one can construct theories that excel even quantum theory at communication tasks but at the cost of faring worse at computational tasks, and vice versa. So while quantum computation and communication complexity are sub-optimal when considered separately in this framework, quantum theory achieves a trade-off in power between the two. Is such a trade-off a general feature of theories in this framework? In this work we provide strong evidence for the existence of such a trade-off by utilising tools from computational complexity, in particular the tools of computations with advice and proofs. We give general bounds on the complexity of these scenarios and use them to argue that quantum theory achieves an optimal balance in the trade-off. If such a conjecture is borne out, it would provide a reason why nature chose quantum theory over every other theory in this framework. One of our results provides a new proof that QMA is contained in PP which does not make use of any uniquely quantum structure, and thus may be of independent interest.
Proof of principle report for in-tank moisture monitoring using an active neutron probe
Watson, W.T.
1993-12-01
This document establishes the proof of principle for use of a neutron probe to measure moisture concentrations in ferrocyanide waste tanks at the Hanford Site. Computer modeling and experiments with a modified neutron probe have shown that neutron-based measurements will provide accurate moisture determinations in Hanford Site ferrocyanide waste tanks. Moisture measurement using neutron moderation and diffusion is an established and extensively documented technology for the well logging industry. Sophisticated neutron transport modeling and calibrations with known moisture concentrations have provided the necessary developmental analyses and validations. Proof of principle was accomplished using the existing in-tank neutron surveillance tool and its support equipment. A minor, inexpensive hardware modification permitted extending the use of the existing probe to moisture measurements. A limited moisture calibration was performed using the modified in-tank neutron probe, and the results were used to adjust model parameters. Scan data from three ferrocyanide tanks have been obtained using the modified in-tank neutron probe, and interpretation of these scans is in progress. Modeling analyses and experimental test results have provided information that will be used to develop a prototype neutron device for improved in-tank moisture monitoring at the Hanford Site. Now a prototype device must be assembled, tested, and fully calibrated in known moisture ferrocyanide waste simulants.
Fibers and fabrics with insulating, water-proofing, and flame-resistant properties
Hrubesh, Lawrence W.; Poco, John F.; Coronado, Paul R.
2004-04-20
Fibers, and fabrics produced from the fibers, are made water repellent, fire-retardant and/or thermally insulating by filling void spaces in the fibers and/or fabrics with a powdered material. When the powder is sufficiently finely divided, it clings tenaciously to the fabric's fibers and to itself, resisting the tendency to be removed from the fabric.
Karthik Balakrishnan; Ke-Xun Sun; Abdul Alfauwaz; Ahmad Aljadaan; Mohammed Almajeed; Muflih Alrufaydah; Salman Althubiti; Homoud Aljabreen; Sasha Buchman; Robert L Byer; John Conklin; Daniel DeBra; John Hanson; Eric Hultgren; Turki Al Saud; Seiya Shimizu; Michael Soulage; Andreas Zoellner
2012-02-03
Precise control over the potential of an electrically isolated proof mass is necessary for the operation of devices such as a Gravitational Reference Sensor (GRS) and satellite missions such as LISA. We show that AlGaN UV LEDs operating at 255 nm are an effective substitute for Mercury vapor lamps used in previous missions because of their ability to withstand space qualification levels of vibration and thermal cycling. After 27 thermal and thermal vacuum cycles and 9 minutes of 14.07 g RMS vibration, there is less than 3% change in current draw, less than 15% change in optical power, and no change in spectral peak or FWHM (full width at half maximum). We also demonstrate UV LED stimulated photoemission from a wide variety of thin film carbide proof mass coating candidates (SiC, Mo2C, TaC, TiC, ZrC) that were applied using electron beam evaporation on an Aluminum 6061-T6 substrate. All tested carbide films have measured quantum efficiencies of 3.8-6.8*10^-7 and reflectivities of 0.11-0.15, which compare favorably with the properties of previously used gold films. We demonstrate the ability to control proof mass potential on an 89 mm diameter spherical proof mass over a 20 mm gap in a GRS-like configuration. Proof mass potential was measured via a non-contact DC probe, which would allow control without introducing dynamic forcing of the spacecraft. Finally we provide a look ahead to an upcoming technology demonstration mission of UV LEDs and future applications toward charge control of electrically isolated proof masses.
Beyond the mean field in the particle-vibration coupling scheme
Baldo, M; Colo', G; Rizzo, D; Sciacchitano, L
2015-01-01
The Energy Density Functional theory is one of the most used methods developed in nuclear structure. It is based on the assumption that the energy of the ground state is a functional only of the density profile. The method is extremely successful within the effective force approach, noticeably the Skyrme or Gogny forces, in reproducing the nuclear binding energies and other bulk properties along the whole mass table. Although the Density Functional is in this case represented formally as the Hartree-Fock mean field of an effective force, the corresponding single-particle states in general do not reproduce the phenomenology particularly well. To overcome this difficulty, a strategy has been developed where the effective force is adjusted to reproduce directly the single particle energies, trying to keep the ground state energy sufficiently well reproduced. An alternative route, that has been developed along several years, for solving this problem is to introduce the mean field fluctuations, as represented by t...
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-15
We construct a stochastic maximum principle (SMP) which provides necessary conditions for the existence of Nash equilibria in a certain form of N-agent stochastic differential game (SDG) of a mean-field type. The information structure considered for the SDG is of a possible asymmetric and partial type. To prove our SMP we take an approach based on spike-variations and adjoint representation techniques, analogous to that of S. Peng (SIAM J. Control Optim. 28(4):966-979, 1990) in the optimal stochastic control context. In our proof we apply adjoint representation procedures at three points. The first-order adjoint processes are defined as solutions to certain mean-field backward stochastic differential equations, and second-order adjoint processes of a first type are defined as solutions to certain backward stochastic differential equations. Second-order adjoint processes of a second type are defined as solutions of certain backward stochastic equations of a type that we introduce in this paper, and which we term conditional mean-field backward stochastic differential equations. From the resulting representations, we show that the terms relating to these second-order adjoint processes of the second type are of an order such that they do not appear in our final SMP equations. A comparable situation exists in an article by R. Buckdahn, B. Djehiche, and J. Li (Appl. Math. Optim. 64(2):197-216, 2011) that constructs a SMP for a mean-field type optimal stochastic control problem; however, the approach we take of using these second-order adjoint processes of a second type to deal with the type of terms that we refer to as the second form of quadratic-type terms represents an alternative to a development, to our setting, of the approach used in their article for their analogous type of term.
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-30
The security of quantum communication using a weak coherent source requires an accurate knowledge of the source's mean photon number. Finite calibration precision or an active manipulation by an attacker may cause the actual emitted photon number to deviate from the known value. We model effects of this deviation on the security of three quantum communication protocols: the Bennett-Brassard 1984 (BB84) quantum key distribution (QKD) protocol without decoy states, Scarani-Acin-Ribordy-Gisin 2004 (SARG04) QKD protocol, and a coin-tossing protocol. For QKD, we model both a strong attack using technology possible in principle, and a realistic attack bounded by today's technology. To maintain the mean photon number in two-way systems, such as plug-and-play and relativistic quantum cryptography schemes, bright pulse energy incoming from the communication channel must be monitored. Implementation of a monitoring detector has largely been ignored so far, except for ID Quantique's commercial QKD system Clavis2. We scrutinize this implementation for security problems, and show that designing a hack-proof pulse-energy-measuring detector is far from trivial. Indeed the first implementation has three serious flaws confirmed experimentally, each of which may be exploited in a cleverly constructed Trojan-horse attack. We discuss requirements for a loophole-free implementation of the monitoring detector.
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
The role of literal meaning in metaphor
Coleman, Martin Allen
1996-01-01
or original meaning of words remain active in their metaphorical setting. " ' This is a foundational premise of his theory of metaphor. Next Davidson considers the notion that metaphor is a kind of ambiguity, and it derives its force Jrom a wavering between...
An Explanation for Beta's Mean-reversion
Bodkin, Connor Matthew
2013-09-26
the small non-growth stocks' betas will be far removed from the market average of one and the large companies will be very close to one. Preliminary results have confirmed that small non-growth stocks have means' far from one and that large stocks have...
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
Alstone, Peter; Jacobson, Arne; Mills, Evan
2010-08-26
Efforts to promote rechargeable electric lighting as a replacement for fuel-based light sources in developing countries are typically predicated on the notion that lighting service levels can be maintained or improved while reducing the costs and environmental impacts of existing practices. However, the extremely low incomes of those who depend on fuel-based lighting create a need to balance the hypothetically possible or desirable levels of light with those that are sufficient and affordable. In a pilot study of four night vendors in Kenya, we document a field technique we developed to simultaneously measure the effectiveness of lighting service provided by a lighting system and conduct a survey of lighting service demand by end-users. We took gridded illuminance measurements across each vendor's working and selling area, with users indicating the sufficiency of light at each point. User light sources included a mix of kerosene-fueled hurricane lanterns, pressure lamps, and LED lanterns.We observed illuminance levels ranging from just above zero to 150 lux. The LED systems markedly improved the lighting service levels over those provided by kerosene-fueled hurricane lanterns. Users reported that the minimum acceptable threshold was about 2 lux. The results also indicated that the LED lamps in use by the subjects did not always provide sufficient illumination over the desired retail areas. Our sample size is much too small, however, to reach any conclusions about requirements in the broader population. Given the small number of subjects and very specific type of user, our results should be regarded as indicative rather than conclusive. We recommend replicating the method at larger scales and across a variety of user types and contexts. Policymakers should revisit the subject of recommended illuminance levels regularly as LED technology advances and the price/service balance point evolves.
Means and method for vapor generation
Carlson, Larry W. (Oswego, IL)
1984-01-01
A liquid, in heat transfer contact with a surface heated to a temperature well above the vaporization temperature of the liquid, will undergo a multiphase (liquid-vapor) transformation from 0% vapor to 100% vapor. During this transition, the temperature driving force or heat flux and the coefficients of heat transfer across the fluid-solid interface, and the vapor percentage influence the type of heating of the fluid--starting as "feedwater" heating where no vapors are present, progressing to "nucleate" heating where vaporization begins and some vapors are present, and concluding with "film" heating where only vapors are present. Unstable heating between nucleate and film heating can occur, accompanied by possibly large and rapid temperature shifts in the structures. This invention provides for injecting into the region of potential unstable heating and proximate the heated surface superheated vapors in sufficient quantities operable to rapidly increase the vapor percentage of the multiphase mixture by perhaps 10-30% and thereby effectively shift the multiphase mixture beyond the unstable heating region and up to the stable film heating region.
Superheavy Nuclei: Relativistic Mean Field Outlook
A. V. Afanasjev
2006-12-20
The analysis of quasiparticle spectra in heaviest $A\\sim 250$ nuclei with spectroscopic data provides an additional constraint for the choice of effective interaction for the description of superheavy nuclei. It strongly suggest that only the parametrizations of the relativistic mean field Lagrangian which predict Z=120 and N=172 as shell closures are reliable for superheavy nuclei. The influence of the central depression in the density distribution of spherical superheavy nuclei on the shell structure is studied. Large central depression produces large shell gaps at Z=120 and N=172. The shell gaps at Z=126 and N=184 are favored by a flat density distribution in the central part of nucleus. It is shown that approximate particle number projection (PNP) by means of the Lipkin-Nogami method removes pairing collapse seen at these gaps in the calculations without PNP.
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-01
Coherent electron cooling (CEC) has a potential to significantly boost luminosity of high-energy, high-intensity hadron-hadron and electron-hadron colliders*. In a CEC system, a hadron beam interacts with a cooling electron beam. A perturbation of the electron density caused by ions is amplified and fed back to the ions to reduce the energy spread and the emittance of the ion beam. To demonstrate the feasibility of CEC we propose a proof-of-principle experiment at RHIC using one of JLabs SRF cryo-modules. In this paper, we describe the experimental setup for CeC installed into one of RHIC's interaction regions. We present results of analytical estimates and results of initial simulations of cooling a gold-ion beam at 40 GeV/u energy via CeC.
SIMPSON, B.C.
1999-08-12
This document presents the technical basis for closure of Defense Nuclear Facilities Safety Board (DNFSB) Recommendation 93-5 Implementation Plan milestone 5.6.3.13, ''Core sample all tanks by 2002'' (DOE-RL 1996). The milestone was based on the need for characterization data to ensure safe storage of the waste, to operate the tanks safely, and to plan and implement retrieval and processing of the waste. Sufficient tank characterization data have been obtained to ensure that existing controls are adequate for safe storage of the waste in the 177 waste tanks at the Hanford Site. In addition, a process has been developed, executed, and institutionalized to systemically identify information needs, to integrate and prioritize the needs, and to reliably obtain and analyze the associated samples. This document provides a technical case that the remaining 45 incompletely sampled tanks no longer require sampling to support the intent of the Implementation Plan milestone. Sufficient data have been obtained to close the Unreviewed Safety Questions (USQs), and to ensure that existing hazard controls are adequate and appropriately applied. However, in the future, additional characterization of tanks at the site will be required to support identified information needs. Closure of this milestone allows sampling and analytical data to be obtained in a manner that is consistent with the integrated priority process.
Index calculation by means of harmonic expansion
Imamura, Yosuke
2015-01-01
We review derivation of superconformal indices by means of supersymmetric localization and spherical harmonic expansion for 3d N=2, 4d N=1, and 6d N=(1,0) supersymmetric gauge theories. We demonstrate calculation of indices for vector multiplets in each dimensions by analysing energy eigenmodes in S^pxR. For the 6d index we consider the perturbative contribution only. We put focus on technical details of harmonic expansion rather than physical applications.
Index calculation by means of harmonic expansion
Yosuke Imamura
2015-10-28
We review derivation of superconformal indices by means of supersymmetric localization and spherical harmonic expansion for 3d N=2, 4d N=1, and 6d N=(1,0) supersymmetric gauge theories. We demonstrate calculation of indices for vector multiplets in each dimensions by analysing energy eigenmodes in S^pxR. For the 6d index we consider the perturbative contribution only. We put focus on technical details of harmonic expansion rather than physical applications.
Ciesielski, Krzysztof Chris
Object delineation Defining energies p algorithms GC vs FC Forests Thm on MSF vs OPF: proof Delineating objects in images via minimization of p energies; spanning forests via Dijkstra's and Kruskal energies 1 #12;Object delineation Defining energies p algorithms GC vs FC Forests Thm on MSF vs OPF: proof
International Association for Cryptologic Research (IACR)
) specified by ANSI C12.22 as a standard security function for Smart Grid. EAX is based on EAX proposedAttacks and Security Proofs of EAX-Prime Kazuhiko Minematsu1, Stefan Lucks2, Hiraku Morita3 by Bellare, Rogaway, and Wagner. While EAX has a proof of security based on the pseudorandomness
Faris, William G.
and Pictures, Routledge, New York, 1999. reviewed by William G. Faris, Department of Mathematics, University theme is pictures and math- ematical proof. Here is an example. Two mathematicians each wish to convey. The first mathemati- cian draws a picture and claims that this gives a proof. The picture is not itself
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-01
The overall objectives of this project are to evaluate, develop, and proof-test advanced absorption refrigeration cycles that are applicable to residential and commercial heat pumps for space conditioning. The heat pump system is to be direct-fired with natural gas and is to use absorption working fluids whose properties are known. Target coefficients of performance (COPs) are 1.6 at 47{degrees}F and 1.2 at 17{degrees} in the heating mode, and 0.7 at 95{degree}F in the cooling mode, including the effect of flue losses. The project is divided into three phases. Phase I entailed the analytical evaluation of advanced cycles and included the selection of preferred concepts for further development. Phase II involves the development and testing of critical components and of a complete laboratory breadboard version of the selected system. Phase III calls for the development of a prototype unit and is contingent on the successful completion of Phase II. This report covers Phase I work on the project. In Phase 1, 24 advanced absorption cycle/fluid combinations were evaluated, and computer models were developed to predict system performance. COP, theoretical pump power, and internal heat exchange were calculated for each system, and these calculations were used as indicators of operating and installed costs in order to rank the relative promise of each system. The highest ranking systems involve the cycle concept of absorber/generator heat exchange, generator heat exchanger/absorber heat exchange, regeneration, and resorption/desorption, in combination with the NH{sub 3}/H{sub 2}O/LiBr ternary absorption fluid mixture or with the NH{sub 3}/H{sub 2}O binary solution. Based upon these conclusions, the recommendation was made to proceed to Phase II, the laboratory breadboard proof-of- concept.
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
Kostic, Milivoje M.
Treatise with Reasoning Proof of the First Law of Energy Conservation Forced Interactions The First Law of Energy Conservation, have been traditionally accepted as axiomatic laws that cannot be proven but are never experienced otherwise. In this treatise we have focused on energy concept
Craig, Walter
The Boltzmann equation Global existence results Uniqueness Properties of propagation Main ideas of the proof On the Boltzmann equation: global solutions in one spatial dimension Walter Craig Department 11, 2005 Walter Craig McMaster University Global solutions of the Boltzmann equation #12;The
An error in "On a new formal proof model for RFID location Da-Zhi Sun a, *
International Association for Cryptologic Research (IACR)
An error in "On a new formal proof model for RFID location privacy" Da-Zhi Sun a, * a School: sundazhi1977@126.com, sundazhi@tju.edu.cn (D.-Z. Sun). 1 #12;protection. In 2009, Deursen and Radomirovi
The Meaning Of The Fine Structure Constant
R. L. Oldershaw
2009-02-21
A possible explanation is offered for the longstanding mystery surrounding the meaning of the fine structure constant. The reasoning is based on a discrete self-similar cosmological paradigm that has shown promise in explaining the general scaling properties of nature's global hierarchy. The discrete scale invariance of the paradigm implies that "strong gravity" governs gravitational interactions within atomic scale systems. Given the revised gravitational coupling constant and Planck mass, one can demonstrate that the fine structure constant is the ratio of the strengths of the unit electromagnetic interaction and the unit gravitational interaction within atomic scale systems. [Abridged
The "mean king's problem" with continuous variables
Alonso Botero; Yakir Aharonov
2007-10-16
We present the solution to the "mean king's problem" in the continuous variable setting. We show that in this setting, the outcome of a randomly-selected projective measurement of any linear combination of the canonical variables x and p can be ascertained with arbitrary precision. Moreover, we show that the solution is in turn a solution to an associated "conjunctive" version of the problem, unique to continuous variables, where the inference task is to ascertain all the joint outcomes of a simultaneous measurement of any number of linear combinations of x and p.
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)
DOE Data Explorer [Office of Scientific and Technical Information (OSTI)]
Xuan Shi, Dali Wang
2014-05-05
This data product contains all the gridded data set at 1/4 degree resolution in ASCII format. Both mean temperature and mean sea level air pressure data are available. It also contains the GSOD data (1982-2011) from NOAA site, contains station number, location, temperature and pressures (sea level and station level). The data package also contains information related to the data processing methods
Understanding and representing natural language meaning
Waltz, D.L.; Maran, L.R.; Dorfman, M.H.; Dinitz, R.; Farwell, D.
1982-12-01
During this contract period the authors have: (a) continued investigation of events and actions by means of representation schemes called 'event shape diagrams'; (b) written a parsing program which selects appropriate word and sentence meanings by a parallel process known as activation and inhibition; (c) begun investigation of the point of a story or event by modeling the motivations and emotional behaviors of story characters; (d) started work on combining and translating two machine-readable dictionaries into a lexicon and knowledge base which will form an integral part of our natural language understanding programs; (e) made substantial progress toward a general model for the representation of cognitive relations by comparing English scene and event descriptions with similar descriptions in other languages; (f) constructed a general model for the representation of tense and aspect of verbs; (g) made progress toward the design of an integrated robotics system which accepts English requests, and uses visual and tactile inputs in making decisions and learning new tasks.
Meaning in the traditional Chinese house and garden
Li, Tao, M.S. Massachusetts Institute of Technology
1992-01-01
The thesis deals with the various levels of meanings of the Chinese house and garden, and how the meanings operated in the context of traditional daily life. It is approached from the point of view of meaning in the context ...
Going and going : a contemporary search for meaning
Alvarado Beltrán, Elba Fabiola
2012-01-01
Meaning provides the individual with a sense of a purpose to live, being himself, and feeling at ease. Finding meaning on a daily basis is paramount. Yet, the search is constant since meaning is lost and regained persistently. ...
Place Meaning and Attitudes toward Impacts on Marine Environments
Wynveen, Christopher J.
2010-10-12
20 interviews to identify the meanings that recreational visitors ascribe to the Great Barrier Reef Marine Park (GBRMP) and to further explore how the symbolic interactionist framework can be used to understand place meanings. Ten place meaning themes...
Passive heat transfer means for nuclear reactors
Burelbach, James P. (Glen Ellyn, IL)
1984-01-01
An improved passive cooling arrangement is disclosed for maintaining adjacent or related components of a nuclear reactor within specified temperature differences. Specifically, heat pipes are operatively interposed between the components, with the vaporizing section of the heat pipe proximate the hot component operable to cool it and the primary condensing section of the heat pipe proximate the other and cooler component operable to heat it. Each heat pipe further has a secondary condensing section that is located outwardly beyond the reactor confinement and in a secondary heat sink, such as air ambient the containment, that is cooler than the other reactor component. Means such as shrouding normally isolated the secondary condensing section from effective heat transfer with the heat sink, but a sensor responds to overheat conditions of the reactor to open the shrouding, which thereby increases the cooling capacity of the heat pipe. By having many such heat pipes, an emergency passive cooling system is defined that is operative without electrical power.
Mean Field Limits in Strongly Confined Systems
Johannes von Keler
2014-12-10
We consider the dynamics of $N$ interacting bosons in three dimensions which are strongly confined in one or two directions. We analyze the two cases where the interaction potential $w$ is rescaled by either $N^{-1}w(\\cdot)$ or $a^{3\\theta-1}w(a^\\theta \\cdot)$ and choose the initial wavefunction to be close to a product wavefunction. For both scalings we prove that in the mean field limit $N\\rightarrow \\infty $ the dynamics of the $N$-particle system are described by a nonlinear equation in one or two dimensions. In the case of the scaling $N^{-1}w(\\cdot)$ this equation is the Hartree equation and for the scaling $a^{3\\theta-1}w(a^\\theta \\cdot) $ the nonlinear Schr\\"odinger equation. In both cases we obtain explicit bounds for the rate of convergence of the $N$-particle dynamics to the one-particle dynamics.
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
2014-01-29
The Coherent electron Cooling (CeC) Proof of Principle (PoP) experiment is proposed to be installed in the Relativistic Heavy Ion Collider (RHIC) to demonstrate proton and ion beam cooling with this new technique that may increase the beam luminosity in certain cases, by as much as tenfold. Within the scope of this project, a 112 MHz, 2MeV Superconducting Radio Frequency (SRF) electron gun and a 704 MHz 20MeV 5-cell SRF cavity will be installed at IP2 in the RHIC ring. The superconducting RF electron gun will be cooled in a liquid helium bath at 4.4 K. The 704 MHz 5-cell SRF cavity will be cooled in a super-fluid helium bath at 2.0 K. This paper discusses the cryogenic systems designed for both cavities. For the 112 MHz cavity cryogenic system, a condenser/boiler heat exchanger is used to isolate the cavity helium bath from pressure pulses and microphonics noise sources. For the 704 MHz 5-cell SRF cavity, a heat exchanger is also used to isolate the SRF cavity helium bath from noise sources in the sub-atmospheric pumping system operating at room temperature. Detailed designs, thermal analyses and discussions for both systems will be presented in this paper.
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-20
Coherent electron cooling (CEC) has a potential to significantly boost luminosity of high-energy, high-intensity hadron colliders. To verify the concept we conduct proof-of-the-principle experiment at RHIC. In this paper, we describe the current experimental setup to be installed into 2 o'clock RHIC interaction regions. We present current design, status of equipment acquisition and estimates for the expected beam parameters. We use a dogleg to merge the electron and ion beams. The ions 'imprint' their distribution into the electron beam via a space charge density modulation. The modulation is amplified in an FEL comprised of a 7-m long helical wiggler. The ions are co-propagating with electron beam through the FEL. The ion's average velocity is matched to the group velocity of the wave-packet of e-beam density modulation in the FEL. A three-pole wiggler at the exit of the FEL tune the phase of the wave-packet so the ion with the central energy experience the maximum of the e-beam density modulation, where electric field is zero. The time-of-flight dependence on ion's provides for the electrical field caused by the density modulation to reduce energy spread of the ion beam. The used electron beam is bent off the ion path and damped.
Proof of linear instability of the Reissner-Nordström Cauchy horizon under scalar perturbations
Jonathan Luk; Sung-Jin Oh
2015-01-19
It has long been suggested that solutions to linear scalar wave equation $$\\Box_g\\phi=0$$ on a fixed subextremal Reissner-Nordstr\\"om spacetime with non-vanishing charge are generically singular at the Cauchy horizon. We prove that generic smooth and compactly supported initial data on a Cauchy hypersurface indeed give rise to solutions with infinite nondegenerate energy near the Cauchy horizon in the interior of the black hole. In particular, the solution generically does not belong to $W^{1,2}_{loc}$. This instability is related to the celebrated blue shift effect in the interior of the black hole. The problem is motivated by the strong cosmic censorship conjecture and it is expected that for the full nonlinear Einstein-Maxwell system, this instability leads to a singular Cauchy horizon for generic small perturbations of Reissner-Nordstr\\"om spacetime. Moreover, in addition to the instability result, we also show as a consequence of the proof that Price's law decay is generically sharp along the event horizon.
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-01
Due to the very shallow penetration depth of the RF fields, SRF properties are inherently a surface phenomenon involving a material thickness of less than 1 micron thus opening up the possibility of using thin film coatings to achieve a desired performance. The challenge has been to understand the dependence of the SRF properties on the detailed characteristics of real surfaces and then to employ appropriate techniques to tailor these surface properties for greatest benefit. Our aim is to achieve gradients >100 MV/m and no simple material is known to be capable of sustaining this performance. A theoretical framework has been proposed which could yield such behavior [1] and it requires creation of thin film layered structures. I will present our systematic studies on such proof-of-principle samples. Our overarching goal has been to build a basic understanding of key nano-scale film growth parameters for materials that show promise for SRF cavity multilayer coatings and to demonstrate the ability to elevate the barrier for vortex entry in such layered structures above the bulk value of Hc1 for type-II superconductors and thus to sustain higher accelerating fields.
Firestone, Jeremy
1 Electrical Engineering for Wind Engineers (ELEG467/667-010, embedded in ELEG437/637)- This short course will provide non-Electrical Engineers with sufficient instruction to understand the conversion of rotary motion into electrical
Real-Time Dynamic Brake Assessment Proof of Concept Final Report
Lascurain, Mary Beth [ORNL; Franzese, Oscar [ORNL; Capps, Gary J [ORNL
2011-11-01
This proof-of-concept research was performed to explore the feasibility of using real-world braking data from commercial motor vehicles to make a diagnosis of brake condition similar to that of the performance-based brake tester (PBBT). This was done by determining the relationship between pressure and brake force (P-BF), compensating for the gross vehicle weight (GVW). The nature of this P-BF relationship (e.g., low braking force for a given brake application pressure) may indicate brake system problems. In order to determine the relationship between brake force and brake application pressure, a few key parameters of duty cycle information were collected. Because braking events are often brief, spanning only a few seconds, a sample rate of 10 Hz was needed. The algorithm under development required brake application pressure and speed (from which deceleration was calculated). Accurate weight estimation was also needed to properly derive the braking force from the deceleration. In order to ensure that braking force was the predominant factor in deceleration for the segments of data used in analysis, the data was screened for grade as well. Also, the analysis needed to be based on pressures above the crack pressure. The crack pressure is the pressure below which the individual brakes are not applied due the nature of the mechanical system. This value, which may vary somewhat from one wheel end to another, is approximately 10 psi. Therefore, only pressures 15 psi and above were used in the analysis. The Department of Energy s Medium Truck Duty Cycle research has indicated that under the real-world circumstances of the test vehicle brake pressures of up to approximately 30 psi can be expected. Several different types of data were collected during the testing task of this project. Constant-pressure stopping tests were conducted at several combinations of brake application pressure (15, 20, 25, and 30 psi), load conditions (moderately and fully laden), and speeds (20 and 30 mph). Data was collected at 10 Hz. Standard and stepped-pressure performance-based brake tests with brake pressure transducers were performed for each loading condition. The stepped-pressure test included the constant-pressure intervals of brake application at 15, 20, 25, and 30 psi. The PBBT data files included 10 Hz streaming data collected during the testing of each axle. Two weeks of real-world duty cycle (driving and braking) data was also collected at 10 Hz. Initial analysis of the data revealed that the data collected in the field (i.e., day-to-day operations) provided the same information as that obtained from the controlled tests. Analysis of the data collected revealed a strong linear relationship between brake application pressure and deceleration for given GVWs. As anticipated, initial speed was not found to be a significant factor in the deceleration-pressure relationship, unlike GVW. The positive results obtained from this proof of concept test point to the need for further research to expand this concept. A second phase should include testing over a wider range of speeds and include medium brake application pressures in addition to the low pressures tested in this research. Testing on multiple vehicles would also be of value. This future phase should involve testing to determine how degradation of braking performance affects the pressure-deceleration relationship.
Final report for the Light Water Breeder Reactor proof-of-breeding analytical support project
Graczyk, D.G.; Hoh, J.C.; Martino, F.J.; Nelson, R.E.; Osudar, J.; Levitz, N.M.
1987-05-01
The technology of breeding /sup 233/U from /sup 232/Th in a light water reactor is being developed and evaluated by the Westinghouse Bettis Atomic Power Laboratory (BAPL) through operation and examination of the Shippingport Light Water Breeder Reactor (LWBR). Bettis is determining the end-of-life (EOL) inventory of fissile uranium in the LWBR core by nondestructive assay of a statistical sample comprising approximately 500 EOL fuel rods. This determination is being made with an irradiated-fuel assay gauge based on neutron interrogation and detection of delayed neutrons from each rod. The EOL fissile inventory will be compared with the beginning-of-life fissile loading of the LWBR to determine the extent of breeding. In support of the BAPL proof-of-breeding (POB) effort, Argonne National Laboratory (ANL) carried out destructive physical, chemical, and radiometric analyses on 17 EOL LWBR fuel rods that were previously assayed with the nondestructive gauge. The ANL work included measurements on the intact rods; shearing of the rods into pre-designated contiguous segments; separate dissolution of each of the more than 150 segments; and analysis of the dissolver solutions to determine each segment's uranium content, uranium isotopic composition, and loading of selected fission products. This report describes the facilities in which this work was carried out, details operations involved in processing each rod, and presents a comprehensive discussion of uncertainties associated with each result of the ANL measurements. Most operations were carried out remotely in shielded cells. Automated equipment and procedures, controlled by a computer system, provided error-free data acquisition and processing, as well as full replication of operations with each rod. Despite difficulties that arose during processing of a few rod segments, the ANL destructive-assay results satisfied the demanding needs of the parent LWBR-POB program.
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-01
This report presents the results of bench-scale work, Bench Run PB-03, conducted under the DOE Proof of Concept--Bench Option Program in direct coal liquefaction at Hydrocarbon Technologies, Inc. in Lawrenceville, New Jersey. The Bench Run PB-03 was the third of the nine runs planned in the POC Bench Option Contract between the US DOE and Hydrocarbon Technologies, Inc. The Bench Run PB-03 had multiple goals. These included the evaluation of the effects of dispersed slurry catalyst loadings and types on the performance of two-stage direct coal liquefaction, the effect of HTI`s new iron catalyst, modified with phosphorus, and the evaluation of the effect of recycle solvent hydrotreatment on the overall process performance. PB-03 employed a close-coupled (no interstage separator) configuration of hydroconversion reactors. Other features of PB-03 included the use of an in-line fixed bed hydrotreater for the net product. No significant effects on process performance was found by changing the loadings of iron and molybdenum in the ranges of 1,000--5,000 ppm for iron and 50--100 ppm for molybdenum. However, the modification of HTI`s iron-based gel catalyst with 100 ppm of phosphorous improved the process performance significantly. A newly tested Mo-Carbon dispersed catalyst was not found to be any better than Molyvan-A, which was used during all but one condition of PB-03. Hydrotreatment of part of the recycle solvent was found to have a positive influence on the overall performance.
Direct liquefaction proof-of-concept program: Bench Run 05 (227-97). Final report
Comolli, A.G.; Pradhan, V.R.; Lee, T.L.K.; Karolkiewicz, W.F.; Popper, G.
1997-04-01
This report presents the results Bench Run PB-05, conducted under the DOE Proof of Concept - Bench Option Program in direct coal liquefaction at Hydrocarbon Technologies, Inc. in Lawrenceville, New Jersey. Bench Run PB-05 was the fifth of the nine runs planned in the POC Bench Option Contract between the U.S. DOE and included the evaluation of the effect of using dispersed slurry catalyst in direct liquefaction of a high volatile bituminous Illinois No. 6 coal and in combined coprocessing of coal with organic wastes, such as heavy petroleum resid, MSW plastics, and auto-shredder residue. PB-05 employed a two-stage, back-mixed, slurry reactor system with an interstage V/L separator and an in-line fixed-bed hydrotreater. Coprocessing of waste plastics with Illinois No. 6 coal did not result in the improvement observed earlier with a subbituminous coal. In particular, decreases in light gas yield and hydrogen consumption were not observed with Illinois No. 6 coal as they were with Black Thunder Mine coal. The higher thermal severity during PB-05 is a possible reason for this discrepancy, plastics being more sensitive to temperatures (cracking) than either coal or heavy resid. The ASR material was poorer than MSW plastics in terms of increasing conversions and yields. HTI`s new dispersed catalyst formulation, containing phosphorus-promoted iron gel, was highly effective for the direct liquefaction of Illinois No. 6 coal under the reaction conditions employed; over 95% coal conversion was obtained, along with over 85% residuum conversion and over 73% distillate yields.
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-01
A novel geometry for a sampling calorimeter employing inorganic scintillators as an active medium is presented. To overcome the mechanical challenges of construction, an innovative light collection geometry has been pioneered, that minimises the complexity of construction. First test results are presented, demonstrating a successful signal extraction. The geometry consists of a sampling calorimeter with passive absorber layers interleaved with layers of an active medium made of inorganic scintillating crystals. Wavelength-shifting (WLS) fibres run along the four long, chamfered edges of the stack, transporting the light to photodetectors at the rear. To maximise the amount of scintillation light reaching the WLS fibres, the scintillator chamfers are depolished. It is shown herein that this concept is working for cerium fluoride (CeF$_3$) as a scintillator. Coupled to it, several different types of materials have been tested as WLS medium. In particular, materials that might be sufficiently resistant to the Hi...
Experimental and numerical investigation of phonon mean free path distribution
Zeng, Lingping
2013-01-01
Knowledge of phonon mean free path (MFP) distribution is critically important to engineering size effects. Phenomenological models of phonon relaxation times can give us some sense about the mean free path distribution, ...
Probabilistic grammar induction from sentences and structured meanings
Kwiatkowski, Thomas Mieczyslaw
2012-06-25
The meanings of natural language sentences may be represented as compositional logical-forms. Each word or lexicalised multiword-element has an associated logicalform representing its meaning. Full sentential logical-forms ...
Meaning Change in the Context of Thomas S. Kuhn's Philosophy
Kuukkanen, Jouni-Matti
Thomas S. Kuhn claimed that the meanings of scientific terms change in theory changes or in scientific revolutions. In philosophy, meaning change has been taken as the source of a group of problems, such as untranslatability, ...
Correlation analysis of mean global radiation values with mean brightness values for one year
Kolczynski, Edward Franklin
1971-01-01
quantities of global radiation, = kb. sin h i oi where i denotes the number of the month (1 to 12), Q. is the individual monthly quantity of global radiation, h . is the solar altitude relat- oi ed to noon of the middle day of the month, and k is the coei... which now exists in the data bank of this field. B. ~Db' t' The objective of the proposed research is to investigate a pos- sible relationship between global radiation, as measured from ground- based instruments, and mean brightness values...
Stochastic Mean Field Model of Heat Engine partitioned by Fluctuating Piston
Tomohiko G. Sano; Hisao Hayakawa
2014-12-15
We propose a stochastic mean field model of heat engine partitioned by a finite-mass piston. The time evolution equations for the density and the temperature of the enclosed gas are proposed, taking into account the stochastic equation of motion of the piston, and the energy conservation for the gas. Though the heat cycle consisting of finite-time heating and cooling processes is under strong non-equilibrium situations, i. e., the ratio of temperatures of two reservoirs is large, we analyze the efficiency and the power, and derive the semi-analytical expression for the efficiency. We find that the obtained efficiency at the maximum power operation is close to the Chambadal-Novikov-Curzon-Ahlborn (CNCA) efficiency, if the piston is sufficiently heavy and elastic for collisions with particles, even when the system is far from equilibrium. However, the extra heat due to the finiteness of the piston-mass or its inelasticity lowers the efficiency from the CNCA efficiency. The results of our stochastic mean field model are consistent with those for our event driven molecular dynamics simulation.
Xiaochuan Lu; Hitoshi Murayama
2015-05-11
In random matrix theory, Marchenko-Pastur law states that random matrices with independent and identically distributed entries have a universal asymptotic eigenvalue distribution under large dimension limit, regardless of the choice of entry distribution. This law provides useful insight for physics research, because the large $N$ limit proved to be a very useful tool in various theoretical models. We present an alternative proof of Marchenko- Pastur law using Feynman diagrams, which is more familiar to the physics community. We also show that our direct diagrammatic approach can readily generalize to six types of restricted random matrices, which are not all covered by the original Marchenko-Pastur law.
Ali Sanayei
2013-09-06
In this paper, three plausible axioms together with two definitions are employed to build an axiomatic framework, and then with the help of the Dirac formalism, it is demonstrated that the time-dependent Schr\\"odinger wave equation is no longer a postulate for the whole theory, but a theorem. Subsequently, a proof for the theorem is presented. The result implies that the other remaining axioms of the picture essentially involve the Schr\\"odinger equation, and this consequence lets the whole theory become stronger.
Urban Form Energy Use and Emissions in China: Preliminary Findings and Model Proof of Concept
Aden, Nathaniel; Qin, Yining; Fridley, David
2010-12-15
Urbanization is reshaping China's economy, society, and energy system. Between 1990 and 2008 China added more than 300 million new urban residents, bringing the total urbanization rate to 46%. The ongoing population shift is spurring energy demand for new construction, as well as additional residential use with the replacement of rural biomass by urban commercial energy services. This project developed a modeling tool to quantify the full energy consequences of a particular form of urban residential development in order to identify energy- and carbon-efficient modes of neighborhood-level development and help mitigate resource and environmental implications of swelling cities. LBNL developed an integrated modeling tool that combines process-based lifecycle assessment with agent-based building operational energy use, personal transport, and consumption modeling. The lifecycle assessment approach was used to quantify energy and carbon emissions embodied in building materials production, construction, maintenance, and demolition. To provide more comprehensive analysis, LBNL developed an agent-based model as described below. The model was applied to LuJing, a residential development in Jinan, Shandong Province, to provide a case study and model proof of concept. This study produced results data that are unique by virtue of their scale, scope and type. Whereas most existing literature focuses on building-, city-, or national-level analysis, this study covers multi-building neighborhood-scale development. Likewise, while most existing studies focus exclusively on building operational energy use, this study also includes embodied energy related to personal consumption and buildings. Within the boundaries of this analysis, food is the single largest category of the building energy footprint, accounting for 23% of the total. On a policy level, the LCA approach can be useful for quantifying the energy and environmental benefits of longer average building lifespans. In addition to prospective analysis for standards and certification, urban form modeling can also be useful in calculating or verifying ex post facto, bottom-up carbon emissions inventories. Emissions inventories provide a benchmark for evaluating future outcomes and scenarios as well as an empirical basis for valuing low-carbon technologies. By highlighting the embodied energy and emissions of building materials, the LCA approach can also be used to identify the most intensive aspects of industrial production and the supply chain. The agent based modeling aspect of the model can be useful for understanding how policy incentives can impact individual behavior and the aggregate effects thereof. The most useful elaboration of the urban form assessment model would be to further generalize it for comparative analysis. Scenario analysis could be used for benchmarking and identification of policy priorities. If the model is to be used for inventories, it is important to disaggregate the energy use data for more accurate emissions modeling. Depending on the policy integration of the model, it may be useful to incorporate occupancy data for per-capita results. On the question of density and efficiency, it may also be useful to integrate a more explicit spatial scaling mechanism for modeling neighborhood and city-level energy use and emissions, i.e. to account for scaling effects in public infrastructure and transportation.
Balakrishnan, Karthik; Alfauwaz, Abdul; Aljadaan, Ahmad; Almajeed, Mohammed; Alrufaydah, Muflih; Althubiti, Salman; Aljabreen, Homoud; Buchman, Sasha; Byer, Robert L; Conklin, John; DeBra, Daniel; Hanson, John; Hultgren, Eric; Saud, Turki Al; Shimizu, Seiya; Soulage, Michael; Zoellner, Andreas
2012-01-01
Precise control over the potential of an electrically isolated proof mass is necessary for the operation of devices such as a Gravitational Reference Sensor (GRS) and satellite missions such as LISA. We show that AlGaN UV LEDs operating at 255 nm are an effective substitute for Mercury vapor lamps used in previous missions because of their ability to withstand space qualification levels of vibration and thermal cycling. After 27 thermal and thermal vacuum cycles and 9 minutes of 14.07 g RMS vibration, there is less than 3% change in current draw, less than 15% change in optical power, and no change in spectral peak or FWHM (full width at half maximum). We also demonstrate UV LED stimulated photoemission from a wide variety of thin film carbide proof mass coating candidates (SiC, Mo2C, TaC, TiC, ZrC) that were applied using electron beam evaporation on an Aluminum 6061-T6 substrate. All tested carbide films have measured quantum efficiencies of 3.8-6.8*10^-7 and reflectivities of 0.11-0.15, which compare favor...
Proof of concept of a magnetically coupled Stirling engine-driven heat pump
Shonder, J.A.; Chen, Gong; McEntee, J.
1992-08-01
A prototype magnetically-coupled Stirling engine-driven heat pump module has been designed and fabricated by Sunpower, Inc. under sponsorship of the US Department of Energy and the Oak Ridge National Laboratory (ORNL). Preliminary testing indicates that the magnetic coupling is an effective means for transmitting power from a free-piston Stirling engine to a refrigerant compressor. Compared with other power transmission concepts, the magnetic coupling has relatively low cost, and will help make commercial development of Stirling-driven heat pumps more likely in the future.
Proof of concept of a magnetically coupled Stirling engine-driven heat pump
Shonder, J.A. ); Chen, Gong; McEntee, J. )
1992-01-01
A prototype magnetically-coupled Stirling engine-driven heat pump module has been designed and fabricated by Sunpower, Inc. under sponsorship of the US Department of Energy and the Oak Ridge National Laboratory (ORNL). Preliminary testing indicates that the magnetic coupling is an effective means for transmitting power from a free-piston Stirling engine to a refrigerant compressor. Compared with other power transmission concepts, the magnetic coupling has relatively low cost, and will help make commercial development of Stirling-driven heat pumps more likely in the future.
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ř
WHAT DOES IT MEAN TO SAY THAT LOGIC IS FORMAL?
Fitelson, Branden
WHAT DOES IT MEAN TO SAY THAT LOGIC IS FORMAL? by John Gordon MacFarlane A.B., Philosophy, Harvard, Distinguished Service Professor of Philosophy #12;ii WHAT DOES IT MEAN TO SAY THAT LOGIC IS FORMAL? John Gordon. The distinction between formal and material does not appear to coincide with the more familiar contrasts between
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
EGS Abstract for MEAN RADIUS, MASS AND INERTIA FOR REFERENCE
EGS Abstract for Nice, 2000 MEAN RADIUS, MASS AND INERTIA FOR REFERENCE EARTH'S MODELS. F. CHAMBAT between real and mean Earth. Abstracts to be submitted on or before December 15, 1999 to EGS OĆce Max-Planck-Str. 13 37191 Katlenburg-Lindau Germany Tel.: [+49] 5556-1440 Fax.: [+49] 5556-4709 Email: EGS
Tomislav Ivezi?
2008-09-30
The usual transformations of the three-dimensional (3D) fields E and B that are found in [1] ([1] A. Einstein, Ann. Physik \\17, 891 (1905)) are always considered to be the relativistically correct Lorentz transformations (LT) of E and B. However, as proved in, e.g., [2] ([2] T. Ivezi\\'c, Found. Phys. Lett. 18, 301 (2005)), these transformations drastically differ from the LT of the relativistically correct 4D electric and magnetic fields. In this paper a simple proof of that difference will be presented and the consequences for EDM experiments and for some quantum phase shifts experiments are briefly examined. In all such experiments the usual 3D quantities, e.g., E, B, ... are measured and their relativistically incorrect transformations are used, but not the relativistically correct 4D geometric quantities, e.g., E^a, B^a, ... and their LT.
Modahl, R.J.; Hayes, F.C. [Trane Co., La Crosse, WI (United States). Applied Unitary/Refrigeration Systems Div.
1992-03-01
The overall objectives of this project are to evaluate, develop, and proof-test advanced absorption refrigeration cycles that are applicable to residential and commercial heat pumps for space conditioning. The heat pump system is to be direct-fired with natural gas and is to use absorption working fluids whose properties are known. Target coefficients of performance (COPs) are 1.6 at 47{degrees}F and 1.2 at 17{degrees} in the heating mode, and 0.7 at 95{degree}F in the cooling mode, including the effect of flue losses. The project is divided into three phases. Phase I entailed the analytical evaluation of advanced cycles and included the selection of preferred concepts for further development. Phase II involves the development and testing of critical components and of a complete laboratory breadboard version of the selected system. Phase III calls for the development of a prototype unit and is contingent on the successful completion of Phase II. This report covers Phase I work on the project. In Phase 1, 24 advanced absorption cycle/fluid combinations were evaluated, and computer models were developed to predict system performance. COP, theoretical pump power, and internal heat exchange were calculated for each system, and these calculations were used as indicators of operating and installed costs in order to rank the relative promise of each system. The highest ranking systems involve the cycle concept of absorber/generator heat exchange, generator heat exchanger/absorber heat exchange, regeneration, and resorption/desorption, in combination with the NH{sub 3}/H{sub 2}O/LiBr ternary absorption fluid mixture or with the NH{sub 3}/H{sub 2}O binary solution. Based upon these conclusions, the recommendation was made to proceed to Phase II, the laboratory breadboard proof-of- concept.
Römisch, Werner
the model via uncertain electricity demand, heat demand, spot prices, and future prices. The objectiveMEAN-RISK OPTIMIZATION MODELS FOR ELECTRICITY PORTFOLIO MANAGEMENT 1 Mean-risk optimization models for electricity portfolio management Andreas Eichhorn and Werner R¨omisch Abstract-- The possibility
Transformed Eulerian-Mean Theory. Part I: Nonquasigeostrophic Theory for Eddies on a Zonal-Mean Flow
Ferrari, Raffaele
the widely used quasigeostrophic definition is adopted. Along with the "residual mean circulation. This distinction is shown to be especially important for Ertel potential vorticity (PV). The authors show how flux of PV along the mean isopycnals; in the diabatic layer close to the surface, it is more
Beyond the mean field in the particle-vibration coupling scheme
M. Baldo; P. F. Bortignon; G. Colo'; D. Rizzo; L. Sciacchitano
2015-07-09
The Energy Density Functional theory is one of the most used methods developed in nuclear structure. It is based on the assumption that the energy of the ground state is a functional only of the density profile. The method is extremely successful within the effective force approach, noticeably the Skyrme or Gogny forces, in reproducing the nuclear binding energies and other bulk properties along the whole mass table. Although the Density Functional is in this case represented formally as the Hartree-Fock mean field of an effective force, the corresponding single-particle states in general do not reproduce the phenomenology particularly well. To overcome this difficulty, a strategy has been developed where the effective force is adjusted to reproduce directly the single particle energies, trying to keep the ground state energy sufficiently well reproduced. An alternative route, that has been developed along several years, for solving this problem is to introduce the mean field fluctuations, as represented by the collective vibrations of the nuclear system, and their influence on the single particle dynamics and structure. This is the basis of the particle-vibration coupling model. In this paper we present a formal theory of the particle-vibration coupling model based on the Green' s function method. The theory extends to realistic effective forces the macroscopic particle-vibration coupling models and the (microscopic) Nuclear Field Theory. It is formalized within the functional derivative approach to many-body theory. An expansion in diagrams is devised for the single particle self-energy and the phonon propagator. Critical aspects of the particle-vibration coupling model are analysed in general. Applications at the lowest order of the expansion are presented and discussed.
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
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
Jeanjean, Louis
"Infinite energy solutions" Fractal Laplace operator Nonlocal problem & well-posedness Renormalized #12;"Infinite energy solutions" Fractal Laplace operator Nonlocal problem & well-posedness Renormalized sol's definition Hints & Proof Plan of the talk 1 "Infinite energy solutions" for elliptic PDEs 2
International Association for Cryptologic Research (IACR)
Proofs of Ownership in Remote Storage Systems Shai Halevi1, Danny Harnik2, Benny Pinkas3 Abstract Cloud storage systems are becoming increasingly popular. A promising technology that keeps of Petabyte scale storage systems. We then present solutions based on Merkle trees and specific encodings
Hu, Wenchuang "Walter"
Sub-50 nm scratch-proof DLC molds for reversal nanoimprint lithography L. Tao, C. T. Nelson, K of the industry is related to the mold life time that significantly affects cost of ownership and manufacturing reproducibility. Nowadays, most often used Si or glass molds that are very expensive can be damaged after certain
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-01
Galley Proof 26/01/2007; 10:02 File: sav392.tex; BOKCTP/ljl p. 1 Shock and Vibration 14 (2007) 1, W.N. Royb and R.R. Skaggsc a Department of Mechanical Engineering, Clemson University, Clemson SC buried in sand to different depths is carried out using the software package AUTODYN. The mechanical
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
Harmonic mean, the Gamma factor and Speed of Light
Chandru Iyer
2008-11-17
The relationship between the harmonic mean and special relativity is concisely elucidated. The arguments in favor and against SRT are explored. It is shown that the ratio of the speed of light to the harmonic mean of the onward and return speeds of light in a moving frame under Newtonian mechanics, when equitably distributed between space and time as a correction, leads to the Lorentz transformation. This correction implies an apparent contraction of objects and time dilation. However, the symmetry of the onward and inverse transformations give a different meaning to the gamma factor
Noise and meaning : a cognitive ethnography of San Diego musicians
Davis, Clinton Ross
2011-01-01
Splinter in Your Ear: Noise as the Semblance of Critique."OF CALIFORNIA, SAN DIEGO Noise and Meaning: A CognitiveI. A General Overview of Noise and Experimental Musicians in
Wave-mean flow interactions: from nanometre to megametre scales
Xie, Jinhan
2015-07-01
Waves, which arise when restoring forces act on small perturbations, are ubiquitous in fluids. Their counterpart, mean flows, capture the remainder of the motion and are often characterised by a slower evolution and larger ...
Imminence and immanence : embodied meaning in architectural experience
Evans, J. Chris (Jon Chris)
1992-01-01
This thesis is an investigation of the natural or bodily-based meaning of architecture, understood in terms of the inherent qualities and relationships that arise out of movement within built environment, and based in a ...
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
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
Learning perceptually grounded word meanings from unaligned parallel data
Tellex, Stefanie A.
In order for robots to effectively understand natural language commands, they must be able to acquire meaning representations that can be mapped to perceptual features in the external world. Previous approaches to learning ...
Grammatical morphology as a source of early number word meanings
Almoammer, Alhanouf
How does cross-linguistic variation in linguistic structure affect childrens acquisition of early number word meanings? We tested this question by investigating number word learning in two unrelated languages that feature ...
Grammatical morphology as a source of early number word meanings
2013-01-01
to counting is important to learning number word meanings,hearing number words used outside of these routinesin thewere given two tests of number word knowledge. The Give-a-
Generating Tensor Representation from Concept Tree in Meaning Based Search
Panigrahy, Jagannath
2011-08-08
to a representation that can be stored and compared efficiently on computers. Meaning of objects can be adequately captured in terms of a hierarchical composition structure called concept tree. This thesis describes the design and development...
Meaning of Family-Professional Partnerships: Japanese Mothers' Perspectives
Maho, Kasahara; Turnbull, Ann P.
2005-01-01
TMs study inquired into the meaning of family-professional partnerships from the perspective offapanese families of children with disabilities. Data were collected from 30 mothers who participated in focus groups and/or interviews infapan...
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
Eddy-mean flow interactions in western boundary current jets
Waterman, Stephanie N
2009-01-01
This thesis examines the nature of eddy-mean flow interactions in western boundary current jets and recirculation gyre dynamics from both theoretical and observational perspectives. It includes theoretical studies of ...
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
Nuclear Symmetry Energy in Relativistic Mean Field Theory
Shufang Ban; Jie Meng; Wojciech Satula; Ramon A. Wyss
2005-09-12
The Physical origin of the nuclear symmetry energy is studied within the relativistic mean field (RMF) theory. Based on the nuclear binding energies calculated with and without mean isovector potential for several isobaric chains we conform earlier Skyrme-Hartree-Fock result that the nuclear symmetry energy strength depends on the mean level spacing $\\epsilon (A)$ and an effective mean isovector potential strength $\\kappa (A)$. A detaied analysis of isospin dependence of the two components contributing to the nuclear symmetry energy reveals a quadratic dependence due to the mean-isoscalar potential, $\\sim\\epsilon T^2$, and, completely unexpectedly, the presence of a strong linear component $\\sim\\kappa T(T+1+\\epsilon/\\kappa)$ in the isovector potential. The latter generates a nuclear symmetry energy in RMF theory that is proportional to $E_{sym}\\sim T(T+1)$ at variance to the non-relativistic calculation. The origin of the linear term in RMF theory needs to be further explored.
An Energy Self-Sufficient Sawmill
Juchymenko, A.
1982-01-01
technology commonly referred to as cogeneration. Most sawmills produce large quantities of biomass. The total heat energy requirement at these sawmills could easily be satisfied by a small fraction of the energy contained in the biomass. The unused biomass...
Support means for a particle beam position monitor
VanZwienen, William H. (Bayshore, NY)
1991-01-01
A support means for a plurality of thermally deformable component parts that are concentrically mounted within a thermally expandable housing. The support means includes a plurality of pins that are mounted in relatively fixed or sliding relationship to either one of the concentrically positioned components or to the housing, and the pins are positioned to extend through aligned apertures in the remaining components or the housing in a manner such that the pins are free to slide in a snug relationship relative to the sides of the holes through those components or the housing. The support means enables the concentrically mounted components and the housing to undergo expansion and contraction movement, radially and longitudinally relative to one another, while maintaining concentricity of the components and the housing relative to one another.
Mean field extrapolations of microscopic nuclear equations of state
Rrapaj, Ermal; Holt, Jeremy W
2015-01-01
We explore the use of mean field models to approximate microscopic nuclear equations of state derived from chiral effective field theory across the densities and temperatures relevant for simulating astrophysical phenomena such as core-collapse supernovae and binary neutron star mergers. We consider both relativistic mean field theory with scalar and vector meson exchange as well as energy density functionals based on Skyrme phenomenology and compare to thermodynamic equations of state derived from chiral two- and three-nucleon forces in many-body perturbation theory. Quantum Monte Carlo simulations of symmetric nuclear matter and pure neutron matter are used to determine the density regimes in which perturbation theory with chiral nuclear forces is valid. Within the theoretical uncertainties associated with the many-body methods, we find that select mean field models describe well microscopic nuclear thermodynamics. As an additional consistency requirement, we study as well the single-particle properties of ...
Support means for a particle beam position monitor
VanZwienen, W.H.
1991-01-29
A support means is disclosed for a plurality of thermally deformable component parts that are concentrically mounted within a thermally expandable housing. The support means includes a plurality of pins that are mounted in relatively fixed or sliding relationship to either one of the concentrically positioned components or to the housing, and the pins are positioned to extend through aligned apertures in the remaining components or the housing in a manner such that the pins are free to slide in a snug relationship relative to the sides of the holes through those components or the housing. The support means enables the concentrically mounted components and the housing to undergo expansion and contraction movement, radially and longitudinally relative to one another, while maintaining concentricity of the components and the housing relative to one another. 3 figures.
Fluorescent lamp unit with magnetic field generating means
Grossman, M.W.; George, W.A.
1989-08-08
A fluorescent lamp unit having a magnetic field generating means for improving the performance of the fluorescent lamp is disclosed. In a preferred embodiment the fluorescent lamp comprises four longitudinally extending leg portions disposed in substantially quadrangular columnar array and joined by three generally U-shaped portions disposed in different planes. In another embodiment of the invention the magnetic field generating means comprises a plurality of permanent magnets secured together to form a single columnar structure disposed within a centrally located region defined by the shape of lamp envelope. 4 figs.
Surface Mean-Square Amplitudes of Vibration for Nacl
CHEN, TS; Alldredg, GP; Allen, Roland E.; WETTE, FWD.
1972-01-01
" in low-energy electron diffraction (LEED). In the present paper we report calculations of the mean-square ampli- tudes and mean-square velocities for the (100) surface of NaC1. We will distinguish the Na' and Cl ions by a la- bel w and use a label... expressions coth[If&o, (j)/2ks T] ~,(q) x coth h'tc (q) 'l B M? is the mass of an ion labeled by w, N is the number of values of the two-dimensional wave vec- tor q in the summation, P is a label which distin- guishes the different vibrational modes...
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
Heat flux carried by the Antarctic Circumpolar Current mean flow
Rhode Island, University of
Heat flux carried by the Antarctic Circumpolar Current mean flow Che Sun Geophysical Fluid Dynamics Graduate School of Oceanography, University of Rhode Island, Narragansett, Rhode Island, USA Received 18 of historical hydrographic data is applied to study the heat flux problem in the Antarctic Circumpolar Current
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
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
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
Time period Annual mean [DOC] 95% CI (mg l-1)
can we measure the impacts on peatland? Streamwater can be sampled upstream and downstream downstream of forest felling were mostly higher than the sampling points upstream. The mean concentrations the results show? There has been a slight increase in [DOC] downstream of forest felling, tracks, turbine
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
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
Gluon Condensate in Pion Superfluid beyond Mean Field Approximation
Yin Jiang; Pengfei Zhuang
2011-03-04
We study gluon condensate in a pion superfluid, through calculating the equation of state of the system in the Nambu-Jona-Lasinio model. While in mean field approximation the growing pion condensate leads to an increasing gluon condensate, meson fluctuations reduce the gluon condensate and the broken scalar symmetry can be smoothly restored at finite isospin density.
Thermodynamics and Universality for Mean Field Quantum Spin Glasses
Nick Crawford
2006-10-13
We study aspects of the thermodynamics of quantum versions of spin glasses. By means of the Lie-Trotter formula for exponential sums of operators, we adapt methods used to analyze classical spin glass models to answer analogous questions about quantum models.
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
A Solvable Mean Field Model of a Gaussian Spin Glass
Adriano Barra; Giuseppe Genovese; Francesco Guerra; Daniele Tantari
2012-05-17
We introduce a mean field spin glass model with gaussian distribuited spins and pairwise interactions, whose couplings are drawn randomly from a normal gaussian distribution too. We completely control the main thermodynamical properties of the model (free energy, phase diagram, fluctuations theory) in the whole phase space. In particular we prove that in thermodynamic limit the free energy equals its replica symmetric expression.
Fluorescent lamp with static magnetic field generating means
Moskowitz, Philip E. (Peabody, MA); Maya, Jakob (Brookline, MA)
1987-01-01
A fluorescent lamp wherein magnetic field generating means (e.g., permanent magnets) are utilized to generate a static magnetic field across the respective electrode structures of the lamp such that maximum field strength is located at the electrode's filament. An increase in efficacy during operation has been observed.
Fluorescent lamp with static magnetic field generating means
Moskowitz, P.E.; Maya, J.
1987-09-08
A fluorescent lamp wherein magnetic field generating means (e.g., permanent magnets) are utilized to generate a static magnetic field across the respective electrode structures of the lamp such that maximum field strength is located at the electrode's filament. An increase in efficacy during operation has been observed. 2 figs.
The nonlinear mean-...eld model of nuclear matter II
equation. However it was claimed [4] that the negative- energy contribution should be suppressed dueThe nonlinear mean-...eld model of nuclear matter II -- renormalized optical potential -- K coupling potential. We have found the suppression of the negative-energy propaga- tion compared
Collaborative Human Computation as a Means of Information Management
Cortes, Corinna
Collaborative Human Computation as a Means of Information Management Manas Tungare1,2 , Ben amortizing the cost of tag- ging and email management across all stakeholders. We dis- cuss how such shared with minimal global cognitive load by the sender of the message. We provide scenarios of collaborative infor
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
Visual Thinking, Meaning & Form in HCI/d
Blevis, Eli
(Concepts Iteration) DCBL Semester Theme Project Complete I (Still Life Palooza) Schedule Week 14 | APR 23 Week Activity DCBL Semester Theme Project Complete II & Best-of Portfolio Pizza Party (TBC) Final high standard of image production, attribution practices, and meaning making in design, social values
Intermittency in Turbulent Diffusion Models with a Mean Gradient
Majda, Andrew J.
Intermittency in Turbulent Diffusion Models with a Mean Gradient Andrew J Majda and Xin T TongE30, 62G32 Submitted to: Nonlinearity 1. Introduction Turbulent diffusion is the transportation and diffusion. Its application ranges from the spread of hazardous plumes and mixing properties of turbulent
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
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
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
Balantekin, M.; Sat?r, S.; Torello, D.; De?ertekin, F. L.
2014-12-15
We present the proof-of-principle experiments of a high-speed actuation method to be used in tapping-mode atomic force microscopes (AFM). In this method, we do not employ a piezotube actuator to move the tip or the sample as in conventional AFM systems, but, we utilize a Q-controlled eigenmode of a cantilever to perform the fast actuation. We show that the actuation speed can be increased even with a regular cantilever.
Garvan, Frank
1965-01-01
tAndl lAndll IA+61 tA+Hl lA+O'Bl TA+SD] tAtkI TC+SI References : G. Ei. Andrews, 'Al simple proof Soc. 18 (2) (1988). I G. Ei. Andrews anfl D. Hickerson, 'Rama,nuJan's 'lost' notebook VII: ther sixth883), 158-170t i [Gor] B. Gordon, 'sorrie identities ln combtnratorial analysis', Quart. J. Math. o
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-31
(abridged) The study of other worlds is key to understanding our own, and not only provides clues to the origin of our civilization, but also looks into its future. Rather than in identifying nearby systems and learning about their individual properties, the main value of the technique of gravitational microlensing is in obtaining the statistics of planetary populations within the Milky Way and beyond. Only the complementarity of different techniques currently employed promises to yield a complete picture of planet formation that has sufficient predictive power to let us understand how habitable worlds like ours evolve, and how abundant such systems are in the Universe. A cooperative three-step strategy of survey, follow-up, and anomaly monitoring of microlensing targets, realized by means of an automated expert system and a network of ground-based telescopes is ready right now to be used to obtain a first census of cool planets with masses reaching even below that of Earth orbiting K and M dwarfs in two distinct stellar populations, namely the Galactic bulge and disk. The hunt for extra-solar planets acts as a principal science driver for time-domain astronomy with robotic-telescope networks adopting fully-automated strategies. Several initiatives, both into facilities as well as into advanced software and strategies, are supposed to see the capabilities of gravitational microlensing programmes step-wise increasing over the next 10 years. New opportunities will show up with high-precision astrometry becoming available and studying the abundance of planets around stars in neighbouring galaxies becoming possible. Finally, we should not miss out on sharing the vision with the general public, and make its realization to profit not only the scientists but all the wider society.
Effects and Meaning: Metaphors as Implicit Speech Acts
Seals, Anastasia Margaret
2014-08-31
________________________________ Chairperson Professor Eileen Nutting Date approved: 30 May 2014 iii Abstract I n this paper I show that the typi ca l accoun t s of mean in g do not provide us with what is most impor t a nt about meta phor s. The mean in g of a meta... phori ca l utte ra nce is nothi n g more than what it says. What is impor t a nt about meta phor s looks more like effe ct s, the reali za tion s of sign if i ca nt or surpr i sin g simi la r i ti e s betwee n obje ct s they inspi r e in their inte r...
Mean-field theory for scale-free random networks
Albert-Laszlo Barabasi; Reka Albert; Hawoong Jeong
1999-07-05
Random networks with complex topology are common in Nature, describing systems as diverse as the world wide web or social and business networks. Recently, it has been demonstrated that most large networks for which topological information is available display scale-free features. Here we study the scaling properties of the recently introduced scale-free model, that can account for the observed power-law distribution of the connectivities. We develop a mean-field method to predict the growth dynamics of the individual vertices, and use this to calculate analytically the connectivity distribution and the scaling exponents. The mean-field method can be used to address the properties of two variants of the scale-free model, that do not display power-law scaling.
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-09
A means and method are described for indirect detection of constituent components of a mixture separated in a chemical separation process. Fluorescing ions are distributed across the area in which separation of the mixture will occur to provide a generally uniform background fluorescence intensity. For example, the mixture is comprised of one or more charged analytes which displace fluorescing ions where its constituent components separate to. Fluorescing ions of the same charge as the charged analyte components cause a displacement. The displacement results in the location of the separated components having a reduced fluorescence intensity to the remainder of the background. Detection of the lower fluorescence intensity areas can be visually, by photographic means and methods, or by automated laser scanning.
Energy Dependent Isospin Asymmetry in Mean-Field Dynamics
T. Gaitanos; M. Kaskulov
2012-01-27
The Lagrangian density of relativistic mean-field (RMF) theory with non-linear derivative (NLD) interactions is applied to isospin asymmetric nuclear matter. We study the symmetry energy and the density and energy dependences of nucleon selfenergies. At high baryon densities a soft symmetry energy is obtained. The energy dependence of the isovector selfenergy suppresses the Lane-type optical potential with increasing energy and predicts a $\\rho$-meson induced mass splitting between protons and neutrons in isospin asymmetric matter.
Filtering Additive Measurement Noise with Maximum Entropy in the Mean
Henryk Gzyl; Enrique ter Horst
2007-09-04
The purpose of this note is to show how the method of maximum entropy in the mean (MEM) may be used to improve parametric estimation when the measurements are corrupted by large level of noise. The method is developed in the context on a concrete example: that of estimation of the parameter in an exponential distribution. We compare the performance of our method with the bayesian and maximum likelihood approaches.
On Predicting the Solar Cycle using Mean-Field Models
Paul J. Bushby; Steven M. Tobias
2007-04-18
We discuss the difficulties of predicting the solar cycle using mean-field models. Here we argue that these difficulties arise owing to the significant modulation of the solar activity cycle, and that this modulation arises owing to either stochastic or deterministic processes. We analyse the implications for predictability in both of these situations by considering two separate solar dynamo models. The first model represents a stochastically-perturbed flux transport dynamo. Here even very weak stochastic perturbations can give rise to significant modulation in the activity cycle. This modulation leads to a loss of predictability. In the second model, we neglect stochastic effects and assume that generation of magnetic field in the Sun can be described by a fully deterministic nonlinear mean-field model -- this is a best case scenario for prediction. We designate the output from this deterministic model (with parameters chosen to produce chaotically modulated cycles) as a target timeseries that subsequent deterministic mean-field models are required to predict. Long-term prediction is impossible even if a model that is correct in all details is utilised in the prediction. Furthermore, we show that even short-term prediction is impossible if there is a small discrepancy in the input parameters from the fiducial model. This is the case even if the predicting model has been tuned to reproduce the output of previous cycles. Given the inherent uncertainties in determining the transport coefficients and nonlinear responses for mean-field models, we argue that this makes predicting the solar cycle using the output from such models impossible.
Some measure-theoretic properties of generalized means
Irina Navrotskaya; Patrick J. Rabier
2015-01-12
If $\\Lambda $ is a measure space, $u:\\Lambda ^{m}\\rightarrow \\Bbb{R}$ is a given function and $N\\geq m,$ the function $U(x_{1},...,x_{N})=\\left( \\begin{array}{l} N \\\\ m \\end{array} \\right) ^{-1}\\sum_{1\\leq i_{1}information is crucial in some problems addressing the existence of generalized means satisfying given conditions, such as the classical Inverse Problem of statistical physics (in the canonical ensemble).
Numerical computation of constant mean curvature surfaces using finite elements
Jan Metzger
2004-08-18
This paper presents a method for computing two-dimensional constant mean curvature surfaces. The method in question uses the variational aspect of the problem to implement an efficient algorithm. In principle it is a flow like method in that it is linked to the gradient flow for the area functional, which gives reliable convergence properties. In the background a preconditioned conjugate gradient method works, that gives the speed of a direct elliptic multigrid method.
Mean field approximation for noisy delay coupled excitable neurons
Nikola Buric; Dragana Rankovic; Kristina Todorovic; Nebojsa Vasovic
2010-03-26
Mean field approximation of a large collection of FitzHugh-Nagumo excitable neurons with noise and all-to-all coupling with explicit time-delays, modelled by $N\\gg 1$ stochastic delay-differential equations is derived. The resulting approximation contains only two deterministic delay-differential equations but provides excellent predictions concerning the stability and bifurcations of the averaged global variables of the exact large system.
Mean-field description of plastic flow in amorphous solids
Jie Lin; Matthieu Wyart
2015-07-17
Failure and flow of amorphous materials are central to various phenomena including earthquakes and landslides. There is accumulating evidence that the yielding transition between a flowing and an arrested phase is a critical phenomenon, but the associated exponents are not understood, even at a mean-field level where the validity of popular models is debated. Here we solve a mean-field model that captures the broad distribution of the mechanical noise generated by plasticity, whose behavior is related to biased L\\'evy flights near an absorbing boundary. We compute the exponent $\\theta$ characterizing the density of shear transformation $P(x)\\sim x^{\\theta}$, where $x$ is the stress increment beyond which they yield. We find that after an isotropic thermal quench, $\\theta=1/2$. However, $\\theta$ depends continuously on the applied shear stress, this dependence is not monotonic, and its value at the yield stress is not universal. The model rationalizes previously unexplained observations, and captures reasonably well the value of exponents in three dimensions. These results support that it is the true mean-field model that applies in large dimension, and raise fundamental questions on the nature of the yielding transition.
Pickett, Chris A; Younkin, James R; Kovacic, Donald N; Dixon, E. T.; Martinez, B.
2007-01-01
This effort describes how radio-frequency (RF) technology can be integrated into a uranium enrichment facility's nuclear materials accounting and control program to enhance uranium hexafluoride (UF6) cylinder tracking and thus provide benefits to both domestic and international safeguards. Approved industry-standard cylinders are used to handle and store UF6 feed, product, tails, and samples at uranium enrichment plants. In the international arena, the International Atomic Energy Agency (IAEA) relies on time-consuming manual cylinder inventory and tracking techniques to verify operator declarations and to detect potential diversion of UF6. Development of a reliable, automated, and tamper-resistant process for tracking and monitoring UF6 cylinders would greatly reduce the risk of false or misreported cylinder tare weights, diversion of nuclear material, concealment of excess production, utilization of undeclared cylinders, and misrepresentation of the cylinders contents. This paper will describe a "proof-of concept" system that was designed show the feasibility of using RF based technologies to track individual UF6 cylinders throughout their entire life cycle, and thus ensure both increased domestic accountability of materials and a more effective and efficient method for application of IAEA international safeguards at the site level. The proposed system incorporates RF-based identification devices, which provide a mechanism for a reliable, automated, and tamper-resistant tracking network. We explore how securely attached RF tags can be integrated with other safeguards technologies to better detect diversion of cylinders. The tracking system could also provide a foundation for integration of other types of safeguards that would further enhance detection of undeclared activities.
DOE Public Access Gateway for Energy & Science Beta (PAGES Beta)
Saenz, Juan A.; Chen, Qingshan; Ringler, Todd
2015-05-19
Recent work has shown that taking the thickness-weighted average (TWA) of the Boussinesq equations in buoyancy coordinates results in exact equations governing the prognostic residual mean flow where eddymean flow interactions appear in the horizontal momentum equations as the divergence of the EliassenPalm flux tensor (EPFT). It has been proposed that, given the mathematical tractability of the TWA equations, the physical interpretation of the EPFT, and its relation to potential vorticity fluxes, the TWA is an appropriate framework for modeling ocean circulation with parameterized eddies. The authors test the feasibility of this proposition and investigate the connections between the TWAmore ťframework and the conventional framework used in models, where Eulerian mean flow prognostic variables are solved for. Using the TWA framework as a starting point, this study explores the well-known connections between vertical transfer of horizontal momentum by eddy form drag and eddy overturning by the bolus velocity, used by Greatbatch and Lamb and Gent and McWilliams to parameterize eddies. After implementing the TWA framework in an ocean general circulation model, we verify our analysis by comparing the flows in an idealized Southern Ocean configuration simulated using the TWA and conventional frameworks with the same mesoscale eddy parameterization.Ť less
Benchmarking mean-field approximations to level densities
Y. Alhassid; G. F. Bertsch; C. N. Gilbreth; H. Nakada
2015-12-11
We assess the accuracy of finite-temperature mean-field theory using as a standard the Hamiltonian and model space of the shell model Monte Carlo calculations. Two examples are considered: the nucleus $^{162}$Dy, representing a heavy deformed nucleus, and $^{148}$Sm, representing a nearby heavy spherical nucleus with strong pairing correlations. The errors inherent in the finite-temperature Hartree-Fock and Hartree-Fock-Bogoliubov approximations are analyzed by comparing the entropies of the grand canonical and canonical ensembles, as well as the level density at the neutron resonance threshold, with shell model Monte Carlo (SMMC) calculations, which are accurate up to well-controlled statistical errors. The main weak points in the mean-field treatments are seen to be: (i) the extraction of number-projected densities from the grand canonical ensembles, and (ii) the symmetry breaking by deformation or by the pairing condensate. In the absence of a pairing condensate, we confirm that the usual saddle-point approximation to extract the number-projected densities is not a significant source of error compared to other errors inherent to the mean-field theory. We also present an alternative formulation of the saddle-point approximation that makes direct use of an approximate particle-number projection and avoids computing the usual three-dimensional Jacobian of the saddle-point integration. We find that the pairing condensate is less amenable to approximate particle-number projection methods due to the explicit violation of particle-number conservation in the pairing condensate. Nevertheless, the Hartree-Fock-Bogoliubov theory is accurate to less than one unit of entropy for $^{148}$Sm at the neutron threshold energy, which is above the pairing phase transition.
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
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
Chiesa, Alessandro
2010-01-01
The security of systems can often be expressed as ensuring that some property is maintained at every step of a distributed computation conducted by untrusted parties. Special cases include integrity of programs running on ...
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
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
Unknown
2011-08-17
Interpreting slavery can be a difficult and controversial task. Recent literature has shown that the majority of plantation museums and historic sites, which historically enslaved African-Americans, are currently ignoring the institution of slavery...
Virtual Cambridge - first proof
Macfarlane, Alan
2015-06-30
for visitors, including various facilities and places and another useful set also here. ??An experiment ? This is an experiment which makes use of technologies which have only just emerged. It is worth trying to understand Cambridge University... learns about surprising new developments so that new worlds of ideas are constantly opening up. I was astonished, for example, when I spent three months teaching at the Komaba campus of Tokyo University to find that there was no real staff or student...
Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 Outreach Home RoomPreservationBio-Inspired SolarAboutXu Named|Got Solitons? SUpdated: 04/20/10Instantiating apftp
Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 Outreach Home RoomPreservationBio-Inspired SolarAboutXu Named|Got Solitons? SUpdated: 04/20/10Instantiating apftp
Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 Outreach Home RoomPreservationBio-Inspired SolarAboutXu Named|Got Solitons? SUpdated: 04/20/10Instantiating apftp
Method for chemically analyzing a solution by acoustic means
Beller, L.S.
1997-04-22
A method and apparatus are disclosed for determining a type of solution and the concentration of that solution by acoustic means. Generally stated, the method consists of: immersing a sound focusing transducer within a first liquid filled container; locating a separately contained specimen solution at a sound focal point within the first container; locating a sound probe adjacent to the specimen, generating a variable intensity sound signal from the transducer; measuring fundamental and multiple harmonic sound signal amplitudes; and then comparing a plot of a specimen sound response with a known solution sound response, thereby determining the solution type and concentration. 10 figs.
Method for chemically analyzing a solution by acoustic means
Beller, Laurence S. (Idaho Falls, ID)
1997-01-01
A method and apparatus for determining a type of solution and the concention of that solution by acoustic means. Generally stated, the method consists of: immersing a sound focusing transducer within a first liquid filled container; locating a separately contained specimen solution at a sound focal point within the first container; locating a sound probe adjacent to the specimen, generating a variable intensity sound signal from the transducer; measuring fundamental and multiple harmonic sound signal amplitudes; and then comparing a plot of a specimen sound response with a known solution sound response, thereby determining the solution type and concentration.
A mechanical approach to mean field spin models
Giuseppe Genovese; Adriano Barra
2009-05-07
Inspired by the bridge pioneered by Guerra among statistical mechanics on lattice and analytical mechanics on 1+1 continuous Euclidean space-time, we built a self-consistent method to solve for the thermodynamics of mean-field models defined on lattice, whose order parameters self average. We show the whole procedure by analyzing in full details the simplest test case, namely the Curie-Weiss model. Further we report some applications also to models whose order parameters do not self-average, by using the Sherrington-Kirkpatrick spin glass as a guide.
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-14
Relativistic mean field calculations have been employed to study neutron rich nuclei. The Lagrange's equations have been solved in the co-ordinate space. The effect of the continuum has been effectively taken into account through the method of resonant continuum. It is found that BCS approximation performs as well as a more involved Relativistic Continuum Hartree Bogoliubov approach. Calculations reveal the possibility of modification of magic numbers in neutron rich nuclei. Calculation for low energy proton scattering cross sections shows that the present approach reproduces the density in very light neutron rich nuclei.
Beyond Mean-Field Calculations for Odd-A Nuclei
B. Bally; B. Avez; M. Bender; P. -H. Heenen
2014-10-15
Beyond mean-field methods are very successful tools for the description of large-amplitude collective motion for even-even atomic nuclei. The state-of-the-art framework of these methods consists in a Generator Coordinate Method based on angular-momentum and particle-number projected triaxially deformed Hatree-Fock-Bogoliubov (HFB) states. The extension of this scheme to odd-mass nuclei is a long-standing challenge. We present for the first time such an extension, where the Generator Coordinate space is built from self-consistently blocked one-quasiparticle HFB states. One of the key points for this success is that the same Skyrme interaction is used for the mean-field and the pairing channels, thus avoiding problems related to the violation of the Pauli principle. An application to 25Mg illustrates the power of our method, as agreement with experiment is obtained for the spectrum, electromagnetic moments, and transition strengths, for both positive and negative parity states and without the necessity for effective charges or effective moments. Although the effective interaction still requires improvement, our study opens the way to systematically describe odd-A nuclei throughout the nuclear chart.
Meaning in architecture : an investigation of the indigenous environment in Bangladesh
Haq, Saif-ul
1992-01-01
A meaningful environment forms a necessary and essential part of a meaningful existence. Meaning is an interpretive problem, and meaning in architecture is difficult to grasp. Theoretical insights into meaning have to be ...
Review: Climate Change: What It Means for Us, Our Children, and Our Grandchildren
Pazhoohi, Farid
2015-01-01
Review: Climate Change: What It Means for Us, Our Children,Doughman, Pamela (Editors).Climate Change: What It Means forexpressed by the editors, Climate Change: What It Means for
Variation after full projection with triaxially deformed nuclear mean field
Gao, Zao-Chun; Chen, Y S
2015-01-01
We implemented a variation after projection (VAP) algorithm based on a triaxially deformed Hartree-Fock-Bogoliubov vacuum state. This is the first projected mean field study that includes all the quantum numbers (except parity), i.e., spin ($J$), isospin ($T$) and mass number ($A$). Systematic VAP calculations with $JTA$-projection have been performed for the even-even $sd$-shell nuclei with the USDB Hamiltonian. All the VAP ground state energies are within 500 keV above the exact shell model values. Our VAP calculations show that the spin projection has two important effects: (1) the spin projection is crucial in achieving good approximation of the full shell model calculation. (2) the intrinsic shapes of the VAP wavefunctions with spin projection are always triaxial, while the Hartree-Fock-Bogoliubov methods likely provide axial intrinsic shapes. Finally, our analysis suggests that one may not be possible to associate an intrinsic shape to an exact shell model wave function.
Variation after full projection with triaxially deformed nuclear mean field
Zao-Chun Gao; Mihai Horoi; Y. S. Chen
2015-09-10
We implemented a variation after projection (VAP) algorithm based on a triaxially deformed Hartree-Fock-Bogoliubov vacuum state. This is the first projected mean field study that includes all the quantum numbers (except parity), i.e., spin ($J$), isospin ($T$) and mass number ($A$). Systematic VAP calculations with $JTA$-projection have been performed for the even-even $sd$-shell nuclei with the USDB Hamiltonian. All the VAP ground state energies are within 500 keV above the exact shell model values. Our VAP calculations show that the spin projection has two important effects: (1) the spin projection is crucial in achieving good approximation of the full shell model calculation. (2) the intrinsic shapes of the VAP wavefunctions with spin projection are always triaxial, while the Hartree-Fock-Bogoliubov methods likely provide axial intrinsic shapes. Finally, our analysis suggests that one may not be possible to associate an intrinsic shape to an exact shell model wave function.
Nuclear Level Density: Shell Model vs Mean Field
Sen'kov, Roman
2015-01-01
The knowledge of the nuclear level density is necessary for understanding various reactions including those in the stellar environment. Usually the combinatorics of Fermi-gas plus pairing is used for finding the level density. Recently a practical algorithm avoiding diagonalization of huge matrices was developed for calculating the density of many-body nuclear energy levels with certain quantum numbers for a full shell-model Hamiltonian. The underlying physics is that of quantum chaos and intrinsic thermalization in a closed system of interacting particles. We briefly explain this algorithm and, when possible, demonstrate the agreement of the results with those derived from exact diagonalization. The resulting level density is much smoother than that coming from the conventional mean-field combinatorics. We study the role of various components of residual interactions in the process of thermalization, stressing the influence of incoherent collision-like processes. The shell-model results for the traditionally...
Two stochastic mean-field polycrystal plasticity methods
Tonks, Michael [Los Alamos National Laboratory
2008-01-01
In this work, we develop two mean-field polycrystal plasticity models in which the L{sup c} are approximated stochastically. Through comprehensive CPFEM analyses of an idealized tantalum polycrystal, we verify that the L{sup c} tend to follow a normal distribution and surmise that this is due to the crystal interactions. We draw on these results to develop the STM and the stochastic no-constraints model (SNCM), which differ in the manner in which the crystal strain rates D{sup c} are prescribed. Calibration and validation of the models are performed using data from tantalum compression experiments. Both models predict the compression textures more accurately than the FCM, and the SNCM predicts them more accurately than the STM. The STM is extremely computationally efficient, only slightly more expensive than the FCM, while the SNCM is three times more computationally expensive than the STM.
Radiant energy receiver having improved coolant flow control means
Hinterberger, H.
1980-10-29
An improved coolant flow control for use in radiant energy receivers of the type having parallel flow paths is disclosed. A coolant performs as a temperature dependent valve means, increasing flow in the warmer flow paths of the receiver, and impeding flow in the cooler paths of the receiver. The coolant has a negative temperature coefficient of viscosity which is high enough such that only an insignificant flow through the receiver is experienced at the minimum operating temperature of the receiver, and such that a maximum flow is experienced at the maximum operating temperature of the receiver. The valving is accomplished by changes in viscosity of the coolant in response to the coolant being heated and cooled. No remotely operated valves, comparators or the like are needed.
Nambu-Jona-Lasinio Models Beyond the Mean Field Approximation
P. Domitrovich; D. Bückers; H. Müther
1993-04-01
Inspired by the model of Nambu and Jona-Lasinio, various Lagrangians are considered for a system of interacting quarks. Employing standard techniques of many-body theory, the scalar part of the quark self-energy is calculated including terms up to second-order in the interaction. Results obtained for the single-particle Green's function are compared with those which only account for the mean-field or Hartree-Fock term in the self-energy. Depending on the explicit form of the Lagrangian, the second-order contributions range between 4 and 90 percent of the leading Hartree-Fock term. This leads to a considerable momentum dependence of the self-energy and the effective mass of the quarks.
Shell Model and Mean-Field Description of Band Termination
M. Zalewski; W. Satula; W. Nazarewicz; G. Stoitcheva; H. Zdunczuk
2007-01-09
We study nuclear high-spin states undergoing the transition to the fully stretched configuration with maximum angular momentum I_max within the space of valence nucleons. To this end, we perform a systematic theoretical analysis of non-fully-stretched I_max-2 and I_max-1 f_{7/2}^n seniority isomers and d_{3/2}^{-1} f_{7/2}^{n+1} intruder states in the A~44 nuclei from the lower-fp shell. We employ two theoretical approaches: (i) the density functional theory based on the cranked self-consistent Skyrme-Hartree-Fock method, and (ii) the nuclear shell model in the full sdfp configuration space allowing for 1p-1h cross-shell excitations. We emphasize the importance of restoration of broken angular momentum symmetry inherently obscuring the mean-field treatment of high-spin states. Overall good agreement with experimental data is obtained.
Mean glandular dose in a breast screening programme
Galvan, H. A.; Perez-Badillo, M. P.; Villasenor, Y.
2012-10-23
Breast density has an important role in early detection of breast cancer, because has been reported the strong association between breast density and invasive breast cancer risk. Mammography is the gold standard to early detection of breast cancer, despite of this require ionizing radiation that may increase radio-induced cancer risk. This maybe limited with a quality control programme of mammographic units, with the main goal of achieving high quality images with low radiation dose. International Atomic Energy Agency (IAEA) published in 2011 the {sup Q}uality assurance programme for digital mammography{sup ,} where glandular tissue quantity is an important parameter to compute mean glandular dose (MGD), which is necessary to reduce its associated risk. In this work we show the first results in our country applying this protocol and studying breast density in a small group. MGD complies with national and IAEA dose limits.
Poggio, Tomaso
Risk Minimization (ERM) and almost-ERM when the minimizer does not exist need to be consis- tent, (b) necessary and suffi- cient for consistency of ERM. Thus LOO stability is a weak form of stability the classical conditions for consistency of ERM. In particular, we conclude that a certain form of well
Effect of ocean mesoscale variability on the mean state of tropical Atlantic climate
Seo, H; Jochum, M; Murtugudde, R; Miller, A J
2006-01-01
Effect of Ocean Mesoscale Variability on the Mean State ofthe effect of oceanic mesoscale features on the mean climatemodel, resolving oceanic mesoscale variability leads to a
Predicting Pneumonitis Risk: A Dosimetric Alternative to Mean Lung Dose
Tucker, Susan L.; Mohan, Radhe; Liengsawangwong, Raweewan; Martel, Mary K.; Liao Zhongxing
2013-02-01
Purpose: To determine whether the association between mean lung dose (MLD) and risk of severe (grade {>=}3) radiation pneumonitis (RP) depends on the dose distribution pattern to normal lung among patients receiving 3-dimensional conformal radiation therapy for non-small-cell lung cancer. Methods and Materials: Three cohorts treated with different beam arrangements were identified. One cohort (2-field boost [2FB]) received 2 parallel-opposed (anteroposterior-posteroanterior) fields per fraction initially, followed by a sequential boost delivered using 2 oblique beams. The other 2 cohorts received 3 or 4 straight fields (3FS and 4FS, respectively), ie, all fields were irradiated every day. The incidence of severe RP was plotted against MLD in each cohort, and data were analyzed using the Lyman-Kutcher-Burman (LKB) model. Results: The incidence of grade {>=}3 RP rose more steeply as a function of MLD in the 2FB cohort (N=120) than in the 4FS cohort (N=138), with an intermediate slope for the 3FS group (N=99). The estimated volume parameter from the LKB model was n=0.41 (95% confidence interval, 0.15-1.0) and led to a significant improvement in fit (P=.05) compared to a fit with volume parameter fixed at n=1 (the MLD model). Unlike the MLD model, the LKB model with n=0.41 provided a consistent description of the risk of severe RP in all three cohorts (2FB, 3FS, 4FS) simultaneously. Conclusions: When predicting risk of grade {>=}3 RP, the mean lung dose does not adequately take into account the effects of high doses. Instead, the effective dose, computed from the LKB model using volume parameter n=0.41, may provide a better dosimetric parameter for predicting RP risk. If confirmed, these findings support the conclusion that for the same MLD, high doses to small lung volumes ('a lot to a little') are worse than low doses to large volumes ('a little to a lot').
Can-out hatch assembly with magnetic retention means
Frank, R.C.; Hoh, J.C.
1985-07-03
A can-out hatch assembly may be positioned in sealed engagement about aperture within a chamber and is adapted to engage a cover on a container positioned over the aperture to allow the transfer of a contaminant from the chamber to the container while maintaining the contaminant as well as internal portions of the chamber and container isolated from the surrounding environment. With the container's cover engaged by the can-out hatch assembly, the hatch assembly as well as the cover may be pivotally displaced from the aperture with the cover maintaining the exterior portion of the hatch assembly isolated from the contaminant. After the contaminant is transferred from the chamber to the container, the hatch assembly and cover are again positioned in sealed engagement about the aperture. The hatch assembly then positions the cover upon the open end of the container in a sealed manner allowing the container to be removed while maintaining the chamber sealed relative to the surrounding environment. The can-out hatch assembly is particularly adapted for operation by remote control means within the sealed chamber.
Nuclear Level Density: Shell Model vs Mean Field
Roman Sen'kov; Vladimir Zelevinsky
2015-08-15
The knowledge of the nuclear level density is necessary for understanding various reactions including those in the stellar environment. Usually the combinatorics of Fermi-gas plus pairing is used for finding the level density. Recently a practical algorithm avoiding diagonalization of huge matrices was developed for calculating the density of many-body nuclear energy levels with certain quantum numbers for a full shell-model Hamiltonian. The underlying physics is that of quantum chaos and intrinsic thermalization in a closed system of interacting particles. We briefly explain this algorithm and, when possible, demonstrate the agreement of the results with those derived from exact diagonalization. The resulting level density is much smoother than that coming from the conventional mean-field combinatorics. We study the role of various components of residual interactions in the process of thermalization, stressing the influence of incoherent collision-like processes. The shell-model results for the traditionally used parameters are also compared with standard phenomenological approaches.
Nonextensive critical effects in relativistic nuclear mean field models
J. Rozynek; G. Wilk
2011-02-22
We present a possible extension of the usual relativistic nuclear mean field models widely used to describe nuclear matter towards accounting for the influence of possible intrinsic fluctuations caused by the environment. Rather than individually identifying their particular causes we concentrate on the fact that such effects can be summarily incorporated in the changing of the statistical background used, from the usual (extensive) Boltzman-Gibbs one to the nonextensive taken in the form proposed by Tsallis with a dimensionless nonextensivity parameter $q$ responsible for the above mentioned effects (for $q \\rightarrow 1$ one recovers the usual BG case). We illustrate this proposition on the example of the QCD-based Nambu - Jona-Lasinio (NJL) model of a many-body field theory describing the behavior of strongly interacting matter presenting its nonextensive version. We check the sensitivity of the usual NJL model to a departure from the BG scenario expressed by the value of $| q - 1|$, in particular in the vicinity of critical points.
Wylie, Joann; Hockert, John
2014-04-24
The National Nuclear Security Administration (NNSA) Office of Nonproliferation and International Securitys (NA-24) Next Generation Safeguards Initiative (NGSI) and the nuclear industry have begun to develop approaches to identify and monitor uranium hexafluoride (UF6) cylinders. The NA-24 interest in a global monitoring system for UF6 cylinders relates to its interest in supporting the International Atomic Energy Agency (IAEA) in deterring and detecting diversion of UF6 (e.g., loss of cylinder in transit) and undeclared excess production at conversion and enrichment facilities. The industry interest in a global monitoring system for UF6 cylinders relates to the improvements in operational efficiencies that such a system would provide. This task is part of an effort to survey and assess technologies for a UF6 cylinder to identify candidate technologies for a proof-of-concept demonstration and evaluation for the Cylinder Identification System (CIS).
Torres-Verdín, Carlos
Joint Inversion of Reservoir Production Measurements and 3D Pre-Stack Seismic Data: Proof-stack seismic data and fluid production history. The production measurements and the seismic data problem associated with the inversion. Fluid production measurements are sensitive to initial fluid
Review: Climate Change: What It Means for Us, Our Children, and Our Grandchildren
Pazhoohi, Farid
2015-01-01
anthropogenic impact on climate are mentioned (Chapter 3).Review: Climate Change: What It Means for Us, Our Children,Doughman, Pamela (Editors).Climate Change: What It Means for
Hardy Means of a Finite Blaschke Product and Its Alan Gluchoff and Frederick Hartmann
Hartmann, Frederick
Hardy Means of a Finite Blaschke Product and Its Derviative Alan Gluchoff and Frederick Hartmann;2 ALAN GLUCHOFF AND FREDERICK HARTMANN means n k=1 |Bn(rzk)|(1-|zk|) and n k=1 |Bn(rzk)|(1-|zk
A STUDY OF MICROWAVE INSTABILITIES BY MEANS OF A SQUARE-WELL POTENTIAL
Kim, K.-J.
2010-01-01
a more realistic theory of microwaveˇ~nstabi1ities.16-27, 1979 A STUDY OF MICROWAVE INSTABILITIES BY MEANS OF ABerkeley A Study of Microwave Instabilities by means of a
What it means to be Christian: Kierkegaard's purpose as an author
Vaughn, Bradley Keith
2003-01-01
My purpose for this thesis is to understand and interpret the meaning and intent of Kierkegaard's authorship. Kierkegaard is emphatically concerned with making his reader aware of essential Christianity and what it means to be a Christian...
Baer, Roi
. Solitary solutions were also found for the mean field GrossPitevskii model for BoseEinstein condensates.9
Caselles, Vicent
Crystalline mean curvature flow of convex sets G. Bellettini # , V. Caselles + , A. Chambolle # , M. Novaga Â§ 29th October 2004 Abstract We prove a local existence and uniqueness result of crystalline mean a compact convex set is unique. Key words: crystalline mean curvature, #Âregular flows, flat flows, convex
Model-based Risk Assessment What does model-based mean?
Střlen, Ketil
Model-based Risk Assessment What does model-based mean? Model-based means based on modelling keeping a good overview at the same time. What does Risk Assessment mean? A risk assessment is a process to change the system in order to reduce these indicated risks. Why Risk Assessment? IT-systems get bigger
Real Option Pricing with Mean-Reverting Investment and Project Value
Zubelli, Jorge Passamani
to the invest in an oil field. Like most commodities, oil prices tend to mean-revert, and as a direct result the value of investment in an oil field is also mean-reverting. Consequently, it would not be appropriateReal Option Pricing with Mean-Reverting Investment and Project Value October 1st, 2009 #12;Abstract
Real Option Pricing with Mean-Reverting Investment and Project Value
Zubelli, Jorge Passamani
is the valuation of the option to the invest in an oil field. Like most commodities, oil prices tend to mean-revert, and as a direct result the value of investment in an oil field is also mean-reverting. Consequently, it wouldReal Option Pricing with Mean-Reverting Investment and Project Value Sebastian Jaimungal , Max
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
Cang, Nguyen The
2015-01-01
In this paper, we introduce new methods for solving the vacuum Einstein constraints equations: the first one is based on Schaefer's fixed point theorem (known methods use Schauder's fixed point theorem) while the second one uses the concept of half-continuity coupled with the introduction of local supersolutions. These methods allow to: unify some recent existence results, simplify many proofs (for instance, the main theorem in arXiv:1012.2188) and weaken the assumptions of many recent results.
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-15
Examples are presented of how the geometric notion of the mean curvature is applied to the vector of a general magnetic field and to magnetic surfaces. It is shown that the mean curvature is related to the variation of the absolute value of the magnetic field along its lines. Magnetic surfaces of constant mean curvature are optimum for plasma confinement in multimirror open confinement systems and rippled tori.
What Meaning does Raising a Child with Autism have for Parents? A Qualitative Exploration
Jardine, Kirsten Marie
2008-01-01
Introduction: Children with autism experience difficulties in social interaction and communication which are often manifested behaviourally. The nature of these difficulties means that the task of parenting is ...
Policy Paper 02: Climate Change: A Challenge to the Means of Technology Transfer
MacDonald, Gordon J. F.
1992-01-01
TO THE MEANS OF TECHNOLOGY TRANSFER Gordon J. MacDonaldthe importance of technology transfer in dealing withthe discussion of technology transfer has centered on
Konrad, Allan
2007-01-01
of a relational thesaurus. In Knowledge Organization andJohn Wiley. 11-22. 1965. Thesaurus principles [Hudon 1998]of specifying meaning in a thesaurus. Conference paper in: [
Method and means for continuous precipitation of easy-dry, granular uranium peroxide
Cahill, Allen E. (Roland, IA); Burkhart, deceased, Lawrence E. (late of Ames, IA)
1992-02-28
A method and means for continuous precipitation of granular uranium peroxide. The reaction vessel and agitation method practiced in it avoid filter plugging and caking problems.
Noise-induced phase separation: Mean-field results M. Iban~es,1
Toral, Raúl
Noise-induced phase separation: Mean-field results M. Iban~es,1 J. Garci´a-Ojalvo,2,3 R. Toral,4 of spatially correlated multipli- cative noise. We develop a mean-field approach suitable for conserved with numerical simulations of the complete model in two dimensions. Additionally, a comparison between the noise
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 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
A Mean Field Based Methodology for Modeling Mobility in Ad Hoc Networks
HorvĂĄth, AndrĂĄs
the behavior of the system. Index Terms--ad hoc networks, mean field analysis, Petri nets; I. INTRODUCTIONA Mean Field Based Methodology for Modeling Mobility in Ad Hoc Networks Marco Beccuti1--In this paper we propose a methodology for the modeling and analysis of ad hoc networks composed by a large
Physical meaning of gauge and super-gauge in general-relativistic field theories
Treder, H.
1985-05-01
The physical meaning of gauge groups in bimetrical, Riemannian, and Hermitian theories of gravitation is discussed. In Hermitian relativity, Einstein's A-invariance means a super-gauge group which characterizes the Einstein-Schroedinger equations as the only nondegenerate general-relativistic field theory.
Risk Analysis, Vol. , No. , DOI: Mean-Deviation Analysis in The Theory of Choice
Banaji,. Murad
Risk Analysis, Vol. , No. , DOI: Mean-Deviation Analysis in The Theory of Choice Bogdan Grechuk: mean-deviation analysis, theory of choice, deviation measures, coherent risk measures 1. INTRODUCTION for Risk Analysis #12;2 B. Grechuk, A. Molyboha, M. Zabarankin r.v. PC such that PC > PB with probability 1
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
Chu, Hao-hua
. An improved mean reciprocal rank (MRR) measurement, mean average reciprocal rank (MARR), and an efficient formula to reduce the computational complexity of the MARR are proposed to address the same score problem. With our syntactic and semantic features, our system achieves a Top-1 MARR of 74.11% and Top-5 MARR of 76
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
Mean--Field and Nonlinear Dynamics in Many--Body Quantum Systems
V. R. Manfredi; L. Salasnich
1998-11-08
In this paper we discuss in detail the nonlinear equations of the mean--field approximation and their connection to the exact many--body Schr\\"odinger equation. Then we analyze the mean--field approach and the nonlinear dynamics of a trapped condensate of weakly--interacting bosons.
Peak-to-mean power control in OFDM, Golay complementary sequences and Reed-Muller codes
Jedwab, Jonathan
1 Peak-to-mean power control in OFDM, Golay complementary sequences and Reed-Muller codes James A of carriers. These schemes have tightly bounded peak-to- mean envelope power ratio (PMEPR) and simultaneously obtain additional exibility in trading o code rate, PMEPR and errorcorrectioncapability by partitioning
Nuclear structure in mean-field theory and its extensions G.F. Bertsch
Bertsch George F.
for Study at RIKEN (Wako). gene:japan2005/riken3.tex 1 #12;Contents PART I: THE STATIC MEAN FIELD 3 I. Generator Coordinate Method 32 VIII. Auxiliary field methods 35 2 #12;A. Thermal properties 38 B. SMMC in the wave function. B. The old and the new in SCMF Self-consistent mean field theory has a long history
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
Discriminating Among Word Meanings By Identifying Similar Contexts Amruta Purandare and Ted Pedersen
Pedersen, Ted
Discriminating Among Word Meanings By Identifying Similar Contexts Amruta Purandare and Ted}@d.umn.edu http://senseclusters.sourceforge.net Abstract Word sense discrimination is an unsupervised clustering problem, which seeks to discover which instances of a word/s are used in the same meaning. This is done
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
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
Wilcox, Russell B. (Oakland, CA)
1991-01-01
A planar transparent light conducting means and an improved optically activated electrical switch made using the novel light conducting means are disclosed. The light conducting means further comprise light scattering means on one or more opposite planar surfaces thereof to transmit light from the light conducting means into adjacent media and reflective means on other surfaces of the light conducting means not containing the light scattering means. The optically activated electrical switch comprises at least two stacked photoconductive wafers, each having electrodes formed on both surfaces thereof, and separated by the planar transparent light conducting means. The light scattering means on the light conducting means face surfaces of the wafers not covered by the electrodes to transmit light from the light conducting means into the photoconductive wafers to uniformly illuminate and activate the switch.
Wilcox, R.B.
1991-09-10
A planar transparent light conducting means and an improved optically activated electrical switch made using the novel light conducting means are disclosed. The light conducting means further comprise light scattering means on one or more opposite planar surfaces thereof to transmit light from the light conducting means into adjacent media and reflective means on other surfaces of the light conducting means not containing the light scattering means. The optically activated electrical switch comprises at least two stacked photoconductive wafers, each having electrodes formed on both surfaces thereof, and separated by the planar transparent light conducting means. The light scattering means on the light conducting means face surfaces of the wafers not covered by the electrodes to transmit light from the light conducting means into the photoconductive wafers to uniformly illuminate and activate the switch. 11 figures.
Electric coheating as a means to test duct efficiency: A review and analysis of the literature
Andrews, J.W.
1995-08-01
Recent published literature on electric coheating was reviewed in order to assess its suitability for use in a method of test for the efficiency of residential duct systems. Electric coheating is the research use of electric heaters within the heated space to assess the thermal integrity of the building envelope. Information was sought in two primary areas: (1) experimental methodology and (2) accuracy of the coheating method. A variety of experimental variations was found, and the method was judged, on the basis of published data, to be capable of sufficient accuracy for use in duct testing.
THE CONTROL OF A HIGH-POWER NEUTRAL BEAM GENERATOR BY MEANS OF ARC-CURRENT REGULATION
Lietzke, A.F.
2010-01-01
A HIGH-POWER NEUTRAL BEAM GENERATOR BY MEANS OF ARC-CURRENTA HIGH-POWER NEUTRAL BEAM GENERATOR BY MEANS OF ARC-CURRENT
Helfritch, D.J.; Bortz, S.J. [Research-Cottrell, Inc., Somerville, NJ (United States); Beittel, R. [Riley Stoker Corp., Worcester, MA (United States)
1994-03-01
The integrated Dry Injection Process (IDIP) consists of combustion modification using low NO{sub x} burners to reduce NO{sub x} emissions, dry injection of hydrated line at economizer temperatures for primary capture of SO{sub 2}, dry injection of a commercial grade sodium bicarbonate at the air heater exit for additional SO{sub 2} and NO{sub x} removal, and humidification for precipitator conditioning. IDIP offers the potential for simultaneously achieving 90% SO{sub 2} removal, and 65% NO{sub x} removal from a high sulfur flue gas. The process is well suited for new or retrofit applications since it can be incorporated within existing economizer and downstream ductwork. Subscale tests were performed in order to identify the best calcium and sodium sorbents. These tests involved the injection of calcium hydroxide and sodium sorbents at various points of the flue gas system downstream of a 0.25 MM BTU/hr. coal fired combustor, and the gas residence times, cooling rates and temperatures were comparable to those found for full-scale utility boilers. These tests verified that a high surface area hydrated lime provides maximum sorbent utilization and identified an alcohol-water hydrated lime as yielding the highest surface area and the best SO{sub 2} removal capability. The tests also identified sodium bicarbonate to be somewhat more effective than sodium sesquicarbonate for SO{sub 2} removal. The proof of concept demonstration was conducted on the large combustor at the Riley Stoker Research Facility in Worcester, MA. When economically compared to conventional limestone slurry scrubbing on a 300 MW plant, the dry injection process shows lower capital cost but higher operating cost. Hydrated lime injection can be less costly than limestone scrubbing when two or more of the following conditions exist: plant is small (less than 100MW); yearly operating hours are small (less than 3000); and the remaining plant lifetime is small (less than 10 years).
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
Thompson, Donald O. (Ames, IA); Hsu, David K. (Ames, IA)
1993-12-14
The invention includes a means and method for transmitting and receiving broadband, unipolar, ultrasonic pulses for ultrasonic inspection. The method comprises generating a generally unipolar ultrasonic stress pulse from a low impedance voltage pulse transmitter along a low impedance electrical pathway to an ultrasonic transducer, and receiving the reflected echo of the pulse by the transducer, converting it to a voltage signal, and passing it through a high impedance electrical pathway to an output. The means utilizes electrical components according to the method. The means and method allow a single transducer to be used in a pulse/echo mode, and facilitates alternatingly transmitting and receiving the broadband, unipolar, ultrasonic pulses.
Thompson, D.O.; Hsu, D.K.
1993-12-14
The invention includes a means and method for transmitting and receiving broadband, unipolar, ultrasonic pulses for ultrasonic inspection. The method comprises generating a generally unipolar ultrasonic stress pulse from a low impedance voltage pulse transmitter along a low impedance electrical pathway to an ultrasonic transducer, and receiving the reflected echo of the pulse by the transducer, converting it to a voltage signal, and passing it through a high impedance electrical pathway to an output. The means utilizes electrical components according to the method. The means and method allow a single transducer to be used in a pulse/echo mode, and facilitates alternatingly transmitting and receiving the broadband, unipolar, ultrasonic pulses. 25 figures.
Mean parity of single quantum excitation of some optical fields in thermal environments
Shang-Bin Li
2010-06-11
The mean parity (the Wigner function at the origin) of excited binomial states, excited coherent states and excited thermal states in thermal channel is investigated in details. It is found that the single-photon excited binomial state and the single-photon excited coherent state exhibit certain similarity in the aspect of their mean parity in the thermal channel. We show the negative mean parity can be regarded as an indicator of nonclassicality of single-photon excitation of optical fields with a little coherence, especially for the single-photon excited thermal states.
Statistical mechanics of the nonlinear Schroedinger equation. II. Mean field approximation
Lebowitz, J.L.; Rose, H.A.; Speer, E.R.
1989-01-01
The authors investigate a mean field approximation to the statistical mechanics of complex fields with dynamics governed by the nonlinear Schroedinger equation. Such fields, whose Hamiltonian is unbounded below, may model plasmas, lasers, and other physical systems. Restricting themselves to one-dimensional systems with periodic boundary conditions, we find in the mean field approximation a phase transition from a uniform regime to a regime in which the system is dominated by solitons. They compute explicitly, as a function of temperature and density (L/sup 2/ norm), the transition point at which the uniform configuration becomes unstable to local perturbations; static and dynamic mean field approximations yield the same result.
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-01
An apparatus and method for the destruction of particles entrained in a gas stream are disclosed. Destruction in the context of the subject invention means the fragmentation and/or vaporization of particles above a certain size limit. The subject invention contemplates destroying such particles by exposing them to intense bursts of laser light, such light having a frequency approximately equal to or less than the mean size of such particles. This invention is particularly adopted to the protection of turbine blades in open cycle coal-fired turbine systems. Means for introducing various chemical species and activating them by exposure to laser light are also disclosed.
Mean Motion Resonances in Exoplanet Systems: An Investigation Into Nodding Behavior
Ketchum, Jacob A; Bloch, Anthony M
2012-01-01
Motivated by the large number of extrasolar planetary systems that are near mean motion resonances, this paper explores a related type of dynamical behavior known as "nodding". Here, the resonance angle of a planetary system executes libration (oscillatory motion) for several cycles, circulates for one or more cycles, and then enters once again into libration. This type of complicated dynamics can affect our interpretation of observed planetary systems that are in or near mean motion resonance. This work shows that planetary systems in (near) mean motion resonance can exhibit nodding behavior, and outlines the portion of parameter space where it occurs. This problem is addressed using both full numerical integrations of the planetary systems and via model equations obtained through expansions of the disturbing function. In the latter approach, we identify the relevant terms that allow for nodding. The two approaches are in agreement, and show that nodding often occurs when a small body is in an external mean ...
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. ...
Exploring Constructions of the Meanings of Play among Korean Preservice Kindergarten Teachers
Ahn, Soo Young
2010-01-16
The purpose of this study was to explore what the word "play" means and implies for Korean preservice kindergarten teachers in an early childhood teacher education program. The research questions under investigation were: ...
Time-odd mean fields in covariant density functional theory I. Non-rotating systems
A. V. Afanasjev; H. Abusara
2010-10-09
Time-odd mean fields (nuclear magnetism) are analyzed in the framework of covariant density functional theory (CDFT). It is shown that they always provide additional binding to the binding energies of odd-mass nuclei. This additional binding only weakly depends on the RMF parametrization reflecting good localization of the properties of time-odd mean fields in CDFT. The underlying microscopic mechanism is discussed in detail. Time-odd mean fields affect odd-even mass differences. However, our analysis suggests that the modifications of the strength of pairing correlations required to compensate for their effects are modest. In contrast, time-odd mean fields have profound effect on the properties of odd-proton nuclei in the vicinity of proton-drip line. Their presence can modify the half-lives of proton-emitters (by many orders of magnitude in light nuclei) and affect considerably the possibilities of their experimental observation.
Mean evaporation and condensation coefficients based on energy dependent condensation probability
Struchtrup, Henning
Maurice Bond and Henning Struchtrup* Department of Mechanical Engineering, University of Victoria, P. Ward, Phys. Rev. E 59, 419 (1999)]. It is shown that mean condensation and evaporation coefficients
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 ...
Creating meaning in the face of bereavement, an adult childs perspective
Sehn, Zoë Lyana
2013-11-29
This dissertation offers my personal exploration of the loss of my father through the eyes of multiple selves. Utilizing an arts-inspired autoethnographic narrative case study approach, I detail my journey of meaning ...
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-25
Theoretical methods, interpretations and conclusions on the fission dynamics in a recent publication of H. Hofmann and F. A. Ivanyuk on the mean first passage time are critically considered.
Pinto, Zeena Blossom
2001-01-01
A sample size of 81, 4" diameter concrete standard cylinders were tested using nondestructive means. These cylinders were collected from three different ready-mix plants across Texas located in Houston, San Antonio and Victoria. The sound...
Liu, Qinyan
2005-08-29
in diagnosing dimensional variation sources in assembly processes. Sensitivity indices of detecting process mean and variance components are defined as the design criteria and are derived in terms of process layout and sensor deployment information. Exchange...
Fox, Stephen Richard
2005-01-01
Recombinant human glycoproteins produced by Chinese Hamster Ovary (CHO) cells are an important class of therapeutic molecules and investigating means of improving the production rate and product quality of these glycoproteins ...
Individualizing Electrical Circuits of Cryptographic Devices as a Means to Hinder Tampering Attacks
International Association for Cryptologic Research (IACR)
Individualizing Electrical Circuits of Cryptographic Devices as a Means to Hinder Tampering Attacks the Wheatstone bridge measurement setup. Here we propose to in- dividualize the electrical circuit of devices with individualized electrical circuit are individualized while providing the same functionality
New Skyrme nucleon-nucleon interaction for the mean-field approximation
Vuong, Au Kim
2007-09-17
The effective Skyrme type interactions have been used in the mean-field models for several decades, and many different parameterizations of the interaction have been realized to better reproduce nuclear masses, radii, and ...
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...