Sample records for interference check sample

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  18. ancient geologic samples: 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....

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

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

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

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

  3. Instructions for Apple Leaf Sample Collection.doc September 2013 Instructions for Apple Leaf Sample Collection Vermont

    E-Print Network [OSTI]

    Hayden, Nancy J.

    . MAKE OUT a check or money order payable to UVM, and enclose check, information sheets, and leaf sample, available at most drugstores, for washing and rinsing the samples. Change the water as it becomes dirty

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

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

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

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

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

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

  10. IDENTIFICATION Your Sample Box

    E-Print Network [OSTI]

    Liskiewicz, Maciej

    to Virginia Tech Soil Testing Lab, 145 Smyth Hall (MC 0465), 185 Ag Quad Ln, Blacksburg VA 24061, in sturdy, K, Ca, Mg, Zn, Mn, Cu, Fe, B, and soluble salts) NoCharge $16.00 Organic Matter $4.00 $6.00 Fax with soil sample and form; make check or money order payable to "Treasurer, Virginia Tech." COST PER SAMPLE

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  8. Sampling for Bacteria in Wells 

    E-Print Network [OSTI]

    Lesikar, Bruce J.

    2001-11-15T23:59:59.000Z

    Sampling for Bacteria in Wells E-126 11/01 Water samples for bacteria tests must always be col- lected in a sterile container. The procedure for collect- ing a water sample is as follows: 1. Obtain a sterile container from a Health Department... immediately after collecting water sample. Refrigerate the sample and transport it to the laborato- ry (in an ice chest) as soon after collection as possible (six hours is best, but up to 30 hours). Many labs will not accept bacteria samples on Friday so check...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  5. Experimental Scattershot Boson Sampling

    E-Print Network [OSTI]

    Marco Bentivegna; Nicolò Spagnolo; Chiara Vitelli; Fulvio Flamini; Niko Viggianiello; Ludovico Latmiral; Paolo Mataloni; Daniel J. Brod; Ernesto F. Galvão; Andrea Crespi; Roberta Ramponi; Roberto Osellame; Fabio Sciarrino

    2015-05-14T23:59:59.000Z

    Boson Sampling is a computational task strongly believed to be hard for classical computers, but efficiently solvable by orchestrated bosonic interference in a specialised quantum computer. Current experimental schemes, however, are still insufficient for a convincing demonstration of the advantage of quantum over classical computation. A new variation of this task, Scattershot Boson Sampling, leads to an exponential increase in speed of the quantum device, using a larger number of photon sources based on parametric downconversion. This is achieved by having multiple heralded single photons being sent, shot by shot, into different random input ports of the interferometer. Here we report the first Scattershot Boson Sampling experiments, where six different photon-pair sources are coupled to integrated photonic circuits. We employ recently proposed statistical tools to analyse our experimental data, providing strong evidence that our photonic quantum simulator works as expected. This approach represents an important leap toward a convincing experimental demonstration of the quantum computational supremacy.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  15. Distributed Power Control and Coding-Modulation Adaptation in Wireless Networks using Annealed Gibbs Sampling

    E-Print Network [OSTI]

    Zhou, Shan; Ying, Lei

    2011-01-01T23:59:59.000Z

    In wireless networks, the transmission rate of a link is determined by received signal strength, interference from simultaneous transmissions, and available coding-modulation schemes. Rate allocation is a key problem in wireless network design, but a very challenging problem because: (i) wireless interference is global, i.e., a transmission interferes all other simultaneous transmissions, and (ii) the rate-power relation is non-convex and non-continuous, where the discontinuity is due to limited number of coding-modulation choices in practical systems. In this paper, we propose a distributed power control and coding-modulation adaptation algorithm using annealed Gibbs sampling, which achieves throughput optimality in an arbitrary network topology. We consider a realistic Signal-to-Interference-and-Noise-Ratio (SINR) based interference model, and assume continuous power space and finite rate options (coding-modulation choices). Our algorithm first decomposes network-wide interference to local interference by p...

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

  17. Sampling box

    DOE Patents [OSTI]

    Phillips, Terrance D. (617 Chestnut Ct., Aiken, SC 29803); Johnson, Craig (100 Midland Rd., Oak Ridge, TN 37831-0895)

    2000-01-01T23:59:59.000Z

    An air sampling box that uses a slidable filter tray and a removable filter cartridge to allow for the easy replacement of a filter which catches radioactive particles is disclosed.

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

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

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

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

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

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

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

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

  6. Getting the Best Out of Fluid Samples John M. Williams, SPE, Science Support Services

    E-Print Network [OSTI]

    Williams, John M.

    essentially involves collecting surface samples of the oil and gas from the production test separator, bottomhole samples from the wellbore, or both types of samples. For separator gas samples, the quality checks are (1) determination of opening pressure; (2) compositional analysis, including air content; and (3

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  19. Alpha-recoil tracks in natural dark mica: Dating geological samples by optical and scanning force microscopy

    E-Print Network [OSTI]

    -differential-interference-contrast microscopy; Scanning force microscopy; Natural radiation damage 1. Introduction Alpha-recoil tracks (ARTsAlpha-recoil tracks in natural dark mica: Dating geological samples by optical and scanning force

  20. LCLS Sample Preparation Laboratory | Sample Preparation Laboratories

    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)Integrated Codes |Is Your Home asLCLS Experimental Run Schedules Check-In |

  1. Sampling diffusive transition paths

    E-Print Network [OSTI]

    F. Miller III, Thomas

    2009-01-01T23:59:59.000Z

    Sampling di?usive transition paths Thomas F. Miller III ?the algorithm to sample the transition path ensemble for thedynamics I. INTRODUCTION Transition path sampling (TPS) is a

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

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

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

  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. Stringent and efficient assessment of Boson-Sampling devices

    E-Print Network [OSTI]

    Malte C. Tichy; Klaus Mayer; Andreas Buchleitner; Klaus Mølmer

    2014-07-11T23:59:59.000Z

    Boson-Sampling holds the potential to experimentally falsify the Extended Church Turing thesis. The computational hardness of Boson-Sampling, however, complicates the certification that an experimental device yields correct results in the regime in which it outmatches classical computers. To certify a boson-sampler, one needs to verify quantum predictions and rule out models that yield these predictions without true many-boson interference. We show that a semiclassical model for many-boson propagation reproduces coarse-grained observables that were proposed as witnesses of Boson-Sampling. A test based on Fourier matrices is demonstrated to falsify physically plausible alternatives to coherent many-boson propagation.

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

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

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

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

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

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

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

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

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

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

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

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

  9. ESPC IDIQ Contract Sample

    Broader source: Energy.gov [DOE]

    Document displays a sample indefinite delivery, indefinite quantity (IDIQ) energy savings performance contract (ESPC).

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

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

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

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

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

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

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

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

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

  19. Rain sampling device

    DOE Patents [OSTI]

    Nelson, D.A.; Tomich, S.D.; Glover, D.W.; Allen, E.V.; Hales, J.M.; Dana, M.T.

    1991-05-14T23:59:59.000Z

    The present invention constitutes a rain sampling device adapted for independent operation at locations remote from the user which allows rainfall to be sampled in accordance with any schedule desired by the user. The rain sampling device includes a mechanism for directing wet precipitation into a chamber, a chamber for temporarily holding the precipitation during the process of collection, a valve mechanism for controllably releasing samples of the precipitation from the chamber, a means for distributing the samples released from the holding chamber into vessels adapted for permanently retaining these samples, and an electrical mechanism for regulating the operation of the device. 11 figures.

  20. Rain sampling device

    DOE Patents [OSTI]

    Nelson, Danny A. (Richland, WA); Tomich, Stanley D. (Richland, WA); Glover, Donald W. (Prosser, WA); Allen, Errol V. (Benton City, WA); Hales, Jeremy M. (Kennewick, WA); Dana, Marshall T. (Richland, WA)

    1991-01-01T23:59:59.000Z

    The present invention constitutes a rain sampling device adapted for independent operation at locations remote from the user which allows rainfall to be sampled in accordance with any schedule desired by the user. The rain sampling device includes a mechanism for directing wet precipitation into a chamber, a chamber for temporarily holding the precipitation during the process of collection, a valve mechanism for controllably releasing samples of said precipitation from said chamber, a means for distributing the samples released from the holding chamber into vessels adapted for permanently retaining these samples, and an electrical mechanism for regulating the operation of the device.

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

  2. COMPUTER SCIENCE SAMPLE PROGRAM

    E-Print Network [OSTI]

    Gering, Jon C.

    COMPUTER SCIENCE SAMPLE PROGRAM (First Math Course MATH 198) This sample program suggests one way CS 181: Foundations of Computer Science II CS 180: Foundations of Computer Science I CS 191

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

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

  5. Data report for elemental analysis of IMPROVE samples collected during JANUARY, FEBRUARY AND MARCH 2005

    E-Print Network [OSTI]

    Fischer, Emily V.

    (Na-Zr and Pb) using an energy dispersive X-ray fluorescence systems (XRF). Two XRF systems, the resolution of the Si(Li) detectors in the XRF systems is frequently checked using an Fe-55 source. Results samples. Three new calibrations were performed on the XRF-Cu system to account for modifications

  6. Data report for elemental analysis of IMPROVE samples collected during JANUARY, FEBRUARY AND MARCH 2005

    E-Print Network [OSTI]

    Fischer, Emily V.

    (Na-Zr and Pb) using anenergy dispersive X-ray fluorescence systems (XRF). Two XRF systems, the resolution of the Si(Li) [detectors in the Mo-anode XRF systems] is frequently checked using an Fe-55 source samples. Three new calibrations were performed on the XRF-Cu system to account for modifications

  7. RAPID DETERMINATION OF RA-226 IN ENVIRONMENTAL SAMPLES

    SciTech Connect (OSTI)

    Maxwell, S.

    2012-01-03T23:59:59.000Z

    A new rapid method for the determination of {sup 226}Ra in environmental samples has been developed at the Savannah River Site Environmental Lab (Aiken, SC, USA) that can be used for emergency response or routine sample analyses. The need for rapid analyses in the event of a Radiological Dispersive Device or Improvised Nuclear Device event is well-known. In addition, the recent accident at Fukushima Nuclear Power Plant in March, 2011 reinforces the need to have rapid analyses for radionuclides in environmental samples in the event of a nuclear accident. {sup 226}Ra (T1/2 = 1,620 years) is one of the most toxic of the long-lived alpha-emitters present in the environment due to its long life and its tendency to concentrate in bones, which increases the internal radiation dose of individuals. The new method to determine {sup 226}Ra in environmental samples utilizes a rapid sodium hydroxide fusion method for solid samples, calcium carbonate precipitation to preconcentrate Ra, and rapid column separation steps to remove interferences. The column separation process uses cation exchange resin to remove large amounts of calcium, Sr Resin to remove barium and Ln Resin as a final purification step to remove {sup 225}Ac and potential interferences. The purified {sup 226}Ra sample test sources are prepared using barium sulfate microprecipitation in the presence of isopropanol for counting by alpha spectrometry. The method showed good chemical recoveries and effective removal of interferences. The determination of {sup 226}Ra in environmental samples can be performed in less than 16 h for vegetation, concrete, brick, soil, and air filter samples with excellent quality for emergency or routine analyses. The sample preparation work takes less than 6 h. {sup 225}Ra (T1/2 = 14.9 day) tracer is used and the {sup 225}Ra progeny {sup 217}At is used to determine chemical yield via alpha spectrometry. The rapid fusion technique is a rugged sample digestion method that ensures that any refractory radium particles are effectively digested. The preconcentration and column separation steps can also be applied to aqueous samples with good results.

  8. Trench sampling report Salmon Site Lamar County, Mississippi

    SciTech Connect (OSTI)

    Not Available

    1994-07-01T23:59:59.000Z

    This report describes trench excavation and sample-collection activities conducted by IT Corporation (IT) as part of the ongoing Remedial Investigation and Feasibility Study at the Salmon Site, Lamar County, Mississippi (DOE, 1992). During construction, operation, and closure of the site wastes of unknown composition were buried in pits on site. Surface-geophysical field investigations were conducted intermittently between November 1992 and October 1993 to identify potential waste-burial sites and buried metallic materials. The geophysical investigations included vertical magnetic gradient, electromagnetic conductivity, electromagnetic in-phase component, and ground-penetrating radar surveys. A number of anomalies identified by the magnetic gradiometer survey in the Reynolds Electrical & Engineering Co., Inc., (REECo) pits area indicated buried metallic objects. All of the anomalies were field checked to determine if any were caused by surface features or debris. After field checking, 17 anomalies were still unexplained; trenching was planned to attempt to identify their sources. Between December 8, 1993, and December 17, 1993, 15 trenches were excavated and soil samples were collected at the anomalies. Samples were collected, placed in 250- and 500-milliliter (m{ell}) amber glass containers, and shipped on ice to IT Analytical Services (ITAS) in St. Louis, Missouri, using standard IT chain-of-custody procedures. The samples were analyzed for various chemical and radiological parameters. Data validation has not been conducted on any of the samples. During excavation and sampling, soil samples were also collected by IT for the MSDEQ and the Mississippi Department of Radiological Health, in accordance with their instructions, and delivered into their custody.

  9. Sampling system and method

    DOE Patents [OSTI]

    Decker, David L.; Lyles, Brad F.; Purcell, Richard G.; Hershey, Ronald Lee

    2013-04-16T23:59:59.000Z

    The present disclosure provides an apparatus and method for coupling conduit segments together. A first pump obtains a sample and transmits it through a first conduit to a reservoir accessible by a second pump. The second pump further conducts the sample from the reservoir through a second conduit.

  10. Rehabilitation Services Sample Occupations

    E-Print Network [OSTI]

    Ronquist, Fredrik

    /Industries Correction Agencies Drug Treatment Centers Addiction Counselor Advocacy Occupations Art Therapist BehavioralRehabilitation Services Sample Occupations Sample Work Settings Child & Day Care Centers Clinics................................ IIB 29-1000 E4 Careers in Counseling and Human Services .........IIB 21-1010 C7 Careers in Health Care

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

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

  13. Waste classification sampling plan

    SciTech Connect (OSTI)

    Landsman, S.D.

    1998-05-27T23:59:59.000Z

    The purpose of this sampling is to explain the method used to collect and analyze data necessary to verify and/or determine the radionuclide content of the B-Cell decontamination and decommissioning waste stream so that the correct waste classification for the waste stream can be made, and to collect samples for studies of decontamination methods that could be used to remove fixed contamination present on the waste. The scope of this plan is to establish the technical basis for collecting samples and compiling quantitative data on the radioactive constituents present in waste generated during deactivation activities in B-Cell. Sampling and radioisotopic analysis will be performed on the fixed layers of contamination present on structural material and internal surfaces of process piping and tanks. In addition, dose rate measurements on existing waste material will be performed to determine the fraction of dose rate attributable to both removable and fixed contamination. Samples will also be collected to support studies of decontamination methods that are effective in removing the fixed contamination present on the waste. Sampling performed under this plan will meet criteria established in BNF-2596, Data Quality Objectives for the B-Cell Waste Stream Classification Sampling, J. M. Barnett, May 1998.

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

  15. RAPID DETERMINATION OF RADIOSTRONTIUM IN SEAWATER SAMPLES

    SciTech Connect (OSTI)

    Maxwell, S.

    2013-01-16T23:59:59.000Z

    A new method for the determination of radiostrontium in seawater samples has been developed at the Savannah River National Laboratory (SRNL) that allows rapid preconcentration and separation of strontium and yttrium isotopes in seawater samples for measurement. The new SRNL method employs a novel and effective pre-concentration step that utilizes a blend of calcium phosphate with iron hydroxide to collect both strontium and yttrium rapidly from the seawater matrix with enhanced chemical yields. The pre-concentration steps, in combination with rapid Sr Resin and DGA Resin cartridge separation options using vacuum box technology, allow seawater samples up to 10 liters to be analyzed. The total {sup 89}Sr + {sup 90}Sr activity may be determined by gas flow proportional counting and recounted after ingrowth of {sup 90}Y to differentiate {sup 89}Sr from {sup 90}Sr. Gas flow proportional counting provides a lower method detection limit than liquid scintillation or Cerenkov counting and allows simultaneous counting of samples. Simultaneous counting allows for longer count times and lower method detection limits without handling very large aliquots of seawater. Seawater samples up to 6 liters may be analyzed using Sr Resin for {sup 89}Sr and {sup 90}Sr with a Minimum Detectable Activity (MDA) of 1-10 mBq/L, depending on count times. Seawater samples up to 10 liters may be analyzed for {sup 90}Sr using a DGA Resin method via collection and purification of {sup 90}Y only. If {sup 89}Sr and other fission products are present, then {sup 91}Y (beta energy 1.55 MeV, 58.5 day half-life) is also likely to be present. {sup 91}Y interferes with attempts to collect {sup 90}Y directly from the seawater sample without initial purification of Sr isotopes first and {sup 90}Y ingrowth. The DGA Resin option can be used to determine {sup 90}Sr, and if {sup 91}Y is also present, an ingrowth option with using DGA Resin again to collect {sup 90}Y can be performed. An MDA for {sup 90}Sr of <1 mBq/L for an 8 hour count may be obtained using 10 liter seawater sample aliquots.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  5. Sample Changes and Issues

    Annual Energy Outlook 2013 [U.S. Energy Information Administration (EIA)]

    EIA-914 Survey and HPDI. Figure 2 shows how this could change apparent production. The blue line shows the reported sample production as it would normally be reported under the...

  6. Water Sample Concentrator

    ScienceCinema (OSTI)

    Idaho National Laboratory

    2010-01-08T23:59:59.000Z

    Automated portable device that concentrates and packages a sample of suspected contaminated water for safe, efficient transport to a qualified analytical laboratory. This technology will help safeguard against pathogen contamination or chemical and biolog

  7. Dissolution actuated sample container

    DOE Patents [OSTI]

    Nance, Thomas A.; McCoy, Frank T.

    2013-03-26T23:59:59.000Z

    A sample collection vial and process of using a vial is provided. The sample collection vial has an opening secured by a dissolvable plug. When dissolved, liquids may enter into the interior of the collection vial passing along one or more edges of a dissolvable blocking member. As the blocking member is dissolved, a spring actuated closure is directed towards the opening of the vial which, when engaged, secures the vial contents against loss or contamination.

  8. SAMPLING AND ANALYSIS PROTOCOLS

    SciTech Connect (OSTI)

    Jannik, T; P Fledderman, P

    2007-02-09T23:59:59.000Z

    Radiological sampling and analyses are performed to collect data for a variety of specific reasons covering a wide range of projects. These activities include: Effluent monitoring; Environmental surveillance; Emergency response; Routine ambient monitoring; Background assessments; Nuclear license termination; Remediation; Deactivation and decommissioning (D&D); and Waste management. In this chapter, effluent monitoring and environmental surveillance programs at nuclear operating facilities and radiological sampling and analysis plans for remediation and D&D activities will be discussed.

  9. TANK 5 SAMPLING

    SciTech Connect (OSTI)

    Vrettos, N; William Cheng, W; Thomas Nance, T

    2007-11-26T23:59:59.000Z

    Tank 5 at the Savannah River Site has been used to store high level waste and is currently undergoing waste removal processes in preparation for tank closure. Samples were taken from two locations to determine the contents in support of Documented Safety Analysis (DSA) development for chemical cleaning. These samples were obtained through the use of the Drop Core Sampler and the Snowbank Sampler developed by the Engineered Equipment & Systems (EES) group of the Savannah River National Laboratory (SRNL).

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

  11. Liquid sampling system

    DOE Patents [OSTI]

    Larson, L.L.

    1984-09-17T23:59:59.000Z

    A conduit extends from a reservoir through a sampling station and back to the reservoir in a closed loop. A jet ejector in the conduit establishes suction for withdrawing liquid from the reservoir. The conduit has a self-healing septum therein upstream of the jet ejector for receiving one end of a double-ended cannula, the other end of which is received in a serum bottle for sample collection. Gas is introduced into the conduit at a gas bleed between the sample collection bottle and the reservoir. The jet ejector evacuates gas from the conduit and the bottle and aspirates a column of liquid from the reservoir at a high rate. When the withdrawn liquid reaches the jet ejector the rate of flow therethrough reduces substantially and the gas bleed increases the pressure in the conduit for driving liquid into the sample bottle, the gas bleed forming a column of gas behind the withdrawn liquid column and interrupting the withdrawal of liquid from the reservoir. In the case of hazardous and toxic liquids, the sample bottle and the jet ejector may be isolated from the reservoir and may be further isolated from a control station containing remote manipulation means for the sample bottle and control valves for the jet ejector and gas bleed. 5 figs.

  12. Liquid sampling system

    DOE Patents [OSTI]

    Larson, Loren L. (Idaho Falls, ID)

    1987-01-01T23:59:59.000Z

    A conduit extends from a reservoir through a sampling station and back to the reservoir in a closed loop. A jet ejector in the conduit establishes suction for withdrawing liquid from the reservoir. The conduit has a self-healing septum therein upstream of the jet ejector for receiving one end of a double-ended cannula, the other end of which is received in a serum bottle for sample collection. Gas is introduced into the conduit at a gas bleed between the sample collection bottle and the reservoir. The jet ejector evacuates gas from the conduit and the bottle and aspirates a column of liquid from the reservoir at a high rate. When the withdrawn liquid reaches the jet ejector the rate of flow therethrough reduces substantially and the gas bleed increases the pressure in the conduit for driving liquid into the sample bottle, the gas bleed forming a column of gas behind the withdrawn liquid column and interrupting the withdrawal of liquid from the reservoir. In the case of hazardous and toxic liquids, the sample bottle and the jet ejector may be isolated from the reservoir and may be further isolated from a control station containing remote manipulation means for the sample bottle and control valves for the jet ejector and gas bleed.

  13. PreparationSampleGuide:StartQuickISX Sample Preparation Guide

    E-Print Network [OSTI]

    straining the sample through a 70 micron nylon mesh strainer. If sample aggregation is a problem, we suggest

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

  15. RAPID DETERMINATION OF {sup 210} PO IN WATER SAMPLES

    SciTech Connect (OSTI)

    Maxwell, S.

    2013-05-22T23:59:59.000Z

    A new rapid method for the determination of {sup 210}Po in water samples has been developed at the Savannah River National Laboratory (SRNL) that can be used for emergency response or routine water analyses. If a radiological dispersive device (RDD) event or a radiological attack associated with drinking water supplies occurs, there will be an urgent need for rapid analyses of water samples, including drinking water, ground water and other water effluents. Current analytical methods for the assay of {sup 210}Po in water samples have typically involved spontaneous auto-deposition of {sup 210}Po onto silver or other metal disks followed by counting by alpha spectrometry. The auto-deposition times range from 90 minutes to 24 hours or more, at times with yields that may be less than desirable. If sample interferences are present, decreased yields and degraded alpha spectrums can occur due to unpredictable thickening in the deposited layer. Separation methods have focused on the use of Sr Resin?, often in combination with 210Pb analysis. A new rapid method for {sup 210}Po in water samples has been developed at the Savannah River National Laboratory (SRNL) that utilizes a rapid calcium phosphate co-precipitation method, separation using DGA Resin? (N,N,N?,N? tetraoctyldiglycolamide extractant-coated resin, Eichrom Technologies or Triskem-International), followed by rapid microprecipitation of {sup 210}Po using bismuth phosphate for counting by alpha spectrometry. This new method can be performed quickly with excellent removal of interferences, high chemical yields and very good alpha peak resolution, eliminating any potential problems with the alpha source preparation for emergency or routine samples. A rapid sequential separation method to separate {sup 210} Po and actinide isotopes was also developed. This new approach, rapid separation with DGA Resin plus microprecipitation for alpha source preparation, is a significant advance in radiochemistry for the rapid determination of {sup 210}Po.

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

  17. Fluid sampling system

    DOE Patents [OSTI]

    Houck, E.D.

    1994-10-11T23:59:59.000Z

    An fluid sampling system allows sampling of radioactive liquid without spillage. A feed tank is connected to a liquid transfer jet powered by a pumping chamber pressurized by compressed air. The liquid is pumped upwardly into a sampling jet of a venturi design having a lumen with an inlet, an outlet, a constricted middle portion, and a port located above the constricted middle portion. The liquid is passed under pressure through the constricted portion causing its velocity to increase and its pressure to be decreased, thereby preventing liquid from escaping. A septum sealing the port can be pierced by a two pointed hollow needle leading into a sample bottle also sealed by a pierceable septum affixed to one end. The bottle is evacuated by flow through the sample jet, cyclic variation in the sampler jet pressure periodically leaves the evacuated bottle with lower pressure than that of the port, thus causing solution to pass into the bottle. The remaining solution in the system is returned to the feed tank via a holding tank. 4 figs.

  18. Fluid sampling system

    DOE Patents [OSTI]

    Houck, Edward D. (Idaho Falls, ID)

    1994-01-01T23:59:59.000Z

    An fluid sampling system allows sampling of radioactive liquid without spillage. A feed tank is connected to a liquid transfer jet powered by a pumping chamber pressurized by compressed air. The liquid is pumped upwardly into a sampling jet of a venturi design having a lumen with an inlet, an outlet, a constricted middle portion, and a port located above the constricted middle portion. The liquid is passed under pressure through the constricted portion causing its velocity to increase and its pressure to decreased, thereby preventing liquid from escaping. A septum sealing the port can be pierced by a two pointed hollow needle leading into a sample bottle also sealed by a pierceable septum affixed to one end. The bottle is evacuated by flow through the sample jet, cyclic variation in the sampler jet pressure periodically leaves the evacuated bottle with lower pressure than that of the port, thus causing solution to pass into the bottle. The remaining solution in the system is returned to the feed tank via a holding tank.

  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. Viscous sludge sample collector

    DOE Patents [OSTI]

    Beitel, George A [Richland, WA

    1983-01-01T23:59:59.000Z

    A vertical core sample collection system for viscous sludge. A sample tube's upper end has a flange and is attached to a piston. The tube and piston are located in the upper end of a bore in a housing. The bore's lower end leads outside the housing and has an inwardly extending rim. Compressed gas, from a storage cylinder, is quickly introduced into the bore's upper end to rapidly accelerate the piston and tube down the bore. The lower end of the tube has a high sludge entering velocity to obtain a full-length sludge sample without disturbing strata detail. The tube's downward motion is stopped when its upper end flange impacts against the bore's lower end inwardly extending rim.

  3. Reliability checks on the Indo-US Stellar Spectral Library using Artificial Neural Networks and Principal Component Analysis

    E-Print Network [OSTI]

    Harinder P. Singh; Manabu Yuasa; Nawo Yamamoto; Ranjan Gupta

    2005-12-21T23:59:59.000Z

    The Indo-US coud\\'{e} feed stellar spectral library (CFLIB) made available to the astronomical community recently by Valdes et al. (2004) contains spectra of 1273 stars in the spectral region 3460 to 9464 \\AA at a high resolution of 1 \\AA FWHM and a wide range of spectral types. Cross-checking the reliability of this database is an important and desirable exercise since a number of stars in this database have no known spectral types and a considerable fraction of stars has not so complete coverage in the full wavelength region of 3460-9464 \\AA resulting in gaps ranging from a few \\AA to several tens of \\AA. In this paper, we use an automated classification scheme based on Artificial Neural Networks (ANN) to classify all 1273 stars in the database. In addition, principal component analysis (PCA) is carried out to reduce the dimensionality of the data set before the spectra are classified by the ANN. Most importantly, we have successfully demonstrated employment of a variation of the PCA technique to restore the missing data in a sample of 300 stars out of the CFLIB.

  4. Environmental Science: Sample Pathway

    E-Print Network [OSTI]

    Goldberg, Bennett

    Environmental Science: Sample Pathway Semester I Semester II Freshman Year CGS Core CGS Core GE 100 & 124) MA 115 Statistics Summer Environmental Internship Junior Year CH 171 Chem for Health Sciences CH in Environmental Sciences is 17 courses. Courses taken to satisfy CAS major requirements (required, principal, core

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  13. Method and apparatus for the preparation of liquid samples for determination of boron

    DOE Patents [OSTI]

    Siemer, Darryl D. (Idaho Falls, ID)

    1986-01-01T23:59:59.000Z

    A method and apparatus for the preparation of a liquid sample for the quantitative determination of boron by flame photometry. The sample is combined in a vessel with sulfuric acid, and an excess of methanol is added thereto. The methanol reacts with any boron present in the sample to form trimethyl borate which is volatilized by the heat of reaction between the excess methanol and sulfuric acid. The volatilized trimethyl borate is withdrawn from the vessel by either a partial vacuum or a positive pressure and is rapidly transferred to a standard flame photometer. The method is free of interference from typical boron concomitants.

  14. Characterization of sampling cyclones

    E-Print Network [OSTI]

    Moore, Murray Edward

    1986-01-01T23:59:59.000Z

    Farland, who' provided an excellent opportunity for the enhancement of my engineering career. To Dr. Best for his patient snd competent assistance in this project. To Dr. Parish who gave his service to my graduate committee. To Bob DeOtte and Carlos Ortiz... in air sampling standards, several different samplers have been developed which utilize either inertial impaction or cyclonic flow fractionation techniques. For example, a 10 pm cutpoint size selective inlet was developed by McFarland, Ortiz...

  15. Post-Award Deliverables Sample (Second Part of Sample Deliverables...

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

    samplereptgrqmts.doc More Documents & Publications ESPC Sample Deliverables for Task Orders (IDIQ Attachment. J-4) Sample Statement of Work - Standard Service Offerings for...

  16. RAPID METHOD FOR DETERMINATION OF RADIOSTRONTIUM IN EMERGENCY MILK SAMPLES

    SciTech Connect (OSTI)

    Maxwell, S.; Culligan, B.

    2008-07-17T23:59:59.000Z

    A new rapid separation method for radiostrontium in emergency milk samples was developed at the Savannah River Site (SRS) Environmental Bioassay Laboratory (Aiken, SC, USA) that will allow rapid separation and measurement of Sr-90 within 8 hours. The new method uses calcium phosphate precipitation, nitric acid dissolution of the precipitate to coagulate residual fat/proteins and a rapid strontium separation using Sr Resin (Eichrom Technologies, Darien, IL, USA) with vacuum-assisted flow rates. The method is much faster than previous method that use calcination or cation exchange pretreatment, has excellent chemical recovery, and effectively removes beta interferences. When a 100 ml sample aliquot is used, the method has a detection limit of 0.5 Bq/L, well below generic emergency action levels.

  17. Decoupled Sampling for Graphics Pipelines

    E-Print Network [OSTI]

    Ragan-Kelley, Jonathan Millar

    We propose a generalized approach to decoupling shading from visibility sampling in graphics pipelines, which we call decoupled sampling. Decoupled sampling enables stochastic supersampling of motion and defocus blur at ...

  18. Fluid sampling apparatus and method

    DOE Patents [OSTI]

    Yeamans, David R. (Los Alamos, NM)

    1998-01-01T23:59:59.000Z

    Incorporation of a bellows in a sampling syringe eliminates ingress of contaminants, permits replication of amounts and compression of multiple sample injections, and enables remote sampling for off-site analysis.

  19. Fluid sampling apparatus and method

    DOE Patents [OSTI]

    Yeamans, D.R.

    1998-02-03T23:59:59.000Z

    Incorporation of a bellows in a sampling syringe eliminates ingress of contaminants, permits replication of amounts and compression of multiple sample injections, and enables remote sampling for off-site analysis. 3 figs.

  20. Soil sampling kit and a method of sampling therewith

    DOE Patents [OSTI]

    Thompson, Cyril V. (Knoxville, TN)

    1991-01-01T23:59:59.000Z

    A soil sampling device and a sample containment device for containing a soil sample is disclosed. In addition, a method for taking a soil sample using the soil sampling device and soil sample containment device to minimize the loss of any volatile organic compounds contained in the soil sample prior to analysis is disclosed. The soil sampling device comprises two close fitting, longitudinal tubular members of suitable length, the inner tube having the outward end closed. With the inner closed tube withdrawn a selected distance, the outer tube can be inserted into the ground or other similar soft material to withdraw a sample of material for examination. The inner closed end tube controls the volume of the sample taken and also serves to eject the sample. The soil sample containment device has a sealing member which is adapted to attach to an analytical apparatus which analyzes the volatile organic compounds contained in the sample. The soil sampling device in combination with the soil sample containment device allow an operator to obtain a soil sample containing volatile organic compounds and minimizing the loss of the volatile organic compounds prior to analysis of the soil sample for the volatile organic compounds.

  1. Soil sampling kit and a method of sampling therewith

    DOE Patents [OSTI]

    Thompson, C.V.

    1991-02-05T23:59:59.000Z

    A soil sampling device and a sample containment device for containing a soil sample is disclosed. In addition, a method for taking a soil sample using the soil sampling device and soil sample containment device to minimize the loss of any volatile organic compounds contained in the soil sample prior to analysis is disclosed. The soil sampling device comprises two close fitting, longitudinal tubular members of suitable length, the inner tube having the outward end closed. With the inner closed tube withdrawn a selected distance, the outer tube can be inserted into the ground or other similar soft material to withdraw a sample of material for examination. The inner closed end tube controls the volume of the sample taken and also serves to eject the sample. The soil sample containment device has a sealing member which is adapted to attach to an analytical apparatus which analyzes the volatile organic compounds contained in the sample. The soil sampling device in combination with the soil sample containment device allows an operator to obtain a soil sample containing volatile organic compounds and minimizing the loss of the volatile organic compounds prior to analysis of the soil sample for the volatile organic compounds. 11 figures.

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

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

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

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

  6. Superconducting quantum interference devices based set-up for probing current noise and correlations in three-terminal devices

    SciTech Connect (OSTI)

    Pfeffer, A. H.; Kaviraj, B.; Coupiac, O.; Lefloch, F. [SPSMS/LaTEQS, UMR-E 9001, CEA-INAC, and Universite Joseph Fourier, Grenoble (France)

    2012-11-15T23:59:59.000Z

    We have implemented a new experimental set-up for precise measurements of current fluctuations in three-terminal devices. The system operates at very low temperatures (30 mK) and is equipped with three superconducting quantum interference devices (SQUIDs) as low noise current amplifiers. A SQUID input coil is connected to each terminal of a sample allowing the acquisition of time-dependent current everywhere in the circuit. From these traces, we can measure the current mean value, the noise, and cross-correlations between different branches of a device. In this paper, we present calibration results of noise and cross-correlations obtained using low impedance macroscopic resistors. From these results, we can extract the noise level of the set-up and show that there are no intrinsic correlations due to the measurement scheme. We also studied noise and correlations as a function of a dc current and estimated the electronic temperature of various macroscopic resistors.

  7. Two-photon interference from a quantum dot--microcavity: Persistent pure-dephasing and suppression of time-jitter

    E-Print Network [OSTI]

    Sebastian Unsleber; Dara P. S. McCutcheon; Michael Dambach; Matthias Lermer; Niels Gregersen; Sven Höfling; Jesper Mørk; Christian Schneider; Martin Kamp

    2015-03-03T23:59:59.000Z

    We demonstrate the emission of highly indistinguishable photons from a quasi-resonantly pumped coupled quantum dot--microcavity system operating in the regime of cavity quantum electrodynamics. Changing the sample temperature allows us to vary the quantum dot--cavity detuning, and on spectral resonance we observe a three-fold improvement in the Hong--Ou--Mandel interference visibility, reaching values in excess of 80\\%. Our measurements off-resonance allow us to investigate varying Purcell enhancements, and to probe the dephasing environment at different temperatures and energy scales. By comparison with our microscopic model, we are able to identify pure-dephasing and not time-jitter as the dominating source of imperfections in our system.

  8. NID Copper Sample Analysis

    SciTech Connect (OSTI)

    Kouzes, Richard T.; Zhu, Zihua

    2011-09-12T23:59:59.000Z

    The current focal point of the nuclear physics program at PNNL is the MAJORANA DEMONSTRATOR, and the follow-on Tonne-Scale experiment, a large array of ultra-low background high-purity germanium detectors, enriched in 76Ge, designed to search for zero-neutrino double-beta decay (0???). This experiment requires the use of germanium isotopically enriched in 76Ge. The MAJORANA DEMONSTRATOR is a DOE and NSF funded project with a major science impact. The DEMONSTRATOR will utilize 76Ge from Russia, but for the Tonne-Scale experiment it is hoped that an alternate technology, possibly one under development at Nonlinear Ion Dynamics (NID), will be a viable, US-based, lower-cost source of separated material. Samples of separated material from NID require analysis to determine the isotopic distribution and impurities. DOE is funding NID through an SBIR grant for development of their separation technology for application to the Tonne-Scale experiment. The Environmental Molecular Sciences facility (EMSL), a DOE user facility at PNNL, has the required mass spectroscopy instruments for making isotopic measurements that are essential to the quality assurance for the MAJORANA DEMONSTRATOR and for the development of the future separation technology required for the Tonne-Scale experiment. A sample of isotopically separated copper was provided by NID to PNNL in January 2011 for isotopic analysis as a test of the NID technology. The results of that analysis are reported here. A second sample of isotopically separated copper was provided by NID to PNNL in August 2011 for isotopic analysis as a test of the NID technology. The results of that analysis are also reported here.

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

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

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

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

  13. Germanium-76 Sample Analysis

    SciTech Connect (OSTI)

    Kouzes, Richard T.; Engelhard, Mark H.; Zhu, Zihua

    2011-04-01T23:59:59.000Z

    The MAJORANA DEMONSTRATOR is a large array of ultra-low background high-purity germanium detectors, enriched in 76Ge, designed to search for zero-neutrino double-beta decay (0???). The DEMONSTRATOR will utilize 76Ge from Russia, and the first one gram sample was received from the supplier for analysis on April 24, 2011. The Environmental Molecular Sciences facility, a DOE user facility at PNNL, was used to make the required isotopic and chemical purity measurements that are essential to the quality assurance for the MAJORANA DEMONSTRATOR. The results of this first analysis are reported here.

  14. Stack sampling apparatus

    DOE Patents [OSTI]

    Lind, Randall F; Lloyd, Peter D; Love, Lonnie J; Noakes, Mark W; Pin, Francois G; Richardson, Bradley S; Rowe, John C

    2014-09-16T23:59:59.000Z

    An apparatus for obtaining samples from a structure includes a support member, at least one stabilizing member, and at least one moveable member. The stabilizing member has a first portion coupled to the support member and a second portion configured to engage with the structure to restrict relative movement between the support member and the structure. The stabilizing member is radially expandable from a first configuration where the second portion does not engage with a surface of the structure to a second configuration where the second portion engages with the surface of the structure.

  15. Draft Sample Collection Instrument

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels DataDepartment of Energy Your Density Isn't Your Destiny:Revised Finding of No53197E T ADRAFTJanuaryDominionDowDepartmentPublic5 5Sample

  16. September 2004 Water Sampling

    Office of Legacy Management (LM)

    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 742EnergyOn AprilA group currentBradleyTableSelling7 AugustAFRICAN3u ;;;::Sampling at the Sherwood,

  17. September 2004 Water Sampling

    Office of Legacy Management (LM)

    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 742EnergyOn AprilA groupTuba City, Arizona, DisposalFourthN V O 1CentralGroundwater,Sampling at the

  18. September 2004 Water Sampling

    Office of Legacy Management (LM)

    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 742EnergyOn AprilA groupTuba City, Arizona, DisposalFourthN V O 1CentralGroundwater,Sampling at the4

  19. September 2004 Water Sampling

    Office of Legacy Management (LM)

    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 742EnergyOn AprilA groupTuba City, Arizona, DisposalFourthN V O 1CentralGroundwater,Sampling at

  20. September 2004 Water Sampling

    Office of Legacy Management (LM)

    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 742EnergyOn AprilA groupTuba City, Arizona, DisposalFourthN V O 1CentralGroundwater,Sampling

  1. September 2004 Water Sampling

    Office of Legacy Management (LM)

    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 742EnergyOn AprilA groupTuba City, Arizona, DisposalFourthN V O 1CentralGroundwater,SamplingTuba

  2. September 2004 Water Sampling

    Office of Legacy Management (LM)

    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 742EnergyOn AprilA groupTuba City, Arizona, DisposalFourthN V O 1CentralGroundwater,SamplingTubaand

  3. Reliable fieldable VOC analysis with an automated microprocessor controlled two stage sample processor

    SciTech Connect (OSTI)

    Overton, E.B.; Stewart, M.; Carney, K.R.; D`Harmasena, H. [Louisiana State Univ., Baton Rouge, LA (United States). Inst. for Environmental Studies

    1995-12-31T23:59:59.000Z

    High quality field analysis of VOCs from a variety of sample types has many environmental applications. In order to achieve desired data quality from field analysis, the entire analytical sequence, from collection of samples through instrumental analysis and data interpretation, must be controlled and have documented precision. To this end, the authors have developed a Sample Processing Device for use with fieldable VOC analyses. The unit is microprocessor controlled, small, rugged, and uses less than 25 watts of power at 12 VDC. It is ideally suited for use with microchip GC analyzers but will work with a variety of other field analytical devices. In addition to processing a variety of sample types, the unit allows control of water interference in the analytical sequence. Since the functions of the sample processing device are microprocessor controlled, the sample analysis procedures have the precision and reliability of automated, methods driven analytical techniques.

  4. NID Copper Sample Analysis

    SciTech Connect (OSTI)

    Kouzes, Richard T.; Zhu, Zihua

    2011-02-01T23:59:59.000Z

    The current focal point of the nuclear physics program at PNNL is the MAJORANA DEMONSTRATOR, and the follow-on Tonne-Scale experiment, a large array of ultra-low background high-purity germanium detectors, enriched in 76Ge, designed to search for zero-neutrino double-beta decay (0???). This experiment requires the use of germanium isotopically enriched in 76Ge. The DEMONSTRATOR will utilize 76Ge from Russia, but for the Tonne-Scale experiment it is hoped that an alternate technology under development at Nonlinear Ion Dynamics (NID) will be a viable, US-based, lower-cost source of separated material. Samples of separated material from NID require analysis to determine the isotopic distribution and impurities. The MAJORANA DEMONSTRATOR is a DOE and NSF funded project with a major science impact. DOE is funding NID through an SBIR grant for development of their separation technology for application to the Tonne-Scale experiment. The Environmental Molecular Sciences facility (EMSL), a DOE user facility at PNNL, has the required mass spectroscopy instruments for making these isotopic measurements that are essential to the quality assurance for the MAJORANA DEMONSTRATOR and for the development of the future separation technology required for the Tonne-Scale experiment. A sample of isotopically separated copper was provided by NID to PNNL for isotopic analysis as a test of the NID technology. The results of that analysis are reported here.

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

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

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

  8. Sample holder with optical features

    DOE Patents [OSTI]

    Milas, Mirko; Zhu, Yimei; Rameau, Jonathan David

    2013-07-30T23:59:59.000Z

    A sample holder for holding a sample to be observed for research purposes, particularly in a transmission electron microscope (TEM), generally includes an external alignment part for directing a light beam in a predetermined beam direction, a sample holder body in optical communication with the external alignment part and a sample support member disposed at a distal end of the sample holder body opposite the external alignment part for holding a sample to be analyzed. The sample holder body defines an internal conduit for the light beam and the sample support member includes a light beam positioner for directing the light beam between the sample holder body and the sample held by the sample support member.

  9. SST Sample Characterization Analysis of Archive Samples 102-C, 105-C, and 106-C

    SciTech Connect (OSTI)

    Hara, F. T.; Kaye, J. H.; Steele, R. T.; Stromatt, R. W.; Thomas, D. L.; Urie, M. W.

    1990-04-01T23:59:59.000Z

    A substantial effort is planned to be initiated at the Hanford Site regarding the characterization of 149 single-shell tanks (SSTs) containing the byproducts of reprocessing during the 1950s and 1960s. Sampling and analysis, in distinct phases, are planned to involve laboratory investigations to determine both chemical and radionuclide inventories, so that waste disposal decisions can be developed. During 1989, trial analyses were performed on four archived samples from SSTs at the Pacific Northwest Laboratory using established U.S. Environmental Protection Agency (EPA) protocols and radiochemical procedures. The analysis of the archived SST waste material provides three important types of data for use in planning Phase I-A and Phase 1-B sample analysis. The types of data served as input to I) fi na 1 i zing the waste samp 1 e analysis procedures and methods and identify where procedure developmen~ may be needed, 2) evaluating the impact of normal paraffin hydrocarbon (NPH) lubricant {used in field sampling) on extracting inorganics or radionuclides from the SST sample, and 3) identifying trends in amounts of occupational radiation exposure expected from performing the various analysis procedures. Overall, the results are qualitative in nature, and the conclusions given are to be used with appropriate respect for the limitations of small amounts of data from four samples used in development processes. The results of the Phase I-A and I-B sample analysis will provide essential data for method performance for use in finalizing Phase I-C planning and methods development scope. Section 2.0, Inorganic Analysis, encompasses sample preparation, sample analysis, identification of methods performance limitations, and possible alternatives. Performance of the inorganic analytical methods was evaluated and changes were made to some of the procedures. In some cases, inductively coupled plasma-atomic emission spectroscopy (referred to in this report as ICP) did not provide the levels of accuracy and precision usually required for EPA work due to interference by other elements. In these cases, other methods are suggested as appropriate for trial as alternatives. In all cases, duplicates, spikes, and blanks were used to establish performance of the methods for the specific waste matrix. Results focused on problems in using the methods tested on the samples, the suitability of the ICP method of determining EP Toxicity metal ions and 22 EPA pollutant metal ions, and the suitability of cold vapor atomic absorption (CVAA) for mercury determinations. Problems areas identified are ICP spectral corrections, poor reproducibility from water leach and EP Toxicity methods, and adjustments needed for mercury analysis by CVAA. Section 3.0, Organics Analysis, details two screening procedures [total organic carbon (TOC) and gas chromatography (GC)], extraction procedures and related problems, surrogate spiking to test extraction efficiencies and matrix effects, and semivolatile organics via GC/mass spectroscopy (MS). The results show that the GC/MS is vulnerable to fouling and overload and that a combination of dilution and perhaps acidification are required to provide acceptable results. NPH and silicone-based lubricants from the sampling process impact the semivolatile analysis; however, with some modification the semivolatile method based on EPA SOW 288 can be used. Section 4.0, Radionuclide Analysis, evaluates procedures used to measure the radionuclides that might be found in the SST tank waste samples and establishes the level of accuracy and precision that can be expected. These data reveal that additional procedure development is needed in order to measure all of the radionuclides listed in Table 4-14 of the Waste Characterization Plan. In addition, the archive samples analyzed may not be representative of the tank population and considerable adaptation of the radiochemical procedures may be necessary to perform the desired measurements. NPH tests were conducted to determine whether the NPH from the field sampling process extracted significan

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

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

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

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

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

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

  16. Sample Environment Plans and Progress

    E-Print Network [OSTI]

    Pennycook, Steve

    Sample Environment Plans and Progress at the SNS & HFIR SNS HFIR User Group Meeting American Conference on Neutron Scattering Ottawa, Canada June 26 ­ 30, 2010 Lou Santodonato Sample Environment Group our sample environment capabilities Feedback SHUG meetings User surveys Sample Environment Steering

  17. Fluid sampling tool

    DOE Patents [OSTI]

    Johnston, Roger G. (Los Alamos, NM); Garcia, Anthony R. E. (Espanola, NM); Martinez, Ronald K. (Santa Cruz, NM)

    2001-09-25T23:59:59.000Z

    The invention includes a rotatable tool for collecting fluid through the wall of a container. The tool includes a fluid collection section with a cylindrical shank having an end portion for drilling a hole in the container wall when the tool is rotated, and a threaded portion for tapping the hole in the container wall. A passageway in the shank in communication with at least one radial inlet hole in the drilling end and an opening at the end of the shank is adapted to receive fluid from the container. The tool also includes a cylindrical chamber affixed to the end of the shank opposite to the drilling portion thereof for receiving and storing fluid passing through the passageway. The tool also includes a flexible, deformable gasket that provides a fluid-tight chamber to confine kerf generated during the drilling and tapping of the hole. The invention also includes a fluid extractor section for extracting fluid samples from the fluid collecting section.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  17. WRAP Module 1 sampling strategy and waste characterization alternatives study

    SciTech Connect (OSTI)

    Bergeson, C.L.

    1994-09-30T23:59:59.000Z

    The Waste Receiving and Processing Module 1 Facility is designed to examine, process, certify, and ship drums and boxes of solid wastes that have a surface dose equivalent of less than 200 mrem/h. These wastes will include low-level and transuranic wastes that are retrievably stored in the 200 Area burial grounds and facilities in addition to newly generated wastes. Certification of retrievably stored wastes processing in WRAP 1 is required to meet the waste acceptance criteria for onsite treatment and disposal of low-level waste and mixed low-level waste and the Waste Isolation Pilot Plant Waste Acceptance Criteria for the disposal of TRU waste. In addition, these wastes will need to be certified for packaging in TRUPACT-II shipping containers. Characterization of the retrievably stored waste is needed to support the certification process. Characterization data will be obtained from historical records, process knowledge, nondestructive examination nondestructive assay, visual inspection of the waste, head-gas sampling, and analysis of samples taken from the waste containers. Sample characterization refers to the method or methods that are used to test waste samples for specific analytes. The focus of this study is the sample characterization needed to accurately identify the hazardous and radioactive constituents present in the retrieved wastes that will be processed in WRAP 1. In addition, some sampling and characterization will be required to support NDA calculations and to provide an over-check for the characterization of newly generated wastes. This study results in the baseline definition of WRAP 1 sampling and analysis requirements and identifies alternative methods to meet these requirements in an efficient and economical manner.

  18. Specified assurance level sampling procedure

    SciTech Connect (OSTI)

    Willner, O.

    1980-11-01T23:59:59.000Z

    In the nuclear industry design specifications for certain quality characteristics require that the final product be inspected by a sampling plan which can demonstrate product conformance to stated assurance levels. The Specified Assurance Level (SAL) Sampling Procedure has been developed to permit the direct selection of attribute sampling plans which can meet commonly used assurance levels. The SAL procedure contains sampling plans which yield the minimum sample size at stated assurance levels. The SAL procedure also provides sampling plans with acceptance numbers ranging from 0 to 10, thus, making available to the user a wide choice of plans all designed to comply with a stated assurance level.

  19. Scalable boson-sampling with time-bin encoding using a loop-based architecture

    E-Print Network [OSTI]

    Keith R. Motes; Alexei Gilchrist; Jonathan P. Dowling; Peter P. Rohde

    2014-03-17T23:59:59.000Z

    We present an architecture for arbitrarily scalable boson-sampling using two nested fiber loops. The architecture has fixed experimental complexity, irrespective of the size of the desired interferometer, whose scale is limited only by fiber and switch loss rates. The architecture employs time-bin encoding, whereby the incident photons form a pulse train, which enters the loops. Dynamically controlled loop coupling ratios allow the construction of the arbitrary linear optics interferometers required for boson-sampling. The architecture employs only a single point of interference and may thus be easier to stabilize than other approaches. The scheme has polynomial complexity and could be realized using demonstrated present-day technologies.

  20. RAPID SEPARATION METHOD FOR 237NP AND PU ISOTOPES IN LARGE SOIL SAMPLES

    SciTech Connect (OSTI)

    Maxwell, S.; Culligan, B.; Noyes, G.

    2010-07-26T23:59:59.000Z

    A new rapid method for the determination of {sup 237}Np and Pu isotopes in soil and sediment samples has been developed at the Savannah River Site Environmental Lab (Aiken, SC, USA) that can be used for large soil samples. The new soil method utilizes an acid leaching method, iron/titanium hydroxide precipitation, a lanthanum fluoride soil matrix removal step, and a rapid column separation process with TEVA Resin. The large soil matrix is removed easily and rapidly using this two simple precipitations with high chemical recoveries and effective removal of interferences. Vacuum box technology and rapid flow rates are used to reduce analytical time.

  1. RAPID SEPARATION OF ACTINIDES AND RADIOSTRONTIUM IN VEGETATION SAMPLES

    SciTech Connect (OSTI)

    Maxwell, S.

    2010-06-01T23:59:59.000Z

    A new rapid method for the determination of actinides and radiostrontium in vegetation samples has been developed at the Savannah River Site Environmental Lab (Aiken, SC, USA) that can be used in emergency response situations or for routine analysis. The actinides in vegetation method utilizes a rapid sodium hydroxide fusion method, a lanthanum fluoride matrix removal step, and a streamlined column separation process with stacked TEVA, TRU and DGA Resin cartridges. Lanthanum was separated rapidly and effectively from Am and Cm on DGA Resin. Alpha emitters are prepared using rare earth microprecipitation for counting by alpha spectrometry. The purified {sup 90}Sr fractions are mounted directly on planchets and counted by gas flow proportional counting. The method showed high chemical recoveries and effective removal of interferences. The actinide and {sup 90}Sr in vegetation sample analysis can be performed in less than 8 h with excellent quality for emergency samples. The rapid fusion technique is a rugged sample digestion method that ensures that any refractory actinide particles or vegetation residue after furnace heating is effectively digested.

  2. 3 - DJ : sampling as design

    E-Print Network [OSTI]

    Patel, Sayjel Vijay

    2015-01-01T23:59:59.000Z

    3D Sampling is introduced as a new spatial craft that can be applied to architectural design, akin to how sampling is applied in the field of electronic music. Through the development of 3-DJ, a prototype design software, ...

  3. Potential Applications of Microtesla Magnetic Resonance ImagingDetected Using a Superconducting Quantum Interference Device

    SciTech Connect (OSTI)

    Myers, Whittier R.

    2006-05-18T23:59:59.000Z

    This dissertation describes magnetic resonance imaging (MRI) of protons performed in a precession field of 132 {micro}T. In order to increase the signal-to-noise ratio (SNR), a pulsed 40-300 mT magnetic field prepolarizes the sample spins and an untuned second-order superconducting gradiometer coupled to a low transition temperature superconducting quantum interference device (SQUID) detects the subsequent 5.6-kHz spin precession. Imaging sequences including multiple echoes and partial Fourier reconstruction are developed. Calculating the SNR of prepolarized SQUID-detected MRI shows that three-dimensional Fourier imaging yields higher SNR than slice-selection imaging. An experimentally demonstrated field-cycling pulse sequence and post-processing algorithm mitigate image artifacts caused by concomitant gradients in low-field MRI. The magnetic field noise of SQUID untuned detection is compared to the noise of SQUID tuned detection, conventional Faraday detection, and the Nyquist noise generated by conducting biological samples. A second-generation microtesla MRI system employing a low-noise SQUID is constructed to increase SNR. A 2.4-m cubic, eddy-current shield with 6-mm thick aluminum walls encloses the experiment to attenuate external noise. The measured noise is 0.75 fT Hz{sup -1/2} referred to the bottom gradiometer loop. Solenoids wound from 30-strand braided wire to decrease Nyquist noise and cooled by either liquid nitrogen or water polarize the spins. Copper wire coils wound on wooden supports produce the imaging magnetic fields and field gradients. Water phantom images with 0.8 x 0.8 x 10 mm{sup 3} resolution have a SNR of 6. Three-dimensional 1.6 x 1.9 x 14 mm{sup 3} images of bell peppers and 3 x 3 x 26 mm{sup 3} in vivo images of the human arm are presented. Since contrast based on the transverse spin relaxation rate (T{sub 1}) is enhanced at low magnetic fields, microtesla MRI could potentially be used for tumor imaging. The measured T{sub 1} of ex vivo normal and cancerous prostate tissue differ significantly at 132 {micro}T. A single-sided MRI system designed for prostate imaging could achieve 3 x 3 x 5 mm{sup 3} resolution in 8 minutes. Existing SQUID-based magnetoencephalography (MEG) systems could be used as microtesla MRI detectors. A commercial 275-channel MEG system could acquire 6-minute brain images with (4 mm){sup 3} resolution and SNR 16.

  4. Sampling for Bacteria in Wells

    E-Print Network [OSTI]

    Lesikar, Bruce J.

    2001-11-15T23:59:59.000Z

    Sampling for Bacteria in Wells E-126 11/01 Water samples for bacteria tests must always be col- lected in a sterile container. The procedure for collect- ing a water sample is as follows: 1. Obtain a sterile container from a Health Department...

  5. ON ADAPTIVE SAMPLING Philippe Flajolet

    E-Print Network [OSTI]

    Flajolet, Philippe

    . We analyze the storage/accuracy trade--off of an adaptive sampling algorithm due to Wegman that makes. Wegman [11] has proposed an interesting alternative solution to that problem based on Adaptive Sampling 4. 2 Wegman's Adaptive Sampling Method The problem discussed here is the following. We are given

  6. Spectral Thompson Sampling Tomas Kocak

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Spectral Thompson Sampling Tom´as Koc´ak SequeL team INRIA Lille - Nord Europe France Michal Valko Thompson Sampling (TS) has surged a lot of interest due to its good empirical performance, in particular that our algorithm is com- petitive on both synthetic and real-world data. 1 Introduction Thompson Sampling

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

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

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

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

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

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

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

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

  15. Acceptance sampling using judgmental and randomly selected samples

    SciTech Connect (OSTI)

    Sego, Landon H.; Shulman, Stanley A.; Anderson, Kevin K.; Wilson, John E.; Pulsipher, Brent A.; Sieber, W. Karl

    2010-09-01T23:59:59.000Z

    We present a Bayesian model for acceptance sampling where the population consists of two groups, each with different levels of risk of containing unacceptable items. Expert opinion, or judgment, may be required to distinguish between the high and low-risk groups. Hence, high-risk items are likely to be identifed (and sampled) using expert judgment, while the remaining low-risk items are sampled randomly. We focus on the situation where all observed samples must be acceptable. Consequently, the objective of the statistical inference is to quantify the probability that a large percentage of the unsampled items in the population are also acceptable. We demonstrate that traditional (frequentist) acceptance sampling and simpler Bayesian formulations of the problem are essentially special cases of the proposed model. We explore the properties of the model in detail, and discuss the conditions necessary to ensure that required samples sizes are non-decreasing function of the population size. The method is applicable to a variety of acceptance sampling problems, and, in particular, to environmental sampling where the objective is to demonstrate the safety of reoccupying a remediated facility that has been contaminated with a lethal agent.

  16. RAPID SEPARATION METHOD FOR ACTINIDES IN EMERGENCY SOIL SAMPLES

    SciTech Connect (OSTI)

    Maxwell, S.; Culligan, B.; Noyes, G.

    2009-11-09T23:59:59.000Z

    A new rapid method for the determination of actinides in soil and sediment samples has been developed at the Savannah River Site Environmental Lab (Aiken, SC, USA) that can be used for samples up to 2 grams in emergency response situations. The actinides in soil method utilizes a rapid sodium hydroxide fusion method, a lanthanum fluoride soil matrix removal step, and a streamlined column separation process with stacked TEVA, TRU and DGA Resin cartridges. Lanthanum was separated rapidly and effectively from Am and Cm on DGA Resin. Vacuum box technology and rapid flow rates are used to reduce analytical time. Alpha sources are prepared using cerium fluoride microprecipitation for counting by alpha spectrometry. The method showed high chemical recoveries and effective removal of interferences. This new procedure was applied to emergency soil samples received in the NRIP Emergency Response exercise administered by the National Institute for Standards and Technology (NIST) in April, 2009. The actinides in soil results were reported within 4-5 hours with excellent quality.

  17. Sample Residential Program Term Sheet

    Broader source: Energy.gov [DOE]

    A sample for defining and elaborating on the specifics of a clean energy loan program. Author: U.S. Department of Energy

  18. IWTU Process Sample Analysis Report

    SciTech Connect (OSTI)

    Nick Soelberg

    2013-04-01T23:59:59.000Z

    CH2M-WG Idaho (CWI) requested that Battelle Energy Alliance (BEA) analyze various samples collected during June – August 2012 at the Integrated Waste Treatment Facility (IWTU). Samples of IWTU process materials were collected from various locations in the process. None of these samples were radioactive. These samples were collected and analyzed to provide more understanding of the compositions of various materials in the process during the time of the process shutdown that occurred on June 16, 2012, while the IWTU was in the process of nonradioactive startup.

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

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

  1. Defining And Characterizing Sample Representativeness For DWPF Melter Feed Samples

    SciTech Connect (OSTI)

    Shine, E. P.; Poirier, M. R.

    2013-10-29T23:59:59.000Z

    Representative sampling is important throughout the Defense Waste Processing Facility (DWPF) process, and the demonstrated success of the DWPF process to achieve glass product quality over the past two decades is a direct result of the quality of information obtained from the process. The objective of this report was to present sampling methods that the Savannah River Site (SRS) used to qualify waste being dispositioned at the DWPF. The goal was to emphasize the methodology, not a list of outcomes from those studies. This methodology includes proven methods for taking representative samples, the use of controlled analytical methods, and data interpretation and reporting that considers the uncertainty of all error sources. Numerous sampling studies were conducted during the development of the DWPF process and still continue to be performed in order to evaluate options for process improvement. Study designs were based on use of statistical tools applicable to the determination of uncertainties associated with the data needs. Successful designs are apt to be repeated, so this report chose only to include prototypic case studies that typify the characteristics of frequently used designs. Case studies have been presented for studying in-tank homogeneity, evaluating the suitability of sampler systems, determining factors that affect mixing and sampling, comparing the final waste glass product chemical composition and durability to that of the glass pour stream sample and other samples from process vessels, and assessing the uniformity of the chemical composition in the waste glass product. Many of these studies efficiently addressed more than one of these areas of concern associated with demonstrating sample representativeness and provide examples of statistical tools in use for DWPF. The time when many of these designs were implemented was in an age when the sampling ideas of Pierre Gy were not as widespread as they are today. Nonetheless, the engineers and statisticians used carefully thought out designs that systematically and economically provided plans for data collection from the DWPF process. Key shared features of the sampling designs used at DWPF and the Gy sampling methodology were the specification of a standard for sample representativeness, an investigation that produced data from the process to study the sampling function, and a decision framework used to assess whether the specification was met based on the data. Without going into detail with regard to the seven errors identified by Pierre Gy, as excellent summaries are readily available such as Pitard [1989] and Smith [2001], SRS engineers understood, for example, that samplers can be biased (Gy?s extraction error), and developed plans to mitigate those biases. Experiments that compared installed samplers with more representative samples obtained directly from the tank may not have resulted in systematically partitioning sampling errors into the now well-known error categories of Gy, but did provide overall information on the suitability of sampling systems. Most of the designs in this report are related to the DWPF vessels, not the large SRS Tank Farm tanks. Samples from the DWPF Slurry Mix Evaporator (SME), which contains the feed to the DWPF melter, are characterized using standardized analytical methods with known uncertainty. The analytical error is combined with the established error from sampling and processing in DWPF to determine the melter feed composition. This composition is used with the known uncertainty of the models in the Product Composition Control System (PCCS) to ensure that the wasteform that is produced is comfortably within the acceptable processing and product performance region. Having the advantage of many years of processing that meets the waste glass product acceptance criteria, the DWPF process has provided a considerable amount of data about itself in addition to the data from many special studies. Demonstrating representative sampling directly from the large Tank Farm tanks is a difficult, if not unsolvable enterprise due to li

  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. Hazard Sampling Dialog General Layout

    E-Print Network [OSTI]

    Zhang, Tao

    1 Hazard Sampling Dialog General Layout The dialog's purpose is to display information about the hazardous material being sampled by the UGV so either the system or the UV specialist can identify the risk level of the hazard. The dialog is associated with the hazmat reading icons (Table 1). Components

  8. Database Sampling with Functional Dependencies

    E-Print Network [OSTI]

    Riera, Jesús Bisbal

    Database Sampling with Functional Dependencies Jes´us Bisbal, Jane Grimson Department of Computer there is a need to prototype the database which the applications will use when in operation. A prototype database can be built by sampling data from an existing database. Including relevant semantic information when

  9. BLOOD SAMPLING SYSTEM TROUBLESHOOTING TIPS

    E-Print Network [OSTI]

    Kay, Mark A.

    SAFESET TM BLOOD SAMPLING SYSTEM SAFESETTM TROUBLESHOOTING TIPS TO PREVENT BLOOD BACKING UP IN LINE that all air bubbles have been eliminated when priming o Invert and tap blood sampling ports to remove air volume o Reinfuse the patient's blood slowly, no faster than 1mL per second, by pressing the plunger back

  10. Sample push-out fixture

    DOE Patents [OSTI]

    Biernat, John L. (Scotia, NY)

    2002-11-05T23:59:59.000Z

    This invention generally relates to the remote removal of pelletized samples from cylindrical containment capsules. V-blocks are used to receive the samples and provide guidance to push out rods. Stainless steel liners fit into the v-channels on the v-blocks which permits them to be remotely removed and replaced or cleaned to prevent cross contamination between capsules and samples. A capsule holder securely holds the capsule while allowing manual up/down and in/out movement to align each sample hole with the v-blocks. Both end sections contain identical v-blocks; one that guides the drive out screw and rods or manual push out rods and the other to receive the samples as they are driven out of the capsule.

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

  12. DOE-2 sample run book: Version 2.1E

    SciTech Connect (OSTI)

    Winkelmann, F.C.; Birdsall, B.E.; Buhl, W.F.; Ellington, K.L.; Erdem, A.E. [Lawrence Berkeley Lab., CA (United States); Hirsch, J.J.; Gates, S. [Hirsch (James J.) and Associates, Camarillo, CA (United States)

    1993-11-01T23:59:59.000Z

    The DOE-2 Sample Run Book shows inputs and outputs for a variety of building and system types. The samples start with a simple structure and continue to a high-rise office building, a medical building, three small office buildings, a bar/lounge, a single-family residence, a small office building with daylighting, a single family residence with an attached sunspace, a ``parameterized`` building using input macros, and a metric input/output example. All of the samples use Chicago TRY weather. The main purpose of the Sample Run Book is instructional. It shows the relationship of LOADS-SYSTEMS-PLANT-ECONOMICS inputs, displays various input styles, and illustrates many of the basic and advanced features of the program. Many of the sample runs are preceded by a sketch of the building showing its general appearance and the zoning used in the input. In some cases we also show a 3-D rendering of the building as produced by the program DrawBDL. Descriptive material has been added as comments in the input itself. We find that a number of users have loaded these samples onto their editing systems and use them as ``templates`` for creating new inputs. Another way of using them would be to store various portions as files that can be read into the input using the {number_sign}{number_sign} include command, which is part of the Input Macro feature introduced in version DOE-2.lD. Note that the energy rate structures here are the same as in the DOE-2.lD samples, but have been rewritten using the new DOE-2.lE commands and keywords for ECONOMICS. The samples contained in this report are the same as those found on the DOE-2 release files. However, the output numbers that appear here may differ slightly from those obtained from the release files. The output on the release files can be used as a check set to compare results on your computer.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  7. Reference samples for water-related programs in the US Environmental Protection Agency

    SciTech Connect (OSTI)

    Winter, J.A.

    1985-06-01T23:59:59.000Z

    The Environmental Monitoring and Support Laboratory at Cincinnati provides quality assurance (QA) support for US Environmental Protection Agency (EPA) water-related programs. Two important segments of this support are the Quality Control Sample Program, which furnishes samples of known concentrations for use as independent checks on intralaboratory QA activities, and the EPA's Repository for Toxic and Hazardous Materials, which provides calibration standards and spiking solutions for trace organic analyses of interest to the Agency. Each series contains one or more analytes, with true or reference values. The samples and standards are prepared as stable concentrated solutions in all-glass ampuls for dilution to volume, and analyses by EPA, its contractors and grantees, and other federal, state, and local agencies. 1 reference, 6 tables.

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

  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. Sample Business Plan Framework 3

    Broader source: Energy.gov [DOE]

    U.S. Department of Energy Better Buildings Neighborhood Program: Sample Business Plan Framework 1: A program seeking to continue operations in the post-grant period as a not-for-profit (NGO) entity.

  11. Sample Business Plan Framework 2

    Broader source: Energy.gov [DOE]

    U.S. Department of Energy Better Buildings Neighborhood Program: Sample Business Plan Framework 1: A program seeking to continue operations in the post-grant period as a not-for-profit (NGO) entity.

  12. Sample Business Plan Framework 4

    Broader source: Energy.gov [DOE]

    U.S. Department of Energy Better Buildings Neighborhood Program: Sample Business Plan Framework 1: A program seeking to continue operations in the post-grant period as a not-for-profit (NGO) entity.

  13. Sample Business Plan Framework 1

    Broader source: Energy.gov [DOE]

    U.S. Department of Energy Better Buildings Neighborhood Program: Sample Business Plan Framework 1: A program seeking to continue operations in the post-grant period as a not-for-profit (NGO) entity.

  14. Field evaluation of ground water sampling devices for volatile organic compounds

    SciTech Connect (OSTI)

    Muska, C F; Colven, W P; Jones, V D; Scogin, J T; Looney, B B; Price, V Jr

    1986-01-01T23:59:59.000Z

    Previous studies conducted under laboratory conditions demonstrated that the type of device used to sample ground water contaminated with volatile organic compounds can significantly influence and analytical results. The purpose of this study was to evaluate, under field conditions, both commercial and developmental ground water sampling devices as part of an ongoing ground water contamination investigation and remediation program at the Savannah River Plant (SRP). Ground water samples were collected using six types of sampling devices in monitoring wells of different depths and concentrations of volatile organic contaminants (primarily trichloroethylene and tetrachloroethylene). The study matrix was designed to statistically compare the reuslts of each sampling device under the test conditions. Quantitative and qualitative evaluation criteria were used to determine the relative performance of each device. Two categories of sampling devices were evaluated in this field study, positive displacement pumps and grab samplers. The positive displacement pumps consisted of a centrifugal (mechanical) pump and a bladder pump. The grab samples tested were a syringe sampler, a dual-check valve bailer, a surface bomb sampler, and a pressurized bailer. Preliminary studies were conducted to establish the analytical and sampling variability associated with each device. All six devices were then used to collect ground water samples in water table (unconfined), semi-confined aquifer, and confined aquifer monitoring wells. Results were evaluated against a set of criteria that included intrasampling device variability (precision), volatile organic concentration (accuracy), sampling and analytical logistics, and cost. The study showed that, by using careful and reproducible procedures, overall sampling variability is low regardless of sampling device.

  15. RAPID SEPARATION METHOD FOR ACTINIDES IN EMERGENCY AIR FILTER SAMPLES

    SciTech Connect (OSTI)

    Maxwell, S.; Noyes, G.; Culligan, B.

    2010-02-03T23:59:59.000Z

    A new rapid method for the determination of actinides and strontium in air filter samples has been developed at the Savannah River Site Environmental Lab (Aiken, SC, USA) that can be used in emergency response situations. The actinides and strontium in air filter method utilizes a rapid acid digestion method and a streamlined column separation process with stacked TEVA, TRU and Sr Resin cartridges. Vacuum box technology and rapid flow rates are used to reduce analytical time. Alpha emitters are prepared using cerium fluoride microprecipitation for counting by alpha spectrometry. The purified {sup 90}Sr fractions are mounted directly on planchets and counted by gas flow proportional counting. The method showed high chemical recoveries and effective removal of interferences. This new procedure was applied to emergency air filter samples received in the NRIP Emergency Response exercise administered by the National Institute for Standards and Technology (NIST) in April, 2009. The actinide and {sup 90}Sr in air filter results were reported in {approx}4 hours with excellent quality.

  16. RAPID METHOD FOR PLUTONIUM, AMERICIUM AND CURIUM IN VERY LARGE SOIL SAMPLES

    SciTech Connect (OSTI)

    Maxwell, S

    2007-01-08T23:59:59.000Z

    The analysis of actinides in environmental soil and sediment samples is very important for environmental monitoring. There is a need to measure actinide isotopes with very low detection limits. A new, rapid actinide separation method has been developed and implemented that allows the measurement of plutonium, americium and curium isotopes in very large soil samples (100-200 g) with high chemical recoveries and effective removal of matrix interferences. This method uses stacked TEVA Resin{reg_sign}, TRU Resin{reg_sign} and DGA-Resin{reg_sign} cartridges from Eichrom Technologies (Darien, IL, USA) that allows the rapid separation of plutonium (Pu), americium (Am), and curium (Cm) using a single multistage column combined with alpha spectrometry. The method combines an acid leach step and innovative matrix removal using cerium fluoride precipitation to remove the difficult soil matrix. This method is unique in that it provides high tracer recoveries and effective removal of interferences with small extraction chromatography columns instead of large ion exchange resin columns that generate large amounts of acid waste. By using vacuum box cartridge technology with rapid flow rates, sample preparation time is minimized.

  17. Sampling Report for August 15, 2014 WIPP Samples

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels DataDepartment of Energy Your Density Isn'tOrigin ofEnergy atLLC - FE DKT. 10-160-LNG - ORDERSTATE0-1ofEnergy SampleSample of

  18. Reference Potential source Data type Sampling site Type of samples Number of samples Method of source

    E-Print Network [OSTI]

    Meskhidze, Nicholas

    samples for Saharan dust from Libya back trajectory analysis Kandler et al. 2009 PSA NAF-2 Illite NAF-4 Illite/kaolinite ratio Chlorite/kaolinite ratio Carbonate content Libya (here: central

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

  20. Sample rotating turntable kit for infrared spectrometers

    DOE Patents [OSTI]

    Eckels, Joel Del (Livermore, CA); Klunder, Gregory L. (Oakland, CA)

    2008-03-04T23:59:59.000Z

    An infrared spectrometer sample rotating turntable kit has a rotatable sample cup containing the sample. The infrared spectrometer has an infrared spectrometer probe for analyzing the sample and the rotatable sample cup is adapted to receive the infrared spectrometer probe. A reflectance standard is located in the rotatable sample cup. A sleeve is positioned proximate the sample cup and adapted to receive the probe. A rotator rotates the rotatable sample cup. A battery is connected to the rotator.

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

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

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

  4. Inertial impaction air sampling device

    DOE Patents [OSTI]

    Dewhurst, K.H.

    1987-12-10T23:59:59.000Z

    An inertial impactor to be used in an air sampling device for collection of respirable size particles in ambient air which may include a graphite furnace as the impaction substrate in a small-size, portable, direct analysis structure that gives immediate results and is totally self-contained allowing for remote and/or personal sampling. The graphite furnace collects suspended particles transported through the housing by means of the air flow system, and these particles may be analyzed for elements, quantitatively and qualitatively, by atomic absorption spectrophotometry. 3 figs.

  5. Inertial impaction air sampling device

    DOE Patents [OSTI]

    Dewhurst, K.H.

    1990-05-22T23:59:59.000Z

    An inertial impactor is designed which is to be used in an air sampling device for collection of respirable size particles in ambient air. The device may include a graphite furnace as the impaction substrate in a small-size, portable, direct analysis structure that gives immediate results and is totally self-contained allowing for remote and/or personal sampling. The graphite furnace collects suspended particles transported through the housing by means of the air flow system, and these particles may be analyzed for elements, quantitatively and qualitatively, by atomic absorption spectrophotometry. 3 figs.

  6. Spent nuclear fuel sampling strategy

    SciTech Connect (OSTI)

    Bergmann, D.W.

    1995-02-08T23:59:59.000Z

    This report proposes a strategy for sampling the spent nuclear fuel (SNF) stored in the 105-K Basins (105-K East and 105-K West). This strategy will support decisions concerning the path forward SNF disposition efforts in the following areas: (1) SNF isolation activities such as repackaging/overpacking to a newly constructed staging facility; (2) conditioning processes for fuel stabilization; and (3) interim storage options. This strategy was developed without following the Data Quality Objective (DQO) methodology. It is, however, intended to augment the SNF project DQOS. The SNF sampling is derived by evaluating the current storage condition of the SNF and the factors that effected SNF corrosion/degradation.

  7. RAPID FUSION METHOD FOR DETERMINATION OF PLUTONIUM ISOTOPES IN LARGE RICE SAMPLES

    SciTech Connect (OSTI)

    Maxwell, S.

    2013-03-01T23:59:59.000Z

    A new rapid fusion method for the determination of plutonium in large rice samples has been developed at the Savannah River National Laboratory (Aiken, SC, USA) that can be used to determine very low levels of plutonium isotopes in rice. The recent accident at Fukushima Nuclear Power Plant in March, 2011 reinforces the need to have rapid, reliable radiochemical analyses for radionuclides in environmental and food samples. Public concern regarding foods, particularly foods such as rice in Japan, highlights the need for analytical techniques that will allow very large sample aliquots of rice to be used for analysis so that very low levels of plutonium isotopes may be detected. The new method to determine plutonium isotopes in large rice samples utilizes a furnace ashing step, a rapid sodium hydroxide fusion method, a lanthanum fluoride matrix removal step, and a column separation process with TEVA Resin? cartridges. The method can be applied to rice sample aliquots as large as 5 kg. Plutonium isotopes can be determined using alpha spectrometry or inductively-coupled plasma mass spectrometry (ICP-MS). The method showed high chemical recoveries and effective removal of interferences. The rapid fusion technique is a rugged sample digestion method that ensures that any refractory plutonium particles are effectively digested. The MDA for a 5 kg rice sample using alpha spectrometry is 7E-5 mBq g{sup -1}. The method can easily be adapted for use by ICP-MS to allow detection of plutonium isotopic ratios.

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

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

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

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

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

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

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

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

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

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

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

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

  20. Methods and Materials Sample Collection

    E-Print Network [OSTI]

    by Greenwood (1958). A 1.5-inch (3.8 em) mesh liner was laced into the cod end to retain small specimens which reported that Alaska pollock \\yas the principal species taken by these Japanese fisheries. However from flatfish samples collected in 1949 were reported by Mosher (1954); the Soviet collections of 1957

  1. Sample Internship Posting Department Name

    E-Print Network [OSTI]

    Bordenstein, Seth

    Sample Internship Posting Department Name: Internship Title: Location: Description of Organization are examples from other internship postings Interns will: · Analyze potential investments · Shadow team members(s) in ________ is desirable For a list of majors see http://admissions.vanderbilt.edu/major Internship Period: The following

  2. Waste tank characterization sampling limits

    SciTech Connect (OSTI)

    Tusler, L.A.

    1994-09-02T23:59:59.000Z

    This document is a result of the Plant Implementation Team Investigation into delayed reporting of the exotherm in Tank 241-T-111 waste samples. The corrective actions identified are to have immediate notification of appropriate Tank Farm Operations Shift Management if analyses with potential safety impact exceed established levels. A procedure, WHC-IP-0842 Section 12.18, ``TWRS Approved Sampling and Data Analysis by Designated Laboratories`` (WHC 1994), has been established to require all tank waste sampling (including core, auger and supernate) and tank vapor samples be performed using this document. This document establishes levels for specified analysis that require notification of the appropriate shift manager. The following categories provide numerical values for analysis that may indicate that a tank is either outside the operating specification or should be evaluated for inclusion on a Watch List. The information given is intended to translate an operating limit such as heat load, expressed in Btu/hour, to an analysis related limit, in this case cesium-137 and strontium-90 concentrations. By using the values provided as safety flags, the analytical laboratory personnel can notify a shift manager that a tank is in potential violation of an operating limit or that a tank should be considered for inclusion on a Watch List. The shift manager can then take appropriate interim measures until a final determination is made by engineering personnel.

  3. Licensing Guide and Sample License

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

    TEI:HNOL06Y TRANSFER WORKIN6 6ROUP Lic:eniing Guide and Sample Lic:enie ICan.u City Plan I OFermilab OAK RIDGE Nuioul.

  4. Environmental Analysis & Policy: Sample Pathway

    E-Print Network [OSTI]

    Goldberg, Bennett

    Environmental Analysis & Policy: Sample Pathway Semester I Semester II Freshman Year CGS Core CGS Sustainable Development OR Spring GE 425 U.S. Environmental Policy (Senior) GE 309 Intermediate Env Analysis (Fall) EAP Elective Summer Environmental Internship Senior Year GE 420 Env Policy Analysis 4 th Semester

  5. Quantum rejection sampling Maris Ozols

    E-Print Network [OSTI]

    Cerf, Nicolas

    generation prob- lem. We exhibit an algorithm, which we call quantum rejec- tion sampling, and analyze its technical innovation is an extension of the automorphism principle to continuous groups that arise or to redistribute to lists, requires prior specific permission and/or a fee. ITCS '12, January 08 - 10, 2012

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

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

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

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

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

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

  12. AUTOMATING GROUNDWATER SAMPLING AT HANFORD

    SciTech Connect (OSTI)

    CONNELL CW; HILDEBRAND RD; CONLEY SF; CUNNINGHAM DE

    2009-01-16T23:59:59.000Z

    Until this past October, Fluor Hanford managed Hanford's integrated groundwater program for the U.S. Department of Energy (DOE). With the new contract awards at the Site, however, the CH2M HILL Plateau Remediation Company (CHPRC) has assumed responsibility for the groundwater-monitoring programs at the 586-square-mile reservation in southeastern Washington State. These programs are regulated by the Resource Conservation and Recovery Act (RCRA) and the Comprehensive Environmental Response Compensation and Liability Act (CERCLA). The purpose of monitoring is to track existing groundwater contamination from past practices, as well as other potential contamination that might originate from RCRA treatment, storage, and disposal (TSD) facilities. An integral part of the groundwater-monitoring program involves taking samples of the groundwater and measuring the water levels in wells scattered across the site. More than 1,200 wells are sampled each year. Historically, field personnel or 'samplers' have been issued pre-printed forms that have information about the well(s) for a particular sampling evolution. This information is taken from the Hanford Well Information System (HWIS) and the Hanford Environmental Information System (HEIS)--official electronic databases. The samplers used these hardcopy forms to document the groundwater samples and well water-levels. After recording the entries in the field, the samplers turned the forms in at the end of the day and the collected information was posted onto a spreadsheet that was then printed and included in a log book. The log book was then used to make manual entries of the new information into the software application(s) for the HEIS and HWIS databases. This is a pilot project for automating this tedious process by providing an electronic tool for automating water-level measurements and groundwater field-sampling activities. The automation will eliminate the manual forms and associated data entry, improve the accuracy of the information recorded, and enhance the efficiency and sampling capacity of field personnel. The goal of the effort is to eliminate 100 percent of the manual input to the database(s) and replace the management of paperwork by the field and clerical personnel with an almost entirely electronic process. These activities will include the following: scheduling the activities of the field teams, electronically recording water-level measurements, electronically logging and filing Groundwater Sampling Reports (GSR), and transferring field forms into the site-wide Integrated Document Management System (IDMS).

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

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

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

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

  17. Analysis of volatile organic compounds (VOCs) in A/M Area Crouch Branch (Cretaceous) Aquifer characterization samples: 1993

    SciTech Connect (OSTI)

    Looney, B.B.; Haselow, J.S.; Keenan, M.A.; Van Pelt, R.; Eddy-Dilek, C.A.; Rossabi, J.; Simmons, J.L.

    1993-12-06T23:59:59.000Z

    Samples were collected during the A/M Area Crouch Branch (Cretaceous) Aquifer Characterization (Phase I) Program. The samples were analyzed for chlorinated VOCs by the Savannah River Technology Center (SRTC) and MicroSeeps Ltd. All samples were sealed in the field immediately upon retrieval of the core and subsampling. A total of 113 samples locations were selected for analysis. The Environmental Sciences Section (ESS) of SRTC analyzed all locations in duplicate (226 samples). MicroSeeps Ltd was selected as the quality assurance (QA) check laboratory. MicroSeeps Ltd analyzed 40 locations with 4 duplicates (44 samples). The samples were collected from seven boreholes in A/M Area in the interval from 200 feet deep to the total depth of the boring (360 feet deep nominal); samples were collected every 10 feet within this interval. The sampling zone corresponds approximately to the Crouch Branch Aquifer in A/M Area. The overall A/M Area Crouch Branch Aquifer characterization objectives, a brief description of A/M Area geology and hydrology, and the sample locations, field notes, driller lithologic logs, and required procedural documentation are presented in WSRC (1993).

  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