Sample records for icp interference check

  1. Boston University User Fee Structure for ICP-ES, ICP-MS and Laser Labs

    E-Print Network [OSTI]

    Hutyra, Lucy R.

    Cost per sample by laser ablation includes three spots on a sample plus an additional three spotsBoston University User Fee Structure for ICP-ES, ICP-MS and Laser Labs The Department of Earth come to BU and digest their samples in our labs with sufficient training. Laser-ICP-MS cost per sample

  2. ICP-MS Workshop

    SciTech Connect (OSTI)

    Carman, April J.; Eiden, Gregory C.

    2014-11-01T23:59:59.000Z

    This is a short document that explains the materials that will be transmitted to LLNL and DNN HQ regarding the ICP-MS Workshop held at PNNL June 17-19th. The goal of the information is to pass on to LLNL information regarding the planning and preparations for the Workshop at PNNL in preparation of the SIMS workshop at LLNL.

  3. Check valve

    DOE Patents [OSTI]

    Upton, H.A.; Garcia, P.

    1999-08-24T23:59:59.000Z

    A check valve for use in a GDCS of a nuclear reactor and having a motor driven disk including a rotatable armature for rotating the check valve disk over its entire range of motion is described. In one embodiment, the check valve includes a valve body having a coolant flow channel extending therethrough. The coolant flow channel includes an inlet end and an outlet end. A valve body seat is located on an inner surface of the valve body. The check valve further includes a disk assembly, sometimes referred to as the motor driven disc, having a counterweight and a disk shaped valve. The disk valve includes a disk base having a seat for seating with the valve body seat. The disk assembly further includes a first hinge pin member which extends at least partially through the disk assembly and is engaged to the disk. The disk valve is rotatable relative to the first hinge pin member. The check valve also includes a motor having a stator frame with a stator bore therein. An armature is rotatably positioned within the stator bore and the armature is coupled to the disk valve to cause the disk valve to rotate about its full range of motion. 5 figs.

  4. Check valve

    DOE Patents [OSTI]

    Upton, Hubert Allen (Morgan Hill, CA); Garcia, Pablo (Stanford, CA)

    1999-08-24T23:59:59.000Z

    A check valve for use in a GDCS of a nuclear reactor and having a motor driven disk including a rotatable armature for rotating the check valve disk over its entire range of motion is described. In one embodiment, the check valve includes a valve body having a coolant flow channel extending therethrough. The coolant flow channel includes an inlet end and an outlet end. A valve body seat is located on an inner surface of the valve body. The check valve further includes a disk assembly, sometimes referred to as the motor driven disc, having a counterweight and a disk shaped valve. The disk valve includes a disk base having a seat for seating with the valve body seat. The disk assembly further includes a first hinge pin member which extends at least partially through the disk assembly and is engaged to the disk. The disk valve is rotatable relative to the first hinge pin member. The check valve also includes a motor having a stator frame with a stator bore therein. An armature is rotatably positioned within the stator bore and the armature is coupled to the disk valve to cause the disk valve to rotate about its full range of motion.

  5. INTERFERENCE Interference from Thin Films

    E-Print Network [OSTI]

    La Rosa, Andres H.

    INTERFERENCE Interference from Thin Films Lecture notes La Rosa Portland State University PH-213 through, a sheet of glass #12;Out of phase #12;In phase #12;#12;Interference from thin films Key reasoning for analyzing interference in a thin film: Waves undergo phase shift due to i) reflections at a interface

  6. Q00906010024 rock check dam

    E-Print Network [OSTI]

    00906010024 rock check dam Q00906010025 rock check dam Q00906010021 rock check dam Q00906010022 rock check dam Q00906010027 rock check dam Q00906010026 rock check dam Q00906010018 rock check dam Q00906010023 rock check dam Q00906010011 rock check dam Q00906010008 rock check dam Q00906010007 rock check dam Q

  7. Laser Ablation-ICP-MS Analysis of Dissected Tissue: A

    E-Print Network [OSTI]

    Hopkins, William A.

    Laser Ablation-ICP-MS Analysis of Dissected Tissue: A Conservation-Minded Approach to Assessing the animal. In this paper, we report on the application of laser ablation-ICP-MS (LA- ICP-MS) for sampling

  8. CORAL Name: STS 2 Model Number: ICP

    E-Print Network [OSTI]

    Reif, Rafael

    CORAL Name: STS 2 Model Number: ICP Location: TRL Introduction: The ST Systems Multiplex ICP tool prior to starting your process in CORAL. Loading a Wafer: The wafer is loaded into the system using of the tool. #12;If there are any issues with the tool post a comment in CORAL and contact Donal 2-2983. #12;

  9. Using Model Checking for Analyzing Distributed Power Control Problems

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    1 Using Model Checking for Analyzing Distributed Power Control Problems Thomas Brihaye, Marc. Realizing that the distributed power control (PC) problem can be modeled by a timed game between a given Distributed power control, game theory, interference channel, model checking, timed games, verification

  10. V00306010057 rock check dam

    E-Print Network [OSTI]

    ¬« ¬« ¬« ¬« ¬« XY! 16-020 16-030(c) 16-026(l) 16-028(c) 16-026(l) V00306010057 rock check dam V00306010012 rock check dam V00306010040 rock check dam V00306010039 rock check dam V00306010058 rock check dam V00306010064 rock check dam V00306010061 rock check dam V00306010062 rock check dam V00306010063

  11. Radionuclide content of simulated and fully radioactive SRLLL waste gl;asses: comparison of results from ICP-MS, gamma spectrometry and alpha spectrometry

    SciTech Connect (OSTI)

    Wolf, S.F.; Bates, J.K.

    1995-12-31T23:59:59.000Z

    We have measured the transuranic content of two transuranic=doped, simulated waste glasses, using inductively coupled plasma-mass spectrometry (ICP-MS), {gamma}-spectrometry, and {alpha}-spectrometry. Average concentrations measured by each technique were within {+-} 10% of the as-doped concentrations. We also report the transuranic content of three fully radioactive SRL waste glasses that were determined using {gamma}- and {alpha}-spectrometry measurements to deconvolute isobaric interferences present in the ICP-MS analyses.

  12. CORAL Name: STS 1 Model Number: ICP

    E-Print Network [OSTI]

    Reif, Rafael

    CORAL Name: STS 1 Model Number: ICP Location: TRL What it does: Deep Silicon Etch Introduction prior to use and to ENGAGE MACHINE prior to starting your process in CORAL. Venting and Loading a Wafer

  13. ICP (Institutional Conservation Program) monitoring

    SciTech Connect (OSTI)

    Not Available

    1989-08-01T23:59:59.000Z

    The following pages present the final report of activities undertaken by Carpenter Environmental Associates, Inc. (CEA) in carrying out its contractual obligations for the New York Support Office of the US Department of Energy. The contract calls for the field monitoring/review of DOE grants to schools and hospitals under the Institutional Conservation Program (ICP). This final report is the result of a review of statistics and findings gathered over the period of the contract, which included monitoring visits to 50 grantees in New York State and New Jersey. The report is intended to highlight aspects of the monitoring project and to make recommendations. This report is organized into four sections: Section 1 details the steps taken by CEA in organizing and implementing the review; Section 2 presents program statistics; Section 3 discusses monitoring review concerns, implementation issues and commonly observed problems/accomplishments; and Section 4 lists recommendations. Taken as a whole, this final report is intended to convey a complete picture of CEA's activities under this contract. 25 tabs.,

  14. V01406010015 rock check dam

    E-Print Network [OSTI]

    XY! ¬« ¬« V01406010015 rock check dam V01406010014 rock check dam V01406010013 rock check dam 1501403010012 earthen berm V01403010008 earthen berm V01406010003 rock check dam V01406010004 rock check dam V01406010010 rock check dam V01406010011 rock check dam 15-0651 15-0307 15-0588 15-0532 15-0575 stormdrain 7160

  15. 2011 Interference -1 INTERFERENCE OF SOUND WAVES

    E-Print Network [OSTI]

    Glashausser, Charles

    2011 Interference - 1 INTERFERENCE OF SOUND WAVES The objectives of this experiment are: · To measure the wavelength, frequency, and propagation speed of ultrasonic sound waves. · To observe interference phenomena with ultrasonic sound waves. APPARATUS: Oscilloscope, function generator, ultrasonic

  16. J00206010020 rock check dam

    E-Print Network [OSTI]

    XY! J00206010020 rock check dam J00206010023 rock check dam 09-009 09-009 09-009 PJ-SMA-2 0.901 Acres J00206010021 rock check dam J00206010019 rock check dam J00206010014 rock check dam J00203010007 Smith DATE: 14-November-2014 REVISION NUMBER: 8 XY! IP sampler location Berm Channel/swale Check dam

  17. T00406010008 rock check dam

    E-Print Network [OSTI]

    XY! ¬« T00406010008 rock check dam T00406010009 rock check dam T00406010010 rock check dam T00406010011 rock check dam T-SMA-2.85 0.344 Acres 35-014(g) 35-016(n) T00406010005 rock check dam T00406010006 rock check dam T00403090004 curb T00402040007 established vegetation, green hatch area 7200 7200 7180

  18. Solid-phase chelation for the determination of trace elements by ICP-MS

    SciTech Connect (OSTI)

    Taylor, D.B.; Kingston, H.M.; Nogay, D. [Duquesne Univ., Pittsburgh, PA (United States)

    1995-12-31T23:59:59.000Z

    A low pressure method for the concentration of analytes and elimination of matrix elements prior to determination by ICP-MS is described. The method reduces the interferences caused by high concentrations of matrix elements in samples and biases caused by differences between samples and standards by delivering the analytes to the ICP-MS in a consistent nitric acid matrix. The method uses a commercially available low pressure sample manipulation system (PrepLab, Fisons) to perform Solid Phase Chelation (SPC) on an iminodiacetate column. The effectiveness of the method is demonstrated for the determination of Cd, Co, Cu, Mn, Ni, Pb, U, and Zn in the certified reference materials CASS-2, near shore seawater, NASS-4, open ocean seawater, and 1643b, trace elements in water. The detection limits for 10 mL samples ranged from 0.4 ng L{sup -1} for Co to 5.6 ng L{sup -1} for Ni and Zn.

  19. W02106010008 rock check dam

    E-Print Network [OSTI]

    W-SMA-14.1 5.169 Acres W02106010008 rock check dam W02106010009 rock check dam W02106010010 rock check dam W02106010011 rock check dam W02106010012 rock check dam W02103010018 earthen berm W02103010016 dam Established vegetation Seed and mulch Sediment trap/basin Gabion Cap SWMU boundary SMA drainage

  20. STEP Intern Reference Check Sheet

    Broader source: Energy.gov [DOE]

    STEP Intern Reference Check Sheet, from the Tool Kit Framework: Small Town University Energy Program (STEP).

  1. ICP (Institutional Conservation Program) monitoring: Final report

    SciTech Connect (OSTI)

    Not Available

    1986-09-01T23:59:59.000Z

    The following pages present the Final Report of activities undertaken by Arawak in carrying out its contractual obligations for the New York Support Office of US Department of Energy. The contract calls for the field monitoring/review of DOE grants to schools and hospitals under the Institutional Conservation Program (ICP). This Final Report is the result of a review of statistics and findings gathered over the period of the contract, which included monitoring visits to 78 grantees in New York State and New Jersey. The report is intended to highlight aspects of the monitoring project and to make recommendations.

  2. ICP Solar Technologies Inc | Open Energy Information

    Open Energy Info (EERE)

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

  3. An Introduction to Model Checking

    E-Print Network [OSTI]

    Wolper, Pierre

    expertise and is not yet sufficiently powerful to be widely usable. Model checking [CES86] is often thought­state systems and, though this limitation is no longer absolute, model checking is still only applicable aspect on which model checking diverges from traditional verification is that it is fully algorithmic

  4. ICP analysis of water slurries of ashes

    SciTech Connect (OSTI)

    Riley, J.T.; Renfrow, M.B.; Riley, J.M. Jr.

    1995-08-01T23:59:59.000Z

    The direct injection of solids-water slurries into the torch of an inductively coupled plasma-atomic emission spectrometer offers a rapid and easy method for the analysis of major and minor elements in various solids. In this project aqueous slurries of solids were prepared by milling with a stirred-ball slurry attritor mill and analyzed. Slurries of standard reference materials, prepared in the same manner, were used to calibrate the spectrometer. The best results were obtained with solids having a small particle size (2-5 {mu}m) and a close distribution of particle sizes. The average percent relative error for slurry-ICP analysis of most major and minor elements was generally less than 5% for the materials studied.

  5. Microsoft Word - ICP-12-010webpost.doc

    Broader source: Energy.gov (indexed) [DOE]

    IDAHO NATIONAL LABORATORY Page 2 of 2 CX Posting No.: DOE-ID-ICP-12-004 incineration requirements for disposal. Processing that meets the RCRA definition of treatment...

  6. Harnessing Interference Bobak Nazer

    E-Print Network [OSTI]

    Nazer, Bobak

    as Noise · Decode Interference #12;Coding Strategies w1 w2 ^u u = a1w1 a2w2 · Orthogonalize · Treat

  7. Check Estimates and Independent Costs

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

    1997-03-28T23:59:59.000Z

    Check estimates and independent cost estimates (ICEs) are tools that can be used to validate a cost estimate. Estimate validation entails an objective review of the estimate to ensure that estimate criteria and requirements have been met and well documented, defensible estimate has been developed. This chapter describes check estimates and their procedures and various types of independent cost estimates.

  8. Expression equivalence checking using interval analysis

    E-Print Network [OSTI]

    Ghodrat, Mohammad Ali; Givargis, Tony; Nicolau, Alex

    2006-01-01T23:59:59.000Z

    Z. Zhou and W. Burleson, “Equivalence checking of datapathsusing combinational equivalence for extensible processor,”et al. : EXPRESSION EQUIVALENCE CHECKING USING INTERVAL

  9. Estimation of the formation rates of polyatomic species of heavy metals in plutonium analyses using a multicollector ICP-MS with a desolvating nebulizer

    SciTech Connect (OSTI)

    Mitroshkov, Alexandre V. [Pacific Northwest National Lab. (PNNL), Richland, WA (United States); Olsen, Khris B. [Pacific Northwest National Lab. (PNNL), Richland, WA (United States); Thomas, Linda M. [Pacific Northwest National Lab. (PNNL), Richland, WA (United States)

    2015-01-01T23:59:59.000Z

    The analyses of IAEA and environmental samples for Plutonium isotopic content are conducted normally at very low concentrations of Pu–usually in the range of part per trillion level and even more often at the parts per quadrillion level. To analyze such low concentrations, the interferences in the analytical solution must be reduced as much as possible. Polyatomic interferences (PIs), formed by the heavy metals (HMs) from Hf to Bi are known to create the problems for Pu isotopic analyses, because even the relatively high resolution of a modern multicollector ICP-MS is not enough to separate Pu isotopes from this PIs in most of the cases. Desolvating nebulizers (DSN) (e.g. APEX and AridusII) reduce significantly the formation of PIs compare to the use of wet plasma. The purpose of this work was to investigate the rate of formation of PIs, produced by HMs, when high resolution MC ICP-MS with desolvating nebulizer was used for Pu isotopic analyses and to estimate the influence of the metals present in the sample on the results of analyses. The NU Plasma HR Multicollector and AridusII desolvating nebulizer were used in this investigation. This investigation was done for all Pu isotopes normally analyzed by ICP-MS, including ²??Pu, with the exception of ²³?Pu, which most of the time can’t be analyzed by ICP-MS, because of the overwhelming presence of ²³?U in the solutions. The PI formation rates were determined and reported for all 12 HMs from Hf to Bi. Selected IAEA samples were scanned for the presence of HMs and the influence of HMs on the results of Pu isotopic analyses was evaluated. It was found that the implemented separation procedure provides sufficient separation of HM from Pu, although the effect of PIs on the measurement of low level isotopes like ²?¹Pu and ²?²Pu in some cases can still be observed.

  10. Integrity Checking for Uncertain Data Hendrik Decker

    E-Print Network [OSTI]

    Martinenghi, Davide

    , and to check them by making use of well-known methods for integrity checking. In the remainder of the paper, weIntegrity Checking for Uncertain Data Hendrik Decker Instituto Tecnol´ogico de Inform´atica E as semantic integrity constraints. Thus, imposing and checking such constraints provides a better control over

  11. Pet Groomer? Check this out....

    E-Print Network [OSTI]

    New Hampshire, University of

    Want to be a Pet Groomer? Check this out.... Costs for Students Registering through UNH Continuing. For more information and an application, contact: Thompson School of Applied Science Pet Grooming Diploma Program in Pet Grooming University of New Hampshire Thompson School of Applied Science Applied Animal

  12. Timed CTL Model Checking Lecture #16 of Advanced Model Checking

    E-Print Network [OSTI]

    Ábrahám, Erika

    = , if either: · for all x C: (x) > cx and (x) > cx, or · for any x, y C with (x) cx and (x) cx, and (y) cy(TA) is defined by: [s] = , [] = { s, | [] } c JPK 9 #12;Advanced model checking Example cx=2, cy=1 c JPK 10 from below and above by: |C|! xC cx Eval(C)/= number of regions |C|! 2|C|-1 xC (2cx + 2) where

  13. Model checking quantum Markov chains

    E-Print Network [OSTI]

    Yuan Feng; Nengkun Yu; Mingsheng Ying

    2013-11-14T23:59:59.000Z

    Although the security of quantum cryptography is provable based on the principles of quantum mechanics, it can be compromised by the flaws in the design of quantum protocols and the noise in their physical implementations. So, it is indispensable to develop techniques of verifying and debugging quantum cryptographic systems. Model-checking has proved to be effective in the verification of classical cryptographic protocols, but an essential difficulty arises when it is applied to quantum systems: the state space of a quantum system is always a continuum even when its dimension is finite. To overcome this difficulty, we introduce a novel notion of quantum Markov chain, specially suited to model quantum cryptographic protocols, in which quantum effects are entirely encoded into super-operators labelling transitions, leaving the location information (nodes) being classical. Then we define a quantum extension of probabilistic computation tree logic (PCTL) and develop a model-checking algorithm for quantum Markov chains.

  14. Model checking quantum Markov chains

    E-Print Network [OSTI]

    Feng, Yuan; Ying, Mingsheng

    2012-01-01T23:59:59.000Z

    Although the security of quantum cryptography is provable based on the principles of quantum mechanics, it can be compromised by the flaws in the design of quantum protocols and the noise in their physical implementations. So, it is indispensable to develop techniques of verifying and debugging quantum cryptographic systems. Model-checking has proved to be effective in the verification of classical cryptographic protocols, but an essential difficulty arises when it is applied to quantum systems: the state space of a quantum system is always a continuum even when its dimension is finite. To overcome this difficulty, we introduce a novel notion of quantum Markov chain, specially suited to model quantum cryptographic protocols, in which quantum effects are entirely encoded into super-operators labelling transitions, leaving the location information (nodes) being classical. Then we define a quantum extension of probabilistic computation tree logic (PCTL) and develop a model-checking algorithm for quantum Markov c...

  15. Model-Checking A Tutorial Introduction

    E-Print Network [OSTI]

    Müller-Olm, Markus

    Model-Checking A Tutorial Introduction Markus M¨uller-Olm1 , David Schmidt2 , and Bernhard Steffen1

  16. Local Model Checking Games (Extended Abstract)

    E-Print Network [OSTI]

    Stirling, Colin

    University of Edinburgh Edinburgh EH9 3JZ, UK email: cps@uk.ac.ed.dcs 1 Introduction Model checking is a very to view this method as essentially algorithmic, and consequently a very fruitful relationship between that in the nite-state case these two approaches, model checking as essentially algorithmic and model checking

  17. Local Model Checking Games (Extended Abstract)

    E-Print Network [OSTI]

    Stirling, Colin

    University of Edinburgh Edinburgh EH9 3JZ, UK email: cps@uk.ac.ed.dcs 1 Introduction Model checking is a very to view this method as essentially algorithmic, and consequently a very fruitful relationship between that in the finite­state case these two approaches, model checking as essentially algorithmic and model checking

  18. Dynamic Testing of Check Valves William Rahmeyer

    E-Print Network [OSTI]

    Rahmeyer, William J.

    the web site http://www.engineering.usu.edu/Departments/cee/Faculty/rahm/check.html INTRODUCTION The twoDynamic Testing of Check Valves William Rahmeyer Professor of Civil and Environmental Engineering rahmeyer@fs.uwrl.usu.edu http://www.engineering.usu.edu/Departments/cee/Faculty/rahm/check.html #12

  19. Payroll Check Direct Deposit Authorization

    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)IntegratedSpeeding access toTestPhysicsParticipantsPartnersC.Payroll Check Direct

  20. Interference Effects in the Brain

    E-Print Network [OSTI]

    Jerzy Szwed

    2008-03-14T23:59:59.000Z

    Interference effects are the most spectacular manifestation of the wave nature of phenomena. This note proposes a systematic search for such effects in the brain.

  1. Sediment profiles of less commonly determined elements measured by Laser Ablation ICP-MS

    E-Print Network [OSTI]

    Mcdonough, William F.

    Sediment profiles of less commonly determined elements measured by Laser Ablation ICP on a short list of high-abundance trace elements. Laser Ablation-Inductively Coupled Plasma-Mass Spectrometry of this investigation is to harness the analytical power of Laser Ablation ICP-MS to explore the behavior of a large

  2. MICROANALYSIS OF SIDEROPHILE ELEMENTS IN FREMDLINGE USING LASER ABLATION ICP-MS. A. J. Campbell

    E-Print Network [OSTI]

    Grossman, Lawrence

    MICROANALYSIS OF SIDEROPHILE ELEMENTS IN FREMDLINGE USING LASER ABLATION ICP-MS. A. J. Campbell 1@midway.uchicago.edu). Introduction: Laser ablation ICP mass spectrome- try has been used to measure distributions of the highly vein in Allende (CV3-oxidized). Experimental: The laser ablation system utilized a CETAC LSX-200 laser

  3. Static Consistency Checking for Distributed Specifications

    E-Print Network [OSTI]

    Finkelstein, Anthony

    Static Consistency Checking for Distributed Specifications Christian Nentwich, Wolfgang Emmerich, UK {c.nentwich,w.emmerich,a.finkelstein}@cs.ucl.ac.uk Abstract Software engineers building a complex

  4. Evaluation of pneumatic nebulization and ns-laser ablation ICP-MS for bulk elemental analysis and 2-dimensional

    E-Print Network [OSTI]

    Claeys, Philippe

    Evaluation of pneumatic nebulization and ns-laser ablation ICP-MS for bulk elemental analysis and 2 nebulization and ns-laser ablation ICP-MS for bulk elemental analysis and 2-dimensional element mapping of iron 20XX DOI: 10.1039/b000000x The capabilities and limitations of nanosecond laser ablation ICP ­ mass

  5. Fortuna: Model Checking Priced Probabilistic Timed Automata

    E-Print Network [OSTI]

    Vaandrager, Frits

    Fortuna: Model Checking Priced Probabilistic Timed Automata Jasper Berendsen, David N. Jansen.O. Box 9010, 6500 GL Nijmegen, the Netherlands Abstract. We introduce Fortuna, the first tool for model checking priced probabilistic timed automata (PPTAs). Fortuna can handle the combination of real

  6. Check Aid Status & Loans on ISIS

    E-Print Network [OSTI]

    Fang, Yuguang "Michael"

    Check Aid Status & Loans on ISIS As a University of Florida (UF) financial aid applicant, you can business using ISIS (the UF Integrated Student Information System): www.isis.ufl.edu 1.CheCk Aid StAtuS/AwArdS on iSiS You are responsible for keeping track of your financial aid file and awards, including

  7. Completeness and Complexity of Bounded Model Checking #

    E-Print Network [OSTI]

    Ouaknine, Joël

    of an exponent between this procedure and standard LTL model checking. We discuss ways to bridge this gap by the Semiconductor Research Corporation (SRC) under contract no. 99­TJ­684, the National Science Foundation (NSF

  8. Completeness and Complexity of Bounded Model Checking

    E-Print Network [OSTI]

    Ouaknine, Joël

    of an exponent between this procedure and standard LTL model checking. We discuss ways to bridge this gap reaches some pre-computed threshold, which indicates that This research is supported by the Semiconductor

  9. Practical API Protocol Checking with Access Permissions

    E-Print Network [OSTI]

    for a large Java standard API with our approach. We also specify several other Java APIs and identify standard APIs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 4.2 ProtocolPractical API Protocol Checking with Access Permissions Kevin Bierhoff Nels E. Beckman Jonathan

  10. Asserting and Checking Determinism for Multithreaded Programs

    E-Print Network [OSTI]

    Sen, Koushik

    Asserting and Checking Determinism for Multithreaded Programs Jacob Burnim EECS Department, UC provided that copies are not made or distributed for profit or commercial advantage and that copies bear

  11. Glass particles produced by laser ablation for ICP-MS measurements

    E-Print Network [OSTI]

    Gonzalez, J.; Liu, C.; Wen, S.; Mao, X.; Russo, R.E.

    2008-01-01T23:59:59.000Z

    Glass particles produced by laser ablation for ICP-MS266nm) was used to generate glass particles from two sets ofWhen the current data on glass were compared with the metal

  12. THE NOTRE DAME INDUCTIVELY COUPLED PLASMA -MASS SPECTROMETRY (ICP-MS)

    E-Print Network [OSTI]

    the PQII STE ICP-MS, Electrothermal Vaporization, and Laser Ablation units The report supercedes STE, LaserProbe (tuned to 266 nm, but with 532 nm and 1046 nm capabilities), CETAC Ultrasonic

  13. Quantum modulation against electromagnetic interference

    E-Print Network [OSTI]

    Juan Carlos Garcia-Escartin

    2014-11-26T23:59:59.000Z

    Periodic signals in electrical and electronic equipment can cause interference in nearby devices. Randomized modulation of those signals spreads their energy through the frequency spectrum and can help to mitigate electromagnetic interference problems. The inherently random nature of quantum phenomena makes them a good control signal. I present a quantum modulation method based on the random statistics of quantum light. The paper describes pulse width modulation schemes where a Poissonian light source acts as a random control that spreads the energy of the potential interfering signals. I give an example application for switching-mode power supplies and comment the further possibilities of the method.

  14. SPEECH ENHANCEMENT FOR CROSSTALK INTERFERENCE

    E-Print Network [OSTI]

    SPEECH ENHANCEMENT FOR CROSS­TALK INTERFERENCE by Levent M. Arslan and John H.L. Hansen Robust. Based on this noise esti­ mate, a new speech enhancement technique is proposed. The enhancement method EDICS Code: SPL.SA.1.5 Speech Enhancement submitted Jan. 19, 1996 to IEEE Signal Processing Letters

  15. Interference Channel with State Information

    E-Print Network [OSTI]

    Zhang, Lili

    2012-10-19T23:59:59.000Z

    the state is additive and symmetric at both receivers, we study both strong and weak interference scenarios and characterize the theoretical gap between the achievable symmetric rate and the upper bound, which is shown to be less than 1/4 bit for the strong...

  16. NEW METHOD FOR REMOVAL OF SPECTRAL INTERFERENCES FOR BERYLLIUM ASSAY USING INDUCTIVELY COUPLED PLASMA ATOMIC EMISSION SPECTROMETRY

    SciTech Connect (OSTI)

    Maxwell, S; Matthew Nelson, M; Linda Youmans, L; Maureen Bernard, M

    2008-01-14T23:59:59.000Z

    Beryllium has been used widely in specific areas of nuclear technology. Frequent monitoring of air and possible contaminated surfaces in U.S Department of Energy (DOE) facilities is required to identify potential health risks and to protect DOE workers from beryllium-contaminated dust. A new method has been developed to rapidly remove spectral interferences prior to beryllium (Be) measurement by inductively-coupled plasma atomic emission spectrometry (ICP-AES). The ion exchange separation removes uranium (U), thorium (Th), niobium (Nb), vanadium (V), molybdenum (Mo), zirconium (Zr), tungsten (W), iron (Fe), chromium (Cr), cerium (Ce), erbium (Er) and titanium (Ti). A stacked column consisting of Diphonix Resin{reg_sign} and TEVA Resin{reg_sign} reduces the levels of the spectral interferences so that low level Be measurements can be performed accurately. If necessary, an additional anion exchange separation can be used for further removal of interferences, particularly chromium. The method has been tested using spiked filters, spiked wipe samples and certified reference material standards with high levels of interferences added. The method provides very efficient removal of spectral interferences with very good accuracy and precision for beryllium on filters or wipes. A vacuum box system is employed to reduce analytical time and reduce labor costs.

  17. N-Terminal Phosphorylation Sites of Herpes Simplex Virus 1 ICP0 Differentially Regulate Its Activities and Enhance Viral Replication

    E-Print Network [OSTI]

    Mostafa, Heba H.; Thompson, Thornton W.; Davido, David J.

    2013-02-01T23:59:59.000Z

    in region I indicates the boundary between the second and third exons of ICP0. HSV-1 ICP0 Phosphorylation February 2013 Volume 87 Number 4 jvi.asm.org 2111 o n June 30, 2014 by University of Kansas http://jvi.asm.org/ D ow nloaded from sient... samples. HSV-1 ICP0 Phosphorylation February 2013 Volume 87 Number 4 jvi.asm.org 2113 o n June 30, 2014 by University of Kansas http://jvi.asm.org/ D ow nloaded from wild-type ICP0 (Fig. 7). Consequently, these data do not sup- port the hypothesis...

  18. ModelChecking A Tutorial Introduction

    E-Print Network [OSTI]

    Schmidt, David A.

    Model­Checking A Tutorial Introduction Markus M¨uller­Olm 1 , David Schmidt 2 , and Bernhard to provide a practitioner with a basis she #12; 2 Markus M¨uller­Olm, David Schmidt, and Bernhard Steffen x=0

  19. Fortuna: Model Checking Priced Probabilistic Timed Automata

    E-Print Network [OSTI]

    Vaandrager, Frits

    Fortuna: Model Checking Priced Probabilistic Timed Automata Jasper Berendsen, David N. Jansen, the Netherlands Email: jasperb,dnjansen,fvaan @cs.ru.nl Abstract--We introduce FORTUNA, the first tool for model of probabilistic timed automata (PTAs) with cost-rates and discrete cost increments on states. FORTUNA is able

  20. Keep new concepts Check cognition level

    E-Print Network [OSTI]

    Chaudhuri, Surajit

    point "cold" topic "hot" topicTop HealthScience Nuclear Energy Safety& Accidents Concepts at time point· Keep new concepts · Check cognition level = number of news {Japan, nuclear, disaster · Multilingual Wikipedia history analysis Japan footballteam national nuclear disaster Set of candidates per time

  1. CRADA CHECKLIST For Your Convenience, check off

    E-Print Network [OSTI]

    Baker, Chris I.

    CRADA CHECKLIST For Your Convenience, check off: CRADA Clearance form fill in everything (except CRADA #); put "N/A" or "0" when box is not applicable make sure that the person-year box totals match, disease states, etc. must be listed if they are to be considered part of the CRADA research (you cannot

  2. Model Checking User Interfaces Abigail Cauchi

    E-Print Network [OSTI]

    Pace, Gordon J.

    Model Checking User Interfaces Abigail Cauchi Dept of Computer Science University of Malta acau0004@um.edu.mt Gordon Pace Dept of Computer Science University of Malta gordon.pace@um.edu.mt Sandro Spina Dept of Computer Science University of Malta sandro.spina@um.edu.mt Abstract User interfaces

  3. AD CONTENT CHECK LIST: o Company logo

    E-Print Network [OSTI]

    Zakharov, Vladimir

    AD CONTENT CHECK LIST: o Company logo o Address o Contact Info: Phone, web site, and/or e-mail o that will perfectly reflect your image! Acceptable Formats For Logos/Graphics/Photos High-Res (300 dpi) PDF, EPS

  4. {sup 99}Tc bioassay by inductively coupled plasma mass spectrometry (ICP-MS)

    SciTech Connect (OSTI)

    Lewis, L.A.

    1998-05-01T23:59:59.000Z

    A means of analyzing {sup 99}Tc in urine by inductively coupled plasma mass spectrometry (ICP-MS) has been developed. Historically, {sup 99}Tc analysis was based on the radiometric detection of the 293 keV E{sub Max} beta decay product by liquid scintillation or gas flow proportional counting. In a urine matrix, the analysis of{sup 99}Tc is plagued with many difficulties using conventional radiometric methods. Difficulties originate during chemical separation due to the volatile nature of Tc{sub 2}O{sub 7} or during radiation detection due to color or chemical quenching. A separation scheme for {sup 99}Tc detection by ICP-MS is given and is proven to be a sensitive and robust analytical alternative. A comparison of methods using radiometric and mass quantitation of {sup 99}Tc has been conducted in water, artificial urine, and real urine matrices at activity levels between 700 and 2,200 dpm/L. Liquid scintillation results based on an external standard quench correction and a quench curve correction method are compared to results obtained by ICP-MS. Each method produced accurate results, however the precision of the ICP-MS results is superior to that of liquid scintillation results. Limits of detection (LOD) for ICP-MS and liquid scintillation detection are 14.67 and 203.4 dpm/L, respectively, in a real urine matrix. In order to determine the basis for the increased precision of the ICP-MS results, the detection sensitivity for each method is derived and measured. The detection sensitivity for the {sup 99}Tc isotope by ICP-MS is 2.175 x 10{sup {minus}7} {+-} 8.990 x 10{sup {minus}9} and by liquid scintillation is 7.434 x 10{sup {minus}14} {+-} 7.461 x 10{sup {minus}15}. A difference by seven orders of magnitude between the two detection systems allows ICP-MS samples to be analyzed for a period of 15 s compared to 3,600 s by liquid scintillation counting with a lower LOD.

  5. Monitoring inspections of ICP program ECM and TA grantees. Final report

    SciTech Connect (OSTI)

    Not Available

    1983-03-01T23:59:59.000Z

    The activities undertaken to review DOE grants to schools, hospitals and municipalities under the Institutional Conservation Program (ICP) are reported. This Final Report is the result of a review of statistics and findings gathered over the period of the contract. It is intended to highlight aspects of the monitoring project and to make recommendations. This report is organized into four sections: the steps taken in organizing and implementing the review; statistics regarding the 92 grants reviewed; some of the common factors which fostered success or problems in the administration of the ICP grants; and recommendations.

  6. Herpes Simplex Virus 1 ICP27 Is Required for Transcription of Two Viral Late ( 2) Genes in Infected Cells

    E-Print Network [OSTI]

    Knipe, David M.

    Herpes Simplex Virus 1 ICP27 Is Required for Transcription of Two Viral Late ( 2) Genes in Infected January 18, 2001; accepted March 1, 2001 The herpes simplex virus infected cell protein 27 (ICP27 expression during productive infection by herpes simplex virus 1 is well doc- umented (Clements et al., 1977

  7. Application of laser ablation-ICP-mass spectrometry for 2-dimensional mapping of element distributions in a

    E-Print Network [OSTI]

    Claeys, Philippe

    Application of laser ablation-ICP-mass spectrometry for 2-dimensional mapping of element McDonald,d Scott W. Hassler,ce Philippe Claeysb and Frank Vanhaecke*a Laser ablation spherules, were acquired by LA-ICP-MS using two different ablation ­ standard (circular) and teardrop

  8. Elemental fractionation during LA-ICP-MS analysis of silicate glasses: implications for matrix-independent standardization

    E-Print Network [OSTI]

    Weston, Ken

    Elemental fractionation during LA-ICP-MS analysis of silicate glasses: implications for matrix-element solution and from the laser ablation of a range of silicate reference materials (SRM 61X series, MPI-independent standardization of LA- ICP-MS analysis of non-transparent silicates and ceramics, then, is an accurate and viable

  9. Optimized synthesis of concurrently checked controllers

    SciTech Connect (OSTI)

    Leveugle, R.; Saucier, G. (Institut National Polytechnique de Grenoble, CSI Lab., 38000 Grenoble (FR))

    1990-04-01T23:59:59.000Z

    Dedicated controllers (or FSM's) with concurrent checking capabilities are of prime importance in highly dependable applications. This paper presents a new method for introducing on-line test facilities in a controller with a very low overhead. This on-line test consists in detecting illegal paths in the control flow graph. These illegal paths may be due either to permanent faults or to transient errors. The state code flow is compacted through polynomial division. An implicit justifying signature method is applied at the state code level and ensures identical signatures before each join node of the control flow graph. The signatures are then independent of the path followed previously in the graph and the comparison to reference data is greatly facilitated. This property is obtained by a clever state assignment, nearly without area overhead. The controllers can then be checked by signature analysis, either by a built-in monitor or by an external checker.

  10. Pre-resistance-welding resistance check

    DOE Patents [OSTI]

    Destefan, Dennis E. (Broomfield, CO); Stompro, David A. (Idaho Falls, ID)

    1991-01-01T23:59:59.000Z

    A preweld resistance check for resistance welding machines uses an open circuited measurement to determine the welding machine resistance, a closed circuit measurement to determine the parallel resistance of a workpiece set and the machine, and a calculation to determine the resistance of the workpiece set. Any variation in workpiece set or machine resistance is an indication that the weld may be different from a control weld.

  11. AUTOMATIC GENERATION OF OPTIMAL CONTROLLERS THROUGH MODEL CHECKING TECHNIQUES

    E-Print Network [OSTI]

    Tronci, Enrico

    AUTOMATIC GENERATION OF OPTIMAL CONTROLLERS THROUGH MODEL CHECKING TECHNIQUES Giuseppe Della Penna Keywords: Controller Synthesis, Controller Optimization, Model Checking, Nonlinear Systems Abstract: We INTRODUCTION Control systems (or, shortly, controllers) are small hardware/software components that control

  12. HSV-1 ICP0: An E3 Ubiquitin Ligase That Counteracts Host Intrinsic and Innate Immunity

    E-Print Network [OSTI]

    Lanfranca, Mirna Perusina; Mostafa, Heba H.; Davido, David J.

    2014-05-20T23:59:59.000Z

    The herpes simplex virus type 1 (HSV-1) encoded E3 ubiquitin ligase, infected cell protein 0 (ICP0), is required for efficient lytic viral replication and regulates the switch between the lytic and latent states of HSV-1. As an E3 ubiquitin ligase...

  13. Lee, C-T A Laser Ablation Data Reduction 2006 LASER ABLATION ICP-MS: DATA

    E-Print Network [OSTI]

    Lee, Cin-Ty Aeolus

    Lee, C-T A Laser Ablation Data Reduction 2006 1 LASER ABLATION ICP-MS: DATA REDUCTION Cin-Ty A. Lee 24 September 2006 Analysis and calculation of concentrations Laser ablation analyses are done in time by turning on the laser and ablating the sample, generating a time-dependent signal (Fig. 1). Measurements

  14. Improving Alpha Spectrometry Energy Resolution by Ion Implantation with ICP-MS

    SciTech Connect (OSTI)

    Dion, Michael P.; Liezers, Martin; Farmer, Orville T.; Miller, Brian W.; Morley, Shannon M.; Barinaga, Charles J.; Eiden, Gregory C.

    2015-01-01T23:59:59.000Z

    We report results of a novel technique using an Inductively Coupled Plasma Mass Spectrometer (ICP-MS) as a method of source preparation for alpha spectrometry. This method produced thin, contaminant free 241Am samples which yielded extraordinary energy resolution which appear to be at the lower limit of the detection technology used in this research.

  15. Interference Channel with State Information 

    E-Print Network [OSTI]

    Zhang, Lili

    2012-10-19T23:59:59.000Z

    with State Information. (August 2012) Lili Zhang, B.S., University of Science and Technology of China; M.S., University of Science and Technology of China Chair of Advisory Committee: Shuguang Cui In this dissertation, we study the state-dependent two... Fig. 2.: The interference channel with state information non-causally known at both transmitters. channel is assumed to be memoryless, i.e., p(yn1 , yn2 |xn1 , xn2 , sn) = n? i=1 p(y1i, y2i|x1i, x2i, si), where i is the element index for each...

  16. Long working distance interference microscope

    DOE Patents [OSTI]

    Sinclair, Michael B.; DeBoer, Maarten P.; Smith, Norman F.

    2004-04-13T23:59:59.000Z

    Disclosed is a long working distance interference microscope suitable for three-dimensional imaging and metrology of MEMS devices and test structures on a standard microelectronics probe station. The long working distance of 10-30 mm allows standard probes or probe cards to be used. This enables nanometer-scale 3-D height profiles of MEMS test structures to be acquired across an entire wafer. A well-matched pair of reference/sample objectives is not required, significantly reducing the cost of this microscope, as compared to a Linnik microinterferometer.

  17. Mining Complex Boolean Expressions for Sequential Equivalence Checking

    E-Print Network [OSTI]

    Ramakrishnan, Naren

    Mining Complex Boolean Expressions for Sequential Equivalence Checking Neha Goel, Michael S. Hsiao-flops in a sequential circuit for sequential equivalence checking. In contrast to traditional learning methods, our be arbitrary boolean expressions and can thus prune a large don't care space during equivalence checking

  18. Printed by LAAS-CNRS Planning via Model Checking

    E-Print Network [OSTI]

    Thiébaux, Sylvie

    Pho Printed by LAAS-CNRS Workshop Planning via Model Checking F. Kabanza S. Thiébaux Toulouse, April 23, 2002 #12;#12;Proceedings of the AIPS-02 Workshop on Planning via Model-Checking Toulouse Rune Jensen, Carnegie Mellon University, USA i #12;#12;Foreword Model checking is currently one

  19. A VSLI design rule check program generator

    E-Print Network [OSTI]

    Harwood, Ann Elizabeth Gelber

    1985-01-01T23:59:59.000Z

    A VLSI DESIGN RULE CHECK PROGRAM GENERATOR A Thesis bi ANN ELIZABETH GELBER HARWOOD Submitted to the Graduate College of Texas A8cM University in partial fulhllment of the requirement for the degree of MASTER OF SCIENCE December 1985 Major... TO VLSI DESIGN AT TEXAS A8cM UNIVERSITY" 64 70 TABLE OF CONTENTS (Continued) Page APPENDIX C APPENDIX D APPENDIX E VITA LYRA RULESET FOR T. I. DESIGN RULES AMRULES RULESET FOR MAKEDRC PROGRAM LISTINGS 82 86 , 121 LIST OF TABLES Table I...

  20. ClimateCHECK | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page onYou are now leaving Energy.gov You are now leaving Energy.gov You are beingZealand JumpConceptual Model, clickInformation SmyrnaNewClayClearSpotYork:Trust JumpA)ClimateCHECK Jump

  1. Feedback and Interference Alignment in Networks

    E-Print Network [OSTI]

    Suh, Changho

    2011-01-01T23:59:59.000Z

    2 Feedback in the Gaussian Interference Channel 2.1Region . . . . . . . . . . . . . . . . 2.5 Feedback Capacity2.6 Role of Feedback . . . . . . . .

  2. Bargaining and the MISO Interference Channel

    E-Print Network [OSTI]

    Nokleby, Matthew; Swindlehurst, A. Lee

    2009-01-01T23:59:59.000Z

    the pareto boundary for the MISO interference channel,” IEEEinterference in the Gaussian MISO broadcast channel,” inOn maximizing the sum network MISO broadcast capacity,” in

  3. S10-Sound-Interference -1 -Page 1 of 8 INTERFERENCE OF SOUND WAVES

    E-Print Network [OSTI]

    Glashausser, Charles

    S10-Sound-Interference - 1 - Page 1 of 8 INTERFERENCE OF SOUND WAVES PURPOSE: To measure the wavelength, frequency, and propagation speed of ultrasonic sound waves and to observe interference phenomena with ultrasonic sound waves. APPARATUS: Oscilloscope, function generator, transducers, meter stick, angle board

  4. Distributed Interference Pricing with MISO Channels

    E-Print Network [OSTI]

    Kuzmanovic, Aleksandar

    Distributed Interference Pricing with MISO Channels Changxin Shi, Randall A. Berry, and Michael L an interference channel consisting of multi- input, single-output (MISO) wireless links. The objective generalized to a MISO network, as shown in Sec- tion II. Such an algorithm was previously presented in [3

  5. (Revised May 25, 2012) Interference of Light

    E-Print Network [OSTI]

    Collins, Gary S.

    (Revised May 25, 2012) Interference of Light WARNING: Use the laser SAFELY. Do not look directly) To observe the interference patterns for laser light passing through a single narrow slit, through two. (2) To determine by graphical techniques the wavelength of the laser light based on the observed

  6. IEEE I&CPS Conf., May 7-11, San Antonio, Texas, pp. 147-152 Reliability of Lightning Resistant

    E-Print Network [OSTI]

    Tolbert, Leon M.

    IEEE I&CPS Conf., May 7-11, San Antonio, Texas, pp. 147-152 Reliability of Lightning Resistant essentially remained unchanged in the last 32 years which allows a meaningful comparison of reliability trends

  7. Institute on Climate and Planets http://icp.giss.nasa.gov/ The Role of the Atmosphere and Greenhouse Effect in

    E-Print Network [OSTI]

    http://icp.giss.nasa.gov/ The Role of the Atmosphere and Greenhouse Effect in Determining the Surface. This process is the natural greenhouse effect. The earths surface receives solar energy and energy reradiated

  8. Evaluation of ultra-low background materials for uranium and thorium using ICP-MS

    SciTech Connect (OSTI)

    Hoppe, E. W.; Overman, N. R.; LaFerriere, B. D. [Pacific Northwest National Laboratory, Richland, WA 99354 (United States)] [Pacific Northwest National Laboratory, Richland, WA 99354 (United States)

    2013-08-08T23:59:59.000Z

    An increasing number of physics experiments require low background materials for their construction. The presence of Uranium and Thorium and their progeny in these materials present a variety of unwanted background sources for these experiments. The sensitivity of the experiments continues to drive the necessary levels of detection ever lower as well. This requirement for greater sensitivity has rendered direct radioassay impractical in many cases requiring large quantities of material, frequently many kilograms, and prolonged counting times, often months. Other assay techniques have been employed such as Neutron Activation Analysis but this requires access to expensive facilities and instrumentation and can be further complicated and delayed by the formation of unwanted radionuclides. Inductively Coupled Plasma Mass Spectrometry (ICP-MS) is a useful tool and recent advancements have increased the sensitivity particularly in the elemental high mass range of U and Th. Unlike direct radioassay, ICP-MS is a destructive technique since it requires the sample to be in liquid form which is aspirated into a high temperature plasma. But it benefits in that it usually requires a very small sample, typically about a gram. This paper discusses how a variety of low background materials such as copper, polymers, and fused silica are made amenable to ICP-MS assay and how the arduous task of maintaining low backgrounds of U and Th is achieved.

  9. Evaluation of Ultra-Low Background Materials for Uranium and Thorium Using ICP-MS

    SciTech Connect (OSTI)

    Hoppe, Eric W.; Overman, Nicole R.; LaFerriere, Brian D.

    2013-08-08T23:59:59.000Z

    An increasing number of physics experiments require low background materials for their construction. The presence of Uranium and Thorium and their progeny in these materials present a variety of unwanted background sources for these experiments. The sensitivity of the experiments continues to drive the necessary levels of detection ever lower as well. This requirement for greater sensitivity has rendered direct radioassay impractical in many cases requiring large quantities of material, frequently many kilograms, and prolonged counting times, often months. Other assay techniques have been employed such as Neutron Activation Analysis but this requires access to expensive facilities and instrumentation and can be further complicated and delayed by the formation of unwanted radionuclides. Inductively Coupled Plasma Mass Spectrometry (ICP-MS) is a useful tool and recent advancements have increased the sensitivity particularly in the elemental high mass range of U and Th. Unlike direct radioassay, ICP-MS is a destructive technique since it requires the sample to be in liquid form which is aspirated into a high temperature plasma. But it benefits in that it usually requires a very small sample, typically about a gram. Here we will discuss how a variety of low background materials such as copper, polymers, and fused silica are made amenable to ICP-MS assay and how the arduous task of maintaining low backgrounds of U and Th is achieved.

  10. Course Materials • ALWAYS check the MA 15300 website FIRST ...

    E-Print Network [OSTI]

    Devlin, Patrick M

    2015-01-03T23:59:59.000Z

    policies and understand all the course materials on the website. • ALWAYS check the MA 15300 · website FIRST when searching for class information.

  11. 5 Checks & 5 Tips for INCITE | Argonne Leadership Computing Facility

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

    Science at ALCF Allocation Programs INCITE Program 5 Checks & 5 Tips for INCITE Mira Computational Readiness Assessment ALCC Program Director's Discretionary (DD) Program Early...

  12. anomalous quantum interference: Topics by E-print Network

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

    superconducting quantum interference device SQUID-temperature RT sample scanning superconduct- ing quantum interference device SQUID microscopy SSM is a very Weiss, Benjamin P....

  13. Optimal Distributed Beamforming for MISO Interference Channels

    E-Print Network [OSTI]

    Qiu, Jiaming

    2012-07-16T23:59:59.000Z

    In this thesis, the problem of quantifying the Pareto optimal boundary of the achievable rate region is considered over multiple-input single-output(MISO)interference channels, where the problem boils down to solving a sequence of convex feasibility...

  14. Designing programs that check their work \\Lambda Manuel Blum

    E-Print Network [OSTI]

    Plotkin, Joshua B.

    Designing programs that check their work \\Lambda Manuel Blum Comp. Sci. Division U. of California Classification D.2.4 F.2.0 F.3.1 G.3 Abstract A program correctness checker is an algorithm for checking the output of a computation. That is, given a program and an instance on which the program is run

  15. Checking NFA equivalence with bisimulations up to congruence

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Checking NFA equivalence with bisimulations up to congruence Filippo Bonchi CNRS, ENS Lyon--We introduce bisimulation up to congruence as a technique for proving language equivalence of non algorithm. I. INTRODUCTION Checking language equivalence of finite automata is a clas- sical problem

  16. Termination and Reduction Checking for HigherOrder Logic Programs

    E-Print Network [OSTI]

    Pientka, Brigitte

    Termination and Reduction Checking for Higher­Order Logic Programs Brigitte Pientka Department, we present a syntax­directed termination and reduction checker for higher­order logic programs and output of well­moded predicates. These reduction con­ straints are exploited during termination checking

  17. Termination and Reduction Checking for Higher-Order Logic Programs

    E-Print Network [OSTI]

    Pientka, Brigitte

    Termination and Reduction Checking for Higher-Order Logic Programs Brigitte Pientka Department, we present a syntax-directed termination and reduction checker for higher-order logic programs and output of well-moded predicates. These reduction con- straints are exploited during termination checking

  18. Using Distinguishing and UIO Sequences Together in a Checking Sequence

    E-Print Network [OSTI]

    Yanikoglu, Berrin

    Using Distinguishing and UIO Sequences Together in a Checking Sequence M. Cihan Yalcin1 and Husnu Abstract. If a finite state machine M does not have a distinguishing sequence, but has UIO sequences for its states, there are methods to produce a checking sequence for M. However, if M has a distinguishing

  19. Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences

    E-Print Network [OSTI]

    Jourdan, Guy-Vincent

    Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences Robert M. Hierons of a preset dis- tinguishing sequence for constructing checking sequences. It has been shown that an adaptive distinguishing sequence is sufficient for these methods. This result is significant because adaptive

  20. Assumption-Commitment Support for CSP Model Checking

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    AVoCS 2006 Assumption-Commitment Support for CSP Model Checking Nick Moffat1 Systems Assurance using CSP. In our formulation, an assumption-commitment style property of a process SYS takes the form-Guarantee, CSP, Model Checking, Compositional Reasoning 1 Introduction The principle of compositional program

  1. FINGERPRINTING AND CRIMINAL HISTORY RECORD CHECK ANIMAL CARE LAB

    E-Print Network [OSTI]

    Eirinaki, Magdalini

    FD- 258) and submits the fingerprint card to the Federal Bureau of Investigation (FBI) for identification and a criminal history records check. The FBI will return the results of its records check risks, criminal record information will be obtained from the FBI under the guideline of this policy

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

    E-Print Network [OSTI]

    Ulukus, Sennur

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

  3. Generalized multi-photon quantum interference

    E-Print Network [OSTI]

    Max Tillmann; Si-Hui Tan; Sarah E. Stoeckl; Barry C. Sanders; Hubert de Guise; René Heilmann; Stefan Nolte; Alexander Szameit; Philip Walther

    2015-02-12T23:59:59.000Z

    Non-classical interference of photons lies at the heart of optical quantum information processing. This effect is exploited in universal quantum gates as well as in purpose-built quantum computers that solve the BosonSampling problem. Although non-classical interference is often associated with perfectly indistinguishable photons this only represents the degenerate case, hard to achieve under realistic experimental conditions. Here we exploit tunable distinguishability to reveal the full spectrum of multi-photon non-classical interference. This we investigate in theory and experiment by controlling the delay times of three photons injected into an integrated interferometric network. We derive the entire coincidence landscape and identify transition matrix immanants as ideally suited functions to describe the generalized case of input photons with arbitrary distinguishability. We introduce a compact description by utilizing a natural basis which decouples the input state from the interferometric network, thereby providing a useful tool for even larger photon numbers.

  4. Non-classical paths in interference experiments

    E-Print Network [OSTI]

    Rahul Sawant; Joseph Samuel; Aninda Sinha; Supurna Sinha; Urbasi Sinha

    2014-08-09T23:59:59.000Z

    In a double slit interference experiment, the wave function at the screen with both slits open is not exactly equal to the sum of the wave functions with the slits individually open one at a time. The three scenarios represent three different boundary conditions and as such, the superposition principle should not be applicable. However, most well known text books in quantum mechanics implicitly and/or explicitly use this assumption which is only approximately true. In our present study, we have used the Feynman path integral formalism to quantify contributions from non-classical paths in quantum interference experiments which provide a measurable deviation from a naive application of the superposition principle. A direct experimental demonstration for the existence of these non-classical paths is hard. We find that contributions from such paths can be significant and we propose simple three-slit interference experiments to directly confirm their existence.

  5. When Model Checking Met Deduction Computer Science Laboratory

    E-Print Network [OSTI]

    Clarke, Edmund M.

    Park, CA Sep 19, 2014 #12;Alan Turing It is of course important that some efforts be made to verify hold in each case. Alan Turing (quoted by D. MacKenzie in Risk and Reason) N. Shankar Model checking

  6. Checking Herbrand Equalities and Beyond Markus Muller-Olm1

    E-Print Network [OSTI]

    Müller-Olm, Markus

    Checking Herbrand Equalities and Beyond Markus M¨uller-Olm1 , Oliver R¨uthing1 , and Helmut Seidl2 M¨uller-Olm, Oliver R¨uthing, and Helmut Seidl This deficiency is still present in the algorithm

  7. Flexible Consistency Checking Christian Nentwich, Wolfgang Emmerich, Anthony Finkelstein

    E-Print Network [OSTI]

    Finkelstein, Anthony

    Flexible Consistency Checking Christian Nentwich, Wolfgang Emmerich, Anthony Finkelstein Department of Computer Science University College London Gower Street, London, WC1E 6BT UK {c.nentwich,w.emmerich

  8. Smog Check II Evaluation Part II: Overview of Vehicle

    E-Print Network [OSTI]

    Denver, University of

    Smog Check II Evaluation Part II: Overview of Vehicle Emissions . . . . . . . . . . . . Prepared in Later Sections ____________________ 1 3. Older Vehicles Have Higher Emissions on Average _____________ 3 4. The Vehicle Fleet Is Dominated by Newer Vehicles______________ 8 5. More Recent Vehicle Models

  9. Specifying and Checking Semantic Atomicity for Multithreaded Programs

    E-Print Network [OSTI]

    Necula, George

    Specifying and Checking Semantic Atomicity for Multithreaded Programs Jacob Burnim George Necula or commercial advantage and that copies bear this notice and the full citation on the first page. To copy

  10. ICP-PECVD PRODUCTION TOOL FOR INDUSTRIAL AlOX AND Si-BASED PASSIVATION LAYERS B.F.P. Roos1

    E-Print Network [OSTI]

    of different materials on silicon solar wafers using inductively coupled plasma (ICP). One of the major features of the ICP technology is the high plasma density at low kinetic ion energy. These plasma on the SINGULAR production tool platform is discussed. A special focus will be placed on a-SiOxNy/SiNx and Al

  11. Phonon interference effects in molecular junctions

    SciTech Connect (OSTI)

    Markussen, Troels, E-mail: troels.markussen@gmail.com [Center for Atomic-scale Materials Design (CAMD), Department of Physics, Technical University of Denmark, DK-2800 Kgs. Lyngby (Denmark)] [Center for Atomic-scale Materials Design (CAMD), Department of Physics, Technical University of Denmark, DK-2800 Kgs. Lyngby (Denmark)

    2013-12-28T23:59:59.000Z

    We study coherent phonon transport through organic, ?-conjugated molecules. Using first principles calculations and Green's function methods, we find that the phonon transmission function in cross-conjugated molecules, like meta-connected benzene, exhibits destructive quantum interference features very analogous to those observed theoretically and experimentally for electron transport in similar molecules. The destructive interference features observed in four different cross-conjugated molecules significantly reduce the thermal conductance with respect to linear conjugated analogues. Such control of the thermal conductance by chemical modifications could be important for thermoelectric applications of molecular junctions.

  12. Bleecker: WC Reporting Check List Risk Management 6/28/2012 Initial Injury/Illness Reporting Check List

    E-Print Network [OSTI]

    Prinz, Friedrich B.

    Bleecker: WC Reporting Check List Risk Management 6/28/2012 Initial Injury/Illness Reporting Check://www.stanford.edu/dept/EHS/prod/general/su17.pdf Within 24 HRS Worker & Supervisor Fax to 650-723-9456 Original to Mail Code 6207 DWC 1 http://www.stanford.edu/dept/Risk-Management-723-9456 Original to Mail Code 6207 5020 (must be typed ­ "PCWord version" available in link below) http://www.stanford.edu/dept/Risk-Management

  13. Bleecker: WC Reporting Check List Risk Management 12/10/2012 Initial Injury/Illness Reporting Check List

    E-Print Network [OSTI]

    Prinz, Friedrich B.

    Bleecker: WC Reporting Check List Risk Management 12/10/2012 Initial Injury/Illness Reporting Check List Questions contact Department's HR or Risk Management 650-723-7400 Any Death or Serious Injury://www.stanford.edu/dept/EHS/prod/general/su17.pdf Within 24 HRS Worker & Supervisor Fax to 650-723-9456 Original to Mail Code 6207 DWC 1 http://www.stanford.edu/dept/Risk-Management

  14. GIDL: GENERALIZED INTERFERENCE DETECTION AND LOCALIZATION SYSTEM

    E-Print Network [OSTI]

    Stanford University

    Augmentation Sys- tem (WAAS) are being developed by the U.S. Federal Aviation Administration (FAA) to provide of the Federal Aviation Administration. I am very grateful for this support. Without it this project proba- bly locate interference sources. The GIDL System has been successfully demonstrated to the Federal Aviation

  15. Asymmetrical Path Interference Test of Light

    E-Print Network [OSTI]

    Mei Xiaochun

    2006-03-05T23:59:59.000Z

    The asymmetrical path interference test of light is put forward in the paper. In the test, two different results would arise under the same experimental conditions if light is regarded as wave or particle. Therefore, the test can help us to comprehend which concept, wave or particle, is more essential for micro-particles.

  16. DESIGN AND CHARACTERIZATION OF A NOVEL ICP PLASMA TOOL FOR HIGH SPEED AND HIGH ACCURACY DRIE PROCESSING

    E-Print Network [OSTI]

    Technische Universiteit Delft

    the ion density profile across the plasma chamber in a research DRIE tool. The plasma conditions are: Ar ion density. Process chamber centre EdgeEdge 0 100 200 300 400 Sheetthickness(m) Process chamber argon ion density measured in a conventional ICP. 0 0.2 0.4 0.6 0.8 1 Process chamber centre Edge

  17. Ultrafast laser ablation ICP-MS: role of spot size, laser fluence, and repetition rate in signal intensity

    E-Print Network [OSTI]

    Harilal, S. S.

    Ultrafast laser ablation ICP-MS: role of spot size, laser fluence, and repetition rate in signal,a Richard E. Russob and Ahmed Hassaneina Ultrafast laser ablation inductively coupled plasma mass system. Though ultrafast laser ablation sample introduction provides better accuracy and precision

  18. Studies on the content of heavy metals in Aries River using ICP-MS

    SciTech Connect (OSTI)

    Voica, Cezara, E-mail: Cezara.Voica@itim-cj.ro; Kovacs, Melinda, E-mail: Cezara.Voica@itim-cj.ro; Feher, Ioana, E-mail: Cezara.Voica@itim-cj.ro [National Institute for Research and Development of Isotopic and Molecular Technologies, 65-103 Donath Str., 400293 Cluj-Napoca (Romania)] [National Institute for Research and Development of Isotopic and Molecular Technologies, 65-103 Donath Str., 400293 Cluj-Napoca (Romania)

    2013-11-13T23:59:59.000Z

    Among the industrial branches, the mining industry has always been an important source of environmental pollution, both aesthetically and chemically. Through this paper results of ICP-MS characterization of Aries River Basin are reported. Mining activities from this area has resulted in contamination of environment and its surrounding biota. This is clearly evidenced in analyzed water samples, especially from Baia de Aries site where increased amount of trace elements as Cr, Zn, As, Se, Cd, Pb and U were founded. Also in this site greater amount of rare earth elements was evidenced also. Through monitoring of Aries River from other non-mining area it was observed that the quantitative content of heavy metals was below the maximum permissible levels which made us to conclude that the water table wasn't seriously affected (which possibly might be attributed to the cessation of mining activities in this area from a few years ago)

  19. Stochastic Ordering of Interferences in Large-scale Wireless Networks

    E-Print Network [OSTI]

    Lee, Junghoon

    2012-01-01T23:59:59.000Z

    Stochastic orders are binary relations defined on probability distributions which capture intuitive notions like being larger or being more variable. This paper introduces stochastic ordering of interference distributions in large-scale networks modeled as point process. Interference is the main performance-limiting factor in most wireless networks, thus it is important to understand its statistics. Since closed-form results for the distribution of interference for such networks are only available in limited cases, interference of networks are compared using stochastic orders, even when closed form expressions for interferences are not tractable. We show that the interference from a large-scale network depends on the fading distributions with respect to the stochastic Laplace transform order. The condition for path-loss models is also established to have stochastic ordering between interferences. The stochastic ordering of interferences between different networks are also shown. Monte-Carlo simulations are us...

  20. Instructions to obtain the FBI background check Long-Stay Valencia Students The FBI Background Check is the first step in a two-part process. The FBI Background Check takes 4-6

    E-Print Network [OSTI]

    Hull, Elaine

    Instructions to obtain the FBI background check Long-Stay Valencia Students The FBI Background Check is the first step in a two-part process. The FBI Background Check takes 4-6 weeks for processing form, fingerprint card and payment--to the following address: FBI CJIS Division ­ Record Request 1000

  1. Quantum interference in an electron-hole graphene ring system

    SciTech Connect (OSTI)

    Smirnov, D.; Schmidt, H.; Haug, R. J. [Institut für Festkörperphysik, Leibniz Universität Hannover, Appelstr. 2 30167 Hannover (Germany)

    2013-12-04T23:59:59.000Z

    Quantum interference is observed in a graphene ring system via the Aharonov Bohm effect. As graphene is a gapless semiconductor, this geometry allows to study the unique situation of quantum interference between electrons and holes in addition to the unipolar quantum interference. The period and amplitude of the observed Aharonov-Bohm oscillations are independent of the sign of the applied gate voltage showing the equivalence between unipolar and dipolar interference.

  2. Interference of Cooper Pairs Emitted from Independent Superconductors

    E-Print Network [OSTI]

    Mauro Iazzi; Kazuya Yuasa

    2010-05-16T23:59:59.000Z

    We discuss the interference in the two-particle distribution of the electrons emitted from two independent superconductors. It is clarified that, while the interference appearing in the antibunching correlation is due to the Hanbury Brown and Twiss effect, that in the positive correlation due to superconductivity is intrinsically different and is nothing but the first-order interference of Cooper pairs emitted from different sources. This is the equivalent of the interference of two independent Bose-Einstein condensates.

  3. Dangerous Human-Made Interference with Climate Testimony of

    E-Print Network [OSTI]

    Hansen, James E.

    Dangerous Human-Made Interference with Climate Testimony of James E. Hansen 4273 Durham Road of Representatives 26 April 2007 #12;2 Dangerous Human-Made Interference with Climate Contents 1. Summary 2. Basis for Testimony A. Dangerous human-made interference with climate: a GISS modelE study (in press: Atmospheric

  4. Political Interference with Government Climate Change Science Testimony of

    E-Print Network [OSTI]

    Hansen, James E.

    Interference with Climate Change Science A. Communication of Climate Change Threat B. Delay of ActionPolitical Interference with Government Climate Change Science Testimony of James E. Hansen;2 Political Interference with Government Climate Change Science Contents 1. Rationale of Presentation 2. My

  5. Swing Check Valve Design Criteria and CFD Validation

    SciTech Connect (OSTI)

    Dallstream, Brian E.; Fricke, Brian A.; Becker, Bryan R. [University of Missouri-Kansas City (United States)

    2006-07-01T23:59:59.000Z

    This paper provides information on swing check valve selection criteria suitable for nuclear power plant applications. In this project, four swing check valves were analyzed to demonstrate the implementation and application of this information. In this example, swing check valves were selected according to 'ASME Boiler and Pressure Vessel Code, Section III' and 'ASME B16.34, Valves Flanged, Threaded, and Welding End'. This paper also discusses the utilization of Computational Fluid Dynamics Software (CFD) as a means to analyze valve design. The use of CFD is a relatively new approach for validation of valve design that is becoming invaluable due to the high cost of physical bench testing. The Instrument Society of America (ISA) Analysis Division and the American Society of Mechanical Engineers (ASME) Computational Fluid Dynamics Technical Committee have taken a proactive approach in setting standards and practices for the use of CFD in design and validation. (authors)

  6. Check for peroxides every 6 months. opened test 1 test 2 test 3

    E-Print Network [OSTI]

    Pawlowski, Wojtek

    Check for peroxides every 6 months. opened test 1 test 2 test 3 date initials Check for peroxides every 6 months. opened test 1 test 2 test 3 date initials Check for peroxides every 6 months. Test strips can be obtained from EH&S, 5-8200 opened test 1 test 2 test 3 date initials Check for peroxides

  7. Revising Specifications with CTL Properties using Bounded Model Checking

    E-Print Network [OSTI]

    Finger, Marcelo

    Revising Specifications with CTL Properties using Bounded Model Checking No Author Given that inconsistencies arise between the formal specification and some desired property. Belief Revision deals. In this paper, we propose the use of belief revision techniques in order to deal with inconsistencies in formal

  8. ES&H Safety Walk Around Check List

    E-Print Network [OSTI]

    Knowles, David William

    ES&H Safety Walk Around Check List for Managers Lab Work Environment (Labs & Storage Areas) Are all Waste x4644 Health Services x6266 Industrial & Shop Safety, including Machine Guarding x7170 Radiation shields or face shield) available for dispensing super cold liquids (cryogens like liquid nitrogen

  9. Checking NFA equivalence with bisimulations up to congruence

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Checking NFA equivalence with bisimulations up to congruence Filippo Bonchi Damien Pous CNRS, ENS introduce bisimulation up to congruence as a technique for proving language equivalence of non Language Equivalence, Automata, Bisimulation, Coin- duction, Up-to techniques, Congruence, Antichains. 1

  10. The Perfect ``Spy'' for Model-Checking Cryptoprotocols

    E-Print Network [OSTI]

    Roscoe, Bill

    its inference system, in the process algebra CSP. Techniques for keeping the state space within Processes (CSP), as are specifications such as confidentiality. The model checking exploits (and has in turn attractive decomposition would provide a two-state process for each possible ``fact'', essentially

  11. Check it out! -1 -| P a g e

    E-Print Network [OSTI]

    sustainable living guide. I - Courtesy of R.Millar ConsumptionCheck it out! #12;- 1 - | P a g e Making sustainable choices are beneficial not only to the nature from beginner to advanced sustainability practices, so you can do you! Enjoy the B.U. Be Green

  12. Coded modulation with Low Density Parity Check codes

    E-Print Network [OSTI]

    Narayanaswami, Ravi

    2001-01-01T23:59:59.000Z

    This thesis proposes the design of Low Density Parity Check (LDPC) codes for cases where coded modulation is used. We design these codes by extending the idea of Density Evolution (DE) that has been introduced as a powerful tool to analyze LDPC...

  13. Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking

    E-Print Network [OSTI]

    Bollig, Benedikt

    Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking Benedikt,cyriac,gastin,zeitoun}@lsv.ens-cachan.fr Abstract. We develop a general framework for the design of temporal logics for concurrent recursive programs. A program execution is modeled as a partial order with multiple nesting relations. To specify

  14. Check BMail account University sends all official communications

    E-Print Network [OSTI]

    Suzuki, Masatsugu

    Binghamton email account (BMail) at bmail.binghamton.edu. Check financial aid application status online · Log) · An insurance company, scholarship program, loan company or other third party may require student and/or family will be reflected. · To access NSC, log into BU BRAIN,"Records" tab. · For complete details and how-to steps go

  15. Error detection through consistency checking Peng Gong* Lan Mu#

    E-Print Network [OSTI]

    Silver, Whendee

    Error detection through consistency checking Peng Gong* Lan Mu# *Center for Assessment & Monitoring Hall, University of California, Berkeley, Berkeley, CA 94720-3110 gong@nature.berkeley.edu mulan, accessibility, and timeliness as recorded in the lineage data (Chen and Gong, 1998). Spatial error refers

  16. Web Service Composition: a Reality Check Jianguo Lu, 2

    E-Print Network [OSTI]

    Lu, Jianguo

    - 1 - Web Service Composition: a Reality Check 1 Jianguo Lu, 2 Yijun Yu, 1 Debashis Roy, 1 Deepa Department, The Open University y.yu@open.ac.uk Abstract Automated web service composition is one dynamically and automatically. To investigate the methods for composite web service construction, we conducted

  17. Checking Session-Oriented Interactions between Web Services

    E-Print Network [OSTI]

    Checking Session-Oriented Interactions between Web Services Pavel Parizek1 , Jiri Adamek1,2 1 of Sciences of the Czech Republic, Institute of Computer Science Abstract Although web services are generally envisioned as being stateless, some of them are implicitly stateful. The reason is that the web services

  18. Perturbative Check of the Action and Energy Lattice Sum Rules

    E-Print Network [OSTI]

    B. Feuerbacher

    2003-09-04T23:59:59.000Z

    Lattice sum rules are checked using lattice perturbation theory. The action sum rule gives a relation between the quark-antiquark potential, its logarithmic derivative with respect to distance and the expectation value of the action; the energy sum rule expresses the potential as the sum of the energy in the gluon fields and of an anomalous term. Two different independent calculations of the quark-antiquark potential are presented, and the transversality of the gluonic vacuum polarization on the lattice is proven. The crucial part of the action sum rule is an identity whose explicit check using perturbation theory provides methods and results which are useful for checking the energy sum rule. Additionally, the gauge invariance of the expectation value of the Wilson loop up to next-to-leading order is proven. The possibility of restricting the expectation value of the action to one fixed time slice is discussed. The energy sum rule is checked perturbatively up to next-to-leading order and shown to be satisfied with good numerical accuracy. The various contributions to the quark-antiquark potential are analyzed, and the restriction of the expectation value of the sum over all spatial plaquettes (the energy in the magnetic fields) to one fixed time slice is examined.

  19. Model Checking for Database Theoreticians Moshe Y. Vardi 1#

    E-Print Network [OSTI]

    Vardi, Moshe Y.

    techniques to establish the correctness of the system under verification with respect to a given property. Model checking is an algorithmic­verification technique that is based on a small number of key ideas to database verification. 1 Introduction The recent growth in computer power and connectivity has changed

  20. Reuse of Verification Results Conditional Model Checking, Precision Reuse,

    E-Print Network [OSTI]

    Beyer, Dirk

    further verification runs of the system; information about the level of abstraction in the abstract modelReuse of Verification Results Conditional Model Checking, Precision Reuse, and Verification checker which parts of the system should be verified; thus, later verification runs can use the output

  1. Flat acceleration in symbolic model checking Sebastien Bardin1

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    . Key words: verification of infinite-state systems, symbolic model checking, ac- celeration. 1 research teams from de- veloping powerful innovative model checkers for infinite-state systems. For example verification pro- cedures that can handle systems with an infinite state space. So-called "accelera- tion

  2. Eoeective Recognizability and Model Checking of Reactive Fioeo Automata

    E-Print Network [OSTI]

    Sutre, Grégoire

    Electre. For this, we deøne a particular behavioral model for Electre programs, Reactive Fioeo Au­ tomata speciøed with the reactive language Electre [CR95]. A reactive pro­ gram is supposed to reactEoeective Recognizability and Model Checking of Reactive Fioeo Automata G. Sutre 1 , A. Finkel 1

  3. National propane safety week caps fifth anniversary of GAS Check

    SciTech Connect (OSTI)

    Prowler, S.

    1990-09-01T23:59:59.000Z

    This paper reports on National Propane Safety Week. The publicity encompassed everything from preventative maintenance to safe winter storage of cylinders. This campaign focused much of its attention on GAS (gas appliance system) Check, the propane industry's most well-known safety program.

  4. Conformance Checking of Interacting Processes With Overlapping Instances

    E-Print Network [OSTI]

    van der Aalst, Wil

    basic metric is fitness telling whether M can replay every observed execution of S. In case M cannot checking techniques assume rather simple models where process instances can be considered in isolation and isolate executions of such a process, and classical modeling languages are no longer applicable [8

  5. Equivalence Checking for Function Pipelining in Behavioral Synthesis

    E-Print Network [OSTI]

    Xie, Fei

    on subtle design invariants. Function pipelining (a.k.a. system-level pipelining) is an important, correct-by-construction abstraction of function pipeline; thus, instead of developing pipelineEquivalence Checking for Function Pipelining in Behavioral Synthesis Kecheng Hao, Sandip Ray

  6. Detecting Termination of Active Database Rules Using Symbolic Model Checking

    E-Print Network [OSTI]

    Ray, Indrakshi

    Detecting Termination of Active Database Rules Using Symbolic Model Checking Indrakshi Ray is the non-termination of rules. Although algorithms have been proposed to detect non-termination, al- most all provide a conservative estimate; that is, the algorithms detect all the potential cases of non-termination

  7. Termination Checking: Comparing Structural Recursion and Sized Types by Examples

    E-Print Network [OSTI]

    Abel, Andreas

    Termination Checking: Comparing Structural Recursion and Sized Types by Examples David Thibodeau Decemer 3, 2011 Abstract Termination is an important property for programs and is necessary for formal proofs to make sense. In order to make sure that a program using recursion is terminating, one can use

  8. Applying High Performance Computing to Analyzing by Probabilistic Model Checking

    E-Print Network [OSTI]

    Schneider, Carsten

    Applying High Performance Computing to Analyzing by Probabilistic Model Checking Mobile Cellular on the use of high performance computing in order to analyze with the proba- bilistic model checker PRISM. The Figure Generation Script 22 2 #12;1. Introduction We report in this paper on the use of high performance

  9. Model checking Timed CSP Philip Armstrong Gavin Lowe Joel Ouaknine

    E-Print Network [OSTI]

    Ouaknine, Joël

    Model checking Timed CSP Philip Armstrong Gavin Lowe Jo¨el Ouaknine A.W. Roscoe Oxford University Department of Computer Science Abstract Though Timed CSP was developed 25 years ago and the CSP for Timed CSP. In this paper we report on the creation of such a version, based on the digitisation results

  10. Polymorphic CSP Type Checking Ping Gao and Robert Esser

    E-Print Network [OSTI]

    Esser, Robert

    Polymorphic CSP Type Checking Ping Gao and Robert Esser Concurrent and Real­time Systems Laboratory@cs.adelaide.edu.au Abstract Communicating Sequential Processes (CSP) is a lan­ guage used to describe and reason about between a conventional functional lan­ guage type checker and a type checker for the CSP language

  11. Modular SMT Proofs for Fast Reflexive Checking inside Coq

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

  12. Page 1 September 2014EMC'2014 Software Model Checking

    E-Print Network [OSTI]

    Clarke, Edmund M.

    Page 1 September 2014EMC'2014 Dynamic Software Model Checking Patrice Godefroid Microsoft Research #12;Page 2 September 2014EMC'2014 Ed Clarke: A man, An idea... · LASER'2011 summer school (Elba island, Italy) #12;Page 3 September 2014EMC'2014 Ed Clarke: A man, An idea... · LASER'2011 summer school (Elba

  13. A Simplified Model Of QuickCheck Automata Kevin Falzon

    E-Print Network [OSTI]

    Pace, Gordon J.

    A Simplified Model Of QuickCheck Automata Kevin Falzon University of Malta kfal0002@um.edu.mt Gordon J. Pace University of Malta gordon.pace@um.edu.mt ABSTRACT Placing guarantees on a program in this publication is partially funded by the Strategic Educational Pathways Scholarship (Malta). The scholarship

  14. Quantitative 3-D Elemental Mapping by LA-ICP-MS of a Basaltic Clast from the Hanford 300 Area, Washington, USA

    E-Print Network [OSTI]

    Hu, Qinhong "Max"

    : Laser ablation with inductively coupled plasma- mass spectrometry (LA-ICP-MS) was used to measure (XAS2,8 ), and by cryogenic laser-induced fluorescence spectroscopy (CLIFS7 ). Both XAS and CLIFS

  15. Laser-ablation split-stream ICP petrochronology Andrew R.C. Kylander-Clark , Bradley R. Hacker, John M. Cottle

    E-Print Network [OSTI]

    Hacker, Bradley R.

    Laser-ablation split-stream ICP petrochronology Andrew R.C. Kylander-Clark , Bradley R. Hacker Keywords: Laser ablation Geochronology Geochemistry Accessory minerals Laser-ablation split-stream (LASS

  16. {sup 99}Tc bioassay: A direct comparison of liquid scintillation radiation detection and ICP-MS mass detection of the {sup 99}Tc isotope

    SciTech Connect (OSTI)

    Lewis, L.A. [Lockheed Martin Energy Systems, Inc., Oak Ridge, TN (United States). Analytical Services Organization; Schweitzer, G.K. [Univ. of Tennessee, Knoxville, TN (United States). Dept. of Chemistry

    1998-12-31T23:59:59.000Z

    A means of analyzing {sup 99}Tc in urine by inductively coupled plasma mass spectrometry (ICP-MS) has been developed. Historically, {sup 99}Tc analysis was based on the radiometric detection of the 293 keV E{sub Max.} beta decay product by liquid scintillation or gas flow proportional counting. A separation scheme for {sup 99}Tc detection by ICP-MS is given and is proven to be a sensitive and robust analytical alternative. A comparison of methods using radiometric and mass quantitation of {sup 99}Tc has been conducted in water, artificial urine, and real urine matrices at activity levels between 700 and 2,200 dpm/L. Liquid scintillation results based on an external standard manual quench correction and an automatic quench curve correction method are compared with results obtained by ICP-MS. Each method produced accurate results; however, the precision of the ICP-MS results is superior to that of liquid scintillation results.

  17. Measurement of elemental speciation by liquid chromatography -- inductively coupled plasma mass spectrometry (LC-ICP-MS) with the direct injection nebulizer (DIN)

    SciTech Connect (OSTI)

    Shum, S.

    1993-05-01T23:59:59.000Z

    This thesis is divided into 4 parts: elemental speciation, speciation of mercury and lead compounds by microbore column LC-ICP-MS with direct injection nebulization, spatially resolved measurements of size and velocity distributions of aerosol droplets from a direct injection nebulizer, and elemental speciation by anion exchange and size exclusion chromatography with detection by ICP-MS with direct injection nebulization. Tabs, figs, refs.

  18. Optimal Distributed Beamforming for MISO Interference Channels

    E-Print Network [OSTI]

    Qiu, Jiaming; Luo, Zhi-Quan; Cui, Shuguang

    2010-01-01T23:59:59.000Z

    We consider the problem of quantifying the Pareto optimal boundary in the achievable rate region over multiple-input single-output (MISO) interference channels, where the problem boils down to solving a sequence of convex feasibility problems after certain transformations. The feasibility problem is solved by two new distributed optimal beamforming algorithms, where the first one is to parallelize the computation based on the method of alternating projections, and the second one is to localize the computation based on the method of cyclic projections. Convergence proofs are established for both algorithms.

  19. Removable check valve for use in a nuclear reactor

    DOE Patents [OSTI]

    Dunn, Charlton (Calabasas, CA); Gutzmann, Edward A. (Simi Valley, CA)

    1988-01-01T23:59:59.000Z

    A removable check valve for interconnecting the discharge duct of a pump and an inlet coolant duct of a reactor core in a pool-type nuclear reactor. A manifold assembly is provided having an outer periphery affixed to and in fluid communication with the discharge duct of the pump and has an inner periphery having at least one opening therethrough. A housing containing a check valve is located within the inner periphery of the manifold. The upper end of the housing has an opening in alignment with the opening in the manifold assembly, and seals are provided above and below the openings. The lower end of the housing is adapted for fluid communication with the inlet duct of the reactor core.

  20. Formalization of the data flow diagram rules for consistency check

    E-Print Network [OSTI]

    Ibrahim, Rosziati; 10.5121/ijsea.2010.1406

    2010-01-01T23:59:59.000Z

    In system development life cycle (SDLC), a system model can be developed using Data Flow Diagram (DFD). DFD is graphical diagrams for specifying, constructing and visualizing the model of a system. DFD is used in defining the requirements in a graphical view. In this paper, we focus on DFD and its rules for drawing and defining the diagrams. We then formalize these rules and develop the tool based on the formalized rules. The formalized rules for consistency check between the diagrams are used in developing the tool. This is to ensure the syntax for drawing the diagrams is correct and strictly followed. The tool automates the process of manual consistency check between data flow diagrams.

  1. SMT-based Bounded Model Checking with Difference Logic Constraints

    E-Print Network [OSTI]

    Bersani, Marcello M; Morzenti, Angelo; Pradella, Matteo; Rossi, Matteo; Pietro, Pierluigi San

    2010-01-01T23:59:59.000Z

    Traditional Bounded Model Checking (BMC) is based on translating the model checking problem into SAT, the Boolean satisfiability problem. This paper introduces an encoding of Linear Temporal Logic with Past operators (PLTL) into the Quantifier-Free Difference Logic with Uninterpreted Functions (QF-UFIDL). The resulting encoding is a simpler and more concise version of existing SATbased encodings, currently used in BMC. In addition, we present an extension of PLTL augmented with arithmetic relations over integers, which can express unbounded counters; as such, the extended logic is more expressive than PLTL. We introduce suitable restrictions and assumptions that are shown to make the verification problem for the extended logic decidable, and we define an encoding of the new logic into QF-UFIDL. Finally, a performance comparison with the SAT-based approach on purely PLTL examples shows significant improvements in terms of both execution time and memory occupation.

  2. Patterned Fabric Know - How (Plaids, Stripes, Checks, and Figured Designs).

    E-Print Network [OSTI]

    Anoymous,

    1984-01-01T23:59:59.000Z

    DC \\1\\245.7 '13 Fbiterned Fabric mow-Kbw Contents Design Principles and Patterned Fabrics Pattern Selection Fabric Construction Selecting and Preparing Fabric Kinds of Plaids and Stripes Pri nts Other Patterned Fabrics Combining..., Stripes, Checks and Figured Designs) Extension Clothing Specialists The Texas A&M University System Patterned fabrics provide an interesting di mension to anyone's wardrobe. In a garment or as an accent, patterned fabrics are colorful and ex citing...

  3. Interference microscopy and Fourier fringe analysis applied to measuring

    E-Print Network [OSTI]

    Ribak, Erez

    in Fig. 1. It forms an image of the experimental cell that interferes with a plane wave, the two being (Peltier) coolers; 5,

  4. asymmetric reproductive interference: Topics by E-print Network

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

    inversely related to Gouldian finch reproduc- tive 4 Lepton-Flavored Asymmetric Dark Matter and Interference in Direct Detection HEP - Phenomenology (arXiv) Summary: In flavored...

  5. anthropogenic interference dangerous: Topics by E-print Network

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

    17 18 19 20 21 22 23 24 25 Next Page Last Page Topic Index 1 A SLIPPERY SLOPE: HOW MUCH GLOBAL WARMING CONSTITUTES "DANGEROUS ANTHROPOGENIC INTERFERENCE"? Multidisciplinary...

  6. Multilevel interference lithography--fabricating sub-wavelength periodic nanostructures

    E-Print Network [OSTI]

    Chang, Chih-Hao, 1980-

    2008-01-01T23:59:59.000Z

    Periodic nanostructures have many exciting applications, including high-energy spectroscopy, patterned magnetic media, photonic crystals, and templates for self-assembly. Interference lithography (IL) is an attractive ...

  7. Surface Cleaning Techniques: Ultra-Trace ICP-MS Sample Preparation and Assay of HDPE

    SciTech Connect (OSTI)

    Overman, Nicole R.; Hoppe, Eric W.; Addleman, Raymond S.

    2013-06-01T23:59:59.000Z

    The world’s most sensitive radiation detection and assay systems depend upon ultra-low background (ULB) materials to reduce unwanted radiological backgrounds. Herein, we evaluate methods to clean HDPE, a material of interest to ULB systems and the means to provide rapid assay of surface and bulk contamination. ULB level material and ultra-trace level detection of actinide elements is difficult to attain, due to the introduction of contamination from sample preparation equipment such as pipette tips, sample vials, forceps, etc. and airborne particulate. To date, literature available on the cleaning of such polymeric materials and equipment for ULB applications and ultra-trace analyses is limited. For these reasons, a study has been performed to identify an effective way to remove surface contamination from polymers in an effort to provide improved instrumental detection limits. Inductively Coupled Plasma Mass Spectroscopy (ICP-MS) was utilized to assess the effectiveness of a variety of leachate solutions for removal of inorganic uranium and thorium surface contamination from polymers, specifically high density polyethylene (HDPE). HDPE leaching procedures were tested to optimize contaminant removal of thorium and uranium. Calibration curves for thorium and uranium ranged from 15 ppq (fg/mL) to 1 ppt (pg/mL). Detection limits were calculated at 6 ppq for uranium and 7 ppq for thorium. Results showed the most effective leaching reagent to be clean 6 M nitric acid for 72 hour exposures. Contamination levels for uranium and thorium found in the leachate solutions were significant for ultralow level radiation detection applications.

  8. SEE ADDENDUM IS CHECKED CODE 18a. PAYMENT WILL BE MADE BY CODE

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

    SEE ADDENDUM IS CHECKED CODE 18a. PAYMENT WILL BE MADE BY CODE FACILITY CODE 17b. CHECK IF REMITTANCE IS DIFFERENT AND PUT SUCH ADDRESS IN OFFER OFFEROR 00146 Casper WY 82601 Shale...

  9. Long working distance incoherent interference microscope

    DOE Patents [OSTI]

    Sinclair, Michael B. (Albuquerque, NM); De Boer, Maarten P. (Albuquerque, NM)

    2006-04-25T23:59:59.000Z

    A full-field imaging, long working distance, incoherent interference microscope suitable for three-dimensional imaging and metrology of MEMS devices and test structures on a standard microelectronics probe station. A long working distance greater than 10 mm allows standard probes or probe cards to be used. This enables nanometer-scale 3-dimensional height profiles of MEMS test structures to be acquired across an entire wafer while being actively probed, and, optionally, through a transparent window. An optically identical pair of sample and reference arm objectives is not required, which reduces the overall system cost, and also the cost and time required to change sample magnifications. Using a LED source, high magnification (e.g., 50.times.) can be obtained having excellent image quality, straight fringes, and high fringe contrast.

  10. On the superposition principle in interference experiments

    E-Print Network [OSTI]

    Aninda Sinha; Aravind H. Vijay; Urbasi Sinha

    2014-12-06T23:59:59.000Z

    The superposition principle is usually incorrectly applied in interference experiments. This has recently been investigated through numerics based on Finite Difference Time Domain (FDTD) methods as well as the Feynman path integral formalism. In the current work, we have derived an analytic formula for the Sorkin parameter which can be used to determine the deviation from the application of the principle. We have found excellent agreement between the analytic distribution and those that have been earlier estimated by numerical integration as well as resource intensive FDTD simulations. The analytic handle would be useful for comparing theory with future experiments. It is applicable both to physics based on classical wave equations as well as the non-relativistic Schrodinger equation.

  11. Evaluation of Semantic Graph based on Model Checking Mahdi Gueffaz, Sylvain Rampacek and Christophe Nicolle

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    floods. Model checking is a powerful tool for system verification because it can reveal errors that were to describe the properties checking the system model. 395 hal-00617998,version1-31Aug2011 Author manuscriptSCALESEM Evaluation of Semantic Graph based on Model Checking Mahdi Gueffaz, Sylvain Rampacek

  12. Conformance Checking with Constraint Logic Programming: The Case of Feature Models

    E-Print Network [OSTI]

    Egyed, Alexander

    . On the semantic level, a PLM is defined as the collection of all the product models that can be derived from it. Therefore checking the conformance of the PLM is equivalent to checking the conformance of all the product of a PLM. Despite the importance of PLM conformance checking, very few research works have been published

  13. Turbo Codes are Low Density Parity Check Codes David J. C. MacKay

    E-Print Network [OSTI]

    MacKay, David J.C.

    Turbo Codes are Low Density Parity Check Codes David J. C. MacKay July 8, 1998--- Draft 0.2, not for distribution! (First draft written July 5, 1998) Abstract Turbo codes and Gallager codes (also known as low note that the parity check matrix of a Turbo code can be written as low density parity check matrix

  14. Instructions to obtain apostille certification of the FBI background check (Valencia Year-Long Students)

    E-Print Network [OSTI]

    Hull, Elaine

    Instructions to obtain apostille certification of the FBI background check (Valencia Year-Long Students) Once you have received the FBI background check. You will need to proceed with step two, obtain not waste time submitting your FBI Background Check for certification. 1.) Complete the DS-4194 Request

  15. SINR Balancing and Beamforming for the MISO Interference Channel

    E-Print Network [OSTI]

    Gesbert, David

    SINR Balancing and Beamforming for the MISO Interference Channel Francesco Negro, Martina Cardone.negro@eurecom.fr, dirk.slock@eurecom.fr Abstract--In this paper a K user multi-input single-output (MISO) interference noise contribution (Noisy IFC). We address the MISO downlink (DL) beamformer design and power allocation

  16. Revenue Management for Cognitive Spectrum Underlay Networks: An Interference Elasticity

    E-Print Network [OSTI]

    Huang, Jianwei

    to the large body of work on uplink power control with pricing for CDMA networks (e.g., [5]­[10] and a recent a total received interference power constraint at the primary user's receiver. The transmission power1 Revenue Management for Cognitive Spectrum Underlay Networks: An Interference Elasticity

  17. Correcting the Bias of Subtractive Interference Cancellation in CDMA

    E-Print Network [OSTI]

    Winther, Ole

    ­of­the­art subtractive interference cancellation in all setups tested, for example in one case doubling the number of user at a bit error rate of 10 2 . To obtain such a good performance for finite size systems, where temperatures (noise levels). In the limit of infinite large system size, the new subtractive interference

  18. Optimal Energy-Bandwidth Allocation for Energy Harvesting Interference Networks

    E-Print Network [OSTI]

    Fisher, Kathleen

    Optimal Energy-Bandwidth Allocation for Energy Harvesting Interference Networks Zhe Wang, Vaneet@research.att.com Abstract--We develop optimal energy-bandwidth allocation algorithm for the energy harvesting transmitters in interference networks. We assume that both the channel gain and the harvested energy are known for K slots

  19. Time varying ISI model for nonlinear interference noise

    E-Print Network [OSTI]

    Dar, Ronen; Mecozzi, Antonio; Shtaif, Mark

    2013-01-01T23:59:59.000Z

    We show that the effect of nonlinear interference in WDM systems is equivalent to slowly varying inter-symbol-interference (ISI), and hence its cancellation can be carried out by means of adaptive linear filtering. We characterize the ISI coefficients and discuss the potential gain following from their cancellation.

  20. Grid Cells and Theta as Oscillatory Interference: Theory and Predictions

    E-Print Network [OSTI]

    Burgess, Neil

    Grid Cells and Theta as Oscillatory Interference: Theory and Predictions Neil Burgess* ABSTRACT: The oscillatory interference model [Burgess et al. (2007) Hippocampus 17:801­802] of grid cell firing is reviewed as an algorith- mic level description of path integration and as an implementation level description of grid

  1. Modelling Chinese Smart Grid: A Stochastic Model Checking Case Study

    E-Print Network [OSTI]

    Yüksel, Ender; Nielson, Flemming; Zhu, Huibiao; Huang, Heqing

    2012-01-01T23:59:59.000Z

    Cyber-physical systems integrate information and communication technology functions to the physical elements of a system for monitoring and controlling purposes. The conversion of traditional power grid into a smart grid, a fundamental example of a cyber-physical system, raises a number of issues that require novel methods and applications. In this context, an important issue is the verification of certain quantitative properties of the system. In this technical report, we consider a specific Chinese Smart Grid implementation and try to address the verification problem for certain quantitative properties including performance and battery consumption. We employ stochastic model checking approach and present our modelling and analysis study using PRISM model checker.

  2. PIA - Positive Pay and Check Reconciliation (POSPAY) | Department of Energy

    Office of Environmental Management (EM)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742 33 111 1,613 122Commercial602 1,39732onMakeEducation Programs Business EnclavePositive Pay and Check

  3. LCLS User Check-In Procedures | Linac Coherent Light Source

    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 PowerCherries 82981-1cnHigh SchoolIn12electron 9 5 - -/e),,s - 6157Bioenergy09913User Check-In

  4. check list for those with one abnormal BeLPT

    Office of Environmental Management (EM)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742 33Frequently20,000 Russian Nuclear Warheads|ofEventsWorkshopY-12a Multi-User Network Testbed3CHECK

  5. Uncertainty Measurement for Trace Element Analysis of Uranium and Plutonium Samples by Inductively Coupled Plasma-Atomic Emission Spectrometry (ICP-AES) and Inductively Coupled Plasma-Mass Spectrometry (ICP-MS)

    SciTech Connect (OSTI)

    Gallimore, David L. [Los Alamos National Laboratory

    2012-06-13T23:59:59.000Z

    The measurement uncertainty estimatino associated with trace element analysis of impurities in U and Pu was evaluated using the Guide to the Expression of Uncertainty Measurement (GUM). I this evalution the uncertainty sources were identified and standard uncertainties for the components were categorized as either Type A or B. The combined standard uncertainty was calculated and a coverage factor k = 2 was applied to obtain the expanded uncertainty, U. The ICP-AES and ICP-MS methods used were deveoped for the multi-element analysis of U and Pu samples. A typical analytical run consists of standards, process blanks, samples, matrix spiked samples, post digestion spiked samples and independent calibration verification standards. The uncertainty estimation was performed on U and Pu samples that have been analyzed previously as part of the U and Pu Sample Exchange Programs. Control chart results and data from the U and Pu metal exchange programs were combined with the GUM into a concentration dependent estimate of the expanded uncertainty. Comparison of trace element uncertainties obtained using this model was compared to those obtained for trace element results as part of the Exchange programs. This process was completed for all trace elements that were determined to be above the detection limit for the U and Pu samples.

  6. Reasoning About Strategies: On the Model-Checking Problem

    E-Print Network [OSTI]

    Mogavero, Fabio; Perelli, Giuseppe; Vardi, Moshe Y

    2011-01-01T23:59:59.000Z

    In open systems verification, to formally check for reliability, one needs an appropriate formalism to model the interaction between agents and express the correctness of the system no matter how the environment behaves. An important contribution in this context is given by modal logics for strategic ability, in the setting of multi-agent games, such as ATL, ATL*, and the like. Recently, Chatterjee, Henzinger, and Piterman introduced Strategy Logic (CHP-SL), with the aim of getting a powerful framework for reasoning explicitly about strategies. CHP-SL is obtained by using first-order quantifications over strategies and it has been investigated in the setting of two-agents turned-based games, where a non-elementary model-checking algorithm has been provided. While CHP-SL is a very expressive logic, we claim that it does not fully capture the strategic aspects of multi-agent systems. In this paper, we introduce and study a more general strategy logic, denoted SL, for reasoning about strategies in multi-agent co...

  7. A framework for low-complexity iterative interference cancellation in communication systems

    E-Print Network [OSTI]

    Chan, Albert M. (Albert Michael), 1975-

    2004-01-01T23:59:59.000Z

    Communication over interference channels poses challenges not present for the more traditional additive white Gaussian noise (AWGN) channels. In order to approach the information limits of an interference channel, interference ...

  8. Interference-induced splitting of resonances in spontaneous emission

    E-Print Network [OSTI]

    R. Arun

    2007-10-06T23:59:59.000Z

    We study the resonance fluorescence from a coherently driven four-level atom in the Y-type configuration. The effects of quantum interference induced by spontaneous emission on the fluorescence properties of the atom are investigated. It is found that the quantum interference resulting from cascade emission decays of the atom leads to a splitting of resonances in the excited level populations calculated as a function of light detuning. For some parameters, interference assisted enhancement of inner sidebands and narrowing of central peaks may also occur in the fluorescence spectrum. We present a physical understandingof our numerical results using the dressed state description of the atom-light interaction.

  9. Object-Space Interference Detection on Programmable Graphics Hardware

    E-Print Network [OSTI]

    Zachmann, Gabriel

    Zachmann Abstract. We present a novel method for checking the intersection of polygonal models on graphics. GreÃ? and G. Zachmann Many algorithms have been proposed to utilize graphics hardware for the problem

  10. Nonclassical effects in two-photon interference experiments: event-by-event simulations

    E-Print Network [OSTI]

    -photon interference experiments with two independent sources, like the Hanbury Brown-Twiss experiment: Interference, Hanbury Brown-Twiss experiment, Ghosh-Mandel experiment, quantum theory, discrete

  11. Advanced interference management techniques for future wireless networks 

    E-Print Network [OSTI]

    Razavi, Seyed Morteza

    2014-06-30T23:59:59.000Z

    In this thesis, we design advanced interference management techniques for future wireless networks under the availability of perfect and imperfect channel state information (CSI). We do so by considering a generalized ...

  12. Quantum interference as a resource for quantum speedup

    E-Print Network [OSTI]

    Dan Stahlke

    2014-08-01T23:59:59.000Z

    Quantum states can in a sense be thought of as generalizations of classical probability distributions, but are more powerful than probability distributions when used for computation or communication. Quantum speedup therefore requires some feature of quantum states that classical probability distributions lack. One such feature is interference. We quantify interference and show that there can be no quantum speedup due to a small number of operations incapable of generating large amounts of interference (although large numbers of such operations can in fact lead to quantum speedup). Low-interference operations include sparse unitaries, Grover reflections, short time/low energy Hamiltonian evolutions, and the Haar wavelet transform. Circuits built from such operations can be classically simulated via a Monte Carlo technique making use of a convex combination of two Markov chains. Applications to query complexity, communication complexity, and the Wigner representation are discussed.

  13. Power dependence of pure spin current injection by quantum interference

    E-Print Network [OSTI]

    Ruzicka, Brian Andrew; Zhao, Hui

    2009-04-01T23:59:59.000Z

    We investigate the power dependence of pure spin current injection in GaAs bulk and quantumwell samples by a quantum interference and control technique. Spin separation is measured as a function of the relative strength of the two transition...

  14. Interference-Aware Geometric Modeling David Harmon1

    E-Print Network [OSTI]

    Grinspun, Eitan

    Interference-Aware Geometric Modeling David Harmon1 Daniele Panozzo1,2 Olga Sorkine1,3 Denis Zorin1 as glaring artifacts, and eliminate the ability to use the final model further down many software pipelines

  15. Electromagnetic Interference (EMI) Shielding of Single-Walled Carbon

    E-Print Network [OSTI]

    Gao, Hongjun

    , electrically conducting polymer composites have gained popularity recently because of their light weight (SWNT)-polymer composites have been fabricated to evaluate the electromagnetic interference (EMI) of a composite material depends on many factors, including the filler's intrinsic conductivity, dielectric

  16. Cryogenic direct current superconducting quantum interference device readout circuit

    E-Print Network [OSTI]

    Le Roy, Robert J.

    Cryogenic direct current superconducting quantum interference device readout circuit Michael Mück SQUID readout circuit, which can be operated at liquid helium temperatures. Although room electronics, and feedback coil as short as possible to minimize phase shifts and time delays. Cooling

  17. Interference management techniques in large-scale wireless networks 

    E-Print Network [OSTI]

    Luo, Yi

    2015-06-29T23:59:59.000Z

    In this thesis, advanced interference management techniques are designed and evaluated for large-scale wireless networks with realistic assumptions, such as signal propagation loss, random node distribution and ...

  18. Multi-band OFDM UWB receiver with narrowband interference suppression 

    E-Print Network [OSTI]

    Kelleci, Burak

    2009-05-15T23:59:59.000Z

    A multi band orthogonal frequency division multiplexing (MB-OFDM) compatible ultra wideband (UWB) receiver with narrowband interference (NBI) suppression capability is presented. The average transmit power of UWB system ...

  19. Discovery and biochemical characterization of RNA interference in budding yeast

    E-Print Network [OSTI]

    Weinberg, David E. (David Eric)

    2013-01-01T23:59:59.000Z

    RNA interference (RNAi) is a eukaryotic pathway for the post-transcriptional regulation of gene expression. In the simplest form of RNAi, a double-stranded RNA (dsRNA) trigger is converted into small-RNA duplexes by the ...

  20. Toward nano-accuracy in scanning beam interference lithography

    E-Print Network [OSTI]

    Montoya, Juan, 1976-

    2006-01-01T23:59:59.000Z

    Scanning beam interference lithography is a technique developed in our laboratory which uses interfering beams and a scanning stage to rapidly pattern gratings over large areas (300x300 mm2) with high precision. The ...

  1. Effect of Nanoparticle Conjugation on Gene Silencing by RNA Interference

    E-Print Network [OSTI]

    Singh, Neetu

    RNA interference (RNAi) is a cellular process whereby the silencing of a particular gene is mediated by short RNAs (siRNAs). Although siRNAs have great therapeutic potential, cellular delivery has been a challenge. ...

  2. Interference effects in tunnelling of "cat" wave packet states

    E-Print Network [OSTI]

    D. Sokolovski

    2015-02-26T23:59:59.000Z

    We analyse tunnelling of a single particle, whose initial state is given by a superposition of spatially separated wave packet modes. It is shown that "pile up" of different components the scatterer may change the tunnelling probabilities, making such states a convenient tool for probing the barrier's scattering times. Interference effects arising in resonance tunnelling in are studied in detail. The analysis allows us to gain further insight into the origin of interference effects in scattering of several identical particles.

  3. A Split-Decoding Message Passing Algorithm for Low Density Parity Check Decoders

    E-Print Network [OSTI]

    Mohsenin, Tinoosh; Baas, Bevan M.

    2010-01-01T23:59:59.000Z

    Shi, R. (2008). Sliced message passing: High throughputWang, Z. (2007). Efficient message passing ar- chitectureparity check codes under message-passing decoding. IEEE

  4. Rg 0961u Form 24 for 12/08/2012 Crew rest. Comm checks

    E-Print Network [OSTI]

    :00-12:15 CDR ARED ­ flywheel cylinder removal 12:10-12:20 FE-1 Soyuz VHF2 check via Groundstation #33 Tagup

  5. Full sequential equivalence checking by state space traversal has been shown to be unpractical for large

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Abstract: Full sequential equivalence checking by state space traversal has been shown, Simulation, SAT) to transform the sequential equivalence checking problem into a combinational equivalence successful in general, they are not able to reach proof of equivalence in presence of complex transformations

  6. Property Verification for Access Control Models via Model Checking1 Vincent C. Hu1

    E-Print Network [OSTI]

    Young, R. Michael

    Property Verification for Access Control Models via Model Checking1 Vincent C. Hu1 , D. Richard. In this paper, we propose a new general approach for property verification for access control models via model checking. The approach defines a standardized structure for access control models, providing for both

  7. ASI Student Research Grant Application 2013-2014 Keep this Check List for your records.

    E-Print Network [OSTI]

    de Lijser, Peter

    handing in your Research Grant Application to ASI Leader and Program Development, TSU 269, please check to spending funds. 3. Recipients must submit a Grant Compliance Report to ASI Leader and Program Development1 ASI Student Research Grant Application 2013-2014 Keep this Check List for your records. Before

  8. Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with

    E-Print Network [OSTI]

    Platzer, André

    Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid accurately model real-world power consumption). We propose Distributed Probabilistic-Control Hybrid Automata and apply existing statistical model- checking techniques. We provide an implementation of a framework

  9. A Formal Verification Methodology for Checking Data Integrity Yasushi Umezawa, Takeshi Shimizu

    E-Print Network [OSTI]

    Boyer, Edmond

    and complexity of system on chip (SoC) designs. Powerful formal verification methods have been playing, model checking for complex designs may be beyond the power of available tools and computing resourceA Formal Verification Methodology for Checking Data Integrity Yasushi Umezawa, Takeshi Shimizu

  10. IN-PLANE BANDPASS REGULATION CHECK VALVE IN HEAT-SHRINK PACKAGING FOR DRUG DELIVERY

    E-Print Network [OSTI]

    Meng, Ellis

    IN-PLANE BANDPASS REGULATION CHECK VALVE IN HEAT-SHRINK PACKAGING FOR DRUG DELIVERY R. Lo and E. Meng University of Southern California, Los Angeles, California, USA ABSTRACT The first check valve valve design and these results were confirmed experimentally. The valve regulates flow between 150

  11. Page 1 of 14 5/2010 LBNL Construction Safety Check List

    E-Print Network [OSTI]

    Knowles, David William

    Page 1 of 14 5/2010 LBNL Construction Safety Check List Safety Check List MUST be posted at the job (LBNL) Project Manager for review and final approval the LBNL Construction Safety Engineer must reviewed performing work at LBNL. These items and all other requirements in the contractual documents will be enforced

  12. CONCATENATED CODES BASED ON MULTIDIMENSIONAL PARITY-CHECK CODES AND TURBO CODES

    E-Print Network [OSTI]

    Wong, Tan F.

    CONCATENATED CODES BASED ON MULTIDIMENSIONAL PARITY-CHECK CODES AND TURBO CODES John M. Shea, Florida Abstract--Turbo-codes provide communications near capac- ity when very large interleavers (and parity-check code can be used as an outer code with a turbo code as an inner code in a serial

  13. Checking pi-Calculus Structural Congruence is Graph Isomorphism V. Khomenko , R. Meyer,

    E-Print Network [OSTI]

    Newcastle upon Tyne, University of

    . Khomenko , R. Meyer, TECHNICAL REPORT SERIES No. CS-TR-1100 May, 2008 #12;TECHNICAL REPORT SERIES No. CS and Roland Meyer Abstract We show that the problems of checking pi-Calculus structural congruence (pi, England. #12;Bibliographical details KHOMENKO, V., MEYER, R. Checking pi-Calculus Structural Congruence

  14. Approximate model checking of stochastic hybrid systems , J.-P. Katoen

    E-Print Network [OSTI]

    Abate, Alessandro

    -room heating system. 1 Introduction Stochastic hybrid systems are a broad and widely applicable classApproximate model checking of stochastic hybrid systems A. Abate , J.-P. Katoen , J. Lygeros , and M. Prandini§ Abstract A method for approximate model checking of stochastic hybrid systems

  15. INTERFERENCE FRINGES OF SOLAR ACOUSTIC WAVES AROUND SUNSPOTS

    SciTech Connect (OSTI)

    Chou, Dean-Yi; Zhao Hui; Yang, Ming-Hsu; Liang, Zhi-Chao, E-mail: chou@phys.nthu.edu.tw [Physics Department, National Tsing Hua University, Hsinchu, Taiwan (China)

    2012-10-20T23:59:59.000Z

    Solar acoustic waves are scattered by a sunspot due to the interaction between the acoustic waves and the sunspot. The sunspot, excited by the incident wave, generates the scattered wave. The scattered wave is added to the incident wave to form the total wave around the sunspot. The interference fringes between the scattered wave and the incident wave are visible in the intensity of the total wave because the coherent time of the incident wave is of the order of a wave period. The strength of the interference fringes anti-correlates with the width of temporal spectra of the incident wave. The separation between neighboring fringes increases with the incident wavelength and the sunspot size. The strength of the fringes increases with the radial order n of the incident wave from n = 0 to n = 2, and then decreases from n = 2 to n = 5. The interference fringes play a role analogous to holograms in optics. This study suggests the feasibility of using the interference fringes to reconstruct the scattered wavefields of the sunspot, although the quality of the reconstructed wavefields is sensitive to the noise and errors in the interference fringes.

  16. On-shell interference effects in Higgs final states

    E-Print Network [OSTI]

    Christoph Englert; Ian Low; Michael Spannowsky

    2015-02-16T23:59:59.000Z

    Top quark loops in Higgs production via gluon fusion at large invariant final state masses can induce important interference effects in searches for additional Higgs bosons as predicted in, e.g., Higgs portal scenarios and the MSSM when the heavy scalar is broad or the final state resolution is poor. Currently, the limit setting as performed by both ATLAS and CMS is based on injecting a heavy Higgs-like signal neglecting interference effects. In this paper, we perform a study of such "on-shell" interference effects in $pp\\to ZZ$ and find that they lead to a $\\lesssim{\\cal{O}}(30%)$ width scheme-dependent modification of the signal strength. Including the continuum contributions to obtain e.g. the full $pp\\to ZZ \\to 4\\ell$ final state, this modification is reduced to the 10% level in the considered intermediate mass range.

  17. Interference Visibility as a Witness of Entanglement and Quantum Correlation

    E-Print Network [OSTI]

    Lin Zhang; Arun Kumar Pati; Junde Wu

    2014-10-30T23:59:59.000Z

    In quantum information and communication one looks for the non-classical features like interference and quantum correlations to harness the true power of composite systems. We show how the concept akin to interference is, in fact, intertwined in a quantitative manner to entanglement and quantum correlation. In particular, we prove that the difference in the squared visibility for a density operator before and after a complete measurement, averaged over all unitary evolutions, is directly related to the quantum correlation measure based on the measurement disturbance. For pure and mixed bipartite states the unitary average of the squared visibility is related to entanglement measure. This may constitute direct detection of entanglement and quantum correlations with quantum interference setups. Furthermore, we prove that for a fixed purity of the subsystem state, there is a complementarity relation between the linear entanglement of formation and the measurement disturbance. This brings out a quantitative difference between two kinds of quantum correlations.

  18. Analysis of interference in attosecond transient absorption in adiabatic condition

    E-Print Network [OSTI]

    Dong, Wenpu; Wang, Xiaowei; Zhao, Zengxiu

    2015-01-01T23:59:59.000Z

    We simulate the transient absorption of attosecond pulses of infrared laser-dressed atoms by considering a three-level system with the adiabatic approximation. We study the delay-dependent interference features in the transient absorption spectra of helium atoms from the perspective of the coherent interaction processes between the attosecond pulse and the quasi-harmonics, and find that many features of the interference fringes in the absorption spectra of the attosecond pulse can be attributed to the coherence phase difference. And the modulation signals of laser-induced sidebands of the dark state is found related to the dark state with population modulated by the dressing field.

  19. RESEARCH Open Access Helicobacter pylori interferes with an embryonic

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    RESEARCH Open Access Helicobacter pylori interferes with an embryonic stem cell micro RNA cluster. In this work we report that Helicobacter pylori, a human stomach-colonizing bacterium responsible for severe defense mechanism against bacterial infections. Keywords: microRNAs, cell cycle, Helicobacter pylori

  20. Atomic and nuclear interference phenomena and their applications 

    E-Print Network [OSTI]

    Kuznetsova, Yelena Anatolyevna

    2005-08-29T23:59:59.000Z

    such as CPT-based plasma diagnostics, and realization of new types of solid-state lasers (based on suppression of excited-state absorption via EIT). The third goal of the project is extension of coherence and interference effects well-known in optics...

  1. Distributed Power Control and Beamforming on MIMO Interference Channels

    E-Print Network [OSTI]

    Gesbert, David

    1 Distributed Power Control and Beamforming on MIMO Interference Channels Zuleita K. M. Ho , Mariam the design of precoding (i.e. beamforming) vectors and power control at each data stream with the aim and further improve the rate performance by allowing power control which is not addressed in previous

  2. Sagnac Interference in Carbon Nanotube Loops Gil Refael,1

    E-Print Network [OSTI]

    Bockrath, Marc

    loops. The conductance as a function of the applied voltage is shown to oscillate due to interference. The period of these oscillations with respect to the gate voltage, as well as the temperatures required calculate interaction effects on the period of the oscillations, and show that even though interactions

  3. Interference evaluation between manifold and wet Christmas tree CP systems

    SciTech Connect (OSTI)

    Brasil, S.L.D.C.; Baptista, W.

    2000-05-01T23:59:59.000Z

    Offshore production wells are controlled by valves installed in the marine soil, called wet Christmas trees (WCTs). A manifold receives the production of several wells and transports it to the platform. The manifold is cathodically protected by Al anodes and the WCT by Zn anodes. A computer simulation was carried out to evaluate the interference between the equipment cathodic protection systems.

  4. Distinguishing between interference and exploitation competition for shelter in a

    E-Print Network [OSTI]

    Jones, Owen

    Distinguishing between interference and exploitation competition for shelter in a mobile fish) as a model system of mobile fish to investigate the effect of intraspecific competition on shelter use and population density. For each experiment the location of each individual fish was observed over a period of 10

  5. K-BAND RADIO FREQUENCY INTERFERENCE SURVEY OF SOUTHEASTERN MICHIGAN

    E-Print Network [OSTI]

    Ruf, Christopher

    K-BAND RADIO FREQUENCY INTERFERENCE SURVEY OF SOUTHEASTERN MICHIGAN Shannon Curry1 , Michael Ahlers University of Michigan 2455 Hayward St. Ann Arbor, MI 48109-2143 USA cruf@umich.edu 2 DTU Space Technical resolution. A K-Band airborne version has been built and flown across southeast Michigan. A kurtosis detector

  6. Non-monotonic quantum to classical transition in multiparticle interference

    E-Print Network [OSTI]

    Young-Sik Ra; Malte C. Tichy; Hyang-Tag Lim; Osung Kwon; Florian Mintert; Andreas Buchleitner; Yoon-Ho Kim

    2011-09-08T23:59:59.000Z

    We experimentally demonstrate the non-monotonic dependence of genuine many-particle interference signals on the particles' mutual distinguishability. Our theoretical analysis shows that such non-monotonicity is a generic feature of the quantum to classical transition in multiparticle correlation functions of more than two particles.

  7. Artificial Intersymbol Interference (ISI) to Exploit Receiver Imperfections for Secrecy

    E-Print Network [OSTI]

    Massachusetts at Amherst, University of

    Artificial Intersymbol Interference (ISI) to Exploit Receiver Imperfections for Secrecy Azadeh intentional intersymbol inter- ference (ISI). The legitimate receiver uses the key to cancel the ISI while the eavesdropper, since it does not have the key, cannot do such. It is shown that although ISI reduces

  8. The production of ultra-high purity single isotopes or tailored isotope mixtures by ICP-MS

    SciTech Connect (OSTI)

    Liezers, Martin; Farmer, Orville T.; Dion, Michael P.; Thomas, Linda MP; Eiden, Gregory C.

    2015-01-01T23:59:59.000Z

    We report the development and testing of a simple collector arrangement for a commercial quadrupole ICP-MS that for the first time has been used to produce small quantities of highly enriched (>99.99%) single isotopes, with deposition rates >10 ng/hour. The collector assembly replaces the standard instrument detector allowing for implantation with simultaneous monitoring of the incident ion current. Even under zero bias implant conditions, low energy (<10 eV), ion collection efficiency was observed to be very high ~99%. 151Eu ion currents of 0.1-0.5 nA were collected on a simple, planar foil without resorting to any type of cup configuration. Recovery of the enriched isotope from such foils is much simpler than from a more complex cup configuration. High rejection of adjacent mass isotopes was demonstrated by selectively implanting 167Er without any discernible co-implantation of 166Er and 168Er. The important analytical possibilities of the new approach to isotope ratio measurement, tracer purification and radiation measurements are discussed.

  9. Accurate determination of Curium and Californium isotopic ratios by inductively coupled plasma quadrupole mass spectrometry (ICP-QMS) in 248Cm samples for transmutation studies

    SciTech Connect (OSTI)

    Gourgiotis, A.; Isnard, H.; Aubert, M.; Dupont, E.; AlMahamid, I.; Cassette, P.; Panebianco, S.; Letourneau, A.; Chartier, F.; Tian, G.; Rao, L.; Lukens, W.

    2011-02-01T23:59:59.000Z

    The French Atomic Energy Commission has carried out several experiments including the mini-INCA (INcineration of Actinides) project for the study of minor-actinide transmutation processes in high intensity thermal neutron fluxes, in view of proposing solutions to reduce the radiotoxicity of long-lived nuclear wastes. In this context, a Cm sample enriched in {sup 248}Cm ({approx}97 %) was irradiated in thermal neutron flux at the High Flux Reactor (HFR) of the Laue-Langevin Institute (ILL). This work describes a quadrupole ICP-MS (ICP-QMS) analytical procedure for precise and accurate isotopic composition determination of Cm before sample irradiation and of Cm and Cf after sample irradiation. The factors that affect the accuracy and reproducibility of isotopic ratio measurements by ICP-QMS, such as peak centre correction, detector dead time, mass bias, abundance sensitivity and hydrides formation, instrumental background, and memory blank were carefully evaluated and corrected. Uncertainties of the isotopic ratios, taking into account internal precision of isotope ratio measurements, peak tailing, and hydrides formations ranged from 0.3% to 1.3%. This uncertainties range is quite acceptable for the nuclear data to be used in transmutation studies.

  10. Checking Your Blood Sugar The only way to be sure your blood sugar is "just right" is to

    E-Print Network [OSTI]

    Checking Your Blood Sugar The only way to be sure your blood sugar is "just right" is to check it. Your blood sugar can be high and you may feel fine. If your blood sugar is high, it is damaging your blood vessels and hurting your body, even if you feel fine. #12; How can you check your blood sugar? One

  11. Checking Threat Modeling Data Flow Diagrams for Implementation Conformance and Security

    E-Print Network [OSTI]

    Abi-Antoun, Marwan

    Checking Threat Modeling Data Flow Diagrams for Implementation Conformance and Security Marwan Abi Science Carnegie Mellon University Pittsburgh, PA 15213 Center for Software Excellence Abstract Threat Foundation. #12;Keywords: Threat modeling, data flow diagrams, reflexion models, architecture-level security

  12. Checking Threat Modeling Data Flow Diagrams for Implementation Conformance and Security

    E-Print Network [OSTI]

    Checking Threat Modeling Data Flow Diagrams for Implementation Conformance and Security Marwan Abi Science Carnegie Mellon University Pittsburgh, PA 15213 # Center for Software Excellence Abstract Threat Foundation. #12; Keywords: Threat modeling, data flow diagrams, reflexion models, architecture­level security

  13. Checking Design Constraints at Run-time Using OCL and AspectJ

    E-Print Network [OSTI]

    Cheon, Yoonsik

    Roach, and Cuauhtemoc Munoz TR #09-35 December 2009 Keywords: design constraints, runtime checking Design Constraints at Run-time Using OCL and AspectJ Yoonsik Cheon (1) , Carmen Avila (1) , Steve Roach

  14. On the NP-hardness of checking matrix polytope stability and continuous-time switching stability

    E-Print Network [OSTI]

    Gurvits, Leonid

    Motivated by questions in robust control and switched linear dynamical systems, we consider the problem checking whether all convex combinations of k matrices in R[superscript ntimesn] are stable. In particular, we are ...

  15. See What the Astronauts Saw Check out photographs of Apollo missions to the

    E-Print Network [OSTI]

    See What the Astronauts Saw Check out photographs of Apollo missions to the Moon throughout the 1st rock within the wall near the bronze Moon model. It was retrieved by Apollo 15 astronauts. · What does

  16. A study on the effects of soft interference cancellation for uplink WCDMA system

    E-Print Network [OSTI]

    Qi, Tianren

    2011-01-01T23:59:59.000Z

    WCDMA system is an interference limited system. Interference cancellation (IC) is a technique that has been widely studied and implemented for WCDMA uplink system to achieve performance close to potential capacity. Most ...

  17. Beamforming on the MISO interference channel with multi-user decoding capability

    E-Print Network [OSTI]

    Ho, Z K M; Jorswieck, E; Mochaourab, R

    2011-01-01T23:59:59.000Z

    This paper considers the multiple-input-single-output interference channel (MISO-IC) with interference decoding capability (IDC), so that the interference signal can be decoded and subtracted from the received signal. On the MISO-IC with single user decoding, transmit beamforming vectors are classically designed to reach a compromise between mitigating the generated interference (zero forcing of the interference) or maximizing the energy at the desired user. The particularly intriguing problem arising in the multi-antenna IC with IDC is that transmitters may now have the incentive to amplify the interference generated at the non-intended receivers, in the hope that Rxs have a better chance of decoding the interference and removing it. This notion completely changes the previous paradigm of balancing between maximizing the desired energy and reducing the generated interference, thus opening up a new dimension for the beamforming design strategy. Our contributions proceed by proving that the optimal rank of the...

  18. Simulating the tail of the interference in a Poisson network model

    E-Print Network [OSTI]

    Medium Access Control (MAC) protocols and more advanced transmission schemes that better exploit of the cumulative distribution function of the interference. However, when the tail of the interference is small be inverted to obtain the law of the interference. This is possible, for instance, if = 4 and the system

  19. Quantum Interference in Cognition: Structural Aspects of the Brain

    E-Print Network [OSTI]

    Diederik Aerts; Sandro Sozzo

    2012-04-22T23:59:59.000Z

    We identify the presence of typically quantum effects, namely 'superposition' and 'interference', in what happens when human concepts are combined, and provide a quantum model in complex Hilbert space that represents faithfully experimental data measuring the situation of combining concepts. Our model shows how 'interference of concepts' explains the effects of underextension and overextension when two concepts combine to the disjunction of these two concepts. This result supports our earlier hypothesis that human thought has a superposed two-layered structure, one layer consisting of 'classical logical thought' and a superposed layer consisting of 'quantum conceptual thought'. Possible connections with recent findings of a 'grid-structure' for the brain are analyzed, and influences on the mind/brain relation, and consequences on applied disciplines, such as artificial intelligence and quantum computation, are considered.

  20. Stray current interference control for HVDC earth currents

    SciTech Connect (OSTI)

    Fitzgerald, J.H. III [PSG Corrosion Engineering/Corrpro Cos., Detroit, MI (United States); Kroon, D.H. [Corrpro Companies Inc., Spring, TX (United States)

    1995-06-01T23:59:59.000Z

    High-voltage direct current (HVDC) transmission lines exist around the world, with several in the US. When one conductor must be taken out of operation (in case of emergency), the earth may be used as an alternate conductor. The earth current may be accumulated on and discharged from underground metallic structures that cross the voltage gradient created by the current. Test results on two lines showed that stray current interference is not a major problem if mitigated properly.

  1. Reassessment of relative oxide formation rates and molecular interferences on in situ lutetiumhafnium

    E-Print Network [OSTI]

    Devernal, Anne

    ­hafnium analysis with laser ablation MC-ICP-MS Justin L. Payne,*a Norman J. Pearson,b Kevin J. Grantb and Galen P Hf at levels up to 176 Yb/177 Hf ¼ 0.6 in solution mode. When using laser ablation sample. Introduction A challenge to accurate and precise isotope ratio measurements by laser ablation multiple

  2. ICP Contract Modifications

    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 PowerCherries 82981-1cnHigh School footballHydrogen andHypernuclei in Hall CInby J.ICFA

  3. Tank 30 and 37 Supernatant Sample Cross-Check and Evaporator Feed Qualification Analysis-2012

    SciTech Connect (OSTI)

    Oji, L. N.

    2013-03-07T23:59:59.000Z

    This report summarizes the analytical data reported by the F/H and Savannah River National Laboratories for the 2012 cross-check analysis for high level waste supernatant liquid samples from SRS Tanks 30 and 37. The intent of this Tank 30 and 37 sample analyses was to perform cross-checks against routine F/H Laboratory analyses (corrosion and evaporator feed qualification programs) using samples collected at the same time from both tanks as well as split samples from the tanks.

  4. Observation of interference fringes in Autler-Townes line shapes

    E-Print Network [OSTI]

    Wilkinson, S. R.; Smith, A. V.; Scully, Marlan O.; Fry, Edward

    1996-01-01T23:59:59.000Z

    Observation of interference fringes in Autler-Townes line shapes Steven R. Wilkinson* and Arlee V. Smith Laser, Optics, and Remote Sensing, Department 1128, Sandia National Laboratories, Albuquerque, New Mexico 87185-1423 and Department... at Sandia National Labo- ratories under DOE Contract No. DE-AC04-94AL85000. M.O.S. would like to thank the ONR, the Welch Foundation, and the TARP for their support. @1# N. F. Ramsey, Phys. Rev. 76, 996 ~1949!. @2# M. M. Salour, Rev. Mod. Phys. 50, 667...

  5. Synchrotron radiation interferences between small dipoles at LEP

    SciTech Connect (OSTI)

    Bovet, C., Burns, A., Meot, F., Placidi, M., Rossa, E., de Vries, J. [European Organization for Nuclear Research, Geneva (Switzerland)

    1997-06-01T23:59:59.000Z

    Synchrotron Radiation interferences between small dipoles in the very low (visible) frequency range have been studied at the LEP diagnostic mini-wiggler. Their understanding allowed a substantial brightness gain by adequate layout modifications. The phenomenon is described analytically in terms of time coherence effects. This serves as a basis for further detailed numerical simulations of the experiment by means of stepwise ray-tracing, and allows precise interpretation of the spectral, polarization and intensity measurements collected at LEP. It also provides guidelines for SR diagnostic at injection energy in LHC.

  6. Quantum interference in thermoelectric molecular junctions: A toy model perspective

    SciTech Connect (OSTI)

    Nozaki, Daijiro, E-mail: daijiro.nozaki@gmail.com, E-mail: research@nano.tu-dresden.de [Institute for Materials Science and Max Bergmann Center of Biomaterials, TU Dresden, 01062 Dresden (Germany); Avdoshenko, Stas M. [Department of Chemistry and Institute for Computational Engineering and Sciences, University of Texas at Austin, 100 E. 24th St. A1590, Austin, Texas 78712 (United States); Sevinçli, Hâldun [Department of Materials Science and Engineering, Izmir Institute of Technology, Gulbahce Kampusu 35430 Urla, Izmir (Turkey); Cuniberti, Gianaurelio [Institute for Materials Science and Max Bergmann Center of Biomaterials, TU Dresden, 01062 Dresden (Germany); Dresden Center for Computational Materials Science (DCCMS), TU Dresden, 01062 Dresden (Germany); Center for Advancing Electronics Dresden (cfAED), TU Dresden, 01062 Dresden (Germany)

    2014-08-21T23:59:59.000Z

    Quantum interference (QI) phenomena between electronic states in molecular circuits offer a new opportunity to design new types of molecular devices such as molecular sensors, interferometers, and thermoelectric devices. Controlling the QI effect is a key challenge for such applications. For the development of single molecular devices employing QI effects, a systematic study of the relationship between electronic structure and the quantum interference is needed. In order to uncover the essential topological requirements for the appearance of QI effects and the relationship between the QI-affected line shape of the transmission spectra and the electronic structures, we consider a homogeneous toy model where all on-site energies are identical and model four types of molecular junctions due to their topological connectivities. We systematically analyze their transmission spectra, density of states, and thermoelectric properties. Even without the degree of freedom for on-site energies an asymmetric Fano peak could be realized in the homogeneous systems with the cyclic configuration. We also calculate the thermoelectric properties of the model systems with and without fluctuation of on-site energies. Even under the fluctuation of the on-site energies, the finite thermoelectrics are preserved for the Fano resonance, thus cyclic configuration is promising for thermoelectric applications. This result also suggests the possibility to detect the cyclic configuration in the homogeneous systems and the presence of the QI features from thermoelectric measurements.

  7. SMOV3B WFPC2 UV Contamination Monitoring and Throughput Check

    E-Print Network [OSTI]

    Sirianni, Marco

    1 SMOV3B WFPC2 UV Contamination Monitoring and Throughput Check A. M. Koekemoer, S. Gonzaga, L is potentially susceptible to significant decreases as a result of contaminants deposited on the cold CCD windows intensive monitoring of this contamination using the F170W filter, to ensure that the throughput never

  8. Master of Architecture Check Sheet Professional M.Arch. II & III

    E-Print Network [OSTI]

    Master of Architecture Check Sheet Professional M.Arch. II & III Apply on-line at: https in architecture (not to exceed 500 words). _____ One unofficial copy of the transcript where the undergraduate results. KU's Institution Code is 6871 and the Department Code for Architecture is 4401. International

  9. PERFORMANCE VERIFICATION OF DISCRETE EVENT SYSTEMS USING HYBRID MODEL-CHECKING

    E-Print Network [OSTI]

    Boyer, Edmond

    of the plant with a timed discrete model of the controller. We will also show, using a basic examplePERFORMANCE VERIFICATION OF DISCRETE EVENT SYSTEMS USING HYBRID MODEL-CHECKING Bruno Denis (1 Systems (DES) and Hybrid Dynamic Systems (HDS) are quite substantial, especially as regards the controller

  10. MetaGame: An Animation Tool for Model-Checking Games

    E-Print Network [OSTI]

    Müller-Olm, Markus

    MetaGame: An Animation Tool for Model-Checking Games Markus M¨uller-Olm1 and Haiseung Yoo2 1 Fern-Verlag Berlin Heidelberg 2004 #12;164 Markus M¨uller-Olm and Haiseung Yoo careful investigation of the cause

  11. MetaGame: An Animation Tool for ModelChecking Games

    E-Print Network [OSTI]

    Müller-Olm, Markus

    MetaGame: An Animation Tool for Model­Checking Games Markus MË?uller­Olm 1# and Haiseung Yoo 2 1, pp. 163--167, 2004. c # Springer­Verlag Berlin Heidelberg 2004 #12; 164 Markus MË?uller­Olm

  12. Check Your Data Freedom: A Taxonomy to Assess Life Science Database Openness

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Check Your Data Freedom: A Taxonomy to Assess Life Science Database Openness Melanie Dulong de. This research presents a taxonomy of contractual and technical restrictions applicable to databases in life to integrate facilitate innovation and how this openness can be achieved. The taxonomy describes technical

  13. A Model Checking Approach to Evaluating System Level Dynamic Power Management Policies for Embedded Systems

    E-Print Network [OSTI]

    Gupta, Rajesh

    A Model Checking Approach to Evaluating System Level Dynamic Power Management Policies for Embedded, and laptops, controlling power dissipation is an important system design issue [2]. This is either because enforced at the system level. In [3], a system modeling ap- proach for dynamic power management strategy

  14. Model-checking Access Control Policies Dimitar P. Guelev Mark Ryan Pierre Yves Schobbens

    E-Print Network [OSTI]

    Ryan, Mark

    of sophisticated access control systems, such as those which can be described using our model, is indirect pathsModel-checking Access Control Policies Dimitar P. Guelev Mark Ryan Pierre Yves Schobbens July 9, 2004 Abstract We present a model of access control which provides fine-grained data-dependent control

  15. Probabilistic Model Checking and PowerAware Computing Marta Kwiatkowska Gethin Norman David Parker

    E-Print Network [OSTI]

    Oxford, University of

    operating system control, can be switched either on and off or between several power states of varying powerProbabilistic Model Checking and Power­Aware Computing #3; Marta Kwiatkowska Gethin Norman David­aware computing aims either to maximise the per­ formance of a system under certain constraints on its power

  16. Probabilistic Model Checking and Power-Aware Computing Marta Kwiatkowska Gethin Norman David Parker

    E-Print Network [OSTI]

    Oxford, University of

    operating system control, can be switched either on and off or between several power states of varying powerProbabilistic Model Checking and Power-Aware Computing Marta Kwiatkowska Gethin Norman David Parker-aware computing aims either to maximise the per- formance of a system under certain constraints on its power

  17. Check our website at: library.queensu.ca/research/guide/genealogy LIBRARY LOCATIONS & ACRONYMS

    E-Print Network [OSTI]

    Abolmaesumi, Purang

    GENEALOGY Check our website at: library.queensu.ca/research/guide/genealogy LIBRARY LOCATIONS & ACRONYMS SL Stauffer Library OGS Ontario Genealogical Society Docs Government Documents, Stauffer Library) Kingston Public Library Genealogy Information: www.kfpl.ca/ and http://www.kfpl.ca/genealogy

  18. A SingleQuery BiDirectional Probabilistic Roadmap Planner with Lazy Collision Checking

    E-Print Network [OSTI]

    LaValle, Steven M.

    1 A Single­Query Bi­Directional Probabilistic Roadmap Planner with Lazy Collision Checking Gildardo probabilistic roadmap (PRM) planner that is: single­query --it does not pre­compute a roadmap, but uses the two the robot's free space by concurrently building a roadmap made of two trees rooted at the query

  19. TCTL model-checking of Time Petri Nets Hanifa Boucheneb1

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Verification of concurrent systems is a complex task that requires powerful models and efficient analysis tech- niques. Model checking is one of the most popular verification techniques of concurrent systems verification of properties of real-life systems. In this paper, we consider subscript TCTL for TPN (TPN

  20. Real-time system verification techniques based on abstraction/deduction and model checking

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Real-time system verification techniques based on abstraction/deduction and model checking Eun in or- der to obtain a powerful and highly automatic verification environment for real-time systems. One-Young.Kang@loria.fr Abstract. Our research focuses on verification techniques for real-time systems based on predicate

  1. VLSI implementation of encoder and decoder for low-density parity-check codes

    E-Print Network [OSTI]

    Sivakumar, Suresh

    2001-01-01T23:59:59.000Z

    The aim of this research is to implement an encoder and a message-passing decoder for low-density parity-check codes in hardware. The desired data rate is 44.8 Mbps and the channel is an Additive White Gaussian Noise(AWGN) channel. The effect...

  2. Light-Tightness Quality Check for Curtis Schmidt 8-inch Shutters Tyler W. Behm,1,

    E-Print Network [OSTI]

    Light-Tightness Quality Check for Curtis Schmidt 8-inch Shutters Tyler W. Behm,1, J.P. Rheault,1 light is "leaked" through a closed CCD shutter. We find that by orienting the actuator towards the CCD 1 in 250,000 at most. I. INTRODUCTION Light-tightness is an important quality in shutters. Poor

  3. Automated Environment Generation for Software Model Checking Oksana Tkachuk, Matthew B. Dwyer

    E-Print Network [OSTI]

    Pasareanu, Corina

    Automated Environment Generation for Software Model Checking Oksana Tkachuk, Matthew B. Dwyer programs or about program components, an abstract model of the environment can be essential in enabling environment behavior with sound abstractions of environment implemen­ tations to form a model

  4. Library hours vary by semester; Check lib.usf.edu After midnight, USF ID required

    E-Print Network [OSTI]

    Meyers, Steven D.

    Library hours vary by semester; Check lib.usf.edu After midnight, USF ID required lib.usf.edu (813? To learn how to: Integrate the library into Canvas, Invite a librarian to join your course's Canvas site, or Request a tailored research guide or library research assignment, Contact: Susan Silver | ssilver

  5. A cost-effective mechanism for Cloud data reliability management based on proactive replica checking

    E-Print Network [OSTI]

    Yang, Yun

    A cost-effective mechanism for Cloud data reliability management based on proactive replica for managing the data reliability would incur huge storage cost. To address this issue, in this paper we present a novel cost-effective data reliability management mechanism named PRCR, which proactively checks

  6. PERFORMANCE ANALYSIS OF INDUSTRIAL ETHERNET NETWORKS BY MEANS OF TIMED MODEL-CHECKING

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    technologies in manufacturing automation but they have not been specifically intended for industrial controlPERFORMANCE ANALYSIS OF INDUSTRIAL ETHERNET NETWORKS BY MEANS OF TIMED MODEL-CHECKING Daniel Witsch networks are promising for the harmonization of the communication technologies in manufacturing automation

  7. Defining and Model Checking Abstractions of Complex Railway Models using CSP||B

    E-Print Network [OSTI]

    Doran, Simon J.

    Defining and Model Checking Abstractions of Complex Railway Models using CSP||B Faron Moller1. In [11, 10] we propose a new modelling approach for railway interlockings. We use CSP||B [13], which involves events such as train movements and, in the interlocking, state based reasoning. In this sense, CSP

  8. A tool for checking CSP||B specifications Huu Nghia Nguyen, Jean-Pierre Jacquot

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    A tool for checking CSP||B specifications Huu Nghia Nguyen, Jean-Pierre Jacquot LORIA ­ Nancy in the verification of CSP||B specifications. Our primary research goal is methodological: we aim at understanding. One specification may require the use of B for managing some complex data structure, of CSP

  9. The past, present and future of protocol checking with CSP and FDR

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    AVoCS 2006 The past, present and future of protocol checking with CSP and FDR Bill Roscoe1 Oxford of these meetings was the development of the CSP model of cryptographic protocols, following Gavin Lowe's discovery the particular advantages of using a process algebra, and CSP in particular, for modelling cryptoprotocols

  10. SMT-Based Bounded Model Checking for Embedded ANSI-C Software Lucas Cordeiro

    E-Print Network [OSTI]

    SMT-Based Bounded Model Checking for Embedded ANSI-C Software Lucas Cordeiro University word-level information in theories richer than propositional logic and using SMT solvers for the generated verification conditions. Here, we investigate the application of dif- ferent SMT solvers

  11. SMT-Based Bounded Model Checking for Embedded ANSI-C Software Lucas Cordeiro

    E-Print Network [OSTI]

    SMT-Based Bounded Model Checking for Embedded ANSI-C Software Lucas Cordeiro University by encoding word-level information in theories richer than propositional logic and using SMT solvers for the gener- ated verification conditions. Here, we investigate the application of different SMT solvers

  12. An Optimization Approach for Effective Formalized fUML Model Checking

    E-Print Network [OSTI]

    Doran, Simon J.

    An Optimization Approach for Effective Formalized fUML Model Checking Islam Abdelhalim, Steve that makes use of a restricted CSP model (because it follows certain formalization rules) to optimize; the first one provides optimization advice to the modeller, while the second one au- tomatically applies

  13. Advanced Unbounded CTL Model Checking Based on AIGs, BDD Sweeping, And Quantifier

    E-Print Network [OSTI]

    Manolios, Panagiotis "Pete"

    and gates and inverters Simple data structure Every Boolean function can be represented by an AIG 5 Florian Networks of 2-input and gates and inverters Simple data structure Every Boolean function can be representedAdvanced Unbounded CTL Model Checking Based on AIGs, BDD Sweeping, And Quantifier Scheduling

  14. Model Checking Large Software Specifications William Chan Richard J. Anderson Paul Beame Steve Burns

    E-Print Network [OSTI]

    Beame, Paul

    Model Checking Large Software Specifications William Chan Richard J. Anderson Paul Beame Steve methods for achieving acceptable performance, and giving a sum­ mary of the properties analyzed. Based.J. Anderson, P. Beame, F. Modugno, D. Notkin, and J.D. Reese are with the Department of Computer Science

  15. Check-list for recruitment and registration of PhD students at ICM Persons responsible

    E-Print Network [OSTI]

    Uppsala Universitet

    Check-list for recruitment and registration of PhD students at ICM Persons responsible of the Department and the Departmental Board. Guidelines Each PhD student should have at least two supervisors. One education for registration of PhD studenst. At least one of the supervisors must be a docent. To qualify

  16. Stimulated emission of two photons in parametric amplification and its interpretation as multi-photon interference

    E-Print Network [OSTI]

    F. W. Sun; B. H. Liu; Y. X. Gong; Y. F. Huang; Z. Y. Ou; G. C. Guo

    2007-02-06T23:59:59.000Z

    Stimulated emission of two photons is observed experimentally in the parametric amplification process and is compared to a three-photon interference scheme. We find that the underlying physics of stimulated emission is simply the constructive interference due to photon indistinguishability. So the observed signal enhancement upon the input of photons is a result of multi-photon interference of the input photons and the otherwise spontaneously emitted photon from the amplifier.

  17. Feedback improves the generalized degrees of freedom of the strong interference channel

    E-Print Network [OSTI]

    Cadambe, Viveck R; Jafar, Syed A

    2008-01-01T23:59:59.000Z

    the mimo interference channel with feedback,” 2008. Preprintthe impact of relays, feedback, co- operation and full-Feedback improves the generalized degrees of freedom of the

  18. LAPTOP COMPUTER CHECKOUT POLICY There are two laptop computers that can be checked out by faculty who need them for

    E-Print Network [OSTI]

    Selmic, Sandra

    LAPTOP COMPUTER CHECKOUT POLICY There are two laptop computers that can be checked out by faculty policy which was adopted by College Council: (1) The pool laptop computers can be checked out for no more than 2 weeks at a time. (2) Reservation requests for portable computers should be submitted at least 1

  19. Radiofrequency amplifier based on a dc superconducting quantum interference device

    DOE Patents [OSTI]

    Hilbert, Claude (Berkeley, CA); Martinis, John M. (Berkeley, CA); Clarke, John (Berkeley, CA)

    1986-01-01T23:59:59.000Z

    A low noise radiofrequency amplifier (10), using a dc SQUID (superconducting quantum interference device) as the input amplifying element. The dc SQUID (11) and an input coil (12) are maintained at superconductivity temperatures in a superconducting shield (13), with the input coil (12) inductively coupled to the superconducting ring (17) of the dc SQUID (11). A radiofrequency signal from outside the shield (13) is applied to the input coil (12), and an amplified radiofrequency signal is developed across the dc SQUID ring (17) and transmitted to exteriorly of the shield (13). A power gain of 19.5.+-.0.5 dB has been achieved with a noise temperature of 1.0.+-.0.4 K. at a frequency of 100 MHz.

  20. Radiofrequency amplifier based on a dc superconducting quantum interference device

    DOE Patents [OSTI]

    Hilbert, C.; Martinis, J.M.; Clarke, J.

    1984-04-27T23:59:59.000Z

    A low noise radiofrequency amplifer, using a dc SQUID (superconducting quantum interference device) as the input amplifying element. The dc SQUID and an input coil are maintained at superconductivity temperatures in a superconducting shield, with the input coil inductively coupled to the superconducting ring of the dc SQUID. A radiofrequency signal from outside the shield is applied to the input coil, and an amplified radiofrequency signal is developed across the dc SQUID ring and transmitted to exteriorly of the shield. A power gain of 19.5 +- 0.5 dB has been achieved with a noise temperature of 1.0 +- 0.4 K at a frequency of 100 MHz.

  1. Tuneable quantum interference in a 3D integrated circuit

    E-Print Network [OSTI]

    Zachary Chaboyer; Thomas Meany; L. G. Helt; Michael J. Withford; M. J. Steel

    2014-09-26T23:59:59.000Z

    Integrated photonics promises solutions to questions of stability, complexity, and size in quantum optics. Advances in tunable and non-planar integrated platforms, such laser-inscribed photonics, continue to bring the realisation of quantum advantages in computation and metrology ever closer, perhaps most easily seen in multi-path interferometry. Here we demonstrate control of two-photon interference in a chip-scale 3D multi-path interferometer, showing a reduced periodicity and enhanced visibility compared to single photon measurements. Observed non-classical visibilities are widely tunable, and explained well by theoretical predictions based on classical measurements. With these predictions we extract a Fisher information approaching a theoretical maximum, demonstrating the capability of the device for quantum enhanced phase measurements.

  2. Measurement of jet quenching with I_CP and I_AA,Pythia in Pb-Pb collisions at sqrt(s_NN) = 2.76 TeV with ALICE

    E-Print Network [OSTI]

    Jan Fiete Grosse-Oetringhaus; for the ALICE collaboration

    2011-05-19T23:59:59.000Z

    This paper discusses the measurement of I_CP and I_AA,Pythia with ALICE (A Large Ion Collider Experiment). An away-side suppression is found expected from in-medium energy loss. Further, and unexpected, a near-side enhancement is seen which has not been reported by previous experiments at lower energies.

  3. BLIND MULTIUSER DETECTION AND INTERFERENCE CANCELLATION IN DSCDMA MOBILE RADIO SYSTEMS

    E-Print Network [OSTI]

    Huang, Yih-Fang

    BLIND MULTIUSER DETECTION AND INTERFERENCE CANCELLATION IN DS­CDMA MOBILE RADIO SYSTEMS Samir USA ABSTRACT This paper deals with blind adaptive multiuser detection and interference cancellation presents a two­stage blind adaptive receiver architecture which car­ ries out multiuser detection using

  4. On Duality in the MISO Interference Channel Francesco Negro, Irfan Ghauri, Dirk T.M. Slock

    E-Print Network [OSTI]

    Gesbert, David

    On Duality in the MISO Interference Channel Francesco Negro, Irfan Ghauri, Dirk T.M. Slock Infineon in a multi-input single- output (MISO) interference channel (IFC) and its dual SIMO with linear transmit (Tx for the IFC. We show that SINR duality under the sum power constraint nevertheless holds in the MISO IFC

  5. Efficient Computation of the Pareto Boundary for the MISO Interference Channel with Perfect CSI

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Efficient Computation of the Pareto Boundary for the MISO Interference Channel with Perfect CSI,erik.larsson}@isy.liu.se Abstract--We consider the two-user multiple-input single- output (MISO) interference channel and the rate of the IFC is called a multiple-input single-output (MISO) This work was supported in part by the Swedish

  6. Beamforming on the MISO interference channel with multi-user decoding capability

    E-Print Network [OSTI]

    Gesbert, David

    1 Beamforming on the MISO interference channel with multi-user decoding capability K. M. Ho , D,mochaourab}@ifn.et.tu-dresden.de Abstract-- This paper considers the multiple-input- single-output interference channel (MISO-IC) in which the received signal. On the MISO-IC with single user decoding, transmit beamforming vectors are designed

  7. Distributed Interference Pricing with MISO Changxin Shi, Randall A. Berry, and Michael L. Honig

    E-Print Network [OSTI]

    Honig, Michael L.

    Distributed Interference Pricing with MISO Channels Changxin Shi, Randall A. Berry, and Michael L an interference channel consisting of multi-input, single- output (MISO) wireless links. The objective] can be directly generalized to a MISO network, as shown in Section II. Such an algorithm

  8. Weighted Sum Rate Maximization in the Underlay Cognitive MISO Interference Channel

    E-Print Network [OSTI]

    Gesbert, David

    Weighted Sum Rate Maximization in the Underlay Cognitive MISO Interference Channel Laurent Gallo) maximization for a K-user Multiple-Input Single-Output (MISO) cognitive Interference Channel (IFC) with linear studied in a non-cognitive scenario for the MISO inter- ference channel (IFC) in [3], where a distributed

  9. Electrochemical control of quantum interference in anthraquinone-based molecular switches

    E-Print Network [OSTI]

    Thygesen, Kristian

    Electrochemical control of quantum interference in anthraquinone-based molecular switches Troels properties of a recently proposed anthraquinone-based electrochemical switch. Robust conductance on in the anthraquinone but absent in the hydroquinone molecular bridge. A simple explanation of the interference effect

  10. Role of pseudospin in quasiparticle interferences in epitaxial probed by high resolution scanning tunneling microscopy

    E-Print Network [OSTI]

    Boyer, Edmond

    Role of pseudospin in quasiparticle interferences in epitaxial graphene, probed by high resolution of freedom emerging in graphene as a direct consequence of its honeycomb atomic structure, is responsible to provide a clear understanding of how such graphene's pseudospin impacts the quasiparticle interferences

  11. Heavy Higgs signal-background interference in gg --> VV in the Standard Model plus real singlet

    E-Print Network [OSTI]

    Kauer, Nikolas

    2015-01-01T23:59:59.000Z

    For the Standard Model extended with a real scalar singlet field, the modification of the heavy Higgs signal due to interference with the continuum background and the off-shell light Higgs contribution is studied for gg --> ZZ, WW --> 4 lepton processes at the Large Hadron Collider. A public program that allows to simulate the full interference is presented.

  12. miR-143 Interferes with ERK5 Signaling, and Abrogates Prostate Cancer Progression in Mice

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    miR-143 Interferes with ERK5 Signaling, and Abrogates Prostate Cancer Progression in Mice Cyrielle-regulated kinase-5 (ERK5) activity. We show here that ERK5 is a miR-143 target in prostate cancer. Conclusions: mi, Apparailly F, Fernandez PL, et al. (2009) miR-143 Interferes with ERK5 Signaling, and Abrogates Prostate

  13. Queue and Power Control for Rechargeable Sensor Networks under SINR Interference Model

    E-Print Network [OSTI]

    Koksal, Can Emre

    Queue and Power Control for Rechargeable Sensor Networks under SINR Interference Model Zhoujia Mao buffers to maximize the throughput with renewable energy sources under protocol interference model@ece.osu.edu Abstract--Renewable energy sources can be attached to sensor nodes to substantially improve the performance

  14. Radio Science, Volume ???, Number , Pages 15, Radio Frequency Interference Mitigation for Detection

    E-Print Network [OSTI]

    Ellingson, Steven W.

    Radio Science, Volume ???, Number , Pages 1­5, Radio Frequency Interference Mitigation for Detection of Extended Sources with an Interferometer Geoffrey C. Bower Radio Astronomy Laboratory, UC Berkeley, Berkeley, CA 94720, USA Radio frequency interference (RFI) is a significant problem for current

  15. Radio self-interference cancellation by transmit beamforming, all-analog cancellation and blind digital tuning$

    E-Print Network [OSTI]

    Hua, Yingbo

    Radio self-interference cancellation by transmit beamforming, all-analog cancellation and blind September 2014 Accepted 17 September 2014 Available online 28 September 2014 Keywords: Radio self-interference cancellation Full-duplex radio Transmit beamforming Receive beamforming All-analog cancellation Blind digital

  16. Energy-Limited vs. Interference-Limited Ad Hoc Network Capacity

    E-Print Network [OSTI]

    Jindal, Nihar

    , signal and interference power increase proportionally while thermal noise power remains constant. Thus are thermal noise and multi- user interference. If the power of each simultaneous trans- mission is increased-limited, and any further increase in transmission power provides essentially no benefit. On the other hand, thermal

  17. Minimum Interference Channel Assignment in Multi-Radio Wireless Mesh Networks

    E-Print Network [OSTI]

    Gupta, Himanshu

    program and a linear program formulation of our optimization problem to obtain lower bounds on overall Mesh Networks, Channel Assignment, Graph Coloring, Interference, Mathe- matical Programming. I1 Minimum Interference Channel Assignment in Multi-Radio Wireless Mesh Networks Anand Prabhu

  18. ASSEMBLY ANALYSIS OF INTERFERENCE FITS IN ELASTIC Kannan Subramanian Edward P. Morse

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    . In this approach, an ideal press-fit type interference assembly is considered initially and solution methodology components, it may be desirable to have a small, but non-zero, interference between the components. Press-fit of the press-fit assemblies. A commercially available finite element analysis package, ANSYS 11.0 [2], has been

  19. Probabilistic quantum gates between remote atoms through interference of optical frequency qubits

    E-Print Network [OSTI]

    Madsen, Martin John

    Probabilistic quantum gates between remote atoms through interference of optical frequency qubits L gates on remote trapped atom qubits through interference of optical frequency qubits. The method does be localized well under the Lamb-Dicke limit through laser cooling in a strong trap, the elimination

  20. Turbo Equalization of Non-Linear Satellite Channels using Soft Interference Cancellation

    E-Print Network [OSTI]

    Rontogiannis, Athanasios A.

    Turbo Equalization of Non-Linear Satellite Channels using Soft Interference Cancellation D by such channels is considered, by employing a soft interference canceller operating in a turbo equalization framework. I. INTRODUCTION Inspired by the advent of turbo codes [1], turbo equal- ization (TE) [2] has

  1. An Experimental Investigation on the Wake Interference of Wind Turbines Sited Over Complex Terrains

    E-Print Network [OSTI]

    Hu, Hui

    1 An Experimental Investigation on the Wake Interference of Wind Turbines Sited Over Complex, 50011 An experimental study was conducted to investigate the interferences of wind turbines sited over conducted in a large wind tunnel with of wind turbine models sited over a flat terrain (baseline case

  2. A SLIPPERY SLOPE: HOW MUCH GLOBAL WARMING CONSTITUTES "DANGEROUS ANTHROPOGENIC INTERFERENCE"?

    E-Print Network [OSTI]

    Hansen, James E.

    A SLIPPERY SLOPE: HOW MUCH GLOBAL WARMING CONSTITUTES "DANGEROUS ANTHROPOGENIC INTERFERENCE on the global warming that can be tolerated without risking dangerous anthropogenic interference with climate. I" mainly as a metaphor for the danger posed by global warming. So I changed "Hell" to "disaster." What

  3. Grid Cells and Theta as Oscillatory Interference: Electrophysiological Data From Freely Moving Rats

    E-Print Network [OSTI]

    Burgess, Neil

    Grid Cells and Theta as Oscillatory Interference: Electrophysiological Data From Freely Moving Rats, regular firing patterns by medial entorhinal cortical (mEC) grid cells in terms of the interference specific relationships between the intrinsic firing frequency and spa- tial scale of grid cell firing

  4. ccsd00001592, Interference of an array of independent Bose-Einstein condensates

    E-Print Network [OSTI]

    -Einstein condensates Zoran Hadzibabic, Sabine Stock, Baptiste Battelier, Vincent Bretin, and Jean Dalibard Laboratoire-contrast matter wave interference between 30 Bose-Einstein condensates with uncorrelated phases. Interference patterns were observed after independent condensates were released from a one-dimensional optical lattice

  5. Standard test method for the determination of impurities in plutonium metal: acid digestion and inductively coupled plasma-mass spectroscopy (ICP-MS) analysis

    E-Print Network [OSTI]

    American Society for Testing and Materials. Philadelphia

    2006-01-01T23:59:59.000Z

    1.1 This Test Method covers the determination of 58 trace elements in plutonium (Pu) metal. The Pu sample is dissolved in acid, and the concentration of the trace impurities are determined by Inductively Coupled Plasma-Mass Spectroscopy (ICP-MS). 1.2 This Test Method is specific for the determination of trace impurities in Pu metal. It may be applied to other types of Pu materials, such as Pu oxides, if the samples are dissolved and oxidized to the Pu(IV) state. However, it is the responsibility of the user to evaluate the performance of other matrices. 1.3 This standard does not purport to address all of the safety concerns associated with its use. It is the responsibility of the user of this method to establish appropriate safety and health practices and to determine the applicability of regulatory limitations prior to use of this standard.

  6. Quality Control Quantification (QCQ): A Tool to Measure the Value of Quality Control Checks in Radiation Oncology

    SciTech Connect (OSTI)

    Ford, Eric C., E-mail: eford@uw.edu [Department of Radiation Oncology and Molecular Radiation Sciences, Johns Hopkins University, Baltimore, Maryland (United States); Terezakis, Stephanie; Souranis, Annette; Harris, Kendra [Department of Radiation Oncology and Molecular Radiation Sciences, Johns Hopkins University, Baltimore, Maryland (United States)] [Department of Radiation Oncology and Molecular Radiation Sciences, Johns Hopkins University, Baltimore, Maryland (United States); Gay, Hiram; Mutic, Sasa [Department of Radiation Oncology, Washington University, St. Louis, Missouri (United States)] [Department of Radiation Oncology, Washington University, St. Louis, Missouri (United States)

    2012-11-01T23:59:59.000Z

    Purpose: To quantify the error-detection effectiveness of commonly used quality control (QC) measures. Methods: We analyzed incidents from 2007-2010 logged into a voluntary in-house, electronic incident learning systems at 2 academic radiation oncology clinics. None of the incidents resulted in patient harm. Each incident was graded for potential severity using the French Nuclear Safety Authority scoring scale; high potential severity incidents (score >3) were considered, along with a subset of 30 randomly chosen low severity incidents. Each report was evaluated to identify which of 15 common QC checks could have detected it. The effectiveness was calculated, defined as the percentage of incidents that each QC measure could detect, both for individual QC checks and for combinations of checks. Results: In total, 4407 incidents were reported, 292 of which had high-potential severity. High- and low-severity incidents were detectable by 4.0 {+-} 2.3 (mean {+-} SD) and 2.6 {+-} 1.4 QC checks, respectively (P<.001). All individual checks were less than 50% sensitive with the exception of pretreatment plan review by a physicist (63%). An effectiveness of 97% was achieved with 7 checks used in combination and was not further improved with more checks. The combination of checks with the highest effectiveness includes physics plan review, physician plan review, Electronic Portal Imaging Device-based in vivo portal dosimetry, radiation therapist timeout, weekly physics chart check, the use of checklists, port films, and source-to-skin distance checks. Some commonly used QC checks such as pretreatment intensity modulated radiation therapy QA do not substantially add to the ability to detect errors in these data. Conclusions: The effectiveness of QC measures in radiation oncology depends sensitively on which checks are used and in which combinations. A small percentage of errors cannot be detected by any of the standard formal QC checks currently in broad use, suggesting that further improvements are needed. These data require confirmation with a broader incident-reporting database.

  7. Bounded Model Checking of Multi-threaded Software using SMT solvers

    E-Print Network [OSTI]

    Cordeiro, Lucas

    2010-01-01T23:59:59.000Z

    The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an extension of the ESBMC model checker to support the verification of multi-threaded software with shared variables and locks using bounded model checking (BMC) based on Satisfiability Modulo Theories (SMT). We describe three approaches to model check multi-threaded software and our modelling of the synchronization primitives of the Pthread library. In the lazy approach, we generate all possible interleavings and call the BMC procedure on each of them individually, until we either find a bug, or have systematically explored all interleavings. In the schedule recording approach, we encode all possible interleavings into one single formula and then exploit the high speed of the SMT solvers. In the underapproximation-widening approach, we reduce the state space by abstracting the number of state variables and interleavings from the proofs o...

  8. SMT-Based Bounded Model Checking for Embedded ANSI-C Software

    E-Print Network [OSTI]

    Cordeiro, Lucas; Marques-Silva, Joao

    2009-01-01T23:59:59.000Z

    Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structure during the translation. These limitations can be reduced by encoding word-level information in theories richer than propositional logic and using SMT solvers for the generated verification conditions. Here, we investigate the application of different SMT solvers to the verification of embedded software written in ANSI-C. We have extended the encodings from previous SMT-based bounded model checkers to provide more accurate support for finite variables, bit-vector operations, arrays, structures, unions and pointers. We have integrated the CVC3, Boolector, and Z3 solvers with the CBMC front-end and evaluated them using both standard software model checking benchmarks and typical embedded applications from telecommunications, control systems and medical devices. The experiments show that our approach can analyze larger problems and sub...

  9. Tailoring double Fano profiles with plasmon-assisted quantum interference in hybrid exciton-plasmon system

    SciTech Connect (OSTI)

    Zhao, Dongxing; Wu, Jiarui [State Key Laboratory for Mesoscopic Physics, Department of Physics, Peking University, Beijing 100871 (China); Gu, Ying, E-mail: ygu@pku.edu.cn; Gong, Qihuang [State Key Laboratory for Mesoscopic Physics, Department of Physics, Peking University, Beijing 100871 (China); Collaborative Innovation Center of Quantum Matter, Beijing (China)

    2014-09-15T23:59:59.000Z

    We propose tailoring of the double Fano profiles via plasmon-assisted quantum interference in a hybrid exciton-plasmon system. Tailoring is performed by the interference between two exciton channels interacting with a common localized surface plasmon. Using an applied field of low intensity, the absorption spectrum of the hybrid system reveals a double Fano lineshape with four peaks. For relatively large field intensity, a broad flat window in the absorption spectrum appears which results from the destructive interference between excitons. Because of strong constructive interference, this window vanishes as intensity is further increased. We have designed a nanometer bandpass optical filter for visible light based on tailoring of the optical spectrum. This study provides a platform for quantum interference that may have potential applications in ultracompact tunable quantum devices.

  10. Tuesday, June 24 P. M. noon -4:30 BEAN Registration/Check-in

    E-Print Network [OSTI]

    Bordenstein, Seth

    Tuesday, June 24 P. M. noon - 4:30 BEAN Registration/Check-in 5:00 - 7:00 CAR Dinner 7:30 PLC Welcome Gathering 8:30 BEAN Lead Chaperone/Conductor/Interns mtg. 10:00 BEAN Lights out Wednesday, June 25:45 PLC Rehearsal II 5:00 - 6:30 CAR Dinner 7:00 ­ 9:00 CLC Sharing Our Songs Concert I 9:15 ­ 9:45 BEAN

  11. Model-Checking the Higher-Dimensional Modal mu-Calculus

    E-Print Network [OSTI]

    Lange, Martin; 10.4204/EPTCS.77.6

    2012-01-01T23:59:59.000Z

    The higher-dimensional modal mu-calculus is an extension of the mu-calculus in which formulas are interpreted in tuples of states of a labeled transition system. Every property that can be expressed in this logic can be checked in polynomial time, and conversely every polynomial-time decidable problem that has a bisimulation-invariant encoding into labeled transition systems can also be defined in the higher-dimensional modal mu-calculus. We exemplify the latter connection by giving several examples of decision problems which reduce to model checking of the higher-dimensional modal mu-calculus for some fixed formulas. This way generic model checking algorithms for the logic can then be used via partial evaluation in order to obtain algorithms for theses problems which may benefit from improvements that are well-established in the field of program verification, namely on-the-fly and symbolic techniques. The aim of this work is to extend such techniques to other fields as well, here exemplarily done for process...

  12. Exploration Of Activity Measurements And Equilibrium Checks For Sediment Dating Using Thick-Window Germanium Detectors

    SciTech Connect (OSTI)

    Warner, Jacob A.; Gladkis, Laura G.; Timmers, Heiko [School of Physical, Environmental and Mathematical Sciences, University of New South Wales at the Australian Defence Force Academy, Canberra ACT 2602 (Australia); Fitzsimmons, Kathryn E. [Department of Human Evolution, Max Planck Institute for Evolutionary Anthropology, Deutscher Platz 6, D-04103 Leipzig (Germany); Reynolds, Eva M. [Research School of Earth Sciences, Australian National University, Canberra ACT 0200 (Australia)

    2011-06-01T23:59:59.000Z

    Activity measurements on sediment samples for trapped-charge geological dating using gamma-ray spectroscopy are an important verification of the field-site dose rate determination. Furthermore gamma-ray spectroscopy can check if the natural decay series are in secular equilibrium which is a crucial assumption in such dating. Typically the activities of leading members of the Thorium and Uranium decay series are measured, which requires Germanium detectors with thin windows and good energy resolution in order to effectively detect the associated low energy gamma-rays. Such equipment is not always readily available. The potential of conventional Germanium detectors with thick entrance window has been explored towards routine gamma-ray spectroscopy of sediment samples using higher energy gamma-rays. Alternative isotopes, such as Ac-228 and Pb-212 for the Thorium series, and Pa-234m, Ra-226 and Bi-214 for the Uranium series, have been measured in order to determine the mass-specific activity for the respective series and possibly provide a check of secular equilibrium. In addition to measurements of the K-40 activity, with the alternative approach, the activities of both decay series can be accurately determined. The secular equilibrium condition may be tested for the Thorium series. Measurement accuracy for Pa-234m is, however, not sufficient to permit also a reliable check of equilibrium for the Uranium series.

  13. Aharonov-Bohm interferences from local deformations in graphene

    E-Print Network [OSTI]

    Fernando de Juan; Alberto Cortijo; María A. H. Vozmediano; Andrés Cano

    2011-05-04T23:59:59.000Z

    One of the most interesting aspects of graphene is the tied relation between structural and electronic properties. The observation of ripples in the graphene samples both free standing and on a substrate has given rise to a very active investigation around the membrane-like properties of graphene and the origin of the ripples remains as one of the most interesting open problems in the system. The interplay of structural and electronic properties is successfully described by the modelling of curvature and elastic deformations by fictitious gauge fields that have become an ex- perimental reality after the suggestion that Landau levels can form associated to strain in graphene and the subsequent experimental confirmation. Here we propose a device to detect microstresses in graphene based on a scanning-tunneling-microscopy setup able to measure Aharonov-Bohm inter- ferences at the nanometer scale. The interferences to be observed in the local density of states are created by the fictitious magnetic field associated to elastic deformations of the sample.

  14. Opportunistic Power Control for Multi-Carrier Interference Channels

    E-Print Network [OSTI]

    Javan, Mohammad R

    2011-01-01T23:59:59.000Z

    We propose a new method for opportunistic power control in multi-carrier interference channels for delay-tolerant data services. In doing so, we utilize a game theoretic framework with novel constraints, where each user tries to maximize its utility in a distributed and opportunistic manner, while satisfying the game's constraints by adapting its transmit power to its channel. In this scheme, users transmit with more power on good sub-channels and do the opposite on bad sub-channels. In this way, in addition to the allocated power on each sub-channel, the total power of all users also depends on channel conditions. Since each user's power level depends on power levels of other users, the game belongs to the \\emph{generalized} Nash equilibrium (GNE) problems, which in general, is hard to analyze. We show that the proposed game has a GNE, and derive the sufficient conditions for its uniqueness. Besides, we propose a new pricing scheme for maximizing each user's throughput in an opportunistic manner under its to...

  15. Low-energy fusion caused by an interference

    E-Print Network [OSTI]

    B. Ivlev

    2012-11-30T23:59:59.000Z

    Fusion of two deuterons of room temperature energy is studied. The nuclei are in vacuum with no connection to any external source (electric or magnetic field, illumination, surrounding matter, traps, etc.) which may accelerate them. The energy of the two nuclei is conserved and remains small during the motion through the Coulomb barrier. The penetration through this barrier, which is the main obstacle for low-energy fusion, strongly depends on a form of the incident flux on the Coulomb center at large distances from it. In contrast to the usual scattering, the incident wave is not a single plane wave but the certain superposition of plane waves of the same energy and various directions, for example, a convergent conical wave. As a result of interference, the wave function close to the Coulomb center is determined by a cusp caustic which is probed by de Broglie waves. The particle flux gets away from the cusp and moves to the Coulomb center providing a not small probability of fusion (cusp driven tunneling). Getting away from a caustic cusp also occurs in optics and acoustics.

  16. Probing the antisymmetric Fano interference assisted by a Majorana fermion

    SciTech Connect (OSTI)

    Dessotti, F. A.; Ricco, L. S. [Departamento de Física e Química, Unesp - Univ Estadual Paulista, 15385-000 Ilha Solteira, São Paulo (Brazil); Souza, M. de [Departamento de Física, IGCE, Unesp - Univ Estadual Paulista, 13506-900 Rio Claro, São Paulo (Brazil); Souza, F. M. [Instituto de Física, Universidade Federal de Uberlândia, 38400-902 Uberlândia, Minas Gerais (Brazil); Seridonio, A. C. [Departamento de Física e Química, Unesp - Univ Estadual Paulista, 15385-000 Ilha Solteira, São Paulo (Brazil); Departamento de Física, IGCE, Unesp - Univ Estadual Paulista, 13506-900 Rio Claro, São Paulo (Brazil)

    2014-11-07T23:59:59.000Z

    As the Fano effect is an interference phenomenon where tunneling paths compete for the electronic transport, it becomes a probe to catch fingerprints of Majorana fermions lying on condensed matter systems. In this work, we benefit of this mechanism by proposing as a route for that an Aharonov-Bohm-like interferometer composed by two quantum dots, being one of them coupled to a Majorana bound state, which is attached to one of the edges of a semi-infinite Kitaev wire within the topological phase. By changing the Fermi energy of the leads and the symmetric detuning of the levels for the dots, we show that opposing Fano regimes result in a transmittance characterized by distinct conducting and insulating regions, which are fingerprints of an isolated Majorana quasiparticle. Furthermore, we show that the maximum fluctuation of the transmittance as a function of the detuning is half for a semi-infinite wire, while it corresponds to the unity for a finite system. The setup proposed here constitutes an alternative experimental tool to detect Majorana excitations.

  17. Models and methods for frequency assignment with cumulative interference constraints Mireille Palpant1, Cristian Oliva2, Christian Artigues3, Philippe Michelon4, Mohamed Didi Biha5

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    , Cumulative Interference Constraints, Linear Programming, Constraint Programming, Large Neighborhood Search. 1Models and methods for frequency assignment with cumulative interference constraints Mireille of interferences for frequency assignment in hertzian telecom- munication networks is presented. In contrast

  18. Effective Date: Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: Revision- Check the JPSS MIS Server at https-00043 Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https SDR ATBD 474-00043 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server at https

  19. 1. Check Equipment Reservations in Coral to ensure that you reserved the correct machine, in the correct facility, for the correct date. Another user may

    E-Print Network [OSTI]

    Reif, Rafael

    1. Check Equipment Reservations in Coral to ensure that you reserved the correct machine to honor them, if this is the case. 2. Engage the tool in Coral for the equipment that you are about to use protectors and acid gloves. 5. Perform pre-check of wet bench 1. Check the Coral indicator LED in the upper

  20. Method of managing interference during delay recovery on a train system

    DOE Patents [OSTI]

    Gordon, Susanna P.; Evans, John A.

    2005-12-27T23:59:59.000Z

    The present invention provides methods for preventing low train voltages and managing interference, thereby improving the efficiency, reliability, and passenger comfort associated with commuter trains. An algorithm implementing neural network technology is used to predict low voltages before they occur. Once voltages are predicted, then multiple trains can be controlled to prevent low voltage events. Further, algorithms for managing inference are presented in the present invention. Different types of interference problems are addressed in the present invention such as "Interference During Acceleration", "Interference Near Station Stops", and "Interference During Delay Recovery." Managing such interference avoids unnecessary brake/acceleration cycles during acceleration, immediately before station stops, and after substantial delays. Algorithms are demonstrated to avoid oscillatory brake/acceleration cycles due to interference and to smooth the trajectories of closely following trains. This is achieved by maintaining sufficient following distances to avoid unnecessary braking/accelerating. These methods generate smooth train trajectories, making for a more comfortable ride, and improve train motor reliability by avoiding unnecessary mode-changes between propulsion and braking. These algorithms can also have a favorable impact on traction power system requirements and energy consumption.

  1. Modeling resonance interference by 0-D slowing-down solution with embedded self-shielding method

    SciTech Connect (OSTI)

    Liu, Y.; Martin, W. [Department of Nuclear Engineering and Radiological Sciences, University of Michigan, 2355 Bonisteel Blvd., Ann Arbor, MI, 48109 (United States); Kim, K. S.; Williams, M. [Oak Ridge National Laboratory, One Bethel Valley Road, Oak Ridge, TN 37831-6172 (United States)

    2013-07-01T23:59:59.000Z

    The resonance integral table based methods employing conventional multigroup structure for the resonance self-shielding calculation have a common difficulty on treating the resonance interference. The problem arises due to the lack of sufficient energy dependence of the resonance cross sections when the calculation is performed in the multigroup structure. To address this, a resonance interference factor model has been proposed to account for the interference effect by comparing the interfered and non-interfered effective cross sections obtained from 0-D homogeneous slowing-down solutions by continuous-energy cross sections. A rigorous homogeneous slowing-down solver is developed with two important features for reducing the calculation time and memory requirement for practical applications. The embedded self-shielding method (ESSM) is chosen as the multigroup resonance self-shielding solver as an integral component of the interference method. The interference method is implemented in the DeCART transport code. Verification results show that the code system provides more accurate effective cross sections and multiplication factors than the conventional interference method for UO{sub 2} and MOX fuel cases. The additional computing time and memory for the interference correction is acceptable for the test problems including a depletion case with 87 isotopes in the fuel region. (authors)

  2. Cancer Evaluation The following questions are about today's program. Place a check (T) in front of the answer.

    E-Print Network [OSTI]

    EAT SMART Cancer Evaluation The following questions are about today's program. Place a check (T the information from this program. # I have or have had cancer. YES NO As you answer each question, think about

  3. Heart Health Evaluation The following questions are about today's program. Place a check (T) in front of the answer.

    E-Print Network [OSTI]

    EAT SMART Heart Health Evaluation The following questions are about today's program. Place a check not planning to use the information in this program. # I have heart disease or high blood pressure. YES

  4. 1058 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 53, NO. 3, MARCH 2007 Generalized Low-Density Parity-Check Codes

    E-Print Network [OSTI]

    Ping, Li

    represented by an extrinsic mutual information transfer (EXIT) chart. Simulation results show-Hadamard codes. Index Terms--Code optimization, extrinsic mutual informa- tion transfer (EXIT) chart, generalized check (SPC) codes using bipartite graphs. For

  5. Tests of non-local interferences in kaon physics at asymmetric [phi]-factories

    SciTech Connect (OSTI)

    Eberhard, P.H.

    1993-04-16T23:59:59.000Z

    Tests of non-local interference effects in the two-kaon system are proposed. The first kind of tests consists of measuring the amount of destructive interference between K[sub S] [yields] K[sub L] regeneration processes of two distant kaons. The second kind deals with constructive interference. These tests could be performed at an asymmetric [phi]-factory. Estimates are given of the number of events predicted by orthodox quantum mechanics and kaon regeneration theory in various suitable experimental conditions. The impact on local theories if the predictions of quantum mechanics hold is discussed.

  6. Tests of non-local interferences in kaon physics at asymmetric {phi}-factories

    SciTech Connect (OSTI)

    Eberhard, P.H.

    1993-04-16T23:59:59.000Z

    Tests of non-local interference effects in the two-kaon system are proposed. The first kind of tests consists of measuring the amount of destructive interference between K{sub S} {yields} K{sub L} regeneration processes of two distant kaons. The second kind deals with constructive interference. These tests could be performed at an asymmetric {phi}-factory. Estimates are given of the number of events predicted by orthodox quantum mechanics and kaon regeneration theory in various suitable experimental conditions. The impact on local theories if the predictions of quantum mechanics hold is discussed.

  7. Ratchet propagation of a magnetic domain wall in a single magnetic wire with quantum interference

    E-Print Network [OSTI]

    Yamaguchi, Akinobu; Miyajima, Hideki

    2010-01-01T23:59:59.000Z

    Quantum interference incorporating spatially asymmetric potential profiles is realized experimentally to manipulate a magnetic domain wall (DW) into a single multilayered wire whose spacer has a thickness gradient for generating asymmetrical interlayer exchange coupling from side to side. We demonstrate experimentally how to guide a DW in a micron-scale ferromagnetic wire without reflection symmetry of the interlayer exchange coupling. This is the ratcheting of a DW in a form of ratchet potential using quantum interference. The experimental results can be described well by numerical simulations considering spatially asymmetric potential profiles due to quantum interference.

  8. Ratchet propagation of a magnetic domain wall in a single magnetic wire with quantum interference

    E-Print Network [OSTI]

    Akinobu Yamaguchi; Tomoaki Kishimoto; Hideki Miyajima

    2010-07-13T23:59:59.000Z

    Quantum interference incorporating spatially asymmetric potential profiles is realized experimentally to manipulate a magnetic domain wall (DW) into a single multilayered wire whose spacer has a thickness gradient for generating asymmetrical interlayer exchange coupling from side to side. We demonstrate experimentally how to guide a DW in a micron-scale ferromagnetic wire without reflection symmetry of the interlayer exchange coupling. This is the ratcheting of a DW in a form of ratchet potential using quantum interference. The experimental results can be described well by numerical simulations considering spatially asymmetric potential profiles due to quantum interference.

  9. Effective Date: September 19, 2012 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: September 19, 2012 Revision ­ Check the JPSS MIS Server at https-00323 Effective Date: September 19, 2012 Revision ­ i Check the JPSS MIS Server at https: September 19, 2012 Revision ­ ii Check the JPSS MIS Server at https

  10. Cross-check of ex-situ and in-situ metrology of a bendable temperature stabilized KB mirror

    SciTech Connect (OSTI)

    Yuan, Sheng Sam; Goldberg, Kenneth A.; Yashchuk, Valeriy V.; Celestre, Richard; McKinney, Wayne R.; Morrison, Gregory; Macdougall, James; Mochi, Iacopo; Warwick, Tony

    2010-09-15T23:59:59.000Z

    At the Advanced Light Source (ALS), we are developing broadly applicable, high-accuracy, in-situ, at-wavelength wavefront slope measurement techniques for Kirkpatrick-Baez (KB) mirror nano-focusing. In this paper, we report an initial cross-check of ex-situ and in-situ metrology of a bendable temperature stabilized KB mirror. This cross-check provides a validation of the in-situ shearing interferometry currently under development at the ALS.

  11. An Adaptive Entanglement Distillation Scheme Using Quantum Low Density Parity Check Codes

    E-Print Network [OSTI]

    K. H. Ho; H. F. Chau

    2008-07-14T23:59:59.000Z

    Quantum low density parity check (QLDPC) codes are useful primitives for quantum information processing because they can be encoded and decoded efficiently. Besides, the error correcting capability of a few QLDPC codes exceeds the quantum Gilbert-Varshamov bound. Here, we report a numerical performance analysis of an adaptive entanglement distillation scheme using QLDPC codes. In particular, we find that the expected yield of our adaptive distillation scheme to combat depolarization errors exceed that of Leung and Shor whenever the error probability is less than about 0.07 or greater than about 0.28. This finding illustrates the effectiveness of using QLDPC codes in entanglement distillation.

  12. How to check quantum mechanics independently (Reply to arXiv:1505.04293)

    E-Print Network [OSTI]

    Yuri I. Ozhigov

    2015-06-17T23:59:59.000Z

    This is the reply to the paper of Andrei Khrennikov arXiv:1505.04293 in which he expresses dissatisfaction with that the rough data in quantum experiments is not easily available and compares it with the open rough data in genetics. I try to explain why quantum experiments rough data is closed and why it differs radically from the biological. I also tried to answer the more thorny issue: is it possible to check quantum mechanics independently of other humans, e.g. trusting nobody.

  13. A computer test bench for checking and adjusting the automatic regulators of generator excitation systems

    SciTech Connect (OSTI)

    Dovganyuk, I. Ya.; Labunets, I. A.; Plotnikova, T. V.; Sokur, P. V. [Affiliate of the 'NTTs Elektroenergetiki' Company - Scientific Research Institute of Electric Power (VNIIE) (Russian Federation)

    2008-05-15T23:59:59.000Z

    A computer test bench for testing and debugging natural samples of the automatic excitation regulation systems of generators, the protection units and the power part of the excitation system is described. The bench includes a personal computer with specialized input-output circuit boards for analog and digital signals, and enables the time and cost involved in developing and checking control systems to be reduced considerably. The program employed operates in real time and enables the automatic excitation regulators of synchronous generators and generators with longitudinal-transverse excitation in a specific power system to be adjusted.

  14. Renormalization screening and collision-induced quantum interference in dense plasmas

    SciTech Connect (OSTI)

    Jung, Young-Dae, E-mail: ydjung@hanyang.ac.kr [Department of Applied Physics and Department of Bionanotechnology, Hanyang University, Ansan, Kyunggi-Do 426-791 (Korea, Republic of); Rasheed, A. [Department of Physics, Government College University, Faisalabad-38000 (Pakistan); Jamil, M. [Department of Physics, COMSATS Institute of Information Technology, Lahore 54000 (Pakistan)

    2014-07-15T23:59:59.000Z

    The influence of renormalization screening and collision-induced quantum interference in electron-electron collisions is investigated in partially ionized dense hydrogen plasmas. The effective interaction potential with the total spin-states of the collision system is considered to obtain the differential electron-electron scattering cross section. The results show that the renormalization plasma screening effect suppresses the electron-electron scattering cross section, including the quantum interference effect, especially, except for the forward and backward scattering directions. It is also shown that the renormalization plasma screening effect on the scattering cross section decreases with increasing collision energy. However, the renormalization screening effect is found to be important for the forward directions in the scattering cross section neglecting the quantum interference effect. The variations of the renormalization screening and collision-induced quantum interference effects are also discussed.

  15. Spatial Interference Mitigation for Multiple Input Multiple Output Ad Hoc Networks: MISO Gains

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Spatial Interference Mitigation for Multiple Input Multiple Output Ad Hoc Networks: MISO Gains beamforming for a multiple input single output (MISO) ad hoc network to increase the density of successful

  16. Contractive Interference Functions and Rates of Convergence of Distributed Power Control Laws

    E-Print Network [OSTI]

    Johansson, Hamid Reza Feyzmahdavian 'and' Mikael

    2012-01-01T23:59:59.000Z

    The standard interference functions introduced by Yates have been very influential on the analysis and design of distributed power control laws. While powerful and versatile, the framework has some drawbacks: the existence of fixed-points has to be established separately, and no guarantees are given on the rate of convergence of the iterates. This paper introduces contractive interference functions, a slight reformulation of the standard interference functions that guarantees the existence and uniqueness of fixed-points along with geometric convergence. We show that many power control laws from the literature are contractive and derive, sometimes for the first time, analytical convergence rate estimates for these algorithms. We also prove that contractive interference functions converge when executed totally asynchronously and, under the assumption that the communication delay is bounded, derive an explicit bound on the convergence time penalty due to increased delay. Finally, we demonstrate that although all...

  17. Coherent anti-Stokes Raman scattering (CARS) optimized by exploiting optical interference

    E-Print Network [OSTI]

    Wang, Xi

    2012-07-16T23:59:59.000Z

    The purpose of this work is to study the interference between the coherent nonresonant four-wave-mixing (FWM) background and the Raman-resonant signal in the coherent anti-Stokes Raman spectroscopy (CARS). The nonresonant background is usually...

  18. Common-path interference and oscillatory Zener tunneling in bilayer graphene p-n junctions

    E-Print Network [OSTI]

    Nandkishore, Rahul Mahajan

    Interference and tunneling are two signature quantum effects that are often perceived as the yin and yang of quantum mechanics: a particle simultaneously propagating along several distinct classical paths versus a particle ...

  19. Optimal Power Control for Energy Harvesting Transmitters in an Interference Channel

    E-Print Network [OSTI]

    Yener, Aylin

    water- filling algorithm. A practical distributed algorithm requiring only local energy harvestingOptimal Power Control for Energy Harvesting Transmitters in an Interference Channel Kaya harvesting transmit- ters and two corresponding receivers are considered. Energy harvesting transmitters have

  20. Complete three photon Hong-Ou-Mandel interference at a three port device

    E-Print Network [OSTI]

    S. Mährlein; J. von Zanthier; G. S. Agarwal

    2015-03-19T23:59:59.000Z

    We report the possibility of completely destructive interference of three indistinguishable photons on a three port device providing a generalisation of the well known Hong-Ou-Mandel interference of two indistinguishable photons on a two port device. Our analysis is based on the underlying mathematical framework of SU(3) transformations rather than SU(2) transformations. We show the completely destructive three photon interference for a large range of parameters of the three port device. As each output port can deliver zero to three photons the device generates higher dimensional entanglement. In particular, different forms of entangled states of qudits can be generated depending again on the device parameters. Our system is different from a symmetric three port beam splitter which does not exhibit a three photon Hong-Ou-Mandel interference.

  1. Sequence estimation in the presence of interference via the expectation-maximization algorithm

    E-Print Network [OSTI]

    Zhang, Quan G

    1996-01-01T23:59:59.000Z

    In this thesis, we developed a method for obtaining near-optimal sequence estimates in the presence of interference for direct sequence spread spectrum communication using the Expectation-Maximization (EM) algorithm. We assume binary phase shift...

  2. Intraspecific interference in forage crops. Biolo-gical density and its implication in the predic-

    E-Print Network [OSTI]

    Boyer, Edmond

    , Italy SUMMARY From a series of experiments on intraspecific interference in such forage crops as lucerne inter- ference in such forage crops as lucerne (Medicago sativa L.) (ROTIL1, 1975, 1979 ; ROTILI

  3. Degrees of Freedom of the Interference Channel with a Cognitive Helper

    E-Print Network [OSTI]

    Wang, Chenwei; Sezgin, Aydin

    2012-01-01T23:59:59.000Z

    For example, for the K-user SIMO/MISO Gaussian interferencewhich are identical to the MISO setting [1], i.e. , channelcan be seen as a special MISO interference channel where

  4. Energy Conservation and Interference Mitigation: From Decoupling Property to Win-Win Strategy

    E-Print Network [OSTI]

    Huang, Jianwei

    -optimal transmission rates of the users are independent of the inter-cell interference power. Index Terms--Energy-efficiency on this premise, we derive an interesting decoupling property: if the idle power consumption of terminals

  5. RNA Interference-Based Approach to Combat Viral Infections: Vesicular Stomatitis Virus Group Prototype

    E-Print Network [OSTI]

    Ramirez Carvajal, Lisbeth

    2012-10-19T23:59:59.000Z

    . RNA interference (RNAi)-based therapeutics are promising alternatives to control viral infections. Lentiviral vector systems deliver artificial short hairpin RNA (shRNA) into the genome of cells to activate the RNAi pathway. In this study, an RNAi...

  6. An Updated Procedure for Tare and Interference Wind Tunnel Testing of Strut-Mounted Models

    E-Print Network [OSTI]

    Kutz, Douglas M

    2014-05-02T23:59:59.000Z

    to the presence of wind tunnel walls. The standard correction procedure adjusts for the presence of these boundaries using approximations based on linear potential flow theory. Separately,tare and interference removal involves the linear subtraction of mounting...

  7. Nanotechnology in our Daily Life Iridescent car paint: Based on interference colors

    E-Print Network [OSTI]

    Himpsel, Franz J.

    Nanotechnology in our Daily Life Iridescent car paint: Based on interference colors (like a butterly, no bleaching after 5 years Miami) #12;Nanotechnology on our Desktops Hard Disk Sensor Medium

  8. Examination of the contextual interference effect in motor skill learning using self-paced practice

    E-Print Network [OSTI]

    Immink, Maarten Alberto

    1995-01-01T23:59:59.000Z

    EXAMINATION OF THE CONTEXTUAL INTERFERENCE EFFECT IN MOTOR SKILL LEARNING USING SELF-PACED PRACTICE A Thesis by MAARTEN ALBERTO IMMINK Submitted to the Office of Graduate Studies of Texas A&M University in partial fulfillment... of the requirements for the degree of MASTER OF SCIENCE December 1995 Major Subject: Kinesiology EXAMINATION OF THE CONTEXTUAL INTERFERENCE EFFECT IN MOTOR SKILL LEARNING USING SELF-PACED PRACTICE A Thesis by MAARTEN ALBERTO IMMINK Submitted to Texas A...

  9. Use of Electrodeposition for Sample Preparation and Rejection Rate Prediction for Assay of Electroformed Ultra High Purity Copper for 232Th and 238U Prior to Inductively Coupled Plasma Mass Spectrometry (ICP/MS)

    SciTech Connect (OSTI)

    Hoppe, Eric W.; Aalseth, Craig E.; Brodzinski, Ronald L.; Day, Anthony R.; Farmer, Orville T.; Hossbach, Todd W.; McIntyre, Justin I.; Miley, Harry S.; Mintzer, Esther E.; Seifert, Allen; Smart, John E.; Warren, Glen A.

    2008-07-01T23:59:59.000Z

    The search for neutrinoless double beta decay in 76Ge has driven the need for ultra-low background Ge detectors shielded by electroformed copper of ultra-high radiopurity (<0.1µBq/kg). Although electrodeposition processes are almost sophisticated enough to produce copper of this purity, to date there are no methods sensitive enough to assay it. Inductively-coupled plasma mass spectrometry (ICP/MS) can detect thorium and uranium at femtogram levels, but in the past, this assay has been hindered by high copper concentrations in the sample. Electrodeposition of copper samples removes copper from the solution while selectively concentrating thorium and uranium contaminants to be assayed by ICP/MS. Spiking 232Th and 238U into the plating bath simulates low purity copper and allows for the calculation of the electrochemical rejection rate of thorium and uranium in the electroplating system. This rejection value will help to model plating bath chemistry.

  10. Interference effects of neutral MSSM Higgs bosons with a generalised narrow-width approximation

    E-Print Network [OSTI]

    Elina Fuchs

    2014-11-19T23:59:59.000Z

    Mixing effects in the MSSM Higgs sector can give rise to a sizeable interference between the neutral Higgs bosons. On the other hand, factorising a more complicated process into production and decay parts by means of the narrow-width approximation (NWA) simplifies the calculation. The standard NWA, however, does not account for interference terms. Therefore, we introduce a generalisation of the NWA (gNWA) which allows for a consistent treatment of interference effects between nearly mass-degenerate particles. Furthermore, we apply the gNWA at the tree and 1-loop level to an example process where the neutral Higgs bosons $h$ and $H$ are produced in the decay of a heavy neutralino and subsequently decay into a fermion pair. The $h-H$ propagator mixing is found to agree well with the approximation of Breit-Wigner propagators times finite wave-function normalisation factors, both leading to a significant interference contribution. The factorisation of the interference term based on on-shell matrix elements reproduces the full interference result within a precision of better than 1% for the considered process. The gNWA also enables the inclusion of contributions beyond the 1-loop order into the most precise prediction.

  11. A Construction of Quantum Stabilizer Codes Based on Syndrome Assignment by Classical Parity-Check Matrices

    E-Print Network [OSTI]

    Ching-Yi Lai; Chung-Chin Lu

    2007-12-02T23:59:59.000Z

    In quantum coding theory, stabilizer codes are probably the most important class of quantum codes. They are regarded as the quantum analogue of the classical linear codes and the properties of stabilizer codes have been carefully studied in the literature. In this paper, a new but simple construction of stabilizer codes is proposed based on syndrome assignment by classical parity-check matrices. This method reduces the construction of quantum stabilizer codes to the construction of classical parity-check matrices that satisfy a specific commutative condition. The quantum stabilizer codes from this construction have a larger set of correctable error operators than expected. Its (asymptotic) coding efficiency is comparable to that of CSS codes. A class of quantum Reed-Muller codes is constructed, which have a larger set of correctable error operators than that of the quantum Reed-Muller codes developed previously in the literature. Quantum stabilizer codes inspired by classical quadratic residue codes are also constructed and some of which are optimal in terms of their coding parameters.

  12. BURN CALORIES FREE LISTEN TO THE BIRDS CHECK OUT THE SCENERY MEET FRIENDS REDUCE YOUR CARBON FOOTPRINT FRESH AIR TAKE SHORT-CUTS FEEL THE BREEZE DISCOVER CAMPUS MAKE YOUR OWN ROUTE BURN CALORIES READ A BOOK LISTEN TO THE BIRDS CHECK OUT THE SCENERY

    E-Print Network [OSTI]

    Weiblen, George D

    A BOOK LISTEN TO THE BIRDS CHECK OUT THE SCENERY MEET FRIENDS REDUCE YOUR CARBON FOOTPRINT FRESH AIR BURN CALORIES FREE LISTEN TO THE BIRDS CHECK OUT THE SCENERY MEET FRIENDS REDUCE YOUR CARBON FOOTPRINT FRESH AIR CALORIES FREE LISTEN TO THE BIRDS CHECK OUT THE SCENERY MEET FRIENDS RE- DUCE YOUR CARBON FOOTPRINT FRESH

  13. Pseudo-random construction and reduced complexity decoding for low density parity check codes

    E-Print Network [OSTI]

    Prabhakar, Abhiram

    2001-01-01T23:59:59.000Z

    &, randomly constrn(t(&d panty-check inatrix at, thv, d&x o&1&&r can hc prohil&it. ivc in somr. applicatio&is. &Vh(:n a systvn& has a svt. of &liffcr&&nt LDI'(, ' codv&n each of t, hc parity-vhvrk matri?s nc&. 'd t, o hv, storvd in the rcceivcr. Anot h& r...)(Lkc(vtr, k)) L=l, k fr ('2. 1fi) Vr stprr(L, L(Tm )) = g srpn(LL, (l:r&, .)) k=1 kgr ('2. 17) Thc Eq. 2. 17 must hv. vomput&. &1 for a111=1. 2. p ? 1 and an cfficicnt, approach is nscd. First rkc fin&1 two &tuarititi&ls i&)1 arid Sl givvrl )ly Pg k...

  14. Bringing Automated Model Checking to PLC Program Development - A CERN Case Study

    E-Print Network [OSTI]

    Fernandez Adiego, B; Tournier, J-C; Blanco Vinuela, E; Gonzalez Suarez, V M

    2014-01-01T23:59:59.000Z

    Verification of critical software is a high priority but a challenging task for industrial control systems. Model checking appears to be an appropriate approach for this purpose. However, this technique is not widely used in industry yet, due to some obstacles. The main obstacles encountered when trying to apply formal verification techniques at industrial installations are the difficulty of creating models out of PLC programs and defining formally the specification requirements. In addition, models produced out of real-life programs have a huge state space, thus preventing the verification due to performance issues. Our work at CERN (European Organization for Nuclear Research) focuses on developing efficient automatic verification methods for industrial critical installations based on PLC (Programmable Logic Controller) control systems. In this paper, we present a tool generating automatically formal models out of PLC code. The tool implements a general methodology which can support several input languages, ...

  15. Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking

    E-Print Network [OSTI]

    Cordeiro, Lucas; Marques-Silva, Joao

    2009-01-01T23:59:59.000Z

    The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall product quality. In this context, SAT-based bounded model checking has been successfully applied to discover subtle errors, but for larger applications, it often suffers from the state space explosion problem. This paper describes a new approach called continuous verification to detect design errors as quickly as possible by looking at the Software Configuration Management (SCM) system and by combining dynamic and static verification to reduce the state space to be explored. We also give a set of encodings that provide accurate support for program verification and use different background theories in order to improve scalability and precision in a completely automatic way. A case study from the telecommunications domain shows that the proposed approach improves the error-detection capability and reduces the overall verification time by...

  16. SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability

    E-Print Network [OSTI]

    Bersani, Marcello M; Frigeri, Achille; Pradella, Matteo; Rossi, Matteo

    2010-01-01T23:59:59.000Z

    An important problem that arises during the execution of service-based applications concerns the ability to determine whether a running service can be substituted with one with a different interface, for example if the former is no longer available. Standard Bounded Model Checking techniques can be used to perform this check, but they must be able to provide answers very quickly, lest the check hampers the operativeness of the application, instead of aiding it. The problem becomes even more complex when conversational services are considered, i.e., services that expose operations that have Input/Output data dependencies among them. In this paper we introduce a formal verification technique for an extension of Linear Temporal Logic that allows users to include in formulae constraints on integer variables. This technique applied to the substitutability problem for conversational services is shown to be considerably faster and with smaller memory footprint than existing ones.

  17. Impact of ANSI X9.24-1:2009 Key Check Value on ISO/IEC 9797-1:2011 MACs

    E-Print Network [OSTI]

    Impact of ANSI X9.24-1:2009 Key Check Value on ISO/IEC 9797-1:2011 MACs Tetsu Iwata1 and Lei Wang2 of the zero block, and is assumed to be publicly known data for verification. ISO/IEC 9797-1:2011 illustrates check value with the ISO/IEC 9797-1 MACs. Keywords: ANSI X9.24-1:2009, key check value, ISO/IEC 9797

  18. Interference of wedge-shaped protrusions on the faces of a Griffith crack in biaxial stress. Final report

    SciTech Connect (OSTI)

    Boulet, J.A.M. [Tennessee Univ., Knoxville, TN (United States)

    1992-04-01T23:59:59.000Z

    An initial investigation of the influence of protrusion interference on the fracture toughness required to prevent unstable propagation of a Griffith crack in a brittle material is described. The interference is caused by relative shear displacement of the crack faces when subjected to remote biaxial stress with neither principal stress parallel to the crack. It is shown that for room temperature cracks smaller than about one centimeter in silicon carbide, or about one millimeter in silicon nitride, the presence of interference changes the fracture stress. A mathematical model based on linear elasticity solutions and including multiple interference sites at arbitrarily specified positions on the crack is presented. Computations of the change in required fracture toughness and its dependence on wedge geometry (size and vertex angle), applied stresses (orientation and magnitude), and location of the interference site are discussed. Results indicate that a single interference site has only a slight effect on required toughness. However, the influence of interference increases monotonically with the number of interference sites. The two-dimensional model described herein is not accurate when the interference sites are closely spaced.

  19. Bose-Einstein Interference in the Passage of a Jet in a Dense Medium

    E-Print Network [OSTI]

    Cheuk-Yin Wong

    2012-04-16T23:59:59.000Z

    When a jet collides coherently with many parton scatterers at very high energies, the Bose-Einstein symmetry with respect to the interchange of the virtual bosons leads to a destructive interference of the Feynman amplitudes in most regions of the momentum transfer phase space but a constructive interference in some other regions of the momentum transfer phase space. As a consequence, the recoiling scatterers have a tendency to come out collectively along the incident jet direction, each carrying a substantial fraction of the incident jet longitudinal momentum. The manifestation of the Bose-Einstein interference as collective recoils of the scatterers along the jet direction may have been observed in angular correlations of hadrons associated with a high-pT trigger in high-energy heavy-nuclei collisions at RHIC and LHC.

  20. Three-Dimensional Momentum Imaging of Electron Wave Packet Interference in Few-Cycle Laser Pulses

    SciTech Connect (OSTI)

    Gopal, R.; Simeonidis, K.; Moshammer, R.; Ergler, Th.; Duerr, M.; Kurka, M.; Kuehnel, K.-U.; Tschuch, S.; Schroeter, C.-D.; Bauer, D.; Ullrich, J.; Rudenko, A.; Herrwerth, O.; Uphues, Th.; Schultze, M.; Goulielmakis, E.; Uiberacker, M.; Lezius, M.; Kling, M. F. [Max-Planck-Institut fuer Kernphysik, Saupfercheckweg 1, D-69117 Heidelberg (Germany); Max-Planck Advanced Study Group at CFEL, D-22607 Hamburg (Germany); Max-Planck-Institut fuer Quantenoptik, Hans-Kopfermann-Strasse 1, D-85748 Garching (Germany)

    2009-07-31T23:59:59.000Z

    Using a reaction microscope, three-dimensional (3D) electron (and ion) momentum (P) spectra have been recorded for carrier-envelope-phase (CEP) stabilized few-cycle (approx5 fs), intense (approx4x10{sup 14} W/cm{sup 2}) laser pulses (740 nm) impinging on He. Preferential emission of low-energy electrons (E{sub e}<15 eV) to either hemisphere is observed as a function of the CEP. Clear interference patterns emerge in P space at CEPs with maximum asymmetry, interpreted as attosecond interferences of rescattered and directly emitted electron wave packets by means of a simple model.

  1. Interference pattern of Bose-condensed gas in a 2D optical lattice

    E-Print Network [OSTI]

    Shujuan Liu; Hongwei Xiong; Zhijun Xu; Guoxiang Huang

    2003-04-25T23:59:59.000Z

    For the Bose-condensed gas confined in a magnetic trap and in a two-dimensional optical lattice, the non-uniform distribution of atoms in different lattice sites is considered based on Gross-Pitaevskii equation. A propagator method is used to investigate the time evolution of 2D interference patterns after (i)only the optical lattice is swithed off, and (ii)both the optical lattice and the magnetic trap are swithed off. An analytical description on the motion of side peaks in the interference patterns is presented by using the density distribution in a momentum space.

  2. The Possibility of Checking the Equivalence Principle in a Null Gravitational Redshift by a Two-Resonator Laser System

    E-Print Network [OSTI]

    R. A. Daishev; Z. G. Murzakhanov; A. F. Skochilov

    2008-01-04T23:59:59.000Z

    A scheme of an optical detector is proposed for checking Einsteins equivalence principle (EEP) in a null gravitational redshift experiment and for testing methods for calculating the length of a resonator in a weak variable gravitational field by recording the variations of the difference frequency of resonators caused by lunisolar variations of the geopotential in a double or a two-resonator laser system.

  3. Checking Herbrand Equalities and Beyond Markus MullerOlm 1 , Oliver Ruthing 1 , and Helmut Seidl 2

    E-Print Network [OSTI]

    Müller-Olm, Markus

    Checking Herbrand Equalities and Beyond Markus MË?uller­Olm 1 , Oliver RË?uthing 1 , and Helmut Seidl Markus MË?uller­Olm, Oliver RË?uthing, and Helmut Seidl This deficiency is still present in the algorithm

  4. g:\\self care\\cold sore throat cough allergy 8/08 SELF CARE CHECK LIST FOR COLD, SORE

    E-Print Network [OSTI]

    Suzuki, Masatsugu

    g:\\self care\\cold sore throat cough allergy 8/08 SELF CARE CHECK LIST FOR COLD, SORE THROAT, COUGH worse? NO YES Do you have chest pain, wheezing or any difficulty with breathing? NO YES Are you coughing, hacky cough? Expectorant (guaifenesin/Robitussin) Cough suppressant (dextromethorphan/ DM) Do you have

  5. REDUCED-COMPLEXITY DECODING FOR CONCATENATED CODES BASED ON RECTANGULAR PARITY-CHECK CODES AND TURBO CODES

    E-Print Network [OSTI]

    Wong, Tan F.

    AND TURBO CODES John M. Shea and Tan F. Wong University of Florida Department of Electrical and Computer-check code (RPCC) with a turbo code. These concatenated codes are referred to as RPCC+turbo codes. RPCC+turbo codes have been shown to significantly outperform turbo codes in several scenarios [1],[2]. One

  6. Donate or sell your furniture, electronics, etc. Check out these helpful resources to recycle your unwanted items

    E-Print Network [OSTI]

    Alvarez-Cohen, Lisa

    Donate or sell your furniture, electronics, etc. · Check out these helpful resources to recycle's EcoDirectory can help you answer your recycling and reuse questions. (http. Call 510-528-4052 or visit http://www.accrc.org. Recycle cardboard boxes. 1. Flatten your boxes

  7. ICP, January 2005ICP, January 2005 NetworksofSexualInteractions

    E-Print Network [OSTI]

    Harting, Jens

    % of allMore than 60% of all contacts reported bycontacts reported by men are unaccounted for!men are unaccounted for! Sam ple bias?Sam ple bias? 60% m en with wom en under 1860% m en with wom en under 18 Each

  8. SU-D-BRD-07: Automatic Patient Data Audit and Plan Quality Check to Support ARIA and Eclipse

    SciTech Connect (OSTI)

    Li, X; Li, H; Wu, Y; Mutic, S; Yang, D [Washington University School of Medicine, St. Louis, MO (United States)

    2014-06-01T23:59:59.000Z

    Purpose: To ensure patient safety and treatment quality in RT departments that use Varian ARIA and Eclipse, we developed a computer software system and interface functions that allow previously developed electron chart checking (EcCk) methodologies to support these Varian systems. Methods: ARIA and Eclipse store most patient information in its MSSQL database. We studied the contents in the hundreds database tables and identified the data elements used for patient treatment management and treatment planning. Interface functions were developed in both c-sharp and MATLAB to support data access from ARIA and Eclipse servers using SQL queries. These functions and additional data processing functions allowed the existing rules and logics from EcCk to support ARIA and Eclipse. Dose and structure information are important for plan quality check, however they are not stored in the MSSQL database but as files in Varian private formats, and cannot be processed by external programs. We have therefore implemented a service program, which uses the DB Daemon and File Daemon services on ARIA server to automatically and seamlessly retrieve dose and structure data as DICOM files. This service was designed to 1) consistently monitor the data access requests from EcCk programs, 2) translate the requests for ARIA daemon services to obtain dose and structure DICOM files, and 3) monitor the process and return the obtained DICOM files back to EcCk programs for plan quality check purposes. Results: EcCk, which was previously designed to only support MOSAIQ TMS and Pinnacle TPS, can now support Varian ARIA and Eclipse. The new EcCk software has been tested and worked well in physics new start plan check, IMRT plan integrity and plan quality checks. Conclusion: Methods and computer programs have been implemented to allow EcCk to support Varian ARIA and Eclipse systems. This project was supported by a research grant from Varian Medical System.

  9. A self-checking fiber optic dosimeter for monitoring common errors in brachytherapy applications

    SciTech Connect (OSTI)

    Yin, Y.; Lambert, J.; Yang, S.; McKenzie, D. R.; Jackson, M.; Suchowerska, N. [Physics School, University of Sydney, New South Wales 2006 (Australia); Physics School, University of Sydney, New South Wales 2006 (Australia) and Department of Radiation Oncology, Royal Prince Alfred Hospital, New South Wales 2050 (Australia); Physics School, University of Sydney, New South Wales 2006 (Australia); Department of Radiation Oncology, Royal Prince Alfred Hospital, New South Wales 2050 (Australia); Physics School, University of Sydney, New South Wales 2006 (Australia) and Department of Radiation Oncology, Royal Prince Alfred Hospital, New South Wales 2050 (Australia)

    2009-07-15T23:59:59.000Z

    Scintillation dosimetry with optical fiber readout [fiber optic dosimetry (FOD)] requires accurate measurement of light intensity. It is therefore vulnerable to loss of calibration if any changes occur in the efficiency of the optical pathway between the scintillator and the light detector. The authors show in this article that common types of errors that arise during clinical use for brachytherapy applications can be quantified using a light emitting diode to stimulate the scintillator, the so-called LED-FOD method, in an integrated and easy-to-use control unit that incorporates a compact peripheral component interconnect extension for instrumentation. Common sources of error include bending and mechanical compression of the fiber optic components and changes in the temperature of the scintillator. The authors show that the method can detect all the common errors studied in this work and that different types of errors can result in different correlations between the LED stimulated signal and the brachytherapy source signal. For a single-type error the LED-FOD can be used easily for system diagnosis and validation with the possibility to correct the dosimeter reading if the correlation between the LED stimulated signal and the brachytherapy source signal can be defined. For more complex errors, resulting from two or more errors occurring simultaneously, the LED-FOD method can also allow the clinician to make a judgment on the reliability of the dosimeter reading. This self-checking method can enhance the clinical robustness of the FOD for achieving accurate dose control.

  10. Quantum Noise Interference and Backaction Cooling in Cavity Nanomechanics Florian Elste,1

    E-Print Network [OSTI]

    Clerk, Aashish

    , progress has also been motivated by the realiza- tion that such systems are ideally poised to allow in these systems is the ability to cool the mechanical resona- tor to near its ground state. A particularlyQuantum Noise Interference and Backaction Cooling in Cavity Nanomechanics Florian Elste,1 S. M

  11. An Alternate Mechanism for Creating Functional Sub-micrometer Superconducting Quantum Interference Devices

    E-Print Network [OSTI]

    Ford, Arlene C.

    2011-08-08T23:59:59.000Z

    , the micro-SQUID (microscopic superconducting quantum interference device), can be used to detect very small changes in magnetic flux. Most low Tc micro-SQUIDs (LTS) are made from aluminum or niobium. While an aluminum SQUID is relatively easy to fabricate...

  12. NON-CONVEX UTILITY MAXIMIZATION IN GAUSSIAN MISO BROADCAST AND INTERFERENCE CHANNELS

    E-Print Network [OSTI]

    Simeone, Osvaldo

    NON-CONVEX UTILITY MAXIMIZATION IN GAUSSIAN MISO BROADCAST AND INTERFERENCE CHANNELS M. Rossi, A. M- imization [1] or SINR balancing for the multiple-input single-output (MISO) BC [2], and thus solvable, MISO BC and IC WSRM with general convex power constraint. The proposed BB approach is based

  13. COORDINATION ON THE MISO INTERFERENCE CHANNEL USING THE VIRTUAL SINR Randa Zakhour and David Gesbert

    E-Print Network [OSTI]

    Gesbert, David

    COORDINATION ON THE MISO INTERFERENCE CHANNEL USING THE VIRTUAL SINR FRAMEWORK Randa Zakhour antenna users, this corresponds to the so-called MISO IC considered among oth- ers in [1, 2). Assuming each transmitter has multiple antennas and each receiver a single antenna, the setting is the MISO

  14. ON THE USAGE OF ANTENNAS IN MIMO AND MISO INTERFERENCE CHANNELS Mariam Kaynia

    E-Print Network [OSTI]

    Gesbert, David

    ON THE USAGE OF ANTENNAS IN MIMO AND MISO INTERFERENCE CHANNELS Mariam Kaynia , Andrea J. Goldsmith case of a MISO chan- nel is considered, where exact expressions for the ergodic capac- ity of the capacity of a MISO broadcast channel with a random beamformer is derived. However, the impact

  15. Coordination on the MISO Interference Channel Using the Virtual SINR Framework

    E-Print Network [OSTI]

    Gesbert, David

    Coordination on the MISO Interference Channel Using the Virtual SINR Framework Randa Zakhour David;Outline Motivation Cooperation in multi-cell/link systems MISO IC System Model and Performance Measures Motivation Cooperation in multi-cell/link systems MISO IC System Model and Performance Measures Virtual SINR

  16. Beamforming for the Underlay Cognitive MISO Interference Channel via UL-DL Duality

    E-Print Network [OSTI]

    Gesbert, David

    Beamforming for the Underlay Cognitive MISO Interference Channel via UL-DL Duality Francesco Negro.negro@eurecom.fr, dirk.slock@eurecom.fr Abstract--SINR duality is shown in a multi-input single- output (MISO) downlink for the IFC. We show that SINR duality under the sum power constraint nevertheless holds in the MISO IFC

  17. Model Calculations of Protein Pair Interference Functions P. B. MOORE AND D. I~. ENGELMAN

    E-Print Network [OSTI]

    of the interference cross term, derived from neutron scattering studies of structures containing pairs of deuterated by the neutron scattering method, and should help clarify the interpretation of such data. A2. Method Our and -~2 are the radii of the spheres in question, px and p2 are their respective scattering densities

  18. Two-Dimensional NMR Spectroscopy Elimination of Zero-Quantum Interference in

    E-Print Network [OSTI]

    Keeler, James

    the sample is large enough, the net result will be cancelation of the zero-quantum coherence. A simpleTwo-Dimensional NMR Spectroscopy Elimination of Zero-Quantum Interference in Two-Dimensional NMR and homonuclear zero-quantum coherence, which is invariably present. The zero-quantum coherence gives rise to anti

  19. Stealing Bandwidth via Link-targeted Interference Attacks MINA GUIRGUIS AZER BESTAVROS IBRAHIM MATTA

    E-Print Network [OSTI]

    Matta, Abraham "Ibrahim"

    decrease, limited by the damage as opposed to their network fair-share, yielding a slack of resources. This slack of resources would be nat- urally acquired by the supported flows, causing them to acquire more at a specific resource or a set of flows. We demonstrate two schemes for the construction of an interference

  20. Impact of Transmit Power Control and Receiver Association on Interweave Network Interference

    E-Print Network [OSTI]

    Tellambura, Chintha

    Impact of Transmit Power Control and Receiver Association on Interweave Network Interference S power control and receiver association schemes. For this purpose, secondary transmitter nodes, a per-user transmit power control scheme is considered in which the transmit power is based

  1. Interference Mitigation via Power Control under the One-Power-Zone Constraint

    E-Print Network [OSTI]

    Yu, Wei

    Interference Mitigation via Power Control under the One-Power-Zone Constraint Hayssam Dahrouj, Wei on different zones. The objective of this paper is to design power control strategies to mitigation inter this constrained power control problem based on an iterative function evaluation technique. The proposed algorithms

  2. Low Complexity Algorithms for Relay Selection and Power Control in Interference-Limited

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Low Complexity Algorithms for Relay Selection and Power Control in Interference the sum rate of the system, we address the joint problem of relay assignment and power control. Initially, power control, relay, SINR, sum rate maximization I. INTRODUCTION Cooperative communications exploit

  3. Improvement of Compressor Concentricity for the Elimination of Labyrinth Seal Interference

    E-Print Network [OSTI]

    Demirel, Melik C.

    Improvement of Compressor Concentricity for the Elimination of Labyrinth Seal Interference Project compressors to increase efficiency. These compressors are often used in coal power plants to sequester CO2 which can take up to 12% of the total power plant output. Improving efficiency on theses compressors

  4. DETECTION OF GEOTHERMAL INTERFERENCE IN THE TUNNEL EXCAVATION USING MAGNETOTELLURICS TECHNIQUE

    E-Print Network [OSTI]

    Harinarayana, T.

    temperature of the hot springs is as high as 900 C at some places. Major civil construction sites such as dams, tunnels etc. need to be carefully planned to avoid the hot spring locations. For example, high temperature-engineers involved in tunnel construction in Himalayas is to know the possible interference of hot water regimes

  5. AIAA 2002-3297 INTERFERENCE BETWEEN TWO SIDE-BY-SIDE CYLINDERS IN HYPERSONIC

    E-Print Network [OSTI]

    Riabov, Vladimir V.

    AIAA 2002-3297 INTERFERENCE BETWEEN TWO SIDE-BY-SIDE CYLINDERS IN HYPERSONIC RAREFIED-GAS FLOWS Vladimir V. Riabov* Rivier College, Nashua, New Hampshire 03060 Abstract Hypersonic rarefied-gas flows near-Carlo technique under transitional rarefied-gas-flow conditions (Knudsen numbers from 0.0167 to 10). Strong

  6. Author's personal copy Numerical study of interference between simple-shape bodies in hypersonic flows

    E-Print Network [OSTI]

    Riabov, Vladimir V.

    2008 Available online 3 December 2008 Keywords: Hypersonic rarefied-gas flows Direct simulation Monte-Carlo method Flow interference Simple-shape bodies Toroidal balloon a b s t r a c t Hypersonic rarefied-gas, the configuration of subsonic flow zones), skin friction, pressure distribu- tion, lift, and drag have been found. Ó

  7. INTERNATIONAL CONGRESS OF THE AERONAUTICAL SCIENCES The interference of an impinging plane oblique

    E-Print Network [OSTI]

    Riabov, Vladimir V.

    wind tunnel by using the thermal sensitive coating technique [4-5]. 2 Flow Patterns We consider-beam fluorescence technique; thermal sensitive coating technique; shock-wave interference #12;VLADIMIR V. RIABOV. [18] Let us suppose that the oblique shock meets the bow shock ahead of a cylinder at different

  8. An examination of interference in waste solidification through measurement of heat signature

    SciTech Connect (OSTI)

    Shi, C.; Stegemann, J.; Caldwell, R. [Water Technology International Corp., Burlington, Ontario (Canada)] [Water Technology International Corp., Burlington, Ontario (Canada)

    1998-07-01T23:59:59.000Z

    The hydration of cementing materials is accompanied by heat evolution which is closely related to their structure development. The presence of wastes usually interferes with the hydration of cementing materials. This study examined their interference in waste stabilization/solidification processes through the measurement of adiabatic heat evolution using a computerized Quadrel{trademark} system. Two cementitious materials, an alkali-activated blast furnace slag binder and an ASTM Type 1 Portland cement were used to solidify an electric arc furnace (EAF) dust, which has high concentrations of B, Cr, Hg, Pb, Ni and Zn. The EAF dust contents were 0, 30 and 60% by mass. Different mixing conditions were also examined. The interference of EAF dust with the hydration of cementing materials was described using several parameters derived from the heat evolution curves: equivalent initial time of setting (equivalent time at 20 C); total heat evolution at initial time of setting; equivalent final time of setting, total heat evolution at final time of setting and total heat evolution at equivalent time of 28 and 90 days. Experimental results indicated that the Quadrel{trademark} system was a useful tool to examine the interference in waste stabilization/solidification and to assist with the selection of cementing materials.

  9. Indistinguishability and Interference in the Coherent Control of Atomic and Molecular Processes

    E-Print Network [OSTI]

    Jiangbin Gong; Paul Brumer

    2010-02-07T23:59:59.000Z

    The subtle and fundamental issue of indistinguishability and interference between independent pathways to the same target state is examined in the context of coherent control of atomic and molecular processes, with emphasis placed on possible "which-way" information due to quantum entanglement established in the quantum dynamics. Because quantum interference between independent pathways to the same target state occurs only when the independent pathways are indistinguishable, it is first shown that creating useful coherence (as defined in the paper) between nondegenerate states of a molecule for subsequent quantum interference manipulation cannot be achieved by collisions between atoms or molecules that are prepared in momentum and energy eigenstates. Coherence can, however, be transferred from light fields to atoms or molecules. Using a particular coherent control scenario, it is shown that this coherence transfer and the subsequent coherent phase control can be readily realized by the most classical states of light, i.e., coherent states of light. It is further demonstrated that quantum states of light may suppress the extent of phase-sensitive coherent control by leaking out some which-way information while "incoherent interference control" scenarios proposed in the literature have automatically ensured the indistinguishability of multiple excitation pathways. The possibility of quantum coherence in photodissociation product states is also understood in terms of the disentanglement between photodissociation fragments. Results offer deeper insights into quantum coherence generation in atomic and molecular processes.

  10. QCD and Electroweak Interference in Higgs production by Gauge Boson Fusion

    E-Print Network [OSTI]

    Jeppe R. Andersen; Jennifer M. Smillie

    2007-05-01T23:59:59.000Z

    We explicitly calculate the contribution to Higgs production at the LHC from the interference between gluon-gluon and Weak Vector Boson fusion, and compare it to the pure QCD and pure Electro-weak result. While the effect is small at tree level, we speculate it will be significantly enhanced by loop effects.

  11. High resolution low-temperature superconductivity superconducting quantum interference device microscope for imaging magnetic fields

    E-Print Network [OSTI]

    Weiss, Benjamin P.

    -temperature superconducting niobium wire coupled to the input circuit of a superconducting quantum interference device SQUID-stated advantages of high-temperature superconductivity HTS over the more advanced low- temperature superconductivity LTS is that the higher oper- ating temperature, typically around 77 K, allows HTS SQUIDs

  12. An analog approach to interference suppression in ultra-wideband receivers

    E-Print Network [OSTI]

    Fischer, Timothy W.

    2007-09-17T23:59:59.000Z

    are presented, and a solution is proposed. To combat interference in Multi-Band OFDM (MB-OFDM) UWB systems, an analog notch filter is designed to be included in the UWB receive chain. The architecture of the filter is based on feed-forward subtraction...

  13. Water Power Technologies The most widespread environmental constraints to the development of hydropower are interference

    E-Print Network [OSTI]

    to the development of hydropower are interference with fish passage, provision of adequate environmental flows to address these issues and to help ensure environmentally sound hydropower development in the following through hydropower turbines, remains a serious problem at many sites. The fish passage task focuses

  14. A DME Based Area Navigation Systems for GPS/WAAS Interference Mitigation In General Aviation Applications

    E-Print Network [OSTI]

    Stanford University

    States. The Federal Aviation Administration (FAA) is leading the e ort to mod- ernize the NAS, Stanford University Abstract The Federal Aviation Administration is leading the National Airspace SystemA DME Based Area Navigation Systems for GPS/WAAS Interference Mitigation In General Aviation

  15. Performance Analysis of Passive UHF RFID Systems under Cascaded Fading Channels and Interference Effects

    E-Print Network [OSTI]

    Bekkali, Abdelmoula; Zou, Sicheng; Kadri, Abdullah; Penty, Richard

    2014-10-31T23:59:59.000Z

    and interference environments. A. Ideal Environment In the case of free space scenario, the path loss model is given by: L(d) = ( ? 4pid )2 (32) Substituting Eq.32 into Eq.27 and Eq.31, we have : dmaxf = ? 4pi ? ?LPTxGTG f R ST (33) and dmaxb = ? 4pi ? ?µ...

  16. Aggregation Modulators Interfere with Membrane Interactions of b2-Microglobulin Fibrils

    E-Print Network [OSTI]

    Jelinek, Raz

    Aggregation Modulators Interfere with Membrane Interactions of b2-Microglobulin Fibrils Tania of the impact of fibrillation modulators upon membrane interactions of b2-microglobulin (b2m) fibrils ABSTRACT Amyloid fibril accumulation is a pathological hallmark of several devastating disorders, including

  17. Posting type Advisory Subject S interference in XRF determination of Si

    E-Print Network [OSTI]

    Fischer, Emily V.

    Posting type Advisory Subject S interference in XRF determination of Si Module/Species A/ Si Sites information The primary XRF peak for sulfur has a shoulder that overlaps the primary XRF peak for silicon. XRF spectra for two samples with differing S/Si ratios. Accurate determination of Si is difficult when

  18. Superconducting quantum interference device as a near-quantum-limited amplifier at 0.5 GHz

    E-Print Network [OSTI]

    Le Roy, Robert J.

    Superconducting quantum interference device as a near-quantum-limited amplifier at 0.5 GHz Michael 94720 Received 10 October 2000; accepted for publication 14 December 2000 A dc superconducting quantum, for example, superconducting transition-edge sensors for infrared, optical, and ultraviolet wavelengths,2

  19. Turbo-BLAST with Semi-Blind Co-Channel Interference Cancellation in Multicell MIMO Systems

    E-Print Network [OSTI]

    Dai, Huaiyu

    Turbo-BLAST with Semi-Blind Co-Channel Interference Cancellation in Multicell MIMO Systems Vivek to obtain in practice. In this paper we first exploit the turbo principle to enhance an effective blind detection method based on multiuser kurtosis (MUK) maximization, thus coined as turbo-MUK. In turbo

  20. Wong & Lok: Theory of Digital Communications 4. ISI & Equalization Intersymbol Interference and Equalization

    E-Print Network [OSTI]

    Wong, Tan F.

    Wong & Lok: Theory of Digital Communications 4. ISI & Equalization Chapter 4 Intersymbol interference (ISI), degrades the error performance of the communication system. There are two major ways to mitigate the detrimental effect of ISI. The first method is to design bandlimited transmission pulses which

  1. The Role of Test Expectancy in the Build-Up of Proactive Interference in Long-Term Memory

    E-Print Network [OSTI]

    Szpunar, Karl K.

    The Role of Test Expectancy in the Build-Up of Proactive Interference in Long-Term Memory Yana the hypothesis that interpolated testing in a multiple list paradigm protects against proactive interference by sustaining test expectancy during encoding. In both experiments, recall on the last of 5 word lists

  2. Interference and outage analysis in a cognitive radio network with beacon Mahsa Derakhshani, Tho Le-Ngoc, Mai Vu

    E-Print Network [OSTI]

    Vu, Mai

    with verification by simulation. The probabilistic properties of interference power caused by SU's are investigated of this paper is organized as follows. After a brief overview of the system configuration and model, Section II the conclusions. II. SYSTEM AND INTERFERENCE MODELS A. System Configuration and Model We consider a circular area

  3. Hydraulic interference testbetween several doublets in the Dogger aquifer in Ile-de-France region (Val-de-Marne)

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Hydraulic interference testbetween several doublets in the Dogger aquifer in Ile-de-France region of the "thermal breakthrough".One uncertainty of these models is the hydraulic interference between the different of the hydraulic test whichwas carried out in September 2013.The test included 5 geothermal doublets (Cachan 1

  4. Observation of interference between two Bose condensates The spatial coherence of a Bose condensate was demonstrated by observing

    E-Print Network [OSTI]

    Observation of interference between two Bose condensates The spatial coherence of a Bose condensate was demonstrated by observing interference between two Bose condensates [1]. They were created by cooling atoms the condensates expand for 40 milliseconds and overlap (see figure). This demonstrates that Bose condensed atoms

  5. Home Fire Safety Inspection Checklist A fire can occur in any part of your home. Use this checklist to make a safety check of your house or

    E-Print Network [OSTI]

    Marsh, David

    to make a safety check of your house or apartment. Review it with everyone in the house or apartment. Ask ash trays throughout the house? o Do you check for smoldering cigarette butts in the furniture alarm(s) every month? o Do you replace the battery of your battery operated smoke alarm every year? #12

  6. ICP-MS (Quadrupole) | EMSL

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

    Nanocomposite Synthesized in Supercritical Fluid as Electrocatalysts for Low-Temperature Fuel Cells. Carbon nanotube (CNT)-supported Pt nanoparticles catalysts have been...

  7. Documents Related to the ICP

    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 AdministrationField Campaign:INEA : Papers69 Federal Register /

  8. Role of electron-electron interference in ultrafast time-resolved imaging of electronic wavepackets

    SciTech Connect (OSTI)

    Dixit, Gopal [Center for Free-Electron Laser Science, DESY, Notkestrasse 85, D-22607 Hamburg (Germany); Santra, Robin [Center for Free-Electron Laser Science, DESY, Notkestrasse 85, D-22607 Hamburg (Germany); Department of Physics, University of Hamburg, D-20355 Hamburg (Germany)

    2013-04-07T23:59:59.000Z

    Ultrafast time-resolved x-ray scattering is an emerging approach to image the dynamical evolution of the electronic charge distribution during complex chemical and biological processes in real-space and real-time. Recently, the differences between semiclassical and quantum-electrodynamical (QED) theory of light-matter interaction for scattering of ultrashort x-ray pulses from the electronic wavepacket were formally demonstrated and visually illustrated by scattering patterns calculated for an electronic wavepacket in atomic hydrogen [G. Dixit, O. Vendrell, and R. Santra, Proc. Natl. Acad. Sci. U.S.A. 109, 11636 (2012)]. In this work, we present a detailed analysis of time-resolved x-ray scattering from a sample containing a mixture of non-stationary and stationary electrons within both the theories. In a many-electron system, the role of scattering interference between a non-stationary and several stationary electrons to the total scattering signal is investigated. In general, QED and semiclassical theory provide different results for the contribution from the scattering interference, which depends on the energy resolution of the detector and the x-ray pulse duration. The present findings are demonstrated by means of a numerical example of x-ray time-resolved imaging for an electronic wavepacket in helium. It is shown that the time-dependent scattering interference vanishes within semiclassical theory and the corresponding patterns are dominated by the scattering contribution from the time-independent interference, whereas the time-dependent scattering interference contribution do not vanish in the QED theory and the patterns are dominated by the scattering contribution from the non-stationary electron scattering.

  9. Functional Interference Clusters in Cancer Patients With Bone Metastases: A Secondary Analysis of RTOG 9714

    SciTech Connect (OSTI)

    Chow, Edward, E-mail: Edward.Chow@sunnybrook.c [Odette Cancer Centre, Toronto, ON (Canada); James, Jennifer [RTOG Statistical Center, Philadelphia, PA (United States); Barsevick, Andrea [Fox Chase Cancer Center, Cheltenham, PA (United States); Hartsell, William [Good Samaritan Cancer Center, Downers Grove, IL (United States); Ratcliffe, Sarah [University of Pennsylvania School of Medicine, Philadelphia, PA (United States); Scarantino, Charles [Rex Healthcare Cancer Center, Raleigh, NC (United States); Ivker, Robert [Newark Beth Israel Medical Center, Newark, NJ (Israel); Roach, Mack [UCSF Comprehensive Cancer Center, San Francisco, CA (United States); Suh, John [Cleveland Clinic Foundation, Cleveland, OH (United States); Petersen, Ivy [Mayo Clinic, Rochester, MN (United States); Konski, Andre [Fox Chase Cancer Center, Cheltenham, PA (United States); Demas, William [Akron City Hospital Cancer Care Center, Inc., Akron, OH (United States); Bruner, Deborah [Abramson Cancer Center, Philadelphia, PA (United States)

    2010-04-15T23:59:59.000Z

    Purpose: To explore the relationships (clusters) among the functional interference items in the Brief Pain Inventory (BPI) in patients with bone metastases. Methods: Patients enrolled in the Radiation Therapy Oncology Group (RTOG) 9714 bone metastases study were eligible. Patients were assessed at baseline and 4, 8, and 12 weeks after randomization for the palliative radiotherapy with the BPI, which consists of seven functional items: general activity, mood, walking ability, normal work, relations with others, sleep, and enjoyment of life. Principal component analysis with varimax rotation was used to determine the clusters between the functional items at baseline and the follow-up. Cronbach's alpha was used to determine the consistency and reliability of each cluster at baseline and follow-up. Results: There were 448 male and 461 female patients, with a median age of 67 years. There were two functional interference clusters at baseline, which accounted for 71% of the total variance. The first cluster (physical interference) included normal work and walking ability, which accounted for 58% of the total variance. The second cluster (psychosocial interference) included relations with others and sleep, which accounted for 13% of the total variance. The Cronbach's alpha statistics were 0.83 and 0.80, respectively. The functional clusters changed at week 12 in responders but persisted through week 12 in nonresponders. Conclusion: Palliative radiotherapy is effective in reducing bone pain. Functional interference component clusters exist in patients treated for bone metastases. These clusters changed over time in this study, possibly attributable to treatment. Further research is needed to examine these effects.

  10. MJ no more: Using Concurrent Wikipedia Edit Spikes with Social Network Plausibility Checks for Breaking News Detection

    E-Print Network [OSTI]

    Steiner, Thomas; Summers, Ed

    2013-01-01T23:59:59.000Z

    We have developed an application called Wikipedia Live Monitor that monitors article edits on different language versions of Wikipedia, as they happen in realtime. Wikipedia articles in different languages are highly interlinked. For example, the English article en:2013_Russian_meteor_event on the topic of the February 15 meteoroid that exploded over the region of Chelyabinsk Oblast, Russia, is interlinked with the Russian article on the same topic. As we monitor multiple language versions of Wikipedia in parallel, we can exploit this fact to detect concurrent edit spikes of Wikipedia articles covering the same topics, both in only one, and in different languages. We treat such concurrent edit spikes as signals for potential breaking news events, whose plausibility we then check with full-text cross-language searches on multiple social networks. Unlike the reverse approach of monitoring social networks first, and potentially checking plausibility on Wikipedia second, the approach proposed in this paper has th...

  11. Evaluation of natural enemies of greenbug, Schizaphis graminum (Rondani), on sorghum using two approaches of the insecticidal check method

    E-Print Network [OSTI]

    Rao, Asha

    1996-01-01T23:59:59.000Z

    trends can be derived from this analysis. In correlation analyses, mean pest density and mean enemy densities are plotted versus time (Carter and Dixon 1982, Miller and Strichler 1984, Hawkins 1992). These plots illustrate the seasonal abundance... of The Insecticidal Check Method, (August 1996) Asha Rao, B. S. , University of Agricultural Sciences, Bangalore, India Co-Chairs of Advisory Coaanittee: Dr. Frank E. Gilstrap Dr. Gerald J. Michels, Jr. Enemy removal experiments and enemy trap experiments were...

  12. Cytometer LASER (nm) Detector range Fluorochrome Names check LSRII-A UV 355 A 505-550 Indo-1 (Blue)

    E-Print Network [OSTI]

    Oliver, Douglas L.

    Cytometer LASER (nm) Detector range Fluorochrome Names check LSRII-A UV 355 A 505-550 Indo-1 (Blue) B 420-460 Live Dead UV Blue Alexa 350 DAPI Indo-1(Violet) Hoechst 33342 C - empty Violet 405 A 505-550 Pac. Orange V500 VioGreen BVio 510 Viability Dye eF506 Alexa 430 Sapphire B 420-460 Pac. Blue eF450 V

  13. The Library is open 24/5 Fall & Spring Summer hours vary -check lib.usf.edu

    E-Print Network [OSTI]

    Meyers, Steven D.

    The Library is open 24/5 Fall & Spring Summer hours vary - check lib.usf.edu After midnight, USF ID.lib.usf.edu/guides Teaching a Course? Learn how to integrate the library into Canvas Place items on reserve using PRESTO! Contact the library's Reserve Team at reserves@lib.usf.edu or 813-974-4182 Invite a librarian to join your

  14. Interference and k-point sampling in the supercell approach to phase-coherent transport K. S. Thygesen and K. W. Jacobsen

    E-Print Network [OSTI]

    Thygesen, Kristian

    tight-binding model to show that interference be- tween the repeated images is a small effect compared the re- peated images. As the transverse dimensions of the supercell are increased the interference of k-point sam- pling and interference on the transmission function by means of two examples. The first

  15. Near-infrared Hong-Ou-Mandel interference on a silicon quantum photonic circuit

    E-Print Network [OSTI]

    Xinan Xu; Zhenda Xie; Jiangjun Zheng; Junlin Liang; Tian Zhong; Mingbin Yu; Serdar Kocaman; Guo-Qiang Lo; Dim-Lee Kwong; Dirk R. Englund; Franco N. C. Wong; Chee Wei Wong

    2012-12-03T23:59:59.000Z

    Near-infrared Hong-Ou-Mandel quantum interference is observed in silicon nanophotonic directional couplers with raw visibilities on-chip at 90.5%. Spectrally-bright 1557-nm two-photon states are generated in a periodically-poled KTiOPO4 waveguide chip, serving as the entangled photon source and pumped with a self-injection locked laser, for the photon statistical measurements. Efficient four-port coupling in the communications C-band and in the high-index-contrast silicon photonics platform is demonstrated, with matching theoretical predictions of the quantum interference visibility. Constituents for the residual quantum visibility imperfection are examined, supported with theoretical analysis of the sequentially-triggered multipair biphoton contribution and techniques for visibility compensation, towards scalable high-bitrate quantum information processing and communications.

  16. Outage Rate Regions for the MISO Interference Channel: Definitions and Interpretations

    E-Print Network [OSTI]

    Lindblom, Johannes; Larsson, Erik G

    2011-01-01T23:59:59.000Z

    We consider the slow-fading two-user multiple-input single-output (MISO) interference channel (IC), where the receivers treat the interference as additive Gaussian noise. We study the rate points that can be achieved, allowing a non-zero outage probability. The points which meet the outage probability specification constitute a so-called outage rate region. There exist several definitions of the outage rate regions for the IC, as for the broadcast and the multiple-access channels. We give four definitions for the outage region of the MISO IC. The definitions differ on whether the rates are declared in outage jointly or individually and whether there is instantaneous or statistical channel state information (CSI) at the transmitters. For the statistical CSI scenario, we discuss how to find the outage probabilities in closed form. We provide interpretations of the definitions and compare the corresponding regions via analytical and numerical results.

  17. Non-Convex Utility Maximization in Gaussian MISO Broadcast and Interference Channels

    E-Print Network [OSTI]

    Rossi, M; Simeone, O; Haimovich, A M

    2011-01-01T23:59:59.000Z

    Utility (e.g., sum-rate) maximization for multiantenna broadcast and interference channels (with one antenna at the receivers) is known to be in general a non-convex problem, if one limits the scope to linear (beamforming) strategies at transmitter and receivers. In this paper, it is shown that, under some standard assumptions, most notably that the utility function is decreasing with the interference levels at the receivers, a global optimal solution can be found with reduced complexity via a suitably designed Branch-and-Bound method. Although infeasible for real-time implementation, this procedure enables a non-heuristic and systematic assessment of suboptimal techniques. A suboptimal strategy is then proposed that, when applied to sum-rate maximization, reduces to the well-known distributed pricing techniques. Finally, numerical results are provided that compare global optimal solutions with suboptimal (pricing) techniques for sum-rate maximization problems, leading to insight into issues such as the robus...

  18. GSI Oscillations as Interference of Neutrino Flavour Mass--Eigenstates and Measuring Process

    E-Print Network [OSTI]

    A. N. Ivanov; P. Kienle

    2014-06-10T23:59:59.000Z

    This paper is addressed to the proof of the important role of measuring apparatus, i.e. the measuring process, in the formation of necessary and sufficient conditions for the explanation of a time modulation of K-shell electron capture (EC) decay rates of hydrogen-like (H-like) heavy ions (or the GSI oscillations) as the interference of neutrino mass-eigenstates of the electron neutrino constituents. For our analysis we use a toy-model, which has been recently proposed by Peshkin arXiv: 1403.4292 [nucl-th] for a verification of the mechanism of the GSI oscillations as the interference of neutrino mass-eigenstates by Ivanov and Kienle Phys. Rev. Lett. 103, 062502 (2009).

  19. GSI Oscillations as Interference of Neutrino Flavour Mass--Eigenstates and Measuring Process

    E-Print Network [OSTI]

    Ivanov, A N

    2014-01-01T23:59:59.000Z

    This paper is addressed to the proof of the important role of measuring apparatus, i.e. the measuring process, in the formation of necessary and sufficient conditions for the explanation of a time modulation of K-shell electron capture (EC) decay rates of hydrogen-like (H-like) heavy ions (or the GSI oscillations) as the interference of neutrino mass-eigenstates of the electron neutrino constituents. For our analysis we use a toy-model, which has been recently proposed by Peshkin arXiv: 1403.4292 [nucl-th] for a verification of the mechanism of the GSI oscillations as the interference of neutrino mass-eigenstates by Ivanov and Kienle Phys. Rev. Lett. 103, 062502 (2009).

  20. Interference induced preparation of spinpolarized electrons in a three-terminal quantum ring

    E-Print Network [OSTI]

    Orsolya Kalman; Peter Foldi; Mihaly G. Benedict; F. M. Peeters

    2006-12-21T23:59:59.000Z

    We present an exact, analytic solution of the spin dependent quantum transport problem with spin-orbit interaction in a one-dimensional mesoscopic ring with one input and two output leads. We demonstrate that for appropriate parameters spatial interference in the ring leads to a behavior analogous to that of the Stern-Gerlach apparatus: different spin polarizations can be achieved in the two output channels from an originally totally unpolarized incoming spin state. It is shown that this requires an appropriate interference of states that carry oppositely directed currents. We find that spin polarization is possible for several geometries, including the case when the device is not symmetric with respect to the incoming lead. A clear connection is established between the Stern-Gerlach like property of the device and the relevant Aharonov-Casher phases in the loop geometry.

  1. LPM Interference and Cherenkov-like Gluon Bremsstrahlung in DenseMatter

    SciTech Connect (OSTI)

    Majumder, Abhijit; Wang, Xin-Nian

    2005-07-26T23:59:59.000Z

    Gluon bremsstrahlung induced by multiple parton scattering in a finite dense medium has a unique angular distribution with respect to the initial parton direction. A dead-cone structure with an opening angle; theta2{sub 0}; approx 2(1-z)/(zLE) for gluons with fractional energy z arises from the Landau-Pomeran chuck-Migdal (LPM) interference. In a medium where the gluon's dielectric constant is; epsilon>1, the LPM interference pattern is shown to become Cherenkov-like with an increased opening angle determined by the dielectric constant$/cos2/theta{sub c}=z+(1-z)//epsilon$. For a large dielectric constant/epsilon; gg 1+2/z2LE, the corresponding total radiative parton energy loss is about twice that from normal gluon bremsstrahlung. Implications of this Cherenkov-like gluon bremsstrahlung to the jet correlation pattern in high-energy heavy-ion collisions is discussed.

  2. Quantum-interference-initiated superradiant and subradiant emission from entangled atoms

    SciTech Connect (OSTI)

    Wiegner, R. [Institut fuer Optik, Information und Photonik, Friedrich-Alexander-Universitaet Erlangen-Nuernberg, Erlangen (Germany); Zanthier, J. von [Institut fuer Optik, Information und Photonik, Friedrich-Alexander-Universitaet Erlangen-Nuernberg, Erlangen (Germany); Erlangen Graduate School in Advanced Optical Technologies (SAOT), Friedrich-Alexander Universitaet Erlangen-Nuernberg (Germany); Agarwal, G. S. [Department of Physics, Oklahoma State University, Stillwater, Oklahoma (United States)

    2011-08-15T23:59:59.000Z

    We calculate the radiative characteristics of emission from a system of entangled atoms which can have a relative distance larger than the emission wavelength. We develop a quantum multipath interference approach which explains both super- and subradiance though the entangled states have zero dipole moment. We derive a formula for the radiated intensity in terms of different interfering pathways. We further show how the interferences lead to directional emission from atoms prepared in symmetric W states. As a byproduct of our work we show how Dicke's classic result can be understood in terms of interfering pathways. In contrast to the previous works on ensembles of atoms, we focus on finite numbers of atoms prepared in well characterized states.

  3. An integrated quantum photonic sensor based on Hong-Ou-Mandel interference

    E-Print Network [OSTI]

    Basiri-Esfahani, Sahar; Armin, Ardalan; Combes, Joshua; Milburn, Gerard J

    2015-01-01T23:59:59.000Z

    Photonic-crystal-based integrated optical systems have been used for a broad range of sensing applications with great success. This has been motivated by several advantages such as high sensitivity, miniaturization, remote sensing, selectivity and stability. Many photonic crystal sensors have been proposed with various fabrication designs that result in improved optical properties. Here we propose a novel multi-purpose sensor architecture that can be used for force, refractive index and possibly local temperature detection. In this scheme, two coupled cavities behave as an "effective beam splitter". The sensor works based on fourth order interference (the Hong-Ou-Mandel effect) and requires a sequence of single photon pulses and consequently has low pulse power. Changes in the parameter to be measured induce variations in the effective beam splitter reflectivity and result in changes to the visibility of interference. We demonstrate this generic scheme in coupled L3 photonic crystal cavities as an example and...

  4. Revealing Carrier-Envelope Phase through Frequency Mixing and Interference in Frequency Resolved Optical Gating

    E-Print Network [OSTI]

    Snedden, Edward W; Jamison, Steven P

    2015-01-01T23:59:59.000Z

    We demonstrate that full temporal characterisation of few-cycle electromagnetic pulses, including retrieval of the carrier envelope phase (CEP), can be directly obtained from Frequency Resolved Optical Gating (FROG) techniques in which the interference between non-linear frequency mixing processes is resolved. We derive a framework for this scheme, defined Real Domain-FROG (ReD-FROG), as applied to the cases of interference between sum and difference frequency components and between fundamental and sum/difference frequency components. A successful numerical demonstration of ReD-FROG as applied to the case of a self-referenced measurement is provided. A proof-of-principle experiment is performed in which the CEP of a single-cycle THz pulse is accurately obtained and demonstrates the possibility for THz detection beyond the bandwidth limitations of electro-optic sampling.

  5. Sum-Rate Optimal Power Policies for Energy Harvesting Transmitters in an Interference Channel

    E-Print Network [OSTI]

    Tutuncuoglu, Kaya

    2011-01-01T23:59:59.000Z

    This paper considers a two-user Gaussian interference channel with energy harvesting transmitters. Different than conventional battery powered wireless nodes, energy harvesting transmitters have to adapt transmission to availability of energy at a particular instant. In this setting, the optimal power allocation problem to maximize sum throughput within a given deadline is formulated. The convergence of the proposed iterative coordinate descent method for the problem is proved and the short-term throughput maximizing offline power allocation policy is found. Examples for interference regions with known sum capacities are given with directional water-filling interpretations when possible. Next, stochastic data arrivals are addressed. Finally online and/or distributed near-optimal policies are proposed. Performance of the proposed algorithms are demonstrated through simulations.

  6. On the Optimality of Beamforming for Multi-User MISO Interference Channels with Single-User Detection

    E-Print Network [OSTI]

    Shang, Xiaohu; Poor, H Vincent

    2009-01-01T23:59:59.000Z

    For a multi-user interference channel with multi-antenna transmitters and single-antenna receivers, by restricting each receiver to a single-user detector, computing the largest achievable rate region amounts to solving a family of non-convex optimization problems. Recognizing the intrinsic connection between the signal power at the intended receiver and the interference power at the unintended receiver, the original family of non-convex optimization problems is converted into a new family of convex optimization problems. It is shown that, for such interference channels with each receiver implementing single-user detection, transmitter beamforming can achieve all boundary points of the achievable rate region.

  7. Light Vector Meson Photoproduction off of H at Jefferson Lab and rho-omega Interference in the Leptonic Decay Channel

    SciTech Connect (OSTI)

    Chaden Djalali

    2011-12-01T23:59:59.000Z

    Recent studies of light vector meson production in heavy nuclear targets has generated interest in {rho}-{omega} interference in the leptonic e{sup +}e{sup -} decay channel. An experimental study of the elementary process provides valuable input for theoretical models and calculations. In experiment E04-005 (g12), high statistics photoproduction data has been taken in Jefferson Lab's Hall B with the Cebaf Large Acceptance Spectrometer (CLAS). The invariant mass spectrum is fitted with two interfering relativistic Breit-Wigner functions to determine the interference phase. Preliminary analysis indicate a measurable {rho}-{omega} interference.

  8. Form factor in K+ --> pi+ pi0 gamma: interference versus direct emission

    E-Print Network [OSTI]

    Luigi Cappiello; Giancarlo D'Ambrosio

    2007-04-19T23:59:59.000Z

    We analyze the effect of a form factor in the magnetic contribution to K+ --> pi+ pi0 gamma. We emphasize how this can show up experimentally: in particular we try to explore the difference between a possible interference contribution and a form factor in the magnetic part. The form factor used for K+ --> pi+ pi0 gamma is analogous to the one for KL --> pi+ pi- gamma, experimentally well established.

  9. Possible Role of Interference and Sink Effects in Nonphotochemical Quenching in Photosynthetic Complexes

    E-Print Network [OSTI]

    Gennady P. Berman; Alexander I. Nesterov; Shmuel Gurvitz; Richard T. Sayre

    2014-12-10T23:59:59.000Z

    We describe a simple and consistent quantum mathematical model that simulates the possible role of quantum interference and sink effects in the nonphotochemical quenching (NPQ) in light-harvesting complexes (LHCs). Our model consists of a network of five interconnected sites (excitonic states) responsible for the NPQ mechanism: (i) Two excited states of chlorophyll molecules, $ChlA^*$ and $ChlB^*$, forming an LHC dimer, which is initially populated; (ii) A "damaging" site which is responsible for production of singlet oxygen and other destructive outcomes; (iii) The $(ChlA-Zea)^*$ heterodimer excited state (Zea indicates zeaxanthin); and (iv) The charge transfer state of this heterodimer, $(ChlA^{-}-Zea^{+})^*$. In our model, both damaging and charge transfer states are described by discrete electron energy levels attached to their sinks, that mimic the continuum part of electron energy spectrum, as at these sites the electron participates in quasi-irreversible chemical reactions. All five excitonic sites interact with the protein environment that is modeled using a stochastic approach. As an example, we apply our model to demonstrate possible contributions of quantum interference and sink effects in the NPQ mechanism in the CP29 minor LHC. Our numerical results on the quantum dynamics of the reduced density matrix, demonstrate a possible way to significantly suppress, under some conditions, the damaging channel using quantum interference effects and sinks. The results demonstrate the possible role of interference and sink effects for modeling, engineering, and optimizing the performance of the NPQ processes in both natural and artificial light-harvesting complexes.

  10. Two-color ghost interference with photon pairs generated in hot atoms

    SciTech Connect (OSTI)

    Ding Dongsheng; Zhou Zhiyuan; Shi Baosen; Zou Xubo; Guo Guangcan [Key Laboratory of Quantum Information, University of Science and Technology of China, Hefei 230026 (China)

    2012-09-15T23:59:59.000Z

    We report on an experimental observation of a two-photon ghost interference experiment. A distinguishing feature of our experiment is that the photons are generated via a non-degenerated spontaneous four-wave mixing process in a hot atomic ensemble; therefore the photon has narrow bandwidth. Besides, there is a large difference in frequency between two photons in a pair. Our works may be important to achieve more secure, large transmission capacity long-distance quantum communication.

  11. IFT&E Industry Report Wind Turbine-Radar Interference Test Summary.

    SciTech Connect (OSTI)

    Karlson, Benjamin; LeBlanc, Bruce Philip; Minster, David G; Estill, Milford; Miller, Bryan Edward; Busse, Franz (MIT LL); Keck, Chris (MIT LL); Sullivan, Jonathan (MIT LL); Brigada, David (MIT LL); Parker, Lorri (MIT LL); Younger, Richard (MIT LL); Biddle, Jason (MIT LL)

    2014-10-01T23:59:59.000Z

    Wind turbines have grown in size and capacity with today's average turbine having a power capacity of around 1.9 MW, reaching to heights of over 495 feet from ground to blade tip, and operating with speeds at the tip of the blade up to 200 knots. When these machines are installed within the line-of-sight of a radar system, they can cause significant clutter and interference, detrimentally impacting the primary surveillance radar (PSR) performance. The Massachusetts Institute of Technology's Lincoln Laboratory (MIT LL) and Sandia National Laboratories (SNL) were co-funded to conduct field tests and evaluations over two years in order to: I. Characterize the impact of wind turbines on existing Program-of-Record (POR) air surveillance radars; II. Assess near-term technologies proposed by industry that have the potential to mitigate the interference from wind turbines on radar systems; and III. Collect data and increase technical understanding of interference issues to advance development of long-term mitigation strategies. MIT LL and SNL managed the tests and evaluated resulting data from three flight campaigns to test eight mitigation technologies on terminal (short) and long-range (60 nmi and 250 nmi) radar systems. Combined across the three flight campaigns, more than 460 of hours of flight time were logged. This paper summarizes the Interagency Field Test & Evaluation (IFT&E) program and publicly- available results from the tests. It will also discuss the current wind turbine-radar interference evaluation process within the government and a proposed process to deploy mitigation technologies.

  12. Availabilty of corona cage for predicting radio interference generated from HVDC transmission line

    SciTech Connect (OSTI)

    Nakano, Y.; Sunaga, Y. (Central Research Inst. of Electric Power Industry, Tokyo (Japan))

    1990-07-01T23:59:59.000Z

    This paper describes a prospect that a corona cage is available for predicting radio interference (RI) generated from HVDC transmission lines. This is based on the assumption that the generation quantity of RI is determined by Fmax (the true maximum conductor surface gradient in the presence of space charge), regardless of surrounding electrode arrangement. This assumption has been verified by tests using corona cages and a test line.

  13. A system for improved radiotelegraphy reception in the presence of atmospherics and interference

    E-Print Network [OSTI]

    Anderson, Warren Leslie

    1950-01-01T23:59:59.000Z

    OF ATMOSPHERICS AND INTERFERENCE WARREN LESLIE ANDERSON A Thesis Submitted to the Graduate School of the Agricultural and Mechanical College of Texas in parti- 1 fulfillment of the requirements for the degree of MASTER OF SCIENCE IN ELECTRICAL ENGINEERING.... Dillingham for reading the manuscript. E", . L. A. CONTENTS I. INTRODUCTION page ~ 1 II. THEORETICAL CONSIDERATION OF PROPOSED SYSTEM . . 4 III, MODIFICATION AND CONSTRUCTION OF EQUIPMENT . . . 8 IV, EQUIPMENT TESTS . . . . . . . . . . . . . . . . 16...

  14. Quantum interference measurement of spin interactions in a bio-organic/semiconductor device structure

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

    Deo, Vincent [Ecole Polytechnique, Palaiseau (France); Virginia Tech, Blacksburg, VA (United States); Zhang, Yao [Virginia Tech, Blacksburg, VA (United States); Soghomonian, Victoria [Virginia Tech, Blacksburg, VA (United States); Heremans, Jean J. [Virginia Tech, Blacksburg, VA (United States)

    2015-03-30T23:59:59.000Z

    Quantum interference is used to measure the spin interactions between an InAs surface electron system and the iron center in the biomolecule hemin in nanometer proximity in a bio-organic/semiconductor device structure. The interference quantifies the influence of hemin on the spin decoherence properties of the surface electrons. The decoherence times of the electrons serve to characterize the biomolecule, in an electronic complement to the use of spin decoherence times in magnetic resonance. Hemin, prototypical for the heme group in hemoglobin, is used to demonstrate the method, as a representative biomolecule where the spin state of a metal ion affects biological functions. The electronic determination of spin decoherence properties relies on the quantum correction of antilocalization, a result of quantum interference in the electron system. Spin-flip scattering is found to increase with temperature due to hemin, signifying a spin exchange between the iron center and the electrons, thus implying interactions between a biomolecule and a solid-state system in the hemin/InAs hybrid structure. The results also indicate the feasibility of artificial bioinspired materials using tunable carrier systems to mediate interactions between biological entities.

  15. Quantum interference measurement of spin interactions in a bio-organic/semiconductor device structure

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

    Deo, Vincent; Zhang, Yao; Soghomonian, Victoria; Heremans, Jean J.

    2015-03-30T23:59:59.000Z

    Quantum interference is used to measure the spin interactions between an InAs surface electron system and the iron center in the biomolecule hemin in nanometer proximity in a bio-organic/semiconductor device structure. The interference quantifies the influence of hemin on the spin decoherence properties of the surface electrons. The decoherence times of the electrons serve to characterize the biomolecule, in an electronic complement to the use of spin decoherence times in magnetic resonance. Hemin, prototypical for the heme group in hemoglobin, is used to demonstrate the method, as a representative biomolecule where the spin state of a metal ion affects biologicalmore »functions. The electronic determination of spin decoherence properties relies on the quantum correction of antilocalization, a result of quantum interference in the electron system. Spin-flip scattering is found to increase with temperature due to hemin, signifying a spin exchange between the iron center and the electrons, thus implying interactions between a biomolecule and a solid-state system in the hemin/InAs hybrid structure. The results also indicate the feasibility of artificial bioinspired materials using tunable carrier systems to mediate interactions between biological entities.« less

  16. Interference of small and of large quantum particles behind an asymmetric grating

    SciTech Connect (OSTI)

    Bozic, Mirjana; Arsenovic, Dusan [Institute of Physics, P.O. Box 57, 11001 Belgrade (Serbia and Montenegro); Vuskovic, Leposava [Old Dominion University, Department of Physics, 4600 Elkhorn Avenue, Norfolk, Virginia 23529 (United States)

    2004-05-01T23:59:59.000Z

    Quantum theory of interference phenomena does not take the diameter of the particle into account, since particles were much smaller than the width of the slits before the rise of molecular interferometry. In the experiments with large molecules, the diameter of the particle has approached the width of the slits. Therefore, an analytical description of these cases should include a finite particle size. An asymmetric double-slit grating seems to be very suitable for the study of the influence of a particle's size on the interference pattern. We identify three characteristic cases for the ratio of slit widths {delta}{sub 1} and {delta}{sub 2} and the particle diameter D: D{delta}{sub 1} and D{delta}{sub 2}, {delta}{sub 1}>D>{delta}{sub 2}, and D>{delta}{sub 1}>{delta}{sub 2}. Taking into account the influence of both slits on the particle wave function, regardless of through which slit the particle passed, we treat the particle-wall interaction in a simple fashion, such that if the particle size is greater than the slit opening there is no transmission. The transverse momentum distribution is independent of the distance from the slits and the particle size, while the space distribution strongly depends on this distance and the particle size. We found that the interference is absent only when the particle's diameter is larger than both slit widths, D>{delta}{sub 1}>{delta}{sub 2}.

  17. Interference of short optical pulses from independent gain-switched laser diodes for quantum secure communications

    E-Print Network [OSTI]

    Z. L. Yuan; M. Lucamarini; J. F. Dynes; B. Frohlich; M. B. Ward; A. J. Shields

    2015-01-08T23:59:59.000Z

    Since the introduction of the decoy-state technique, phase-randomised weak coherent light pulses have been the key to increase the practicality of quantum-based communications. Their ultra-fast generation was accomplished via compact gain-switched (GS) lasers, leading to high key rates in quantum key distribution (QKD). Recently, the question arose of whether the same laser could be employed to achieve high-speed measurement-device-independent-QKD, a scheme that promises long-haul quantum communications immune to all detector attacks. For that, a challenging highvisibility interference between independent picosecond optical pulses is required. Here, we answer the above question in the affirmative by demonstrating high-visibility interference from two independent GS lasers triggered at 1GHz. The result is obtained through a careful characterization of the laser frequency chirp and time jitter. By relating these quantities to the interference visibility, we obtain a parameter-free verification of the experimental data and a numerical simulation of the achievable key rates. These findings are beneficial to other applications making use of GS lasers, including random number generation and standard QKD.

  18. Effective Date: July 31, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: July 31, 2011 Revision - Check the JPSS MIS Server at https: April 22, 2011 Revision - Check the JPSS MIS Server at https VIIRS Snow Cover ATBD 474-00038 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server

  19. Effective Date: April 22, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https: April 22, 2011 Revision - Check the JPSS MIS Server at https VIIRS Earth Gridding 474-00028 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server

  20. Effective Date: April 22, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https Revision - Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify-00047 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server at https

  1. Effective Date: April 22, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https-00030 Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https Active Fires 474-00030 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server at https

  2. Effective Date: April 22, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https Revision - Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify-00046 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server at https

  3. Effective Date: July 31, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: July 31, 2011 Revision - Check the JPSS MIS Server at https-00053 Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https Geolocation ATBD 474-00053 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server at https

  4. Effective Date: April 22, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https Revision - Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify ATBD 474-00045 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server at https

  5. Effective Date: April 22, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https: April 22, 2011 Revision - Check the JPSS MIS Server at https Cloud Cover Layers 474-00044 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server

  6. Effective Date: March 31, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: March 31, 2011 Revision - Check the JPSS MIS Server at https3 474-00001-04-03 Effective Date: March 31, 2011 Revision - Check the JPSS MIS Server at https ­External ­ Vol 4 Pt3 474-00001-04-03 Effective Date: March 31, 2011 Revision - i Check the JPSS MIS Server

  7. Effective Date: April 22, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https 474-00029 Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https Total Column Ozone 474-00029 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server

  8. Effective Date: March 31, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: March 31, 2011 Revision - Check the JPSS MIS Server at https 8 474-00001-08 Effective Date: March 31, 2011 Revision - Check the JPSS MIS Server at https ­External ­ Vol 8 474-00001-08 Effective Date: March 31, 2011 Revision - i Check the JPSS MIS Server

  9. Effective Date: April 22, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https 474-00037 Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https ST ATBD 474-00037 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server at https

  10. Effective Date: April 22, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https 474-00039 Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https Vegetation Index ATBD 474-00039 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server

  11. Effective Date: July 18, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: July 18, 2011 Revision - Check the JPSS MIS Server at https 474-00001-07-01 Effective Date: July 18, 2011 Revision - Check the JPSS MIS Server at https ­External ­ Vol 7 P1 474-00001-07-01 Effective Date: July 18, 2011 Revision - i Check the JPSS MIS Server

  12. Effective Date: April 22, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https 474-00049 Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https AOT APSP 474-00049 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server at https

  13. Effective Date: April 22, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https 22, 2011 Revision - Check the JPSS MIS Server at https ACO ATBD 474-00050 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server at https

  14. Effective Date: July 5, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: July 5, 2011 Revision - Check the JPSS MIS Server at https ­ Vol 6 474-00001-06 Effective Date: July 5, 2011 Revision - Check the JPSS MIS Server at https ­External ­ Vol 6 474-00001-06 Effective Date: July 5, 2011 Revision - i Check the JPSS MIS Server at https

  15. Effective Date: April 22, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https ATBD 474-00042 Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https VIIRS CEPS COP ATBD 474-00042 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server

  16. Effective Date: August 13, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: August 13, 2011 Revision - Check the JPSS MIS Server at https-00001-03 Effective Date: August 13, 2011 Revision - Check the JPSS MIS Server at https ­External ­ Vol 3 474-00001-03 Effective Date: August 13, 2011 Revision - i Check the JPSS MIS Server

  17. Effective Date: July 5, 2011 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: July 5, 2011 Revision - Check the JPSS MIS Server at https: July 5, 2011 Revision - 2 Check the JPSS MIS Server at https ­External ­ Vol 5 474-00001-05 Effective Date: July 5, 2011 Revision - i Check the JPSS MIS Server at https

  18. No Interference

    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's Possible for Renewable Energy:Nanowire Solar541,9337,2April 2013we have solarstanford

  19. Floquet formulation for the investigation of multiphoton quantum interference in a superconducting qubit driven by a strong ac field

    E-Print Network [OSTI]

    Son, Sang-Kil; Han, Siyuan; Chu, Shih-I

    2009-03-03T23:59:59.000Z

    We present a Floquet treatment of multiphoton quantum interference in a strongly driven superconducting flux qubit. The periodically time-dependent Schrödinger equation can be reduced to an equivalent time-independent infinite-dimensional Floquet...

  20. Self-pollen interference is absent in wild radish (Raphanus raphanistrum, Brassicaceae), a species with sporophytic self-incompatibility

    E-Print Network [OSTI]

    Koelling, Vanessa A.

    2007-04-06T23:59:59.000Z

    plants with a self-incompatibility system. We investigated the effect of self-pollen interference for wild radish, Raphanus raphanistrum, which has sporophytic self-incompatibility. We performed pollinations and determined seed set for plants grown...

  1. Functional Identification of Tumor Suppressor Genes Through an in vivo RNA Interference Screen in a Mouse Lymphoma Model

    E-Print Network [OSTI]

    Bric, Anka

    Short hairpin RNAs (shRNAs) capable of stably suppressing gene function by RNA interference (RNAi) can mimic tumor-suppressor-gene loss in mice. By selecting for shRNAs capable of accelerating lymphomagenesis in a ...

  2. Design and analysis of a scanning beam interference lithography system for patterning gratings with nanometer-level distortions

    E-Print Network [OSTI]

    Konkola, Paul Thomas, 1973-

    2003-01-01T23:59:59.000Z

    This thesis describes the design and analysis of a system for patterning large-area gratings with nanometer level phase distortions. The novel patterning method, termed scanning beam interference lithography (SBIL), uses ...

  3. IEEE TRANSACTIONS ON WIRELESS COMMUNICATIONS, VOL. 10, NO. 11, NOVEMBER 2011 3943 Energy Conservation and Interference Mitigation

    E-Print Network [OSTI]

    Huang, Jianwei

    -optimal transmission rates of the users are independent of the inter-cell interference power. Index Terms--Energy-efficiency on this premise, we derive an interesting decoupling property: if the idle power consumption of terminals

  4. hal-00133055,version1-29Mar2007 Nuclear spin interferences in bulk water at room temperature.

    E-Print Network [OSTI]

    Boyer, Edmond

    hal-00133055,version1-29Mar2007 Nuclear spin interferences in bulk water at room temperature. J in NMR pacs 03.67.-a: Quantum information pacs 67.57.Lm: Spin dynamics Abstract Nuclear spin interference in a static mag- netic field B0 4.7 T. For a homogeneity of B0 of the order of B0/B0 = 2 · 10-8 , the nuclear

  5. Dependence with air density of the response of the PTW SourceCheck ionization chamber for low energy brachytherapy sources

    SciTech Connect (OSTI)

    Tornero-López, Ana M.; Guirado, Damián; Ruiz-Arrebola, Samuel [Servicio de Radiofísica y Protección Radiológica, Hospital Universitario San Cecilio, E-18012 Granada (Spain)] [Servicio de Radiofísica y Protección Radiológica, Hospital Universitario San Cecilio, E-18012 Granada (Spain); Perez-Calatayud, Jose [Servicio de Radioterapia, Unidad de Radiofísica, Hospital Universitario y Politécnico La Fe, E-46026 Valencia (Spain)] [Servicio de Radioterapia, Unidad de Radiofísica, Hospital Universitario y Politécnico La Fe, E-46026 Valencia (Spain); Simancas, Fernando; Lallena, Antonio M. [Departamento de Física Atómica, Molecular y Nuclear, Universidad de Granada, E-18071 Granada (Spain)] [Departamento de Física Atómica, Molecular y Nuclear, Universidad de Granada, E-18071 Granada (Spain); Gazdic-Santic, Maja [Department of Medical Physics and Radiation Safety, Clinical Centre of Sarajevo University, 71000 Sarajevo (Bosnia and Herzegovina)] [Department of Medical Physics and Radiation Safety, Clinical Centre of Sarajevo University, 71000 Sarajevo (Bosnia and Herzegovina)

    2013-12-15T23:59:59.000Z

    Purpose: Air-communicating well ionization chambers are commonly used to assess air kerma strength of sources used in brachytherapy. The signal produced is supposed to be proportional to the air density within the chamber and, therefore, a density-independent air kerma strength is obtained when the measurement is corrected to standard atmospheric conditions using the usual temperature and pressure correction factor. Nevertheless, when assessing low energy sources, the ionization chambers may not fulfill that condition and a residual density dependence still remains after correction. In this work, the authors examined the behavior of the PTW 34051 SourceCheck ionization chamber when measuring the air kerma strength of {sup 125}I seeds.Methods: Four different SourceCheck chambers were analyzed. With each one of them, two series of measurements of the air kerma strength for {sup 125}I selectSeed{sup TM} brachytherapy sources were performed inside a pressure chamber and varying the pressure in a range from 747 to 1040 hPa (560 to 780 mm Hg). The temperature and relative humidity were kept basically constant. An analogous experiment was performed by taking measurements at different altitudes above sea level.Results: Contrary to other well-known ionization chambers, like the HDR1000 PLUS, in which the temperature-pressure correction factor overcorrects the measurements, in the SourceCheck ionization chamber they are undercorrected. At a typical atmospheric situation of 933 hPa (700 mm Hg) and 20 °C, this undercorrection turns out to be 1.5%. Corrected measurements show a residual linear dependence on the density and, as a consequence, an additional density dependent correction must be applied. The slope of this residual linear density dependence is different for each SourceCheck chamber investigated. The results obtained by taking measurements at different altitudes are compatible with those obtained with the pressure chamber.Conclusions: Variations of the altitude and changes in the weather conditions may produce significant density corrections, and that effect should be taken into account. This effect is chamber-dependent, indicating that a specific calibration is necessary for each particular chamber. To our knowledge, this correction has not been considered so far for SourceCheck ionization chambers, but its magnitude cannot be neglected in clinical practice. The atmospheric pressure and temperature at which the chamber was calibrated need to be taken into account, and they should be reported in the calibration certificate. In addition, each institution should analyze the particular response of its SourceCheck ionization chamber and compute the adequate correction factors. In the absence of a suitable pressure chamber, a possibility for this assessment is to take measurements at different altitudes, spanning a wide enough air density range.

  6. Standard practice for the determination of 237Np, 232Th, 235U and 238U in urine by inductively coupled plasma-Mass spectrometry (ICP-MS) and gamma ray spectrometry.

    E-Print Network [OSTI]

    American Society for Testing and Materials. Philadelphia

    2005-01-01T23:59:59.000Z

    1.1 This practice covers the separation and preconcentration of neptunium-237 (237Np), thorium-232 (232Th), uranium-235 (235U) and uranium-238 (238U) from urine followed by quantitation using ICP-MS. 1.2 This practice can be used to support routine bioassay programs. The minimum detectable concentrations (MDC) for this method, taking the preconcentration factor into account, are approximately 1E-2Bq for 237Np (0.38ng), 2E-6Bq for 232Th (0.50ng), 4E-5Bq for 235U (0.50ng) and 6E-6Bq for 238U (0.48ng). 1.3 This standard does not purport to address all of the safety problems, if any, associated with its use. It is the responsibility of the user of this standard to establish appropriate safety and health practices and determine the applicability of regulatory limitations prior to use.

  7. Quantum-ring spin interference device tuned by quantum point contacts

    SciTech Connect (OSTI)

    Diago-Cisneros, Leo [Facultad de Física, Universidad de La Habana, C.P.10400, La Habana (Cuba); Mireles, Francisco [Centro de Nanociencias y Nanotecnología, Universidad Nacional Autónoma de México, C.P. 22800 Ensenada, Baja California, México (Mexico)

    2013-11-21T23:59:59.000Z

    We introduce a spin-interference device that comprises a quantum ring (QR) with three embedded quantum point contacts (QPCs) and study theoretically its spin transport properties in the presence of Rashba spin-orbit interaction. Two of the QPCs conform the lead-to-ring junctions while a third one is placed symmetrically in the upper arm of the QR. Using an appropriate scattering model for the QPCs and the S-matrix scattering approach, we analyze the role of the QPCs on the Aharonov-Bohm (AB) and Aharonov-Casher (AC) conductance oscillations of the QR-device. Exact formulas are obtained for the spin-resolved conductances of the QR-device as a function of the confinement of the QPCs and the AB/AC phases. Conditions for the appearance of resonances and anti-resonances in the spin-conductance are derived and discussed. We predict very distinctive variations of the QR-conductance oscillations not seen in previous QR proposals. In particular, we find that the interference pattern in the QR can be manipulated to a large extend by varying electrically the lead-to-ring topological parameters. The latter can be used to modulate the AB and AC phases by applying gate voltage only. We have shown also that the conductance oscillations exhibits a crossover to well-defined resonances as the lateral QPC confinement strength is increased, mapping the eigenenergies of the QR. In addition, unique features of the conductance arise by varying the aperture of the upper-arm QPC and the Rashba spin-orbit coupling. Our results may be of relevance for promising spin-orbitronics devices based on quantum interference mechanisms.

  8. Interference Peak in the Spectrum of Bremsstrahlung on Two Amorphous Targets

    E-Print Network [OSTI]

    M. V. Bondarenco; N. F. Shul'ga

    2014-06-27T23:59:59.000Z

    We investigate the interference pattern in the spectrum of non-dipole bremsstrahlung on two amorphous foils. Apart from suppression at lowest $\\omega$, the spectrum exhibits an enhancement adjacent to it. In classical electrodynamics, the net effect of suppression and enhancement proves to be zero. We study the location and the origin of the spectral features, comparing predictions of full Moli\\`ere averaging with those of the Gaussian averaging with Coulomb corrections to the rms multiple scattering angle. Comparison with experimental data, and with previous theoretical predictions is presented.

  9. First measurement of interference fragmentation on a transversely polarized hydrogen target

    E-Print Network [OSTI]

    P. B. van der Nat; for the HERMES collaboration

    2005-12-08T23:59:59.000Z

    The HERMES experiment has measured for the first time single target-spin asymmetries in semi-inclusive two-pion production using a transversely polarized hydrogen target. These asymmetries are related to the product of two unknowns, the transversity distribution function and the interference fragmentation function. In the invariant mass range 0.51 GeV < M_inv < 0.97 GeV the measured asymmetry deviates significantly from zero, indicating that two-pion semi-inclusive deep-inelastic scattering can be used to probe transversity.

  10. Assessing cytotoxicity of boron nitride nanotubes: Interference with the MTT assay

    SciTech Connect (OSTI)

    Ciofani, Gianni, E-mail: g.ciofani@sssup.it [Italian Institute of Technology, Smart Materials Lab, Center of MicroBioRobotics at Scuola Superiore Sant'Anna, Viale Rinaldo Piaggio, 34, 56025 Pontedera (Pisa) (Italy)] [Italian Institute of Technology, Smart Materials Lab, Center of MicroBioRobotics at Scuola Superiore Sant'Anna, Viale Rinaldo Piaggio, 34, 56025 Pontedera (Pisa) (Italy); Danti, Serena; D'Alessandro, Delfo [Otology-Cochlear Implants, Cisanello Hospital, Via Paradisa 2, 56124 Pisa (Italy)] [Otology-Cochlear Implants, Cisanello Hospital, Via Paradisa 2, 56124 Pisa (Italy); Moscato, Stefania [Department of Human Morphology and Applied Biology, University of Pisa, Via Roma 55, 56126 Pisa (Italy)] [Department of Human Morphology and Applied Biology, University of Pisa, Via Roma 55, 56126 Pisa (Italy); Menciassi, Arianna [Italian Institute of Technology, Smart Materials Lab, Center of MicroBioRobotics at Scuola Superiore Sant'Anna, Viale Rinaldo Piaggio, 34, 56025 Pontedera (Pisa) (Italy) [Italian Institute of Technology, Smart Materials Lab, Center of MicroBioRobotics at Scuola Superiore Sant'Anna, Viale Rinaldo Piaggio, 34, 56025 Pontedera (Pisa) (Italy); CRIM Lab, Scuola Superiore Sant'Anna, Viale Rinaldo Piaggio, 34, 56025 Pontedera (Pisa) (Italy)

    2010-04-02T23:59:59.000Z

    Thanks to a non-covalent wrapping with glycol-chitosan, highly biocompatible and highly concentrated dispersions of boron nitride nanotubes were obtained and tested on human neuroblastoma cells. A systematic investigation of the cytotoxicity of these nanovectors with several complementary qualitative and quantitative assays allowed a strong interference with the MTT metabolic assay to be highlighted, similar to a phenomenon already observed for carbon nanotubes, that would wrongly suggest toxicity of boron nitride nanotubes. These results confirm the high complexity of these new nanomaterials, and the needing of extensive investigations on their exciting potential applications in the biomedical field.

  11. Loop induced interference effects in Higgs Boson plus two jet production at the LHC.

    E-Print Network [OSTI]

    Andersen, Jeppe R.; Binoth, T.; Heinrich, G.; Smillie, Jennifer M.

    ar X iv :0 70 9. 35 13 v2 [ he p- ph ] 22 Fe b 2 00 8 Cavendish-HEP-07/09 Edinburgh 2007/21 Loop induced interference effects in Higgs Boson plus two jet production at the LHC J. R. Andersena, T. Binothb, G. Heinrichb, J. M. Smilliea a... processes allowed at the one-loop level in Higgs boson plus 2 jet production at the LHC. The corresponding one-loop amplitudes, which have not been considered in the lit- erature so far, are evaluated analytically using dimensional regularisation...

  12. Method and means for detecting optically transmitted signals and establishing optical interference pattern between electrodes

    DOE Patents [OSTI]

    Kostenbauder, A.G.

    1988-06-28T23:59:59.000Z

    A photodetector for detecting signal pulses transmitted in an optical carrier signal relies on the generation of electron-hole pairs and the diffusion of the generated electrons and holes to the electrodes on the surface of the semiconductor detector body for generating photovoltaic pulses. The detector utilizes the interference of optical waves for generating an electron-hole grating within the semiconductor body, and, by establishing an electron-hole pair maximum at one electrode and a minimum at the other electrode, a detectable voltaic pulse is generated across the electrode. 4 figs.

  13. Interference effects during the reradiation of ultrashort electromagnetic pulses by polyatomic systems

    SciTech Connect (OSTI)

    Makarov, D. N.; Matveev, V. I., E-mail: mezon98@mail.ru [Lomonosov Northern (Arctic) Federal University (Russian Federation)

    2013-11-15T23:59:59.000Z

    A theory of the reradiation of ultrashort electromagnetic pulses by arbitrary polyatomic systems of isolated complex atoms has been developed. The technique used allows the spatial inhomogeneity of the field of an ultrashort pulse and photon momenta in reradiation processes to be accurately taken into account. The angular distributions of the reradiation spectra have been obtained for an arbitrary number of atoms in the system. The processes of interference between the photon emission amplitudes are shown to give rise to characteristic “diffraction” maxima. We consider one-dimensional, two-dimensional, and three-dimensional rectangular lattices as examples as well as planar and cylindrical structures as models of planar nanosystems and nanotubes.

  14. Guidelines for Electromagnetic Interference Testing of Power Plant Equipment: Revision 3 to TR-102323

    SciTech Connect (OSTI)

    J. Cunningham and J. Shank

    2004-11-01T23:59:59.000Z

    To continue meeting safety and reliability requirements while controlling costs, operators of nuclear power plants must be able to replace and upgrade equipment in a cost-effective manner. One issue that has been problematic for new plant equipment and especially for digital instrumentation and control (I&C) systems in recent years is electromagnetic compatibility (EMC). The EMC issue usually involves testing to show that critical equipment will not be adversely affected by electromagnetic interference (EMI) in the plant environment. This guide will help nuclear plant engineers address EMC issues and qualification testing in a consistent, comprehensive manner.

  15. Interference effects in the $H(\\rightarrow \\gamma\\gamma) + 2$ jets channel at the LHC

    E-Print Network [OSTI]

    Coradeschi, F; Dixon, L J; Fidanza, N; Hoeche, S; Ita, H; Li, Y; Mazzitelli, J

    2015-01-01T23:59:59.000Z

    We compute the interference between the resonant process $pp\\to H(\\rightarrow \\gamma\\gamma)+2 \\text{ jets}$ and the corresponding continuum background at leading order in QCD. For the Higgs signal, we include gluon fusion (GF) and vector boson fusion (VBF) production channels, while for the background we consider all tree-level contributions, including pure EW effects (${\\cal O}(\\alpha_{QED}^4)$) and QCD contributions (${\\cal O}(\\alpha_{QED}^2 \\alpha_{s}^2)$), plus the loop-induced gluon-initiated process. After convolution with the experimental mass resolution, the main effect of the interference is to shift the position of the mass peak, as in the inclusive GF case studied previously. The apparent mass shift is small in magnitude but strongly dependent on the Higgs width, potentially allowing for a measurement of, or bound on, the width itself. In the $H(\\rightarrow \\gamma\\gamma)+2 \\text{ jets}$ channel, the VBF and GF contributions generate shifts of opposite signs which largely cancel, depending on the se...

  16. Quantum Interference as a Process of Accumulation of Single-Particle Arrivals

    SciTech Connect (OSTI)

    Bozic, Mirjana; Arsenovic, Dusan [Institute of Physics, Belgrade (Serbia and Montenegro)

    2005-10-17T23:59:59.000Z

    Single-particle interference experiments brought new arguments supporting objective reality of matter and photon waves, compatibility of particle and wave properties of quantons, the evidence of existence of particles trajectories during the accumulation of an interference pattern, and the necessity of completing quantum mechanics by the description of single events. By integrating the probability density of transverse momenta multiplied by the probability density of particle distribution at the slits over all transverse momenta and over all slit points, we have derived the expression for the probability density for the particle's arrival at time t to a point behind a grating. The agreement with usual probability density given by the modulus square of the wave function in coordinate representation is very good in the far field. In the near field the agreement is poor. This was demonstrated previously for gratings with a small number of slits, and is demonstrated in our paper for a many-slits grating, where the Talbot Laue effect exists. Further study of the form of particles' trajectories in the near field is necessary. In addition to obtaining agreement with the distribution after many events have been accumulated in the far field, with this approach one might also obtain a distribution of a smaller number of events. For that we do not integrate over all momenta and slit points at the grating, but over randomly chosen ones.

  17. An integrated quantum photonic sensor based on Hong-Ou-Mandel interference

    E-Print Network [OSTI]

    Sahar Basiri-Esfahani; Casey R. Myers; Ardalan Armin; Joshua Combes; Gerard J. Milburn

    2015-06-10T23:59:59.000Z

    Photonic-crystal-based integrated optical systems have been used for a broad range of sensing applications with great success. This has been motivated by several advantages such as high sensitivity, miniaturization, remote sensing, selectivity and stability. Many photonic crystal sensors have been proposed with various fabrication designs that result in improved optical properties. In parallel, integrated optical systems are being pursued as a platform for photonic quantum information processing using linear optics and Fock states. Here we propose a novel integrated Fock state optical sensor architecture that can be used for force, refractive index and possibly local temperature detection. In this scheme, two coupled cavities behave as an "effective beam splitter". The sensor works based on fourth order interference (the Hong-Ou-Mandel effect) and requires a sequence of single photon pulses and consequently has low pulse power. Changes in the parameter to be measured induce variations in the effective beam splitter reflectivity and result in changes to the visibility of interference. We demonstrate this generic scheme in coupled L3 photonic crystal cavities as an example and find that this system, which only relies on photon coincidence detection and does not need any spectral resolution, can estimate forces as small as $10^{-7}$ Newtons and can measure one part per million change in refractive index using a very low input power of $10^{-10}$W. Thus linear optical quantum photonic architectures can achieve comparable sensor performance to semiclassical devices.

  18. On-chip quantum interference between silicon photon-pair sources

    E-Print Network [OSTI]

    Joshua W. Silverstone; Damien Bonneau; Kazuya Ohira; Nob Suzuki; Haruhiko Yoshida; Norio Iizuka; Mizunori Ezaki; Chandra M. Natarajan; Michael G. Tanner; Robert H. Hadfield; Val Zwiller; Graham D. Marshall; John G. Rarity; Jeremy L. O'Brien; Mark G. Thompson

    2014-11-20T23:59:59.000Z

    Large-scale integrated quantum photonic technologies will require the on-chip integration of identical photon sources with reconfigurable waveguide circuits. Relatively complex quantum circuits have already been demonstrated, but few studies acknowledge the pressing need to integrate photon sources and waveguide circuits together on-chip. A key step towards such large-scale quantum technologies is the integration of just two individual photon sources within a waveguide circuit, and the demonstration of high-visibility quantum interference between them. Here, we report a silicon-on-insulator device combining two four-wave mixing sources, in an interferometer with a reconfigurable phase shifter. We configure the device to create and manipulate two-colour (non-degenerate) or same-colour (degenerate), path-entangled or path-unentangled photon pairs. We observe up to 100.0+/-0.4% visibility quantum interference on-chip, and up to 95+/-4% off-chip. Our device removes the need for external photon sources, provides a path to increasing the complexity of quantum photonic circuits, and is a first step towards fully-integrated quantum technologies.

  19. Survey of ambient electromagnetic and radio-frequency interference levels in nuclear power plants

    SciTech Connect (OSTI)

    Kercel, S.W.; Moore, M.R.; Blakeman, E.D.; Ewing, P.D.; Wood, R.T.

    1996-11-01T23:59:59.000Z

    This document reports the results of a survey of ambient electromagnetic conditions in representative nuclear power plants. The U.S. Nuclear Regulatory Commission (NRC) Office of Nuclear Regulatory Research engaged the Oak Ridge National Laboratory (ORNL) to perform these measurements to characterize the electromagnetic interference (EMI) and radio-frequency interference (RFI) levels that can be expected in nuclear power plant environments. This survey is the first of its kind, being based on long-term unattended observations. The data presented in this report were measured at eight different nuclear units and required 14 months to collect. A representative sampling of power plant conditions (reactor type, operating mode, site location) monitored over extended observation periods (up to 5 weeks) were selected to more completely determine the characteristic electromagnetic environment for nuclear power plants. Radiated electric fields were measured over the frequency range of 5 MHz to 8 GHz. Radiated magnetic fields and conducted EMI events were measured over the frequency range of 305 Hz to 5 MHz. Highest strength observations of the electromagnetic ambient environment across all measurement conditions at each site provide frequency-dependent profiles for EMI/RFI levels in nuclear power plants.

  20. An integrated quantum photonic sensor based on Hong-Ou-Mandel interference

    E-Print Network [OSTI]

    Sahar Basiri-Esfahani; Casey R. Myers; Ardalan Armin; Joshua Combes; Gerard J. Milburn

    2015-02-12T23:59:59.000Z

    Photonic-crystal-based integrated optical systems have been used for a broad range of sensing applications with great success. This has been motivated by several advantages such as high sensitivity, miniaturization, remote sensing, selectivity and stability. Many photonic crystal sensors have been proposed with various fabrication designs that result in improved optical properties. Here we propose a novel multi-purpose sensor architecture that can be used for force, refractive index and possibly local temperature detection. In this scheme, two coupled cavities behave as an "effective beam splitter". The sensor works based on fourth order interference (the Hong-Ou-Mandel effect) and requires a sequence of single photon pulses and consequently has low pulse power. Changes in the parameter to be measured induce variations in the effective beam splitter reflectivity and result in changes to the visibility of interference. We demonstrate this generic scheme in coupled L3 photonic crystal cavities as an example and find that this system, which only relies on photon coincidence detection and does not need any spectral resolution, can estimate forces as small as 10^-7 Newtons and can measure one part per million change in refractive index using a very low input power of 10^-10W.

  1. A High-Speed Optical Diagnostic that uses Interference Filters to Measure Doppler Shifts

    SciTech Connect (OSTI)

    S.F. Paul; C. Cates; M. Mauel; D. Maurer; G. Navratil; M. Shilov

    2004-08-09T23:59:59.000Z

    A high-speed, non-invasive velocity diagnostic has been developed for measuring plasma rotation. The Doppler shift is determined by employing two detectors that view line emission from the identical volume of plasma. Each detector views through an interference filter having a passband that varies linearly with wavelength. One detector views the plasma through a filter whose passband has a negative slope and the second detector views through one with a positive slope. Because each channel views the same volume of plasma, the ratio of the amplitudes is not sensitive to variations in plasma emission. With suitable knowledge of the filter characteristics and the relative gain, the Doppler shift is readily obtained in real time from the ratio of two channels without needing a low throughput spectrometer. The systematic errors--arising from temperature drifts, stability, and frequency response of the detectors and amplifiers, interference filter linearity, and ability to thoroughly homogenize the light from the fiber bundle--can be characterized well enough to obtain velocity data with + or - 1 km/sec with a time resolution of 0.3 msec.

  2. Photosensitive response of azobenzene containing films towards pure intensity or polarization interference patterns

    SciTech Connect (OSTI)

    Yadavalli, Nataraja Sekhar; Santer, Svetlana, E-mail: santer@uni-potsdam.de [Department of Experimental Physics, Institute of Physics and Astronomy, University of Potsdam, 14476 Potsdam (Germany); Saphiannikova, Marina [Leibniz Institute of Polymer Research Dresden, 01069 Dresden (Germany)

    2014-08-04T23:59:59.000Z

    In this paper, we report on differences in the response of photosensitive azobenzene containing films upon irradiation with the intensity or polarization interference patterns. Two materials are studied differing in the molecular weight: an azobenzene-containing polymer and a molecular glass formed from a much smaller molecule consisting of three connected azobenzene units. Topography changes occurring along with the changes in irradiation conditions are recorded using a homemade set-up combining an optical part for generation and shaping of interference patterns and an atomic force microscope for acquiring the kinetics of film deformation. In this way, we could reveal the unique behavior of photosensitive materials during the first few minutes of irradiation: the change in topography is initially driven by an increase in the azobenzene free volume along with the trans-cis isomerization, followed by the mass transport finally resulting in the surface relief grating. This study demonstrates the great potential of our setup to experimentally highlight puzzling processes governing the formation of surface relief gratings.

  3. Multi-User MISO Interference Channels with Single-User Detection: Optimality of Beamforming and the Achievable Rate Region

    E-Print Network [OSTI]

    Shang, Xiaohu; Poor, H Vincent

    2009-01-01T23:59:59.000Z

    For a multi-user interference channel with multi-antenna transmitters and single-antenna receivers, by restricting each transmitter to Gaussian input and each receiver to a single-user detector, computing the largest achievable rate region amounts to solving a family of non-convex optimization problems. Recognizing the intrinsic connection between the signal power at the intended receiver and the interference power at the unintended receiver, the original family of non-convex optimization problems is converted into a new family of convex optimization problems. It is shown that, for such interference channels with each receiver implementing single-user detection, transmitter beamforming can achieve all boundary points of the achievable rate region.

  4. Quasiparticle interference, quasiparticle interactions, and the origin of the charge density wave in 2H-NbSe?

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

    Arguello, C. J.; Valla, T.; Rosenthal, E. P.; Andrade, E. F.; Jin, W.; Yeh, P. C.; Zaki, N.; Jia, S.; Cava, R. J.; Fernandes, R. M.; et al

    2015-01-01T23:59:59.000Z

    We show that a small number of intentionally introduced defects can be used as a spectroscopic tool to amplify quasiparticle interference in 2H-NbSe?, that we measure by scanning tunneling spectroscopic imaging. We show from the momentum and energy dependence of the quasiparticle interference that Fermi surface nesting is inconsequential to charge density wave formation in 2H-NbSe?. We demonstrate that by combining quasiparticle interference data with additional knowledge of the quasiparticle band structure from angle resolved photoemission measurements, one can extract the wavevector and energy dependence of the important electronic scattering processes thereby obtaining direct information both about the fermiology andmore »the interactions. In 2H-NbSe?, we use this combination to show that the important near-Fermi-surface electronic physics is dominated by the coupling of the quasiparticles to soft mode phonons at a wave vector different from the CDW ordering wave vector.« less

  5. Quasiparticle interference, quasiparticle interactions, and the origin of the charge density wave in 2H-NbSe?

    SciTech Connect (OSTI)

    Arguello, C. J. [Columbia Univ., New York, NY (United States); Valla, T. [Brookhaven National Lab. (BNL), Upton, NY (United States); Rosenthal, E. P. [Columbia Univ., New York, NY (United States); Andrade, E. F. [Columbia Univ., New York, NY (United States); Jin, W. [Columbia Univ., New York, NY (United States); Yeh, P. C. [Columbia Univ., New York, NY (United States); Zaki, N. [Columbia Univ., New York, NY (United States); Jia, S. [Princeton Univ., NJ (United States); Cava, R. J. [Princeton Univ., NJ (United States); Fernandes, R. M. [Univ., of Minnesota, Minneapolis, MN (United States); Millis, A. J. [Columbia Univ., New York, NY (United States); Osgood, Jr., R. M. [Columbia Univ., New York, NY (United States); Princeton Univ., Princeton, NJ (United States); Pasupathy, A. N. [Columbia Univ., New York, NY (United States)

    2015-01-01T23:59:59.000Z

    We show that a small number of intentionally introduced defects can be used as a spectroscopic tool to amplify quasiparticle interference in 2H-NbSe?, that we measure by scanning tunneling spectroscopic imaging. We show from the momentum and energy dependence of the quasiparticle interference that Fermi surface nesting is inconsequential to charge density wave formation in 2H-NbSe?. We demonstrate that by combining quasiparticle interference data with additional knowledge of the quasiparticle band structure from angle resolved photoemission measurements, one can extract the wavevector and energy dependence of the important electronic scattering processes thereby obtaining direct information both about the fermiology and the interactions. In 2H-NbSe?, we use this combination to show that the important near-Fermi-surface electronic physics is dominated by the coupling of the quasiparticles to soft mode phonons at a wave vector different from the CDW ordering wave vector.

  6. Quasiparticle interference, quasiparticle interactions, and the origin of the charge density wave in 2H-NbSe?

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

    Arguello, C. J. [Columbia Univ., New York, NY (United States); Valla, T. [Brookhaven National Lab. (BNL), Upton, NY (United States); Rosenthal, E. P. [Columbia Univ., New York, NY (United States); Andrade, E. F. [Columbia Univ., New York, NY (United States); Jin, W. [Columbia Univ., New York, NY (United States); Yeh, P. C. [Columbia Univ., New York, NY (United States); Zaki, N. [Columbia Univ., New York, NY (United States); Jia, S. [Princeton Univ., NJ (United States); Cava, R. J. [Princeton Univ., NJ (United States); Fernandes, R. M. [Univ., of Minnesota, Minneapolis, MN (United States); Millis, A. J. [Columbia Univ., New York, NY (United States); Osgood, Jr., R. M. [Columbia Univ., New York, NY (United States); Princeton Univ., Princeton, NJ (United States); Pasupathy, A. N. [Columbia Univ., New York, NY (United States)

    2015-01-01T23:59:59.000Z

    We show that a small number of intentionally introduced defects can be used as a spectroscopic tool to amplify quasiparticle interference in 2H-NbSe?, that we measure by scanning tunneling spectroscopic imaging. We show from the momentum and energy dependence of the quasiparticle interference that Fermi surface nesting is inconsequential to charge density wave formation in 2H-NbSe?. We demonstrate that by combining quasiparticle interference data with additional knowledge of the quasiparticle band structure from angle resolved photoemission measurements, one can extract the wavevector and energy dependence of the important electronic scattering processes thereby obtaining direct information both about the fermiology and the interactions. In 2H-NbSe?, we use this combination to show that the important near-Fermi-surface electronic physics is dominated by the coupling of the quasiparticles to soft mode phonons at a wave vector different from the CDW ordering wave vector.

  7. Interference effects and the use of Higgs boson pair production to study the Higgs trilinear self coupling

    E-Print Network [OSTI]

    Dicus, Duane A; Repko, Wayne W

    2015-01-01T23:59:59.000Z

    We show that the dominant channel proposed for the determination of the Higgs boson trilinear coupling, $pp\\to HH+X$ via gluon fusion, exhibits an interference structure that is independent of the collider energy for collider energies in the range $8\\,{\\rm TeV}\\leq \\sqrt{s}\\leq 100\\,{\\rm TeV}$ and is almost maximally destructive. This insensitivity to the collider energy remains approximately true for a variety of other two Higgs production mechanisms although the magnitude of the interference varies widely.

  8. Weak-Light, Zero to -\\pi Lossless Kerr-Phase Gate in Quantum-well System via Tunneling Interference Effect

    E-Print Network [OSTI]

    Shi, Y L; Wu, J X; Zhu, C J; Xu, J P; Yang, Y P

    2015-01-01T23:59:59.000Z

    We examine a Kerr phase gate in a semiconductor quantum well structure based on the tunnelling interference effect. We show that there exist a specific signal field detuning, at which the absorption/amplification of the probe field will be eliminated with the increase of the tunnelling interference. Simultaneously, the probe field will acquire a -\\pi phase shift at the exit of the medium. We demonstrate with numerical simulations that a complete 180^\\circ phase rotation for the probe field at the exit of the medium is achieved, which may result in many applications in information science and telecommunication.

  9. Coordinated Beamforming for Multiuser MISO Interference Channel under Rate Outage Constraints

    E-Print Network [OSTI]

    Li, Wei-Chiang; Lin, Che; Chi, Chong-Yung

    2011-01-01T23:59:59.000Z

    This paper studies the coordinated beamforming design problem for the multiple-input single-output (MISO) interference channel, assuming only channel distribution information (CDI) at the transmitters. For a given requirement on the rate outage probability for receivers, we aim to maximize the system utility (e.g., the weighted sum rate, weighted proportional fairness rate, and the weighed harmonic mean rate) subject to the rate outage constraints and individual power constraints. The outage constraints, however, lead to a complicated, nonconvex structure for the considered beamforming design problem and make the optimization problem difficult to handle. While this nonconvex optimization problem can be solved in an exhaustive search manner, this brute-force approach is only feasible when the number of transmitter-receiver pairs is small. For a system with a large number of transmitter-receiver pairs, computationally efficient alternatives are necessary. The focus of this paper is hence on the design of such e...

  10. Decentralized Delay Optimal Control for Interference Networks with Limited Renewable Energy Storage

    E-Print Network [OSTI]

    Huang, Huang

    2012-01-01T23:59:59.000Z

    In this paper, we consider delay minimization for interference networks with renewable energy source, where the transmission power of a node comes from both the conventional utility power (AC power) and the renewable energy source. We assume the transmission power of each node is a function of the local channel state, local data queue state and local energy queue state only. In turn, we consider two delay optimization formulations, namely the decentralized partially observable Markov decision process (DEC-POMDP) and Non-cooperative partially observable stochastic game (POSG). In DEC-POMDP formulation, we derive a decentralized online learning algorithm to determine the control actions and Lagrangian multipliers (LMs) simultaneously, based on the policy gradient approach. Under some mild technical conditions, the proposed decentralized policy gradient algorithm converges almost surely to a local optimal solution. On the other hand, in the non-cooperative POSG formulation, the transmitter nodes are non-cooperat...

  11. Optical transmission modules for multi-channel superconducting quantum interference device readouts

    SciTech Connect (OSTI)

    Kim, Jin-Mok, E-mail: jmkim@kriss.re.kr; Kwon, Hyukchan; Yu, Kwon-kyu; Lee, Yong-Ho; Kim, Kiwoong [Brain Cognition Measurement Center, Korea Research Institute of Standards and Science, Daejeon 305-600 (Korea, Republic of)] [Brain Cognition Measurement Center, Korea Research Institute of Standards and Science, Daejeon 305-600 (Korea, Republic of)

    2013-12-15T23:59:59.000Z

    We developed an optical transmission module consisting of 16-channel analog-to-digital converter (ADC), digital-noise filter, and one-line serial transmitter, which transferred Superconducting Quantum Interference Device (SQUID) readout data to a computer by a single optical cable. A 16-channel ADC sent out SQUID readouts data with 32-bit serial data of 8-bit channel and 24-bit voltage data at a sample rate of 1.5 kSample/s. A digital-noise filter suppressed digital noises generated by digital clocks to obtain SQUID modulation as large as possible. One-line serial transmitter reformed 32-bit serial data to the modulated data that contained data and clock, and sent them through a single optical cable. When the optical transmission modules were applied to 152-channel SQUID magnetoencephalography system, this system maintained a field noise level of 3 fT/?Hz @ 100 Hz.

  12. Interference effects in proton scattering on {sup 15}N nuclei at intermediate energies

    SciTech Connect (OSTI)

    Ibraeva, E. T., E-mail: ibr@inp.k [National Nuclear Center of the Republic of Kazakhstan, Institute of Nuclear Physics (Kazakhstan); Zhusupov, M.A.; Imambekov, O. [Al-Farabi Kazakh National University (Kazakhstan); Krassovitskiy, P. M. [National Nuclear Center of the Republic of Kazakhstan, Institute of Nuclear Physics (Kazakhstan)

    2010-08-15T23:59:59.000Z

    The differential cross section for proton scattering on {sup 15}N nuclei is calculated within Glauber diffraction theory at energies of 0.2, 0.6, and 1.0 GeV. Use is made of the shell-model wave function for the {sup 15}N nucleus. The contribution of single and double collisions to the Glauber operator {Omega} is taken into account. The sensitivity of the differential cross sections to the contributions of scattering on nucleons from different shells, to the parameters of the elementary pN amplitude, and to the energy of projectile protons is investigated. It is shown that the interference between amplitudes corresponding to different collision multiplicities, as well as between the amplitudes for scattering on nucleons from different shells, determines special features of the cross section.

  13. Chen's derivative rule revisited: Role of tip-orbital interference in STM

    E-Print Network [OSTI]

    Mándi, G

    2015-01-01T23:59:59.000Z

    On the occasion of its 25th anniversary, we revise Chen's derivative rule for electron tunneling [C.J. Chen, Phys. Rev. B 42, 8841 (1990)] for the purpose of computationally efficient simulations of scanning tunneling microscopy (STM) based on first principles electronic structure data. The revised model allows the weighting of tunneling matrix elements of different tip orbital characters by an arbitrary energy independent choice or based on energy dependent weighting coefficients obtained by an expansion of the tip single electron wavefunctions/density of states projected onto the tip apex atom. Tip-orbital interference in the STM junction is included in the model by construction and can be analyzed quantitatively. As a further advantage, arbitrary tip geometrical orientations are included in the revised model by rotating the coordinate system of the tip apex using Euler angles and redefining the weighting coefficients of the tunneling matrix elements. We demonstrate the reliability of the model by applying ...

  14. Attosecond electron pulses from interference of above-threshold de Broglie waves

    E-Print Network [OSTI]

    Sandor Varro; Gyozo Farkas

    2007-05-02T23:59:59.000Z

    It is shown that the the interference of above-threshold electron de Broglie waves, generated by an intense laser pulse at a metal surface yields attosecond electron pulses. This inerference is an analogon of the superposition of high harmonics generated from rare gas atoms, resulting in trains of attosecond light pulses.Owing to the inherent kinematic dispersion, the propagation of attosecond de Broglie waves in vacuum is very different from that of attosecond light pulses, which propagate without changing shape. Above the metal surface there are "collaps bands" and "revival layers" of the electron current even at macroscopic distances. In the range of parameters considered, the maximum value of the current densities of such ultrashort electron pulses has been estimated to be of order of couple of tenths of milliamps per square centimeters.

  15. Interference Oscillations in the Angular Distribution of Laser-Ionized Electrons near Ionization Threshold

    SciTech Connect (OSTI)

    Arbo, D.G.; Yoshida, S.; Persson, E.; Dimitriou, K.I.; Burgdoerfer, J. [Institute for Theoretical Physics, Vienna University of Technology, Wiedner Hauptstrasse 8-10/136, A-1040 Vienna (Austria)

    2006-04-14T23:59:59.000Z

    We analyze the two-dimensional momentum distribution of electrons ionized by few-cycle laser pulses in the transition regime from multiphoton absorption to tunneling by solving the time-dependent Schroedinger equation and by a classical-trajectory Monte-Carlo simulation with tunneling (CTMC-T). We find a complex two-dimensional interference pattern that resembles above threshold ionization (ATI) rings at higher energies and displays Ramsauer-Townsend-type diffraction oscillations in the angular distribution near threshold. CTMC-T calculations provide a semiclassical explanation for the dominance of selected partial waves. While the present calculation pertains to hydrogen, we find surprising qualitative agreement with recent experimental data for rare gases [A. Rudenko et al., J. Phys. B 37, L407 (2004)].

  16. Preliminary analyses of scenarios for potential human interference for repositories in three salt formations

    SciTech Connect (OSTI)

    Not Available

    1985-10-01T23:59:59.000Z

    Preliminary analyses of scenarios for human interference with the performance of a radioactive waste repository in a deep salt formation are presented. The following scenarios are analyzed: (1) the U-Tube Connection Scenario involving multiple connections between the repository and the overlying aquifer system; (2) the Single Borehole Intrusion Scenario involving penetration of the repository by an exploratory borehole that simultaneously connects the repository with overlying and underlying aquifers; and (3) the Pressure Release Scenario involving inflow of water to saturate any void space in the repository prior to creep closure with subsequent release under near lithostatic pressures following creep closure. The methodology to evaluate repository performance in these scenarios is described and this methodology is applied to reference systems in three candidate formations: bedded salt in the Palo Duro Basin, Texas; bedded salt in the Paradox Basin, Utah; and the Richton Salt Dome, Mississippi, of the Gulf Coast Salt Dome Basin.

  17. A cryogen-free ultralow-field superconducting quantum interference device magnetic resonance imaging system

    SciTech Connect (OSTI)

    Eom, Byeong Ho; Penanen, Konstantin; Hahn, Inseob, E-mail: ihahn@caltech.edu [Jet Propulsion Laboratory, California Institute of Technology, Pasadena, California 91109 (United States)

    2014-09-15T23:59:59.000Z

    Magnetic resonance imaging (MRI) at microtesla fields using superconducting quantum interference device (SQUID) detection has previously been demonstrated, and advantages have been noted. Although the ultralow-field SQUID MRI technique would not need the heavy superconducting magnet of conventional MRI systems, liquid helium required to cool the low-temperature detector still places a significant burden on its operation. We have built a prototype cryocooler-based SQUID MRI system that does not require a cryogen. The SQUID detector and the superconducting gradiometer were cooled down to 3.7 K and 4.3 K, respectively. We describe the prototype design, characterization, a phantom image, and areas of further improvements needed to bring the imaging performance to parity with conventional MRI systems.

  18. Decoherence and Quantum Interference assisted electron trapping in a quantum dot

    E-Print Network [OSTI]

    Ahmed El Halawany; Michael N. Leuenberger

    2013-08-08T23:59:59.000Z

    We present a theoretical model for the dynamics of an electron that gets trapped by means of decoherence and quantum interference in the central quantum dot (QD) of a semiconductor nanoring (NR) made of five QDs, between 100 K and 300 K. The electron's dynamics is described by a master equation with a Hamiltonian based on the tight-binding model, taking into account electron-LO phonon interaction (ELOPI). Based on this configuration, the probability to trap an electron with no decoherence is almost 27%. In contrast, the probability to trap an electron with decoherence is 70% at 100 K, 63% at 200 K and 58% at 300 K. Our model provides a novel method of trapping an electron at room temperature.

  19. S-P wave interference in the K+K- photoproduction on hydrogen

    E-Print Network [OSTI]

    L. Bibrzycki; L. Lesniak; A. P. Szczepaniak

    2005-09-23T23:59:59.000Z

    We have studied the partial wave interference effects to obtain a new information about the contribution of the S-wave to the cross section of the K+K- photoproduction on hydrogen. The K+K- photoproduction channel for the effective masses around 1 GeV is dominated by the phi(1020) resonance with only a small fraction of events coming from decays of scalar resonances f0(980) and a0(980). However, a careful analysis of angular distributions of the outgoing kaons shows that the S-wave adds an asymmetry to the angular distribution of kaons. A fairly precise estimation of the K+K- photoproduction cross section in the S-wave has been obtained.

  20. Assessment and Mitigation of Diagnostic-Generated Electromagnetic Interference at the National Ignition Facility

    SciTech Connect (OSTI)

    Brown, C G; Ayers, M J; Felker, B; Ferguson, W; Holder, J P; Nagel, S R; Piston, K W; Simanovskaia, N; Throop, A L; Chung, M; Hilsabeck, T

    2012-04-20T23:59:59.000Z

    Electromagnetic interference (EMI) is an ever-present challenge at laser facilities such as the National Ignition Facility (NIF). The major source of EMI at such facilities is laser-target interaction that can generate intense electromagnetic fields within, and outside of, the laser target chamber. In addition, the diagnostics themselves can be a source of EMI, even interfering with themselves. In this paper we describe EMI generated by ARIANE and DIXI, present measurements, and discuss effects of the diagnostic-generated EMI on ARIANE's CCD and on a PMT nearby DIXI. Finally we present some of the efforts we have made to mitigate the effects of diagnostic-generated EMI on NIF diagnostics.