Weakly sufficient quantum statistics
Katarzyna Lubnauer; Andrzej ?uczak; Hanna Pods?dkowska
2009-11-23T23:59:59.000Z
Some aspects of weak sufficiency of quantum statistics are investigated. In particular, we give necessary and sufficient conditions for the existence of a weakly sufficient statistic for a given family of vector states, investigate the problem of its minimality, and find the relation between weak sufficiency and other notions of sufficiency employed so far.
Azar, Pablo Daniel
We study a new type of proof system, where an unbounded prover and a polynomial time verifier interact, on inputs a string x and a function f, so that the Verifier may learn f(x). The novelty of our setting is that there ...
Energy Strategic Planning & Sufficiency Project
Retziaff, Greg
2005-03-30T23:59:59.000Z
This report provides information regarding options available, their advantages and disadvantages, and the costs for pursuing activities to advance Smith River Rancheria toward an energy program that reduces their energy costs, allows greater self-sufficiency and stimulates economic development and employment opportunities within and around the reservation. The primary subjects addressed in this report are as follows: (1) Baseline Assessment of Current Energy Costs--An evaluation of the historical energy costs for Smith River was conducted to identify the costs for each component of their energy supply to better assess changes that can be considered for energy cost reductions. (2) Research Viable Energy Options--This includes a general description of many power generation technologies and identification of their relative costs, advantages and disadvantages. Through this research the generation technology options that are most suited for this application were identified. (3) Project Development Considerations--The basic steps and associated challenges of developing a generation project utilizing the selected technologies are identified and discussed. This included items like selling to third parties, wheeling, electrical interconnections, fuel supply, permitting, standby power, and transmission studies. (4) Energy Conservation--The myriad of federal, state and utility programs offered for low-income weatherization and utility bill payment assistance are identified, their qualification requirements discussed, and the subsequent benefits outlined. (5) Establishing an Energy Organization--The report includes a high level discussion of formation of a utility to serve the Tribal membership. The value or advantages of such action is discussed along with some of the challenges. (6) Training--Training opportunities available to the Tribal membership are identified.
Thomas Chambrion
2013-03-07T23:59:59.000Z
This note presents a sufficient condition for partial approximate ensemble controllability of a set of bilinear conservative quantum systems in an infinite dimensional Hilbert space. The proof relies on classical geometric and averaging control techniques applied on finite dimensional approximation of the infinite dimensional system. The results are illustrated with the planar rotation of a linear molecule.
Sophia Proof of Concept Report
Gordon Rueff; Corey Thuen; James Davidson
2010-03-01T23:59:59.000Z
Final report covering the development, deployment and lessons learning while making the Sophia proof of concept.
SUFFICIENT AND NECESSARY CONDITIONS FOR SEMIDEFINITE ...
2008-05-19T23:59:59.000Z
for building global SDP representations from the local ones. ... a compact convex semialgebraic set S, we prove sufficient: the boundary ?S is nonsingular and.
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...
Proof-Assistants Using Dependent Type Systems
Geuvers, Herman
of Proof Development . . . . . . . . . . . . . . . . . . . . . . . . . . 1214 4.3 Autarkic Computations
Proof of Activity: Extending Bitcoin's Proof of Work via Proof of Stake Iddo Bentov
Proof of Activity: Extending Bitcoin's Proof of Work via Proof of Stake Iddo Bentov Computer Mizrahi chromawallet.com alex.mizrahi@gmail.com Meni Rosenfeld Israeli Bitcoin Association meni@bitcoin.org.il Abstract We propose a new protocol for a cryptocurrency, that builds upon the Bitcoin protocol by combining
Use of the Necessary and Sufficient Process
Broader source: Directives, Delegations, and Requirements [Office of Management (MA)]
1996-01-25T23:59:59.000Z
Authorizes use of the Necessary and Sufficient Process which addresses how the Department will select its standards to protect workers, the public, and the environment and form the basis for the Department's move to integrating standards activities into a consistent, coordinated system of standards-based safety management. Does not cancel other directives.
An alternative proof of the Bryant representation Jose A. Galveza
Gálvez, José Antonio
An alternative proof of the Bryant representation Jos´e A. G´alveza and Pablo Mirab a Departamento Keywords: constant mean curvature, Bryant surfaces, Liouville equation. 1 Introduction In his famous 1987 paper, R. Bryant [Bry] established a meromorphic representation for the surfaces with constant mean
Integrating Implicit Induction Proofs into Certified Proof Environments
Paris-Sud XI, Universit de
and reliable. However, the process for certifying complex soft- ware systems is tedious [13], in the case assistants, our checking methodology is simpler and fits better for automation. The underlying implicit induc extreme, the approach is to certify inference systems such that any proof developed inside certified proof
How to Associate Propositional Proof Systems
Cook, Stephen A.
: Proof system f p-simulates proof system g if 9 polytime T such that f(T(x)) = g(x) GentzenHow to Associate Propositional Proof Systems and Theories with Complexity Classes Part III; Introduction to Propositional Proof Com- plexity A proof system is a polynomial time map f : f0; 1g #3; onto
Proof-assistants using Dependent Type Henk Barendregt
Barendregt, Henk
.3 Autarkic Computations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72 5 Proof assistants
Proof and Definition in Logic and Type Theory Proof and Definition in Logic and Type Theory
Adams, Robin
Proof and Definition in Logic and Type Theory Proof and Definition in Logic and Type Theory Robin questions. #12;Proof and Definition in Logic and Type Theory Definition and Proof Definition and proof -- but they are not in predicate logic or type theory. #12;Proof and Definition in Logic and Type Theory Methods of Definition
First Proof of Ferromagnetic Carbon
Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville Power AdministrationField8,Dist.New MexicoFinancingProof of Ferromagnetic Carbon PrintProofProof
First Proof of Ferromagnetic Carbon
Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)
Proof of Ferromagnetic Carbon Print Although it has long been suspected that carbon belongs on the short list of materials that can be magnetic at room temperature, attempts to...
First Proof of Ferromagnetic Carbon
Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)
First Proof of Ferromagnetic Carbon Print Although it has long been suspected that carbon belongs on the short list of materials that can be magnetic at room temperature, attempts...
Energy Strategic Planning & Self-Sufficiency Project
Greg Retzlaff
2005-03-30T23:59:59.000Z
This report provides information regarding options available, their advantages and disadvantages, and the costs for pursuing activities to advance Smith River Rancheria toward an energy program that reduces their energy costs, allows greater self-sufficiency and stimulates economic development and employment opportunities within and around the reservation. The primary subjects addressed in this report are as follow: (1) Baseline Assessment of Current Energy Costs--An evaluation of the historical energy costs for Smith River was conducted to identify the costs for each component of their energy supply to better assess changes that can be considered for energy cost reductions. (2) Research Viable Energy Options--This includes a general description of many power generation technologies and identification of their relative costs, advantages and disadvantages. Through this research the generation technology options that are most suited for this application were identified. (3) Project Development Considerations--The basic steps and associated challenges of developing a generation project utilizing the selected technologies are identified and discussed. This included items like selling to third parties, wheeling, electrical interconnections, fuel supply, permitting, standby power, and transmission studies. (4) Energy Conservation--The myriad of federal, state and utility programs offered for low-income weatherization and utility bill payment assistance are identified, their qualification requirements discussed, and the subsequent benefits outlined. (5) Establishing an Energy Organization--The report includes a high level discussion of formation of a utility to serve the Tribal membership. The value or advantages of such action is discussed along with some of the challenges. (6) Training--Training opportunities available to the Tribal membership are identified.
A three-term conjugate gradient method with sufficient descent ...
2009-11-02T23:59:59.000Z
Finally, some numerical results of the proposed method are given. keyword; Unconstrained optimization, three-term conjugate gradient method, sufficient.
First Proof of Ferromagnetic Carbon
Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville Power AdministrationField8,Dist.New MexicoFinancingProof of Ferromagnetic Carbon PrintProof of
First Proof of Ferromagnetic Carbon
Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville Power AdministrationField8,Dist.New MexicoFinancingProof of Ferromagnetic Carbon PrintProof
A Non-linear Dynamical Systems' Proof of Kraft-McMillan Inequality and its Converse
Nithin Nagaraj
2007-10-31T23:59:59.000Z
In this short paper, we shall provide a dynamical systems' proof of the famous Kraft-McMillan inequality and its converse. Kraft-McMillan inequality is a basic result in information theory which gives a necessary and sufficient condition for the lengths of the codewords of a code to be uniquely decodable.
ON INTERACTIVE PROOFS WITH A LACONIC PROVER
Wigderson, Avi
ON INTERACTIVE PROOFS WITH A LACONIC PROVER Oded Goldreich, Salil Vadhan, and Avi Wigderson Abstract. We continue the investigation of interactive proofs with bounded communication, as initiated by Goldreich and Hastad (IPL 1998). Let L be a language that has an interactive proof in which the prover sends
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
Managing Proof Documents for Asynchronous Processing
Lth, Christoph - Deutschen Forschungszentrum fr Knstliche Intelligenz & Fachbereich 3
Managing Proof Documents for Asynchronous Processing Holger Gast Wilhelm-Schickard-Institut f Management (UITP '08, 22.8.2008) 1H. Gast Asynchronous Proof Document Management (UITP '08, 22.8.2008) 1H. Gast Asynchronous Proof Document Management (UITP '08, 22.8.2008) 1 #12;Traditional User Interfaces
Semantic contamination and mathematical proof: Can a non-proof prove? 1
Inglis, Matthew
Semantic contamination and mathematical proof: Can a non-proof prove? 1 Juan Pablo Mej contamination effect plays a role in determining how students engage with mathematical proof, a fundamental, reasoning, semantic contamination Argumentation and proof are widely accepted as being central
First Proof of Ferromagnetic Carbon
Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville Power AdministrationField8,Dist.New MexicoFinancingProof of Ferromagnetic Carbon Print Although it
First Proof of Ferromagnetic Carbon
Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville Power AdministrationField8,Dist.New MexicoFinancingProof of Ferromagnetic Carbon Print Although
First Proof of Ferromagnetic Carbon
Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville Power AdministrationField8,Dist.New MexicoFinancingProof of Ferromagnetic Carbon Print
First Proof of Ferromagnetic Carbon
Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of Science (SC) Environmental Assessments (EA)Budget »TraveleBooks FindFirst Proof of Ferromagnetic
First Proof of Ferromagnetic Carbon
Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of Science (SC) Environmental Assessments (EA)Budget »TraveleBooks FindFirst Proof of
Sufficient Conditions for Uniform Stability of Regularization Algorithms
Poggio, Tomaso
2009-12-01T23:59:59.000Z
In this paper, we study the stability and generalization properties of penalized empirical-risk minimization algorithms. We propose a set of properties of the penalty term that is sufficient to ensure uniform ?-stability: ...
Improving constraints on the neutrino mass using sufficient statistics
Wolk, M; Bel, J; Carbone, C; Carron, J
2015-01-01T23:59:59.000Z
We use the "Dark Energy and Massive Neutrino Universe" (DEMNUni) simulations to compare the constraining power of "sufficient statistics" with the standard matter power spectrum on the sum of neutrino masses, $M_\
Recommendation 227: Recommendation to EM on Request for Sufficient...
Office of Environmental Management (EM)
Request for Sufficient Funding to Meet Cleanup Needs The EM SSAB Chairs believe the EM budget request is insufficient to meet cleanup obligations and DOE needs to honor agreements...
Dibrell, Aquilla Gibbs, III
1968-01-01T23:59:59.000Z
MEANS (2. 1) DEFINITION. Let p = fp ( be a sequence with p & 0, n 0 p &OandletP =Z p . Thematrixwithc =p /P . n& m, n n- n k=0 k' mn m n m' c = 0, n & m is called the (N, p ) matrix, and the summability method mn n associated with it is called... when m + co is mn equivalent to p /P ? &0. Suppose first c -+ 0 for each n; then n n mn c -+0, bute =p /P, sop /P &0. Letnextp /P ~0; mo mo m m' m m n n fixnandnoteP &P, sothatc =p /P & p /P -+0, m-n ? m' mn m-n m ? m-n m-n and the proof...
Bistatic SAR: Proof of Concept.
Yocky, David A.; Doren, Neall E.; Bacon, Terry A.; Wahl, Daniel E.; Eichel, Paul H.; Jakowatz, Charles V,; Delaplain, Gilbert G.; Dubbert, Dale F.; Tise, Bertice L.; White, Kyle R.
2014-10-01T23:59:59.000Z
Typical synthetic aperture RADAR (SAR) imaging employs a co-located RADAR transmitter and receiver. Bistatic SAR imaging separates the transmitter and receiver locations. A bistatic SAR configuration allows for the transmitter and receiver(s) to be in a variety of geometric alignments. Sandia National Laboratories (SNL) / New Mexico proposed the deployment of a ground-based RADAR receiver. This RADAR receiver was coupled with the capability of digitizing and recording the signal collected. SNL proposed the possibility of creating an image of targets the illuminating SAR observes. This document describes the developed hardware, software, bistatic SAR configuration, and its deployment to test the concept of a ground-based bistatic SAR. In the proof-of-concept experiments herein, the RADAR transmitter will be a commercial SAR satellite and the RADAR receiver will be deployed at ground level, observing and capturing RADAR ground/targets illuminated by the satellite system.
van der Waerden's Theorem and Topological Dynamics Proof Mining
Gerhardy, Philipp
Outline van der Waerden's Theorem and Topological Dynamics Proof Mining Proof Analysis Comparison with van der Waerden's proof Proof Mining in Topological Dynamics Philipp Gerhardy Department of Mathematics University of Oslo Oberwolfach, April 6 - April 12, 2008. Philipp Gerhardy Proof Mining
PROOF COPY 001502FCT Science and
Rajasekaran, Sanguthevar
for the popularity of fuel cells are the promise of high efficiency, the promise of low emissions, low cost, longerPROOF COPY 001502FCT PROOF COPY 001502FCT Journal of Fuel Cell Science and Technology Technical Brief Efficient Parallel Simulation of Direct Methanol Fuel Cell Models S. Rajasekaran R. Ammar K
Improved Modular Termination Proofs Using Dependency Pairs
Kobbelt, Leif
Improved Modular Termination Proofs Using Dependency Pairs Ren??e Thiemann, J?urgen Giesl, Peter) termination proofs of term rewrite systems (TRSs). For any TRS, it generates inequality constraints that have to be satisfied by wellfounded 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 wellfounded orders. However, proving innermost termination is considerably easier than
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
On Narrowing, Refutation Proofs and Constraints
Nieuwenhuis, Robert
years (see e.g. [RKL85, BGM88, H¨ol89, NRS89, BKW92, BW94]). In the literature, most completeness proofs LSEnarrowing ([BKW92, BW94]), in which leftmostinnermost rewrite proofs, with a priority ordering
Lectures on Proof Theory Samuel R. Buss
Therien, Denis
Lectures on Proof Theory Samuel R. Buss University of California San Diego March 6th March 10th'eal) and Denis Th'erien (McGill U.). The core of this year's workshop was a series of lectures given by Sam Buss Natural Proofs and split versions of bounded arithmetic : : : : : : : : : : : : : : : 57 Buss's Simplified
Necessary and sufficient conditions for representing general distributions by Coxians
Necessary and sufficient conditions for representing general distributions by Coxians Takayuki University Pittsburgh, PA 15213 Abstract A common analytical technique involves using a Coxian distribution to model a general distribution G, where the Coxian distribution agrees with G on the first three moments
Necessary and sufficient conditions for representing general distributions by Coxians
Necessary and sufficient conditions for representing general distributions by Coxians Takayuki University Pittsburgh, PA 15213 Abstract A common analytical technique involves using a Coxian distribution to model a general distribution , where the Coxian distribution agrees with on the first three moments
Moneyless strategy-proof mechanism on single-sinked policy ...
Megiddo
2012-04-17T23:59:59.000Z
We completely characterize deterministic strategy-proof and group strategy-proof mechanisms on single- sinked public policy domain. The single-sinked domain...
An elementary proof that P =/= NP
Bhupinder Singh Anand
2007-02-27T23:59:59.000Z
We show that, if PA has no non-standard models, then P=/=NP. We then give an elementary proof that PA has no non-standard models.
van der Waerden's Theorem and Topological Dynamics Proof Mining
Gerhardy, Philipp
van der Waerden's Theorem and Topological Dynamics Proof Mining Proof Analysis Conclusion Proof Mining in Topological Dynamics Philipp Gerhardy Department of Mathematics University of Oslo Logic Colloquium 2008, Bern, Switzerland, July 3-8. Philipp Gerhardy Proof Mining in Topological Dynamics #12;van
#PRL --A Proof Refinement Calculus for Classical Reasoning
Kreitz, Christoph
#µPRL -- A Proof Refinement Calculus for Classical Reasoning in Computational Type Theory Nuria, 14482 Potsdam, Germany {brede,kreitz}@cs.unipotsdam.de Abstract. We present a hybrid proof calculus #µPRL to con structive proofs and show that the restriction of #µPRL to µsafe proof terms is sound
Modular SMT Proofs for Fast Reflexive Checking inside Coq
Paris-Sud XI, Universit de
Modular SMT Proofs for Fast Reflexive Checking inside Coq Frederic Besson, Pierre methodology for exchanging unsatisfia- bility proofs between an untrusted SMT solver and a sceptical proof assistant with computation capabilities like Coq. We advocate modu- lar SMT proofs that separate boolean
Compact Proof Certificates For Linear Logic Kaustuv Chaudhuri
Chaudhuri, Kaustuv
Compact Proof Certificates For Linear Logic Kaustuv Chaudhuri INRIA, France http://kaustuv.chaudhuri
On amending the Maskin's sufficiency theorem by using complex numbers
Haoyang Wu
2012-04-17T23:59:59.000Z
The Maskin's theorem is a fundamental work in the theory of mechanism design. In this paper, we will propose a self-enforcing agreement by which agents can fight a bad social choice rule which satisfies monotonicity and no-veto if an additional condition is satisfied. The agreement is based on complex numbers and is justified if the designer receives messages from the agents through some communication channels (e.g., Internet). Under the assumption of complete information among agents, the designer cannot prevent the agents from signing such agreement. Thereby, the Maskin's sufficiency theorem is amended.
LARGE DEVIATIONS AND THE THERMODYNAMIC FORMALISM: A NEW PROOF OF THE EQUIVALENCE OF ENSEMBLES a
LARGE DEVIATIONS AND THE THERMODYNAMIC FORMALISM: A NEW PROOF OF THE EQUIVALENCE OF ENSEMBLES a J The Equivalence of Ensembles In statistical mechanics the problem of the equivalence of ensembles goes back, the microcanonical measures and the grand canonical measures are equivalent; making precise the meaning
Photon underproduction crisis: Are QSOs sufficient to resolve it?
Khaire, Vikram
2015-01-01T23:59:59.000Z
We investigate the recent claim of 'photon underproduction crisis' by Kollmeier et al. (2014) which suggests that the known sources of ultra-violet (UV) radiation may not be sufficient to generate the inferred hydrogen photoionization rate ($\\Gamma_{\\rm HI}$) in the low redshift inter-galactic medium. Using the updated QSO emissivities from the recent studies and our radiative transfer code developed to estimate the UV background, we show that the QSO contribution to $\\Gamma_{\\rm HI}$ is higher by a factor ~2 as compared to the previous estimates. Using self-consistently computed combinations of star formation rate density and dust attenuation, we show that a typical UV escape fraction of 4% from star forming galaxies should be sufficient to explain the inferred $\\Gamma_{\\rm HI}$ by Kollmeier et al. (2014). Interestingly, we find that the contribution from QSOs alone can explain the recently inferred $\\Gamma_{\\rm HI}$ by Shull et al. (2015) which used the same observational data but different simulation. Ther...
India's baseline plan for nuclear energy self-sufficiency.
Bucher, R .G.; Nuclear Engineering Division
2009-01-01T23:59:59.000Z
India's nuclear energy strategy has traditionally strived for energy self-sufficiency, driven largely by necessity following trade restrictions imposed by the Nuclear Suppliers Group (NSG) following India's 'peaceful nuclear explosion' of 1974. On September 6, 2008, the NSG agreed to create an exception opening nuclear trade with India, which may create opportunities for India to modify its baseline strategy. The purpose of this document is to describe India's 'baseline plan,' which was developed under constrained trade conditions, as a basis for understanding changes in India's path as a result of the opening of nuclear commerce. Note that this treatise is based upon publicly available information. No attempt is made to judge whether India can meet specified goals either in scope or schedule. In fact, the reader is warned a priori that India's delivery of stated goals has often fallen short or taken a significantly longer period to accomplish. It has been evident since the early days of nuclear power that India's natural resources would determine the direction of its civil nuclear power program. It's modest uranium but vast thorium reserves dictated that the country's primary objective would be thorium utilization. Estimates of India's natural deposits vary appreciably, but its uranium reserves are known to be extremely limited, totaling approximately 80,000 tons, on the order of 1% of the world's deposits; and nominally one-third of this ore is of very low uranium concentration. However, India's roughly 300,000 tons of thorium reserves account for approximately 30% of the world's total. Confronted with this reality, the future of India's nuclear power industry is strongly dependent on the development of a thorium-based nuclear fuel cycle as the only way to insure a stable, sustainable, and autonomous program. The path to India's nuclear energy self-sufficiency was first outlined in a seminal paper by Drs. H. J. Bhabha and N. B. Prasad presented at the Second United Nations Conference on the Peaceful Uses of Atomic Energy in 1958. The paper described a three stage plan for a sustainable nuclear energy program consistent with India's limited uranium but abundant thorium natural resources. In the first stage, natural uranium would be used to fuel graphite or heavy water moderated reactors. Plutonium extracted from the spent fuel of these thermal reactors would drive fast reactors in the second stage that would contain thorium blankets for breeding uranium-233 (U-233). In the final stage, this U-233 would fuel thorium burning reactors that would breed and fission U-233 in situ. This three stage blueprint still reigns as the core of India's civil nuclear power program. India's progress in the development of nuclear power, however, has been impacted by its isolation from the international nuclear community for its development of nuclear weapons and consequent refusal to sign the Nuclear Nonproliferation Treaty (NPT). Initially, India was engaged in numerous cooperative research programs with foreign countries; for example, under the 'Atoms for Peace' program, India acquired the Cirus reactor, a 40 MWt research reactor from Canada moderated with heavy water from the United States. India was also actively engaged in negotiations for the NPT. But, on May 18, 1974, India conducted a 'peaceful nuclear explosion' at Pokharan using plutonium produced by the Cirus reactor, abruptly ending the era of international collaboration. India then refused to sign the NPT, which it viewed as discriminatory since it would be required to join as a non-nuclear weapons state. As a result of India's actions, the Nuclear Suppliers Group (NSG) was created in 1975 to establish guidelines 'to apply to nuclear transfers for peaceful purposes to help ensure that such transfers would not be diverted to unsafeguarded nuclear fuel cycle or nuclear explosive activities. These nuclear export controls have forced India to be largely self-sufficient in all nuclear-related technologies.
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
Principles for Mining Summaries: Theorems and Proofs
Regina, University of
Principles for Mining Summaries: Theorems and Proofs Robert J. Hilderman and Howard J. Hamilton,hamiltong@cs.uregina.ca Abstract An important problem in the area of data mining is the development of effective measures of inter previously been utilized in various disciplines, such as information theory, statis tics, ecology
Explosion proof vehicle for tank inspection
Zollinger, William T. (Idaho Falls, ID); Klingler, Kerry M. (Idaho Falls, ID); Bauer, Scott G. (Idaho Falls, ID)
2012-02-28T23:59:59.000Z
An Explosion Proof Vehicle (EPV) having an interior substantially filled with an inert fluid creating an interior pressure greater than the exterior pressure. One or more flexible tubes provide the inert fluid and one or more electrical conductors from a control system to the vehicle. The vehicle is preferably used in subsurface tank inspection, whereby the vehicle is submerged in a volatile fluid.
Author Proof Plants on red alert
Schaefer, Martin
Author Proof A Plants on red alert: do insects pay attention? H. Martin Schaefer* and Gregor Rolshausen Summary Two recent hypotheses have proposed that non-green plant colouration evolved as a defence against herbi- vores, either as protective colouration promoting handi- cap signals indicating plant
Proof of Proximity of Knowledge Serge Vaudenay
://lasec.epfl.ch Abstract. Public-key distance bounding schemes are needed to defeat relay attacks in payment systems. So far, only two such schemes exist, but fail to fully protect against malicious provers. In this paper. Like proofs of knowledge, these protocols must satisfy completeness, soundness (protection
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
COMPLEXITY OF POSITIVSTELLENSATZ PROOFS FOR THE KNAPSACK
Grigoriev, Dima
of algebraic proof systems (Beame et al. (1996); Buss et al. (1999, 1996/1997); Clegg et al. (1996); Grigoriev 1998) (see also (Impagliazzo et al. 1999) and (Buss et al. 1996/1997)). A linear lower bound for PC for Tseitin's tautologies was proved in Buss et al. (1999, 2001). Note that the latter bound is sharp
Second Proof Work, Power, and Energy
Kostic, Milivoje M.
) energy sources, such as solar energy, wind, water flows, ocean and tidal waves, and biomassSecond Proof Work, Power, and Energy M. KOSTIC Northern Illinois University DeKalb, Illinois, United States 1. Basic Concepts 2. Forms, Classifications, and Conservation of Energy 3. Work
A sufficient condition for Gaussian departure in turbulence
Daniela Tordella; Michele Iovieno; Peter Roger Bailey
2007-10-17T23:59:59.000Z
The interaction of two isotropic turbulent fields of equal integral scale but different kinetic energy generates the simplest kind of inhomogeneous turbulent field. In this paper we present a numerical experiment where two time decaying isotropic fields of kinetic energies $E_1$ and $E_2$ initially match over a narrow region. Within this region the kinetic energy varies as a hyperbolic tangent. The following temporal evolution produces a shearless mixing. The anisotropy and intermittency of velocity and velocity derivative statistics is observed. In particular the asymptotic behavior in time and as a function of the energy ratio $E_1/E_2 \\to \\infty$ is discussed. This limit corresponds to the maximum observable turbulent energy gradient for a given $E_1$ and is obtained through the limit $E_2 \\to 0$. A field with $E_1/E_2 \\to \\infty$ represents a mixing which could be observed near a surface subject to a very small velocity gradient separating two turbulent fields, one of which is nearly quiescent. In this condition the turbulent penetration is maximum and reaches a value equal to 1.2 times the nominal mixing layer width. The experiment shows that the presence of a turbulent energy gradient is sufficient for the appearance of intermittency and that during the mixing process the pressure transport is not negligible with respect to the turbulent velocity transport. These findings may open the way to the hypothesis that the presence of a gradient of turbulent energy is the minimal requirement for Gaussian departure in turbulence.
Software tools for elementary math education : animated mathematical proofs
Mwangi, Timothy M
2013-01-01T23:59:59.000Z
The National Council of Teachers of Mathematics [6] has identified the learning of proofs as a critical goal for students from pre-kindergarten through grade 12 (p. 56). A proof for elementary students is not the highly ...
SRF photoinjector for proof-of-principle experiment of coherent electron cooling at RHIC
Kayran D.; Belomestnykh, S.; Ben-Zvi, I.; Brutus, J.C.; et al
2012-05-20T23:59:59.000Z
Coherent Electron Cooling (CEC) based on Free Electron Laser (FEL) amplifier promises to be a very good way to cool protons and ions at high energies. A proof of principle experiment to demonstrate cooling at 40 GeV/u is under construction at BNL. One of possible sources to provide sufficient quality electron beam for this experiment is a SRF photoinjector. In this paper we discuss design and simulated performance of the photoinjector based on existing 112 MHz SRF gun and newly designed single-cavity SRF linac operating at 704 MHz.
The congruence subgroup problem for braid groups: Thurston's proof
McReynolds, D B
2009-01-01T23:59:59.000Z
In this article we present an unpublished proof of W. Thurston that pure braid groups have the congruence subgroup property.
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
Supporting Non-membership Proofs with Bilinear-map Accumulators
Supporting Non-membership Proofs with Bilinear-map Accumulators Ivan Damg°ard Nikos Triandopoulos an extension of Nguyen's bilinear-map based accumulator scheme [8] to support non-membership witnesses and corresponding non-membership proofs, i.e., cryptographic proofs that an element has not been accumulated
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
PRL A Proof Refinement Calculus for Classical Reasoning
Kreitz, Christoph
µPRL A Proof Refinement Calculus for Classical Reasoning in Computational Type Theory Nuria Brede, Germany {brede,kreitz}@cs.uni-potsdam.de Abstract. We present a hybrid proof calculus µPRL that combines and show that the restriction of µPRL to µ-safe proof terms is sound and complete for intuitionistic
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
Boolean Theory laws proof Number Theory Character Theory
Hehner, Eric C.R.
Review Boolean Theory laws proof Number Theory Character Theory Bunches Sets Strings Lists for loop 1/109 #12;Review Boolean Theory laws proof Number Theory Character Theory Bunches Sets Strings with exit for loop 2/109 #12;Review Boolean Theory laws proof Number Theory Character Theory Bunches Sets
Kostic, Milivoje M.
Treatise with Reasoning Proof of the Second Law of Energy Degradation: The Carnot Cycle Proof andzation: Understanding and Defining Concepts and Phenomena III. Work and Heat Transfer, Reversibility. Physical Explanation and Reasoning Proof of the Carnot Efficiency: Thermal and Mechanical Net
. Dependability of- ten includes attributes like reliability, safety, availability, and security. A system. In recent years, however, there have been many ad- vances in the theory and engineering of mechanized proof- gineering artifact. Software companies lack the kind of meaning- ful warranty most other engineering
ATAC Process Proof of Concept Final Report
Bri Rolston; Sarah Freeman
2014-03-01T23:59:59.000Z
Researchers at INL with funding from the Department of Energys Office of Electricity Delivery and Energy Reliability (DOE-OE) evaluated a novel approach for near real-time consumption of threat intelligence. Demonstration testing in an industry environment supported the development of this new process to assist the electric sector in securing their critical networks. This report provides the reader with an understanding of the methods used during this proof of concept project. The processes and templates were further advanced with an industry partner during an onsite assessment. This report concludes with lessons learned and a roadmap for final development of these materials for use by industry.
Verhoog, Roelof (Bordeaux, FR)
1999-03-23T23:59:59.000Z
The casing of a leak-proof one-piece battery is made of a material comprising a mixture of at least a matrix based on polypropylene and an alloy of a polyamide and a polypropylene. The ratio of the matrix to the alloy is in the range 0.5 to 6 by weight. The alloy forms elongate arborescent inclusions in the matrix such that, on average, the largest dimension of a segment of the arborescence is at least twenty times the smallest dimension of the segment.
Security proof of practical quantum key distribution schemes
Yodai Watanabe
2005-06-29T23:59:59.000Z
This paper provides a security proof of the Bennett-Brassard (BB84) quantum key distribution protocol in practical implementation. To prove the security, it is not assumed that defects in the devices are absorbed into an adversary's attack. In fact, the only assumption in the proof is that the source is characterized. The proof is performed by lower-bounding adversary's Renyi entropy about the key before privacy amplification. The bound reveals the leading factors reducing the key generation rate.
an elementary proof of optimality conditions for linear programming
2008-06-30T23:59:59.000Z
References. Acknowledgement. This note has its origin in discussions with Krister Svanberg on elementary proofs of Farkas' lemma. References. [1] A. Charnes.
Paris-Sud XI, Universit de
Cavitation in trees and the hydraulic sufficiency of woody stems M. Tyree Department of Botany cycle of water stress leading to loss of hydraulic conductance and further dynamic stress (see Fig. 1 of hydraulic conductance in the stem. A loss of conductance means that sap will have to overcome a larger
Tritium proof-of-principle injector experiment
Fisher, P.W.; Milora, S.L.; Combs, S.K.; Carlson, R.V.; Coffin, D.O.
1988-01-01T23:59:59.000Z
The Tritium Proof-of-Principle (TPOP) pellet injector was designed and built by Oak Ridge National Laboratory (ORNL) to evaluate the production and acceleration of tritium pellets for fueling future fision reactors. The injector uses the pipe-gun concept to form pellets directly in a short liquid-helium-cooled section of the barrel. Pellets are accelerated by using high-pressure hydrogen supplied from a fast solenoid valve. A versatile, tritium-compatible gas-handling system provides all of the functions needed to operate the gun, including feed gas pressure control and flow control, plus helium separation and preparation of mixtures. These systems are contained in a glovebox for secondary containment of tritium Systems Test Assembly (TSTA) at Los Alamos National Laboratory (LANL). 18 refs., 3 figs.
Entel, P.
PROOF COPY [BS7335] 068124PRB PROOF COPY [BS7335] 068124PRB Hopping perturbation treatment American Physical Society 2451XX1 PROOF COPY [BS7335] 068124PRB #12; PROOF COPY [BS7335] 068124PRB PROOF COPY [BS7335] 068124PRB diate valence #experimental trends# already present zeroband width
Neighborhoods, Economic Self-Sufficiency, and the MTO John Quigley Steven Raphael
Sekhon, Jasjeet S.
Neighborhoods, Economic Self-Sufficiency, and the MTO John Quigley Steven Raphael University of California University of California Berkeley Berkeley quigley@econ.berkeley.edu stevenraphael
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
PROOF COPY 005202JTM Mohammad Al-Qahtani
Al-Qahtani, Mohammad
PROOF COPY 005202JTM PROOF COPY 005202JTM Mohammad Al-Qahtani Yong-Jun Jang Turbine Heat Transfer, TX 77843 Je-Chin Han Turbine Heat Transfer Laboratory, Department of Mechanical Engineering, Texas A of 2:1. The rib height-to-hydraulic diameter ratio e/Dh is 0.094 and the rib-pitch- to-height ratio P
The CIFF Proof Procedure for Abductive Logic Programming with Constraints
Toni, Francesca
The CIFF Proof Procedure for Abductive Logic Programming with Constraints U. Endriss1 , P,terreni,toni}@di.unipi.it Abstract. We introduce a new proof procedure for abductive logic pro- gramming and present two soundness results. Our procedure extends that of Fung and Kowalski by integrating abductive reasoning
Uncorrected Proof Copy RescueMu Protocols 37
Raizada, Manish N.
: Nettype Chapter: Chapter 3 Date: 3/15/2003 Pub Date: 7/1/2003 Revision: First Proof Template: MiMB/6x9/Template/Rev.02.03 Uncorrected Proof Copy 37 From: Methods in Molecular Biology, vol. 236: Plant FunctionalDB. Key Words Mutator, RescueMu, maize, genomics, transposon, genome survey sequence, plasmid res- cue
Another proof of Gell-Mann and Low's theorem
Luca Guido Molinari
2006-12-11T23:59:59.000Z
The theorem by Gell-Mann and Low is a cornerstone in QFT and zero-temperature many-body theory. The standard proof is based on Dyson's time-ordered expansion of the propagator; a proof based on exact identities for the time-propagator is here given.
Quantifier Inference Rules for SMT proofs David Deharbe
Paris-Sud XI, Universit de
Quantifier Inference Rules for SMT proofs David Deharbe Universidade Federal do Rio Grande do Norte quantifiers in the proof format of the SMT-solver veriT. The quantifier-handling modules in veriT being fairly benefit the SMT community. 1 Introduction In the typical architecture of an SMT-solver, the core automated
PROOF COPY 004805HFS Molecular motors: a traffic cop within?
Gross, Steven
PROOF COPY 004805HFS PROOF COPY 004805HFS Molecular motors: a traffic cop within? M. A. Welte1 bidirectional, employing multiple plus- and minus-end directed motors. How cells regulate such transport in time approach to predict how much of transport can be understood just from our knowledge of the motors involved
Sufficient reductions in regressions with elliptically contoured1 inverse predictors2
Bura, Efstathia
for21 the regression of Y on X comprises of a linear and a non-linear component.22 1 Introduction23 There are two general approaches based on inverse regression for estimating the linear sufficient9 reductions with18 parameters (Y , ) and density gY , there is no linear non-trivial sufficient reduction except
Rogalski, Daniel
Math 103b Spring 2014 Sample Midterm 2 1. (a) Define what it means for a ring R to be a PID above are UFD's? (no proof necessary) (c2). Which rings on the list above are PID's? (no proof necessary
Example Proof Herein we explain in detail all the tactics used during the proof of preservation
Lisboa, Universidade Tcnica de
by the lemma F Preserve Iso. Coq ! Lemma F Preserve Iso : (c,d:Category)(fF:(Functor c d)) (c1,c2:c)(Iso c1 c2:(c))(Iso c1 c2)!(Iso (F0 fF c1) (F0 fF c2)) We switch to the proof editing mode by declaring ! is changed to F Preserve Iso !. Our goal is now to prove (c,d:Category)(fF:(Functor c d)) (c1,c2:(c))(Iso c1
Proof of Proper Solid Waste Disposal (West Virginia)
Broader source: Energy.gov [DOE]
This rule provides guidance to persons occupying a residence or operating a business establishment in this state regarding the approved method of providing proof of proper solid waste disposal to...
Using Entanglement in Quantum Multi-Prover Interactive Proofs
Julia Kempe; Hirotada Kobayashi; Keiji Matsumoto; Thomas Vidick
2007-11-23T23:59:59.000Z
The central question in quantum multi-prover interactive proof systems is whether or not entanglement shared between provers affects the verification power of the proof system. We study for the first time positive aspects of prior entanglement and show that entanglement is useful even for honest provers. We show how to use shared entanglement to parallelize any multi-prover quantum interactive proof system to a one-round system with perfect completeness, with one extra prover. Alternatively, we can also parallelize to a three-turn system with the same number of provers, where the verifier only broadcasts the outcome of a coin flip. This "public-coin" property is somewhat surprising, since in the classical case public-coin multi-prover interactive proofs are equivalent to single prover ones.
ELECTRONIC PROOF OF SERVICE LIST and ELECTRONIC DISTRIBUTION LIST
CALIFORNIA ENERGY COMMISSION ELECTRONIC PROOF OF SERVICE LIST and ELECTRONIC DISTRIBUTION LIST@powereng.com David Tateosian, Power Engineers allanori@comcast.net Alan Thompson, Applicant's Attorney I declare
GARCH PROOF OF CONCEPT _ UPDATED 18 DEC 2008
Datta, Shoumen
2008-12-18T23:59:59.000Z
Proof that application of GARCH technique offers potential for profitability. Forecasting is an underestimated field of research in supply chain management. Recently advanced methods are coming into use. Initial results ...
Apprentice Program Alternate Proof of the Spectral Theorem
May, J. Peter
Math REU Apprentice Program Alternate Proof of the Spectral Theorem Julian Hartman September 17 in the apprentice class but not in this manner. Because the Spectral Theorem is such a fundamental theorem in linear
Computer-assisted proofs in geometry and physics
Minton, Gregory T. (Gregory Thomas)
2013-01-01T23:59:59.000Z
In this dissertation we apply computer-assisted proof techniques to two problems, one in discrete geometry and one in celestial mechanics. Our main tool is an effective inverse function theorem which shows that, in favorable ...
Sufficient statistics for linear control strategies in decentralized systems with partial history
Mahajan, Aditya
1 Sufficient statistics for linear control strategies in decentralized systems with partial history sharing Aditya Mahajan and Ashutosh Nayyar Abstract In decentralized control systems with linear dynamics, quadratic cost, and Gaussian disturbance (also called decentralized LQG systems) linear control strategies
Math 290 -Guided Practice Homework 11 1. Write a formal proof that the sequence {(-1)n
Singman, David
Math 290 - Guided Practice Homework 11 Solutions 1. Write a formal proof that the sequence {(-1)n n} n=1 is not bounded. Your proof should be built from the working definition of a sequence being unbounded. 2. Write a formal proof that the sequence (-1)n9n - 31 n n=1 is bounded. Your proof should
Proof Theory of MartinLof Type Theory --An Anton Setzer #
Setzer, Anton
Proof Theory of MartinL?of Type Theory -- An Overview Anton Setzer # February 22, 2004 Abstract We give an overview over the historic development of proof theory and the main techniques used in ordinal theoretic proof theory. We argue, that in a revised Hilbert's programme, ordinal theoretic proof theory has
Proof Theory of Martin-Lof Type Theory An Anton Setzer
Setzer, Anton
Proof Theory of Martin-L¨of Type Theory An Overview Anton Setzer February 22, 2004 Abstract We give an overview over the historic development of proof theory and the main techniques used in ordinal theoretic proof theory. We argue, that in a revised Hilbert's programme, ordinal theoretic proof theory has
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-30T23:59:59.000Z
Circulating Moving Bed (CMB) combustion technology has its roots in traditional circulating fluidized bed technology and involves a novel method of solid fuel combustion and heat transfer. CMB technology represents a step change in improved performance and cost relative to conventional PC and FBC boilers. The CMB heat exchanger preheats the energy cycle working fluid, steam or air, to the high temperature levels required in systems for advanced power generation. Unique features of the CMB are the reduction of the heat transfer surfaces by about 60% as a result of the enhanced heat transfer rates, flexibility of operation, and about 30% lower cost over existing technology. The CMB Phase I project ran from July 2001 through March 2003. Its objective was to continue development of the CMB technology with a series of proof of concept tests. The tests were conducted at a scale that provided design data for scale up to a demonstration plant. These objectives were met by conducting a series of experiments in ALSTOM Powers Multi-use Test Facility (MTF). The MTF was modified to operate under CMB conditions of commercial interest. The objective of the tests were to evaluate gas-to-solids heat transfer in the upper furnace, assess agglomeration in the high temperature CMB bubbling bed, and evaluate solids-to-tube heat transfer in the moving bed heat exchanger. The Phase I program results showed that there are still some significant technical uncertainties that needed to be resolved before the technology can be confidently scaled up for a successful demonstration plant design. Work remained in three primary areas: scale up of gas to solid heat transfer high temperature finned surface design the overall requirements of mechanical and process design. The CMB Phase II workscope built upon the results of Phase I and specifically addressed the remaining technical uncertainties. It included a scaled MTF heat transfer test to provide the necessary data to scale up gas-to-solids heat transfer. A stress test rig was built and tested to provide validation data for a stress model needed to support high temperature finned surface design. Additional cold flow model tests and MTF tests were conducted to address mechanical and process design issues. This information was then used to design and cost a commercial CMB design concept. Finally, the MBHE was reconfigured into a slice arrangement and tested for an extended duration at a commercial CFB plant.
Bahmani, Bahman; Vattani, Andrea; Kumar, Ravi; Vassilvitskii, Sergei
2012-01-01T23:59:59.000Z
Over half a century old and showing no signs of aging, k-means remains one of the most popular data processing algorithms. As is well-known, a proper initialization of k-means is crucial for obtaining a good final solution. The recently proposed k-means++ initialization algorithm achieves this, obtaining an initial set of centers that is provably close to the optimum solution. A major downside of the k-means++ is its inherent sequential nature, which limits its applicability to massive data: one must make k passes over the data to find a good initial set of centers. In this work we show how to drastically reduce the number of passes needed to obtain, in parallel, a good initialization. This is unlike prevailing efforts on parallelizing k-means that have mostly focused on the post-initialization phases of k-means. We prove that our proposed initialization algorithm k-means|| obtains a nearly optimal solution after a logarithmic number of passes, and then show that in practice a constant number of passes suffic...
Necessary and Sufficient Conditions for Success of the Nuclear Norm Heuristic for Rank Minimization
Recht, Ben
Necessary and Sufficient Conditions for Success of the Nuclear Norm Heuristic for Rank Minimization that yield exact solutions. A popular heuristic algorithm replaces the rank function with the nuclear norm provide accurate predictions of the heuristic's performance in non-asymptotic scenarios. I. INTRODUCTION
Mahajan, Aditya
1 Sufficient statistics for linear control strategies in decentralized systems with partial history sharing Aditya Mahajan and Ashutosh Nayyar Abstract--In decentralized control systems with linear dy- namics, quadratic cost, and Gaussian disturbance (also called decentralized LQG systems) linear control
The necessity and sufficiency of anytime capacity for control over a noisy communication link
Sahai, Anant
capacity and mutual information are not enough 3. Necessity of anytime reliability 4. Consequences: power-laws. Necessity of anytime reliability 4. Consequences: power-laws vs zero-error requirements 5. Sufficiency information are not enough 3. Necessity of anytime reliability 4. Consequences: power-laws vs zero
The water concept in the self-sufficient house Drinking rainwater and reusing wastewater
Wehrli, Bernhard
the chance to do just that. Lack of drinking water hygiene is one of the main sources of disease transmissionThe water concept in the self-sufficient house Drinking rainwater and reusing wastewater Decentralized systems for drinking water processing could make a significant contribution to the Millennium
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
A Clean Technology Proof-of-Concept Center
Ohta, Shigemi
A Clean Technology Proof-of-Concept Center www.powerbridgeny.com Campus Representatives: Brookhaven Natural Gas and Liquefied Natural Gas Hydrofracking Clean coal #12;Mutual Expectations for Winning Mentorship/ Advisors Business Support Access to Customers Overcome Technology and Market Risk #12;Validation
A Language-Independent Proof System for Mutual Program Equivalence
Paris-Sud XI, Universit de
A Language-Independent Proof System for Mutual Program Equivalence Stefan Ciob^aca1 , Dorel Lucanu, France 3 University of Illinois at Urbana-Champaign, USA Abstract. Two programs are mutually equivalent if they both diverge or they end up in similar states. Mutual equivalence is an adequate no- tion
Correctness Proofs for Device Drivers in Embedded Systems Jianjun Duan
Regehr, John
that may be thousands of lines; we intend to integrate our manual proofs about bottom-level routines. For example, an auto- motive brake-by-wire system might be required to begin brake drum actuation within 50 ms of receiving a brake pedal input. Let's look at a more detailed example: a hypothetical embedded system
A PROOF THAT THOMPSON'S GROUPS HAVE INFINITELY MANY RELATIVE ENDS
Farley, Dan
A PROOF THAT THOMPSON'S GROUPS HAVE INFINITELY MANY RELATIVE ENDS DANIEL FARLEY Abstract. We show that each of Thompson's groups F , T, and V has infin- itely many ends relative to the groups F[0,1/2], T[0, that Thomp- son's groups T and V have Serre's property FA. 1. Introduction Thompson's group F is the group
UNCORRECTED PROOF Date: 12:15 Thursday 21 June 2012
Jiggins, Francis
sensitivity, six additional species of flies were found to be infected with sigma viruses (Longdon et alUNCORRECTED PROOF Date: 12:15 Thursday 21 June 2012 File: Rhabdoviruses 3P 8The Sigma Viruses of Drosophila Ben Longdon, Lena Wilfert and Francis M. Jiggins Abstract The sigma virus of Drosophila
Phylogeny, Genealogy, and the Linnaean Hierarchy: Formal Proofs
New South Wales, University of
Phylogeny, Genealogy, and the Linnaean Hierarchy: Formal Proofs Rex Kwok University of New South in the con- text of a phylogenetic tree. However, the only possible source for a phylogeny is a genealogy. This paper presents formal definitions for phylogenetic terms in a genealog- ical context and shows
A Proof System for Compositional Verification of Probabilistic Concurrent Processes
Simpson, Alex
A Proof System for Compositional Verification of Probabilistic Concurrent Processes Matteo Mio1 established itself as a powerful and widely applicable method for verifying properties of systems, with its-state systems. Moreover, even in the finite-state case, the applicability of model checking is limited
Wireless Roadside Inspection Proof-of-Concept Test
Wireless Roadside Inspection Proof-of-Concept Test Phase 1A Generating SDMS PeopleNet, a producer Message Set (SDMS). Data obtained during a 10-hour test was compared to similar data obtained through. DESCRIPTIONRESULTS The majority of the data obtained from the PeopleNet SDMS was accurate. However, the tested system
Automated Modular Termination Proofs for Real Prolog Programs
Stroetmann, Karl
Automated Modular Termination Proofs for Real Prolog Programs Martin Muller Thomas Gla Karl the termination of Prolog programs that can be automated and is scalable. Furthermore, the proposed method can of complexity to predicate calls. Then termination of a program is shown by proving this measure
On automating the extraction of programs from termination proofs
Ayala-Rincn, Mauricio
On automating the extraction of programs from termination proofs Fairouz Kamareddine , Fran to use termination techniques such as those in rewriting theory. We overcome this difficulty the incorporation of termination techniques used in other areas while still extracting programs. Keywords: Program
Computational Proof as Experiment: Probabilistic Algorithms from a
proof" (algorithm) and the "work done" to achieve it (its energy consumption). 1 Introduction The word Engineering, Georgia Institute of Technology, Atlanta GA 30332, USA. palem@ece.gatech.edu Abstract. A novel framework for the design and analysis of energy-aware algo- rithms is presented, centered around
A Flexible Proof Format for SMT: Frederic Besson
Paris-Sud XI, Universit de
A Flexible Proof Format for SMT: a Proposal Frederic Besson INRIA Rennes Bretagne Atlantique The standard input format for Satisfiability Modulo Theories (SMT) solvers has now reached its second version and integrates many of the features useful for users to interact with their favourite SMT solver. However
Towards a broad spectrum proof certificate Dale Miller
Miller, Dale
needs a formal proof for its next generation of controllers for airplanes, electric cars, medical-gravity devices? floating cities levitating cars and trains easy access to outer-space #12;Let's do some dreaming.... Wouldn't it be great to have anti-gravity devices? floating cities levitating cars
PROOF COMPLEXITY IN ALGEBRAIC SYSTEMS AND BOUNDED DEPTH FREGE
Sgall, Jiri
PROOF COMPLEXITY IN ALGEBRAIC SYSTEMS AND BOUNDED DEPTH FREGE SYSTEMS WITH MODULAR COUNTING S. Buss () := minfjj : f() = g; #12; 2 S. Buss et al. where jj is the length of the string to showing that NP 6= coNP . Despite extensive research (see the expository articles Buss (1995b) , Kraj
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
The relationship between wheat self-sufficiency and national wheat trade policy
Maurer, Alan Borman
1980-01-01T23:59:59.000Z
of self- sufficiency in wheat. Trade-restrictive policies such as tariffs, quotas and price support programs have been enacted by most gov- ernments. In 1976-1977, for example, less than five percent of the wheat traded internationally was imported...-demand conditions with production quotas and price support programs. It also sets standards of product differentiation (grading), determines ease of entry into the market by issuing licenses, and affects cost structures through credit and other reg- ulations...
On the meaning of logical completeness
Basaldella, Michele
2010-01-01T23:59:59.000Z
Goedel's completeness theorem is concerned with provability, while Girard's theorem in ludics (as well as full completeness theorems in game semantics) are concerned with proofs. Our purpose is to look for a connection between these two disciplines. Following a previous work [3], we consider an extension of the original ludics with contraction and universal nondeterminism, which play dual roles, in order to capture a polarized fragment of linear logic and thus a constructive variant of classical propositional logic. We then prove a completeness theorem for proofs in this extended setting: for any behaviour (formula) A and any design (proof attempt) P, either P is a proof of A or there is a model M of the orthogonal of A which defeats P. Compared with proofs of full completeness in game semantics, ours exhibits a striking similarity with proofs of Goedel's completeness, in that it explicitly constructs a countermodel essentially using Koenig's lemma, proceeds by induction on formulas, and implies an analogue o...
On the Purpose of Event-B Proof Obligations Stefan Hallerstede
Southampton, University of
systematic support within the modelling method. We insist that reasoning is an essential part of modelling into relative deadlock- freeness proofs with respect to the failures model of CSP [17] and into soundness proofs
Intuition in formal proof : a novel framework for combining mathematical tools
Meikle, Laura Isabel
2014-06-27T23:59:59.000Z
This doctoral thesis addresses one major difficulty in formal proof: removing obstructions to intuition which hamper the proof endeavour. We investigate this in the context of formally verifying geometric algorithms using ...
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
Planar and Braided ProofNets for Multiplicative Linear Logic with Mix
Bellin, Gianluigi
in his thesis [8]. There are both logical and geometrical reasons to consider the rule of Mix ` \\GammaPlanar and Braided ProofNets for Multiplicative Linear Logic with Mix G. Bellin \\Lambda A of the data. Braided proof nets are proofnets for multiplicative linear logic with Mix embedded in R 3
To appear in the Journal of Symbolic Computation Modular Termination Proofs for Rewriting
Ábrahám, Erika
To appear in the Journal of Symbolic Computation Modular Termination Proofs for Rewriting Using Recently, Arts and Giesl developed the dependency pair approach which allows automated termination and innermost termination proofs for many term rewriting systems for which such proofs were not possible before
Lower Bounds for Bounded Depth Frege Proofs via Pudlak-Buss Games
Harsha, Prahladh
19 Lower Bounds for Bounded Depth Frege Proofs via Pudlak-Buss Games ELI BEN-SASSON Technion. Our method uses the interpretation of proofs as two player games given by Pudlak and Buss. Our lower. 2010. Lower bounds for bounded depth Frege proofs via Pudlak- Buss games. ACM Trans. Comput. Logic, 11
Proof Theory of Martin-L"of Type Theory -An Overview
Setzer, Anton
Proof Theory of Martin-L"of Type Theory - An Overview We give an overview over the historic development of proof theory and the main techniques used in ordinal theoretic proof theory. We argue, that in a revised Hilbert's programme, ordinal theoretic
Necessary and Sufficient Process leading to Work Smart Standards. Final report
NONE
1996-11-01T23:59:59.000Z
The Necessary and Sufficient Process leading to Work Smart Standards is a Department of Energy initiative to assure adequate protection for workers, the public, and the environment. The Work Smart Standards initiative directs the Laboratory to develop a set of ES and H standards based on the work performed at the Laboratory and the hazards associated with the work. Berkeley Lab`s set of Work Smart Standards includes required Federal, State and local laws and, additionally, national and international standards which represent the highest operating standards of industrial and commercial institutions.
Tsubota, J.
1981-11-10T23:59:59.000Z
A highly efficient solar focusing means being hollow and in semi-cylindrical or arcuate shape, the surface has such fine menisci as to act like convex lenses to focus solar rays towards the center of the focusing body, irrespective of the position of the sun, where a solar energy conversion device is located and further acts to disperse light reflected thereonto from the solar energy conversion device. The focusing body can assume several shapes and thus can be used for roofing of a building, such as a house, or the like, and still be aesthetically pleasing.
Equilibrium Value Method for the Proof of QIP=PSPACE
Xiaodi Wu
2011-03-12T23:59:59.000Z
We provide an alternative proof of \\class{QIP}=\\class{PSPACE} to the recent breakthrough result. Unlike solving some semidefinite programs that captures the computational power of quantum interactive proofs, our method starts with one \\class{QIP}-Complete problem which computes the diamond norm between two admissible quantum channels. The key observation is that we can convert the computation of the diamond norm into the computation of some equilibrium value. The later problem, different from the former semidefinite programs, is of better form, easier to solve and could be interesting for its own sake. The multiplicative weight update method is also applied to solve the equilibrium value problem, however, in a relatively simpler way than the one in the original proof. As a direct byproduct, we also provide a NC algorithm to compute the diamond norm of a class of quantum channels. Furthermore, we provide a generalized form of equilibrium value problems that can be solved in the same way as well as comparisons to semidefinite programs.
Hausdorf means and multipliers
McCabe, Thomas Francis
1968-01-01T23:59:59.000Z
lies in summability methods generated by a m x+ matrix T = (c ); given a sequence { s }, we define t = p c s . nan n m mn n lim If t exists for each m and t = p, then we say T sums m m ~ m {s } to p . Unlike the abstract definition of a summability... Hausdori transformation; that n m for m g n; and that X is a transformation that commutes with B Now if A = 6&6 then we have X = 6A6 and since B = 6p 6 vve have p = 6 B 6 . Therefore AP =(6X6)(6B6) =(6XB6)=6BX6=(6B6) (6) 6) =&A If A has means t where...
Pratt, Vaughan
In Proceedings of IEEE Logic in Computer Science, 2003 Proof Nets for Unitfree Multiplicative GLABBEEK Stanford University rvg@cs.stanford.edu A cornerstone of the theory of proof nets for unit this key feature: a host of cutfree monomial proof nets can correspond to the same cutfree proof. Thus
Fast Verification of MLL Proof Nets via IMLL ANDRZEJ S. MURAWSKI and C.H. LUKE ONG
Murawski, Andrzej
Fast Verification of MLL Proof Nets via IMLL ANDRZEJ S. MURAWSKI and C.H. LUKE ONG Oxford University Computing Laboratory We consider the following decision problems: ProofNet : Is a given multiplicative linear logic (MLL) proof structure a proof net? EssNet : Is a given essential net (of
Pratt, Vaughan
In Proceedings of IEEE Logic in Computer Science, 2003 Proof Nets for Unit-free Multiplicative GLABBEEK Stanford University rvg@cs.stanford.edu A cornerstone of the theory of proof nets for unit this key feature: a host of cut-free monomial proof nets can correspond to the same cut-free proof. Thus
ReACT Methodology Proof of Concept Final Report
Bri Rolston; Sarah Freeman
2014-03-01T23:59:59.000Z
The Department of Energys Office of Electricity Delivery and Energy Reliability (DOE-OE) funded INL Researchers to evaluate a novel process for assessing and mitigating cyber security risks. The proof of concept level of the method was tested in an industry environment. This case study, plus additional case studies will support the further development of the method into a tool to assist industry in securing their critical networks. This report provides an understanding of the process developed in the Response Analysis and Characterization Tool (ReACT) project. This report concludes with lessons learned and a roadmap for final development of these tools for use by industry.
An almost trivial proof of the 4-colour theorem
Peter Doerre
2013-06-25T23:59:59.000Z
Proving for triangulations an extended (sharper) version of the 4-colour theorem by induction, we manage to exclude the case which led to the failure of Kempe's attempted proof. The new idea is to claim the existence of a "nice" 4-colouring, in which existing Kempe chains satisfy a special condition, and to show that the assumption of its non-existence (a counterexample) always leads to a contradiction. The trick is to employ recolouring in order to assure the non-existence of potential counter-examples.
Two-Factor Identify Proofing Process | Department of Energy
Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level:Energy: Grid Integration Redefining What'sis Taking Over OurThe Iron Spin Transition in2,EHSS A-Zandof EnergyTwoTwo newIdentify Proofing
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 onYou are now leaving Energy.gov You are now leaving Energy.gov You are8COaBulkTransmissionSitingProcess.pdfGetecGtel JumpCounty, Texas:ITC TransmissionIdaho DEQInformationProof
Torng, Eric
1266 fbirchler,esfahani,torngg@cps.msu.edu Abstract In this paper, we give a general technique for com puting will satisfy these conditions, this result essentially means that multicast can always be performed in dlog(d+1 to be a shortest path routing scheme, this result essentially implies that any real system allows optimal multicast
A New Proof on Net Upscale Energy Cascade in 2D and QG Turbulence
Eleftherios Gkioulekas; Ka Kit Tung
2006-09-30T23:59:59.000Z
A general proof that more energy flows upscale than downscale in two-dimensional (2D) turbulence and barotropic quasi-geostrophic (QG) turbulence is given. A proof is also given that in Surface QG turbulence, the reverse is true. Though some of these results are known in restricted cases, the proofs given here are pedagogically simpler, require fewer assumptions and apply to both forced and unforced cases.
Valery Shchesnovich
2014-12-02T23:59:59.000Z
The boson sampler proposed by Aaronson and Arkhipov is a non-universal quantum computer, which can serve as evidence against the extended Church-Turing thesis. It samples the probability distribution at the output of linear unitary optical network, with indistinguishable single photons at the input. Four experimental groups have already tested their small-scale prototypes with up to four photons. The boson sampler with few dozens of single photons is believed to be hard to simulate on a classical computer. For scalability of a realistic boson sampler with current technology it is necessary to know the effect of the photon mode mismatch on its operation. Here a nondeterministic model of the boson sampler is analyzed, which employs partially indistinguishable single photons emitted by identical sources. A sufficient condition on the average mutual fidelity $ \\langle \\mathcal{F}\\rangle$ of the single photons is found, which guarantees that the realistic boson sampler outperforms the classical computer. Moreover, the boson sampler computer with partially indistinguishable single photons is scalable while being beyond the power of classical computers when the single photon mode mismatch $1-\\langle \\mathcal{F}\\rangle$ scales as $ \\mathcal{O}(N^{-3/2})$ with the total number of photons $N$.
Playing games in quantum mechanical settings: A necessary and sufficient condition
Junichi Shimamura; Sahin Kaya Ozdemir; Nobuyuki Imoto
2005-08-15T23:59:59.000Z
A number of recent studies have focused on novel features in game theory when the games are played using quantum mechanical toolbox (entanglement, unitary operators, measurement). Researchers have concentrated in two-player-two strategy, 2x2, dilemma containing classical games, and transferred them into quantum realm showing that in quantum pure strategies dilemmas in such games can be resolved if entanglement is distributed between the players armed with quantum operations. Moreover, it became clear that the players receive the highest sum of payoffs available in the game, which are otherwise impossible in classical pure strategies. Encouraged by the observation of rich dynamics of physical systems with many interacting parties and the power of entanglement in quantum versions of 2x2 games, it became generally accepted that quantum versions can be easily extended to N-player situations by simply allowing N-partite entangled states. In this article, however, we show that this is not generally true because the reproducibility of classical tasks in quantum domain imposes limitations on the type of entanglement and quantum operators. We propose a benchmark for the evaluation of quantum and classical versions of games, and derive the necessary and sufficient conditions for a physical realization. We give examples of entangled states that can and cannot be used, and the characteristics of quantum operators used as strategies.
A necessary and sufficient condition to play games in quantum mechanical settings
Sahin Kaya Ozdemir; Junichi Shimamura; Nobuyuki Imoto
2007-03-01T23:59:59.000Z
Quantum game theory is a multidisciplinary field which combines quantum mechanics with game theory by introducing non-classical resources such as entanglement, quantum operations and quantum measurement. By transferring two-player-two strategy (2x2) dilemma containing classical games into quantum realm, dilemmas can be resolved in quantum pure strategies if entanglement is distributed between the players who use quantum operations. Moreover, players receive the highest sum of payoffs available in the game, which are otherwise impossible in classical pure strategies. Encouraged by the observation of rich dynamics of physical systems with many interacting parties and the power of entanglement in quantum versions of 2x2 games, it became generally accepted that quantum versions can be easily extended to N-player situations by simply allowing N-partite entangled states. In this article, however, we show that this is not generally true because the reproducibility of classical tasks in quantum domain imposes limitations on the type of entanglement and quantum operators. We propose a benchmark for the evaluation of quantum and classical versions of games, and derive the necessary and sufficient conditions for a physical realization. We give examples of entangled states that can and cannot be used, and the characteristics of quantum operators used as strategies.
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 ...
General proof of (maximum) entropy principle in Lovelock gravity
Cao, Li-Ming
2014-01-01T23:59:59.000Z
We consider a static self-gravitating perfect fluid system in Lovelock gravity theory. For a spacial region on the hypersurface orthogonal to static Killing vector, by the Tolman's law of temperature, the assumption of a fixed total particle number inside the spacial region, and all of the variations (of relevant fields) in which the induced metric and its first derivatives are fixed on the boundary of the spacial region, then with the help of the gravitational equations of the theory, we can prove a theorem says that the total entropy of the fluid in this region takes an extremum value. A converse theorem can also be obtained following the reverse process of our proof.
How to Delegate Computations: The Power of No-Signaling Proofs
-exponentially secure private information retrieval (PIR) scheme. The proof exploits a curious connection between suggested by Aiello et al. (ICALP, 2000), which makes use of a PIR scheme. This method lacked a proof of security. We prove that this method is secure assuming the underlying MIP is secure against no
Concurrent Zero-Knowledge Proofs for NP Joe Kilian y Erez Petrank z Ransom Richardson x
Petrank, Erez
Cummings Center, Beverly, MA 01915. rrichard@groove.net. 1 #12; zero-knowledge protocols that are robustConcurrent Zero-Knowledge Proofs for NP #3; Joe Kilian y Erez Petrank z Ransom Richardson x November 26, 2001 Abstract A proof is concurrent zero-knowledge if it remains zero-knowledge when many
Orbit equivalence of Cantor minimal systems: A survey and a new proof
Putnam, Ian F.
Orbit equivalence of Cantor minimal systems: A survey and a new proof Ian F. Putnam, Department Abstract We give a new proof of the classification, up to topological orbit equivalence, of minimal AF-equivalence on the structure of AF-equivalence relations and the theory of dimension groups; we give a short survey
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
PROOF COPY 019605JAP Effect of pulsing parameters on laser ablative cleaning of copper oxides
Yao, Y. Lawrence
such as selectivity, controllabil- ity, and flexibility. Moreover, laser cleaning is easy to be automated is too low to melt the layer, the thermal stress due to the very rapid heating of laser pulsePROOF COPY 019605JAP PROOF COPY 019605JAP Effect of pulsing parameters on laser ablative cleaning
Quantum Error Correcting Codes and the Security Proof of the BB84 Protocol
Ramesh Bhandari
2014-08-30T23:59:59.000Z
We describe the popular BB84 protocol and critically examine its security proof as presented by Shor and Preskill. The proof requires the use of quantum error correcting codes called the Calderbank-Shor-Steanne (CSS) quantum codes. These quantum codes are constructed in the quantum domain from two suitable classical linear codes, one used to correct for bit-flip errors and the other for phase-flip errors. Consequently, as a prelude to the security proof, the report reviews the essential properties of linear codes, especially the concept of cosets, before building the quantum codes that are utilized in the proof. The proof considers a security entanglement-based protocol, which is subsequently reduced to a "Prepare and Measure" protocol similar in structure to the BB84 protocol, thus establishing the security of the BB84 protocol. The proof, however, is not without assumptions, which are also enumerated. The treatment throughout is pedagogical, and this report, therefore, serves a useful tutorial for researchers, practitioners, and students, new to the field of quantum information science, in particular, quantum cryptography, as it develops the proof in a systematic manner, starting from the properties of linear codes, and then advancing to the quantum error correcting codes, which are critical to the understanding of the security proof.
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
Red Means Go Information Technology
Projects Budget Issues #12;Red Means Go Strategic Operations Plan (SOP) Articulate the OIT vision, planning, and other business functions Scope: Project will impact university data users (executive Means Go Directions and Opportunities for OIT Three Phase Plan for IT Improvement Develop Strategic
Storm detection by electronic means
Wooten, Allen Dewey
1949-01-01T23:59:59.000Z
equivalent circuit (figure 5), 14 ~744 r 50, 000 + r r = 7uu ouu ? 17u irrr 4. 1 Thus, the applied sigr 1 eg is not 245 volts, but 14 volts. This signal voltage is sufficient to cause Eb to drop froia 390 volts to 290 volts. I'Loni. , lly, C402 (Figure 3... and Mechanical College of Texas in partial fulfillment of the requirements for the deEree of MASTER OF SCIENCE IN ELECTRICAL ENGINEERING 1949 CONTENTS Introduction Theoretic. . l Consideration oi' Radar Storm Detection II. Extending =ffective R~ge of Radar...
William C. Leighty; DOE Project Officer - Keith Bennett
2005-10-04T23:59:59.000Z
Proof-of-Concept Manufacturing and Testing of Composite Wind Generator Blades Made by HCBMP (High Compression Bladder Molded Prepreg)
New coherent states and a new proof of the Scott correction Jan Philip Solovej and Wolfgang LFermi potential yielding a new proof of the Scott correction for molecules. 1. Introduction In this paper we review a novel proof of the Scott correction for neutral mol ecules. So suppose, we have M nuclei
Ng, Chung-Sang
City, Iowa 52242 Received 20 March 1995 A sufficient condition is obtained for the development that for fixed total energy, pxxxx is predominantly positive with the average value growing with the numbers spontaneously, dissipa- tion intervenes, and the dynamical balance between the two processes determines
Bl k t T h l F l C l dBlanket Technology, Fuel Cycle and Tritium Self Sufficiency
Abdou, Mohamed
and TechnologyNuclear Science and Technology (FNST). 4 #12;FNST is the science, engineering, technology and materials Fusion Nuclear Science & Technology (FNST) FNST is the science, engineering, technologyBl k t T h l F l C l dBlanket Technology, Fuel Cycle and Tritium Self Sufficiency M h d Abd
Cooling by heating a nanodroplet - proof of concept
J. J. Papini
2011-05-10T23:59:59.000Z
Recently [3] predicted the existence of an intriguing new phenomenon. It was shown that if temperature is suddenly raised at the surface of a sphere the temperature in the interior initially decreases. The authors of [3] gave a thorough analysis explaining the physics leading to this remarkable effect. They linked the existence of the phenomenon to the subtle thermomechanical coupling between displacement and temperature in a sphere that is able to expand freely and showed that the effect is expected to be largest close to the glasstransition temperature of the perturbed material. The prediction was based on the assumption of quasi-elasticity where the sample is much smaller than the wavelength of acoustic waves at frequencies of relevance. Being in the inertia free limit they could ignore the acceleration term in the thermoviscoelastic equations of motion. Here we give the first empirical proof of existence of the effect by performing molecular dynamics simulations of a supercooled Kob-Andersen binary mixture of Lennard-Jones particles forming a droplet consisting of 500.000 particles. We show that the phenomenon is real even when inertia cannot be disregarded.
SALT DAMAGE CRITERION PROOF-OF-CONCEPT RESEARCH
Kerry L. DeVries; Kirby D. Mellegard; Gary D. Callahan
2001-12-01T23:59:59.000Z
This document is the annual technical progress report for Department of Energy Contract No. DE-FC26-00NT41026 entitled Proof-of-Concept Research for an Advanced Design Criterion to Improve Working Gas Capacity for Natural Gas Storage Caverns in Salt Formations. This report covers the reporting period from October 1, 2000, through September 30, 2001. During this reporting period, the project was initiated and work was performed to develop structural models that will be used to evaluate two compressed natural gas storage caverns in the McIntosh Dome northwest of Mobile, Alabama. Information necessary to define the structural models include site-specific stress, temperature, geometry, stratigraphy, and operating scenarios in the dome and for the caverns. Additionally, material model development for the salt at the McIntosh Dome was initiated. Material model development activities include acquisition of salt core for testing, laboratory testing, and regression analyses to determine site-specific model parameter values that describe the behavior of salt around a storage cavern. Although not performed during this reporting period, the information and models developed will be used to perform advanced design storage cavern analyses for the Bay Gas caverns to determine the operating pressure ranges to maintain stable conditions.
Electron mean free path from angle-dependent photoelectron spectroscopy of aerosol particles
Goldmann, Maximilian; West, Adam H C; Yoder, Bruce L; Signorell, Ruth
2015-01-01T23:59:59.000Z
We propose angle-resolved photoelectron spectroscopy of aerosol particles as an alternative way to determine the electron mean free path of low energy electrons in solid and liquid materials. The mean free path is obtained from fits of simulated photoemission images to experimental ones over a broad range of different aerosol particle sizes. The principal advantage of the aerosol approach is twofold. Firstly, aerosol photoemission studies can be performed for many different materials, including liquids. Secondly, the size-dependent anisotropy of the photoelectrons can be exploited in addition to size-dependent changes in their kinetic energy. These finite size effects depend in different ways on the mean free path and thus provide more information on the mean free path than corresponding liquid jet, thin film, or bulk data. The present contribution is a proof of principle employing a simple model for the photoemission of electrons and preliminary experimental data for potassium chloride aerosol particles.
Whitman, Brian A. (Brian Alexander)
2005-01-01T23:59:59.000Z
Expression as complex and personal as music is not adequately represented by the signal alone. We define and model meaning in music as the mapping between the acoustic signal and its contextual interpretation - the 'community ...
In Situ Redox Manipulation Proof-of-Principle Test at the Fort Lewis Logistics Center: Final Report
VR Vermeul; MD Williams; JC Evans; JE Szecsody; BN Bjornstad; TL Liikala
2000-10-25T23:59:59.000Z
Pacific Northwest National Laboratory (PNNL) conducted a proof-of-principle test at the Fort Lewis Logistics Center to determine the feasibility of using the In Situ Redox Manipulation (ISRM) technology for remediating groundwater contaminated with dissolved trichloroethylene (TCE). ISRM creates a permeable treatment zone in the subsurface to remediate redox-sensitive contaminants in groundwater. The permeable treatment zone is formed by injecting a chemical reducing agent (sodium dithionite with pH buffers) into the aquifer through a well to reduce the naturally occurring ferric iron in the sediments to ferrous iron. Once the reducing agent is injected and given sufficient time to react with aquifer sediments, residual chemicals and reaction products are withdrawn from the aquifer through the same well used for the injection. Redox-sensitive contaminants such as TCE, moving through the treatment zone under natural groundwater flow conditions, are destroyed. TCE is degraded via reductive dechlorination within the ISRM treatment zone to benign degradation products (i.e., acetylene, ethylene). Prior to the proof-of-principle field test, the ISRM technology was successfully demonstrated in laboratory experiments for the reductive dechlorination of dissolved TCE using sediments from the Fort Lewis site. The Logistics Center was placed on the National Priorities List in December 1989 because of TCE contamination in groundwater beneath the site. A Federal Facilities Agreement between the Army, the U.S. Environmental Protection Agency, and the Washington State Department of Ecology became effective in January 1990, and a Record of Decision (ROD) was signed in September 1990. The major components of the ROD included installation of two pump-and-treat systems for the upper aquifer and further investigation of the lower aquifer and other potential sources of contamination. The pump-and-treat systems became operational in August 1995. Fort Lewis asked PNNL to provide technical support in accelerating Installation Restoration Program site remediation and significantly reducing site life-cycle costs at the Logistics Center. In support of this program, ISRM was selected as an innovative technology for bench and field-scale demonstration. Emplacement of the ISRM treatment zone was accomplished through a series of four separate dithionite injection tests conducted between November 10, 1998 and March 29,2000. An extensive program of chemical monitoring was also performed before, during, and after each injection to evaluate the performance of ISRM. Prior to emplacement of the ISRM treatment zone, the site was extensively characterized with respect to geologic, hydrologic, and geochemical properties. Sediment core samples collected for the characterization studies were analyzed in bench-scale column tests at PNNL to determine reducible iron content. These site-specific hydrogeologic and geochemical data were used to develop the emplacement design of the pilot-scale (i.e., single injection well) ISRM treatment zone. Performance data obtained from the proof-of-principle test indicate that field-scale reductive dechlorination of TCE using the ISRM technology is feasible. A treatment zone was created in the subsurface that reduced TCE concentrations as much as 92% on the downgradient side of the reduced zone, from a background concentration of approximately 140 ppb to approximately 11 ppb. The appearance of the principal degradation product, acetylene, also confirmed that TCE destruction was occurring. Analysis of sediment samples collected from post-test boreholes showed a high degree of iron reduction, which helped to confirm the effectiveness of the treatment zone emplacement. Another important goal of the testing program was to provide assurances that chemical treatment of the subsurface did not result in undesirable secondary effects, including formation of toxic TCE degradation products, mobilization of trace elements, and degradation of hydraulic performance. Results obtained from the Fort Lewis ISRM proof-of-principle test, which are c
Isotope separation by laser means
Robinson, C. Paul (Los Alamos, NM); Jensen, Reed J. (Los Alamos, NM); Cotter, Theodore P. (Los Alamos, NM); Greiner, Norman R. (Los Alamos, NM); Boyer, Keith (Los Alamos, NM)
1982-06-15T23:59:59.000Z
A process for separating isotopes by selective excitation of isotopic species of a volatile compound by tuned laser light. A highly cooled gas of the volatile compound is produced in which the isotopic shift is sharpened and defined. Before substantial condensation occurs, the cooled gas is irradiated with laser light precisely tuned to a desired wavelength to selectively excite a particular isotopic species in the cooled gas. The laser light may impart sufficient energy to the excited species to cause it to undergo photochemical reaction or even to photoionize. Alternatively, a two-photon irradiation may be applied to the cooled gas to induce photochemical reaction or photoionization. The process is particularly applicable to the separation of isotopes of uranium and plutonium.
UncorrectedAuthorProof Journal of Alzheimer's Disease xx (20xx) xxx
30 31 Correspondence to: Jesse Mez, Gertrude H. Sergievsky Center, College of Physicians and Surgeons;UncorrectedAuthorProof 2 J. Mez et al. / Language versus Memory Alzheimer's Subgroups tion of patients with AD
A TorPath to TorCoin: Proof-of-Bandwidth Altcoins for Compensating Relays
Coin, an "altcoin" that uses the Bitcoin protocol to re- ward relays for contributing bandwidth. Relays "mine" TorCoin is an alternative cryptocurrency, or altcoin, based on the Bitcoin protocol [8]. Unlike Bitcoin, its proof
Comment on Proof that the Hydrogen-Antihydrogen Molecule is Unstable
G. Van Hooydonk
2005-07-31T23:59:59.000Z
A recent claim that molecule H-antiH is unstable cannot be a proof as it is based on a wrong conjecture. This is illustrated with 4 examples, including observed natural hydrogen-antihydrogen oscillations never detected previously.
Direct Proof of Security of Wegman-Carter Authentication with Partially Known Key
Direct Proof of Security of Wegman-Carter Authentication with Partially Known Key Aysajan Abidin by Wegman and Carter [24], in the case of partially known key. The scheme is based on secretly selecting
Sen's Theorem: Geometric Proof and New Interpretations Lingfang (Ivy) Li and Donald G. Saari
Saari, Don
Sen's Theorem: Geometric Proof and New Interpretations Lingfang (Ivy) Li and Donald G. Saari Dept liberal, paradox, decision theory 2 Saari's research was supported by NSF grant DMI 0233798. 1 #12;A
A Note on the Use of Sum in the Logic of Proofs Roman Kuznets
Jger, Gerhard
A Note on the Use of Sum in the Logic of Proofs Roman Kuznets Institut fur Informatik und angewandte Mathematik Universitat Bern Neubruckstrasse 10, 3012 Bern, Switzerland kuznets
Torts and Social Costs: The Judgment Proof Problem as a Matter of Rational Choice
Acciarri, Hugo A; Castellano, Andrea; Barbero, Andrea
2006-01-01T23:59:59.000Z
modelos usuales IV. - La calidad de Judgment Proof como unaes ineficientemente alto. IV. - La calidad de JP como unatipo JP, asumiendo esa calidad como un hecho dado. Cuando se
A Proof by the Simplex Method for the Diameter of a (0,1)-Polytope
2011-08-24T23:59:59.000Z
by proving that the diameter of any (0,1)-polytope in d-dimensional. Euclidean space is at most d. In this short paper, we give a simple proof for the diameter.
Analysis and demonstration: a proof-of-concept compass star tracker
Swanzy, Michael John
2007-04-25T23:59:59.000Z
, the design and fabrication of a proof-of-concept instrument, an error source analysis, and the experimental tests used to validate the position determination concepts. Star sensors are typically used as attitude determination instruments on spacecraft...
Canonical Sequent Proofs via Multi-Focusing Kaustuv Chaudhuri, Dale Miller, and Alexis Saurin
Chaudhuri, Kaustuv
Canonical Sequent Proofs via Multi-Focusing Kaustuv Chaudhuri, Dale Miller, and Alexis Saurin examining and reorganizing Kaustuv Chaudhuri INRIA Saclay ^Ile-de-France, e-mail: Kaustuv.Chaudhuri
PROOF COMPLEXITY IN ALGEBRAIC SYSTEMS AND BOUNDED DEPTH FREGE SYSTEMS WITH
Krajíèek, Jan
PROOF COMPLEXITY IN ALGEBRAIC SYSTEMS AND BOUNDED DEPTH FREGE SYSTEMS WITH MODULAR COUNTING S. Buss; 2 S. Buss et al. NP 6= coNP . Despite extensive research (see the expository articles Buss (1995b
Math 302 Introduction to Proofs via Number Theory Summer 2011 Instructor Dr. Amites Sarkar
Sarkar, Amites
Math 302 Introduction to Proofs via Number Theory Summer 2011 Instructor Dr. Amites Sarkar Text-mail is amites.sarkar@wwu.edu Course objectives The successful student will demonstrate: 1. Proficiency
Math 302 Introduction to Proofs via Number Theory Spring 2009 Instructor Amites Sarkar
Sarkar, Amites
Math 302 Introduction to Proofs via Number Theory Spring 2009 Instructor Amites Sarkar Text-mail is amites.sarkar@wwu.edu Course objectives The successful student will demonstrate: 1. Understanding
Math 302 Introduction to Proofs via Number Theory Winter 2011 Instructor Dr. Amites Sarkar
Sarkar, Amites
Math 302 Introduction to Proofs via Number Theory Winter 2011 Instructor Dr. Amites Sarkar Text Hall. My phone number is 650 7569 and my e-mail is amites.sarkar@wwu.edu Course objectives
Math 312 Proofs in Elementary Analysis Summer 2009 Instructor Dr. Amites Sarkar
Sarkar, Amites
Math 312 Proofs in Elementary Analysis Summer 2009 Instructor Dr. Amites Sarkar Text Mappings. My phone number is 650 7569 and my e-mail is amites.sarkar@wwu.edu #12;Course objectives
Math 302 Introduction to Proofs via Number Theory Spring 2013 Instructor Dr. Amites Sarkar
Sarkar, Amites
Math 302 Introduction to Proofs via Number Theory Spring 2013 Instructor Dr. Amites Sarkar Text, Tuesdays, Thursdays and Fridays, in 216 Bond Hall. My phone number is 650 7569 and my e-mail is amites.sarkar
Math 302 Introduction to Proofs via Number Theory Summer 2010 Instructor Dr. Amites Sarkar
Sarkar, Amites
Math 302 Introduction to Proofs via Number Theory Summer 2010 Instructor Dr. Amites Sarkar Text-mail is amites.sarkar@wwu.edu Course objectives The successful student will demonstrate: 1. Proficiency
Math 302 Introduction to Proofs via Number Theory Spring 2014 Instructor Dr. Amites Sarkar
Sarkar, Amites
Math 302 Introduction to Proofs via Number Theory Spring 2014 Instructor Dr. Amites Sarkar Text, Tuesdays, Thursdays and Fridays, in 216 Bond Hall. My phone number is 650 7569 and my e-mail is amites.sarkar
Math 309 Introduction to Proof in Discrete Mathematics Summer 2014 Instructor Amites Sarkar
Sarkar, Amites
Math 309 Introduction to Proof in Discrete Mathematics Summer 2014 Instructor Amites Sarkar Text, in 216 Bond Hall. My phone number is 650 7569 and my e-mail is amites.sarkar@wwu.edu #12;
A proof of Tsygan's formality conjecture for an arbitrary smooth manifold
Dolgushev, Vasiliy A
2005-01-01T23:59:59.000Z
Proofs of Tsygan's formality conjectures for chains would unlock important algebraic tools which might lead to new generalizations of the Atiyah-Patodi-Singer index theorem and the Riemann-Roch-Hirzebruch theorem. Despite ...
On the complexity of cutting plane proofs using split cuts Sanjeeb ...
2008-06-16T23:59:59.000Z
Jun 16, 2008 ... Page 1 ... The complexity of different types of cutting-plane proofs has been a much studied topic in recent years. Some well-known classes of...
Wireless Roadside Inspection Proof of Concept Test Final Report
Capps, Gary J [ORNL; Franzese, Oscar [ORNL; Knee, Helmut E [ORNL; Plate, Randall S [ORNL; Lascurain, Mary Beth [ORNL
2009-03-01T23:59:59.000Z
The U.S. Department of Transportation (DOT) FMCSA commissioned the Wireless Roadside Inspection (WRI) Program to validate technologies and methodologies that can improve safety through inspections using wireless technologies that convey real-time identification of commercial vehicles, drivers, and carriers, as well as information about the condition of the vehicles and their drivers. It is hypothesized that these inspections will: -- Increase safety -- Decrease the number of unsafe commercial vehicles on the road; -- Increase efficiency -- Speed up the inspection process, enabling more inspections to occur, at least on par with the number of weight inspections; -- Improve effectiveness -- Reduce the probability of drivers bypassing CMV inspection stations and increase the likelihood that fleets will attempt to meet the safety regulations; and -- Benefit industry -- Reduce fleet costs, provide good return-on-investment, minimize wait times, and level the playing field. The WRI Program is defined in three phases which are: Phase 1: Proof of Concept Test (POC) Testing of commercially available off-the-shelf (COTS) or near-COTS technology to validate the wireless inspection concept. Phase 2: Pilot Test Safety technology maturation and back office system integration Phase 3: Field Operational Test Multi-vehicle testing over a multi-state instrumented corridor This report focuses on Phase 1 efforts that were initiated in March, 2006. Technical efforts dealt with the ability of a Universal Wireless Inspection System (UWIS) to collect driver, vehicle, and carrier information; format a Safety Data Message Set from this information; and wirelessly transmit a Safety Data Message Set to a roadside receiver unit or mobile enforcement vehicle.
Direct liquefaction proof-of-concept program. Topical report
Comolli, A.G.; Lee, L.K.; Pradhan, V.R. [and others
1996-12-01T23:59:59.000Z
This report presents the results of work conducted under the DOE Proof-of-Concept Program in direct coal liquefaction at Hydrocarbon Technologies, Inc. in Lawrenceville, New Jersey, from February 1994 through April 1995. The work includes modifications to HRI`s existing 3 ton per day Process Development Unit (PDU) and completion of the second PDU run (POC Run 2) under the Program. The 45-day POC Run 2 demonstrated scale up of the Catalytic Two-Stage Liquefaction (CTSL Process) for a subbituminous Wyoming Black Thunder Mine coal to produce distillate liquid products at a rate of up to 4 barrels per ton of moisture-ash-free coal. The combined processing of organic hydrocarbon wastes, such as waste plastics and used tire rubber, with coal was also successfully demonstrated during the last nine days of operations of Run POC-02. Prior to the first PDU run (POC-01) in this program, a major effort was made to modify the PDU to improve reliability and to provide the flexibility to operate in several alternative modes. The Kerr McGee Rose-SR{sup SM} unit from Wilsonville, Alabama, was redesigned and installed next to the U.S. Filter installation to allow a comparison of the two solids removal systems. The 45-day CTSL Wyoming Black Thunder Mine coal demonstration run achieved several milestones in the effort to further reduce the cost of liquid fuels from coal. The primary objective of PDU Run POC-02 was to scale-up the CTSL extinction recycle process for subbituminous coal to produce a total distillate product using an in-line fixed-bed hydrotreater. Of major concern was whether calcium-carbon deposits would occur in the system as has happened in other low rank coal conversion processes. An additional objective of major importance was to study the co-liquefaction of plastics with coal and waste tire rubber with coal.
S5 3 lacks the fmp (another proof) 1 August 2000
Kurucz, Agi
S5 3 lacks the fmp (another proof) A. Kurucz 1 August 2000 Abstract We show, using the idea of N#19;emeti [1], that all 3-modal logics between [S5; S5; S5] and S5 3 lack the fmp. Theorem 1. All 3-modal logics between [S5; S5; S5] and S5 3 lack the fmp. Proof. Let #8;(p; d 01 ; d 02 ; d 12
Supplement: Proofs and Technical Details for "The Solution Path of the Generalized Lasso"
Gordon, Geoffrey J.
. Letting k , we get ^u0 - ^u 0 - , as desired. It is important to note that if DDT is diagonally dominant, in other words (DDT )ii j=i |(DDT )ij| for each i = 1, . . . m, then the proof of the boundary)i - j=i(DDT )ijuj (DDT )ii , but the rest of the proof remains the same, so the boundary lemma still
Jin Xu
2012-01-18T23:59:59.000Z
The famous four color theorem states that for all planar graphs, every vertex can be assigned one of 4 colors such that no two adjacent vertices receive the same color. Since Francis Guthrie first conjectured it in 1852, it is until 1976 with electronic computer that Appel and Haken first gave a proof by finding and verifying 1936 reducible unavoidable sets, and a simplified proof of Robertson, Sanders, Seymour and Thomas in 1997 only involved 633 reducible unavoidable sets, both proofs could not be realized effectively by hand. Until now, finding the reducible unavoidable sets remains the only successful method to use, which came from Kempe's first "proof" of the four color problem in 1879. An alternative method only involving 4 reducible unavoidable sets for proving the four color theorem is used in this paper, which takes form of mathematical proof rather than a computer-assisted proof and proves both the four color conjecture and the uniquely 4-colorable planar graph conjecture by mathematical method.
Appendix A K-means and Fuzzy K-means Clustering 11.1 K-Means Clustering
Bowden, Richard
199 Appendix A K-means and Fuzzy K-means Clustering 11 11.1 K-Means Clustering Clustering by a gradient descent based iterative algorithm that is known as k-means (or c-means) algorithm or the Generalised Lloyd algorithm {Karayiannis 95]. The k-means algorithm begins with a set of k initial exemplars
PROOF COPY 504409PHF Standing shocks in a rotating channel
Tabak, Esteban G.
input from wind stress with energy dissipation at shocks. All the energy dissipation must be by means Street, New York, New York 10012 (Received 5 June 2003; accepted 15 June 2004) This paper discusses the stationary shallow water shocks occurring in a reentrant rotating channel with wind stress and topography
An insight on the Proof of Orientifold Planar Equivalence on the Lattice
Agostino Patella
2006-04-21T23:59:59.000Z
In a recent paper, Armoni, Shifman and Veneziano (ASV) gave a formal non-perturbative proof of planar equivalence between the bosonic sectors of SU(N) super Yang-Mills theory and of a gauge theory with a massless quark in the antisymmetric two-indexes representation. In the case of three colors, the latter theory is nothing but one-flavor QCD. Numerical simulations are necessary to test the validity of that proof and to estimate the size of 1/N corrections. As a first step towards numerical simulations, I will give a lattice version of the ASV proof of orientifold planar equivalence in the strong-coupling and large-mass phase.
Evaluation and improvement on external-hazard proof of JSFR fuel handling system
Katoh, A.; Chikazawa, Y. [Japan Atomic Energy Agency, 4002 Narita, O-arai-machi, Ibaraki-ken, 311-1393 (Japan); Uzawa, M. [Mitsubishi FBR Systems Inc. MFBR, 34-17, Jingumae 2-chome, Shibuya-ku, Tokyo 150-0001 (Japan)
2012-07-01T23:59:59.000Z
Responding to the the Fukushima Dai-ichi nuclear power plant (1F-NPP) accident, the earthquake and the tsunami proof of the fuel handling system (FHS) in Japan sodium-cooled fast reactor (JSFR) is studied. In the earthquake proof estimation, the margin of seismic resistance against the earthquake of the 1F-envelop condition and the sloshing behavior in the EVST is estimated. In terms of the tsunami proof, the scenario to lead fuel subassemblies into the stable cooling state and the potential of the cooling system is introduced in case of loss of the emergency power supply. As a result, it is clear that JSFR FHS originally could already be prepared to have the potential to prevent the release of radioactive material. (authors)
Mancarella, P; Sadri, F; Toni, F; Endriss, U
2009-01-01T23:59:59.000Z
We present the CIFF proof procedure for abductive logic programming with constraints, and we prove its correctness. CIFF is an extension of the IFF proof procedure for abductive logic programming, relaxing the original restrictions over variable quantification (allowedness conditions) and incorporating a constraint solver to deal with numerical constraints as in constraint logic programming. Finally, we describe the CIFF system, comparing it with state of the art abductive systems and answer set solvers and showing how to use it to program some applications. (To appear in Theory and Practice of Logic Programming - TPLP).
ANALYSIS OF SAFETY RELIEF VALVE PROOF TEST DATA TO OPTIMIZE LIFECYCLE MAINTENANCE COSTS
Gross, Robert; Harris, Stephen
2007-08-01T23:59:59.000Z
Proof test results were analyzed and compared with a proposed life cycle curve or hazard function and the limit of useful life. Relief valve proof testing procedures, statistical modeling, data collection processes, and time-in-service trends are presented. The resulting analysis of test data allows for the estimation of the PFD. Extended maintenance intervals to the limit of useful life as well as methodologies and practices for improving relief valve performance and reliability are discussed. A generic cost-benefit analysis and an expected life cycle cost reduction concludes that $90 million maintenance dollars might be avoided for a population of 3000 valves over 20 years.
SU-E-J-245: Is Off-Line Adaptive Radiotherapy Sufficient for Head and Neck Cancer with IGRT?
Li, Z [the 6th People's Hospital of Shanghai Jiaotong University, Shanghai, Shanghai (China); Cleveland Clinic, Cleveland, OH (United States); Shang, Q; Liu, H; Greskovich, J; Koyfman, S; Xia, P [Cleveland Clinic, Cleveland, OH (United States)
2014-06-01T23:59:59.000Z
Purpose: Radiation doses delivered to patients with head and neck cancer (HN) may deviate from the planned doses because of variations in patient setup and anatomy. This study was to evaluate whether off-line Adaptive Radiotherapy (ART) is sufficient. Methods: Ten HN patients, who received IMRT under daily imaging guidance using CT-on-rail/KV-CBCT, were randomly selected for this study. For each patient, the daily treatment setup was corrected with translational only directions. Sixty weekly verification CTs were retrospectively analyzed. On these weekly verification CTs, the tumor volumes and OAR contours were manually delineated by a physician. With the treatment iso-center placed on the verification CTs, according to the recorded clinical shifts, the treatment beams from the original IMRT plans were then applied to these CTs to calculate the delivered doses. The electron density of the planning CTs and weekly CTs were overridden to 1 g/cm3. Results: Among 60 fractions, D99 of the CTVs in 4 fractions decreased more than 5% of the planned doses. The maximum dose of the spinal cord exceeded 10% of the planned values in 2 fractions. A close examination indicated that the dose discrepancy in these 6 fractions was due to patient rotations, especially shoulder rotations. After registering these 6 CTs with the planning CT allowing six degree of freedoms, the maximum rotations around 3 axes were > 1.5 for these fractions. With rotation setup errors removed, 4 out of 10 patients still required off-line ART to accommodate anatomical changes. Conclusion: A significant shoulder rotations were observed in 10% fractions, requiring patient re-setup. Off-line ART alone is not sufficient to correct for random variations of patient position, although ART is effective to adapt to patients' gradual anatomic changes. Re-setup or on-line ART may be considered for patients with large deviations detected early by daily IGRT images. The study is supported in part by Siemens Medical Solutions.
K-means on Azure Matthieu Durut
Rossi, Fabrice
K-means on Azure Matthieu Durut Lokad 70, rue Lemercier, 75018 Paris France matthieu the speedups of a parallel k-means algorithm obtained on up to 200 processing units. 1 Parallel K-means This paper uses the k-means clustering algorithm as a typical example of machine learning methods
Paris-Sud XI, Université de
Automation for Coq Sean Wilson Jacques Fleuriot Alan Smaill School of Informatics, The University of Edinburgh {sean.wilson,jacques.fleuriot,a.smaill}@ed.ac.uk We introduce inductive proof automation for Coq support for proofs involving case splits and multiple inductive hypotheses. The automation makes use
Kostic, Milivoje M.
Treatise with Reasoning Proof of the First Law of Energy Conservation Forced Interactions The First Law of Energy Conservation, have been traditionally accepted as axiomatic laws that cannot and reasoned the general proof of energy conservation based on the Newton's Laws of motion and energy
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
Density and Flow-Velocity Measurement Technology for Dredging Applications - Proof of Concept Study
Greenwood, Margaret S.; Tucker, Brian J.; Diaz, Aaron A.
2004-10-01T23:59:59.000Z
This technical letter report provides the results of all PNNL managed activities on this project, and contains a description of the data acquisition configuration and testing protocols, results and conclusions from this work. This technical letter report constitutes the final deliverable to be submitted to the client for this proof-of-concept study.
Pinocchio Coin: Building Zerocoin from a Succinct Pairing-based Proof System
Danezis, George
Research Cambridge, UK Bryan Parno Microsoft Research Redmond, USA ABSTRACT Bitcoin is the first widely adopted distributed e-cash system and Zerocoin is a recent proposal to extend Bitcoin with anonymous schemes, Security Keywords Zero-knowledge Proofs; anonymous electronic cash; bitcoin; zerocoin. 1
Cuckoo Cycle: a graph-theoretic proof-of-work system
of the cornerstones of crypto-currencies. As proof-of-work for new blocks of transactions, Bitcoin [1] adopted Adam of a cryptographic hash function (twofold SHA256 in Bitcoin's case) to this nonce (and the rest of the block header so as to maintain a certain average block interval (10-minutes for Bitcoin). Since Bitcoin, many
PROOF-OF-CONCEPT OF A DUAL-FIRED (SOLAR & NATURAL GAS) GENERATOR
. FEASIBILITYANALYSISANDFINALEISGREPORT May 2005 CEC-500-2005-090 #12;ENERGY INNOVATIONS SMALL GRANT (EISG) PROGRAM FEASIBILITY ANALYSIS million of which $2.4 million/year is allocated to the Energy Innovation Small Grant (EISG) Program solicitations a year and awards grants up to $75,000 for promising proof-of-concept energy research. PIER
A short proof of the strong normalization of the simply typed -calculus
Nour, Karim
and by a CPS transformation to the -calculus. The technique we present here can also be used to prove are necessary. This result was proved (see [1]) by using a CPS transformation. We will give a direct proof slightly different from the one in [6], is essentially the same and the two systems are obviously
A short proof of the strong normalization of the simply typed -calculus
Paris-Sud XI, Universit de
and by a CPS transformation to the -calculus. The technique we present here can also be used to prove are necessary. This result was proved (see [1]) by using a CPS transformation. We will give a direct proof A B (A B) D1 B This coding, though slightly different from the one in [6], is essentially the same
A short proof of the strong normalization of the simply typed #calculus
David, Ren
and by a CPS transformation to the #calculus. The technique we present here can also be used to prove are necessary. This result was proved (see [1]) by using a CPS transformation. We will give a direct proof], is essentially the same and the two systems are obviously equivalent. Parigot uses two sets of variables
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
An Abductive Semantics for Disjunctive Logic Programs and its Proof Procedure
Yuan, Li-Yan
An Abductive Semantics for Disjunctive Logic Programs and its Proof Procedure JiaHuai You, Li Yan may be viewed as a form of abduction and argumentation, the problem of how disjunctive programs may be used for abductive reasoning is rarely dis cussed. In this paper we propose an abductive semantics
Intuitive Proof of Black-Scholes Formula Based on Arbitrage and Properties of Lognormal Distribution
Alexei Krouglov
2006-12-03T23:59:59.000Z
Presented is intuitive proof of Black-Scholes formula for European call options, which is based on arbitrage and properties of lognormal distribution. Paper can help students and non-mathematicians to better understand economic concepts behind one of the biggest achievements in modern financial theory.
An alternative proof of Elezovi\\'c-Giordano-Pe\\v{c}ari\\'c's theorem
Qi, Feng
2009-01-01T23:59:59.000Z
In the present note, an alternative proof is supplied for Theorem~1 in [N. Elezovi\\'c, C. Giordano and J. Pe\\v{c}ari\\'c, \\textit{The best bounds in Gautschi's inequality}, Math. Inequal. Appl. \\textbf{3} (2000), 239\
A functional-analytic proof of the conformal welding Eric Schippers1 Wolfgang Staubach 2
Schippers, Eric
A functional-analytic proof of the conformal welding theorem Eric Schippers1 Wolfgang Staubach 2 1 Universitet Uppsala, Sweden CMS Winter Meeting 2012 Eric Schippers (Manitoba) Conformal welding theorem CMS Winter Meeting 2012 1 / 21 #12;Statement of the theorem Conformal welding theorem Definition
No material is "fire proof;" however, proper use and assembly of fire-rated building materials
General No material is "fire proof;" however, proper use and assembly of fire-rated building materials can reduce a fire's spread and extend the amount of time it takes for a home to ignite and burn. (Structural assembly is the process of layering materials when building exterior walls and roof.) Your roof
A UAV motor denoising technique to improve localization of surrounding noisy aircrafts: proof of
Paris-Sud XI, Université de
task because of the low signal to noise ratio (SNR) due to wind, vibration and own propeller noiseA UAV motor denoising technique to improve localization of surrounding noisy aircrafts: proof on active propulsion using propellers or jets, they emit noise which reveals their presence and position
The Proof: and The approximate and of crude circuits CC(X) and
Lyuu, Yuh-Dauh
The Proof: and The approximate and of crude circuits CC(X) and CC(Y) is CC(pluck({Xi Yj : Xi X that the resulting crude circuit has "a lot" of false positives or false negatives. c 2008 Prof. Yuh-Dauh Lyuu, National Taiwan University Page 718 #12;The Final Crude Circuit Lemma 93 Every final crude circuit either
Berestycki, Julien
Brunet-Derrida-Simon conjectures Background material Main results Proof overview The genealogy with constant population size Conjecture 1 : the speed Conjecture 2 : timescale Conjecture 3 : Genealogy 2 Background material So what is the Bolthausen-Sznitman coalescent ? CSBP Genealogy of Neveu's CSBP BBM 3 Main
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
On the power of quantum, one round, two prover interactive proof systems
Alex Rapaport; Amnon Ta-Shma
2007-07-08T23:59:59.000Z
We analyze quantum two prover one round interactive proof systems, in which noninteracting provers can share unlimited entanglement. The maximum acceptance probability is characterized as a superoperator norm. We get some partial results about the superoperator norm, and in particular we analyze the "rank one" case.
Recursive Composition and Bootstrapping for SNARKs and Proof-Carrying Data
Ben-Sasson, Eli
Recursive Composition and Bootstrapping for SNARKs and Proof-Carrying Data Nir Bitansky nirbitan@tau.ac.il Tel Aviv University Ran Canetti canetti@tau.ac.il Boston University and Tel Aviv University Alessandro Chiesa alexch@csail.mit.edu MIT Eran Tromer tromer@tau.ac.il Tel Aviv University April 3, 2012 Abstract
A SHORT PROOF OF THE DOOB-MEYER THEOREM MATHIAS BEIGLBOCK, WALTER SCHACHERMAYER, BEZIRGEN VELIYEV
Schachermayer, Walter
A SHORT PROOF OF THE DOOB-MEYER THEOREM MATHIAS BEIGLB¨OCK, WALTER SCHACHERMAYER, BEZIRGEN VELIYEV Abstract. Every submartingale S of class D has a unique Doob-Meyer de- composition S = M + A, where M of the Doob-Meyer decomposition theorem. Several previously known arguments are included to keep the paper
Automated Proofs for Some Stirling Number Identities Manuel Kauers # and Carsten Schneider +
Schneider, Carsten
Automated Proofs for Some Stirling Number Identities Manuel Kauers # and Carsten Schneider)Eulerian numbers that were obtained by combining a recent summation algorithm for Stirling number identities)S(n, k) where h(m, n, k) is a hypergeometric term and S(n, k) are, e.g., Stirling numbers or Eule rian
Environmental Science & Policy 7 (2004) 369383 Science and public policy: what's proof
Callender, Craig
2004-01-01T23:59:59.000Z
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
Proof-of-principle experiments of laser Wakefield acceleration
Nakajima, K.; Kawakubo, T.; Nakanishi, H. [National Lab. for Higher Energy Physics, Ibaraki (Japan)] [and others
1994-04-01T23:59:59.000Z
Recently there has been a great interest in laser-plasma accelerators as possible next-generation particle accelerators because of their potential for ultra high accelerating gradients and compact size compared with conventional accelerators. It is known that the laser pulse is capable of exciting a plasma wave propagating at a phase velocity close to the velocity of light by means of beating two-frequency lasers or an ultra short laser pulse. These schemes came to be known as the Beat Wave Accelerator (BWA) for beating lasers or as the Laser Wakefield Accelerator (LWFA) for a short pulse laser. In this paper, the principle of laser wakefield particle acceleration has been tested by the Nd:glass laser system providing a short pulse with a power of 10 TW and a duration of 1 ps. Electrons accelerated up to 18 MeV/c have been observed by injecting 1 MeV/c electrons emitted from a solid target by an intense laser impact. The accelerating field gradient of 30 GeV/m is inferred.
Tsuyoshi Ito; Hirotada Kobayashi; Daniel Preda; Xiaoming Sun; Andrew C. -C. Yao
2008-04-11T23:59:59.000Z
A central question in quantum information theory and computational complexity is how powerful nonlocal strategies are in cooperative games with imperfect information, such as multi-prover interactive proof systems. This paper develops a new method for proving limits of nonlocal strategies that make use of prior entanglement among players (or, provers, in the terminology of multi-prover interactive proofs). Instead of proving the limits for usual isolated provers who initially share entanglement, this paper proves the limits for "commuting-operator provers", who share private space, but can apply only such operators that are commutative with any operator applied by other provers. Commuting-operator provers are at least as powerful as usual isolated but prior-entangled provers, and thus, limits for commuting-operator provers immediately give limits for usual entangled provers. Using this method, we obtain an n-party generalization of the Tsirelson bound for the Clauser-Horne- Shimony-Holt inequality for every n. Our bounds are tight in the sense that, in every n-party case, the equality is achievable by a usual nonlocal strategy with prior entanglement. We also apply our method to a 3-prover 1-round binary interactive proof for NEXP. Combined with the technique developed by Kempe, Kobayashi, Matsumoto, Toner and Vidick to analyze the soundness of the proof system, it is proved to be NP-hard to distinguish whether the entangled value of a 3-prover 1-round binary-answer game is equal to 1 or at most 1-1/p(n) for some polynomial p, where n is the number of questions. This is in contrast to the 2-prover 1-round binary-answer case, where the corresponding problem is efficiently decidable. Alternatively, NEXP has a 3-prover 1-round binary interactive proof system with perfect completeness and soundness 1-2^{-poly}.
Longmore, Steven N; Keto, Eric; Zhang, Qizhou; Qiu, Keping
2010-01-01T23:59:59.000Z
If star formation proceeds by thermal fragmentation and the subsequent gravitational collapse of the individual fragments, how is it possible to form fragments massive enough for O and B stars in a typical star-forming molecular cloud where the Jeans mass is about 1Msun at the typical densities (10^4 cm^-3) and temperatures (10K)? We test the hypothesis that a first generation of low-mass stars may heat the gas enough that subsequent thermal fragmentation results in fragments >=10Msun, sufficient to form B stars. We combine ATCA and SMA observations of the massive star-forming region G8.68-0.37 with radiative transfer modeling to derive the present-day conditions in the region and use this to infer the conditions in the past, at the time of core formation. Assuming the current mass/separation of the observed cores equals the fragmentation Jeans mass/length and the region's average density has not changed, requires the gas temperature to have been 100K at the time of fragmentation. The postulated first-generat...
Boyer, Edmond
Accepted Manuscript Comment on "Ccl2, Cx3cr1 and Ccl2/Cx3cr1 chemokine deficiencies on "Ccl2, Cx3cr1 and Ccl2/Cx3cr1 chemokine deficiencies are not sufficient to cause age- related retinal on "Ccl2, Cx3cr1 and Ccl2/Cx3cr1 chemokine deficiencies are not sufficient to cause age- related retinal
Cengarle, María Victoria
Structure of Termination Proofs Goal of the Termination Tactic Algorithm of the Termination Tactic Mutual recursion Finding Lexicographic Orders for Termination Proofs Lukas Bulwahn Fakult¨at f¨ur Informatik Technische Universit¨at M¨unchen February 16th, 2007 1 / 23 #12;Structure of Termination Proofs
The role of literal meaning in metaphor
Coleman, Martin Allen
1996-01-01T23:59:59.000Z
Examining literal meaning and the role it plays in the explanation of metaphor shows that the concept of meaning by itself is not powerful enough to answer questions about using and comprehending metaphorical utterances. A full theory...
Status of Proof-of-principle Experiment for Coherent Electron Cooling
Pinayev, I; Ben-Zvi, I; Bengtsson, J; Elizarov, A; Fedotov, A V; Gassner, D M; Hao, Y; Kayran, D; Litvinenko, V; Mahler, G J; Meng, W; Roser, T; Sheehy, B; Than, R; Tuozzolo, J E; Wang, G; Webb, S D; Yakimenko, V; Bell, G I; Bruhwiler, D L; Ranjbar, V H; Schwartz, B T; Hutton, A; Krafft, G A; Poelker, M; Rimmer, R A; Kholopov, M A
2012-07-01T23:59:59.000Z
Coherent electron cooling (CEC) has a potential to significantly boost luminosity of high-energy, high-intensity hadron colliders. To verify the concept we conduct proof-of-the-principle experiment at RHIC. In this paper, we describe the current experimental setup to be installed into 2 o'clock RHIC interaction regions. We present current design, status of equipment acquisition and estimates for the expected beam parameters.
A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses
Paris-Sud XI, Universit de
A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses M. Armand1 , G. Faure2 , B.Faure,Chantal.Keller,Benjamin.Werner}@inria.fr Abstract We present a way to enjoy the power of SAT and SMT provers in Coq without compromising soundness witnesses from the SAT solver ZChaff and from the SMT solver veriT. Experiments highlight the efficiency
Math 290 -Class Activity Assignment 14 1. Write formal proofs of each of the following using PMI.
Singman, David
using PMI. (a) For all n N, 6 n i=0 7i = 7n+1 - 1. In your proof, make use of the inductive definition = 7n+1 - 1 . We prove that S = N using PMI. (i) (Basis step) Since 6 1 i=0 7i = 6(1 + 7) = 48 = 72 - 1) - 1 = 7n+2 - 1, which proves that n + 1 S. Thus by PMI, S = N. (b) Proof. Define the set S by S = {n
Continuous Time Finite State Mean Field Games
Gomes, Diogo A., E-mail: dgomes@math.ist.utl.pt [Instituto Superior Tecnico, Center for Mathematical Analysis, Geometry, and Dynamical Systems, Departamento de Matematica (Portugal); Mohr, Joana, E-mail: joana.mohr@ufrgs.br; Souza, Rafael Rigao, E-mail: rafars@mat.ufrgs.br [UFRGS, Instituto de Matematica (Brazil)
2013-08-01T23:59:59.000Z
In this paper we consider symmetric games where a large number of players can be in any one of d states. We derive a limiting mean field model and characterize its main properties. This mean field limit is a system of coupled ordinary differential equations with initial-terminal data. For this mean field problem we prove a trend to equilibrium theorem, that is convergence, in an appropriate limit, to stationary solutions. Then we study an N+1-player problem, which the mean field model attempts to approximate. Our main result is the convergence as N{yields}{infinity} of the mean field model and an estimate of the rate of convergence. We end the paper with some further examples for potential mean field games.
Scalable k-means statistics with Titan.
Thompson, David C.; Bennett, Janine C.; Pebay, Philippe Pierre
2009-11-01T23:59:59.000Z
This report summarizes existing statistical engines in VTK/Titan and presents both the serial and parallel k-means statistics engines. It is a sequel to [PT08], [BPRT09], and [PT09] which studied the parallel descriptive, correlative, multi-correlative, principal component analysis, and contingency engines. The ease of use of the new parallel k-means engine is illustrated by the means of C++ code snippets and algorithm verification is provided. This report justifies the design of the statistics engines with parallel scalability in mind, and provides scalability and speed-up analysis results for the k-means engine.
Study of relaxation and transport processes by means of AFM based dielectric spectroscopy
Miccio, Luis A. [Centro de Fsica de Materiales CSIC-UPV/EHU, P. M. de Lardizabal 5, 20018 San Sebastian, Spain and Departamento de Fsica de Materiales UPV/EHU, Fac. de Qumica, 20080 San Sebastian (Spain); Schwartz, Gustavo A. [Centro de Fsica de Materiales CSIC-UPV/EHU, P. M. de Lardizabal 5, 20018 San Sebastian, Spain and Donostia International Physics Center, Paseo Manuel de Lardizabal 4, 20018 San Sebastian (Spain)
2014-05-15T23:59:59.000Z
Since its birth a few years ago, dielectric spectroscopy studies based on atomic force microscopy (AFM) have gained a growing interest. Not only the frequency and temperature ranges have become broader since then but also the kind of processes that can be studied by means of this approach. In this work we analyze the most adequate experimental setup for the study of several dielectric processes with a spatial resolution of a few nanometers by using force mode AFM based dielectric spectroscopy. Proof of concept experiments were performed on PS/PVAc blends and PMMA homopolymer films, for temperatures ranging from 300 to 400 K. Charge transport processes were also studied by this approach. The obtained results were analyzed in terms of cantilever stray contribution, film thickness and relaxation strength. We found that the method sensitivity is strongly coupled with the film thickness and the relaxation strength, and that it is possible to control it by using an adequate experimental setup.
Noisy k-means The algorithm of noisy k-means
Paris-Sud XI, Universit de
Noisy k-means The algorithm of noisy k-means Camille Brunet camille.brunet@univ-angers.fr LAREMA-step procedure: (1) a deconvolution step to deal with noisy inputs and (2) Newton's iterations as the popular k-means. Keywords: Clustering, Deconvolution, Lloyd algorithm, Fast Fourier Transform, Noisy k-means. 1
2007-08-04T23:59:59.000Z
Please cite this article in press as: P.-Q. Pan, A primal deficient-basis simplex algorithm ..., Appl. Math. Comput. (2007), doi:10.1016/j.amc.2007.07.030...
2000-12-14T23:59:59.000Z
bSobolev Institute of Mathematics, Novosibirsk-90 630090, Russia ... 1 Supported by the Russian Foundation for Fundamental Research (Grant 99-01-
2000-12-12T23:59:59.000Z
aNovosibirsk State University, Novosibirsk 630090, Russia. bFaculty ... 2 Supported by the Russian Foundation for Fundamental Research (Grant 99-01-
2004-04-30T23:59:59.000Z
P. Shebalina, A. Gabrielovc, D. Turcotted. 4 a International Institute for Earthquake Prediction Theory and Mathematical Geophysics, Russian Academy Science,.
Mean Width of a Regular Simplex
Finch, Steven R
2011-01-01T23:59:59.000Z
The mean width is a measure on n-dimensional convex bodies. An integral formula for the mean width of a regular n-simplex appeared in the electrical engineering literature in 1997. As a consequence, expressions for the expected range of a sample of n+1 normally distributed variables, for ninfty.
Oliver, Douglas L.
Purging the Task Pump on the 800 Cold Probe Occasionally the task pump in the 800 cryobay will not pull a sufficient vacuum to start the cold probe. When this happens the pump may need to have a N2 panels off the cryobay and place somewhere safe · Make sure the task pump is off. If it is still running
Gaudet, Matthieu
2012-01-01T23:59:59.000Z
We demonstrate here a proof-of-concept experiment that microelectromechanical systems (MEMS) can be actuated using photoelectrowetting. In order to demonstrate this, a 30 \\mu m thick aluminum cantilever is actuated using an ordinary white light source. A deflection of 56 \\mu m is observed using a light irradiance equal to \\approx 1000 W m-2 at a bias of 7 V. The deflection of the cantilever relies on the recently observed photoelectrowetting effect [Sci. Rep.1, 184 (2011)]. Such "actuation at a distance" could be useful for optical addressing and control of autonomous wireless sensors, MEMS and microsystems.
Using Novel Image-based Interactional Proofs and Source Randomization for Prevention of Web Bots
Shardul Vikram
2012-02-14T23:59:59.000Z
to k and n. Attack using the static image name in source: If the source code of the HTML page hosting the challenge uses image names, an attacker could potentially use those names to identify similar images. However, this sort of attack is easily...USING NOVEL IMAGE-BASED INTERACTIONAL PROOFS AND SOURCE RANDOMIZATION FOR PREVENTION OF WEB BOTS A Thesis by SHARDUL VIKRAM Submitted to the Office of Graduate Studies of Texas A&M University in partial fulfillment of the requirements...
Supply Chain Based Solution to Prevent Fuel Tax Evasion: Proof of Concept Final Report
Capps, Gary J [ORNL; Lascurain, Mary Beth [ORNL; Franzese, Oscar [ORNL; Earl, Dennis Duncan [ORNL; West, David L [ORNL; McIntyre, Timothy J [ORNL; Chin, Shih-Miao [ORNL; Hwang, Ho-Ling [ORNL; Connatser, Raynella M [ORNL; Lewis Sr, Samuel Arthur [ORNL; Moore, Sheila A [ORNL
2011-12-01T23:59:59.000Z
The goal of this research was to provide a proof-of-concept (POC) system for preventing non-taxable (non-highway diesel use) or low-taxable (jet fuel) petrochemical products from being blended with taxable fuel products and preventing taxable fuel products from cross-jurisdiction evasion. The research worked to fill the need to validate the legitimacy of individual loads, offloads, and movements by integrating and validating, on a near-real-time basis, information from global positioning system (GPS), valve sensors, level sensors, and fuel-marker sensors.
The True-Twin microcalorimeter: a proof-of-concept experiment
Luca Oberto; Luciano Brunetti; Marco Sellone
2011-05-02T23:59:59.000Z
We present a proof-of-concept experiment to realize microwave primary power standard with a true-twin microcalorimeter. Double feeding line microcalorimeters are widely used by National Metrology Institutes. A drawback concerns the system calibration: traditional processes changes measurement conditions between system characterization and the measurement stage. Nevertheless, if the feeding lines are made twin, a measurement scheme that avoids separate characterization can be applied, equations simplify and time consumption is halved. Here we demonstrates the feasibility of the idea. The result of an effective efficiency spectroscopy of a thermoelectric power sensor is compared with figures obtained with well established methods.
I.C. 42-217 - Proof of Application (of Water) to Beneficial Use | Open
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page onYou are now leaving Energy.gov You are now leaving Energy.gov You are8COaBulkTransmissionSitingProcess.pdfGetecGtel JumpCounty, Texas: EnergyHy9Moat ofEnergy Information Proof of
Utah Full Proof of Beneficial Use of Water | 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 onYou are now leaving Energy.gov You are now leaving Energy.gov YouKizildere IRaghuraji Agro IndustriesTown of Ladoga,planning methodologies and tools |UC 54-2Full Proof of Beneficial Use
Utah Proof of Beneficial Use of Water Application | 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 onYou are now leaving Energy.gov You are now leaving Energy.gov YouKizildere IRaghuraji Agro IndustriesTown of Ladoga,planning methodologies and tools |UC 54-2Full Proof ofUtahOffice
Perspective unconventional means for nuclear reactor control
Ionaitis, R.R.
1993-12-31T23:59:59.000Z
The concept of reliable shutdown of nuclear reactors demands application of engineering control means on the basis of principles, safety, safe failure, redundancy, independence, variety, defence in depth, and intrinsical safety. This report describes application of control methods.
Goldschmidt, Christina
The Meaning of Cell Genealogy The meaning of stem The meaning of Zygote, Mitotic ages and Genome Data Methods Applica Somatic Cell Genealogies and Differentiation Olina Geofrey Martijn African Institute for Mathematical Sciences 2008 #12;The Meaning of Cell Genealogy The meaning of stem The meaning
The driven overdamped mean field model Non-eq. free energies for the mean field model
Dauxois, Thierry
The driven overdamped mean field model Non-eq. free energies for the mean field model Large deviations for turbulent flows Non-Equilibrium Free Energies for Particle Systems and Turbulent Flows F Treilles. F. Bouchet ENSL-CNRS Non-Equilibrium Free Energies #12;The driven overdamped mean field model Non
Report for slot cutter proof-of-principle test, Buried Waste Containment System project. Revision 1
NONE
1998-05-21T23:59:59.000Z
Several million cubic feet of hazardous and radioactive waste was buried in shallow pits and trenches within many US Department of Energy (US DOE) sites. The pits and trenches were constructed similarly to municipal landfills with both stacked and random dump waste forms such as barrels and boxes. Many of the hazardous materials in these waste sites are migrating into groundwater systems through plumes and leaching. On-site containment is one of the options being considered for prevention of waste migration. This report describes the results of a proof-of-principle test conducted to demonstrate technology for containing waste. This proof-of-principle test, conducted at the RAHCO International, Inc., facility in the summer of 1997, evaluated equipment techniques for cutting a horizontal slot beneath an existing waste site. The slot would theoretically be used by complementary equipment designed to place a cement barrier under the waste. The technology evaluated consisted of a slot cutting mechanism, muck handling system, thrust system, and instrumentation. Data were gathered and analyzed to evaluate the performance parameters.
Beyond the mean field in the particle-vibration coupling scheme
Baldo, M; Colo', G; Rizzo, D; Sciacchitano, L
2015-01-01T23:59:59.000Z
The Energy Density Functional theory is one of the most used methods developed in nuclear structure. It is based on the assumption that the energy of the ground state is a functional only of the density profile. The method is extremely successful within the effective force approach, noticeably the Skyrme or Gogny forces, in reproducing the nuclear binding energies and other bulk properties along the whole mass table. Although the Density Functional is in this case represented formally as the Hartree-Fock mean field of an effective force, the corresponding single-particle states in general do not reproduce the phenomenology particularly well. To overcome this difficulty, a strategy has been developed where the effective force is adjusted to reproduce directly the single particle energies, trying to keep the ground state energy sufficiently well reproduced. An alternative route, that has been developed along several years, for solving this problem is to introduce the mean field fluctuations, as represented by t...
Attacks exploiting deviation of mean photon number in quantum key distribution and coin tossing
Shihan Sajeed; Igor Radchenko; Sarah Kaiser; Jean-Philippe Bourgoin; Anna Pappa; Laurent Monat; Matthieu Legre; Vadim Makarov
2015-03-30T23:59:59.000Z
The security of quantum communication using a weak coherent source requires an accurate knowledge of the source's mean photon number. Finite calibration precision or an active manipulation by an attacker may cause the actual emitted photon number to deviate from the known value. We model effects of this deviation on the security of three quantum communication protocols: the Bennett-Brassard 1984 (BB84) quantum key distribution (QKD) protocol without decoy states, Scarani-Acin-Ribordy-Gisin 2004 (SARG04) QKD protocol, and a coin-tossing protocol. For QKD, we model both a strong attack using technology possible in principle, and a realistic attack bounded by today's technology. To maintain the mean photon number in two-way systems, such as plug-and-play and relativistic quantum cryptography schemes, bright pulse energy incoming from the communication channel must be monitored. Implementation of a monitoring detector has largely been ignored so far, except for ID Quantique's commercial QKD system Clavis2. We scrutinize this implementation for security problems, and show that designing a hack-proof pulse-energy-measuring detector is far from trivial. Indeed the first implementation has three serious flaws confirmed experimentally, each of which may be exploited in a cleverly constructed Trojan-horse attack. We discuss requirements for a loophole-free implementation of the monitoring detector.
An Explanation for Beta's Mean-reversion
Bodkin, Connor Matthew
2013-09-26T23:59:59.000Z
-reversion in beta values. They find that 26 companies do not have a constant beta and that 14 of the non-constant betas are mean reverting. Their model is the modified Kalman filter that Harvey et al. (1992) developed. De Bondt and Thalers paper finds...
SURGEURGEAnd Move Planning Manual WHAT IT MEANS
Doudna, Jennifer A.
SURGEURGEAnd Move Planning Manual A GUIDE ON WHAT IT MEANS TO SURGE, HOW LONG IT WILL TAKE AND THE BEST WAY TO GET THROUGH IT Produced by: University of California, Berkeley Capital Projects #12 Manual describes the surge planning process and provides an overview of roles and responsibilities
The mean molecular mass of Titan's atmosphere
Withers, Paul
, Mars, Mars #12;Science Questions Mean molecular mass () -> Chemical composition How did Titan form? Current reservoirs of volatiles Ethane/methane puddles/ocean Thermal structure of atmosphere #12, delicate, etc T/p sensors are simple, cheap, reliable Is it possible to know based on simple
REPORTED JOB SATISFACTION: WHAT DOES IT MEAN?
Paris-Sud XI, Universit de
1 REPORTED JOB SATISFACTION: WHAT DOES IT MEAN? Louis Lvy-Garboua TEAM (CNRS), University of Paris or regret, i.e. the difference between what happened and what might have happened, on job satisfaction. The main prediction that we test is that job satisfaction correlates with the wage gaps experienced
Fixpoint & Proof-theoretic Semantics for CLP with Qualification and Proximity
Rodrguez-Artalejo, Mario
2010-01-01T23:59:59.000Z
Uncertainty in Logic Programming has been investigated during the last decades, dealing with various extensions of the classical LP paradigm and different applications. Existing proposals rely on different approaches, such as clause annotations based on uncertain truth values, qualification values as a generalization of uncertain truth values, and unification based on proximity relations. On the other hand, the CLP scheme has established itself as a powerful extension of LP that supports efficient computation over specialized domains while keeping a clean declarative semantics. In this report we propose a new scheme SQCLP designed as an extension of CLP that supports qualification values and proximity relations. We show that several previous proposals can be viewed as particular cases of the new scheme, obtained by partial instantiation. We present a declarative semantics for SQCLP that is based on observables, providing fixpoint and proof-theoretical characterizations of least program models as well as an im...
Generalized decoding, effective channels, and simplified security proofs in quantum key distribution
Renes, Joseph M. [IAKS Prof. Beth, Arbeitsgruppe Quantum Computing, Universitaet Karlsruhe, Am Fasanengarten 5, D-76131 Karlsruhe (Germany); Quantum Information Theory Group, Institut fuer Theoretische Physik I, and Max-Planck-Forschungsgruppe, Institut fuer Optik, Information und Photonik, Universitaet Erlangen-Nuernberg, Staudtstrasse 7, D-91058 Erlangen (Germany); Grassl, Markus [IAKS Prof. Beth, Arbeitsgruppe Quantum Computing, Universitaet Karlsruhe, Am Fasanengarten 5, D-76131 Karlsruhe (Germany)
2006-08-15T23:59:59.000Z
Prepare and measure quantum key distribution protocols can be decomposed into two basic steps: delivery of the signals over a quantum channel and distillation of a secret key from the signal and measurement records by classical processing and public communication. Here we formalize the distillation process for a general protocol in a purely quantum-mechanical framework and demonstrate that it can be viewed as creating an 'effective' quantum channel between the legitimate users Alice and Bob. The process of secret key generation can then be viewed as entanglement distribution using this channel, which enables application of entanglement-based security proofs to essentially any prepare and measure protocol. To ensure secrecy of the key, Alice and Bob must be able to estimate the channel noise from errors in the key, and we further show how symmetries of the distillation process simplify this task. Applying this method, we prove the security of several key distribution protocols based on equiangular spherical codes.
Proof-of concept testing of the advanced NOXSO flue gas cleanup process. Final report
Not Available
1993-04-01T23:59:59.000Z
The NOXSO Process uses a regenerable sorbent that removes SO{sub 2} and NO{sub x} simultaneously from flue gas. The sorbent is a stabilized {gamma}-alumina bed impregnated with sodium carbonate. The process was successfully tested at three different scales, equivalent to 0.017, 0.06 and 0.75 MW of flue gas generated from a coal-fired power plant. The Proof-of-Concept (POC) Test is the last test prior to a full-scale demonstration. A slip stream of flue gas equivalent to a 5 MW coal-fired power plant was used for the POC test. This paper summarizes the NOXSO POC plant and its test results.
Development and proof-testing of advanced absorption refrigeration cycle concepts
Modahl, R.J.; Hayes, F.C. (Trane Co., La Crosse, WI (United States). Applied Unitary/Refrigeration Systems Div.)
1992-03-01T23:59:59.000Z
The overall objectives of this project are to evaluate, develop, and proof-test advanced absorption refrigeration cycles that are applicable to residential and commercial heat pumps for space conditioning. The heat pump system is to be direct-fired with natural gas and is to use absorption working fluids whose properties are known. Target coefficients of performance (COPs) are 1.6 at 47{degrees}F and 1.2 at 17{degrees} in the heating mode, and 0.7 at 95{degree}F in the cooling mode, including the effect of flue losses. The project is divided into three phases. Phase I entailed the analytical evaluation of advanced cycles and included the selection of preferred concepts for further development. Phase II involves the development and testing of critical components and of a complete laboratory breadboard version of the selected system. Phase III calls for the development of a prototype unit and is contingent on the successful completion of Phase II. This report covers Phase I work on the project. In Phase 1, 24 advanced absorption cycle/fluid combinations were evaluated, and computer models were developed to predict system performance. COP, theoretical pump power, and internal heat exchange were calculated for each system, and these calculations were used as indicators of operating and installed costs in order to rank the relative promise of each system. The highest ranking systems involve the cycle concept of absorber/generator heat exchange, generator heat exchanger/absorber heat exchange, regeneration, and resorption/desorption, in combination with the NH{sub 3}/H{sub 2}O/LiBr ternary absorption fluid mixture or with the NH{sub 3}/H{sub 2}O binary solution. Based upon these conclusions, the recommendation was made to proceed to Phase II, the laboratory breadboard proof-of- concept.
SUFFICIENT WEIGHTED COMPLEMENTARITY PROBLEMS 1 ...
2014-10-02T23:59:59.000Z
Ann. Math. Statist., 30:165168, 1959. [8] R. M. Freund. Projective transformations for interior-point algorithms, and a superlinearly convergent algorithm for the...
Alstone, Peter; Jacobson, Arne; Mills, Evan
2010-08-26T23:59:59.000Z
Efforts to promote rechargeable electric lighting as a replacement for fuel-based light sources in developing countries are typically predicated on the notion that lighting service levels can be maintained or improved while reducing the costs and environmental impacts of existing practices. However, the extremely low incomes of those who depend on fuel-based lighting create a need to balance the hypothetically possible or desirable levels of light with those that are sufficient and affordable. In a pilot study of four night vendors in Kenya, we document a field technique we developed to simultaneously measure the effectiveness of lighting service provided by a lighting system and conduct a survey of lighting service demand by end-users. We took gridded illuminance measurements across each vendor's working and selling area, with users indicating the sufficiency of light at each point. User light sources included a mix of kerosene-fueled hurricane lanterns, pressure lamps, and LED lanterns.We observed illuminance levels ranging from just above zero to 150 lux. The LED systems markedly improved the lighting service levels over those provided by kerosene-fueled hurricane lanterns. Users reported that the minimum acceptable threshold was about 2 lux. The results also indicated that the LED lamps in use by the subjects did not always provide sufficient illumination over the desired retail areas. Our sample size is much too small, however, to reach any conclusions about requirements in the broader population. Given the small number of subjects and very specific type of user, our results should be regarded as indicative rather than conclusive. We recommend replicating the method at larger scales and across a variety of user types and contexts. Policymakers should revisit the subject of recommended illuminance levels regularly as LED technology advances and the price/service balance point evolves.
No material is "fire proof." However, the proper use and assembly of fire-rated building materials
General No material is "fire proof." However, the proper use and assembly of fire-rated building materials can reduce a fire's spread and lengthen the amount of time it takes for a home to ignite and burn. Structural assembly is the process of layering materials when building exterior walls and roof. Your home
No material is "fire proof." However, the proper use and assembly of fire-rated building materials
General No material is "fire proof." However, the proper use and assembly of fire-rated building materials can reduce a fire's spread, and extend the amount of time it takes for a home to ignite and burn your home. However, radiant energy can eventually ignite materials behind the window even with glass
Though no material is "fire proof," the proper use and assembly of fire-rated building materials
General Though no material is "fire proof," the proper use and assembly of fire-rated building materials can reduce a fire's spread, and lengthen the amount of time it takes for a home to ignite and burn. Structural assembly is the layering of building materials. Decks are a very popular, well-used feature
A Proof of Concept Implementation of SSL/TLS Session-Aware User Authentication (TLS-SA)
Basin, David
A Proof of Concept Implementation of SSL/TLS Session-Aware User Authentication (TLS-SA) Rolf, CH-8005 Zurich Abstract Most SSL/TLS-based e-commerce applications employ con- ventional mechanisms for user authentication. These mechanisms--if de- coupled from SSL/TLS session establishment
MasterProof The Proton-Driven Rotor of ATP Synthase: Ohmic Conductance (10 fS),
Steinhoff, Heinz-Jrgen
MasterProof The Proton-Driven Rotor of ATP Synthase: Ohmic Conductance (10 fS), and Absence ABSTRACT The membrane portion of F0F1-ATP synthase, F0, translocates protons by a rotary mechanism. Proton conduction by F0 was studied in chromatophores of the photosynthetic bacterium Rhodobacter capsulatus
Carati, Andrea
solution. The cyclic operation allows us to extract a surplus of energy, at the expense of the free energyProof of concept of a zinc-silver battery for the extraction of energy from a concentration power (SGP) is the production of renewable and clean power from naturally available water reservoirs
Means and method for vapor generation
Carlson, Larry W. (Oswego, IL)
1984-01-01T23:59:59.000Z
A liquid, in heat transfer contact with a surface heated to a temperature well above the vaporization temperature of the liquid, will undergo a multiphase (liquid-vapor) transformation from 0% vapor to 100% vapor. During this transition, the temperature driving force or heat flux and the coefficients of heat transfer across the fluid-solid interface, and the vapor percentage influence the type of heating of the fluid--starting as "feedwater" heating where no vapors are present, progressing to "nucleate" heating where vaporization begins and some vapors are present, and concluding with "film" heating where only vapors are present. Unstable heating between nucleate and film heating can occur, accompanied by possibly large and rapid temperature shifts in the structures. This invention provides for injecting into the region of potential unstable heating and proximate the heated surface superheated vapors in sufficient quantities operable to rapidly increase the vapor percentage of the multiphase mixture by perhaps 10-30% and thereby effectively shift the multiphase mixture beyond the unstable heating region and up to the stable film heating region.
Construction What Does it Mean To Me?What Does it Mean To Me?
Wechsler, Risa H.
The LCLS Construction Project: What Does it Mean To Me?What Does it Mean To Me? #12;Construction Site Interstate 280 SLAC Front Gate Construction Traffic 0 100 200 VehiclesperDay Months During Construction 2006-2008 LCLS Construction Traffic Cars Trucks 300 Sept.-N ov. D ec.-Feb.M arch-M ay June-O ct. N
SIMPSON, B.C.
1999-08-12T23:59:59.000Z
This document presents the technical basis for closure of Defense Nuclear Facilities Safety Board (DNFSB) Recommendation 93-5 Implementation Plan milestone 5.6.3.13, ''Core sample all tanks by 2002'' (DOE-RL 1996). The milestone was based on the need for characterization data to ensure safe storage of the waste, to operate the tanks safely, and to plan and implement retrieval and processing of the waste. Sufficient tank characterization data have been obtained to ensure that existing controls are adequate for safe storage of the waste in the 177 waste tanks at the Hanford Site. In addition, a process has been developed, executed, and institutionalized to systemically identify information needs, to integrate and prioritize the needs, and to reliably obtain and analyze the associated samples. This document provides a technical case that the remaining 45 incompletely sampled tanks no longer require sampling to support the intent of the Implementation Plan milestone. Sufficient data have been obtained to close the Unreviewed Safety Questions (USQs), and to ensure that existing hazard controls are adequate and appropriately applied. However, in the future, additional characterization of tanks at the site will be required to support identified information needs. Closure of this milestone allows sampling and analytical data to be obtained in a manner that is consistent with the integrated priority process.
Marcin Pawlowski
2010-09-21T23:59:59.000Z
We show that monogamy of Bell's inequality violations, which is strictly weaker condition than no-signaling is enough to prove security of quantum key distribution. We derive our results for a whole class of monogamy constraints and generalize our results to any theory that communicating parties may have access to. Some of these theories do not respect no-signaling principle yet still allow for secure communication. This proves that no-signaling is only a sufficient condition for the possibility of secure communication, but not the necessary one. We also present some new qualitative results concerning the security of existing quantum key distribution protocols.
Hierarchical k-Means for Unsupervised Learning Harry Gifford
Treuille, Adrien
Hierarchical k-Means for Unsupervised Learning Harry Gifford Carnegie Mellon University Abstract In this paper we investigate how to accelerate k-means based unsupervised learning algorithms with hierar- chical k-means. We show that hierarchical k-means significantly speeds up k-means based learning
GSOD Based Daily Global Mean Surface Temperature and Mean Sea Level Air Pressure (1982-2011)
Xuan Shi, Dali Wang
2014-05-05T23:59:59.000Z
This data product contains all the gridded data set at 1/4 degree resolution in ASCII format. Both mean temperature and mean sea level air pressure data are available. It also contains the GSOD data (1982-2011) from NOAA site, contains station number, location, temperature and pressures (sea level and station level). The data package also contains information related to the data processing methods
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
Patzek, Tadeusz W.
Poland self-sufficient in natural gas?", which will be published in final form in a special issue-4296 Can hydraulic fracturing make Poland self-sufficient in natural gas? Kjell Alekletta,b,* , Tadeusz to be able to replace gas from Russia with domestic natural gas production and eventually to become self
Fast k-means algorithm clustering
Salman, Raied; Li, Qi; Strack, Robert; Test, Erik
2011-01-01T23:59:59.000Z
k-means has recently been recognized as one of the best algorithms for clustering unsupervised data. Since k-means depends mainly on distance calculation between all data points and the centers, the time cost will be high when the size of the dataset is large (for example more than 500millions of points). We propose a two stage algorithm to reduce the time cost of distance calculation for huge datasets. The first stage is a fast distance calculation using only a small portion of the data to produce the best possible location of the centers. The second stage is a slow distance calculation in which the initial centers used are taken from the first stage. The fast and slow stages represent the speed of the movement of the centers. In the slow stage, the whole dataset can be used to get the exact location of the centers. The time cost of the distance calculation for the fast stage is very low due to the small size of the training data chosen. The time cost of the distance calculation for the slow stage is also mi...
Status of proof-of-principle experiment for coherent electron cooling
Pinayev I.; Belomestnykh, S.; Bengtsson, J.; Ben-Zvi, I.; Elizarov, A. et al
2012-05-20T23:59:59.000Z
Coherent electron cooling (CEC) has a potential to significantly boost luminosity of high-energy, high-intensity hadron colliders. To verify the concept we conduct proof-of-the-principle experiment at RHIC. In this paper, we describe the current experimental setup to be installed into 2 o'clock RHIC interaction regions. We present current design, status of equipment acquisition and estimates for the expected beam parameters. We use a dogleg to merge the electron and ion beams. The ions 'imprint' their distribution into the electron beam via a space charge density modulation. The modulation is amplified in an FEL comprised of a 7-m long helical wiggler. The ions are co-propagating with electron beam through the FEL. The ion's average velocity is matched to the group velocity of the wave-packet of e-beam density modulation in the FEL. A three-pole wiggler at the exit of the FEL tune the phase of the wave-packet so the ion with the central energy experience the maximum of the e-beam density modulation, where electric field is zero. The time-of-flight dependence on ion's provides for the electrical field caused by the density modulation to reduce energy spread of the ion beam. The used electron beam is bent off the ion path and damped.
Proof of Concept Thin Films and Multilayers Toward Enhanced Field Gradients in SRF Cavities
Lukaszew, R.A.; Beringer, D.; Roach, W.M.; Eremeev, G.V.; Valente-Feliciano, A-M.; Reece, C.E.; Xi, X.
2013-09-01T23:59:59.000Z
Due to the very shallow penetration depth of the RF fields, SRF properties are inherently a surface phenomenon involving a material thickness of less than 1 micron thus opening up the possibility of using thin film coatings to achieve a desired performance. The challenge has been to understand the dependence of the SRF properties on the detailed characteristics of real surfaces and then to employ appropriate techniques to tailor these surface properties for greatest benefit. Our aim is to achieve gradients >100 MV/m and no simple material is known to be capable of sustaining this performance. A theoretical framework has been proposed which could yield such behavior [1] and it requires creation of thin film layered structures. I will present our systematic studies on such proof-of-principle samples. Our overarching goal has been to build a basic understanding of key nano-scale film growth parameters for materials that show promise for SRF cavity multilayer coatings and to demonstrate the ability to elevate the barrier for vortex entry in such layered structures above the bulk value of Hc1 for type-II superconductors and thus to sustain higher accelerating fields.
Desulfurization of flue gas by the confined zone dispersion process - Proof-of-concept tests
Abrams, J.Z.; Blake, J.H.; Pennline, H.W.
1986-01-01T23:59:59.000Z
As part of a program to develop more cost-effective approaches to the control of acid rain precursors, the Department of Energy (DOE) is supporting proof-of-concept tests of the Confined Zone Dispersion (CZD) process proposed by Bechtel. This process removes SO/sub 2/ from flue gas by injecting a finely atomized slurry of highly reactive pressure hydrated dolomitic lime into the duct of a utility boiler. A slipstream of flue gas at 300/sup 0/F will be withdrawn from the plant ductwork and will pass through a 130-ft run of 3-ft diameter test duct. A two-fluid atomizer will inject the lime slurry into the upstream end of the test duct. A pilot scale electrostatic precipitator (ESP) will remove reaction products and fly ash before the gas is discharged back into the utility's ESP. An 11-month test program will optimize controllable variables, acquire design data, and demonstrate reliability by a long duration run. Measurements taken will include SO/sub 2/ removal, lime utilization, ESP performance, and characterization of waste solids.
Cryogenic systems for proof of the principle experiment of coherent electron cooling at RHIC
Huang, Yuenian; Belomestnykh, Sergey; Brutus, Jean Clifford; Lederle, Dewey; Orfin, Paul; Skaritka, John; Soria, Victor; Tallerico, Thomas; Than, Roberto [Collider Accelerator Department, Brookhaven National Laboratory, Upton, NY 11973 (United States)
2014-01-29T23:59:59.000Z
The Coherent electron Cooling (CeC) Proof of Principle (PoP) experiment is proposed to be installed in the Relativistic Heavy Ion Collider (RHIC) to demonstrate proton and ion beam cooling with this new technique that may increase the beam luminosity in certain cases, by as much as tenfold. Within the scope of this project, a 112 MHz, 2MeV Superconducting Radio Frequency (SRF) electron gun and a 704 MHz 20MeV 5-cell SRF cavity will be installed at IP2 in the RHIC ring. The superconducting RF electron gun will be cooled in a liquid helium bath at 4.4 K. The 704 MHz 5-cell SRF cavity will be cooled in a super-fluid helium bath at 2.0 K. This paper discusses the cryogenic systems designed for both cavities. For the 112 MHz cavity cryogenic system, a condenser/boiler heat exchanger is used to isolate the cavity helium bath from pressure pulses and microphonics noise sources. For the 704 MHz 5-cell SRF cavity, a heat exchanger is also used to isolate the SRF cavity helium bath from noise sources in the sub-atmospheric pumping system operating at room temperature. Detailed designs, thermal analyses and discussions for both systems will be presented in this paper.
Proof of linear instability of the Reissner-Nordstrm Cauchy horizon under scalar perturbations
Jonathan Luk; Sung-Jin Oh
2015-01-19T23:59:59.000Z
It has long been suggested that solutions to linear scalar wave equation $$\\Box_g\\phi=0$$ on a fixed subextremal Reissner-Nordstr\\"om spacetime with non-vanishing charge are generically singular at the Cauchy horizon. We prove that generic smooth and compactly supported initial data on a Cauchy hypersurface indeed give rise to solutions with infinite nondegenerate energy near the Cauchy horizon in the interior of the black hole. In particular, the solution generically does not belong to $W^{1,2}_{loc}$. This instability is related to the celebrated blue shift effect in the interior of the black hole. The problem is motivated by the strong cosmic censorship conjecture and it is expected that for the full nonlinear Einstein-Maxwell system, this instability leads to a singular Cauchy horizon for generic small perturbations of Reissner-Nordstr\\"om spacetime. Moreover, in addition to the instability result, we also show as a consequence of the proof that Price's law decay is generically sharp along the event horizon.
Going and going : a contemporary search for meaning
Alvarado Beltrn, Elba Fabiola
2012-01-01T23:59:59.000Z
Meaning provides the individual with a sense of a purpose to live, being himself, and feeling at ease. Finding meaning on a daily basis is paramount. Yet, the search is constant since meaning is lost and regained persistently. ...
K-Means+ID3: A Novel Method for Supervised Anomaly Detection by Cascading K-Means
Phoha, Vir V.
K-Means+ID3: A Novel Method for Supervised Anomaly Detection by Cascading K-Means Clustering and ID. Balagani Abstract--In this paper, we present "K-Means+ID3," a method to cascade k-Means clustering network, an active electronic circuit, and a mechanical mass- beam system. The k-Means clustering method
Ahmed Hassan
2004-09-01T23:59:59.000Z
The groundwater flow and radionuclide transport model characterizing the Shoal underground nuclear test has been accepted by the State of Nevada Division of Environmental Protection. According to the Federal Facility Agreement and Consent Order (FFACO) between DOE and the State of Nevada, the next steps in the closure process for the site are then model validation (or postaudit), the proof-of-concept, and the long-term monitoring stage. This report addresses the development of the validation strategy for the Shoal model, needed for preparing the subsurface Corrective Action Decision Document-Corrective Action Plan and the development of the proof-of-concept tools needed during the five-year monitoring/validation period. The approach builds on a previous model, but is adapted and modified to the site-specific conditions and challenges of the Shoal site.
Haegele, Daniel
2008-01-01T23:59:59.000Z
It is shown that the polynomial $\\lambda(t) = {\\rm Tr}[(A + tB)^p]$ has nonnegative coefficients when $p \\leq 7$ and A and B are any two complex positive semidefinite $n \\times n$ matrices with arbitrary $n$. This proofs a general nontrivial case of the Lieb-Seiringer formulation of the Bessis-Moussa-Villani conjecture which is a long standing problem in theoretical physics.
Nina H. Amini; Zibo Miao; Yu Pan; Matthew R. James; Hideo Mabuchi
2015-01-19T23:59:59.000Z
The purpose of this paper is to study the problem of generalizing the Belavkin-Kalman filter to the case where the classical measurement signal is replaced by a fully quantum non-commutative output signal. We formulate a least mean squares estimation problem that involves a non-commutative system as the filter processing the non-commutative output signal. We solve this estimation problem within the framework of non-commutative probability. Also, we find the necessary and sufficient conditions which make these non-commutative estimators physically realizable.
Real-Time Dynamic Brake Assessment Proof of Concept Final Report
Lascurain, Mary Beth [ORNL; Franzese, Oscar [ORNL; Capps, Gary J [ORNL
2011-11-01T23:59:59.000Z
This proof-of-concept research was performed to explore the feasibility of using real-world braking data from commercial motor vehicles to make a diagnosis of brake condition similar to that of the performance-based brake tester (PBBT). This was done by determining the relationship between pressure and brake force (P-BF), compensating for the gross vehicle weight (GVW). The nature of this P-BF relationship (e.g., low braking force for a given brake application pressure) may indicate brake system problems. In order to determine the relationship between brake force and brake application pressure, a few key parameters of duty cycle information were collected. Because braking events are often brief, spanning only a few seconds, a sample rate of 10 Hz was needed. The algorithm under development required brake application pressure and speed (from which deceleration was calculated). Accurate weight estimation was also needed to properly derive the braking force from the deceleration. In order to ensure that braking force was the predominant factor in deceleration for the segments of data used in analysis, the data was screened for grade as well. Also, the analysis needed to be based on pressures above the crack pressure. The crack pressure is the pressure below which the individual brakes are not applied due the nature of the mechanical system. This value, which may vary somewhat from one wheel end to another, is approximately 10 psi. Therefore, only pressures 15 psi and above were used in the analysis. The Department of Energy s Medium Truck Duty Cycle research has indicated that under the real-world circumstances of the test vehicle brake pressures of up to approximately 30 psi can be expected. Several different types of data were collected during the testing task of this project. Constant-pressure stopping tests were conducted at several combinations of brake application pressure (15, 20, 25, and 30 psi), load conditions (moderately and fully laden), and speeds (20 and 30 mph). Data was collected at 10 Hz. Standard and stepped-pressure performance-based brake tests with brake pressure transducers were performed for each loading condition. The stepped-pressure test included the constant-pressure intervals of brake application at 15, 20, 25, and 30 psi. The PBBT data files included 10 Hz streaming data collected during the testing of each axle. Two weeks of real-world duty cycle (driving and braking) data was also collected at 10 Hz. Initial analysis of the data revealed that the data collected in the field (i.e., day-to-day operations) provided the same information as that obtained from the controlled tests. Analysis of the data collected revealed a strong linear relationship between brake application pressure and deceleration for given GVWs. As anticipated, initial speed was not found to be a significant factor in the deceleration-pressure relationship, unlike GVW. The positive results obtained from this proof of concept test point to the need for further research to expand this concept. A second phase should include testing over a wider range of speeds and include medium brake application pressures in addition to the low pressures tested in this research. Testing on multiple vehicles would also be of value. This future phase should involve testing to determine how degradation of braking performance affects the pressure-deceleration relationship.
Direct Proof of Security of Wegman-Carter Authentication with Partially Known Key
Aysajan Abidin; Jan-ke Larsson
2013-03-01T23:59:59.000Z
Information-theoretically secure (ITS) authentication is needed in Quantum Key Distribution (QKD). In this paper, we study security of an ITS authentication scheme proposed by Wegman & Carter, in the case of partially known authentication key. This scheme uses a new authentication key in each authentication attempt, to select a hash function from an Almost Strongly Universal$_2$ hash function family. The partial knowledge of the attacker is measured as the trace distance between the authentication key distribution and the uniform distribution; this is the usual measure in QKD. We provide direct proofs of security of the scheme, when using partially known key, first in the information-theoretic setting and then in terms of witness indistinguishability as used in the Universal Composability (UC) framework. We find that if the authentication procedure has a failure probability $\\epsilon$ and the authentication key has an $\\epsilon'$ trace distance to the uniform, then under ITS, the adversary's success probability conditioned on an authentic message-tag pair is only bounded by $\\epsilon+|\\mT|\\epsilon'$, where $|\\mT|$ is the size of the set of tags. Furthermore, the trace distance between the authentication key distribution and the uniform increases to $|\\mT|\\epsilon'$ after having seen an authentic message-tag pair. Despite this, we are able to prove directly that the authenticated channel is indistinguishable from an (ideal) authentic channel (the desired functionality), except with probability less than $\\epsilon+\\epsilon'$. This proves that the scheme is ($\\epsilon+\\epsilon'$)-UC-secure, without using the composability theorem.
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-01T23:59:59.000Z
The technology of breeding /sup 233/U from /sup 232/Th in a light water reactor is being developed and evaluated by the Westinghouse Bettis Atomic Power Laboratory (BAPL) through operation and examination of the Shippingport Light Water Breeder Reactor (LWBR). Bettis is determining the end-of-life (EOL) inventory of fissile uranium in the LWBR core by nondestructive assay of a statistical sample comprising approximately 500 EOL fuel rods. This determination is being made with an irradiated-fuel assay gauge based on neutron interrogation and detection of delayed neutrons from each rod. The EOL fissile inventory will be compared with the beginning-of-life fissile loading of the LWBR to determine the extent of breeding. In support of the BAPL proof-of-breeding (POB) effort, Argonne National Laboratory (ANL) carried out destructive physical, chemical, and radiometric analyses on 17 EOL LWBR fuel rods that were previously assayed with the nondestructive gauge. The ANL work included measurements on the intact rods; shearing of the rods into pre-designated contiguous segments; separate dissolution of each of the more than 150 segments; and analysis of the dissolver solutions to determine each segment's uranium content, uranium isotopic composition, and loading of selected fission products. This report describes the facilities in which this work was carried out, details operations involved in processing each rod, and presents a comprehensive discussion of uncertainties associated with each result of the ANL measurements. Most operations were carried out remotely in shielded cells. Automated equipment and procedures, controlled by a computer system, provided error-free data acquisition and processing, as well as full replication of operations with each rod. Despite difficulties that arose during processing of a few rod segments, the ANL destructive-assay results satisfied the demanding needs of the parent LWBR-POB program.
Direct liquefaction proof-of-concept program: Final topical report, Bench Run 03 (227-93)
Comolli, A.G.; Pradhan, V.R.; Lee, T.L.K.; Karolkiewicz, W.F.; Popper, G.
1996-12-01T23:59:59.000Z
This report presents the results of bench-scale work, Bench Run PB-03, conducted under the DOE Proof of Concept--Bench Option Program in direct coal liquefaction at Hydrocarbon Technologies, Inc. in Lawrenceville, New Jersey. The Bench Run PB-03 was the third of the nine runs planned in the POC Bench Option Contract between the US DOE and Hydrocarbon Technologies, Inc. The Bench Run PB-03 had multiple goals. These included the evaluation of the effects of dispersed slurry catalyst loadings and types on the performance of two-stage direct coal liquefaction, the effect of HTI`s new iron catalyst, modified with phosphorus, and the evaluation of the effect of recycle solvent hydrotreatment on the overall process performance. PB-03 employed a close-coupled (no interstage separator) configuration of hydroconversion reactors. Other features of PB-03 included the use of an in-line fixed bed hydrotreater for the net product. No significant effects on process performance was found by changing the loadings of iron and molybdenum in the ranges of 1,000--5,000 ppm for iron and 50--100 ppm for molybdenum. However, the modification of HTI`s iron-based gel catalyst with 100 ppm of phosphorous improved the process performance significantly. A newly tested Mo-Carbon dispersed catalyst was not found to be any better than Molyvan-A, which was used during all but one condition of PB-03. Hydrotreatment of part of the recycle solvent was found to have a positive influence on the overall performance.
Cartesian k-means Mohammad Norouzi David J. Fleet
Jepson, Allan D.
Cartesian k-means Mohammad Norouzi David J. Fleet Department of Computer Science University the k-means clustering algorithm is the storage and run- time cost associated with the large numbers of centers. We formulate two such models, Orthogonal k-means and Cartesian k-means. They are closely related
Secure Two-Party k-Means Clustering Rafail Ostrovsky
Ostrovsky, Rafail
Secure Two-Party k-Means Clustering Paul Bunn Rafail Ostrovsky Abstract The k-Means Clustering. To date there have been numerous attempts to create specific multiparty k-means clustering protocols a Two-Party k-Means Clustering Protocol that guarantees privacy, and is more efficient than utilizing
Continuous k-Means Monitoring over Moving Objects
Papadias, Dimitris
Continuous k-Means Monitoring over Moving Objects Zhenjie Zhang, Yin Yang, Anthony K.H. Tung, and Dimitris Papadias Abstract-- Given a dataset P, a k-means query returns k points in space (called centers study continuous k-means computation at a server that monitors a set of moving objects. Re-evaluating k-means
Probabilistic grammar induction from sentences and structured meanings
Kwiatkowski, Thomas Mieczyslaw
2012-06-25T23:59:59.000Z
The meanings of natural language sentences may be represented as compositional logical-forms. Each word or lexicalised multiword-element has an associated logicalform representing its meaning. Full sentential logical-forms ...
Correlation analysis of mean global radiation values with mean brightness values for one year
Kolczynski, Edward Franklin
1971-01-01T23:59:59.000Z
quantities of global radiation, = kb. sin h i oi where i denotes the number of the month (1 to 12), Q. is the individual monthly quantity of global radiation, h . is the solar altitude relat- oi ed to noon of the middle day of the month, and k is the coei... which now exists in the data bank of this field. B. ~Db' t' The objective of the proposed research is to investigate a pos- sible relationship between global radiation, as measured from ground- based instruments, and mean brightness values...
An Efficient K-Means Clustering Algorithm Khaled Alsabti
Scheuermann, Peter
An Efficient K-Means Clustering Algorithm Khaled Alsabti Syracuse University Sanjay Ranka for perform- ing k-means clustering. It organizes all the patterns in a k-d tree structure such that one can the computational speed of the direct k-means algorithm by an order to two orders of magnitude in the total number
Accelerating Exact k-means Algorithms with Geometric Reasoning
Accelerating Exact k-means Algorithms with Geometric Reasoning Dan Pelleg Andrew Moore January 2000 #12;Keywords: computational geometry, classi cation, density estimation, kd- trees, clustering, K-means #12;Abstract We present new algorithms for the k-means clustering problem. They use the kd-tree data
Unsupervised Feature Selection for the k-means Clustering Problem
Drineas, Petros
Unsupervised Feature Selection for the k-means Clustering Problem Christos Boutsidis Department present a novel feature selection algorithm for the k-means clustering problem. Our algorithm any -approximate k-means algorithm ( 1) on the features selected using our method, we can find a (1
On the performance of bisecting K-means and PDDP *
Boley, Daniel
1 On the performance of bisecting K-means and PDDP * Sergio M. Savaresi and Daniel L. Boley 1 in the last two decades ([13]), in this paper we will focus on two techniques: · the bisecting K-means;2 K-means is probably the most celebrated and widely used clustering technique; hence it is the best
Scalable K-Means by Ranked Retrieval Andrei Broder
Cortes, Corinna
Scalable K-Means by Ranked Retrieval Andrei Broder Google 1600 Amphitheater Parkway Mountain View@google.com Srihari Venkatesan xAd 440 North Wolfe Road Sunnyvale, CA 94085 ABSTRACT The k-means clustering algorithm, a prohibitive cost when the number of clusters is large. In this paper we show how to reduce the cost of the k-means
k-Means has Polynomial Smoothed Complexity David Arthur
Al Hanbali, Ahmad
k-Means has Polynomial Smoothed Complexity David Arthur Department of Computer Science Stanford-- The k-means method is one of the most widely used clustering algorithms, drawing its popularity from its to close the gap between practical performance and theoretical analysis, the k-means method has been
Towards Explaining the Speed of k-Means Bodo Manthey
Al Hanbali, Ahmad
Towards Explaining the Speed of k-Means Bodo Manthey University of Twente, Department of Applied Mathematics P. O. Box 217, 7500 AE Enschede, The Netherlands b.manthey@utwente.nl The k-means method exponential worst-case running-time. To explain the speed of the k-means method, a smoothed analysis has been
Graph Based K-Means Clustering Laurent Galluccioa,c
Paris-Sud XI, Universit de
Graph Based K-Means Clustering Laurent Galluccioa,c , Olivier Michelb , Pierre Comona , Alfred O the generalized Lloyd algorithm, also known as k-means, which circumvents its well known initialization problems for estimating of the number of clusters present and determining good centroid locations to initialize the k-means
The global k-means clustering algorithm Aristidis Likasa,
Paris-Sud XI, Universit de
The global k-means clustering algorithm Aristidis Likasa, Nikos Vlassisb Jakob J. Verbeekb,jverbeek}@science.uva.nl Abstract We present the global k-means algorithm which is an incremental approach to clustering (with N being the size of the data set) executions of the k-means algorithm from suitable initial
Convergence of the k-Means Minimization Problem using -Convergence
Theil, Florian
Convergence of the k-Means Minimization Problem using -Convergence Matthew Thorpe1 , Florian Theil1-ES, Luton, LU1 3PG, United Kingdom Abstract The k-means method is an iterative clustering algorithm which space as the observed data. By relaxing this requirement, it is possible to apply the k-means method
Normalized k-means clustering of hyper-rectangles
Paris-Sud XI, Universit de
Normalized k-means clustering of hyper-rectangles Marie Chavent Mathematiques Appliquees de-rectangles and their use in two normalized k-means clustering algorithms. Keywords: Interval data, Standardization [Diday, 1988], [Bock and Diday, 2000]. Several works on k-means clustering of interval data sets have
Stability of K-Means Clustering Alexander Rakhlin
Rakhlin, Alexander "Sasha"
Stability of K-Means Clustering Alexander Rakhlin Department of Computer Science UC Berkeley phrase K-means clustering as an empirical risk minimization procedure over a class HK and explicitly calculate the covering number for this class. Next, we show that stability of K-means clustering
Urban Form Energy Use and Emissions in China: Preliminary Findings and Model Proof of Concept
Aden, Nathaniel; Qin, Yining; Fridley, David
2010-12-15T23:59:59.000Z
Urbanization is reshaping China's economy, society, and energy system. Between 1990 and 2008 China added more than 300 million new urban residents, bringing the total urbanization rate to 46%. The ongoing population shift is spurring energy demand for new construction, as well as additional residential use with the replacement of rural biomass by urban commercial energy services. This project developed a modeling tool to quantify the full energy consequences of a particular form of urban residential development in order to identify energy- and carbon-efficient modes of neighborhood-level development and help mitigate resource and environmental implications of swelling cities. LBNL developed an integrated modeling tool that combines process-based lifecycle assessment with agent-based building operational energy use, personal transport, and consumption modeling. The lifecycle assessment approach was used to quantify energy and carbon emissions embodied in building materials production, construction, maintenance, and demolition. To provide more comprehensive analysis, LBNL developed an agent-based model as described below. The model was applied to LuJing, a residential development in Jinan, Shandong Province, to provide a case study and model proof of concept. This study produced results data that are unique by virtue of their scale, scope and type. Whereas most existing literature focuses on building-, city-, or national-level analysis, this study covers multi-building neighborhood-scale development. Likewise, while most existing studies focus exclusively on building operational energy use, this study also includes embodied energy related to personal consumption and buildings. Within the boundaries of this analysis, food is the single largest category of the building energy footprint, accounting for 23% of the total. On a policy level, the LCA approach can be useful for quantifying the energy and environmental benefits of longer average building lifespans. In addition to prospective analysis for standards and certification, urban form modeling can also be useful in calculating or verifying ex post facto, bottom-up carbon emissions inventories. Emissions inventories provide a benchmark for evaluating future outcomes and scenarios as well as an empirical basis for valuing low-carbon technologies. By highlighting the embodied energy and emissions of building materials, the LCA approach can also be used to identify the most intensive aspects of industrial production and the supply chain. The agent based modeling aspect of the model can be useful for understanding how policy incentives can impact individual behavior and the aggregate effects thereof. The most useful elaboration of the urban form assessment model would be to further generalize it for comparative analysis. Scenario analysis could be used for benchmarking and identification of policy priorities. If the model is to be used for inventories, it is important to disaggregate the energy use data for more accurate emissions modeling. Depending on the policy integration of the model, it may be useful to incorporate occupancy data for per-capita results. On the question of density and efficiency, it may also be useful to integrate a more explicit spatial scaling mechanism for modeling neighborhood and city-level energy use and emissions, i.e. to account for scaling effects in public infrastructure and transportation.
Brown, Benjamin P.; Zweibel, Ellen G. [Department of Astronomy, University of Wisconsin, Madison, WI 53706-1582 (United States); Vasil, Geoffrey M., E-mail: bpbrown@astro.wisc.edu [Canadian Institute for Theoretical Astrophysics, University of Toronto, 60 St. George Street, Toronto, ON M5S 3H8 (Canada)
2012-09-10T23:59:59.000Z
Typical flows in stellar interiors are much slower than the speed of sound. To follow the slow evolution of subsonic motions, various sound-proof equations are in wide use, particularly in stellar astrophysical fluid dynamics. These low-Mach number equations include the anelastic equations. Generally, these equations are valid in nearly adiabatically stratified regions like stellar convection zones, but may not be valid in the sub-adiabatic, stably stratified stellar radiative interiors. Understanding the coupling between the convection zone and the radiative interior is a problem of crucial interest and may have strong implications for solar and stellar dynamo theories as the interface between the two, called the tachocline in the Sun, plays a crucial role in many solar dynamo theories. Here, we study the properties of gravity waves in stably stratified atmospheres. In particular, we explore how gravity waves are handled in various sound-proof equations. We find that some anelastic treatments fail to conserve energy in stably stratified atmospheres, instead conserving pseudo-energies that depend on the stratification, and we demonstrate this numerically. One anelastic equation set does conserve energy in all atmospheres and we provide recommendations for converting low-Mach number anelastic codes to this set of equations.
Vector Quantization: L'algorithme k-Means Frank NIELSEN
Nielsen, Frank
INF555 TD5 Vector Quantization: L'algorithme k-Means Frank NIELSEN nielsen@lix.polytechnique.fr 13 pixel en un point 3D ´equivalent (r, g, b) dans l'espace des couleurs. · Implanter l'algorithme k-means points 3D des couleurs des pixels et les diff´erentes it´erations de l'algorithme k-means. · Utiliser l
Vector Quantization: L'algorithme k-Means Frank NIELSEN
Nielsen, Frank
INF555 TD5 Vector Quantization: L'algorithme k-Means Frank NIELSEN nielsen@lix.polytechnique.fr 12) dans l'espace des couleurs. · Implanter l'algorithme k-means pour trouver une table des couleurs couleurs des pixels et les diff´erentes it´erations de l'algorithme k-means. · Utiliser l'initialisation de
Robust seed selection algorithm for k-means type algorithms
Pavan, K Karteeka; Rao, A V Dattatreya; Sridhar, G R; 10.5121/ijcsit.2011.3513
2012-01-01T23:59:59.000Z
Selection of initial seeds greatly affects the quality of the clusters and in k-means type algorithms. Most of the seed selection methods result different results in different independent runs. We propose a single, optimal, outlier insensitive seed selection algorithm for k-means type algorithms as extension to k-means++. The experimental results on synthetic, real and on microarray data sets demonstrated that effectiveness of the new algorithm in producing the clustering results
Experimental Proof of the Existence of a Bifurcation Process During the undrained test in Clay
P. Evesque; M. Hattab
2005-07-05T23:59:59.000Z
Recent papers, based on a new simple incremental modelling which assumes an "isotropic" response, predicts that the trajectory followed during an undrained compression test exhibits a bifurcation process when the stress field arrives at q=M'p', where q stands for the deviatoric stress, p' for the mean stress and M' is a coefficient describing friction. This indicates a discontinuous change of solution when arriving at q=M'p'. This paper looks at experimental data on dense sample obtained at p'=constant, and it shows that the trajectory (p'=constant, v=constant) does continue to exist at and beyond the q=M'p' plane. So, this demonstrates the validity of the analysis which uses the bifurcation theory and this strengthens the proposed modelling. Indeed, this demonstrates the reality of the bifurcation process during undrained compression. Pacs # : 5.40 ; 45.70 ; 62.20 ; 83.70.Fn
Approximating K-means-type clustering via semidefinite programming
Jiming Peng
2005-04-22T23:59:59.000Z
Apr 22, 2005 ... Approximating K-means-type clustering via semidefinite ... Abstract: One of the fundamental clustering problems is to assign $n$ points into $k$...
Measuring Meaning on the World-Wide Web
Aerts, Diederik
2010-01-01T23:59:59.000Z
We introduce the notion of the 'meaning bound' of a word with respect to another word by making use of the World-Wide Web as a conceptual environment for meaning. The meaning of a word with respect to another word is established by multiplying the product of the number of webpages containing both words by the total number of webpages of the World-Wide Web, and dividing the result by the product of the number of webpages for each of the single words. We calculate the meaning bounds for several words and analyze different aspects of these by looking at specific examples.
Optimization Online - Performance-based regularization in mean ...
Gah-Yi Vahn
2014-11-03T23:59:59.000Z
Nov 3, 2014 ... Performance-based regularization in mean-CVaR portfolio optimization. Gah-Yi Vahn(gvahn ***at*** london.edu) Noureddine El...
Kierstead, Hal
.2. Treasure Island. Here is a challenge problem to try: Exploring the attic of the house that has been in your
Kierstead, Hal
as it is presented. . . . " 1. August 22, 2013 1.1. Treasure Island. Exploring the attic of the house that has been
Liu Weitao; Sun Shihai; Liang Linmei; Yuan Jianmin [Department of Physics, College of Science, National University of Defense Technology, Changsha, 410073 (China)
2011-04-15T23:59:59.000Z
Any imperfections in a practical quantum key distribution (QKD) system may be exploited by an eavesdropper to collect information about the key without being discovered. We propose a modified photon-number-splitting attack scheme against QKD systems based on weak laser pulses taking advantage of possible multiphoton pulses. Proof-of-principle experiments are demonstrated. The results show that the eavesdropper can get information about the key generated between the legitimate parties without being detected. Since the equivalent attenuation introduced by the eavesdropper for pulses of different average photon numbers are different, the decoy-state method is effective in fighting against this kind of attack. This has also been proven in our experiments.
Shuji Watanabe
2008-08-26T23:59:59.000Z
We deal with the gap function and the thermodynamical potential in the BCS-Bogoliubov theory of superconductivity, where the gap function is a function of the temperature $T$ only. We show that the squared gap function is of class $C^2$ on the closed interval $[ 0, T_c ]$ and point out some more properties of the gap function. Here, $T_c$ stands for the transition temperature. On the basis of this study we then give, examining the thermodynamical potential, a mathematical proof that the transition to a superconducting state is a second-order phase transition. Furthermore, we obtain a new and more precise form of the gap in the specific heat at constant volume from a mathematical point of view.
Modahl, R.J.; Hayes, F.C. [Trane Co., La Crosse, WI (United States). Applied Unitary/Refrigeration Systems Div.
1992-03-01T23:59:59.000Z
The overall objectives of this project are to evaluate, develop, and proof-test advanced absorption refrigeration cycles that are applicable to residential and commercial heat pumps for space conditioning. The heat pump system is to be direct-fired with natural gas and is to use absorption working fluids whose properties are known. Target coefficients of performance (COPs) are 1.6 at 47{degrees}F and 1.2 at 17{degrees} in the heating mode, and 0.7 at 95{degree}F in the cooling mode, including the effect of flue losses. The project is divided into three phases. Phase I entailed the analytical evaluation of advanced cycles and included the selection of preferred concepts for further development. Phase II involves the development and testing of critical components and of a complete laboratory breadboard version of the selected system. Phase III calls for the development of a prototype unit and is contingent on the successful completion of Phase II. This report covers Phase I work on the project. In Phase 1, 24 advanced absorption cycle/fluid combinations were evaluated, and computer models were developed to predict system performance. COP, theoretical pump power, and internal heat exchange were calculated for each system, and these calculations were used as indicators of operating and installed costs in order to rank the relative promise of each system. The highest ranking systems involve the cycle concept of absorber/generator heat exchange, generator heat exchanger/absorber heat exchange, regeneration, and resorption/desorption, in combination with the NH{sub 3}/H{sub 2}O/LiBr ternary absorption fluid mixture or with the NH{sub 3}/H{sub 2}O binary solution. Based upon these conclusions, the recommendation was made to proceed to Phase II, the laboratory breadboard proof-of- concept.
Fuel cell generator containing a gas sealing means
Makiel, Joseph M. (Monroeville, PA)
1987-01-01T23:59:59.000Z
A high temperature solid electrolyte electrochemical generator is made, operating with flowing fuel gas and oxidant gas, the generator having a thermal insulation layer, and a sealing means contacting or contained within the insulation, where the sealing means is effective to control the contact of the various gases utilized in the generator.
A Study of the Mean Field Approach to Knapsack Problems
Lunds Universitet,
with linear programming and mean field components is showed to further improve the performance and summations with more than 7 bits (including one sign bit). ffl Linear programming (LP) based on the simplex to multiple knapsacks and generalized assignment problems with Potts mean field equations governing
Ris0-R-828(EN) Practical Means for
Ris0-R-828(EN) Practical Means for Decontamination 9 Years after a Nuclear Accident Editors J. Roed Means for Decontamination 9 Years after a Nuclear Accident Editors J. Roed, K.G. Andersson, H. Prip Ris0) of the individual examined tech- niques for decontamination or dose reduction in various different types
Higher genus arithmetic-geometric means Frazer Jarvis
Jarvis, Frazer
, then there is no obvious canonical choice of the square root in the geometric mean. Nonetheless, Gauss was able to duplication formulae for genus 2 theta functions, enabling us to give a generalisation of Gauss's work In this paper, we recall the notion of arithmetic-geometric mean (AGM), due to Gauss, and suggest a definition
V. Baladi; M. Benedicks; V. Maume-Deschamps
2010-08-30T23:59:59.000Z
Weixiao Shen pointed out to us that the proof of Theorem 3.2 of our 2002 paper in Ann ENS was flawed, and he kindly provided an argument to fix this proof. (We do not make claims on the lower bounds for the stationary density anymore.)
Allard, William K.
using only a compass and unmarked straightedge. (See Project 1, Chapter I, p. 35, and the references given there.) 2. Report on the proof that it is impossible to square a circle using only a compass on the theorem of Mohr and Mascheroni that all Euclidean constructions of points can be made with a compass alone
McGaughey, Alan
FIBREEZE: LEAK-PROOF HOLLOW FIBERS for ARTIFICIAL LUNGS Alexis Zambino, Corina Ramirez, Maddie Technology Center ARTIFICIAL LUNG BASICS CLINICAL NEED & PROBLEM NOVELTY & INNOVATION DESCRIPTION OF MARKET and characterization Mr. Dave Skoog for his immense support, time, help, and patience Lung disease is one
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
White, Douglas R.
longer than 400 words will be cut by the editor. J. R. Statist. Soc. A (2007) 170, Part 2, pp. 122 Model statistical language, latentnet, is available to analyse data by using the model. Keywords: Bayes factor; Dyad© 2006 Royal Statistical Society 09641998/07/170000 Proofs subject to correction
Mills, Kevin
Appendix B. Automobile Cruise Control and Monitoring System Case Study This appendix presents an application of the proof-of-concept prototype, CODA, described in Chapter 10, to an automobile cruise control inferences about the terminators. Second, some of the elements in the diagram are named 1 The automobile
Beyond the mean field in the particle-vibration coupling scheme
M. Baldo; P. F. Bortignon; G. Colo'; D. Rizzo; L. Sciacchitano
2015-07-09T23:59:59.000Z
The Energy Density Functional theory is one of the most used methods developed in nuclear structure. It is based on the assumption that the energy of the ground state is a functional only of the density profile. The method is extremely successful within the effective force approach, noticeably the Skyrme or Gogny forces, in reproducing the nuclear binding energies and other bulk properties along the whole mass table. Although the Density Functional is in this case represented formally as the Hartree-Fock mean field of an effective force, the corresponding single-particle states in general do not reproduce the phenomenology particularly well. To overcome this difficulty, a strategy has been developed where the effective force is adjusted to reproduce directly the single particle energies, trying to keep the ground state energy sufficiently well reproduced. An alternative route, that has been developed along several years, for solving this problem is to introduce the mean field fluctuations, as represented by the collective vibrations of the nuclear system, and their influence on the single particle dynamics and structure. This is the basis of the particle-vibration coupling model. In this paper we present a formal theory of the particle-vibration coupling model based on the Green' s function method. The theory extends to realistic effective forces the macroscopic particle-vibration coupling models and the (microscopic) Nuclear Field Theory. It is formalized within the functional derivative approach to many-body theory. An expansion in diagrams is devised for the single particle self-energy and the phonon propagator. Critical aspects of the particle-vibration coupling model are analysed in general. Applications at the lowest order of the expansion are presented and discussed.
Divergence of Lubkin's series for a quantum subsystem's mean entropy
Jacob P Dyer
2014-09-17T23:59:59.000Z
In 1978, Lubkin proposed a method of approximating the mean von Neumann entropy for a subsystem of a finite-dimensional quantum system in an overall pure state by expanding the entropy as a series in terms of the mean trace of powers of the system's reduced density operator, but the convergence of this series was never established. We find an exact closed form expression for the mean traces, which enables us to prove that the series converges if and only if the system's dimension $m\\le2$, in spite of the fact that Lubkin's proposed approximation for the entropy is now known to be correct.
Harmonic mean, the Gamma factor and Speed of Light
Chandru Iyer
2008-11-17T23:59:59.000Z
The relationship between the harmonic mean and special relativity is concisely elucidated. The arguments in favor and against SRT are explored. It is shown that the ratio of the speed of light to the harmonic mean of the onward and return speeds of light in a moving frame under Newtonian mechanics, when equitably distributed between space and time as a correction, leads to the Lorentz transformation. This correction implies an apparent contraction of objects and time dilation. However, the symmetry of the onward and inverse transformations give a different meaning to the gamma factor
Optimization Online - Efficient Cardinality/Mean-Variance Portfolios
R. P. Brito
2012-03-03T23:59:59.000Z
Mar 3, 2012 ... Efficient Cardinality/Mean-Variance Portfolios. R. P. Brito(rpedro.brito ***at*** gmail.com) L. N. Vicente(lnv ***at*** mat.uc.pt). Abstract: A...
Generating Tensor Representation from Concept Tree in Meaning Based Search
Panigrahy, Jagannath
2011-08-08T23:59:59.000Z
to a representation that can be stored and compared efficiently on computers. Meaning of objects can be adequately captured in terms of a hierarchical composition structure called concept tree. This thesis describes the design and development...
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ø
Learning manifolds with k-means and k-flats
Canas, Guillermo D.
We study the problem of estimating a manifold from random samples. In particular, we consider piecewise constant and piecewise linear estimators induced by k-means and k-?ats, and analyze their performance. We extend ...
Thermal Conductivity Spectroscopy Technique to Measure Phonon Mean Free Paths
Schmidt, A. J.
Size effects in heat conduction, which occur when phonon mean free paths (MFPs) are comparable to characteristic lengths, are being extensively explored in many nanoscale systems for energy applications. Knowledge of MFPs ...
Preliminary Assessment of Alternative Navigation Means for Civil Aviation
Stanford University
, particularly where it is relied upon in critical infrastructure. The Federal Aviation Administration (FAA Leo Eldredge, Mitchell Narins, Federal Aviation Administration ABSTRACT The Federal Aviation Administration (FAA) is looking to develop alternative navigation means to global navigation satellite systems
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
Early Experience with a Hybrid Processor: K-Means Clustering
Theiler, James
of con#12;g- urable logic. Keywords: con#12;gurable system on a chip, CSOC, Excalibur, K-means Clustering), with minimal synchronization between the two. Recently, hybrid Con#12;gurable System on a Chip (CSOC
Dynamics of polymers: A mean-field theory
Fredrickson, Glenn H. [Department of Chemical Engineering, University of California, Santa Barbara, California 93106 (United States) [Department of Chemical Engineering, University of California, Santa Barbara, California 93106 (United States); Materials Research Laboratory, University of California, Santa Barbara, California 93106 (United States); Department of Materials, University of California, Santa Barbara, California 93106 (United States); Orland, Henri [Institut de Physique Thorique, CE-Saclay, CEA, F-91191 Gif-sur-Yvette Cedex (France)] [Institut de Physique Thorique, CE-Saclay, CEA, F-91191 Gif-sur-Yvette Cedex (France)
2014-02-28T23:59:59.000Z
We derive a general mean-field theory of inhomogeneous polymer dynamics; a theory whose form has been speculated and widely applied, but not heretofore derived. Our approach involves a functional integral representation of a Martin-Siggia-Rose (MSR) type description of the exact many-chain dynamics. A saddle point approximation to the generating functional, involving conditions where the MSR action is stationary with respect to a collective density field ? and a conjugate MSR response field ?, produces the desired dynamical mean-field theory. Besides clarifying the proper structure of mean-field theory out of equilibrium, our results have implications for numerical studies of polymer dynamics involving hybrid particle-field simulation techniques such as the single-chain in mean-field method.
Recovering Industrial Waste Heat by the Means of Thermoelectricity
Kjelstrup, Signe
as a heat pump) to the surroundings. This heat was interpreted as the lost work of the device. The aimRecovering Industrial Waste Heat by the Means of Thermoelectricity Spring 2010 Department
Eddy-mean flow interactions in western boundary current jets
Waterman, Stephanie N
2009-01-01T23:59:59.000Z
This thesis examines the nature of eddy-mean flow interactions in western boundary current jets and recirculation gyre dynamics from both theoretical and observational perspectives. It includes theoretical studies of ...
k-means Approach to the Karhunen-Loeve Transform
Misztal, Krzysztof; Tabor, Jacek
2011-01-01T23:59:59.000Z
We present a simultaneous generalization of the well-known Karhunen-Loeve (PCA) and k-means algorithms. The basic idea lies in approximating the data with k affine subspaces of a given dimension n. In the case n=0 we obtain the classical k-means, while for k=1 we obtain PCA algorithm. We show that for some data exploration problems this method gives better result then either of the classical approaches.
Vasil, Geoffrey M.; Lecoanet, Daniel [Department of Astronomy and Theoretical Astrophysics Center, University of California Berkeley, Berkeley, CA 94720 (United States); Brown, Benjamin P.; Zweibel, Ellen G. [Department of Astronomy, University of Wisconsin, Madison, WI 53706-1582 (United States); Wood, Toby S., E-mail: vasil@cita.utoronto.ca [Department of Applied Mathematics and Statistics, Baskin School of Engineering, University of California, Santa Cruz, CA (United States)
2013-08-20T23:59:59.000Z
The speed of sound greatly exceeds typical flow velocities in many stellar and planetary interiors. To follow the slow evolution of subsonic motions, various sound-proof models attempt to remove fast acoustic waves while retaining stratified convection and buoyancy dynamics. In astrophysics, anelastic models typically receive the most attention in the class of sound-filtered stratified models. Generally, anelastic models remain valid in nearly adiabatically stratified regions like stellar convection zones, but may break down in strongly sub-adiabatic, stably stratified layers common in stellar radiative zones. However, studying stellar rotation, circulation, and dynamos requires understanding the complex coupling between convection and radiative zones, and this requires robust equations valid in both regimes. Here we extend the analysis of equation sets begun in Brown et al., which studied anelastic models, to two types of pseudo-incompressible models. This class of models has received attention in atmospheric applications, and more recently in studies of white-dwarf supernova progenitors. We demonstrate that one model conserves energy but the other does not. We use Lagrangian variational methods to extend the energy conserving model to a general equation of state, and dub the resulting equation set the generalized pseudo-incompressible (GPI) model. We show that the GPI equations suitably capture low-frequency phenomena in both convection and radiative zones in stars and other stratified systems, and we provide recommendations for converting low-Mach number codes to this equation set.
Nuclear Symmetry Energy in Relativistic Mean Field Theory
Shufang Ban; Jie Meng; Wojciech Satula; Ramon A. Wyss
2005-09-12T23:59:59.000Z
The Physical origin of the nuclear symmetry energy is studied within the relativistic mean field (RMF) theory. Based on the nuclear binding energies calculated with and without mean isovector potential for several isobaric chains we conform earlier Skyrme-Hartree-Fock result that the nuclear symmetry energy strength depends on the mean level spacing $\\epsilon (A)$ and an effective mean isovector potential strength $\\kappa (A)$. A detaied analysis of isospin dependence of the two components contributing to the nuclear symmetry energy reveals a quadratic dependence due to the mean-isoscalar potential, $\\sim\\epsilon T^2$, and, completely unexpectedly, the presence of a strong linear component $\\sim\\kappa T(T+1+\\epsilon/\\kappa)$ in the isovector potential. The latter generates a nuclear symmetry energy in RMF theory that is proportional to $E_{sym}\\sim T(T+1)$ at variance to the non-relativistic calculation. The origin of the linear term in RMF theory needs to be further explored.
Mean ZZ Ceti pulsation period gauges stellar temperature
Anjum S. Mukadam; M. H. Montgomery; A. Kim; D. E. Winget; S. O. Kepler; J. C. Clemens
2006-12-15T23:59:59.000Z
The mean pulsation period of ZZ Ceti stars increases with decreasing effective temperature as we traverse from the blue to the red edge of the instability strip. This well-established correlation between the mean period and spectroscopic temperature suggests that the mean period could be utilized as a tool to measure the relative temperature of the star independent of spectroscopy. Measuring the pulsation periods of a ZZ Ceti star is a simple, model-independent, and straight forward process as opposed to a spectroscopic determination of its temperature. Internal uncertainties in determining the spectroscopic temperature of a ZZ Ceti star are at least 200K, 15% of the 1350K width of the instability strip. The uncertainties in determining the mean period arise mostly from amplitude modulation in the pulsation spectrum and are smaller than 100s for 91% of the ZZ Ceti stars, temperature indicator rather than conventional spectroscopy. Presently we only claim that the relative temperatures of ZZ Ceti stars derived by using the mean pulsation period are certainly as good as and perhaps about 15% better than spectroscopy.
Stochastic Dimensionality Reduction for K-means Clustering
Boutsidis, Christos; Mahoney, Michael W; Drineas, Petros
2011-01-01T23:59:59.000Z
We study the topic of dimensionality reduction methods for k-means clustering. Dimensionality reduction encompasses the union of two approaches; feature selection and feature extraction. First, feature selection selects a small subset of actual features from the data and then runs the clustering algorithm only on the selected features. Second, feature extraction constructs a small set of new artificial features and then runs the clustering algorithm only on the constructed features. Despite the significance of the problem as well as the wealth of heuristic methods addressing it there exist no provably accurate feature selection methods. On the other hand, two provably accurate feature extraction methods for k-means exist: the first one is randomized and is based on Random Projections; the other, is deterministic and it is based on the Singular Value Decomposition. This paper addresses this shortcoming by presenting the first provably accurate feature selection method for k-means clustering. We also present tw...
Spurious Shell Closures in the Relativistic Mean Field Model
L. S. Geng; J. Meng; H. Toki; W. H. Long; G. Shen
2006-03-10T23:59:59.000Z
Following a systematic theoretical study of the ground-state properties of over 7000 nuclei from the proton drip line to the neutron drip line in the relativistic mean field model [Prog. Theor. Phys. 113 (2005) 785], which is in fair agreement with existing experimental data, we observe a few spurious shell closures, i.e. proton shell closures at Z=58 and Z=92. These spurious shell closures are found to persist in all the effective forces of the relativistic mean field model, e.g. TMA, NL3, PKDD and DD-ME2.
Mean Field Effects In The Quark-Gluon Plasma
Zhi Guang Tan; A. Bonasera
2006-11-20T23:59:59.000Z
A transport model based on the mean free path approach for an interacting meson system at finite temperatures is discussed. A transition to a quark gluon plasma is included within the framework of the MIT bag model. The results obtained compare very well with Lattice QCD calculations when we include a mean field in the QGP phase due to the Debye color screening. In particular the cross over to the QGP at about 175 MeV temperature is nicely reproduced. We also discuss a possible scenario for hadronization which is especially important for temperatures below the QGP phase transition.
Distributed mean curvature on a discrete manifold for Regge calculus
Rory Conboye; Warner A. Miller; Shannon Ray
2015-02-26T23:59:59.000Z
The integrated mean curvature of a simplicial manifold is well understood in both Regge Calculus and Discrete Differential Geometry. However, a well motivated pointwise definition of curvature requires a careful choice of volume over which to uniformly distribute the local integrated curvature. We show that hybrid cells formed using both the simplicial lattice and its circumcentric dual emerge as a remarkably natural structure for the distribution of this local integrated curvature. These hybrid cells form a complete tessellation of the simplicial manifold, contain a geometric orthonormal basis, and are also shown to give a pointwise mean curvature with a natural interpretation as a fractional rate of change of the normal vector.
Double-$?$ hypernuclei in the relativistic mean-field theory
H. Shen; F. Yang; H. Toki
2006-02-14T23:59:59.000Z
We study the properties of double-$\\Lambda$ hypernuclei in the relativistic mean-field theory, which has been successfully used for the description of stable and unstable nuclei. With the meson-hyperon couplings determined by the experimental binding energies of single-$\\Lambda$ hypernuclei, we present a self-consistent calculation of double-$\\Lambda$ hypernuclei in the relativistic mean-field theory, and discuss the influence of hyperons on the nuclear core. The contribution of two mesons with dominant strange quark components (scalar $\\sigma^*$ and vector $\\phi$) to the $\\Lambda\\Lambda$ binding energy of double-$\\Lambda$ hypernuclei is examined.
Fluorescent lamp unit with magnetic field generating means
Grossman, M.W.; George, W.A.
1989-08-08T23:59:59.000Z
A fluorescent lamp unit having a magnetic field generating means for improving the performance of the fluorescent lamp is disclosed. In a preferred embodiment the fluorescent lamp comprises four longitudinally extending leg portions disposed in substantially quadrangular columnar array and joined by three generally U-shaped portions disposed in different planes. In another embodiment of the invention the magnetic field generating means comprises a plurality of permanent magnets secured together to form a single columnar structure disposed within a centrally located region defined by the shape of lamp envelope. 4 figs.
Garvan, Frank
1965-01-01T23:59:59.000Z
tAndl lAndll IA+61 tA+Hl lA+O'Bl TA+SD] tAtkI TC+SI References : G. Ei. Andrews, 'Al simple proof Soc. 18 (2) (1988). I G. Ei. Andrews anfl D. Hickerson, 'Rama,nuJan's 'lost' notebook VII: ther sixth883), 158-170t i [Gor] B. Gordon, 'sorrie identities ln combtnratorial analysis', Quart. J. Math. o
Sufficient Conditions for Collision-Resistant Hashing
Ostrovsky, Rafail
information retrieval (PIR) protocols and homomorphic one-way commitments. Keywords. Collision-resistant hash. A homomorphic encryption is a semantically secure encryption in which the plaintexts are taken from a group (single-server, sublinear-communication) one-round PIR protocol [15]. Since PIR is implied by homomorphic
Error bounds: necessary and sufficient conditions
2010-01-27T23:59:59.000Z
Russian Math. Surveys 55, 501558 (2000). 25. Ioffe, A.D., Outrata, J.V.: On metric and calmness qualification conditions in subdifferential calculus. Set-
An Energy Self-Sufficient Sawmill
Juchymenko, A.
1982-01-01T23:59:59.000Z
This paper investigates the feasibility of converting sawmill wood by-products (biomass) into useful and marketable energy forms such as low pressure steam and electricity. It is based on the principle of energy cascading, utilizing a proven...
An Energy Self-Sufficient Sawmill
Juchymenko, A.
1982-01-01T23:59:59.000Z
This paper investigates the feasibility of converting sawmill wood by-products (biomass) into useful and marketable energy forms such as low pressure steam and electricity. It is based on the principle of energy cascading, utilizing a proven...
Optimization Online - Sufficient and Necessary Conditions for ...
J. William Helton
2007-10-15T23:59:59.000Z
Oct 15, 2007 ... This provides a technique for building global SDP representations from the local ones. (ii) For the SDP representability of a compact convex...
Mean-shift algorithms for manifold denoising, matrix completion and clustering
Wang, Weiran
2013-01-01T23:59:59.000Z
and the centroids found by K-means, K-modes, and mean-Rosasco. Learning manifolds with k- means and k-flats. In P.Huang. Extensions to the k-means algorithm for clustering
A Solvable Mean Field Model of a Gaussian Spin Glass
Adriano Barra; Giuseppe Genovese; Francesco Guerra; Daniele Tantari
2012-05-17T23:59:59.000Z
We introduce a mean field spin glass model with gaussian distribuited spins and pairwise interactions, whose couplings are drawn randomly from a normal gaussian distribution too. We completely control the main thermodynamical properties of the model (free energy, phase diagram, fluctuations theory) in the whole phase space. In particular we prove that in thermodynamic limit the free energy equals its replica symmetric expression.
Fluorescent lamp with static magnetic field generating means
Moskowitz, P.E.; Maya, J.
1987-09-08T23:59:59.000Z
A fluorescent lamp wherein magnetic field generating means (e.g., permanent magnets) are utilized to generate a static magnetic field across the respective electrode structures of the lamp such that maximum field strength is located at the electrode's filament. An increase in efficacy during operation has been observed. 2 figs.
Distributed Precoding for MISO Interference Channels with Channel Mean Feedback
Ulukus, Sennur
Distributed Precoding for MISO Interference Channels with Channel Mean Feedback: Algorithms precoding algorithms for multiple-input single-output (MISO) interference channels, where each trans- mitter- antenna wireless interference channels [5]-[7]. For multiple- input single-output (MISO) interference
Collective periodicity in mean-field models of cooperative behavior
Francesca Collet; Paolo Dai Pra; Marco Formentin
2015-02-06T23:59:59.000Z
We propose a way to break symmetry in stochastic dynamics by introducing a dissipation term. We show in a specific mean-field model, that if the reversible model undergoes a phase transition of ferromagnetic type, then its dissipative counterpart exhibits periodic orbits in the thermodynamic limit.
Optimizing Thermoelectric Power Factor by Means of a Potential Barrier
1 Optimizing Thermoelectric Power Factor by Means of a Potential Barrier Neophytos Neophytou}@iue.tuwien.ac.at Abstract Large efforts in improving thermoelectric energy conversion are devoted to energy filtering design, ~40% improvement in the thermoelectric power factor can be achieved if the following conditions
WHAT DO THREAT LEVELS AND RESPONSE LEVELS MEAN? THREAT LEVELS
Edinburgh, University of
WHAT DO THREAT LEVELS AND RESPONSE LEVELS MEAN? THREAT LEVELS: The UK Threat Level is decided by the Government's Joint Terrorism Analysis Centre (JTAC). It is the system to assess the threat to the UK from Threat Levels: Low - an attack is unlikely Moderate - an attack is possible, but not likely Substantial
Thermodynamics and Universality for Mean Field Quantum Spin Glasses
Nick Crawford
2006-10-13T23:59:59.000Z
We study aspects of the thermodynamics of quantum versions of spin glasses. By means of the Lie-Trotter formula for exponential sums of operators, we adapt methods used to analyze classical spin glass models to answer analogous questions about quantum models.
Fresh Water Increased temperature means higher proportion of water
Houston, Paul L.
Fresh Water Increased temperature means higher proportion of water falling on surface higher evaporation higher rainfall greater intensity of floods and droughts. Water use has grown four on How much storage compared to average flow Demand as percentage of supply How much ground water is used
Proton root-mean-square radii and electron scattering
Ingo Sick; Dirk Trautmann
2014-07-07T23:59:59.000Z
The standard procedure of extracting the proton root-mean-square radii from models for the Sachs form factors $G_e (q)$ and $G_m (q)$ fitted to elastic electron-proton scattering data %has a serious flaw. is more uncertain than traditionally assumed. The extrapolation of $G(q)$, from the region $q_{min} reliable $rms$-radii be determined.
Generalized Mean-payoff and Energy Games Krishnendu Chatterjee1
Doyen, Laurent
Generalized Mean-payoff and Energy Games Krishnendu Chatterjee1 , Laurent Doyen2 , Thomas A. Henzinger1 , and Jean-François Raskin3 1 IST Austria (Institute of Science and Technology Austria) 2 LSV of an infinite sequence of numeric weights is nonnegative. In energy games, the objective is to ensure
Mean Radiant Cooling in a Hot-Humid Climate
Garrison, M.
1996-01-01T23:59:59.000Z
Shaded interior mass walls in a hot-humid climate can be thermally grounded to an earth heat sink under an insulated structure. The mean radiant temperature (MRT) of the shaded and thermally grounded interior mass walls will be cooler in summer than...
Beliefs about obesity What does obesity mean to you?
Doran, Simon J.
Beliefs about obesity What does obesity mean to you? Obesity has been in the news a lot recently. We are interested in your views about obesity. We would therefore be grateful if you could answer extent do you think that obesity is caused by the following? (Please circle) Not at all Totally Genetics
Diffusion theory The mean and variance function for discrete processes
Tufto, Jarle
and = var(St). It is well known that this approximation is remarkably good, even for moderate values of t that are continuous in the state variable as well as in time. The properties of such processes will be completely, which means that the form of the distribution of the St has practically no effect on the process Xt
Parametrization of light clusters within relativistic mean field models
Ferreira, Marcio; Providencia, Constanca [Centro de Fisica Computacional, Department of Physics, University of Coimbra, P-3004-516 Coimbra (Portugal)
2013-06-10T23:59:59.000Z
Light clusters are included in the equation of state of nuclearmatter within the relativistic mean field theory. The effect of the cluster-meson coupling constants on the dissolution density is discussed. Theoretical and experimental constraints are used to fix the cluster-meson couplings at T Almost-Equal-To 5 MeV.
Mean-risk optimization of electricity portfolios Andreas Eichhorn 1
Eichhorn, Andreas
refer to a wide range of literature dealing with power management in a hydro-thermal system and simultaneous optimization of power production and electricity trading, e.g. [7] and [10]. We suppose that eachMean-risk optimization of electricity portfolios Andreas Eichhorn 1 , Nicole Growe-Kuska1 , Andrea
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
Inferring statistics of planet populations by means of automated microlensing searches
M. Dominik; U. G. Jorgensen; K. Horne; Y. Tsapras; R. A. Street; L. Wyrzykowski; F. V. Hessman; M. Hundertmark; S. Rahvar; J. Wambsganss; G. Scarpetta; V. Bozza; S. Calchi Novati; L. Mancini; G. Masi; J. Teuber; T. C. Hinse; I. A. Steele; M. J. Burgdorf; S. Kane
2008-07-31T23:59:59.000Z
(abridged) The study of other worlds is key to understanding our own, and not only provides clues to the origin of our civilization, but also looks into its future. Rather than in identifying nearby systems and learning about their individual properties, the main value of the technique of gravitational microlensing is in obtaining the statistics of planetary populations within the Milky Way and beyond. Only the complementarity of different techniques currently employed promises to yield a complete picture of planet formation that has sufficient predictive power to let us understand how habitable worlds like ours evolve, and how abundant such systems are in the Universe. A cooperative three-step strategy of survey, follow-up, and anomaly monitoring of microlensing targets, realized by means of an automated expert system and a network of ground-based telescopes is ready right now to be used to obtain a first census of cool planets with masses reaching even below that of Earth orbiting K and M dwarfs in two distinct stellar populations, namely the Galactic bulge and disk. The hunt for extra-solar planets acts as a principal science driver for time-domain astronomy with robotic-telescope networks adopting fully-automated strategies. Several initiatives, both into facilities as well as into advanced software and strategies, are supposed to see the capabilities of gravitational microlensing programmes step-wise increasing over the next 10 years. New opportunities will show up with high-precision astrometry becoming available and studying the abundance of planets around stars in neighbouring galaxies becoming possible. Finally, we should not miss out on sharing the vision with the general public, and make its realization to profit not only the scientists but all the wider society.
Svirin, M. I., E-mail: svirin@ippe.ru [Institute for Physics and Power Engineering (Russian Federation)
2012-12-15T23:59:59.000Z
The cross section for the neutron-induced fission of {sup 232}Th target nuclei, {sigma}{sub f} (E{sub n}), was described within statistical theory. The spectra of the mean multiplicity, v-bar (E{sub n}), and the mean energy, E-bar(E{sub n}), of secondary neutrons accompanying {sup 232}Th fission induced by neutrons of energy extending up to E{sub n} = 20 MeV were analyzed on the basis of the chance structure of the cross section.
Pickett, Chris A [ORNL] [ORNL; Younkin, James R [ORNL] [ORNL; Kovacic, Donald N [ORNL] [ORNL; Dixon, E. T. [Los Alamos National Laboratory (LANL)] [Los Alamos National Laboratory (LANL); Martinez, B. [Los Alamos National Laboratory (LANL)] [Los Alamos National Laboratory (LANL)
2007-01-01T23:59:59.000Z
This effort describes how radio-frequency (RF) technology can be integrated into a uranium enrichment facility's nuclear materials accounting and control program to enhance uranium hexafluoride (UF6) cylinder tracking and thus provide benefits to both domestic and international safeguards. Approved industry-standard cylinders are used to handle and store UF6 feed, product, tails, and samples at uranium enrichment plants. In the international arena, the International Atomic Energy Agency (IAEA) relies on time-consuming manual cylinder inventory and tracking techniques to verify operator declarations and to detect potential diversion of UF6. Development of a reliable, automated, and tamper-resistant process for tracking and monitoring UF6 cylinders would greatly reduce the risk of false or misreported cylinder tare weights, diversion of nuclear material, concealment of excess production, utilization of undeclared cylinders, and misrepresentation of the cylinders contents. This paper will describe a "proof-of concept" system that was designed show the feasibility of using RF based technologies to track individual UF6 cylinders throughout their entire life cycle, and thus ensure both increased domestic accountability of materials and a more effective and efficient method for application of IAEA international safeguards at the site level. The proposed system incorporates RF-based identification devices, which provide a mechanism for a reliable, automated, and tamper-resistant tracking network. We explore how securely attached RF tags can be integrated with other safeguards technologies to better detect diversion of cylinders. The tracking system could also provide a foundation for integration of other types of safeguards that would further enhance detection of undeclared activities.
Estimating contact rates at a mass gathering by using video analysis: a proof-of-concept project
Rainey, Jeanette J [ORNL; Cheriyadat, Anil M [ORNL; Radke, Richard J [ORNL; Crumly, Julie K [ORNL; Koch, Daniel B [ORNL
2014-01-01T23:59:59.000Z
Current approaches for estimating social mixing patterns and infectious disease transmission at mass gatherings have been limited by various constraints, including low participation rates for volunteer-based research projects and challenges in quantifying spatially and temporally accurate person-to-person interactions. We developed a proof-of-concept project to assess the use of automated video analysis for estimating contact rates of attendees of the GameFest 2013 event at Rensselaer Polytechnic Institute (RPI) in Troy, New York. Video tracking and analysis algorithms were used to estimate the number and duration of contacts for 5 attendees during a 3-minute clip from the RPI video. Attendees were considered to have a contact event if the distance between them and another person was =1 meter. Contact duration was estimated in seconds. We also simulated 50 attendees assuming random mixing using a geo-spatially accurate representation of the same GameFest location. The 5 attendees had an overall median of 2 contact events during the 3-minute video clip (range: 0 6). Contact events varied from less than 5 seconds to the full duration of the 3- minute clip. The random mixing simulation was visualized and presented as a contrasting example. We were able to estimate the number and duration of contacts for five GameFest attendees from a 3-minute video clip that can be compared to a random mixing simulation model at the same location. The next phase will involve scaling the system for simultaneous analysis of mixing patterns from hours-long videos and comparing our results with other approaches for collecting contact data from mass gathering attendees.
Quantum root-mean-square error and measurement uncertainty relations
Paul Busch; Pekka Lahti; Reinhard F Werner
2014-10-10T23:59:59.000Z
Recent years have witnessed a controversy over Heisenberg's famous error-disturbance relation. Here we resolve the conflict by way of an analysis of the possible conceptualizations of measurement error and disturbance in quantum mechanics. We discuss two approaches to adapting the classic notion of root-mean-square error to quantum measurements. One is based on the concept of noise operator; its natural operational content is that of a mean deviation of the values of two observables measured jointly, and thus its applicability is limited to cases where such joint measurements are available. The second error measure quantifies the differences between two probability distributions obtained in separate runs of measurements and is of unrestricted applicability. We show that there are no nontrivial unconditional joint-measurement bounds for {\\em state-dependent} errors in the conceptual framework discussed here, while Heisenberg-type measurement uncertainty relations for {\\em state-independent} errors have been proven.
Mean-field theory for scale-free random networks
Albert-Laszlo Barabasi; Reka Albert; Hawoong Jeong
1999-07-05T23:59:59.000Z
Random networks with complex topology are common in Nature, describing systems as diverse as the world wide web or social and business networks. Recently, it has been demonstrated that most large networks for which topological information is available display scale-free features. Here we study the scaling properties of the recently introduced scale-free model, that can account for the observed power-law distribution of the connectivities. We develop a mean-field method to predict the growth dynamics of the individual vertices, and use this to calculate analytically the connectivity distribution and the scaling exponents. The mean-field method can be used to address the properties of two variants of the scale-free model, that do not display power-law scaling.
Means and method of detection in chemical separation procedures
Yeung, Edward S. (Ames, IA); Koutny, Lance B. (Ames, IA); Hogan, Barry L. (Ames, IA); Cheung, Chan K. (Ames, IA); Ma, Yinfa (Ames, IA)
1993-03-09T23:59:59.000Z
A means and method for indirect detection of constituent components of a mixture separated in a chemical separation process. Fluorescing ions are distributed across the area in which separation of the mixture will occur to provide a generally uniform background fluorescence intensity. For example, the mixture is comprised of one or more charged analytes which displace fluorescing ions where its constituent components separate to. Fluorescing ions of the same charge as the charged analyte components cause a displacement. The displacement results in the location of the separated components having a reduced fluorescence intensity to the remainder of the background. Detection of the lower fluorescence intensity areas can be visually, by photographic means and methods, or by automated laser scanning.
Understanding Proofs JEREMY AVIGAD
Avigad, Jeremy
others for comments, including Andrew Arana, Mic Detlefsen, Jeremy Heis, Jukka Keranen, Paolo Mancosu
Datta, Shoumen
2008-12-14T23:59:59.000Z
Forecasting is an underestimated field of research in supply chain management. Recently advanced methods are coming into use. Initial results presented in this chapter are encouraging, but may require changes in policies ...
Cook, Diane J.
in smart homes offer unprecedented opportunities for providing health monitoring and assistance health of smart home residents, we need to design technologies that recognize and track activities, is how many smart home sensors are needed and where should they be placed in order to accurately
Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of ScienceandMesa del SolStrengtheningWildfires mayYuan T.External LinksDoug
Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of ScienceandMesa del SolStrengtheningWildfires mayYuan T.External LinksDoug
Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of ScienceandMesa del SolStrengtheningWildfires mayYuan T.External LinksDoug
Bayesian Prediction of Mean Indoor Radon Concentrations for Minnesota Counties
Price, P.N.; Nero, A.V.; Gelman, A.
1995-08-01T23:59:59.000Z
Past efforts to identify areas having higher than average indoor radon concentrations by examining the statistical relationship between local mean concentrations and physical parameters such as the soil radium concentration have been hampered by the noise in local means caused by the small number of homes monitored in some or most areas, In the present paper, indoor radon data from a survey in Minnesota are analyzed in such a way as to minimize the effect of finite sample size within counties, in order to determine the true county-to-county variation of indoor radon concentrations in the state and the extent to which this variation is explained by the variation in surficial radium concentration among counties, The analysis uses hierarchical modeling, in which some parameters of interest (such as county geometric mean (GM) radon concentrations) are assumed to be drawn from a single population, for which the distributional parameters are estimated from the data. Extensions of this technique, known as a random effects regression and mixed effects regression, are used to determine the relationship between predictive variables and indoor radon concentrations; the results are used to refine the predictions of each county's radon levels, resulting in a great decrease in uncertainty. The true county-to-county variation of GM radon levels is found to be substantially less than the county-to-county variation of the observed GMs, much of which is due to the small sample size in each county. The variation in the logarithm of surficial radium content is shown to explain approximately 80% of the variation of the logarithm of GM radon concentration among counties. The influences of housing and measurement factors, such as whether the monitored home has a basement and whether the measurement was made in a basement, are also discussed. This approach offers a self-consistent statistical method for predicting the mean values of indoor radon concentrations or other geographically distributed environmental parameters.
Excitation of fast waves near the mean gyrofrequency
Platt, R.C.; McWilliams, R.
1986-11-03T23:59:59.000Z
Fast waves with frequencies near the mean gyrofrequency (..omega..--(..omega../sub c//sub i/..omega../sub ce/)/sup 1/2/) were excited in a toroidal, magnetized plasma. Experimental measurements were made of wavelengths and phase velocities perpendicular to the toroidal magnetic field, and wave energy trajectories in the plasma, varying wave frequency, plasma density, and magnetic field values. Experimental results agree with predictions from the cold-plasma dispersion relation.
Cosmic metal production and the mean metallicity of the Universe
F. Calura; F. Matteucci
2004-03-08T23:59:59.000Z
By means of detailed chemo-photometric models for elliptical, spiral and irregular galaxies, we evaluate the cosmic history of the production of chemical elements as well as the metal mass density of the present-day universe. We then calculate the mean metal abundances for galaxies of different morphological types, along with the average metallicity of galactic matter in the universe (stars, gas and intergalactic medium). For the average metallicity of galaxies in the local universe, we find Z_gal= 0.0175, i.e. close to the solar value. We find the main metal production in spheroids (ellipticals and bulges) to occur at very early times, implying an early peak in the metal production and a subsequent decrease. On the other hand, the metal production in spirals and irregulars is always increasing with time. We perform a self-consistent census of the baryons and metals in the local universe finding that, while the vast majority of the baryons lies outside galaxies in the inter-galactic medium (IGM), 52 % of the metals (with the exception of the Fe-peak elements) is locked up in stars and in the interstellar medium. We estimate indirectly the amount of baryons which resides in the IGM and we derive its mean Fe abundance, finding a value of X_Fe,IGM=0.05 X_Fe,sun. We believe that this estimate is uncertain by a factor of 2, owing to the normalization of the local luminosity function. This means that the Fe abundance of 0.3 solar inferred from X-ray observations of the hot intra-cluster medium (ICM) is higher than the average Fe abundance of the inter-galactic gas in the field.
Mean field approximation for noisy delay coupled excitable neurons
Nikola Buric; Dragana Rankovic; Kristina Todorovic; Nebojsa Vasovic
2010-03-26T23:59:59.000Z
Mean field approximation of a large collection of FitzHugh-Nagumo excitable neurons with noise and all-to-all coupling with explicit time-delays, modelled by $N\\gg 1$ stochastic delay-differential equations is derived. The resulting approximation contains only two deterministic delay-differential equations but provides excellent predictions concerning the stability and bifurcations of the averaged global variables of the exact large system.
Filtering Additive Measurement Noise with Maximum Entropy in the Mean
Henryk Gzyl; Enrique ter Horst
2007-09-04T23:59:59.000Z
The purpose of this note is to show how the method of maximum entropy in the mean (MEM) may be used to improve parametric estimation when the measurements are corrupted by large level of noise. The method is developed in the context on a concrete example: that of estimation of the parameter in an exponential distribution. We compare the performance of our method with the bayesian and maximum likelihood approaches.
Energy Dependent Isospin Asymmetry in Mean-Field Dynamics
T. Gaitanos; M. Kaskulov
2012-01-27T23:59:59.000Z
The Lagrangian density of relativistic mean-field (RMF) theory with non-linear derivative (NLD) interactions is applied to isospin asymmetric nuclear matter. We study the symmetry energy and the density and energy dependences of nucleon selfenergies. At high baryon densities a soft symmetry energy is obtained. The energy dependence of the isovector selfenergy suppresses the Lane-type optical potential with increasing energy and predicts a $\\rho$-meson induced mass splitting between protons and neutrons in isospin asymmetric matter.
Understanding Sequestration as a Means of Carbon Management Howard Herzog
IN&OUT'ACC CO2'POPx GDP POP x BTU GDP x CO2 BTU 1 (1) (2) Understanding Sequestration as a Means and is a measure of fuel combustion and cement production (5.5 standard of living, BTU/GDP is energy Gt to as "deforestation" (1.6 GtC/yr). By energy intensity, and CO2/BTU is the amount of 1994, the fossil fuel
Likas, Aristidis
Abstract-- Kernel k-means is an extension of the standard k- means clustering algorithm associated with this method, in this work we propose the global kernel k-means algorithm, a deterministic a global search proce- dure consisting of several executions of kernel k-means from suitable
Revisiting k-means: New Algorithms via Bayesian Nonparametrics
Kulis, Brian
2011-01-01T23:59:59.000Z
One of the many benefits of Bayesian nonparametric processes such as the Dirichlet process is that they can be used for modeling infinite mixture models, thus providing a flexible answer to the question of how many clusters exist in a data set. For the most part, such flexibility is currently lacking in techniques based on hard clustering, such as k-means, graph cuts, and Bregman hard clustering. For finite mixture models, there is a precise connection between k-means and mixtures of Gaussians, obtained by an appropriate limiting argument. In this paper, we apply a similar technique to an infinite mixture arising from the Dirichlet process (DP). We show that a Gibbs sampling algorithm for DP mixtures approaches a hard clustering algorithm in the limit, and further that the resulting algorithm monotonically minimizes an elegant underlying k-means-like objective that includes a penalty term based on the number of clusters. We generalize our analysis to the case of clustering multiple related data sets through a...
Shi Huang
2008-10-01T23:59:59.000Z
Numbers (positive integers) are the most fundamental creatures of the human mind and the foundation to the scientific understanding of nature. Some mathematicians have suspected a link between prime numbers and secrets of creation. Understanding creativity may help resolve the deepest mysteries of primes. The algorithm that programs the mind and makes the mind creative must be sufficient for the mind to create primes. I found that primes are directly linked to the creation algorithm of the mind. The essence of primes is the duality of uniqueness and uniformity together with the creation algorithm of the mind. The creative process of the mind is lawfully determined but the outcome is unpredictable. The mathematical equivalent or model of this process is the creation of primes. Primes have the inherent property of unpredictability but can be generated by the creation algorithm of the mind, termed the Prime Law, via a fully deterministic lawful process. This new understanding of the essence of primes can deduce some of the best-known properties of primes, including the Riemann Hypothesis (RH). Understanding human creativity is obviously the most fundamental of all scientific enquiries. That this understanding can directly lead to a solution to the RH, widely considered the most important unsolved problem in mathematics, shows a deep connection between creativity and mathematics.
Mean flow and turbulence characteristics in whirling annular seals
Thames, Howard Davis
1992-01-01T23:59:59.000Z
of the test rig with the annular seal installed 15: Dimensions of the Annular Rotor . 16: Components of the 3D Laser Doppler Velocimetry System 15 17 . . 19 Figure 17: Raw Doppler signal with high frequency noise and pedestal Figure 18: Doppler signal... 64: Figure 65: Figure 66: Figure 67: Figure 68: Figure 69: Figure 70: Figure 71: Figure 72: Figure 73: Figure 74: Figure 75: Figure 76: Figure 77: Case 2 Vector Plots at Constant Axial Positions 13-17 99 Case 2 Mean Velocity Contours...
Thermal entanglement of spins in mean-field clusters
Asoudeh, M.; Karimipour, V. [Department of Physics, Sharif University of Technology, P.O. Box 11365-9161, Tehran (Iran, Islamic Republic of)
2006-06-15T23:59:59.000Z
We determine thermal entanglement in mean-field clusters of N spin one-half particles interacting via the anisotropic Heisenberg interaction, with and without external magnetic field. For the xxx cluster in the absence of magnetic field we prove that only the N=2 ferromagnetic cluster shows entanglement. An external magnetic field B can only entangle xxx antiferromagnetic clusters in certain regions of the B-T plane. On the other hand, the xxz clusters of size N>2 are entangled only when the interaction is ferromagnetic. Detailed dependence of the entanglement on various parameters is investigated in each case.
Investigation of storm intensity by means of sferics
Sievers, Henry Emmett
1959-01-01T23:59:59.000Z
was about 0. 02. On 15 May, a funnel aloft was sight- ed neer Fort Sherman~ Grayson County~ at a time when 175 kc ratio was about 0. 32. On 18 May~ a funnel aloft occurred at Port Neches when sferics ratio was 0. 1; on the 28th~ a funnel aloft occurred... LIBRARy' A & M COLLEGE OF TEXAS INVESTIGATION OF STORM INTENSITY BY MEANS OF SFERICS A Thesis By HENRY EMMETT SIEVERS Major U. S. A. F. Submitted to the Graduate School of the Agricultural and Mechanical College of Texas in partial...
Fusion of heavy ions by means of the Langevin equation
Mahboub, K.; Zerarka, A.; Foester, V.G. [Departement de Physique Nucleaire, Universite Med Khider, B P 145 Biskra 07000 (Algeria)
2005-06-01T23:59:59.000Z
The Langevin equation was used to describe fusion dynamics in two systems, {sup 64}Ni+{sup 100}Mo and {sup 64}Ni+{sup 96}Zr. The corresponding fusion cross sections were calculated for different energies, and the mean angular momentum and its dependence on energy were also obtained. We were able to reproduce experimental fusion cross sections at high energies with the one-body dissipation mechanism. Attention was focused on the fusion barrier calculated with the Yukawa-plus-exponential method.
Relativistic mean field calculations in neutron-rich nuclei
Gangopadhyay, G.; Bhattacharya, Madhubrata [Department of Physics, University of Calcutta, 92 Acharya Prafulla Chandra Road, Kolkata 700 009 (India); Roy, Subinit [Saha Institute of Nuclear Physics, Block AF, Sector 1, Kolkata- 700 064 (India)
2014-08-14T23:59:59.000Z
Relativistic mean field calculations have been employed to study neutron rich nuclei. The Lagrange's equations have been solved in the co-ordinate space. The effect of the continuum has been effectively taken into account through the method of resonant continuum. It is found that BCS approximation performs as well as a more involved Relativistic Continuum Hartree Bogoliubov approach. Calculations reveal the possibility of modification of magic numbers in neutron rich nuclei. Calculation for low energy proton scattering cross sections shows that the present approach reproduces the density in very light neutron rich nuclei.
Method for chemically analyzing a solution by acoustic means
Beller, L.S.
1997-04-22T23:59:59.000Z
A method and apparatus are disclosed for determining a type of solution and the concentration of that solution by acoustic means. Generally stated, the method consists of: immersing a sound focusing transducer within a first liquid filled container; locating a separately contained specimen solution at a sound focal point within the first container; locating a sound probe adjacent to the specimen, generating a variable intensity sound signal from the transducer; measuring fundamental and multiple harmonic sound signal amplitudes; and then comparing a plot of a specimen sound response with a known solution sound response, thereby determining the solution type and concentration. 10 figs.
Method for chemically analyzing a solution by acoustic means
Beller, Laurence S. (Idaho Falls, ID)
1997-01-01T23:59:59.000Z
A method and apparatus for determining a type of solution and the concention of that solution by acoustic means. Generally stated, the method consists of: immersing a sound focusing transducer within a first liquid filled container; locating a separately contained specimen solution at a sound focal point within the first container; locating a sound probe adjacent to the specimen, generating a variable intensity sound signal from the transducer; measuring fundamental and multiple harmonic sound signal amplitudes; and then comparing a plot of a specimen sound response with a known solution sound response, thereby determining the solution type and concentration.
Assessing complexity by means of maximum entropy models
Chliamovitch, Gregor; Velasquez, Lino
2014-01-01T23:59:59.000Z
We discuss a characterization of complexity based on successive approximations of the probability density describing a system by means of maximum entropy methods, thereby quantifying the respective role played by different orders of interaction. This characterization is applied on simple cellular automata in order to put it in perspective with the usual notion of complexity for such systems based on Wolfram classes. The overlap is shown to be good, but not perfect. This suggests that complexity in the sense of Wolfram emerges as an intermediate regime of maximum entropy-based complexity, but also gives insights regarding the role of initial conditions in complexity-related issues.
An Empirical Evaluation of Different Initializations on the Number of K-means
Amorim, Renato Cordeiro de
An Empirical Evaluation of Different Initializations on the Number of K-means Iterations Renato of iterations K-Means takes to converge under different initializations. We have ex- perimented with seven using the Ward criterion when applied to real datasets. Keywords: K-Means, K-Means++, iK-Means, Build
Mean transverse mass of hadrons in proton-proton reactions
V. Yu. Vovchenko; D. V. Anchishkin; M. I. Gorenstein
2015-01-23T23:59:59.000Z
An energy dependence of the mean transverse mass $\\langle m_T\\rangle$ at mid-rapidity in proton-proton ($p+p$) reactions is studied within the ultra-relativistic quantum molecular dynamics (UrQMD). The UrQMD model predicts a nonmonotonous dependence of $\\langle m_T\\rangle$ on collision energy for several hadron species: for $\\pi^+$, $p$, $K^+$, and $\\Lambda$ the mean transverse mass has a maximum at the center of mass energy region $5\\le \\sqrt{s}\\le 8$ GeV. These results are a consequence of an interplay of two contributions: 1) excitations and decays of the baryonic resonances $N^*$ and $\\Delta$; 2) excitations and decays of the baryonic strings. The UrQMD results do not show any nonmonotonous dependence of $\\langle m_T\\rangle$ on $\\sqrt{s}$ for $\\pi^-$, $K^{-}$, and antiprotons. Whether a nonmonotonous dependence of $\\langle m_T\\rangle$ at mid-rapidity on the collision energy for $\\pi^+$, $p$, $K^+$, and $\\Lambda$ is relevant for real $p+p$ interactions will be soon checked experimentally by the NA61/SHINE Collaboration.
Mean field theory of assortative networks of phase oscillators
Juan G. Restrepo; Edward Ott
2014-09-05T23:59:59.000Z
Employing the Kuramoto model as an illustrative example, we show how the use of the mean field approximation can be applied to large networks of phase oscillators with assortativity. We then use the ansatz of Ott and Antonsen [Chaos 19, 037113 (2008)] to reduce the mean field kinetic equations to a system of ordinary differential equations. The resulting formulation is illustrated by application to a network Kuramoto problem with degree assortativity and correlation between the node degrees and the natural oscillation frequencies. Good agreement is found between the solutions of the reduced set of ordinary differential equations obtained from our theory and full simulations of the system. These results highlight the ability of our method to capture all the phase transitions (bifurcations) and system attractors. One interesting result is that degree assortativity can induce transitions from a steady macroscopic state to a temporally oscillating macroscopic state through both (presumed) Hopf and SNIPER (saddle-node, infinite period) bifurcations. Possible use of these techniques to a broad class of phase oscillator network problems is discussed.
On the Equivalence of Nonnegative Matrix Factorization and K-means - Spectral Clustering
Ding, Chris; He, Xiaofeng; Simon, Horst D.; Jin, Rong
2008-01-01T23:59:59.000Z
Guan, and B. Kulis. Kernel k-means: spectral clustering and10] C. Ding and X. He. K-means clustering and principalSpectral relaxation for K-means clustering. Advances in
Meaning in architecture : an investigation of the indigenous environment in Bangladesh
Haq, Saif-ul
1992-01-01T23:59:59.000Z
A meaningful environment forms a necessary and essential part of a meaningful existence. Meaning is an interpretive problem, and meaning in architecture is difficult to grasp. Theoretical insights into meaning have to be ...
Effect of ocean mesoscale variability on the mean state of tropical Atlantic climate
Seo, H; Jochum, M; Murtugudde, R; Miller, A J
2006-01-01T23:59:59.000Z
Effect of Ocean Mesoscale Variability on the Mean State ofthe effect of oceanic mesoscale features on the mean climatemodel, resolving oceanic mesoscale variability leads to a
Two stochastic mean-field polycrystal plasticity methods
Tonks, Michael [Los Alamos National Laboratory
2008-01-01T23:59:59.000Z
In this work, we develop two mean-field polycrystal plasticity models in which the L{sup c} are approximated stochastically. Through comprehensive CPFEM analyses of an idealized tantalum polycrystal, we verify that the L{sup c} tend to follow a normal distribution and surmise that this is due to the crystal interactions. We draw on these results to develop the STM and the stochastic no-constraints model (SNCM), which differ in the manner in which the crystal strain rates D{sup c} are prescribed. Calibration and validation of the models are performed using data from tantalum compression experiments. Both models predict the compression textures more accurately than the FCM, and the SNCM predicts them more accurately than the STM. The STM is extremely computationally efficient, only slightly more expensive than the FCM, while the SNCM is three times more computationally expensive than the STM.
Mean-field Evolution of Fermionic Mixed States
Niels Benedikter; Vojkan Jaksic; Marcello Porta; Chiara Saffirio; Benjamin Schlein
2015-02-11T23:59:59.000Z
In this paper we study the dynamics of fermionic mixed states in the mean-field regime. We consider initial states which are close to quasi-free states and prove that, under suitable assumptions on the inital data and on the many-body interaction, the quantum evolution of such initial data is well approximated by a suitable quasi-free state. In particular we prove that the evolution of the reduced one-particle density matrix converges, as the number of particles goes to infinity, to the solution of the time-dependent Hartree-Fock equation. Our result holds for all times, and gives effective estimates on the rate of convergence of the many-body dynamics towards the Hartree-Fock one.
Radiant energy receiver having improved coolant flow control means
Hinterberger, H.
1980-10-29T23:59:59.000Z
An improved coolant flow control for use in radiant energy receivers of the type having parallel flow paths is disclosed. A coolant performs as a temperature dependent valve means, increasing flow in the warmer flow paths of the receiver, and impeding flow in the cooler paths of the receiver. The coolant has a negative temperature coefficient of viscosity which is high enough such that only an insignificant flow through the receiver is experienced at the minimum operating temperature of the receiver, and such that a maximum flow is experienced at the maximum operating temperature of the receiver. The valving is accomplished by changes in viscosity of the coolant in response to the coolant being heated and cooled. No remotely operated valves, comparators or the like are needed.
Shell Model and Mean-Field Description of Band Termination
M. Zalewski; W. Satula; W. Nazarewicz; G. Stoitcheva; H. Zdunczuk
2007-01-09T23:59:59.000Z
We study nuclear high-spin states undergoing the transition to the fully stretched configuration with maximum angular momentum I_max within the space of valence nucleons. To this end, we perform a systematic theoretical analysis of non-fully-stretched I_max-2 and I_max-1 f_{7/2}^n seniority isomers and d_{3/2}^{-1} f_{7/2}^{n+1} intruder states in the A~44 nuclei from the lower-fp shell. We employ two theoretical approaches: (i) the density functional theory based on the cranked self-consistent Skyrme-Hartree-Fock method, and (ii) the nuclear shell model in the full sdfp configuration space allowing for 1p-1h cross-shell excitations. We emphasize the importance of restoration of broken angular momentum symmetry inherently obscuring the mean-field treatment of high-spin states. Overall good agreement with experimental data is obtained.
Mean motion resonances from planet-planet scattering
Sean N. Raymond; Rory Barnes; Philip J. Armitage; Noel Gorelick
2008-09-19T23:59:59.000Z
Planet-planet scattering is the leading mechanism to explain the large eccentricities of the observed exoplanet population. However, scattering has not been considered important to the production of pairs of planets in mean motion resonances (MMRs). We present results from a large number of numerical simulations of dynamical instabilities in 3-planet systems. We show that MMRs arise naturally in about five percent of cases. The most common resonances we populate are the 2:1 and 3:1 MMRs, although a wide variety of MMRs can occur, including high-order MMRs (up to eleventh order). MMRs are generated preferentially in systems with uneven mass distributions: the smallest planet is typically ejected after a series of close encounters, leaving the remaining, more massive planets in resonance. The distribution of resonant planets is consistent with the phase-space density of resonant orbits, meaning that planets are randomly thrown into MMRs rather than being slowly pulled into them. It may be possible to distinguish between MMRs created by scattering vs. convergent migration in a gaseous disk by considering planetary mass ratios: resonant pairs of planets beyond ~1 AU with more massive outer planets are likely to have formed by scattering. In addition, scattering may be responsible for pairs of planets in high-order MMRs (3:1 and higher) that are not easily populated by migration. The frequency of MMRs from scattering is comparable to the expected survival rate of MMRs in turbulent disks. Thus, planet-planet scattering is likely to be a major contributor to the population of resonant planets.
Otsu method and K-means DongjuLiu, JianYu
Wolberg, George
Otsu method and K-means DongjuLiu, JianYu Department of Computer Science Beijing Jiaotong optimal threshold, while K-means is a local optimal method. Moreover, K-means does not require computing. Therefore, K-means can be more efficiently extended to multilevel thresholding method, two
Secure TwoParty kMeans Clustering Paul Bunn # Rafail Ostrovsky +
Ostrovsky, Rafail
Secure TwoParty kMeans Clustering Paul Bunn # Rafail Ostrovsky + Abstract The kMeans Clustering. To date there have been numerous attempts to create specific multiparty kmeans clustering protocols a TwoParty kMeans Clustering Protocol that guarantees privacy, and is more e#cient than utilizing
Stability yields a PTAS for k-Median and k-Means Clustering Pranjal Awasthi
Blum, Avrim
Stability yields a PTAS for k-Median and k-Means Clustering Pranjal Awasthi Carnegie Mellon and k-means clustering in Euclidean spaces, in the setting where k is part of the input (not a constant). For the k-means problem, Ostrovsky et al. [18] show that if the optimal (k-1)-means clustering of the input
Secure TwoParty kMeans Clustering Paul Bunn # Rafail Ostrovsky +
Secure TwoParty kMeans Clustering Paul Bunn # Rafail Ostrovsky + Abstract The kMeans Clustering describe a TwoParty kMeans Clustering Protocol that guarantees privacy, and is more e#cient than of our result is a way to compute e#ciently multiple iter ations of kmeans clustering without revealing
K-means Hashing: an Affinity-Preserving Quantization Method for Learning Binary Compact Codes
Bernstein, Phil
K-means Hashing: an Affinity-Preserving Quantization Method for Learning Binary Compact Codes. In this paper, we present a hashing method adopting the k-means quantization. We propose a novel Affinity-Preserving K-means algorithm which simultane- ously performs k-means clustering and learns the binary indices
Color Image Segmentation Using a Spatial K-Means Clustering Algorithm
Whelan, Paul F.
Color Image Segmentation Using a Spatial K-Means Clustering Algorithm Dana Elena Ilea and Paul F-texture segmentation that is a generalization of the standard K-Means algorithm. The standard K-Means algorithm. In addition, the initialization of the K-Means algorithm is problematic and usually the initial cluster
James-Stein Shrinkage to Improve K-means Cluster Analysis
Hitchcock, David B.
James-Stein Shrinkage to Improve K-means Cluster Analysis Jinxin Gao Eli Lilly and Company in k-means cluster- ing. We shrink the centroids of clusters toward the overall mean of all data using in the next clustering iteration until convergence. We compare the shrinkage results to the traditional k-means
James-Stein Shrinkage to Improve K-means Cluster Analysis
Hitchcock, David B.
James-Stein Shrinkage to Improve K-means Cluster Analysis Jinxin Gao Eli Lilly and Company-Stein shrinkage effect in k-means cluster- ing. We shrink the centroids of clusters toward the overall mean of all to the traditional k-means method. Monte Carlo simulation shows that the magnitude of the improvement depends
Improved Smoothed Analysis of the k-Means Method Bodo Manthey
Al Hanbali, Ahmad
Improved Smoothed Analysis of the k-Means Method Bodo Manthey Heiko Roglin Abstract The k-means ) on the smoothed running- time of the k-means method, where n is the number of data points and is the standard larger than the running-time observed in practice. We improve the smoothed analysis of the k-means method
Chimera death induced by the mean-field diffusive coupling
Tanmoy Banerjee
2014-09-28T23:59:59.000Z
Recently a novel dynamical state, called the {\\it chimera death}, is discovered in a network of non locally coupled identical oscillators [A. Zakharova, M. Kapeller, and E. Sch\\"oll, Phy.Rev.Lett. 112, 154101 (2014)], which is defined as the coexistence of spatially coherent and incoherent oscillation death state. This state arises due to the interplay of non locality and symmetry breaking and thus bridges the gap between two important dynamical states, namely the chimera and oscillation death. In this paper we show that the chimera death can be induced in a network of generic identical oscillators with mean-field diffusive coupling and thus we establish that a non local coupling is not essential to obtain chimera death. We identify a new transition route to the chimera death state, namely the transition from in-phase synchronized oscillation to chimera death via global amplitude death state. We ascribe the occurrence of chimera death to the bifurcation structure of the network in the limiting condition and show that multi-cluster chimera death states can be achieved by a proper choice of initial conditions.
Nonextensive critical effects in relativistic nuclear mean field models
J. Rozynek; G. Wilk
2011-02-22T23:59:59.000Z
We present a possible extension of the usual relativistic nuclear mean field models widely used to describe nuclear matter towards accounting for the influence of possible intrinsic fluctuations caused by the environment. Rather than individually identifying their particular causes we concentrate on the fact that such effects can be summarily incorporated in the changing of the statistical background used, from the usual (extensive) Boltzman-Gibbs one to the nonextensive taken in the form proposed by Tsallis with a dimensionless nonextensivity parameter $q$ responsible for the above mentioned effects (for $q \\rightarrow 1$ one recovers the usual BG case). We illustrate this proposition on the example of the QCD-based Nambu - Jona-Lasinio (NJL) model of a many-body field theory describing the behavior of strongly interacting matter presenting its nonextensive version. We check the sensitivity of the usual NJL model to a departure from the BG scenario expressed by the value of $| q - 1|$, in particular in the vicinity of critical points.
Measuring the Neutron's Mean Square Charge Radius Using Neutron Interferometry
F. E. Wietfeldt; M. Huber; T. C. Black; H. Kaiser; M. Arif; D. L. Jacobson; S. A. Werner
2005-09-14T23:59:59.000Z
The neutron is electrically neutral, but its substructure consists of charged quarks so it may have an internal charge distribution. In fact it is known to have a negative mean square charge radius (MSCR), the second moment of the radial charge density. In other words the neutron has a positive core and negative skin. In the first Born approximation the neutron MSCR can be simply related to the neutron-electron scattering length b_ne. In the past this important quantity has been extracted from the energy dependence of the total transmission cross-section of neutrons on high-Z targets, a very difficult and complicated process. A few years ago S.A. Werner proposed a novel approach to measuring b_ne from the neutron's dynamical phase shift in a perfect crystal close to the Bragg condition. We are conducting an experiment based on this method at the NIST neutron interferometer which may lead to a five-fold improvement in precision of b_ne and hence the neutron MSCR.
Wylie, Joann; Hockert, John
2014-04-24T23:59:59.000Z
The National Nuclear Security Administration (NNSA) Office of Nonproliferation and International Securitys (NA-24) Next Generation Safeguards Initiative (NGSI) and the nuclear industry have begun to develop approaches to identify and monitor uranium hexafluoride (UF6) cylinders. The NA-24 interest in a global monitoring system for UF6 cylinders relates to its interest in supporting the International Atomic Energy Agency (IAEA) in deterring and detecting diversion of UF6 (e.g., loss of cylinder in transit) and undeclared excess production at conversion and enrichment facilities. The industry interest in a global monitoring system for UF6 cylinders relates to the improvements in operational efficiencies that such a system would provide. This task is part of an effort to survey and assess technologies for a UF6 cylinder to identify candidate technologies for a proof-of-concept demonstration and evaluation for the Cylinder Identification System (CIS).
Dek, Gedeon O; Narasimham, Gayathri
2013-01-01T23:59:59.000Z
using ?exibility in the new Flexible Induction of Meanings [with an established test (Flexible Induction of Meanings [example, in studies using the Flexible Induction of Meanings
Torres-Verdn, Carlos
in this paper is also suitable for the quantitative interpretation of 4D seismic data. Simulation and InversionJoint Inversion of Reservoir Production Measurements and 3D Pre-Stack Seismic Data: Proof-stack seismic data and fluid production history. The production measurements and the seismic data
Golbeck, Jennifer
- 1 - Understanding Clusters in Multidimensional Spaces: Making Meaning by Combining Insights from: Cluster Analysis, Interactive Design, Information Visualization, Coordination, Domain Knowledge, Graphical. #12;- 2 - Understanding Clusters in Multidimensional Spaces: Making Meaning by Combining Insights from
How Fast is the k-means Method? Sariel Har-Peled
Toronto, University of
How Fast is the k-means Method? Sariel Har-Peled Bardia Sadri Abstract We present polynomial upper and lower bounds on the number of iterations performed by the k-means method (a.k.a. Lloyd's method) for k-means of the point set. We also present a lower bound, showing that in the worst case the k-means heuristic needs
MODERN DISPLAYS: WHY WE SEE DIFFERENT COLORS, AND WHAT IT MEANS? Abhijit Sarkar1,2
Paris-Sud XI, Université de
MODERN DISPLAYS: WHY WE SEE DIFFERENT COLORS, AND WHAT IT MEANS? Abhijit Sarkar1,2 , Laurent Blondé
Tracking in Presence of Total Occlusion and Size Variation using Mean Shift and Kalman Filter
Paris-Sud XI, Universit de
Tracking in Presence of Total Occlusion and Size Variation using Mean Shift and Kalman Filter Oscar using mean shift and the Kalman filter, which was added to the traditional algorithm as a predictor when mean shift Kalman filter algorithm improves the tracking performance of the classical algorithms
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
Hybrid K-Means: Combining Regression-Wise and Centroid-Based Criteria for QSAR
Mirkin, Boris
Hybrid K-Means: Combining Regression-Wise and Centroid-Based Criteria for QSAR Robert Stanforth1 traditional methods of cluster-analysis such as K-Means clustering may not work very well because they capture in the space of input variables. The combined clustering criterion is referred to as the hybrid K-means cri
Constrained K-means Clustering with Background Knowledge Kiri Wagstaff wkiri@cs.cornell.edu
Wagstaff, Kiri L.
Constrained K-means Clustering with Background Knowledge Kiri Wagstaff wkiri@cs.cornell.edu Claire the popular k-means clustering algorithm can be profitably modi- fied to make use of this information. In ex, 2000). K-means is another popular clustering algorithm that has been used in a variety of application
Continuous K-Means Monitoring with Low Reporting Cost in Sensor Networks
Morik, Katharina
Continuous K-Means Monitoring with Low Reporting Cost in Sensor Networks Ming Hua, Man Ki Lau, Jian an interesting problem: continuously monitoring k-means clustering of sensor readings in a large sensor network. Given a set of sensors whose readings evolve over time, we want to maintain the k-means of the readings
k-means--: A unified approach to clustering and outlier detection Sanjay Chawla
Gionis, Aristides
k-means--: A unified approach to clustering and outlier detection Sanjay Chawla Aristides Gionis. Our approach is formalized as a generalization of the k-means problem. We prove that the problem is NP will propose a generalization of the k-means problem with the aim of simultaneously clus- tering data
A Generalization of Proximity Functions for K-means , Hui Xiong2
Xiong, Hui
A Generalization of Proximity Functions for K-means Junjie Wu1 , Hui Xiong2 , Jian Chen1 , Wenjun@andromeda.rutgers.edu, wjzhou@pegasus.rutgers.edu Abstract K-means is a widely used partitional clustering method. A large amount of effort has been made on finding better proximity (distance) functions for K-means. However
A Prototypes-Embedded Genetic K-means Algorithm Shih-Sian Cheng1,2
Wang, Hsin-Min
A Prototypes-Embedded Genetic K-means Algorithm Shih-Sian Cheng1,2 , Yi-Hsiang Chao1,2 , Hsin into the chromosomes. The crossover operator is designed to exchange prototypes between two chromosomes. The one-step K-means K-means algorithm (PGKA). With the inherent evolution process of evolutionary algorithms, PGKA has
Fast and Exact Out-of-Core K-Means Clustering Anjan Goswami Ruoming Jin
Jin, Ruoming
Fast and Exact Out-of-Core K-Means Clustering Anjan Goswami Ruoming Jin Department of Computer Abstract Clustering has been one of the most widely studied top- ics in data mining and k-means clustering has been one of the popular clustering algorithms. K-means requires several passes on the entire
Nov 16th, 2001Copyright 2001, Andrew W. Moore K-means and
Silvano, Cristina
1 Nov 16th, 2001Copyright © 2001, Andrew W. Moore K-means and Hierarchical Clustering Andrew W gratefully received. Copyright © 2001, Andrew W. Moore K-means and Hierarchical Clustering: Slide 2 Some Data, friendly and infinitely popular alternative... Copyright © 2001, Andrew W. Moore K-means and Hierarchical
K-means Clustering via Principal Component Analysis Chris Ding chqding@lbl.gov
Ding, Chris
K-means Clustering via Principal Component Analysis Chris Ding chqding@lbl.gov Xiaofeng He xhe component analysis (PCA) is a widely used statistical technique for unsuper- vised dimension reduction. K-means that principal components are the continuous solutions to the discrete cluster membership indicators for K-means
A Deterministic Method for Initializing K-means Clustering Northeastern University
Dy, Jennifer G.
A Deterministic Method for Initializing K-means Clustering Ting Su Northeastern University Boston@ece.neu.edu Abstract The performance of K-means clustering depends on the initial guess of partition. In this paper, we. The criterion that K-means clustering minimizes is the SSE (sum-squared-error) criterion. The first principal di
Constrained K-means Clustering with Background Knowledge Kiri Wagsta wkiri@cs.cornell.edu
Cardie, Claire
Constrained K-means Clustering with Background Knowledge Kiri Wagsta#11; wkiri, we demonstrate how the popular k-means clustering algorithm can be pro#12;tably modi- #12;ed to make to constrain their clus- ter placement (Wagsta#11; & Cardie, 2000). K-means is another popular clustering
Kernel k-means, Spectral Clustering and Normalized Cuts Inderjit S. Dhillon
Ghosh, Joydeep
Kernel k-means, Spectral Clustering and Normalized Cuts Inderjit S. Dhillon Dept. of Computer. of Computer Sciences University of Texas at Austin Austin, TX 78712 kulis@cs.utexas.edu ABSTRACT Kernel k-means an ex- plicit theoretical connection between them. We show the generality of the weighted kernel k-means
K-means Clustering versus Validation Measures: A Data Distribution Perspective
Xiong, Hui
K-means Clustering versus Validation Measures: A Data Distribution Perspective Hui Xiong Rutgers University jchen@mail.tsinghua.edu.cn ABSTRACT K-means is a widely used partitional clustering method. While there are considerable research efforts to characterize the key features of K-means clustering, further investigation
Analysis of k-means++ for Separable Data Ragesh Jaiswal1
Prasad, Sanjiva
Analysis of k-means++ for Separable Data Ragesh Jaiswal1 and Nitin Garg1 Department of Computer Science and Engineering, IIT Delhi, New Delhi, India. {cs5070222 , rjaiswal}@cse.iitd.ac.in. Abstract. k-means is the point set), then the sampling algorithm gives an O(1)-approximation for the k-means problem
In Search of Deterministic Methods for Initializing K-Means and Gaussian Mixture
Dy, Jennifer G.
In Search of Deterministic Methods for Initializing K-Means and Gaussian Mixture Clustering Ting Su of K-means and Gaussian mixture model (GMM) clustering depends on the initial guess of partitions) partitioning and Var-Part (Variance Partitioning). K-means clustering tries to minimize the sum-squared- error
Constrained K-means Clustering with Background Knowledge Kiri Wagsta wkiri@cs.cornell.edu
Wagstaff, Kiri L.
Constrained K-means Clustering with Background Knowledge Kiri Wagsta#11; wkiri how the popular k-means clustering algorithm can be pro#12;tably modi- #12;ed to make use#11; & Cardie, 2000). K-means is another popular clustering algorithm that has been used in a variety
Mandarin Digital Speech Recognition Based on a Chaotic Neural Network and Fuzzy C-means Clustering
Freeman, Walter J.
performance than the hard k-means clustering. I. INTRODUCTION Digital speech recognition can be widely used of the feature vectors varies along with the lasting time of different digital speech. So, the k-means clustering the extracted features of ambiguous Mandarin digital speech in comparison with the k-means clustering algorithm
Agglomerative Fuzzy K-Means Clustering Algorithm with Selection of Number of Clusters
Cheung, Yiu-ming
Agglomerative Fuzzy K-Means Clustering Algorithm with Selection of Number of Clusters Mark Junjie--In this paper, we present an agglomerative fuzzy K-Means clustering algorithm for numerical data, an extension to the standard fuzzy K-Means algorithm by introducing a penalty term to the objective function to make
Learning Manifolds with K-Means and K-Flats Guille D. Canas ,
Poggio, Tomaso
Learning Manifolds with K-Means and K-Flats Guille D. Canas , Tomaso Poggio , Lorenzo A. Rosasco samples. In particular, we consider piecewise constant and piecewise linear estima- tors induced by k-means and k-flats, and analyze their performance. We extend previous results for k-means in two separate
Learning feature weights for K-Means clustering using the Minkowski metric
Amorim, Renato Cordeiro de
Learning feature weights for K-Means clustering using the Minkowski metric Renato Cordeiro de or award at this or any other academic institution. Signed: Renato Cordeiro de Amorim #12;iii Abstract K-Means are taken from a database just because they are available. Another issue of our concern is that K-Means
A Simple Linear Time (1 + )-Approximation Algorithm for k-Means Clustering in Any Dimensions
Sen, Sandeep
A Simple Linear Time (1 + )-Approximation Algorithm for k-Means Clustering in Any Dimensions Amit@cse.iitd.ernet.in Abstract We present the first linear time (1+)-approximation al- gorithm for the k-means problem for fixed of the most popular definitions of cluster- ing is the k-means clustering problem. Given a set of points P
How Fast is the k-means Method? Sariel Har-Peled
Har-Peled, Sariel
How Fast is the k-means Method? Sariel Har-Peled Bardia Sadri October 12, 2004 Abstract We present polynomial upper and lower bounds on the number of iterations per- formed by the k-means method (a.k.a. Lloyd's method) for k-means clustering. Our upper bounds are polynomial in the number of points, number
How Fast is the k-means Method? Sariel Har-Peled
Toronto, University of
How Fast is the k-means Method? Sariel Har-Peled Bardia Sadri January 2, 2010 Abstract We present polynomial upper and lower bounds on the number of iterations performed by the k-means method (a.k.a. Lloyd's method) for k-means clustering. Our upper bounds are polynomial in the number of points, number
Learning Feature Representations with K-means Adam Coates and Andrew Y. Ng
Bejerano, Gill
Learning Feature Representations with K-means Adam Coates and Andrew Y. Ng Stanford University effectively. Recently, it has been found that K-means clustering can be used as a fast alternative training. On the other hand, employing this method in practice is not completely trivial: K-means has several limitations
A Modified K-Means Clustering with a Density-Sensitive Distance Metric
Bo, Liefeng
A Modified K-Means Clustering with a Density-Sensitive Distance Metric Ling Wang, Liefeng Bo {wliiip, blf0218}@163.com, lchjiao@mail.xidian.edu.cn Abstract. The K-Means clustering is by far the most characteristic of data clus- tering. By using this dissimilarity measure, a density-sensitive K-Means clustering
Moment-based Uniform Deviation Bounds for k-means and Friends
Wang, Deli
Moment-based Uniform Deviation Bounds for k-means and Friends Matus Telgarsky Sanjoy Dasgupta are fit to m points by heuristically minimizing the k-means cost; what is the corresponding fit over this mechanism, a soft clustering variant of k-means cost is also considered, namely the log likelihood of a Gaus
Penalized and weighted K-means for clustering with noise and prior
Tseng, George C. "Chien-Cheng"
Penalized and weighted K-means for clustering with noise and prior information incorporation George;Outline Intro of cluster analysis Model-based clustering Heuristic methods Hierarchical clustering K-means & K-memoids ...... A motivating example (yeast cell cycle microarray data) Penalized weighted K-means
Paternal age related schizophrenia (PARS): latent subgroups detected by k-means clustering analysis
Ahn, Hongshik
1 Paternal age related schizophrenia (PARS): latent subgroups detected by k-means clustering of schizophrenia with distinct etiology, pathophysiology and symptoms. This study uses a k-means clustering-R) and olfaction (University of Pennsylvania Smell Identification Test; UPSIT). We conducted a series of k-means
REGULARISED k-MEANS CLUSTERING FOR DIMENSION REDUCTION APPLIED TO SUPERVISED CLASSIFICATION
McLachlan, Geoff
REGULARISED k-MEANS CLUSTERING FOR DIMENSION REDUCTION APPLIED TO SUPERVISED CLASSIFICATION]. The most popular clustering methods are hierarchical and k-means. However, several key issues for the analysis of large datasets is limited. The procedure k-means is relatively scalable and efficient when
Worst-Case and Smoothed Analysis of k-Means Clustering with Bregman Divergences
Al Hanbali, Ahmad
Worst-Case and Smoothed Analysis of k-Means Clustering with Bregman Divergences Bodo Manthey1 Department of Quantitative Economics, Maastricht University heiko@roeglin.org Abstract. The k-means algorithm entropy, which is commonly used to cluster web pages. In this paper, we analyze the running-time of the k-means
Refining k-means by Bootstrap and Data Depth Aurora Torrente and Juan Romo
Romo, Juan
Refining k-means by Bootstrap and Data Depth Aurora Torrente and Juan Romo Departamento de Estad two simple, computationally fast methods that allow the refinement of the initial points of k-means to cluster a given data set. They are based on alternating k-means and the search of the deepest (most
Al Hanbali, Ahmad
A Smoothed Analysis of the k-Means Method DAVID ARTHUR, Stanford University, Department of Computer of Bonn, Department of Computer Science The k-means method is one of the most widely used clustering analysis, the k-means method has been studied in the model of smoothed analysis. But even the smoothed
Multi-Resolution K-Means Clustering of Time Series and Application to Images
Lin, Jessica
Multi-Resolution K-Means Clustering of Time Series and Application to Images Michail Vlachos using orthonormal decompositions, we present an anytime version of the k-Means algorithm. The algorithm centers for k-Means is mitigated by assigning the final centers at each approximation level as the initial
Impartial Trimmed k-means for Functional Juan Antonio Cuesta-Albertos a 1
Cuesta, Juan Antonio
Impartial Trimmed k-means for Functional Data Juan Antonio Cuesta-Albertos a 1 , Ricardo Fraiman b. For cluster analysis, impartial trimming techniques offer a resistant alternative to k-means, one of the most widely used cluster methods. A quick description of k-means is the following: For a fixed value of k
Efficient Disk-based K-means Clustering for Relational Databases
Ordonez, Carlos
1 Efficient Disk-based K-means Clustering for Relational Databases Carlos Ordonez Edward Omiecinski Teradata, NCR Georgia Institute of Technology San Diego, CA 92127, USA Atlanta, GA 30332, USA Abstract--K-means- plementation of K-means. The proposed algorithm is designed to work inside a relational database management
Decentralized K-means using randomized Gossip protocols for clustering large datasets
Paris-Sud XI, Universit de
Decentralized K-means using randomized Gossip protocols for clustering large datasets Jerome Fellus datasets distributed over a network of computational units using a decentralized K-means algorithm with a centralized K-means, provided a bound on the number of messages each node has to send is met. We provide
CONSENSUS-BASED K-MEANS ALGORITHM FOR DISTRIBUTED LEARNING USING WIRELESS SENSOR NETWORKS
Pleite, Alfonso Cano
CONSENSUS-BASED K-MEANS ALGORITHM FOR DISTRIBUTED LEARNING USING WIRELESS SENSOR NETWORKS Pedro A centralized clustering ap- proaches impractical. This paper develops two decentralized k-means algorithms that distributed k- means are less sensitive to initialization than their centralized counterparts resulting
Estimating quality factor and mean grain size of sediments from high-resolution marine seismic data
National Oceanography Centre Southampton
model of quality factor against mean grain size from published sediment studies, the mean grain sizes with frequency. The Biot-Stoll model shows a marked velocity dispersion and nonlinear transition in compressionalEstimating quality factor and mean grain size of sediments from high-resolution marine seismic data
Harstad, Kenneth; Bellan, Josette [4800 Oak Grove Drive, M/S 125-109, Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109-8099 (United States)
2010-08-15T23:59:59.000Z
A methodology for deriving a reduced kinetic mechanism for alkane oxidation is described and applied to n-heptane. The model is based on partitioning the species of the skeletal kinetic mechanism into lights, defined as those having a carbon number smaller than 3, and heavies, which are the complement in the species ensemble. For modeling purposes, the heavy species are mathematically decomposed into constituents, which are similar but not identical to groups in the group additivity theory. From analysis of the LLNL skeletal mechanism in conjunction with CHEMKIN II, it is shown that a similarity variable can be formed such that the appropriately scaled global constituent molar density exhibits a self-similar behavior over a very wide range of equivalence ratios, initial pressures and initial temperatures that is of interest for predicting n-heptane oxidation. Furthermore, the oxygen and water molar densities are shown to display a quasi-linear behavior with respect to the similarity variable. The light species ensemble is partitioned into quasi-steady and unsteady species. The concept is tested by using tabular information from the LLNL skeletal mechanism in conjunction with CHEMKIN II. The test reveals that the similarity concept is indeed justified and that the combustion temperature is well predicted, but that the ignition time is overpredicted. To palliate this deficiency, functional modeling is incorporated into our conceptual reduction. Due to the reduction process, models are also included for the global constituent molar density, the kinetics-induced enthalpy evolution of the heavy species, the contribution to the reaction rate of the unsteady lights from the heavies, the molar density evolution of oxygen and water, the mole fractions of the quasi-steady light species and the mean molar heat capacity of the heavy species. The model is compact in that there are only nine species-related progress variables. Results are presented comparing the performance of the model for predicting the temperature and species evolution with that of the skeletal mechanism. The model reproduces the ignition time over a wide range of equivalence ratios, initial pressure and initial temperature. (author)
A fast version of the k-means classification algorithm for astronomical applications
Ordovs-Pascual, I
2014-01-01T23:59:59.000Z
Context. K-means is a clustering algorithm that has been used to classify large datasets in astronomical databases. It is an unsupervised method, able to cope very different types of problems. Aims. We check whether a variant of the algorithm called single-pass k-means can be used as a fast alternative to the traditional k-means. Methods. The execution time of the two algorithms are compared when classifying subsets drawn from the SDSS-DR7 catalog of galaxy spectra. Results. Single-pass k-means turn out to be between 20 % and 40 % faster than k-means and provide statistically equivalent classifications. This conclusion can be scaled up to other larger databases because the execution time of both algorithms increases linearly with the number of objects. Conclusions. Single-pass k-means can be safely used as a fast alternative to k-means.
A Simple Linear Time (1 + #)Approximation Algorithm for kMeans Clustering in Any Dimensions
Kumar, Amit
A Simple Linear Time (1 + #)Approximation Algorithm for kMeans Clustering in Any Dimensions Amit@cse.iitd.ernet.in Abstract We present the first linear time (1+#)approximation al gorithm for the kmeans problem for fixed of the most popular definitions of cluster ing is the kmeans clustering problem. Given a set of points P
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-28T23:59:59.000Z
A method and means for continuous precipitation of granular uranium peroxide. The reaction vessel and agitation method practiced in it avoid filter plugging and caking problems.
Helfritch, D.J.; Bortz, S.J. [Research-Cottrell, Inc., Somerville, NJ (United States); Beittel, R. [Riley Stoker Corp., Worcester, MA (United States)
1994-03-01T23:59:59.000Z
The integrated Dry Injection Process (IDIP) consists of combustion modification using low NO{sub x} burners to reduce NO{sub x} emissions, dry injection of hydrated line at economizer temperatures for primary capture of SO{sub 2}, dry injection of a commercial grade sodium bicarbonate at the air heater exit for additional SO{sub 2} and NO{sub x} removal, and humidification for precipitator conditioning. IDIP offers the potential for simultaneously achieving 90% SO{sub 2} removal, and 65% NO{sub x} removal from a high sulfur flue gas. The process is well suited for new or retrofit applications since it can be incorporated within existing economizer and downstream ductwork. Subscale tests were performed in order to identify the best calcium and sodium sorbents. These tests involved the injection of calcium hydroxide and sodium sorbents at various points of the flue gas system downstream of a 0.25 MM BTU/hr. coal fired combustor, and the gas residence times, cooling rates and temperatures were comparable to those found for full-scale utility boilers. These tests verified that a high surface area hydrated lime provides maximum sorbent utilization and identified an alcohol-water hydrated lime as yielding the highest surface area and the best SO{sub 2} removal capability. The tests also identified sodium bicarbonate to be somewhat more effective than sodium sesquicarbonate for SO{sub 2} removal. The proof of concept demonstration was conducted on the large combustor at the Riley Stoker Research Facility in Worcester, MA. When economically compared to conventional limestone slurry scrubbing on a 300 MW plant, the dry injection process shows lower capital cost but higher operating cost. Hydrated lime injection can be less costly than limestone scrubbing when two or more of the following conditions exist: plant is small (less than 100MW); yearly operating hours are small (less than 3000); and the remaining plant lifetime is small (less than 10 years).
Research papers The vertical structure of time-mean estuarine circulation in a shallow,
Polton, Jeff
the mean fluid depth the residual circulation is well modelled by a water column of uniform density 2013 Accepted 5 March 2013 Available online 27 March 2013 Keywords: Tidal residual ROFI HF radar ADCP) model shows that the time-mean depth weighted flow, or the residual circulation, is usefully constrained
Complementary relationship of evaporation and the mean annual water-energy balance
Szilagyi, Jozsef
Complementary relationship of evaporation and the mean annual water-energy balance Jozsef Szilagyi1 and the mean annual water-energy balance, Water Resour. Res., 45, W09201, doi:10.1029/2009WR008129. [2] Gerrits balance necessarily operates at the catchment scale, plus E0 depends predominantly on the available energy