National Library of Energy BETA

Sample records for icp interference check

  1. ICP-MS Workshop

    SciTech Connect (OSTI)

    Carman, April J.; Eiden, Gregory C.

    2014-11-01

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

  2. Check valve

    DOE Patents [OSTI]

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

    1999-08-24

    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.

  3. Check valve

    DOE Patents [OSTI]

    Upton, H.A.; Garcia, P.

    1999-08-24

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

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

  5. ICP (Institutional Conservation Program) monitoring

    SciTech Connect (OSTI)

    Not Available

    1989-08-01

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

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

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

  8. M01506020006 log check dam

    E-Print Network [OSTI]

    XY! ¬« 35-0027 M01506020006 log check dam M01506020007 log check dam M01506020001 log check dam M location Berm Channel/swale Check dam Sediment trap/basin Gabion Seed and mulch Cap Established vegetation

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

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

  11. T00706010013 rock check dam

    E-Print Network [OSTI]

    XY! ¬« T00706010013 rock check dam T00706010014 rock check dam T00702040012 established vegetation, green hatch area T00706010002 rock check dam T00706010011 rock check dam T00703120010 rock berm T00703020003 base course berm T00706010004 rock check dam T00706010009 rock check dam T00703020008 base course

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

    SciTech Connect (OSTI)

    Not Available

    1986-09-01

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

  13. ICP Solar Technologies Inc | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QAsource History View NewTexas: Energy Resources JumpNewTexas:Hydrothermally Deposited RockLLC44ICM Inc Jump to:ICP

  14. Smog Check II Evaluation Part IV: Smog Check Costs and

    E-Print Network [OSTI]

    Denver, University of

    Smog Check II Evaluation Part IV: Smog Check Costs and Cost Effectiveness Are the Overall Costs of Smog Check? __________________ 2 2.1. Vehicle Testing Costs____________________________________________ 3 2.2. Repair Costs ___________________________________________________ 5 2.3. Administrative Costs

  15. Hybrid type checking

    E-Print Network [OSTI]

    Flanagan, C

    2006-01-01

    O’Callahan and J. -D. Choi. Hybrid dynamic data race detec-subtyping is sound, the hybrid compilation algorithmHybrid Type Checking Cormac Flanagan Department of Computer

  16. Operating Procedures for the SAMCO ICP RIE System

    E-Print Network [OSTI]

    Reif, Rafael

    1 Operating Procedures for the SAMCO ICP RIE System General Overview: The purpose of the SAMCO semiconductors using chlorine containing etch gases. To accomplish this objective, the ICP-RIE system utilizes high- density plasma that is created through the use of two RF power supplies. In addition, the system

  17. S00906010006 rock check dam

    E-Print Network [OSTI]

    XY! 53-0002 53-0890 53-1036 53-0598 53-0860 53-0056 S00906010006 rock check dam S00906010005 rock check dam S00906010007 rock check dam S00903010009 earthen berm S00903010010 earthen berm S00903120003 Channel/swale Check dam Sediment trap/basin Gabion Seed and mulch Cap Established vegetation SWMU boundary

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

  19. Check Estimates and Independent Costs

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

    1997-03-28

    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. Estimation of the formation rates of polyatomic species of heavy metals in plutonium analyses using a multicollector ICP-MS with a desolvating nebulizer

    SciTech Connect (OSTI)

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

    2015-01-01

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

  1. Checking Paper PMENA 2011 final

    E-Print Network [OSTI]

    Rachael Kenney

    2013-03-27

    checking or verification tool in the classroom (e.g. Berry, Graham, & Smith, 2006; ... Smith, 2003) and may put more trust in their own work than in the calculator.

  2. PASTE 2004 Page 1 June 2004 ""Model CheckingModel Checking"" Software withSoftware with

    E-Print Network [OSTI]

    Rajamani, Sriram K.

    PASTE 2004 Page 1 June 2004 ""Model CheckingModel Checking"" Software withSoftware with Patrice;PASTE 2004 Page 2 June 2004 ""Model CheckingModel Checking"" · Model Checking = systematic state deadlock Each component is modeled by a FSM. #12;PASTE 2004 Page 3 June 2004 Model Checking of Software

  3. ESoftCheck: Removal of Non-vital Checks for Fault Google Inc.

    E-Print Network [OSTI]

    Garzarán, María Jesús

    ESoftCheck: Removal of Non-vital Checks for Fault Tolerance Jing Yu Google Inc. jingyu techniques to determine which are the vital checks, that is, the minimum number of checks that are necessary to detect an error and roll back to a correct program state. ES- oftCheck identifies the vital checks

  4. Fluid relief and check valve

    DOE Patents [OSTI]

    Blaedel, K.L.; Lord, S.C.; Murray, I.

    1986-07-17

    A passive fluid pressure relief and check valve allows the relief pressure to be slaved to a reference pressure independently of the exhaust pressure. The pressure relief valve is embodied by a submerged vent line in a sealing fluid, the relief pressure being a function of the submerged depth. A check valve is embodied by a vertical column of fluid (the maximum back pressure being a function of the height of the column of fluid). The pressure is vented into an exhaust system which keeps the exhaust out of the area providing the reference pressure.

  5. Smog Check II Executive Summary

    E-Print Network [OSTI]

    Denver, University of

    to reduce air pollution emissions from vehicles by encouraging better ongoing maintenance of vehicles. Smog Check targets three types of pollution from vehicles: hydrocarbons (HC), nitrogen oxides (NOx, and ensuring the repair of vehicles with excessive emissions and broken or tampered emissions control systems

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

  7. Why Do Voters Dismantle Checks and Balances?

    E-Print Network [OSTI]

    Acemoglu, Daron

    2011-07-17

    Voters often dismantle constitutional checks and balances on the executive. If such checks and balances limit presidential abuses of power and rents, why do voters support their removal? We argue that by reducing politician ...

  8. Why Do Voters Dismantle Checks and Balances?

    E-Print Network [OSTI]

    Acemoglu, Daron

    Voters often dismantle constitutional checks and balances on the executive. If such checks and balances limit presidential abuses of power and rents, why do voters support their removal? We argue that by reducing politician ...

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

    E-Print Network [OSTI]

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

    2013-02-01

    The herpes simplex virus 1 (HSV-1) infected cell protein 0 (ICP0) is an immediate-early phosphoprotein that transactivates viral gene expression. Evidence suggests that phosphorylation regulates the functions of ICP0, and ...

  10. The effect of laser pulse duration on ICP-MS signal intensity, elemental fractionation, and detection limits

    E-Print Network [OSTI]

    Harilal, S. S.

    and alloys,7,8 geology,9 archaeology,6,10 biological samples,11 radioactive waste anal- ysis,9 etc-stoichiometric ICP-MS results, can occur during laser ablation, during transport from the ablation chamber to the ICP

  11. Interference Effects in the Brain

    E-Print Network [OSTI]

    Jerzy Szwed

    2008-03-14

    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.

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

    E-Print Network [OSTI]

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

    2008-01-01

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

  13. Chapter 7.22 SPTS ICP-SR Deep Reactive Ion Etch

    E-Print Network [OSTI]

    Healy, Kevin Edward

    Chapter 7.22 SPTS ICP-SR Deep Reactive Ion Etch (sts2) (584) 1.0 Equipment Purpose 1.1 The STS2 ICP to achieve high aspect ratios. The system can be used for deep Si trench etching of a single 6-inch (150 mm) substrate. The process chamber is configured for deep Si trench etching. The plasma is inductively coupled

  14. Low-cost interference lithography

    E-Print Network [OSTI]

    Fucetola, Corey P.

    The authors report demonstration of a low-cost ( ? 1000 USD) interference lithography system based on a Lloyd’s mirror interferometer that is capable of ? 300?nm pitch patterning. The components include only a 405?nm GaN ...

  15. Interference Channel with State Information 

    E-Print Network [OSTI]

    Zhang, Lili

    2012-10-19

    In this dissertation, we study the state-dependent two-user interference channel, where the state information is non-causally known at both transmitters but unknown to either of the receivers. We first propose two coding ...

  16. ICALP 2004 Page 1 July 2004 Model CheckingModel Checking

    E-Print Network [OSTI]

    Rajamani, Sriram K.

    ICALP 2004 Page 1 July 2004 Model CheckingModel Checking with Multiwith Multi--Valued LogicsBell Laboratories, Lucent Technologies #12;ICALP 2004 Page 2 July 2004 MultiMulti--Valued Model Checking: Definition") returns a value in L. ­ Example: [(K,s0) p EX p] = (c (d b)) = b s0 p = c p = d p = b #12;ICALP 2004

  17. Procedure/Process Returned Checks (NSF)

    E-Print Network [OSTI]

    /7/2008 Contact information Department: Student Fiscal Services Contact: http://f2.washington.edu/fm/sfs/contact Telephone: 206-543-4694 Student Fiscal Services' Responsibilities Returned / Unpaid Check Procedure The banks, currently US Bank and Bank of America, forward unpaid checks to the Student Fiscal Services

  18. Optimizing Symbolic Model Checking for Statecharts

    E-Print Network [OSTI]

    Beame, Paul

    model checking to a statecharts model, that of an electrical power distribution (EPD) system for Boeing checking based on binary decision diagrams is a powerful formal verification technique for reactive systems of a collision avoidance system and a fault- tolerant electrical power distribution (EPD) system, both used

  19. ...offers early cost-effectiveness check

    E-Print Network [OSTI]

    Oakley, Jeremy

    that an innovation is a `must' ­ offering lower costs for enhanced health outcomes. Or it might turn outMATCH Tool ...offers early cost- effectiveness check on innovations ® Medical Device Evaluation and costs persuade the NHS to buy the innovation? In just three hours, the company was able to check out its

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

  1. Integrity Checking for Uncertain Data Hendrik Decker

    E-Print Network [OSTI]

    Martinenghi, Davide

    Integrity Checking for Uncertain Data Hendrik Decker Instituto Tecnol´ogico de Inform´atica E uncertainty properties of data by integrity constraints, it can be hoped to achieve a double benefit: firstly

  2. Termination Checking with Types Strong Normalization for

    E-Print Network [OSTI]

    Abel, Andreas

    Termination Checking with Types Strong Normalization a program can be separated into two parts: As the first step, partial correctness is established by verifying that a program matches its specification; then, termination is shown to obtain full correctness

  3. Quantum modulation against electromagnetic interference

    E-Print Network [OSTI]

    Juan Carlos Garcia-Escartin

    2014-11-26

    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.

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

    SciTech Connect (OSTI)

    Not Available

    1983-03-01

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

  5. Measuring Interference Between Live Datacenter Applications

    E-Print Network [OSTI]

    Cortes, Corinna

    Measuring Interference Between Live Datacenter Applications Melanie Kambadur Columbia University in datacenters due to contention over shared hardware resources. Unfortunately, understanding interference in live datacenters is more difficult than in controlled environments or on simpler architectures. Most

  6. FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs

    E-Print Network [OSTI]

    Basu, Samik

    , Stony Brook {dsaha, sas}@cs.sunysb.edu Abstract. We present the FocusCheck model-checking tool.): TACAS 2005, LNCS 3440, pp. 563­569, 2005. c Springer-Verlag Berlin Heidelberg 2005 #12;564 C.W. Keller

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

    E-Print Network [OSTI]

    /Os ra- tios measured by neutron activation analysis, suggest that Fremdlinge within a single CAI may vein in Allende (CV3-oxidized). Experimental: The laser ablation system utilized a CETAC LSX-200 laser ablation peripheral with a Fin- nigan MAT Element ICP mass spectrometer [4, 5]. The isotopes monitored were

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

    SciTech Connect (OSTI)

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

    2015-01-01

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

  9. Neural Mechanisms of Interference Control in Working Memory: Effects of Interference Expectancy and Fluid

    E-Print Network [OSTI]

    ) Neural Mechanisms of Interference Control in Working Memory: Effects of Interference Expectancy and FluidNeural Mechanisms of Interference Control in Working Memory: Effects of Interference Expectancy and Fluid Intelligence Gregory C. Burgess1 *, Todd S. Braver2 1 Institute of Cognitive Science, University

  10. 2 0 1 5 -2 0 1 6 R E N E W A L F O R M PARKING (check only one)PARKING (check only one)PARKING (check only one)PARKING (check only one)

    E-Print Network [OSTI]

    Weber, David J.

    this box, I am indicating that I would like to enter into the parking lottery for a space in the lot(s2 0 1 5 - 2 0 1 6 R E N E W A L F O R M FAYETTE SQUARE PARKING (check only one)PARKING (check only one)PARKING (check only one)PARKING (check only one) By checking this box, I am indicating that I plan

  11. Model Checking for Managers Wil Janssen1

    E-Print Network [OSTI]

    Mauw, Sjouke

    , workloads, critical path, data flow, process type, multistep simulation and in the development of correct systems. Applications range from software controlling storm surge barriers [Kars96 correctness requirements must be done carefully. Model checking is an activity for skilled computer scientists

  12. Statistical Model Checking in Uppaal: Lets Practice

    E-Print Network [OSTI]

    David, Alexandre

    analysis of hybrid systems. It does not suf- fer from decidability issues or state-space explosion compared to tradi- tional model-checking. Furthermore, it is applicable to more powerful formalisms correctness of systems and an analysis technique to study performance. The idea behind SMC is to gener- ate

  13. Current @ January 2012 RENEW CHECKED OUT ITEMS

    E-Print Network [OSTI]

    Wagner, Stephan

    Page 1 Current @ January 2012 RENEW CHECKED OUT ITEMS You may renew you own materials online. All material may be renewed except for materials with reserves and materials on which you owe fines. From (Login required). 4. Click on it. 5. This takes you to a new screen which says: e-Wits Catalogue Login. 6

  14. Dynamic Testing of Check Valves William Rahmeyer

    E-Print Network [OSTI]

    Rahmeyer, William J.

    Utah State University paper presented at the Nuclear Industry Check Valve Group, 1996 Winter Meeting deceleration is calculated from the piping system and flow change due to pump shutdown or closure of a control and Flomatic Valves. #12;2 BACKGROUND In a piping system, the shut down of a pump or the closure of a control

  15. Termination Checking with Types Strong Normalization for

    E-Print Network [OSTI]

    Abel, Andreas

    Termination Checking with Types Strong Normalization for Mendler­Style Course­Of­Value Recursion can be separated into two parts: As the first step, partial correctness is established by verifying that a program matches its specification; then, termination is shown to obtain full correctness. For practical

  16. Termination Checking with Types Strong Normalization for

    E-Print Network [OSTI]

    Abel, Andreas

    Termination Checking with Types Strong Normalization for Mendler-Style Course-Of-Value Recursion can be separated into two parts: As the first step, partial correctness is established by verifying that a program matches its specification; then, termination is shown to obtain full correctness. For practical

  17. Date______________________________ Enter Web Voucher # _____________________________ NON-STANDARD CHECK PROCESSING SERVICES FORM

    E-Print Network [OSTI]

    Xie, Xiaoliang Sunney

    the standard check service. Please review Check Processing Policy criteria (http://vpf-webDate______________________________ Enter Web Voucher # _____________________________ NON-STANDARD CHECK PROCESSING SERVICES FORM Harvard will issue checks outside the standard check service for non

  18. Long working distance interference microscope

    DOE Patents [OSTI]

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

    2004-04-13

    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.

  19. Pre-resistance-welding resistance check

    DOE Patents [OSTI]

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

    1991-01-01

    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.

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

    SciTech Connect (OSTI)

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

    2013-08-08

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

  1. FINGERPRINTING AND CRIMINAL HISTORY RECORD CHECK, For Unescorted Access to

    E-Print Network [OSTI]

    Su, Xiao

    FINGERPRINTING AND CRIMINAL HISTORY RECORD CHECK, For Unescorted Access to Radioactive Material of the law and prudent practices, conduct fingerprinting criminal history record checks on current employees an employee's or prospective employee's criminal history and fingerprinting record must be balanced

  2. Master's Thesis Hybrid Statistical Model Checking Technique for

    E-Print Network [OSTI]

    Master's Thesis Hybrid Statistical Model Checking Technique for Reliable Safety Critical Systems Technique for Reliable Safety Critical Systems #12;Hybrid Statistical Model Checking Technique for Reliable Safety Critical Systems Advisor : Professor Kim, Moonzoo by Kim, Youngjoo Department of Computer Science

  3. Predicting Protein Folding Kinetics via Temporal Logic Model Checking: Extended

    E-Print Network [OSTI]

    Langmead, Christopher James

    Predicting Protein Folding Kinetics via Temporal Logic Model Checking: Extended Abstract Abstract. We present a novel approach for predicting protein folding kinetics using techniques from checking. We tested our method on 19 test proteins. The quantitative predictions regarding folding rates

  4. Communication in a Poisson Field of Interferers-Part I: Interference Distribution and Error Probability

    E-Print Network [OSTI]

    Pinto, Pedro C.

    We present a mathematical model for communication subject to both network interference and noise. We introduce a framework where the interferers are scattered according to a spatial Poisson process, and are operating ...

  5. Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automatatheoretic

    E-Print Network [OSTI]

    Emerson, E. Allen

    ­ current Programming General Terms: Verification, Model Checking, Temporal Logic, Abstraction AdditionalUtilizing Symmetry when Model Checking under Fairness Assumptions: An Automata­theoretic Approach E temporal logic model checking. In previous work it is shown how, using some basic notions of group theory

  6. MIMO Interference Cancelation via Network Formation Game

    E-Print Network [OSTI]

    Liu, K. J. Ray

    maximization of mutual information in the MIMO Gaussian interference chan- nel in a fully distributed manner com- munication systems where multiple links share the same communication medium. Two typical examples of outgoing cooperative set and incoming cooperative set, which stands for the links alleviating interference

  7. Check Out - Combustion Energy Frontier Research Center

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 OutreachProductswsicloudwsiclouddenDVA N C E D BGene NetworkNuclear SecurityChattan ooga Eag le For dCheck InFAQ

  8. ICP External

    Energy Savers [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 on Google Bookmark EERE: Alternative Fuels Data Center Home Page on DeliciousMathematicsEnergy HeadquartersFuelB IMSofNewsletterGuidingUpdateofMarch 21, 2012 ICEIWGSeptember 21,

  9. Usage Policies Notebook for Trion RIE / ICP Dry Etch Revision date

    E-Print Network [OSTI]

    Mease, Kenneth D.

    of gases, enter the room and shut off all gas cylinders valves by turning them fully clockwise. Check completed the training and passed the certification may use this equipment. Users may only use the portion

  10. Check all SCHE Supply Purge Check Valves to Prevent Back Flow from SCHE into Helium Supply

    SciTech Connect (OSTI)

    MISKA, C.R.

    2000-10-23

    These valves are 1/2-inch check valves used to prevent SCHe backflow into the Helium System if pressure in the Helium System drops below the pressure of the control valve downstream of the SCHe supply bottles. (14 psig in trains A and B and 2 psig in trains C and D).

  11. Interference Alignment by Motion Swarun Kumar

    E-Print Network [OSTI]

    Hochberg, Michael

    to incorporate into recent slid- ing antennas available on the market. We implemented our design on USRPs extend the gains of interference alignment to scenarios with single antenna systems, such as sensors

  12. Minimum Mean Squared Error Interference Alignment

    E-Print Network [OSTI]

    Honig, Michael L.

    ¨unchen, 80290 Munich, Germany Email: {dschmidt,utschick}@tum.de Department of Electrical Engineering of interference prices. Given a set of announced prices, a transmitter selects a resource (e.g., power or beam

  13. Optimal Distributed Beamforming for MISO Interference Channels 

    E-Print Network [OSTI]

    Qiu, Jiaming

    2012-07-16

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

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

    E-Print Network [OSTI]

    Devlin, Patrick M

    2015-01-03

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

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

  16. Modeling context-dependent aspect interference using default logics

    E-Print Network [OSTI]

    Cazzola, Walter

    the domotica world. Keywords: Aspect interactions, knowledge, interference, default logics. 1 Introduction

  17. Performance checks with the Alpha Sentry CAM

    SciTech Connect (OSTI)

    Rodgers, J.C.

    1994-08-01

    Before a CAM is put into service, it must be calibrated. The flow meter and detector must be calibrated with an external flow meter to provide accurate flow data, and the detector must be calibrated to produce accurate DPM data. Both flow and DPM data enter into the calculation of the Derived Air Concentration exposure (DAC-hr) by the CAM software. The focus of this report is on methods for checking that the DAC-hr alarm functionality has been properly calibrated and available in installed CAM instruments. The process begins with detector calibration. In order to calibrate the detector, the Alpha Sentry CAM is placed in an off-line calibration mode and detector efficiency calibration is selected. The user is prompted to enter the calibration source DPM and place the source in the CAM head. Upon latching the filter door with the source in place, a count is automatically initiated and completed. From the count data and the user entered DPM data, an efficiency is determined in the Alpha Sentry Manager (ASM) and stored in non-volatile memory in the CAM head electronics. This source is typically a plated {sup 239}Pu or {sup 241}Am source diffused into a stainless steel planchet.

  18. Deep Random Search for Efficient Model Checking of Timed Automata

    E-Print Network [OSTI]

    Grosu, Radu

    Deep Random Search for Efficient Model Checking of Timed Automata R. Grosu1 , X. Huang1 , S}@imag.fr Abstract. We present DRS (Deep Random Search), a new Las Vegas algorithm for model checking safety fringe, which is the starting point of additional deep random walks. The DRS algorithm is complete

  19. Criminal History Check Disclosure Notice and Release Authorization

    E-Print Network [OSTI]

    Escher, Christine

    background information may include, but are not limited to: address history; criminal records and historyCriminal History Check Disclosure Notice and Release Authorization *Please attach a copy of your% for National criminal history checks. Hiring Department Index Number: __________________ Activity Code

  20. Solving the Rehearsal Problem with Planning and with Model Checking

    E-Print Network [OSTI]

    Miller, Alice

    Solving the Rehearsal Problem with Planning and with Model Checking Peter Gregory , Alice Miller. Planning problems have been modelled and solved as constraint satis- faction problems [1­4]. Similarly, model checking problems have been modelled and solved as constraint satisfaction problems [5, 6

  1. FINGERPRINTING AND CRIMINAL HISTORY RECORD CHECK ANIMAL CARE LAB

    E-Print Network [OSTI]

    Su, Xiao

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

  2. Predicting Protein Folding Kinetics via Temporal Logic Model Checking

    E-Print Network [OSTI]

    Predicting Protein Folding Kinetics via Temporal Logic Model Checking Christopher James Langmead award from the U.S. Department of Energy. #12;Keywords: protein folding, model checking, temporal logic #12;Abstract We present a novel approach for predicting protein folding kinetics using techniques from

  3. Java Separate Type Checking is not Safe (Extended Abstract)

    E-Print Network [OSTI]

    Robbiano, Lorenzo

    Java Separate Type Checking is not Safe (Extended Abstract) Davide Ancona, Giovanni Lagorio,lagorio,zuccag@disi.unige.it Abstract. Java supports separate type-checking in the sense that com- pilation can be invoked on a single in the environment. However, the Java speci#12;cation does not de#12;ne precise rules on how this process should

  4. Analysis of Probabilistic Error Checking Procedures on Storage Systems

    E-Print Network [OSTI]

    Chen, Ing-Ray

    Analysis of Probabilistic Error Checking Procedures on Storage Systems ING-RAY CHEN AND I.-LING YEN Email: irchen@iie.ncku.edu.tw Conventionally, error checking on storage systems is performed on-the-fly (with probability 1) as the storage system is being accessed in order to improve the reliability

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

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

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

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

    SciTech Connect (OSTI)

    Voica, Cezara Kovacs, Melinda Feher, Ioana

    2013-11-13

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

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

    E-Print Network [OSTI]

    Harilal, S. S.

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

  10. The influence of laser pulse duration and energy on ICP-MS signal intensity, elemental fractionation, and

    E-Print Network [OSTI]

    Harilal, S. S.

    of the thermal processes, heating of the sample can result in preferential evaporation, melting, and ablationThe influence of laser pulse duration and energy on ICP-MS signal intensity, elemental width, irradiance, repetition rate, and pulse energy, are critical parameters which influence the laser

  11. Head-to-Tail Intramolecular Interaction of Herpes Simplex Virus Type 1 Regulatory Protein ICP27 Is Important for Its Interaction with Cellular mRNA Export Receptor TAP/NXF1

    E-Print Network [OSTI]

    Hernandez, Felicia P; Sandri-Goldin, Rozanne M

    2010-01-01

    ICP27 interacts with the export factor Aly/REF to direct1 intronless RNAs to the TAP export pathway. J. Virol. 76:RGG box regulates ICP27 export and is required for efficient

  12. Superfluid {sup 4}He Quantum Interference Grating

    SciTech Connect (OSTI)

    Sato, Yuki; Joshi, Aditya; Packard, Richard

    2008-08-22

    We report the first observation of quantum interference from a grating structure consisting of four weak link junctions in superfluid {sup 4}He. We find that an interference grating can be implemented successfully in a superfluid matter wave interferometer to enhance its sensitivity while trading away some of its dynamic range. We also show that this type of device can be used to measure absolute quantum mechanical phase differences. The results demonstrate the robust nature of superfluid phase coherence arising from quantum mechanics on a macroscopic scale.

  13. Phonon interference effects in molecular junctions

    SciTech Connect (OSTI)

    Markussen, Troels

    2013-12-28

    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.

  14. Exact Non-identity check is NQP-complete

    E-Print Network [OSTI]

    Yu Tanaka

    2009-03-04

    We define a problem "exact non-identity check": Given a classical description of a quantum circuit with an ancilla system, determine whether it is strictly equivalent to the identity or not. We show that this problem is NQP-complete. In a sense of the strict equivalence condition, this problem is different from a QMA-complete problem, non-identity check defined by D. Janzing etc. As corollaries, it is derived that exact equivalence check is also NQP-complete and that it is hard to minimize quantum resources of a given quantum gate array without changing an implemented unitary operation.

  15. Televisions, Video Privacy, and Powerline Electromagnetic Interference

    E-Print Network [OSTI]

    Washington at Seattle, University of

    that the power supplies of modern TVs produce discernible electromagnetic interference (EMI) signatures. For example, utility (power) companies are seeking to deploy smart meters that measure fine-grained power on servers or to redistribute to lists, requires prior specific permission and/or a fee. CCS'11, October 17

  16. Scheduling Wireless Links with Successive Interference Cancellation

    E-Print Network [OSTI]

    Scheduling Wireless Links with Successive Interference Cancellation Olga Goussevskaia Department@tik.ee.ethz.ch Abstract--In this paper we study the problem of scheduling wireless links in a model where successive in strength significantly. It has been shown that the problem of scheduling wireless links with successive

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

  18. High-Speed Computation of Cyclic Redundancy Checks

    E-Print Network [OSTI]

    Johnson, Eric E.

    and Computer Engineering New Mexico State University November 1995 Abstract Cyclic redundancy checks (CRCs) are widely used in error-prone channels to detect corruption of data blocks. This report describes

  19. Checking Your Car's 4000 Welds is Serious Business. Scientists...

    Energy Savers [EERE]

    Business. Scientists Just Made it Easier. March 4, 2015 - 10:45am Addthis Robotic welding is vital to auto manufacturing, but double checking the welds is done by hand....

  20. A package TESTAS for checking some kinds of testability

    E-Print Network [OSTI]

    Trakhtman, Avraham

    A package TESTAS for checking some kinds of testability=C++ package. Introduction Locally testable and piecewise testable languages with generalizations and sufficient conditions and the algorithms used in the package are based on this approach. The locally

  1. Behavioral Model Equivalence Checking for Large Analog Mixed Signal Systems 

    E-Print Network [OSTI]

    Singh, Amandeep

    2012-07-16

    This thesis proposes a systematic, hierarchical, optimization based semi-formal equivalence checking methodology for large analog/mixed signal systems such as phase locked loops (PLL), analog to digital convertors (ADC) ...

  2. Terms & Conditions UC San Diego Check Inn 2015

    E-Print Network [OSTI]

    California at San Diego, University of

    ; these documents will be accessible online once your reservation has been confirmed. ELIGIBILITY Check Inn is only to educational institutions we are unable to house individuals who are visiting for vacation or tourism reasons

  3. Probabilistic Model Checking of the PDGF Signaling Pathway

    E-Print Network [OSTI]

    Mauw, Sjouke

    approach [7, 8], first introduced by Hart, An extended abstract appears in the proceedings of CompMod 2011 and communication protocols. In probabilistic (or stochastic) model checking, systems are normally represented

  4. Fast Directed Model Checking via Russian Doll Abstraction

    E-Print Network [OSTI]

    Hoffmann, Jörg -FR 6.2

    Fast Directed Model Checking via Russian Doll Abstraction Sebastian Kupferschmid1 , J¨org Hoffmann2 on a kind of Russian Doll principle, where the heuristic for a given problem arises through using UPPAAL

  5. A Vectorless Framework for Power Grid Electromigration Checking

    E-Print Network [OSTI]

    Najm, Farid N.

    A Vectorless Framework for Power Grid Electromigration Checking Mohammad Fawaz Department of ECE, instead of the traditional series model. Keywords Power grid, Electromigration, Verification, Redundancy, Opti- mization 1. INTRODUCTION Power grid verification has become an essential step in modern

  6. Model checking infinite-state systems: generic and specific approaches 

    E-Print Network [OSTI]

    To, Anthony Widjaja

    2010-01-01

    Model checking is a fully-automatic formal verification method that has been extremely successful in validating and verifying safety-critical systems in the past three decades. In the past fifteen years, there has been ...

  7. 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 ___________________________________ 12 7. Emissions of Individual Vehicles Vary from Test to Test ________ 15 8. Total Emissions

  8. Certification of Taxpayer Identification Number for Individuals Please check one

    E-Print Network [OSTI]

    Zallen, Richard

    Substitute Form W-9 Certification of Taxpayer Identification Number for Individuals Please check: ________________________ Middle: _____________________ Last: _______________________________ 2. U.S. taxpayer identification statements are true, correct, and complete and that: 1. The number shown on this form is my correct taxpayer

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

    E-Print Network [OSTI]

    Lee, Junghoon

    2012-01-01

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

  10. Transmission Policies for Asymmetric Interference Channels with Energy Harvesting Nodes

    E-Print Network [OSTI]

    Yener, Aylin

    Transmission Policies for Asymmetric Interference Channels with Energy Harvesting Nodes Kaya power policies to maximize sum capacity in an energy harvesting setting. It is shown derive optimal power allocation policies for interference channels comprised of energy harvesting

  11. PERSPECTIVES Can resistance against quorum-sensing interference

    E-Print Network [OSTI]

    Wood, Thomas K.

    interference-resistant bacteria in a clinical setting. The ISME Journal advance online publication, 29 May 2015PERSPECTIVES Can resistance against quorum-sensing interference be selected? Rodolfo García to resistance in bacterial populations. However, recently, resistance mechanisms against well

  12. A mathematical theory of network interference and its applications

    E-Print Network [OSTI]

    Shepp, Lawrence A.

    n this paper, we introduce a mathematical framework for the characterization of network interference in wireless systems. We consider a network in which the interferers are scattered according to a spatial Poisson process ...

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

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

  15. ERP Correlates of Interference R248B 1 Event-related potential correlates of interference effects on recognition memory

    E-Print Network [OSTI]

    Wagner, Anthony

    ERP Correlates of Interference R248B 1 Event-related potential correlates of interference effects: 4000 words In Press, Psychonomic Bulletin & Review #12;ERP Correlates of Interference R248B 2 Abstract addressed this question. Here, we used event-related potentials (ERPs) to test the predictions

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

    SciTech Connect (OSTI)

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

    2013-06-01

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

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

    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)

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

  19. Summary of tests made to check conformity of prototype PAM's, readers and chargers with specifications

    E-Print Network [OSTI]

    Moy, B; Stevenson, G R

    1975-01-01

    Summary of tests made to check conformity of prototype PAM's, readers and chargers with specifications

  20. Model Checking CS 4271, Lecture 4, 2nd Feb 2012

    E-Print Network [OSTI]

    Roychoudhury, Abhik

    (A) = {| |= } Language(A) is defined as per the -regular notion of string acceptance It accepts infinite length strings-based testing LTL Property System Model From test spec. Copyright 2011 by Abhik Roychoudhury3 Model Checking No, with Counter-example trace Generated Test Encoding test specifications Def. 1 A trace satisfies a test

  1. Combining Symbolic Execution and Model Checking for Data Flow Testing

    E-Print Network [OSTI]

    Su, Zhendong

    . Dynamic Symbolic Execution [14], [15] (DSE) is a widely accepted and effective approach for automatic testCombining Symbolic Execution and Model Checking for Data Flow Testing Ting Su Zhoulai Fu Geguang Pu@cs.ucdavis.edu Abstract--Data flow testing (DFT) focuses on the flow of data through a program. Despite its higher fault

  2. THE UNIVERSITY OF MISSISSIPPI POLICY ON BACKGROUND CHECKS

    E-Print Network [OSTI]

    Tchumper, Gregory S.

    employment such as arrests, expunged or sealed records. Applicants with a criminal history Credit Reporting Act (FCRA) mandates types of records that cannot be used to automatically deny check process. Human Resources contracts with an outside agency in executing the criminal, credit

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

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

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

  6. Curriculum Model Checking: Declarative Representation and Verification of Properties

    E-Print Network [OSTI]

    Torino, Università di

    Curriculum Model Checking: Declarative Representation and Verification of Properties Matteo Baldoni-10149 Torino (Italy) baldoni@di.unito.it,elisa.mrng@gmail.com Abstract. When a curriculum is proposed, it is important to verify at least three aspects: that the curriculum allows the achievement of the user

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

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

  9. Oracle Circuits for Branching-Time Model Checking

    E-Print Network [OSTI]

    Doyen, Laurent

    is at least exponen- tially more succinct than its pure-future fragment [LMS02b]. 2 There is a similar model checking problem [LMS01,LMS02a]. However, for some remaining logics, the techniques used in [LMS01,LMS02a] for proving p 2-hardness do not apply. The difficulty here is that, if these prob- lems

  10. Dynamic Delayed Duplicate Detection for External Memory Model Checking

    E-Print Network [OSTI]

    Evangelista, Sami

    is a method to prove that finite state systems match their spec- ification. Given a model of the system space, of the system to check the validity of the property. Despite its simplicity, its practical to benefit from the aggregate computational power and memory of a cluster of machines, or make use

  11. MEMS design rule checking: a batch approach for remote operation

    SciTech Connect (OSTI)

    Yarberry, V.R.

    1998-01-01

    This paper describes a design rule checking (DRC) tool developed as an aid for designing microelectromechanical structures (MEMS) using AutoCAD running on a Windows NT workstation. The application suite, MEMSdrc, consists of: a graphical user interface integrated into AutoCAD to invoke DRC, translation and interface software to communicate with a commercial IC layout design checking software package, and routines to interactively display and review the results. The user interface provides the capability to select a checking window area and specific DRC rules to be applied to the design. The MEMS structures, defined as 2D AutoCAD geometry are translated first into DXF format, then to GDSII format. A remote process transfers the files to a Unix workstation where Mentor Graphics ICverify is invoked to perform the layout design rule checks. Upon completion, the results are translated into DXF geometry and returned back to the Windows NT workstation to be overlaid onto the original design. A set of icons are provided for the user to interactively review the results inside of AutoCAD using a first/next/previous technique.

  12. Efficient Integrity Checking for Databases with Recursive Views

    E-Print Network [OSTI]

    Martinenghi, Davide

    Efficient Integrity Checking for Databases with Recursive Views Davide Martinenghi and Henning Christiansen Roskilde University, Computer Science Dept. P.O.Box 260, DK-4000 Roskilde, Denmark E-mail: {dm,henning-finding problems, such as network routing and travel planning. The introduction of re- cursion (since 1999

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

  14. Model checking LTL over controllable linear systems is decidable

    E-Print Network [OSTI]

    Pappas, George J.

    Model checking LTL over controllable linear systems is decidable Paulo Tabuada and George J. Pappas Department of Electrical and Systems Engineering University of Pennsylvania Philadelphia, PA 19104 {tabuadap,pappasg}@seas.upenn.edu Abstract. The use of algorithmic verification and synthesis tools for hy- brid systems is currently limited

  15. Hybrid Statistical Model Checking Technique for Reliable Safety Critical Systems

    E-Print Network [OSTI]

    @cs.kaist.ac.kr Abstract--Reliability of safety critical systems such as nuclear power plants and automobiles has become1 Hybrid Statistical Model Checking Technique for Reliable Safety Critical Systems Youngjoo Kim a significant issue to our society. As more computing systems are utilized in these safety critical systems

  16. Statistical Model Checking for Networks of Priced Timed Automata

    E-Print Network [OSTI]

    David, Alexandre

    Statistical Model Checking for Networks of Priced Timed Automata Alexandre David1 , Kim G. Larsen1- and cost-bounded properties. A second contribution of the paper is the application of Statistical Model-time and hybrid systems with quantitative constraints on time, energy or more general continuous aspects [1

  17. Algorithms for first-order model checking Daniel Kral' (Warwick)

    E-Print Network [OSTI]

    Banaji,. Murad

    Algorithms for first-order model checking Daniel Kral' (Warwick) Meta-algorithms for deciding time algorithm of Frick and Grohe which applies to graphs with locally bounded tree- width. In this talk, we first survey commonly applied techniques to design FPT algorithms for FO properties. We

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

  19. Redundancy-Aware Electromigration Checking for Mesh Power Grids

    E-Print Network [OSTI]

    Najm, Farid N.

    Redundancy-Aware Electromigration Checking for Mesh Power Grids Sandeep Chatterjee ECE Department-emerging as a significant problem in modern integrated circuits (IC). Especially in power grids, due to shrinking wire the reliability of the grid by considering it entirely as a series system. However, a power grid with its many

  20. Laboratory Personnel Safety Check List Employee/Student Name_________________________________ Date_______________

    E-Print Network [OSTI]

    Rubloff, Gary W.

    Laboratory Personnel Safety Check List Employee/Student Name_________________________________ Date in the laboratory? 2. _______ Has the PI/Lab Supervisor discussed all hazardous components of the research? a in the laboratory? 4. _______ Has the PI/Lab Supervisor discussed the need for the employee/student to inform health

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

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

  3. Model-Checking One-Clock Priced Timed Automata

    E-Print Network [OSTI]

    Doyen, Laurent

    Model-Checking One-Clock Priced Timed Automata Patricia Bouyer1 , Kim G. Larsen2 , and Nicolas, Denmark kgl@cs.aau.dk Abstract. We consider the model of priced (a.k.a. weighted) timed au- tomata, 18, 7]. In particu- lar, as part of this effort, the notion of priced (or weighted) timed automata [4

  4. ModelChecking OneClock Priced Timed Automata

    E-Print Network [OSTI]

    Doyen, Laurent

    Model­Checking One­Clock Priced Timed Automata Patricia Bouyer 1# , Kim G. Larsen 2## , and Nicolas, Denmark kgl@cs.aau.dk Abstract. We consider the model of priced (a.k.a. weighted) timed au­ tomata, 18, 7]. In particu­ lar, as part of this e#ort, the notion of priced (or weighted) timed automata [4

  5. Shape Analysis through Predicate Abstraction and Model Checking

    E-Print Network [OSTI]

    Namjoshi, Kedar

    Shape Analysis through Predicate Abstraction and Model Checking Dennis Dams and Kedar S. Namjoshi framework with the analysis of some "classical" list manipulation programs, using our implementa- tion on a "classical" list reversal program. A detailed de- scription of the experiments, including input and result

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

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

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

    E-Print Network [OSTI]

    B. Feuerbacher

    2003-09-04

    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.

  9. Private Client Services A PERSONAL INSURANCE CHECK-UP

    E-Print Network [OSTI]

    Emmons, Scott

    Private Client Services A PERSONAL INSURANCE CHECK-UP FOR YOU AND YOUR FAMILY You've worked hard management services. PROTECTING YOUR FUTURE Identifying a need before it becomes a problem is key. Working-for-profit organizations? #12;Marsh is one of the Marsh & McLennan Companies, together with Guy Carpenter, Mercer

  10. Multi-Photon Interference and Temporal Distinguishability of Photons

    E-Print Network [OSTI]

    Z. Y. Ou

    2007-08-24

    A number of recent interference experiments involving multiple photons are reviewed. These experiments include generalized photon bunching effects, generalized Hong-Ou-Mandel interference effects and multi-photon interferometry for demonstrations of multi-photon de Broglie wavelength. The multi-photon states used in these experiments are from two pairs of photons in parametric down-conversion. We find that the size of the interference effect in these experiments, characterized by the visibility of interference pattern, is governed by the degree of distinguishability among different pairs of photons. Based on this discovery, we generalize the concept of multi-photon temporal distinguishability and relate it to a number of multi-photon interference effects. Finally, we make an attempt to interpret the coherence theory by the multi-photon interference via the concept of temporal distinguishability of photons.

  11. Liu UCD Phy9B 07 1 Ch 35. Interference

    E-Print Network [OSTI]

    Yoo, S. J. Ben

    Liu UCD Phy9B 07 1 Ch 35. Interference #12;Liu UCD Phy9B 07 2 35-1. Interference & Coherence #12;Liu UCD Phy9B 07 4 35-2. Two Source Interference of Light Thomas Young's experiment (1800... Spacing between adjacent maxima /minima: R/d (R>>d, R>>ym) #12;Liu UCD Phy9B 07 6 35-3. Intensity

  12. Software and Hardware Techniques for Mitigating the Multicore Interference Problem /

    E-Print Network [OSTI]

    Gupta, Anshuman

    2013-01-01

    resource sharing on datacenter applications. In ISCA,interference between live datacenter applications. In SC,data obtained from live datacenter applications using Google

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

    E-Print Network [OSTI]

    Chang, Chih-Hao, 1980-

    2008-01-01

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

  14. Long working-distance, incoherent light interference microscope...

    Office of Scientific and Technical Information (OSTI)

    has been developed to address the growing demand for new microsystem characterization tools. The design of the new microscope is similar to that of a Linnik interference...

  15. Atomic and nuclear interference phenomena and their applications 

    E-Print Network [OSTI]

    Kuznetsova, Yelena Anatolyevna

    2005-08-29

    In this work, interference and coherence phenomena, appearing in atomic and molecular ensembles interacting with coherent light sources, as electromagnetically induced transparency (EIT), coherent population trapping (CPT), ...

  16. Sandia Energy - Siting: Wind Turbine/Radar Interference Mitigation...

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

    Mitigation (TSPEAR & IFT&E) Home Stationary Power Energy Conversion Efficiency Wind Energy Siting and Barrier Mitigation Siting: Wind TurbineRadar Interference...

  17. Long working distance incoherent interference microscope

    DOE Patents [OSTI]

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

    2006-04-25

    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.

  18. Compound transfer matrices: Constructive and destructive interference

    E-Print Network [OSTI]

    Boonserm, Petarapa

    2011-01-01

    Scattering from a compound barrier, one composed of a number of distinct non-overlapping sub-barriers, has a number of interesting and subtle mathematical features. If one is scattering classical particles, where the wave aspects of the particle can be ignored, the transmission probability of the compound barrier is simply given by the product of the transmission probabilities of the individual sub-barriers. In contrast if one is scattering waves (whether we are dealing with either purely classical waves or quantum Schrodinger wavefunctions) each sub-barrier contributes phase information (as well as a transmission probability), and these phases can lead to either constructive or destructive interference, with the transmission probability oscillating between nontrivial upper and lower bounds. In this article we shall study these upper and lower bounds in some detail, and also derive bounds on the closely related process of quantum excitation (particle production) via parametric resonance.

  19. Removable check valve for use in a nuclear reactor

    DOE Patents [OSTI]

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

    1988-01-01

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

  20. Non-trivial checks of novel consistency relations

    SciTech Connect (OSTI)

    Berezhiani, Lasha; Khoury, Justin; Wang, Junpu E-mail: jkhoury@sas.upenn.edu

    2014-06-01

    Single-field perturbations satisfy an infinite number of consistency relations constraining the squeezed limit of correlation functions at each order in the soft momentum. These can be understood as Ward identities for an infinite set of residual global symmetries, or equivalently as Slavnov-Taylor identities for spatial diffeomorphisms. In this paper, we perform a number of novel, non-trivial checks of the identities in the context of single field inflationary models with arbitrary sound speed. We focus for concreteness on identities involving 3-point functions with a soft external mode, and consider all possible scalar and tensor combinations for the hard-momentum modes. In all these cases, we check the consistency relations up to and including cubic order in the soft momentum. For this purpose, we compute for the first time the 3-point functions involving 2 scalars and 1 tensor, as well as 2 tensors and 1 scalar, for arbitrary sound speed.

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

    E-Print Network [OSTI]

    Anoymous,

    1984-01-01

    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 Patterned Fabrics Amount of Fabric Needed... Fabric Preparation Pattern Placement For a Pleasi ng Effect For Matching Assembling the Garment Fabric Care References 3 4 4 5 5 5 6 7 7 7 7 7 9 10 10 11 PATTERNED FABRIC KNOW-HOW (Plaids, Stripes, Checks and Figured Designs...

  2. A Nash Equilibrium Analysis for Interference Coupled Wireless Systems

    E-Print Network [OSTI]

    Alpcan, Tansu

    A Nash Equilibrium Analysis for Interference Coupled Wireless Systems Siddharth Naik Technical.boche@mk.tu-berlin.de Abstract--This paper studies the properties of Nash equilib- rium for noncooperative games in interference are investigated to establish the existence and uniqueness of a Nash equilibrium solution. These properties play

  3. Interference Mitigation in Femtocell Network Using Anonymous Author(s)

    E-Print Network [OSTI]

    Freitas, Nando de

    the power adaptation process of the FUEs and MUE to be a discrete multi agent Markov decision problem 050 051 052 053 Interference Mitigation in Femtocell Network Using Q-learning Anonymous Author problems is the so-called co-tier and cross-tier interference caused by the new femtocell network layer

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

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

  6. Power line carrier interference from HVDC converter terminals

    SciTech Connect (OSTI)

    Tatro, P.J.; Adamson, K.A. (New England Power Service Co., Westborough, MA (United States)); Eitzmann, M.A.; Smead, M. (GE Industrial and Power Systems, Schenectady, NY (United States). Power Systems Engineering Dept.)

    1993-07-01

    Power line carrier (PLC) equipment typically operates in the frequency range from 25 kHz to 300 kHz. Interference studies for HVDC converters usually concentrate on interference from noise sources within this frequency range. However, operating experience at the Sandy Pond converter terminal has indicated that PLC equipment is also susceptible to interference from sources of power system harmonics below the PLC frequency range. Extensive field testing and analytical studies have shown that each PLC circuit has a resonant frequency below the operating frequency. If excited at this resonant frequency, high voltages may exist within the PLC circuit. The resulting saturation of PLC components leads to local generation of radio frequency (RF) noise that interferes with proper operation of PLC circuits. Sources of power system harmonics in the 3-10 kHz range, such as line commutated dc converters, are potential sources of this type of interference.

  7. "I'd Like to Check Out Two Books, One DVD, and One Electrical...

    Energy Savers [EERE]

    "I'd Like to Check Out Two Books, One DVD, and One Electrical Meter, Please." "I'd Like to Check Out Two Books, One DVD, and One Electrical Meter, Please." December 8, 2009 -...

  8. Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems

    E-Print Network [OSTI]

    : Formal Verification, Abstraction, Model Checking, Hybrid Systems, Refinement, Counterexamples #12Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems Edmund Clarke a counterexample generated by the model checker. For hybrid systems, analysis of the counterexample requires

  9. Academic Handbook, Registration, Criminal Records Check (VSS) Page 1 Issued: 2011 12

    E-Print Network [OSTI]

    Lennard, William N.

    Academic Handbook, Registration, Criminal Records Check (VSS) Page 1 Issued: 2011 12 Criminal not require a Criminal Records Check or other screening procedure (e.g., Vulnerable Sector Screen {VSS should be aware that a criminal records check or VSS may be required by other facilities used

  10. Quantum algorithms to check Resiliency, Symmetry and Linearity of a Boolean function

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    Quantum algorithms to check Resiliency, Symmetry and Linearity of a Boolean function Kaushik algorithms to check the order of resiliency, symmetry and linearity of a Boolean function that is available be exploited to check whether a Boolean function is symmetric (respectively linear) or not. Given a Boolean

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

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

  12. Bounded Model Checking and Feature Omission Amin Alipour and Alex Groce

    E-Print Network [OSTI]

    Groce, Alex David

    counterexample to the system, in which case BMC verification implies system correctness. of model checking runs model checking, based on parallel runs over versions of a system in which features have been randomly. INTRODUCTION Model checking [5] is a technique for formal verification, which inspects all reachable states

  13. By April 15 Submit Abstract (electronically) Abstract Payment Form (with $35 check or credit card)

    E-Print Network [OSTI]

    Gadsby, David

    DEADLINES By April 15 Submit Abstract (electronically) Abstract Payment Form (with $35 check Rental Form (with check or credit card) Submit Late Abstract and Form (with $35 check or credit card.sgpweb.org For overnight delivery: Society of General Physiologists 35 Cumloden Drive Falmouth, MA 02540 #12;

  14. Interference-induced splitting of resonances in spontaneous emission

    E-Print Network [OSTI]

    R. Arun

    2007-10-06

    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.

  15. Optimizing ZigBee Security using Stochastic Model Checking

    E-Print Network [OSTI]

    Yüksel, Ender; Nielson, Flemming; Fruth, Matthias; Kwiatkowska, Marta

    2012-01-01

    ZigBee is a fairly new but promising wireless sensor network standard that offers the advantages of simple and low resource communication. Nevertheless, security is of great concern to ZigBee, and enhancements are prescribed in the latest ZigBee specication: ZigBee-2007. In this technical report, we identify an important gap in the specification on key updates, and present a methodology for determining optimal key update policies and security parameters. We exploit the stochastic model checking approach using the probabilistic model checker PRISM, and assess the security needs for realistic application scenarios.

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

    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.

  17. Check In & Registration - Combustion Energy Frontier Research Center

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 OutreachProductswsicloudwsiclouddenDVA N C E D BGene NetworkNuclear SecurityChattan ooga Eag le For dCheck In

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

    E-Print Network [OSTI]

    TECHNOLOGIES AG, Hanauer Landstrasse 103, D-63796 Kahl am Main, Germany 2 Institute for Solar Energy ResearchICP-PECVD PRODUCTION TOOL FOR INDUSTRIAL AlOX AND Si-BASED PASSIVATION LAYERS B.F.P. Roos1 , T Hamelin (ISFH), Am Ohrberg 1, D-31860 Emmerthal, Germany Correspondent author: bjoern

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

  20. Is There Still Time to Avoid `Dangerous Anthropogenic Interference' with Global Climate?*#

    E-Print Network [OSTI]

    Hansen, James E.

    Is There Still Time to Avoid `Dangerous Anthropogenic Interference' with Global Climate on humans and wildlife, and constitute "dangerous anthropogenic interference" with nature. The Earth

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

    E-Print Network [OSTI]

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

    2011-01-01

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

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

  3. Quantum interference as a resource for quantum speedup

    E-Print Network [OSTI]

    Dan Stahlke

    2014-08-01

    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.

  4. On the Capacity of Cognitive Relay assisted Gaussian Interference Channel

    E-Print Network [OSTI]

    Jafar, Syed A.

    On the Capacity of Cognitive Relay assisted Gaussian Interference Channel Sriram Sridharan, Sriram: srid- hara@ece.utexas.edu; sriram@ece.utexas.edu). S. Sridharan and S. Vish- wanath are supported

  5. On the Capacity of Vector Gaussian Interference Channels Sriram Vishwanath

    E-Print Network [OSTI]

    Jafar, Syed A.

    On the Capacity of Vector Gaussian Interference Channels Sriram Vishwanath Electrical and Computer Engineering Univ. of Texas at Austin, Austin, TX 78712 e-mail: sriram@ece.utexas.edu Syed Ali Jafar Electrical

  6. Interference in Exclusive Vector Meson Production in Heavy Ion Collisions

    E-Print Network [OSTI]

    Spencer R. Klein; Joakim Nystrand

    1999-09-03

    Photons emitted from the electromagnetic fields of relativistic heavy ions can fluctuate into quark anti-quark pairs and scatter from a target nucleus, emerging as vector mesons. These coherent interactions are identifiable by final states consisting of the two nuclei and a vector meson with a small transverse momentum. The emitters and targets can switch roles, and the two possibilities are indistinguishable, so interference may occur. Vector mesons are negative parity so the amplitudes have opposite signs. When the meson transverse wavelength is larger than the impact parameter, the interference is large and destructive. The short-lived vector mesons decay before amplitudes from the two sources can overlap, and so cannot interfere directly. However, the decay products are emitted in an entangled state, and the interference depends on observing the complete final state. The non-local wave function is an example of the Einstein-Podolsky-Rosen paradox.

  7. Quantum interference within the complex quantum Hamilton-Jacobi formalism

    E-Print Network [OSTI]

    Chia-Chun Chou; Angel S. Sanz; Salvador Miret-Artes; Robert E. Wyatt

    2010-05-26

    Quantum interference is investigated within the complex quantum Hamilton-Jacobi formalism. As shown in a previous work [Phys. Rev. Lett. 102, 250401 (2009)], complex quantum trajectories display helical wrapping around stagnation tubes and hyperbolic deflection near vortical tubes, these structures being prominent features of quantum caves in space-time Argand plots. Here, we further analyze the divergence and vorticity of the quantum momentum function along streamlines near poles, showing the intricacy of the complex dynamics. Nevertheless, despite this behavior, we show that the appearance of the well-known interference features (on the real axis) can be easily understood in terms of the rotation of the nodal line in the complex plane. This offers a unified description of interference as well as an elegant and practical method to compute the lifetime for interference features, defined in terms of the average wrapping time, i.e., considering such features as a resonant process.

  8. Interference management techniques in large-scale wireless networks 

    E-Print Network [OSTI]

    Luo, Yi

    2015-06-29

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

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

    E-Print Network [OSTI]

    Weinberg, David E. (David Eric)

    2013-01-01

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

  10. Electromagnetic Interference (EMI) Resisting Analog Integrated Circuit Design Tutorial 

    E-Print Network [OSTI]

    Yu, Jingjing

    2012-10-19

    INTERFERENCE (EMI) RESISTING ANALOG INTEGRATED CIRCUIT DESIGN TUTORIAL A Thesis by JINGJING YU 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... August 2012 Major Subject: Electrical Engineering ELECTROMAGNETIC INTERFERENCE (EMI) RESISTING ANALOG INTEGRATED CIRCUIT DESIGN TUTORIAL A Thesis by JINGJING YU Submitted to the Office of Graduate Studies of Texas A&M University...

  11. Effect of interference on thermal noise and coating optimization in dielectric mirrors

    E-Print Network [OSTI]

    N. M. Kondratiev; A. G. Gurkovsky; M. L. Gorodetsky

    2011-02-18

    Optical multilayer coatings of high-reflective mirrors significantly determine the properties of Fabry-Perot resonators. Thermal (Brownian) noise in these coatings produce excess phase noise which can seriously degrade the sensitivity of high-precision measurements with these cavities, in particular in laser gravitational-wave antennas (for example project LIGO), where at the current stage it is one of the main limiting factors. We present a method to calculate this effect accurately and analyze different strategies to diminish it by optimizing the coating. Traditionally this noise is calculated as if the beam is reflected from the surface of the mirror fluctuating due to the sums of the fluctuations of each layer. However the beam in fact penetrates a coating and Brownian expansion of the layers leads to dephasing of interference in the coating and consequently to additional change in reflected phase. Fluctuations in the thickness of a layer change the strain in the medium and hence due to photoelastic effect change the refractive index of this layer. This additional effect should be also considered. It is possible to make the noise smaller preserving the reflectivity by changing the total number of layers and thicknesses of high and low refractive ones. We show how this optimized coating may be constructed analytically rather then numerically as before. We also check the possibility to use internal resonant layers and optimized cap layer to decrease the thermal noise.

  12. Check of AGT Relation for Conformal Blocks on Sphere

    E-Print Network [OSTI]

    V. Alba; And. Morozov

    2010-06-15

    The AGT conjecture identifying conformal blocks with the Nekrasov functions is investigated for the spherical conformal blocks with more than 4 external legs. The diagram technique which arises in conformal block calculation involves propagators and vertices. We evaluated vertices with two Virasoro algebra descendants and explicitly checked the AGT relation up to the third order of the expansion for the 5-point and 6-point conformal blocks on sphere confirming all the predictions of arXiv:0906.3219 relevant in this situation. We propose that U(1)-factor can be extracted from the matrix elements of the free field Vertex operators. We studied the n-point case, and found out that our results confirm the AGT conjecture up to the third order expansions.

  13. DBS eligibility guidance v2.1 October 2013 -1 -A guide to eligibility for criminal record checks

    E-Print Network [OSTI]

    Harman, Neal.A.

    . The DBS will be removing certain specified old and minor offences from criminal record certificates issued Act 1997 (Criminal Records) Regulations. Enhanced checks with children's and/or adult's barred list check(s) ­ To be eligible to request a check of the children's or adult's barred lists, the position

  14. INTERFERENCE FRINGES OF SOLAR ACOUSTIC WAVES AROUND SUNSPOTS

    SciTech Connect (OSTI)

    Chou, Dean-Yi; Zhao Hui; Yang, Ming-Hsu; Liang, Zhi-Chao

    2012-10-20

    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.

  15. Casting out nines is a method for checking the accuracy of arithmetic ...

    E-Print Network [OSTI]

    Roames, Renee S

    2015-08-19

    Math 13700. Casting out Nines. Assignment #34. Casting out nines is a method for checking the accuracy of arithmetic. You can cast out nines by adding the ...

  16. Failure Modes and Causes for Swing and Lift Type Check Valves

    Office of Scientific and Technical Information (OSTI)

    Group (NIC), ORNL has reviewed and analyzed check valve failures from the Institute of Nuclear Power Operations' (INPOs') Nuclear Plant Reliability Database System (NPRDS)...

  17. Failure Modes and Causes for Swing and Lift Type Check Valves...

    Office of Scientific and Technical Information (OSTI)

    to the recent work performed by Oak Ridge National Laboratory (ORNL)relative to nuclear industry check valve performance, no information was readily available regarding the...

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

    SciTech Connect (OSTI)

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

    2015-01-01

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

  19. This research reports on the investigation into the synthesis and stabilization of iron oxide nanoparticles for theranostic applications using amine-epoxide polymers. Although theranostic agents such as magnetic

    E-Print Network [OSTI]

    , Iron oxide content (ICP analysis) and superconducting quantum interference devices (SQUID) analysis

  20. Quantum interferences reconstruction with low homodyne detection efficiency

    E-Print Network [OSTI]

    Esposito, M; Titimbo, K; Zimmermann, K; Kourousias, G; Curri, A; Floreanini, R; Parmigiani, F; Fausti, D; Benatti, F

    2015-01-01

    Standard quantum state reconstruction techniques indicate that a detection efficiency of $0.5$ is an absolute threshold below which quantum interferences cannot be measured. However, alternative statistical techniques suggest that this threshold can be overcome at the price of increasing the statistics used for the reconstruction. In the following we present numerical experiments proving that quantum interferences can be measured even with a detection efficiency smaller than $0.5$. At the same time we provide a guideline for handling the tomographic reconstruction of quantum states based on homodyne data collected by low efficiency detectors.

  1. Cavity-output-field control via interference effects

    E-Print Network [OSTI]

    Viorel Ciornea; Mihai A. Macovei

    2014-10-25

    We show how interference effects are responsible for manipulating the output electromagnetic field of an optical micro-resonator in the good-cavity limit. The system of interest consists in a moderately strongly pumped two-level emitter embedded in the optical cavity. When an additional weaker laser of the same frequency is pumping the combined system through one of the resonator's mirrors then the output cavity electromagnetic field can be almost completely suppressed or enhanced. This is due to the interference among the scattered light by the strongly pumped atom into the cavity mode and the incident weaker laser field. The result applies to photonic crystal environments as well.

  2. Ramsey Interference in a Multi-level Quantum System

    E-Print Network [OSTI]

    J. P. Lee; A. J. Bennett; J. Skiba-Szymanska; D. J. P. Ellis; I. Farrer; D. A. Ritchie; A. J. Shields

    2015-08-24

    We report Ramsey interference in the excitonic population of a negatively charged quantum dot revealing the coherence of the state in the limit where radiative decay is dominant. Our experiments show that the decay time of the Ramsey interference is limited by the spectral width of the transition. Applying a vertical magnetic field induces Zeeman split transitions that can be addressed by changing the laser detuning to reveal 2, 3 and 4 level system behaviour. We show that under finite field the phase-sensitive control of two optical pulses from a single laser can be used to prepare both population and spin qubits simultaneously.

  3. Experimental and theoretical study of propeller spinner/shank interference 

    E-Print Network [OSTI]

    Cornell, Carl Clayton

    1986-01-01

    of a spinner with four round (18) stub blade shanks attached. The shank length was established to duplicate that of a typical unfaired blade shank. From Reid's data Borst , ' deduced a drag interference loss of C = 0. 517 which (19, 20) D... in the form of: 2 2 0 = ~ = 0. 8(t/c) - 0. 0003 D qc C (III-5) C = ~ 0. 75(t/c) ? 0 0003(t/c) 2 D ~qt (III-6) 22 Sarsfeld postulated that the change in efficiency can be represented by a ratio of interference drag to thrust produced by the propeller...

  4. Making Automated Building Code Checking A Reality1 Charles S. Han, John Kunz, Kincho H. Law

    E-Print Network [OSTI]

    Stanford University

    Making Automated Building Code Checking A Reality1 Charles S. Han, John Kunz, Kincho H. Law Center for automated code-checking to be successful, the program that does the analysis of a building design must set of building codes. The complexity and changing nature of codes leads to delays in both the design

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

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

  7. Abstraction and CounterexampleGuided Refinement in Model Checking of Hybrid Systems

    E-Print Network [OSTI]

    : Formal Verification, Abstraction, Model Checking, Hybrid Systems, Refinement, Counterexamples #12; 1Abstraction and Counterexample­Guided Refinement in Model Checking of Hybrid Systems Edmund Clarke a counterexample generated by the model checker. For hybrid systems, analysis of the counterexample requires

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

  9. University of Washington | Human Resources | UTemp Staffing Program REFERENCE CHECKING CONSENT AND AUTHORIZATION FORM

    E-Print Network [OSTI]

    Matrajt, Graciela

    University of Washington | Human Resources | UTemp Staffing Program REFERENCE CHECKING CONSENT of Washington and have provided information about my previous employment. I authorize the University of Washington to conduct a reference check with my present and/or previous employer(s). I understand

  10. INTELLIGENT PERFORMANCE CHECK OF PV SYSTEM OPERATION BASED ON SATELLITE DATA

    E-Print Network [OSTI]

    Heinemann, Detlev

    INTELLIGENT PERFORMANCE CHECK OF PV SYSTEM OPERATION BASED ON SATELLITE DATA A. Drews* , J. Betcke of a fully automated service for performance check and error detection for photovoltaic (PV) systems by daily surveillance. Malfunctions of a grid-connected PV system, e.g. drop out of single module strings

  11. Attend VCS resume review sessions in RTH Check Viterbi graduate student blog for

    E-Print Network [OSTI]

    Zhou, Chongwu

    PhD Attend VCS resume review sessions in RTH 218 Check Viterbi graduate student blog for Ph con- nectSC and Company websites in fall Attend VCS Workshops Check Viterbi graduate student blog Viterbi graduate student blog at http://gappblog.usc.edu/ Attend Company Information Sessions (Employer

  12. Check list for introduction of new employees at the Department of Plant Protection Biology, SLU, Alnarp.

    E-Print Network [OSTI]

    Check list for introduction of new employees at the Department of Plant Protection Biology, SLU........................ .. ...................................................... 1. Routines and rules for insect and plant cultivation 2. Washing up routines 3. Ordering routines/supervisor............................................................................................. Check list for employee leaving the department Head

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

  14. MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and

    E-Print Network [OSTI]

    Czarnecki, Krzysztof

    MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers Edward present a method and an associated system, called Math- Check, that embeds the functionality of a computer algebra system (CAS) within the inner loop of a conflict-driven clause-learning SAT solver. SAT

  15. Context-Bounded Model Checking of LTL Properties for ANSI-C Software

    E-Print Network [OSTI]

    Context-Bounded Model Checking of LTL Properties for ANSI-C Software Jeremy Morse1 , Lucas Cordeiro in low-level programming languages like ANSI- C. In this paper, we describe and experiment such as ANSI-C [9, 23, 17]. In context-bounded model checking, the state spaces of such applications

  16. 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 to the verification of embedded soft- ware written in ANSI-C. We have extended the encodings from previous SMT. Keywords-Bounded Model Checking; Satisfiability Modulo Theories; Embedded ANSI-C Software; I. INTRODUCTION

  17. A Tool for Checking ANSI-C Programs Edmund Clarke, Daniel Kroening, and Flavio Lerda

    E-Print Network [OSTI]

    Clarke, Edmund M.

    A Tool for Checking ANSI-C Programs Edmund Clarke, Daniel Kroening, and Flavio Lerda Carnegie Mellon University Abstract. We present a tool for the formal verification of ANSI-C pro- grams using Bounded Model Checking (BMC). The emphasis is on us- ability: the tool supports almost all ANSI-C language

  18. Radio Frequency Interference Validation Testing for LAAS using the

    E-Print Network [OSTI]

    Stanford University

    of a LAAS Ground Facility (LGF) that is composed of various monitors to detect possible hazardous anomalies Controller (AGC) outputs from the IMT receivers are sensitive to interference but are not sensitive to other types of failures. In addition to being more sensitive to changes in RFI, they provide a useful metric

  19. N-slit interference: Path integrals, Bohmian trajectories

    E-Print Network [OSTI]

    Valeriy I Sbitnev

    2010-01-25

    Path integrals give a possibility to compute in details routes of particles from particle sources through slit gratings and further to detectors. The path integral for a particle passing through the Gaussian slit results in the Gaussian wavepacket. The wavepackets prepared on N slits and superposed together give rise to interference pattern in the near-field zone. It transforms to diffraction in the far-field zone represented by divergent principal rays, at that all rays are partitioned from each other by (N-2) subsidiary rays. The Bohmian trajectories in the near-field zone of N-slit gratings show wavy behavior. And they become straight in the far-field zone. The trajectories show zigzag behavior on the interference Talbot carpet (ratio of particle wavelength to a distance between slits are much smaller than 1 and N>>1). Interference from the the N-slit gratings is simulated by scattering monochromatic neutrons (wavelength=0.5 nm). Also we have considered simulation of interference fringes arising at scattering on an N-slit grating of fullerene molecules (according to the real experiment stated in e-print 1001.0468).

  20. Interspecific Pheromone Plume Interference Among Sympatric Heliothine Moths: A Wind

    E-Print Network [OSTI]

    Interspecific Pheromone Plume Interference Among Sympatric Heliothine Moths: A Wind Tunnel Test for conspecific males in a wind tunnel, and then placed heterospecific females on either side of the original is a pest of tomatillo in Mexico, is Heliothis subflexa Guenée. All three of these moths share the same

  1. Interference in Cellular Networks: The Minimum Membership Set Cover Problem

    E-Print Network [OSTI]

    interference reduction by suitable assignment of transmission power levels to base stations. This task stations (hollow points) are assigned identical transmission power levels (dashed circles), client c, or mountains, and the base station transmis- sion power. Since due to legal or architectural constraints

  2. Low-Interference Topology Control for Wireless Ad Hoc Networks

    E-Print Network [OSTI]

    Li, Xiang-Yang

    wireless ad hoc networks. Many aspects of the networking will affect the energy consumption of the wireless may cause larger energy consumption. In wireless ad hoc networks, each wireless device can selectively1 Low-Interference Topology Control for Wireless Ad Hoc Networks Kousha Moaveni-Nejad, Xiang

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

    E-Print Network [OSTI]

    Kelleci, Burak

    2009-05-15

    removing the interference in digital domain requires higher dynamic range of analog front-end than removing it in analog domain, a programmable analog notch filter is used to relax the receiver requirements in the presence of NBI. The baseband filter...

  4. Asymptotic Interference Alignment for Exact Repair in Distributed Storage Systems

    E-Print Network [OSTI]

    Jafar, Syed A.

    Asymptotic Interference Alignment for Exact Repair in Distributed Storage Systems Viveck R. Cadambe consider a distributed storage system where a file of size M is stored in n distributed storage nodes using of this paper is to repair failed nodes in the storage system, by replacing them by their replicas (exact repair

  5. The word class effect in the pictureword interference paradigm

    E-Print Network [OSTI]

    Makous, Walter

    The word class effect in the picture­word interference paradigm Niels Janssen University of La of Trento, Trento, Italy Harvard University, Cambridge, MA, USA The word class effect in the picture­word for word class constraints on lexical selection. However, methodological concerns called for a replication

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

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

    E-Print Network [OSTI]

    Gao, Hongjun

    Electromagnetic Interference (EMI) Shielding of Single-Walled Carbon Nanotube Epoxy Composites Ning) shielding effectiveness (SE) of SWNTs. Our results indicate that SWNTs can be used as effective lightweight EMI shielding materials. Composites with greater than 20 dB shielding efficiency were obtained easily

  8. Testing During Study Insulates Against the Buildup of Proactive Interference

    E-Print Network [OSTI]

    Szpunar, Karl K.

    Testing During Study Insulates Against the Buildup of Proactive Interference Karl K. Szpunar in the benefits of retrieval practice on long-term retention--the testing effect--has spawned a considerable. Taking a test may benefit retention through both direct means (engaging appropriate retrieval processes

  9. RNA Interference: Endogenous siRNAs Derived from Transposable

    E-Print Network [OSTI]

    Jiggins, Francis

    RNA Interference: Endogenous siRNAs Derived from Transposable Elements The Piwi-interacting RNARNAs are about 22 nt long, are derived from host-expressed fold-back structures, and associate primarily with Ago1 [5]. Conversely, antiviral siRNAs (viRNAs), are about 21 nt, are derived from double

  10. ICP Contract Modifications

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power Administration would likeUniverse (JournalvivoHighHussein KhalilResearch &ENERGYWho shouldModifications to

  11. Comparison of Pulsed Sinusoid Radio Frequency Interference Detection Algorithms Using Time and

    E-Print Network [OSTI]

    Ruf, Christopher

    Comparison of Pulsed Sinusoid Radio Frequency Interference Detection Algorithms Using Time of two major Radio Frequency Interference (RFI) detection algorithms is compared. The peak detection algorithm and the kurtosis detection algorithm are characterized using the receiver operating characteristic

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

    E-Print Network [OSTI]

    Qi, Tianren

    2011-01-01

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

  13. Instant HR January 9, 2008 TOPIC: Compliance Issues -Sign Up Now for New Background Check and I-9 Training

    E-Print Network [OSTI]

    Hammack, Richard

    you need to follow for criminal records background checks and to become familiar with the federal I-9 using HireRight, the new on-line system for requesting criminal history background checks on all new

  14. Polar Shear Lag Analysis of a Composite of Concentric Cylinders with Longitudinal Cracks: Application to Internal Checking in Wood

    E-Print Network [OSTI]

    Nairn, John A.

    : Application to Internal Checking in Wood J.A.Nairn Wood Science and Engineering, Oregon State University the existence of internal checks lowers the value of the wood when it is milled into lumber (due to detrimental

  15. Design and Testing of Vacuum Breaker Check Valve for Simplified Boiling Water Reactor

    SciTech Connect (OSTI)

    Ishii, M.; Xu, Y.; Revankar, S.T.

    2002-07-01

    A new design of the vacuum breaker check valve was developed to replace the mechanical valve in a simplified boiling water reactor. Scaling and design calculations were performed to obtain the geometry of new passive hydraulic vacuum breaker check valve. In order to check the valve performance, a RELAP5 model of the simplified boiling water reactor system with the new valve was developed. The valve was implemented in an integral facility, PUMA and was tested for large break loss of coolant accident. (authors)

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

    E-Print Network [OSTI]

    Diederik Aerts; Sandro Sozzo

    2012-04-22

    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.

  17. Characterization of LMS and DMR Beamformers in the Presence of Loud Periodic Interferers

    E-Print Network [OSTI]

    George Mason University

    Characterization of LMS and DMR Beamformers in the Presence of Loud Periodic Interferers Geoffrey C introduced loud impulsive periodic interferers into these systems. Standard LMS adaptive beamforming interference. 1. INTRODUCTION Adaptive Least Mean-Square (LMS) beamformers are efficient algorithms, providing

  18. Apparatus for eliminating background interference in fluorescence measurements

    DOE Patents [OSTI]

    Martin, J.C.; Jett, J.H.

    1986-03-04

    The disclosure is directed to an apparatus for eliminating background interference during fluorescence measurements in a multiple laser flow cytometer. A biological particle stained with fluorescent dyes is excited by a laser. A fluorescence detector detects the fluorescence. The particle scatters light and a gate signal is generated and delayed until the biological particle reaches the next laser. The delayed signal turns on this next laser, which excites a different stained component of the same biological particle. 8 figs.

  19. Cube-corner reflectors with interference dielectric coating

    SciTech Connect (OSTI)

    Sokolov, A L; Murashkin, V V; Akent'ev, A S; Karaseva, E A

    2013-09-30

    The cube-corner reflectors (CCRs) with a special interference dielectric coating intended for ring retroreflector systems of space vehicles with uniaxial orientation are considered. The diffraction patterns of radiation reflected from the CCRs with different face coatings are studied. It is shown that the choice of the angle between the faces, the size and the coating of CCR faces allow essential variation in the diffraction pattern, thereby providing its optimisation for solving different navigation problems. (nanogradient dielectric coatings and metamaterials)

  20. Checking and Debugging of Two-level Sadegh SAIDI and Jean-Francois BOULICAUT

    E-Print Network [OSTI]

    Boulicaut, Jean-François

    Checking and Debugging of Two-level Grammars Sadegh SAIDI and Jean-Francois BOULICAUT Ecole Centrale de Lyon D6partement Math6matiques-Informatique-Syst~mes BP 163 F-69131 Ecully cedex e-mail : saidi

  1. ErikaCheck,Washington Scientists at a military medical facility in

    E-Print Network [OSTI]

    ErikaCheck,Washington Scientists at a military medical facility in Washington DC have lashed out on the campus of the Walter Reed Army Medical Center and at several smaller facilities in the Washington area

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

    E-Print Network [OSTI]

    Prabhakar, Abhiram

    2001-01-01

    The bipartite graph of an LDPC code is typically constructed at random. The memory required to store the randomly constructed parity-check matrix at the decoder can be prohibitive in some applications. When a system has a ...

  3. Unitary spin squeezing by interference-based quantum erasure

    E-Print Network [OSTI]

    Mingfeng Wang; Weizhi Qu; Pengxiong Li; Han Bao; Yanhong Xiao

    2015-02-06

    We propose an all-optical approach for quantum erasure. Unwanted atom-light entanglement in spin squeezing is removed by destructive interference of three successive atom-light interaction process, with only the desired atom-atom interaction left. This scheme allows implementation of unitary one-axis and two-axis twisting spin squeezing using coherent light and cold or warm atomic ensemble. Calculations show that substantial spin squeezing is attainable under moderate experiment conditions. This proposal provides a new angle in using light to efficiently create many-body entanglement state with simple setups, and thus is promising for advancing technologies in quantum metrology and quantum information procession.

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

    E-Print Network [OSTI]

    American Society for Testing and Materials. Philadelphia

    2006-01-01

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

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

    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.

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

    SciTech Connect (OSTI)

    Oji, L. N.

    2013-03-07

    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.

  7. DEVELOPMENT OF RADIO FREQUENCY INTERFERENCE DETECTION ALGORITHMS FOR PASSIVE MICROWAVE REMOTE SENSING

    E-Print Network [OSTI]

    Ruf, Christopher

    DEVELOPMENT OF RADIO FREQUENCY INTERFERENCE DETECTION ALGORITHMS FOR PASSIVE MICROWAVE REMOTE Gross for pretty much building almost everything that this thesis is based on and Darren Mc

  8. Characterization of single photons using two-photon interference

    E-Print Network [OSTI]

    T. Legero; T. Wilk; A. Kuhn; G. Rempe

    2005-12-02

    Adiabatic passage techniques allow the generation of single photons which are very long compared to the typical detector time resolution. Therefore the detection time of a photon can be measured within the duration of the single-photon wavepacket. As a consequence, two-photon interference can be investigated in a time-resolved manner, i.e., the coincidence rate can be measured as a function of the time between photodetections. The theoretical analysis shows that this method not only gives information about the duration of single photons, but also about their coherence time. Here we discuss how to use this method for a spectral or temporal characterization of a single-photon source.

  9. Realization and modeling of rf superconducting quantum interference device metamaterials

    E-Print Network [OSTI]

    M. Trepanier; Daimeng Zhang; Oleg Mukhanov; Steven M. Anlage

    2013-10-28

    We have prepared meta-atoms based on radio frequency superconducting quantum interference devices (RF SQUIDs) and examined their tunability with dc magnetic field, rf current, and temperature. RF SQUIDs are superconducting split ring resonators in which the usual capacitance is supplemented with a Josephson junction, which introduces strong nonlinearity in the rf properties. We find excellent agreement between the data and a model which regards the Josephson junction as the resistively and capacitively-shunted junction. A magnetic field tunability of 80 THz/Gauss at 12 GHz is observed, a total tunability of 56$%$ is achieved, and a unique electromagnetically-induced transparency feature at intermediate excitation powers is demonstrated for the first time. An RF SQUID metamaterial is shown to have qualitatively the same behavior as a single RF SQUID with regards to DC flux and temperature tuning.

  10. Magnetoelectric transport and quantum interference effect in ultrathin manganite films

    SciTech Connect (OSTI)

    Wang, Cong; Jin, Kui-juan Gu, Lin; Lu, Hui-bin; Li, Shan-ming; Zhou, Wen-jia; Zhao, Rui-qiang; Guo, Hai-zhong; He, Meng; Yang, Guo-zhen

    2014-04-21

    The magnetoelectric transport behavior with respect to the thicknesses of ultrathin La{sub 0.9}Sr{sub 0.1}MnO{sub 3} films is investigated in detail. The metal-insulator phase transition, which has never been observed in bulk La{sub 0.9}Sr{sub 0.1}MnO{sub 3}, is found in ultrathin films with thicknesses larger than 6 unit cells. Low-temperature resistivity minima appeared in films with thicknesses less than 10 unit cells. This is attributed to the presence of quantum interference effects. These data suggest that the influence of the weak localization becomes much pronounced as the film thickness decreases from 16 to 8 unit cells.

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

    DOE Patents [OSTI]

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

    1984-04-27

    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.

  12. New Faculty Getting-Started Check List page 1 of 2 (Last updated: April 2015)

    E-Print Network [OSTI]

    . PARKING PERMIT & LOT ASSIGNMENT Don't get ticketed or towed. All vehicles parked on campus (including-Started Check List NOTES: (1) A printable campus map is available in the right-hand menu here: http://inside.mines.edu/Parking campus street parking) must be registered with Parking Services. Go to http://inside.mines.edu/Parking

  13. DEPARTMENT GUIDE FOR PROCESSING PRE-EMPLOYMENT BACKGROUND CHECKS FOR GRADUATE STUDENT EMPLOYEES

    E-Print Network [OSTI]

    Carver, Jeffrey C.

    of criminal records in a student's home country additional time may be taken securing a check will conduct a review of federal court records, municipal court records for all US addresses in the past 10 Policy, policy number 201.00 under HR Policy Manual, and Procedures for Securing Criminal Background

  14. Biomedical Engineering AND Chemical & Biological Engineering Student Name:_________________________ Curriculum Check Sheet 158 Credits

    E-Print Network [OSTI]

    TOTAL 15 TOTAL 16 2nd Year Fall 2nd Year Spring CBE 201 Material and Energy Balances (CBE 102 or MATH:_________________________ Curriculum Check Sheet 158 Credits 1st Year Fall 1st Year Spring COURSE NAME (PREREQS) TERM* CR COURSE NAME TOTAL 17 TOTAL 17 3rd Year Fall 3rd Year Spring CBE 310 Molecular Concepts and Applications (CBE 210

  15. Biomedical Engineering AND Mechanical Engineering Student Name:________________________ Curriculum Check Sheet 157 Credits

    E-Print Network [OSTI]

    13 TOTAL 15 2nd Year Fall 2nd Year Spring MATH 261 Calc for Physical Scientists III (MATH 161) F Check Sheet 157 Credits 1st Year Fall 1st Year Spring COURSE NAME (PREREQS) TERM* CR COURSE NAME Intro to Electrical Engineering (MATH 161; PH 142) F,S,SS 3 TOTAL 17 TOTAL 17 3rd Year Fall 3rd Year

  16. Biomedical Engineering AND Chemical & Biological Engineering Student Name:_________________________ Curriculum Check Sheet 158 Credits

    E-Print Network [OSTI]

    TOTAL 15 TOTAL 16 2nd Year Fall 2nd Year Spring MATH 261 Calc for Physical Scientists III (MATH 161) F:_________________________ Curriculum Check Sheet 158 Credits 1st Year Fall 1st Year Spring COURSE NAME (PREREQS) TERM* CR COURSE NAME 3rd Year Fall 3rd Year Spring CBE 310 Molecular Concepts and Applications (CBE 210; MATH 340) F 3

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

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

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

  20. Co-op Scholar IT Check List CO-OP PROGRAM IT CHECKLIST FOR SUPERVISORS

    E-Print Network [OSTI]

    Diessel, Oliver

    Co-op Scholar IT Check List 1 CO-OP PROGRAM IT CHECKLIST FOR SUPERVISORS SCOPE: These guidelines access to relevant Company systems (eg e-mail) as soon as they start. The same dept/person must documentation including letter of offer, Confidentiality Agreement, OH&S safety audit etc is completed

  1. Temperature-and Energy-Constrained Scheduling in Multitasking Systems: A Model Checking Approach

    E-Print Network [OSTI]

    Mishra, Prabhat

    Temperature- and Energy-Constrained Scheduling in Multitasking Systems: A Model Checking Approach and temperature in micro- processors. This has raised urgent requirement for both power and thermal management in a temperature- and energy- constrained multi- tasking system. The state space explosion problem is alleviated

  2. Applicant MUST check one: EMPLOYEE Health Benefits Application City of New York

    E-Print Network [OSTI]

    Qiu, Weigang

    Applicant MUST check one: EMPLOYEE Health Benefits Application City of New York RETIREE Health OR PERSONNEL OFFICE ONLY I certify that the above employee/retiree is eligible for the New York City Health. New Enrollment Reinstatement Retirement Disability Retirement Accident Disability Retirement Drop

  3. Proceedings of FLAIRS-2002 1 Checking for Dimensional Correctness in Physics Equations

    E-Print Network [OSTI]

    Liew, Chun Wai

    Proceedings of FLAIRS-2002 1 Checking for Dimensional Correctness in Physics Equations C.W. Liew provides. This paper describes an example of a class of physics prob- lems whose answers are most naturally of algebra but also knowledge of physics concepts. This paper describes a technique for determining the dimen

  4. Automatic Checking of SQL: Computerised Grading Dr Gordon Russell, g.russell@napier.ac.uk

    E-Print Network [OSTI]

    Russell, Gordon

    Automatic Checking of SQL: Computerised Grading Dr Gordon Russell, g.russell@napier.ac.uk Andrew a repository of documents, slides, and tutorial sheets. ActiveSQL takes this a stage further, offering interactive practical sessions for learning SQL. These sessions provide tutorial questions which the student

  5. Personalized Spell Checking using Neural Networks Tyler Garaas, Mei Xiao, and Marc Pomplun

    E-Print Network [OSTI]

    Pomplun, Marc

    Personalized Spell Checking using Neural Networks Tyler Garaas, Mei Xiao, and Marc Pomplun Visual., Boston, MA 02125-3393, USA tgaraas@cs.umb.edu, meixiao@cs.umb.edu, marc@cs.umb.edu Abstract. Spell;2 Tyler Garaas, Mei Xiao, and Marc Pomplun must be performed to transform one word into another, combined

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

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

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

    E-Print Network [OSTI]

    Sivakumar, Suresh

    2001-01-01

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

  9. Check svn for updated files / tests https://svn.cs.umd.edu/repos/geekos/project0

    E-Print Network [OSTI]

    Hollingsworth, Jeffrey K.

    code Check vfs.h TODO Add to mount point operations (why?) #12;fileio.h /* * An entry in an Access of file */ int size; /* size of the file */ unsigned int isUsed:1; /* is entry active */ unsigned int is]; /* ... */ struct VFS_ACL_Entry acls[VFS_MAX_ACL_ENTRIES]; /* ACL entries */ } GOSFSfileNode; #12;ACL system call

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

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

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

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

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

  15. welcome to university residences Boiler Gold Rush Check-In...........................Saturday, August 13 and

    E-Print Network [OSTI]

    Fernández-Juricic, Esteban

    welcome to university residences #12;Boiler Gold Rush Check-In...........................Saturday, August 13 and Sunday, August 14, 2011 Boiler Gold Rush residence hall systems in the United States. weLcomE! 1 #12;Boiler GoLD Rush ParticiPants Your regular

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

    E-Print Network [OSTI]

    1 SMT-Based Bounded Model Checking for Embedded ANSI-C Software Lucas Cordeiro, Bernd Fischer software written in ANSI-C in order to improve scalability and precision in a completely automatic way. We was provided for ANSI-C [5] constructs such as bit-level operations, fixed- point arithmetic, pointers (i

  17. 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 to the verification of embedded soft- ware written in ANSI-C. We have extended the encod- ings from previous SMT and linear arithmetic were considered, but no encoding was provided for ANSI-C [6] constructs such as bit

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

    E-Print Network [OSTI]

    Fletcher, Robin

    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 Library Genealogy Information: www.kfpl.ca/ and http://www.kfpl.ca/genealogy-resources Cyndi's List

  19. Remote performance check and automated failure identification for grid-connected PV systems

    E-Print Network [OSTI]

    Heinemann, Detlev

    Remote performance check and automated failure identification for grid-connected PV systems cloudy skies. This determines the quality of the PV simulation and finally the period of time, satellite data, PVSAT-2 1. Introduction Failure-free operation of grid-connected photovoltaic (PV) systems

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

  1. CANCELING STRONG NARROWBAND MAIN-BEAM INTERFERENCE A. A. (Louis) Beex & James R. Zeidler

    E-Print Network [OSTI]

    Beex, A. A. "Louis"

    CANCELING STRONG NARROWBAND MAIN-BEAM INTERFERENCE A. A. (Louis) Beex & James R. Zeidler DSPRL a small adaptation stepsize. In that case, any interference arriving from the main beam look direction as well. The latter will be applied to the auxiliary beams and the main beam, or to the error signal

  2. INTERFERENCE ALIGNMENT USING REWEIGHTED NUCLEAR NORM MINIMIZATION Gokul Sridharan and Wei Yu

    E-Print Network [OSTI]

    Yu, Wei

    INTERFERENCE ALIGNMENT USING REWEIGHTED NUCLEAR NORM MINIMIZATION Gokul Sridharan and Wei Yu Edward by the nuclear norm. We further propose the use of an iterative reweighted nuclear norm approach and show, nuclear norm minimization, reweighting. 1. INTRODUCTION Since the landmark development of interference

  3. Dangerous Anthropogenic Interference* A Discussion of Humanity's Faustian Climate Bargain and the Payments Coming Due

    E-Print Network [OSTI]

    Hansen, James E.

    Dangerous Anthropogenic Interference* A Discussion of Humanity's Faustian Climate Bargain government official that I should not talk about "dangerous anthropogenic interference" with climate, because we do not know how much humans are changing the Earth's climate or how much change is "dangerous

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

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

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

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

  8. Mitigating Interference between IEEE 802.16 Systems Operating in License-exempt Mode

    E-Print Network [OSTI]

    Murphy, Liam

    Mitigating Interference between IEEE 802.16 Systems Operating in License-exempt Mode Omar Ashagi approach to mitigate interference issues in license-exempt 802.16 systems is presented. This approach can be divided into two mode of operation: licensed mode of operation, and license-exempt mode

  9. The word class effect in the pictureword interference paradigm Niels Janssen,

    E-Print Network [OSTI]

    Caramazza, Alfonso

    The word class effect in the picture­word interference paradigm Niels Janssen, University of La of Trento, Trento, Italy Harvard University, Cambridge, MA, USA Abstract The word class effect in the picture­word interference paradigm is a highly influential finding that has provided some of the most

  10. Combined Use of Magnetic and Electrically Conductive Fillers in a Polymer Matrix for Electromagnetic Interference Shielding

    E-Print Network [OSTI]

    Chung, Deborah D.L.

    for Electromagnetic Interference Shielding JUNHUA WU1,2 and D.D.L. CHUNG1,3 1.--Composite Materials Research for electromagnetic interference shielding than the use of a highly magnetic filler alone or the use of a highly electrical resistivity below 10 X cm, as provided by conductive fillers, which contribute to shielding

  11. Event-based simulation of interference with alternatingly blocked particle sources

    E-Print Network [OSTI]

    K. Michielsen; S. Mohanty; L. Arnold; H. De Raedt

    2011-12-12

    We analyze the predictions of an event-based corpuscular model for interference in the case of two-beam interference experiments in which the two sources are alternatingly blocked. We show that such experiments may be used to test specific predictions of the corpuscular model.

  12. Fabrication of moth-eye structures on silicon by direct six-beam laser interference lithography

    SciTech Connect (OSTI)

    Xu, Jia; Zhang, Ziang; Weng, Zhankun; Wang, Zuobin Wang, Dapeng

    2014-05-28

    This paper presents a new method for the generation of cross-scale laser interference patterns and the fabrication of moth-eye structures on silicon. In the method, moth-eye structures were produced on a surface of silicon wafer using direct six-beam laser interference lithography to improve the antireflection performance of the material surface. The periodic dot arrays of the moth-eye structures were formed due to the ablation of the irradiance distribution of interference patterns on the wafer surface. The shape, size, and distribution of the moth-eye structures can be adjusted by controlling the wavelength, incidence angles, and exposure doses in a direct six-beam laser interference lithography setup. The theoretical and experimental results have shown that direct six-beam laser interference lithography can provide a way to fabricate cross-scale moth-eye structures for antireflection applications.

  13. RFEDSCHK User's Manual (The RFEDS Lab Data Check routine), Environmental and Scientific Systems Information Resources: Version 1. 00

    SciTech Connect (OSTI)

    Not Available

    1992-05-01

    The RFEDS Laboratory Data Check routine (RFEDSCHK) preforms checks of the off-site laboratory data to identify missing and/or incorrect data which may exist. The check routine is designed to assist the laboratories to correct deficiencies contained in the data before it is sent to the Rocky Flats Environmental Management Department, there-by improving the quality of the data being placed in RFEDS. If the data passes the checks with no errors, the data will be acceptable for placement into RFEDS and delivery of the electronic data to EG G is appropriate. If errors are detected, the laboratory should correct the errors and perform the check again until the data is free of errors.

  14. Checking Quotas

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 Outreach Home Room News PublicationsAudits &BradburyMayARM-0501 Marine Stratus Radiation,ACharles

  15. Low-energy fusion caused by an interference

    E-Print Network [OSTI]

    B. Ivlev

    2012-11-30

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

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

    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.

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

    SciTech Connect (OSTI)

    Dessotti, F. A.; Ricco, L. S.; Souza, M. de; Souza, F. M.; Seridonio, A. C.

    2014-11-07

    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.

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

    E-Print Network [OSTI]

    Cordeiro, Lucas; Marques-Silva, Joao

    2009-01-01

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

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

    DOE Patents [OSTI]

    Gordon, Susanna P.; Evans, John A.

    2005-12-27

    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.

  20. Exploring equity in uptake of the NHS Health Check and a nested physical activity intervention trial

    E-Print Network [OSTI]

    Attwood, S.; Morton, K.; Sutton, S.

    2015-06-01

    %2Fharingeygovuk%2Ffiles%2Fnhs_ health_check_vascular_risk_assessment_and_management_best_ practice_guidance._department_of_health__2009.pdf&ei=xnbPVI6 gO8X58QWS3IGoDg&usg=AFQjCNFje9aiNitTy92d51YHlT8ydd TCuA&bvm=bv.85076809,d.dGc (1 February 2105...

  1. Biomedical Engineering AND Electrical Engineering Student Name:_______________________ Curriculum Check Sheet 157 Credits

    E-Print Network [OSTI]

    (conc.) or 117 (conc.)) F,S,SS 1 TOTAL 16 TOTAL 15 2nd Year Fall 2nd Year Spring MATH 261 Calc Check Sheet 157 Credits 1st Year Fall 1st Year Spring COURSE NAME (PREREQS) TERM* CR COURSE NAME Attributes of Living System F,S,SS 4 TOTAL 15 TOTAL 15 3rd Year Fall 3rd Year Spring ECE 311 Linear Systems

  2. Biomedical Engineering AND Mechanical Engineering Student Name:________________________ Curriculum Check Sheet 157 Credits

    E-Print Network [OSTI]

    to Mechanical Eng F 3 TOTAL 15 TOTAL 15 2nd Year Fall 2nd Year Spring CIVE 260 Engr. Mechanics: Statics (MATH Check Sheet 157 Credits 1st Year Fall 1st Year Spring COURSE NAME (PREREQS) TERM* CR COURSE NAME or conc or 255 or conc) F,S 5 MECH 231 Engr Experimt'n (MECH 105; PH 142) F,S 3 TOTAL 17 TOTAL 17 3rd Year

  3. Biomedical Engineering AND Electrical Engineering Student Name:_______________________ Curriculum Check Sheet 157 Credits

    E-Print Network [OSTI]

    (conc) or 117 (conc)) F,S,SS 1 TOTAL 16 TOTAL 15 2nd Year Fall 2nd Year Spring MATH 261 Calc Check Sheet 157 Credits 1st Year Fall 1st Year Spring COURSE NAME (PREREQS) TERM* CR COURSE NAME Year Fall 3rd Year Spring ECE 311 Linear Systems Analysis I (ECE 202; MATH 340 or MATH 345) F 3 ECE 312

  4. Biomedical Engineering AND Mechanical Engineering Student Name:________________________ Curriculum Check Sheet 157 Credits

    E-Print Network [OSTI]

    only) F 3 TOTAL 15 TOTAL 15 2nd Year Fall 2nd Year Spring CIVE 260 Engr. Mechanics: Statics (MATH 160 Check Sheet 157 Credits 1st Year Fall 1st Year Spring COURSE NAME (PREREQS) TERM* CR COURSE NAME or 255 (or conc)) F,S 5 MECH 231 Engr Experimt'n (MECH 102; PH 142) F,S 3 TOTAL 17 TOTAL 17 3rd Year Fall

  5. Biomedical Engineering AND Chemical & Biological Engineering Student Name:_________________________ Curriculum Check Sheet

    E-Print Network [OSTI]

    ; 155 or conc or 160 or conc) F,S,SS 5 TOTAL 15 TOTAL 16 2nd Year Fall 2nd Year Spring CBE 201 Material:_________________________ Curriculum Check Sheet 1st Year Fall 1st Year Spring COURSE NAME (PREREQS) TERM* CR COURSE NAME (PREREQS.; PH 141) F,S 5 TOTAL 17 TOTAL 17 3rd Year Fall 3rd Year Spring BC 351 Principles of Biochem. (BZ 110

  6. Biomedical Engineering AND Mechanical Engineering Student Name:________________________ Curriculum Check Sheet 157 Credits

    E-Print Network [OSTI]

    Engineering (MATH 161; PH 142) F,S,SS 3 TOTAL 17 TOTAL 17 3rd Year Fall 3rd Year Spring MECH 337 Check Sheet 157 Credits 1st Year Fall 1st Year Spring COURSE NAME (PREREQS) TERM* CR COURSE NAME 112 General Chemistry Lab I (CHEM 111 (conc.) or 117 (conc.)) F,S,SS 1 TOTAL 15 TOTAL 15 2nd Year Fall

  7. Biomedical Engineering AND Electrical Engineering Student Name:_______________________ Curriculum Check Sheet 157 Credits

    E-Print Network [OSTI]

    TOTAL 15 TOTAL 15 3rd Year Fall 3rd Year Spring ECE 311 Linear Systems Analysis I (ECE 202; MATH 340 Check Sheet 157 Credits 1st Year Fall 1st Year Spring COURSE NAME (PREREQS) TERM* CR COURSE NAME General Chemistry Lab I (CHEM 111 or conc or 117 or conc) F,S,SS 1 TOTAL 16 TOTAL 15 2nd Year Fall 2nd

  8. Interference Mitigation in IEEE 802.15.4 Networks Jin-Seok Han, Hyung-Sin Kim, Jae-Seok Bang and Yong-Hwan Lee

    E-Print Network [OSTI]

    Bahk, Saewoong

    importance. To alleviate the interference problem, ZigBee alliance has proposed an interference avoidance scheme [10]. The coordi- nator of ZigBee network detects the presence of interference by measuring

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

    SciTech Connect (OSTI)

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

    2008-07-01

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

  10. Ramsey Fringes and Time-domain Multiple-Slit Interference from Vacuum

    E-Print Network [OSTI]

    Eric Akkermans; Gerald V. Dunne

    2011-09-15

    Sequences of alternating-sign time-dependent electric field pulses lead to coherent interference effects in Schwinger vacuum pair production, producing a Ramsey interferometer, an all-optical time-domain realization of the multiple-slit interference effect, directly from the quantum vacuum. The interference, obeying fermionic quantum statistics, is manifest in the momentum dependence of the number of produced electrons and positrons along the linearly polarized electric field. The central value grows like $N^2$ for $N$ pulses [i.e., $N$ "slits"], and the functional form is well-described by a coherent multiple-slit expression. This behavior is generic for many driven quantum systems.

  11. Measurement of radiation coherence by means of interference visibility in the reflected light

    E-Print Network [OSTI]

    Tikhonov, E A

    2015-01-01

    Proposed, justified and tested measuring of beam spatial coherence, based on the detection of an interference visibility of the equal to intensity of beam replicas emerging under reflection from the rotated plane-parallel plate. The method consists in measuring the interference contrast at the simultaneous change of the longitudinal path difference and transverse shift of named replicas. Accurate measurement of the angle of rotated plate and the amplitude distribution of interferential minimaxes allows to determine the width of the beam spatial coherence. Spatial coherence of some types of multimode lasers has been measured by the method. Keywords: coherence measurements, interference in 2 move apart beam, rotable interferometer

  12. Fano interference and a slight fluctuation of the Majorana hallmark

    SciTech Connect (OSTI)

    Seridonio, A. C. [Instituto de Geociências e Ciências Exatas-IGCE, Universidade Estadual Paulista, Departamento de Física, 13506-970, Rio Claro, São Paulo (Brazil); Departamento de Física e Química, Universidade Estadual Paulista, 15385-000, Ilha Solteira, São Paulo (Brazil); Siqueira, E. C.; Dessotti, F. A.; Machado, R. S. [Departamento de Física e Química, Universidade Estadual Paulista, 15385-000, Ilha Solteira, São Paulo (Brazil); Yoshida, M. [Instituto de Geociências e Ciências Exatas-IGCE, Universidade Estadual Paulista, Departamento de Física, 13506-970, Rio Claro, São Paulo (Brazil)

    2014-02-14

    According to the Liu and Baranger [Phys. Rev. B 84, 201308(R) (2011)], an isolated Majorana state bound to one edge of a long enough Kitaev chain in the topological phase and connected to a quantum dot, results in a robust transmittance of 1/2 at zero-bias. In this work, we show that the removal of such a hallmark can be achieved by using a metallic surface hosting two adatoms in a scenario where there is a lack of symmetry in the Fano effect, which is feasible by coupling the Kitaev chain to one of these adatoms. Thus in order to detect this feature experimentally, one should apply the following two-stage procedure: (i) first, attached to the adatoms, one has to lock AFM tips in opposite gate voltages (symmetric detuning of the levels ??) and measure by an STM tip, the zero-bias conductance; (ii) thereafter, the measurement of the conductance is repeated with the gates swapped. For |??| away from the Fermi energy and in the case of strong coupling tip-host, this approach reveals in the transmittance, a persistent dip placed at zero-bias and immune to the aforementioned permutation, but characterized by an amplitude that fluctuates slightly around 1/2. However, in the case of a tip acting as a probe, the adatom decoupled from the Kitaev chain becomes completely inert and no fluctuation is observed. Therefore, the STM tip must be considered in the same footing as the “host+adatoms” system. As a result, we have found that despite the small difference between these two Majorana dips, the zero-bias transmittance as a function of the symmetric detuning yields two distinct behaviors, in which one of them is unpredictable by the standard Fano's theory. Therefore, to access such a non trivial pattern of Fano interference, the hypothesis of the STM tip acting as a probe should be discarded.

  13. Fingerprinting & Criminal Records Check for Student Teaching Page 1 of 2 1. Go to the school district/supervisory union office you will be student teaching

    E-Print Network [OSTI]

    Ashline, George

    Fingerprinting & Criminal Records Check for Student Teaching Page 1 of 2 1. Go to the school Center Fingerprint Authorization Certificate and Request for Criminal Record Check . When completing will be required to pay the school district $16.50 to cover the cost of the Criminal Record Check processing

  14. Development of a simple, compact, low-cost interference lithography system

    E-Print Network [OSTI]

    Korre, Hasan

    Interference lithography (IL) has proven itself to be an enabling technology for nanofabrication. Within IL, issues of spatial phase distortion, fringe stability, and substrate development have been explored and addressed. ...

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

    E-Print Network [OSTI]

    Wang, Xi

    2012-07-16

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

  16. Synthetic Aperture Digital Beamsteering Array for Global Positioning System Interference Mitigation: A Study on Array Topology 

    E-Print Network [OSTI]

    Harms, Joel K

    2014-05-20

    The Global Positioning System (GPS) satellite navigation system is deeply intertwined with civilian everyday life. Unfortunately for the civilians that use the system, the GPS system is vulnerable to external interference. Antenna arrays...

  17. Understanding and Mitigating the Impact of RF Interference on 802.11 Networks

    E-Print Network [OSTI]

    Abstract We study the impact on 802.11 networks of RF interference from devices such as Zigbee and cordless that includes 2.4GHz cordless phones, Bluetooth headsets, Zigbee Work done while the author was at Intel

  18. Amplification of interference color by using liquid crystal for protein detection

    SciTech Connect (OSTI)

    Zhu, Qingdi; Yang, Kun-Lin

    2013-12-09

    Micrometer-sized, periodic protein lines printed on a solid surface cause interference color which is invisible to the naked eye. However, the interference color can be amplified by using a thin layer of liquid crystal (LC) covered on the surface to form a phase diffraction grating. Strong interference color can thus be observed under ambient light. By using the LC-amplified interference color, we demonstrate naked-eye detection of a model protein—immunoglobulin G (IgG). Limit of detection can reach 20??g/ml of IgG without using any instrumentation. This detection method is potentially useful for the development of low-cost and portable biosensors.

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

  20. Topography and refractometry of nanostructures using spatial light interference microscopy (SLIM)

    E-Print Network [OSTI]

    Gillette, Martha U.

    Topography and refractometry of nanostructures using spatial light interference microscopy (SLIM topography at a single atomic layer in graphene. Further, using a decoupling procedure that we developed high- throughput topography and refractometry of man-made and biological nanostructures. Quantitative

  1. Owner's Interference in Reverse Auction Bidding to Skew a Free Market 

    E-Print Network [OSTI]

    Chaudhari, Sushil V.

    2010-07-14

    controversial bidding system. No previous research has been undertaken by the Texas A&M University Reverse Auction Bidding study group into potential owner interference with the bidding system for a reverse auction. Six bidders were asked to participate...

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

  3. Novel Atomic Coherence and Interference Effects in Quantum Optics and Atomic Physics 

    E-Print Network [OSTI]

    Jha, Pankaj

    2012-10-19

    It is well known that the optical properties of multi-level atomic and molecular system can be controlled and manipulated efficiently using quantum coherence and interference, which has led to many new effects in quantum ...

  4. Development of Transgenic Livestock with Reduced Myostatin Expression Using RNA Interference 

    E-Print Network [OSTI]

    Tessanne, Kimberly J.

    2012-02-14

    RNA interference (RNAi) is a means of regulating gene expression by targeting mRNA in a sequence-specific manner for degradation or translational inhibition. Short hairpin RNAs (shRNAs) and short interfering RNAs (siRNAs) ...

  5. From Spectrum Pooling to Space Pooling: Opportunistic Interference Alignment in MIMO Cognitive Networks

    E-Print Network [OSTI]

    Perlaza, Samir M.

    We describe a noncooperative interference alignment (IA) technique which allows an opportunistic multiple input multiple output (MIMO) link (secondary) to harmlessly coexist with another MIMO link (primary) in the same ...

  6. A Study on Driving Interference-fit Fastener Using Stress Wave Zengqiang Cao1,a

    E-Print Network [OSTI]

    Qin, Qinghua

    clearance and support, but handheld hammering tools have to be used sometimes being of structure limit of 30CrMnSiA interference bolt using stress wave, but fatigue test results were not ideal. Being

  7. 1. Shielding against Electromagnetic Interference With telecommunication networks connecting wireless devices around the globe, there

    E-Print Network [OSTI]

    Rincon-Mora, Gabriel A.

    #12;1. Shielding against Electromagnetic Interference With telecommunication networks connecting electromagnetic fields that hinder today's increasingly sensitive high-performance electronics [1]. Shielding-plagued consumer market where wireless gadgets thrive. A shield, unfortunately, is not always reliable across

  8. APPLICATION OF ICA FOR AUTOMATIC NOISE AND INTERFERENCE CANCELLATION IN MULTISENSORY BIOMEDICAL SIGNALS

    E-Print Network [OSTI]

    Cichocki, Andrzej

    SIGNALS Andrzej Cichocki and Sergiy Vorobyov Lab. for Advanced Brain Signal Processing, Brain Science (trials). Traditional signal processing techniques, such as Wiener ltering, adaptive noise cancelerAPPLICATION OF ICA FOR AUTOMATIC NOISE AND INTERFERENCE CANCELLATION IN MULTISENSORY BIOMEDICAL

  9. Toward a consistency cross-check of eddy covariance flux–based and biometric estimates of ecosystem carbon balance

    E-Print Network [OSTI]

    2009-01-01

    of ecosystem carbon balance S. Luyssaert, 1 M. Reichstein, 2controls on the carbon balances of three southern borealCROSS-CHECK FOR CO 2 BALANCES Yi, C. X. , D. E. Anderson, A.

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

    E-Print Network [OSTI]

    Yuri I. Ozhigov

    2015-06-17

    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.

  11. Secretary Chu Checks In on Biomass Pilot-Scale Facility | Department of

    Energy Savers [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 on Google Bookmark EERE: Alternative Fuels Data Center Home Page on DeliciousMathematicsEnergyInterestedReplacement-2-AA-1Research and FuelingEnergy Secretary Chu Checks In on

  12. Documents Related to the ICP

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power Administration would like submit theCovalentLaboratory |Sector Full reportTown August1 -DocumentsCLEANUP

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

  14. Manifestation of a nonclassical Berry phase of an electromagnetic field in atomic Ramsey interference

    E-Print Network [OSTI]

    Shi-Biao Zheng

    2012-03-02

    The Berry phase acquired by an electromagnetic field undergoing an adiabatic and cyclic evolution in phase space is a purely quantum-mechanical effect of the field. However, this phase is usually accompanied by a dynamical contribution and cannot be manifested in any light-beam interference experiment because it is independent of the field state. We here show that such a phase can be produced using an atom coupled to a quantized field and driven by a slowly changing classical field, and it is manifested in atomic Ramsey interference oscillations. We also show how this effect may be applied to one-step implementation of multiqubit geometric phase gates, which is impossible by previous geometric methods. The effects of dissipation and fluctuations in the parameters of the pump field on the Berry phase and visibility of the Ramsey interference fringes are analyzed.

  15. Novel Bose-Einstein Interference in the Passage of a Fast Particle in a Dense Medium

    E-Print Network [OSTI]

    Cheuk-Yin Wong

    2012-03-20

    When an energetic particle collides coherently with many medium particles at high energies, the Bose-Einstein symmetry with respect to the interchange of the exchanged virtual bosons leads to a destructive interference of the Feynman amplitudes in most regions of the phase space but a constructive interference in some other regions of the phase space. As a consequence, the recoiling medium particles have a tendency to come out collectively along the direction of the incident fast particle, each carrying a substantial fraction of the incident longitudinal momentum. Such an interference appearing as collective recoils of scatterers along the incident particle direction may have been observed in angular correlations of hadrons associated with a high-$p_T$ trigger in high-energy AuAu collisions at RHIC.

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

    E-Print Network [OSTI]

    Cheuk-Yin Wong

    2012-04-16

    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.

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

    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.

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

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

  19. Determination of {sup 140}La fission product interference factor for INAA

    SciTech Connect (OSTI)

    Ribeiro Jr, Iberê S.; Genezini, Frederico A.; Saiki, Mitiko; Zahn, Guilherme S.

    2014-11-11

    Instrumental Neutron Activation Analysis (INAA) is a technique widely used to determine the concentration of several elements in several kinds of matrices. However if the sample of interest has higher relative uranium concentration the obtained results can be interfered by the uranium fission products. One of these cases that is affected by interference due to U fission is the {sup 140}La, because this radioisotope used in INAA for the determination of concentration the La is also produced by the {sup ?}? of {sup 140}Ba, an uranium fission product. The {sup 140}La interference factor was studied in this work and a factor to describe its time dependence was obtained.

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

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    Impact of ANSI X9.24-1:2009 Key Check Value on ISO/IEC 9797-1:2011 MACs Tetsu Iwata1 and Lei Wang2, wang.lei@ntu.edu.sg Abstract. ANSI X9.24-1:2009 specifies the key check value, which is used to verify check value. As a result, we obtain a complete characterization of the impact of using ANSI X9.24-1 key

  1. The Ohio State University Office of Human Resources, Policy 4.15 Background Check Resources hr.osu.edu Revised 01/01/14, Page 1 of 1 Background Check

    E-Print Network [OSTI]

    Howat, Ian M.

    policy 1.50, hr.osu.edu/policy/policy150.pdf Security Standards Council's Payment Card Industry (PCI.osu.edu/documents/records-management/general-schedule.pdf Guide for Conducting Background Checks, hr.osu.edu/policy/resources/415standards.pdf Ohio Public) Data Security Standards, pcisecuritystandards.org/security_standards Summary of Your Rights Under

  2. Observations of dust acoustic waves driven at high frequencies: Finite dust temperature effects and wave interference

    E-Print Network [OSTI]

    Merlino, Robert L.

    Observations of dust acoustic waves driven at high frequencies: Finite dust temperature effects An experiment has been performed to study the behavior of dust acoustic waves driven at high frequencies f 100 are observed--interference effects between naturally excited dust acoustic waves and driven dust acoustic waves

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

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

  5. A Measurement Study of Zigbee-based Indoor Localization Systems Under RF Interference

    E-Print Network [OSTI]

    Huang, Polly

    A Measurement Study of Zigbee-based Indoor Localization Systems Under RF Interference Seng 802.11) and Zigbee (IEEE 802.15.4) all operate in the 2.4x GHz fre- quency bands. The stability and availability of RSSI infor- mation for WiFi- or Zigbee-based localization systems may vary depending

  6. ZiFi: Wireless LAN Discovery via ZigBee Interference Ruogu Zhou1

    E-Print Network [OSTI]

    Xing, Guoliang

    ZiFi: Wireless LAN Discovery via ZigBee Interference Signatures Ruogu Zhou1 , Yongping Xiong2- ronments. In this work, we develop a system called ZiFi that utilizes ZigBee radios to identify integrating a TelosB mote through the USB interface, and a Nokia N73 smart- phone integrating a ZigBee card

  7. Loop induced interference effects in Higgs Boson plus two jet production at the LHC.

    E-Print Network [OSTI]

    Andersen, Jeppe R.; Binoth, T.; Heinrich, G.; Smillie, Jennifer M.

    We calculate the order O(?2?3 s) interference effect between the gluon fusion and weak boson fusion processes allowed at the one-loop level in Higgs boson plus 2 jet production at the LHC. The corresponding one-loop amplitudes, which have...

  8. Electromagnetic interference shielding using continuous carbon-fiber carbon-matrix and polymer-matrix composites

    E-Print Network [OSTI]

    Chung, Deborah D.L.

    Electromagnetic interference shielding using continuous carbon-fiber carbon-matrix and polymer of polymer-matrix composites with continuous carbon-fibers was less and that of polymer-matrix composites the shielding effectiveness. The dominant mechanism of EMI shielding for both carbon-matrix and polymer

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

    E-Print Network [OSTI]

    Riabov, Vladimir V.

    force has been found to become significant with a lift-drag ratio of 0.35. Blevins [12] previously, the configuration of subsonic flow zones), skin friction, pressure distribu- tion, lift, and drag have been found. Ó, wedges, cones, disks, spheres, torus, and cylinders (see Refs. [1­7]). The interference effect for flat

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

  11. Initialization Techniques for Improved Convergence of LMS DFEs in Strong Interference Environments

    E-Print Network [OSTI]

    Beex, A. A. "Louis"

    Initialization Techniques for Improved Convergence of LMS DFEs in Strong Interference Environments@vt.edu Abstract-- The least-mean square (LMS) decision-feedback equalizer (DFE) was previously shown [1], [2 to initialize (data-aided initialization) the LMS weights with an estimate for the Wiener weights. In this paper

  12. Outage Probability of Amplify-and-Forward Opportunistic Relaying with Multiple Interferers

    E-Print Network [OSTI]

    Lee, Jae Hong

    Outage Probability of Amplify-and-Forward Opportunistic Relaying with Multiple Interferers over channels. We derive the closed-form expression of the outage probability for the AF opportunistic relaying derive the analytical results. Also, in [9], the authors investigate the outage behavior of the dual

  13. Mesoscopics in Spintronics: Quantum Interference Effects in Spin-Polarized Electron Branislav K. Nikolic

    E-Print Network [OSTI]

    Nikolic, Branislav K.

    Mesoscopics in Spintronics: Quantum Interference Effects in Spin-Polarized Electron Transport to allow for envisioned quantum technologies that manipulate spin, such as spintronics1,2 or solid-state quantum computing with spin-qubits.3 Spintronic engi- neering of spin-polarized currents, combined

  14. LETTER Communicated by Daniel Bush Oscillator-Interference Models of Path Integration

    E-Print Network [OSTI]

    Orchard, Jeffery J.

    and long-range inhibition connectivity can spontaneously gen- erate grid-cell-like activity patterns of Technology doi:10.1162/NECO_a_00701 #12;Oscillator-Based Path Integration Without Theta 549 and long-rangeLETTER Communicated by Daniel Bush Oscillator-Interference Models of Path Integration Do

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

    E-Print Network [OSTI]

    Jeppe R. Andersen; Jennifer M. Smillie

    2007-05-01

    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.

  16. Neural Mechanisms of Interference Control Underlie the Relationship Between Fluid Intelligence and Working Memory Span

    E-Print Network [OSTI]

    Neural Mechanisms of Interference Control Underlie the Relationship Between Fluid Intelligence Andrew R. A. Conway Princeton University Todd S. Braver Washington University in St. Louis Fluid studies show that much of the variance in gF and WM span is shared, suggesting common neural mechanisms

  17. LISA: L-Band Interference Surveyor/Analyzer LISA co-observes with existing

    E-Print Network [OSTI]

    Ellingson, Steven W.

    spiral antenna · Spectrum analyzer for full- bandwidth monitoring of power spectral density · 14 MHz (8 Island, VA Spectrum analyzer, electronics rack & control console mounted in cabin RF distributionLISA: L-Band Interference Surveyor/Analyzer LISA co-observes with existing passive microwave

  18. Reinvestigating Channel Orthogonality -Adjacent Channel Interference in IEEE 802.11n Networks

    E-Print Network [OSTI]

    .11 with a focus on new 802.11n standard. ACI is causing problems that are related to the carrier sensing mechanism,sombrutz}@informatik.hu-berlin.de Abstract--In this paper we analyze the adverse effects of Adjacent Channel Interference (ACI) on 802 effect of ACI can be reduced in two ways. First, by increasing the spatial separation between the radios

  19. On Interference-aware Provisioning for Cloud-based Big Data Processing

    E-Print Network [OSTI]

    Liu, Jiangchuan (JC)

    On Interference-aware Provisioning for Cloud-based Big Data Processing Yi YUAN, Haiyang WANG, Dan--Recent advances in cloud-based big data analysis offers a convenient mean for providing an elastic and cost and IBM deploy various of big data systems on their cloud platforms, aiming to occupy the huge market

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

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

    E-Print Network [OSTI]

    Fischer, Timothy W.

    2007-09-17

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

  2. ON PROBE-LEVEL INTERFERENCE AND NOISE MODELING IN GENE EXPRESSION MICROARRAY EXPERIMENTS

    E-Print Network [OSTI]

    ON PROBE-LEVEL INTERFERENCE AND NOISE MODELING IN GENE EXPRESSION MICROARRAY EXPERIMENTS Paul G is received via a cascade of two noisy chan- nels that model noise (uncertainty) before, during, and af- ter processing model of gene expression microarray experiments using oligonucleotide technologies. The objective

  3. A Statistical and Physical MechanismsBased Interference and Noise Model for Array Observations \\Lambda

    E-Print Network [OSTI]

    Blum, Rick

    A Statistical and Physical Mechanisms­Based Interference and Noise Model for Array Observations is a member of IEEE. K. F. McDonald is a student member. 1 #12; Abstract A statistical noise model is developed from mathematical modeling of the physical mechanisms that generate noise in communication

  4. Interference Resilient PDES on Multi-core Systems: Towards Proportional Slowdown

    E-Print Network [OSTI]

    Ponomarev, Dmitry V.

    Interference Resilient PDES on Multi-core Systems: Towards Proportional Slowdown Jingjing Wang define a new metric, which we call proportional slowdown, that rep- resents the idealized target far short of proportional slowdown. Based on these observations, we design alternative simulation

  5. A Weighted Interference Estimation Scheme for Interface Switching Wireless Mesh Networks

    E-Print Network [OSTI]

    . Typically, a WMN is a collection of wireless mesh routers and wireless mobile mesh clients. Wireless mesh to wireless mesh routers via either wired or wireless connections. In addition, a small number of wirelessA Weighted Interference Estimation Scheme for Interface Switching Wireless Mesh Networks Yunxia

  6. A Weighted Interference Estimation Scheme for Interface Switching Wireless Mesh Networks

    E-Print Network [OSTI]

    . A WMN is a collection of stationary wireless mesh routers and mobile mesh clients. Wireless mesh routers mesh routers via traditional Ethernet or wireless connections. Through multi-hop wireless relay, mobileA Weighted Interference Estimation Scheme for Interface Switching Wireless Mesh Networks Yunxia

  7. The influence of single-walled carbon nanotube structure on the electromagnetic interference shielding

    E-Print Network [OSTI]

    Gao, Hongjun

    shielding efficiency of its epoxy composites Yi Huang a , Ning Li a , Yanfeng Ma a , Feng Du a , Feifei Li.01­15%) have been evaluated for electromagnetic interference (EMI) shielding effectiveness (SE) in the X that the composites can be used as effective lightweight EMI shielding materials. Furthermore, their EMI performance

  8. Multimode-Interference Waveguide Crossing Coupled Microring-Resonator-Based Switch Nodes for Photonic

    E-Print Network [OSTI]

    Poon, Andrew Wing On

    -dimensional nonblocking low-power photonic switch nodes for networks-on-chip using multimode-interference-based waveguide. Our photonic crossbar design offers low-power dissipation, scalability, and small device foot (e.g. nodes 1 and 3) consume no switching power. Assuming a microring resonance Q of ~104 , we see

  9. Interference Shaping for Improved Quality of Experience for Real-Time Video Streaming

    E-Print Network [OSTI]

    de Veciana, Gustavo

    performance metrics like rate or delay. This is driven by the fact that users churn as they become users by decreasing the peak rate of co-channel best effort users. Wireless link capacity variations are mapped to the real- time video packet loss rate, and the interference shaping QoE gain for video users

  10. Effects of Correlated Interference on the Potential Linear Antenna Gain in CDMA Macrodiversity Systems

    E-Print Network [OSTI]

    Yanikomeroglu, Halim

    University, Ottawa, Canada E­mail: halim@sce.carleton.ca 2 Dept. of Electrical and Computer Engineering be attained by using L an­ tenna elements (AEs) provided that the spread spectrum bandwidth approaches of multiple AEs will be less than linear due to the presence of the correlated interference effects

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

    E-Print Network [OSTI]

    Kling, Matthias

    ) spectra have been recorded for carrier-envelope-phase (CEP) stabilized few-cycle ($5 fs), intense ($4 Â in P space at CEPs with maximum asymmetry, interpreted as attosecond interferences of rescattered suppressed barrier. The electron then undergoes an oscillatory motion in the electric field to achieve

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

    E-Print Network [OSTI]

    Yener, Aylin

    of energy harvesting wireless communi- cation devices in the near future. The design principles of energy it inapplicable for nodes with limited battery capacity. An alternative approach enforcing strict energyOptimal Power Control for Energy Harvesting Transmitters in an Interference Channel Kaya

  13. Released 1/24/07 ESTROGEN INTERFERES WITH IMMUNE SURVEILLANCE IN BREAST CANCER

    E-Print Network [OSTI]

    Wraight, Colin A.

    Released 1/24/07 ESTROGEN INTERFERES WITH IMMUNE SURVEILLANCE IN BREAST CANCER CONTACT: Diana Yates the growth and migration of breast cancer cells. Now researchers from the University of Illinois at Champaign-Urbana have found that estrogen can also shield breast cancer cells from immune cells. In a study published

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

    E-Print Network [OSTI]

    Zhang, Quan G

    1996-01-01

    performance in terms of bit error rate (BER) for single tone interference with both random phase and amplitude. We compare the algorithm with the suboptimal approach of using a digital transversal filter as a notch filter. Finally we present simulation results...

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

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

  17. THz generation from InN films due to destructive interference between optical rectification and photocurrent surge

    E-Print Network [OSTI]

    Gilchrist, James F.

    THz generation from InN films due to destructive interference between optical rectification.1088/0268-1242/25/1/015004 THz generation from InN films due to destructive interference between optical rectification investigated the characteristics of THz generation including the dependence of the output power

  18. The Effect of Out of Cluster Interference on Coordinated Beamforming in LTE-A HetNets

    E-Print Network [OSTI]

    Rakocevic, Veselin

    high power base stations produce strong interference to an underlying layer of low power base stations of an existing network with the help of pico BSs. Such base stations have a reduced transmit power (typically 10. This work investigates the impact of the interference from base stations which are not part

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

  20. TIPS FOR THE PARKING LOT When you approach your parked vehicle, visually check the area around the

    E-Print Network [OSTI]

    Shoubridge, Eric

    TIPS FOR THE PARKING LOT When you approach your parked vehicle, visually check the area around Always try to park in visible, well lit areas Try to avoid parking next to a larger pickup truck or van." Exercise extra caution when using underground and enclosed parking garages. Try not to go alone. Use

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

  2. LAB HAZARD CHECKLIST Please check the hazards that are associated with your lab and complete the section

    E-Print Network [OSTI]

    Firestone, Jeremy

    LAB HAZARD CHECKLIST Please check the hazards that are associated with your lab and complete of Environmental Health and Safety. HAZARDS: Biological Hazard ­ Biosafety levels 2 or 3 organisms present Laser Radiation Hazards ­Any work involving class 3b or 4 lasers Flammable Gas ­ Compressed gas cylinders

  3. RFEDSCHK User`s Manual (The RFEDS Lab Data Check routine), Environmental and Scientific Systems Information Resources: Version 1.00

    SciTech Connect (OSTI)

    Not Available

    1992-05-01

    The RFEDS Laboratory Data Check routine (RFEDSCHK) preforms checks of the off-site laboratory data to identify missing and/or incorrect data which may exist. The check routine is designed to assist the laboratories to correct deficiencies contained in the data before it is sent to the Rocky Flats Environmental Management Department, there-by improving the quality of the data being placed in RFEDS. If the data passes the checks with no errors, the data will be acceptable for placement into RFEDS and delivery of the electronic data to EG&G is appropriate. If errors are detected, the laboratory should correct the errors and perform the check again until the data is free of errors.

  4. Sum-Rate Optimal Power Policies for Energy Harvesting Transmitters in an Interference Channel

    E-Print Network [OSTI]

    Tutuncuoglu, Kaya

    2011-01-01

    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.

  5. Quantum interference and sub-Poissonian statistics for time-modulated driven dissipative nonlinear oscillators

    SciTech Connect (OSTI)

    Gevorgyan, T. V. [Institute for Physical Research, National Academy of Sciences, Ashtarak-2, 0203 Ashtarak (Armenia); Shahinyan, A. R. [Yerevan State University, A. Manoogian 1, 0025 Yerevan (Armenia); Kryuchkyan, G. Yu. [Institute for Physical Research, National Academy of Sciences, Ashtarak-2, 0203 Ashtarak (Armenia); Yerevan State University, A. Manoogian 1, 0025 Yerevan (Armenia)

    2009-05-15

    We show that quantum-interference phenomena can be realized for the dissipative nonlinear systems exhibiting hysteresis-cycle behavior and quantum chaos. Such results are obtained for a driven dissipative nonlinear oscillator with time-dependent parameters and take place for the regimes of long time intervals exceeding dissipation time and for macroscopic levels of oscillatory excitation numbers. Two schemas of time modulation, (i) periodic variation in the strength of the {chi}(3) nonlinearity; (ii) periodic modulation of the amplitude of the driving force, are considered. These effects are obtained within the framework of phase-space quantum distributions. It is demonstrated that the Wigner functions of oscillatory mode in both bistable and chaotic regimes acquire negative values and interference patterns in parts of phase-space due to appropriately time modulation of the oscillatory nonlinear dynamics. It is also shown that the time modulation of the oscillatory parameters essentially improves the degree of sub-Poissonian statistics of excitation numbers.

  6. N-Slit Interference: Fractals in Near-Field Region, Bohmian Trajectories

    E-Print Network [OSTI]

    Valeriy I. Sbitnev

    2009-09-09

    Scattering cold particles on an $N$-slit grating is shown to reproduce an interference pattern, that manifests itself in the near-field region as the fractal Talbot carpet. In the far-field region the pattern is transformed to an ordinary diffraction, where principal beams are partitioned from each other by ($N-2$) weak ones. A probability density plot of the wave function, to be represented by a gaussian wavepacket, is calculated both in the near-field region and in the far-field one. Bohmian (geodesic) trajectories, to be calculated by a guidance equation, are superimposed on the probability density plot well enough. It means, that a particle, moving from a source to a detector, passes across the grating along a single bohmian trajectory through-passing one and only one slit. Keywords: Gaussian wavepacket, neutron scattering, guidance equation, bohmian trajectory, near-field interference, far-field diffraction, Talbot carpet, fractal

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

    SciTech Connect (OSTI)

    Majumder, Abhijit; Wang, Xin-Nian

    2005-07-26

    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.

  8. Observation of Quantum Interferences via Light Induced Conical Intersections in Diatomic Molecules

    E-Print Network [OSTI]

    Natan, Adi; Bucksbaum, Philip H

    2015-01-01

    We observe energy-dependent angle-resolved diffraction patterns in protons from strong-field dissociation of the molecular hydrogen ion H$_2^+$. The interference is a characteristic of dissociation around a laser-induced conical intersection (LICI), which is a point of contact between two surfaces in the dressed 2-dimensional Born-Oppenheimer potential energy landscape of a diatomic molecule in a strong laser field. The interference magnitude and angular period depend strongly on the energy difference between the initial state and the LICI, consistent with coherent diffraction around a cone-shaped potential barrier whose width and thickness depend on the relative energy of the initial state and the cone apex. These findings are supported by numerical solutions of the time-dependent Schr\\"{o}dinger equation for similar experimental conditions.

  9. Quantum Walks With Neutral Atoms: Quantum Interference Effects of One and Two Particles

    E-Print Network [OSTI]

    Robens, Carsten; Meschede, Dieter; Alberti, Andrea

    2015-01-01

    We report on the state of the art of quantum walk experiments with neutral atoms in state-dependent optical lattices. We demonstrate a novel state-dependent transport technique enabling the control of two spin-selective sublattices in a fully independent fashion. This transport technique allowed us to carry out a test of single-particle quantum interference based on the violation of the Leggett-Garg inequality and, more recently, to probe two-particle quantum interference effects with neutral atoms cooled into the motional ground state. These experiments lay the groundwork for the study of discrete-time quantum walks of strongly interacting, indistinguishable particles to demonstrate quantum cellular automata of neutral atoms.

  10. Interpretation of Scanning Tunneling Quasiparticle Interference and Impurity States in Cuprates

    DOE Public Access Gateway for Energy & Science Beta (PAGES Beta)

    Kreisel, A.; Choubey, P.; Berlijn, T.; Ku, W.; Andersen, B. M.; Hirschfeld, P. J.

    2015-05-27

    We apply a recently developed method combining first principles based Wannier functions with solutions to the Bogoliubov-de Gennes equations to the problem of interpreting STM data in cuprate superconductors. We show that the observed images of Zn on the surface of Bi2Sr2CaCu2O8 can only be understood by accounting for the tails of the Cu Wannier functions, which include significant weight on apical O sites in neighboring unit cells. This calculation thus puts earlier crude “filter” theories on a microscopic foundation and solves a long standing puzzle. We then study quasiparticle interference (QPI) phenomena induced by out-of-plane weak potential scatterers, andmore »show how patterns long observed in cuprates can be understood in terms of the interference of Wannier functions above the surface. Our results show excellent agreement with experiment and enable a better understanding of novel phenomena in the cuprates via STM imaging.« less

  11. The new method of interference contributions accounting for inelastic scattering diagrams

    E-Print Network [OSTI]

    Sharph, I V; Deliyergiyev, M A; Merkotan, K K; Chudak, N O; Ptashynskyy, D A; Sokhrannyi, G O; Tykhonov, A V; Volkotrub, Yu V; Shabatura, U V; Rusov, V D

    2015-01-01

    A new method of interference contributions accounting is proposed. This method makes it possible to solve the problem of accounting the particles identity in the final state of the scattering process. This problem requires the calculation of a huge number of multidimensional integrals that express the scattering cross-section through the square modulus of the scattering amplitude. Our method is based on the physical features of the scattering amplitude. We show that the set of all interference contributions may be divided into subsets with the similar contributions. Therefore one does not need to calculate each of them separately. Within this approach it is possible to describe inelastic scattering processes with large number of secondary particles. The method was also verified within the $\\phi^3$ model using the Laplace method for the calculation of multidimensional integrals in order to compute the inclusive rapidity cross-sections. A qualitative description of experimental data was obtained. An important r...

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

    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.

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

    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.

  14. Ramsey Interference in One-Dimensional Systems: The Full Distribution Function of Fringe Contrast as a Probe of Many-Body Dynamics

    E-Print Network [OSTI]

    Demler, Eugene

    Ramsey Interference in One-Dimensional Systems: The Full Distribution Function of Fringe Contrast March 2010; published 24 June 2010) We theoretically analyze Ramsey interference experiments in one of decoherence. We argue that Ramsey interference experiments provide a powerful tool for analyzing strongly

  15. Separating the Effect of Independent Interference Sources with Rayleigh Faded Signal Link: Outage Analysis and Applications

    E-Print Network [OSTI]

    Kahlon, Arshdeep S; Periyalwar, Shalini; Yanikomeroglu, Halim

    2012-01-01

    We show that, for independent interfering sources and a signal link with exponentially distributed received power, the total probability of outage can be decomposed as a simple expression of the outages from the individual interfering sources. We give a mathematical proof of this result, and discuss some immediate implications, showing how it results in important simplifications to statistical outage analysis. We also discuss its application to two active topics of study: spectrum sharing, and sum of interference powers (e.g., lognormal) analysis.

  16. 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; Keck, Chris; Sullivan, Jonathan; Brigada, David; Parker, Lorri; Younger, Richard; Biddle, Jason

    2014-10-01

    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.

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

    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.

  18. Large scale two-dimensional arrays of magnesium diboride superconducting quantum interference devices

    SciTech Connect (OSTI)

    Cybart, Shane A. Dynes, R. C.; Wong, T. J.; Cho, E. Y.; Beeman, J. W.; Yung, C. S.; Moeckly, B. H.

    2014-05-05

    Magnetic field sensors based on two-dimensional arrays of superconducting quantum interference devices were constructed from magnesium diboride thin films. Each array contained over 30?000 Josephson junctions fabricated by ion damage of 30?nm weak links through an implant mask defined by nano-lithography. Current-biased devices exhibited very large voltage modulation as a function of magnetic field, with amplitudes as high as 8?mV.

  19. Description of classical and quantum interference in view of the concept of flow line

    E-Print Network [OSTI]

    M. Davidovic; A. S. Sanz; M. Bozic

    2015-08-21

    Bohmian mechanics, a hydrodynamic formulation of quantum mechanics, relies on the concept of trajectory, which evolves in time in compliance with dynamical information conveyed by the wave function. Here this appealing idea is considered to analyze both classical and quantum interference, thus providing an alternative and more intuitive framework to understand the time-evolution of waves, either in terms of the flow of energy (for mechanical waves, sound waves, electromagnetic waves, for instance) or, analogously, the flow of probability (quantum waves), respectively. Furthermore, this procedure also supplies a more robust explanation of interference phenomena, which currently is only based on the superposition principle. That is, while this principle only describes how different waves combine and what effects these combinations may lead to, flow lines provide a more precise explanation on how the energy or probability propagate in space before, during and after the combination of such waves, without dealing with them separately (i.e., the combination or superposition is taken as a whole). In this sense, concepts such as constructive and destructive interference, typically associated with the superposition principle, physically correspond to more or less dense swarms of (energy or probability) flow lines, respectively. A direct consequence of this description is that, when considering the distribution of electromagnetic energy flow lines behind two slits, each one covered by a differently oriented polarizer, it is naturally found that external observers' information on the slit crossed by single photons (understood as energy parcels) is totally irrelevant for the existence of interference fringes, in striking contrast with what is commonly stated and taught.

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

    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.

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

    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

  2. The new method of interference contributions accounting for inelastic scattering diagrams

    E-Print Network [OSTI]

    I. V. Sharph; O. S. Potiienko; M. A. Deliyergiyev; K. K. Merkotan; N. O. Chudak; D. A. Ptashynskyy; G. O. Sokhrannyi; A. V. Tykhonov; Yu. V. Volkotrub; U. V. Shabatura; V. D. Rusov

    2015-09-14

    A new method of interference contributions accounting is proposed. This method makes it possible to solve the problem of accounting the particles identity in the final state of the scattering process. This problem requires the calculation of a huge number of multidimensional integrals that express the scattering cross-section through the square modulus of the scattering amplitude. Our method is based on the physical features of the scattering amplitude. We show that the set of all interference contributions may be divided into subsets with the similar contributions. Therefore one does not need to calculate each of them separately. Within this approach it is possible to describe inelastic scattering processes with large number of secondary particles. The method was also verified within the $\\phi^3$ model using the Laplace method for the calculation of multidimensional integrals in order to compute the inclusive rapidity cross-sections. A qualitative description of experimental data was obtained. An important result of this work is the explanation of peaks behavior in the inclusive rapidity distributions and their possible interference origin.

  3. No Interference

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power Administration wouldMass map shinesSolarNew scholarshipThreeFebruary 2015Nikki Magdaong Fig. 1: MapsLaboratory

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

    E-Print Network [OSTI]

    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

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

  6. Design and analysis of a scanning beam interference lithography system for patterning gratings with nanometer-level distortions

    E-Print Network [OSTI]

    Konkola, Paul Thomas, 1973-

    2003-01-01

    This thesis describes the design and analysis of a system for patterning large-area gratings with nanometer level phase distortions. The novel patterning method, termed scanning beam interference lithography (SBIL), uses ...

  7. Floquet formulation for the investigation of multiphoton quantum interference in a superconducting qubit driven by a strong ac field

    E-Print Network [OSTI]

    Son, Sang-Kil; Han, Siyuan; Chu, Shih-I

    2009-03-03

    We present a Floquet treatment of multiphoton quantum interference in a strongly driven superconducting flux qubit. The periodically time-dependent Schrödinger equation can be reduced to an equivalent time-independent infinite-dimensional Floquet...

  8. Population inversion induced by Landau--Zener transition in a strongly driven rf superconducting quantum interference device

    E-Print Network [OSTI]

    Sun, Guozhu; Wen, Xueda; Wang, Yiwen; Cong, Shanhua; Chen, Jian; Kang, Lin; Xu, Weiwei; Yu, Yang; Han, Siyuan; Wu, Peiheng

    2009-03-09

    Microwave resonances between discrete macroscopically distinct quantum states with single photon and multiphoton absorption are observed in a strongly driven radio frequency superconducting quantum interference device flux qubit. The amplitude...

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

    ? Electrical Hazards: o Are appliances checked periodically for good operating conditions? o Are you careful alarm(s) every month? o Do you replace the battery of your battery operated smoke alarm every year? #12

  10. East Bank District Heating-to-Cooling Conversion Plan Check the date your building's cooling system is scheduled to be on.

    E-Print Network [OSTI]

    Webb, Peter

    East Bank District Heating-to-Cooling Conversion Plan Check the date your building's cooling system Coal Storage Building 39 NA Cooke Hall 56 Donhowe Building 044 East Gateway District Steam Distr. 199

  11. Observation of a narrow structure in 1 H( ? , KS0 ) X via interference with ? -meson production

    DOE Public Access Gateway for Energy & Science Beta (PAGES Beta)

    Amaryan, M. J.; Gavalian, G.; Nepali, C.; Polyakov, M. V.; Azimov, Ya.; Briscoe, W. J.; Dodge, G. E.; Hyde, C. E.; Klein, F.; Kuznetsov, V.; et al

    2012-03-01

    We report observation of a narrow peak structure at ?1.54 GeV with a Gaussian width ? = 6 MeV in the missing mass of KS in the reaction ? + p ? pKSKL. The observed structure may be due to the interference between a strange (or antistrange) baryon resonance in the pKL system and the ?(KSKL) photoproduction leading to the same final state. The statistical significance of the observed excess of events estimated as the log-likelihood ratio of the resonant signal + background hypothesis and the ?-production-based background-only hypothesis corresponds to 5.3?.

  12. Method and means for detecting optically transmitted signals and establishing optical interference pattern between electrodes

    DOE Patents [OSTI]

    Kostenbauder, Adnah G. (Palo Alto, CA)

    1988-01-01

    A photodetector for detecting signal pulses transmitted in an optical carrier signal relies on the generation of electron-hole pairs and the diffusion of the generated electrons and holes to the electrodes on the surface of the semiconductor detector body for generating photovoltaic pulses. The detector utilizes the interference of optical waves for generating an electron-hole grating within the semiconductor body, and, by establishing an electron-hole pair maximum at one electrode and a minimum at the other electrode, a detectable voltaic pulse is generated across the electrode.

  13. Method and means for detecting optically transmitted signals and establishing optical interference pattern between electrodes

    DOE Patents [OSTI]

    Kostenbauder, A.G.

    1988-06-28

    A photodetector for detecting signal pulses transmitted in an optical carrier signal relies on the generation of electron-hole pairs and the diffusion of the generated electrons and holes to the electrodes on the surface of the semiconductor detector body for generating photovoltaic pulses. The detector utilizes the interference of optical waves for generating an electron-hole grating within the semiconductor body, and, by establishing an electron-hole pair maximum at one electrode and a minimum at the other electrode, a detectable voltaic pulse is generated across the electrode. 4 figs.

  14. Interference effects during the reradiation of ultrashort electromagnetic pulses by polyatomic systems

    SciTech Connect (OSTI)

    Makarov, D. N.; Matveev, V. I., E-mail: mezon98@mail.ru [Lomonosov Northern (Arctic) Federal University (Russian Federation)

    2013-11-15

    A theory of the reradiation of ultrashort electromagnetic pulses by arbitrary polyatomic systems of isolated complex atoms has been developed. The technique used allows the spatial inhomogeneity of the field of an ultrashort pulse and photon momenta in reradiation processes to be accurately taken into account. The angular distributions of the reradiation spectra have been obtained for an arbitrary number of atoms in the system. The processes of interference between the photon emission amplitudes are shown to give rise to characteristic “diffraction” maxima. We consider one-dimensional, two-dimensional, and three-dimensional rectangular lattices as examples as well as planar and cylindrical structures as models of planar nanosystems and nanotubes.

  15. SU-E-T-631: Commissioning and Comprehensive Evaluation of the ArcCHECK Cylindrical Diode Array for VMAT QA

    SciTech Connect (OSTI)

    Chaswal, V; Weldon, M; Gupta, N; Rong, Y

    2014-06-15

    Purpose: Commissioning and comprehensive evaluation of ArcCHECK phantom for dosimetry of VMAT QA, using 6MV photon beam with and without the flattening filter. Methods: ArcCHECK was evaluated for response dependency on linac dose rate, instantaneous dose rate, radiation field size, beam angle and couch insertion. Scatter dose characterization, consistency and symmetry of response, dosimetric accuracy of fixed aperture arcs and clinical VMAT plans were investigated. Measurements were done using TrueBeam™ STx accelerator (Console version 1.6) with a 6 MV beam with and without flattening filter. Reference dose-grids were calculated using Eclipse TPS Analytical Anisotropic Algorithm (AAA version 10.0.39). Planned doses were calculated using symmetric 2mm 3D dose grids with 4 degree angular resolution defaulted to each control point. Gamma evaluations were performed in absolute dose mode, with default normalization to maximum dose in the curved plane and a low dose threshold of 10% to restrict the analysis to clinically relevant areas. Global and local gamma indices at 3mm/3% and 2mm/2% level were computed using SNC software (version 6.0). Results: Results of gamma analysis demonstrated an overall agreement between ArcCHECK measured and TPS calculated reference doses. Field size dependency was within 0.5% of the reference. Dose-rate based dependency was well within 1% of the TPS reference and the angular dependency was ±3% of the reference, as tested for BEV angles. At the level of 3%/3mm, narrow and wide open arcs as well as clinical VMAT cases demonstrated high level of dosimetry accuracy in global gamma passing rates for both 6X and 6F beams. At the level of 2%/2mm two VMAT cases involving the narrow heavily modulated arcs demonstrated lower passing rates. Conclusion: ArcCHECK phantom with latest software and hardware upgrades is suitable for VMAT QA. For higher sensitivity of 2%/2mm gamma analysis, we intend to use it as one of the VMAT QA evaluation metrics.

  16. On-chip quantum interference between silicon photon-pair sources

    E-Print Network [OSTI]

    Joshua W. Silverstone; Damien Bonneau; Kazuya Ohira; Nob Suzuki; Haruhiko Yoshida; Norio Iizuka; Mizunori Ezaki; Chandra M. Natarajan; Michael G. Tanner; Robert H. Hadfield; Val Zwiller; Graham D. Marshall; John G. Rarity; Jeremy L. O'Brien; Mark G. Thompson

    2014-11-20

    Large-scale integrated quantum photonic technologies will require the on-chip integration of identical photon sources with reconfigurable waveguide circuits. Relatively complex quantum circuits have already been demonstrated, but few studies acknowledge the pressing need to integrate photon sources and waveguide circuits together on-chip. A key step towards such large-scale quantum technologies is the integration of just two individual photon sources within a waveguide circuit, and the demonstration of high-visibility quantum interference between them. Here, we report a silicon-on-insulator device combining two four-wave mixing sources, in an interferometer with a reconfigurable phase shifter. We configure the device to create and manipulate two-colour (non-degenerate) or same-colour (degenerate), path-entangled or path-unentangled photon pairs. We observe up to 100.0+/-0.4% visibility quantum interference on-chip, and up to 95+/-4% off-chip. Our device removes the need for external photon sources, provides a path to increasing the complexity of quantum photonic circuits, and is a first step towards fully-integrated quantum technologies.

  17. Low-frequency Landau-Zener-Stückelberg interference in dissipative superconducting qubits

    E-Print Network [OSTI]

    lingjie du; yang yu

    2013-06-02

    Landau-Zener-St\\"uckelberg (LZS) interference of continuously driven superconducting qubits is studied. Going beyond the second order perturbation expansion, we find a time dependent stationary population evolution as well as unsymmetrical microwave driven Landau-Zener transitions, resulting from the nonresonant terms which are neglected in rotating-wave approximation. For the low-frequency driving, the qubit population at equilibrium is a periodical function of time, owing to the contribution of the nonresonant terms. In order to obtain the average population, it is found that the average approximation based on the perturbation approach can be applied to the low-frequency region. For the extremely low frequency which is much smaller than the decoherence rate, we develop noncoherence approximation by dividing the evolution into discrete time steps during which the coherence is lost totally. These approximations present comprehensive analytical descriptions of LZS interference in most of parameter space of frequency and decoherence rate, agreeing well with those of the numerical simulations and providing a simple but integrated understanding to system dynamics. The application of our models to microwave cooling can obtain the minimal frequency to realize effective microwave cooling.

  18. Photosensitive response of azobenzene containing films towards pure intensity or polarization interference patterns

    SciTech Connect (OSTI)

    Yadavalli, Nataraja Sekhar; Santer, Svetlana; Saphiannikova, Marina

    2014-08-04

    In this paper, we report on differences in the response of photosensitive azobenzene containing films upon irradiation with the intensity or polarization interference patterns. Two materials are studied differing in the molecular weight: an azobenzene-containing polymer and a molecular glass formed from a much smaller molecule consisting of three connected azobenzene units. Topography changes occurring along with the changes in irradiation conditions are recorded using a homemade set-up combining an optical part for generation and shaping of interference patterns and an atomic force microscope for acquiring the kinetics of film deformation. In this way, we could reveal the unique behavior of photosensitive materials during the first few minutes of irradiation: the change in topography is initially driven by an increase in the azobenzene free volume along with the trans-cis isomerization, followed by the mass transport finally resulting in the surface relief grating. This study demonstrates the great potential of our setup to experimentally highlight puzzling processes governing the formation of surface relief gratings.

  19. Quantum Interference Induced Photon Blockade in a Coupled Single Quantum Dot-Cavity System

    E-Print Network [OSTI]

    Jing Tang; Weidong Geng; Xiulai Xu

    2015-03-18

    We propose an experimental scheme to implement a strong photon blockade with a single quantum dot coupled to a nanocavity. The photon blockade effect can be tremendously enhanced by driving the cavity and the quantum dot simultaneously with two classical laser fields. This enhancement of photon blockade is ascribed to the quantum interference effect to avoid two-photon excitation of the cavity field. Comparing with Jaynes-Cummings model, the second-order correlation function at zero time delay $g^{(2)}(0)$ in our scheme can be reduced by two orders of magnitude and the system sustains a large intracavity photon number. A red (blue) cavity-light detuning asymmetry for photon quantum statistics with bunching or antibunching characteristics is also observed. The photon blockade effect has a controllable flexibility by tuning the relative phase between the two pumping laser fields and the Rabi coupling strength between the quantum dot and the pumping field. Moreover, the photon blockade scheme based on quantum interference mechanism does not require a strong coupling strength between the cavity and the quantum dot, even with the pure dephasing of the system. This simple proposal provides an effective way for potential applications in solid state quantum computation and quantum information processing.

  20. Nuclear interference in dissociating of HD{sup +} in ultrashort laser fields

    SciTech Connect (OSTI)

    Yang Di [School of Physics and Optoelectronic Technology, Dalian University of Technology, Dalian 116024 (China); State Key Laboratory of Molecular Reaction Dynamics, Dalian Institute of Chemical Physics, Chinese Academy of Sciences, Dalian 116023 (China); Cong Shulin [School of Physics and Optoelectronic Technology, Dalian University of Technology, Dalian 116024 (China)

    2011-07-15

    The dissociation dynamics of HD{sup +} molecules is studied theoretically by numerically solving the time-dependent Schroedinger equation in which the molecular vibrational and rotational degrees of freedom are included. Based on the Born-Oppenheimer approximation, the ground 1s{sigma}{sub g} state and the excited 2p{sigma}{sub u} state are taken into account, corresponding to two dissociative channels HD{sup +}{yields}D + H{sup +} and HD{sup +}{yields}H + D{sup +}, respectively. Two dissociative nuclear wave packets overlap and interfere after excited by two ultrashort laser pulses. The interference patterns can be controlled by varying the laser parameters and the dissociation probabilities are demonstrated for different laser fields. The kinetic energy-dependent distributions of the fragments are calculated using an asymptotic-flow expression in the momentum space. The branching ratio D{sup +}/(H{sup +} + D{sup +}), as a function of the delay time and the relative phase between two laser pulses, is also discussed.

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

    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.

  2. Quasiparticle interference, quasiparticle interactions, and the origin of the charge density wave in 2H-NbSe?

    SciTech Connect (OSTI)

    Arguello, C. J. [Columbia Univ., New York, NY (United States); Valla, T. [Brookhaven National Lab. (BNL), Upton, NY (United States); Rosenthal, E. P. [Columbia Univ., New York, NY (United States); Andrade, E. F. [Columbia Univ., New York, NY (United States); Jin, W. [Columbia Univ., New York, NY (United States); Yeh, P. C. [Columbia Univ., New York, NY (United States); Zaki, N. [Columbia Univ., New York, NY (United States); Jia, S. [Princeton Univ., NJ (United States); Cava, R. J. [Princeton Univ., NJ (United States); Fernandes, R. M. [Univ., of Minnesota, Minneapolis, MN (United States); Millis, A. J. [Columbia Univ., New York, NY (United States); Osgood, Jr., R. M. [Columbia Univ., New York, NY (United States); Princeton Univ., Princeton, NJ (United States); Pasupathy, A. N. [Columbia Univ., New York, NY (United States)

    2015-01-01

    We show that a small number of intentionally introduced defects can be used as a spectroscopic tool to amplify quasiparticle interference in 2H-NbSe?, that we measure by scanning tunneling spectroscopic imaging. We show from the momentum and energy dependence of the quasiparticle interference that Fermi surface nesting is inconsequential to charge density wave formation in 2H-NbSe?. We demonstrate that by combining quasiparticle interference data with additional knowledge of the quasiparticle band structure from angle resolved photoemission measurements, one can extract the wavevector and energy dependence of the important electronic scattering processes thereby obtaining direct information both about the fermiology and the interactions. In 2H-NbSe?, we use this combination to show that the important near-Fermi-surface electronic physics is dominated by the coupling of the quasiparticles to soft mode phonons at a wave vector different from the CDW ordering wave vector.

  3. Quasiparticle interference, quasiparticle interactions, and the origin of the charge density wave in 2H-NbSe?

    DOE Public Access Gateway for Energy & Science Beta (PAGES Beta)

    Arguello, C. J.; Valla, T.; Rosenthal, E. P.; Andrade, E. F.; Jin, W.; Yeh, P. C.; Zaki, N.; Jia, S.; Cava, R. J.; Fernandes, R. M.; et al

    2015-01-20

    We show that a small number of intentionally introduced defects can be used as a spectroscopic tool to amplify quasiparticle interference in 2H-NbSe?, that we measure by scanning tunneling spectroscopic imaging. We show from the momentum and energy dependence of the quasiparticle interference that Fermi surface nesting is inconsequential to charge density wave formation in 2H-NbSe?. We demonstrate that by combining quasiparticle interference data with additional knowledge of the quasiparticle band structure from angle resolved photoemission measurements, one can extract the wavevector and energy dependence of the important electronic scattering processes thereby obtaining direct information both about the fermiology andmore »the interactions. In 2H-NbSe?, we use this combination to show that the important near-Fermi-surface electronic physics is dominated by the coupling of the quasiparticles to soft mode phonons at a wave vector different from the CDW ordering wave vector.« less

  4. Quasiparticle interference, quasiparticle interactions, and the origin of the charge density wave in 2H-NbSe?

    DOE Public Access Gateway for Energy & Science Beta (PAGES Beta)

    Arguello, C. J. [Columbia Univ., New York, NY (United States); Valla, T. [Brookhaven National Lab. (BNL), Upton, NY (United States); Rosenthal, E. P. [Columbia Univ., New York, NY (United States); Andrade, E. F. [Columbia Univ., New York, NY (United States); Jin, W. [Columbia Univ., New York, NY (United States); Yeh, P. C. [Columbia Univ., New York, NY (United States); Zaki, N. [Columbia Univ., New York, NY (United States); Jia, S. [Princeton Univ., NJ (United States); Cava, R. J. [Princeton Univ., NJ (United States); Fernandes, R. M. [Univ., of Minnesota, Minneapolis, MN (United States); Millis, A. J. [Columbia Univ., New York, NY (United States); Osgood, Jr., R. M. [Columbia Univ., New York, NY (United States); Princeton Univ., Princeton, NJ (United States); Pasupathy, A. N. [Columbia Univ., New York, NY (United States)

    2015-01-01

    We show that a small number of intentionally introduced defects can be used as a spectroscopic tool to amplify quasiparticle interference in 2H-NbSe?, that we measure by scanning tunneling spectroscopic imaging. We show from the momentum and energy dependence of the quasiparticle interference that Fermi surface nesting is inconsequential to charge density wave formation in 2H-NbSe?. We demonstrate that by combining quasiparticle interference data with additional knowledge of the quasiparticle band structure from angle resolved photoemission measurements, one can extract the wavevector and energy dependence of the important electronic scattering processes thereby obtaining direct information both about the fermiology and the interactions. In 2H-NbSe?, we use this combination to show that the important near-Fermi-surface electronic physics is dominated by the coupling of the quasiparticles to soft mode phonons at a wave vector different from the CDW ordering wave vector.

  5. Quasiparticle interference, quasiparticle interactions, and the origin of the charge density wave in 2H–NbSe2

    DOE Public Access Gateway for Energy & Science Beta (PAGES Beta)

    Arguello, C. J.; Rosenthal, E. P.; Andrade, E. F.; Jin, W.; Yeh, P. C.; Zaki, N.; Jia, S.; Cava, R. J.; Fernandes, R. M.; Millis, A. J.; et al

    2015-01-21

    We show that a small number of intentionally introduced defects can be used as a spectroscopic tool to amplify quasiparticle interference in 2H-NbSe?, that we measure by scanning tunneling spectroscopic imaging. We show from the momentum and energy dependence of the quasiparticle interference that Fermi surface nesting is inconsequential to charge density wave formation in 2H-NbSe?. Thus, we demonstrate that by combining quasiparticle interference data with additional knowledge of the quasiparticle band structure from angle resolved photoemission measurements, one can extract the wavevector and energy dependence of the important electronic scattering processes thereby obtaining direct information both about the fermiologymore »and the interactions. In 2H-NbSe?, we use this combination to show that the important near-Fermi-surface electronic physics is dominated by the coupling of the quasiparticles to soft mode phonons at a wave vector different from the CDW ordering wave vector.« less

  6. Superconductive quantum interference magnetometer with high sensitivity achieved by an induced resonance

    SciTech Connect (OSTI)

    Vettoliere, A.; Granata, C.

    2014-08-15

    A fully integrated low noise superconducting quantum interference device (SQUID) in a magnetometer configuration is presented. An intrinsic high voltage responsivity as high as 500 ?V/?{sub 0} has been obtained by introducing a resonance in the voltage – magnetic flux characteristic. This resonance is induced by an integrated superconducting coil surrounding the pick-up coil and connected to one end of the SQUID output. The SQUID magnetometer exhibits a spectral density of magnetic field noise as low as 3 fT/Hz{sup 1/2}. In order to verify the suitability of the magnetometer, measurements of bandwidth and slew rate have been performed and compared with those of the same device without the resonance and with additional positive feedback. Due to their good characteristics such devices can be employed in a large number of applications including biomagnetism.

  7. Decoherence and Quantum Interference assisted electron trapping in a quantum dot

    E-Print Network [OSTI]

    Ahmed El Halawany; Michael N. Leuenberger

    2013-08-08

    We present a theoretical model for the dynamics of an electron that gets trapped by means of decoherence and quantum interference in the central quantum dot (QD) of a semiconductor nanoring (NR) made of five QDs, between 100 K and 300 K. The electron's dynamics is described by a master equation with a Hamiltonian based on the tight-binding model, taking into account electron-LO phonon interaction (ELOPI). Based on this configuration, the probability to trap an electron with no decoherence is almost 27%. In contrast, the probability to trap an electron with decoherence is 70% at 100 K, 63% at 200 K and 58% at 300 K. Our model provides a novel method of trapping an electron at room temperature.

  8. Preliminary analyses of scenarios for potential human interference for repositories in three salt formations

    SciTech Connect (OSTI)

    Not Available

    1985-10-01

    Preliminary analyses of scenarios for human interference with the performance of a radioactive waste repository in a deep salt formation are presented. The following scenarios are analyzed: (1) the U-Tube Connection Scenario involving multiple connections between the repository and the overlying aquifer system; (2) the Single Borehole Intrusion Scenario involving penetration of the repository by an exploratory borehole that simultaneously connects the repository with overlying and underlying aquifers; and (3) the Pressure Release Scenario involving inflow of water to saturate any void space in the repository prior to creep closure with subsequent release under near lithostatic pressures following creep closure. The methodology to evaluate repository performance in these scenarios is described and this methodology is applied to reference systems in three candidate formations: bedded salt in the Palo Duro Basin, Texas; bedded salt in the Paradox Basin, Utah; and the Richton Salt Dome, Mississippi, of the Gulf Coast Salt Dome Basin.

  9. Decentralized Delay Optimal Control for Interference Networks with Limited Renewable Energy Storage

    E-Print Network [OSTI]

    Huang, Huang

    2012-01-01

    In this paper, we consider delay minimization for interference networks with renewable energy source, where the transmission power of a node comes from both the conventional utility power (AC power) and the renewable energy source. We assume the transmission power of each node is a function of the local channel state, local data queue state and local energy queue state only. In turn, we consider two delay optimization formulations, namely the decentralized partially observable Markov decision process (DEC-POMDP) and Non-cooperative partially observable stochastic game (POSG). In DEC-POMDP formulation, we derive a decentralized online learning algorithm to determine the control actions and Lagrangian multipliers (LMs) simultaneously, based on the policy gradient approach. Under some mild technical conditions, the proposed decentralized policy gradient algorithm converges almost surely to a local optimal solution. On the other hand, in the non-cooperative POSG formulation, the transmitter nodes are non-cooperat...

  10. Plume configuration and plume recirculation/interference of the Vienna cooling towers

    SciTech Connect (OSTI)

    Jain, S.C.; Kennedy, J.F.

    1980-12-01

    The objective of the laboratory model investigation reported herein was to study the behavior of the effluent plumes from the existing and proposed mechanical draft wet cooling towers at the Vienna power plant. Included in the study are plume recirculation and interference of the existing rectangular tower and the proposed round tower as well as effects on plume behavior of the power plant buildings and the coal pile. The study results can be utilized to determine the visible plume boundaries and cooling tower stack effluent concentration distributions for various meteorological and power plant operating conditions. The results can then be used to determine whether or not the plumes will cause fogging or icing on the proposed Route 50 bypass. Tests were conducted for several wind speeds and for the prevailing winter and summer wind directions.

  11. Generation of continuous-wave THz radiation by use of quantum interference

    E-Print Network [OSTI]

    E. A. Korsunsky; D. V. Kosachiov

    1999-12-13

    We propose a scheme for generation of continuous-wave THz radiation. The scheme requires a medium where three discrete states in a $\\Lambda $ configuration can be selected, with the THz-frequency transition between the two lower metastable states. We consider the propagation of three-frequency continuous-wave electromagnetic (e.m.) radiation through a $\\Lambda $ medium. Under resonant excitation, the medium absorption can be strongly reduced due to quantum interference of transitions, while the nonlinear susceptibility is enhanced. This leads to very efficient energy transfer between the e.m. waves providing a possibility for THz generation. We demonstrate that the photon conversion efficiency is approaching unity in this technique.

  12. Optical transmission modules for multi-channel superconducting quantum interference device readouts

    SciTech Connect (OSTI)

    Kim, Jin-Mok Kwon, Hyukchan; Yu, Kwon-kyu; Lee, Yong-Ho; Kim, Kiwoong

    2013-12-15

    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.

  13. Assessment and Mitigation of Diagnostic-Generated Electromagnetic Interference at the National Ignition Facility

    SciTech Connect (OSTI)

    Brown, C G; Ayers, M J; Felker, B; Ferguson, W; Holder, J P; Nagel, S R; Piston, K W; Simanovskaia, N; Throop, A L; Chung, M; Hilsabeck, T

    2012-04-20

    Electromagnetic interference (EMI) is an ever-present challenge at laser facilities such as the National Ignition Facility (NIF). The major source of EMI at such facilities is laser-target interaction that can generate intense electromagnetic fields within, and outside of, the laser target chamber. In addition, the diagnostics themselves can be a source of EMI, even interfering with themselves. In this paper we describe EMI generated by ARIANE and DIXI, present measurements, and discuss effects of the diagnostic-generated EMI on ARIANE's CCD and on a PMT nearby DIXI. Finally we present some of the efforts we have made to mitigate the effects of diagnostic-generated EMI on NIF diagnostics.

  14. A cryogen-free ultralow-field superconducting quantum interference device magnetic resonance imaging system

    SciTech Connect (OSTI)

    Eom, Byeong Ho; Penanen, Konstantin; Hahn, Inseob, E-mail: ihahn@caltech.edu [Jet Propulsion Laboratory, California Institute of Technology, Pasadena, California 91109 (United States)

    2014-09-15

    Magnetic resonance imaging (MRI) at microtesla fields using superconducting quantum interference device (SQUID) detection has previously been demonstrated, and advantages have been noted. Although the ultralow-field SQUID MRI technique would not need the heavy superconducting magnet of conventional MRI systems, liquid helium required to cool the low-temperature detector still places a significant burden on its operation. We have built a prototype cryocooler-based SQUID MRI system that does not require a cryogen. The SQUID detector and the superconducting gradiometer were cooled down to 3.7 K and 4.3 K, respectively. We describe the prototype design, characterization, a phantom image, and areas of further improvements needed to bring the imaging performance to parity with conventional MRI systems.

  15. Superconducting quantum interference device microsusceptometer balanced over a wide bandwidth for nuclear magnetic resonance applications

    SciTech Connect (OSTI)

    Vinante, A. Falferi, P.; Mezzena, R.

    2014-10-15

    Superconducting Quantum Interference Device (SQUID) microsusceptometers have been widely used to study magnetic properties of materials at microscale. As intrinsically balanced devices, they could also be exploited for direct SQUID-detection of nuclear magnetic resonance (NMR) from micron sized samples, or for SQUID readout of mechanically detected NMR from submicron sized samples. Here, we demonstrate a double balancing technique that enables achievement of very low residual imbalance of a SQUID microsusceptometer over a wide bandwidth. In particular, we can generate ac magnetic fields within the SQUID loop as large as 1 mT, for frequencies ranging from dc up to a few MHz. As an application, we demonstrate direct detection of NMR from {sup 1}H spins in a glycerol droplet placed directly on top of the 20 ?m SQUID loops.

  16. SU-E-T-374: Sensitivity of ArcCHECK to Tomotherapy Delivery Errors: Dependence On Analysis Technique

    SciTech Connect (OSTI)

    Templeton, A; Chu, J; Turian, J

    2014-06-01

    Purpose: ArcCHECK (Sun Nuclear) is a cylindrical diode array detector allowing three-dimensional sampling of dose, particularly useful in treatment delivery QA of helical tomotherapy. Gamma passing rate is a common method of analyzing results from diode arrays, but is less intuitive in 3D with complex measured dose distributions. This study explores the sensitivity of gamma passing rate to choice of analysis technique in the context of its ability to detect errors introduced into the treatment delivery. Methods: Nine treatment plans were altered to introduce errors in: couch speed, gantry/sonogram synchronization, and leaf open time. Each plan was then delivered to ArcCHECK in each of the following arrangements: “offset,” when the high dose area of the plan is delivered to the side of the phantom so that some diode measurements will be on the order of the prescription dose, and “centered,” when the high dose is in the center of the phantom where an ion chamber measurement may be acquired, but the diode measurements are in the mid to low-dose region at the periphery of the plan. Gamma analysis was performed at 3%/3mm tolerance and both global and local gamma criteria. The threshold of detectability for each error type was calculated as the magnitude at which the gamma passing rate drops below 90%. Results: Global gamma criteria reduced the sensitivity in the offset arrangement (from 2.3% to 4.5%, 8° to 21°, and 3ms to 8ms for couch-speed decrease, gantry-error, and leaf-opening increase, respectively). The centered arrangement detected changes at 3.3%, 5°, and 4ms with smaller variation. Conclusion: Each arrangement has advantages; offsetting allows more sampling of the higher dose region, while centering allows an ion chamber measurement and potentially better use of tools such as 3DVH, at the cost of positioning more of the diodes in the sometimes noisy mid-dose region.

  17. Detection of Physics-based Ultra-wideband Signals Using Generalized RAKE in Presence of Inter-Symbol Interference

    E-Print Network [OSTI]

    Qiu, Robert Caiming

    Detection of Physics-based Ultra-wideband Signals Using Generalized RAKE in Presence of Inter-Symbol Interference John Qiang Zhang and Robert Caiming Qiu Abstract-- The generalized rake receiver based on physics rate. Index Terms-- Generalized rake receiver, Physics-based channel, Successive channel estimation

  18. Nash Bargaining over MIMO Interference Systems Zengmao Chen, Sergiy A. Vorobyov, Cheng-Xiang Wang, and John Thompson

    E-Print Network [OSTI]

    Wang, Cheng-Xiang

    Nash Bargaining over MIMO Interference Systems Zengmao Chen, Sergiy A. Vorobyov, Cheng-Xiang Wang condition for the uniqueness of the Nash bargaining (NB) solution. The structure of the source covariance with the covariance matrices leading to the Nash equilibrium (NE). The existence of the NB solution and concavity

  19. IEEE TRANSACTIONS ON SIGNAL PROCESSING, VOL. 59, NO. 1, JANUARY 2011 263 MIMO B-MAC Interference Network Optimization

    E-Print Network [OSTI]

    Liu, Youjian "Eugene"

    Network Optimization Under Rate Constraints by Polite Water-Filling and Duality An Liu, Student Member and SINR through the design of optimal mappings between them. The second approach exploits the polite water is analyzed in addition to numeric examples. Index Terms--Duality, MIMO, interference network, polite water

  20. Modulating unpolarized current in quantum spintronics: Visibility of spin-interference effects in multichannel Aharonov-Casher mesoscopic rings

    E-Print Network [OSTI]

    Nikolic, Branislav K.

    Modulating unpolarized current in quantum spintronics: Visibility of spin-interference effects. INTRODUCTION Recent attempts in spintronics1 to harness electron spin for classical and quantum information spintronic device, the Datta-Das spin-field-effect transistor4 (spin-FET) where current passing through a two

  1. Accepted for publication in Wireless Networks, Special Issue on Multiuser Detection in Wireless Communications Adaptive Power Control and MMSE Interference

    E-Print Network [OSTI]

    Yates, Roy

    with an acceptable quality of service while minimizing the total transmitter power. Multiuser detection on the other communication systems, iterative power control is used to provide each user with an acceptable level and interference. In [10], a framework was given for uplink power control for cellular radio systems. Variations

  2. Dual Mechanisms of Cognitive Control: Interference Effects on Working Memory are Modulated by Expectancy and Fluid Intelligence

    E-Print Network [OSTI]

    Burgess, Greg

    ), proactive control mechanisms preferred · Fluid Intelligence (gF) · Fluid intelligence possibly relatedDual Mechanisms of Cognitive Control: Interference Effects on Working Memory are Modulated by Expectancy and Fluid Intelligence Gregory C. Burgess and Todd S. Braver Department of Psychology , Washington

  3. Adjacent Channel Interference in Dual-radio 802.11a Nodes and Its Impact on Multi-hop Networking

    E-Print Network [OSTI]

    Kung, H. T.

    -mask requirements set by the IEEE 802.11 standard, the multi-hop performance is still significantly affected by ACI evaluate the performance impact of adjacent chan- nel interference (ACI) in multi-hop wireless networks a spectrum analyzer with a signal combiner to quantify ACI under various conditions and propose solutions

  4. 4558 IEEE TRANSACTIONS ON WIRELESS COMMUNICATIONS, VOL. 6, NO. 12, DECEMBER 2007 An Interference Aware Distributed Resource

    E-Print Network [OSTI]

    Zhuang, Weihua

    4558 IEEE TRANSACTIONS ON WIRELESS COMMUNICATIONS, VOL. 6, NO. 12, DECEMBER 2007 An Interference Aware Distributed Resource Management Scheme for CDMA-Based Wireless Mesh Backbone Hai Jiang, Member (consisting of a number of wireless routers at fixed sites). Specifically, benefiting from the fixed location

  5. Modification of the Hepatitis B Virus Envelope Protein Glycosylation Pattern Interferes with Secretion of Viral Particles, Infectivity, and

    E-Print Network [OSTI]

    Gleeson, Joseph G.

    Modification of the Hepatitis B Virus Envelope Protein Glycosylation Pattern Interferes Transfusion Sanguine (INTS), Paris, France ABSTRACT The envelope proteins of hepatitis B virus (HBV) bear an N protein synthesis and stability and to secretion of subviral particles (SVPs) and hepatitis delta virus

  6. ON THE NOISY MIMO INTERFERENCE CHANNEL WITH CSI THROUGH ANALOG Francesco Negro, Dirk T.M. Slock

    E-Print Network [OSTI]

    Gesbert, David

    . This is because cellular communication systems, which are severely af- fected by intercell interference, can supported by its industrial members: ORANGE, BMW Group, Swisscom, Cisco, SFR, ST Ericsson, Symantec, SAP, Monaco Telecom, and also by the EU FET project CROWN and FP7 projects SACRA and WHERE2. The research

  7. Quantum Interference Control of Ballistic Pure Spin Currents in Semiconductors Martin J. Stevens and Arthur L. Smirl*

    E-Print Network [OSTI]

    Van Driel, Henry M.

    techniques have been employed [4­6] to achieve direct optical injection of spin currents without an external. In this Letter, by contrast, we report direct optical injection of a spin current that is not accompanied; published 4 April 2003) We demonstrate all-optical quantum interference injection and control of a ballistic

  8. Colloidal crystal growth monitored by Bragg diffraction interference fringes Justin J. Bohn, Alexander Tikhonov, Sanford A. Asher *

    E-Print Network [OSTI]

    Asher, Sanford A.

    Colloidal crystal growth monitored by Bragg diffraction interference fringes Justin J. Bohn), or glassy structures [1­9]. Surface- charged monodisperse colloidal particle suspensions will crystal- lize large single crystal domains [10­15]. The degree of CCA ordering depends on the colloidal particle size

  9. Ramsey Interference in One-Dimensional Systems: The Full Distribution Function of Fringe Contrast as a Probe of Many-Body Dynamics

    SciTech Connect (OSTI)

    Kitagawa, Takuya; Pielawa, Susanne; Demler, Eugene [Physics Department, Harvard University, Cambridge, Massachusetts 02138 (United States); Imambekov, Adilet [Department of Physics and Astronomy, Rice University, Houston, Texas 77005 (United States); Schmiedmayer, Joerg [Atominstitut, TU-Wien, Stadionallee 2, 1020 Vienna (Austria); Gritsev, Vladimir [Physics Department, University of Fribourg, Chemin du Musee 3, 1700 Fribourg (Switzerland)

    2010-06-25

    We theoretically analyze Ramsey interference experiments in one-dimensional quasicondensates and obtain explicit expressions for the time evolution of full distribution functions of fringe contrast. We show that distribution functions contain unique signatures of the many-body mechanism of decoherence. We argue that Ramsey interference experiments provide a powerful tool for analyzing strongly correlated nature of 1D interacting systems.

  10. Theoretical analysis on quantum interference effect in fast-light media

    E-Print Network [OSTI]

    Xu, Datang; Huang, Guoxiang

    2015-01-01

    We make a systematic theoretical analysis on the quantum interference (QI) effects in various fast-light media (including gain-assisted $N$, gain-assisted ladder-I, and gain-assisted ladder-II atomic systems). We show that such fast-light media are capable of not only completely eliminating the absorption but also suppressing the gain of signal field, and hence provide the possibility to realize a stable propagation of the signal field with a superluminal velocity. We find that there is a destructive (constructive) QI effect in gain-assisted ladder-I (gain-assisted N) system, but no QI in the gain-assisted ladder-II system; furthermore, a crossover from destructive (constructive) QI to Autler-Townes splitting may occur for the gain-assisted ladder-I (gain-assisted N) system when the control field of the system is modulated. Our theoretical analysis can be applied to other multi-level systems, and the results obtained may have promising applications in optical and quantum information processing and transmissio...

  11. Nanoscale transport of phonons: Dimensionality, subdiffusion, molecular damping, and interference effects

    SciTech Connect (OSTI)

    Walczak, Kamil; Yerkes, Kirk L.

    2014-05-07

    We examine heat transport carried by acoustic phonons in the systems composed of nanoscale chains of masses coupled to two thermal baths of different temperatures. Thermal conductance is obtained by using linearized Landauer-type formula for heat flux with phonon transmission probability calculated within atomistic Green's functions (AGF) method. AGF formalism is extended onto dissipative chains of masses with harmonic coupling beyond nearest-neighbor approximation, while atomistic description of heat reservoirs is also included into computational scheme. In particular, the phonon lifetimes and the phonon frequency shifts are discussed for harmonic lattices of different dimensions. Further, resonant structure of phonon transmission spectrum is analyzed with respect to reservoir-induced effects, molecular damping, and mass-to-mass harmonic coupling. Analysis of transmission zeros (antiresonances) and their accompanied Fano-shape resonances are discussed as a result of interference effects between different vibrational modes. Finally, we also predict subdiffusive transport regime for low-frequency ballistic phonons propagated along a linear chain of harmonically coupled masses.

  12. Quantum Interference Induced Photon Blockade in a Coupled Single Quantum Dot-Cavity System

    E-Print Network [OSTI]

    Tang, Jing; Xu, Xiulai

    2015-01-01

    We propose an experimental scheme to implement a strong photon blockade with a single quantum dot coupled to a nanocavity. The photon blockade effect can be tremendously enhanced by driving the cavity and the quantum dot simultaneously with two classical laser fields. This enhancement of photon blockade is ascribed to the quantum interference effect to avoid two-photon excitation of the cavity field. Comparing with Jaynes-Cummings model, the second-order correlation function at zero time delay $g^{(2)}(0)$ in our scheme can be reduced by two orders of magnitude and the system sustains a large intracavity photon number. A red (blue) cavity-light detuning asymmetry for photon quantum statistics with bunching or antibunching characteristics is also observed. The photon blockade effect has a controllable flexibility by tuning the relative phase between the two pumping laser fields and the Rabi coupling strength between the quantum dot and the pumping field. Moreover, the photon blockade scheme based on quantum in...

  13. Soft holographic interference lithography microlens for enhanced organic light emitting diode light extraction

    SciTech Connect (OSTI)

    Park, Joong-Mok; Gan, Zhengqing; Leung, Wai Y.; Liu, Rui; Ye, Zhuo; Constant, Kristen; Shinar, Joseph; Shinar, Ruth; Ho, Kai-Ming

    2011-06-06

    Very uniform 2 {micro}m-pitch square microlens arrays ({micro}LAs), embossed on the blank glass side of an indium-tin-oxide (ITO)-coated 1.1 mm-thick glass, are used to enhance light extraction from organic light-emitting diodes (OLEDs) by {approx}100%, significantly higher than enhancements reported previously. The array design and size relative to the OLED pixel size appear to be responsible for this enhancement. The arrays are fabricated by very economical soft lithography imprinting of a polydimethylsiloxane (PDMS) mold (itself obtained from a Ni master stamp that is generated from holographic interference lithography of a photoresist) on a UV-curable polyurethane drop placed on the glass. Green and blue OLEDs are then fabricated on the ITO to complete the device. When the {mu}LA is {approx}15 x 15 mm{sup 2}, i.e., much larger than the {approx}3 x 3 mm{sup 2} OLED pixel, the electroluminescence (EL) in the forward direction is enhanced by {approx}100%. Similarly, a 19 x 25 mm{sup 2} {mu}LA enhances the EL extracted from a 3 x 3 array of 2 x 2 mm{sup 2} OLED pixels by 96%. Simulations that include the effects of absorption in the organic and ITO layers are in accordance with the experimental results and indicate that a thinner 0.7 mm thick glass would yield a {approx}140% enhancement.

  14. Dynamics of fast pattern formation in porous silicon by laser interference

    SciTech Connect (OSTI)

    Peláez, Ramón J.; Kuhn, Timo; Afonso, Carmen N. [Laser Processing Group, Instituto de Óptica, CSIC, Serrano 121, 28006 Madrid (Spain); Vega, Fidel [Departament d'Òptica i Optometria, UPC, Violinista Vellsolà 37, 08222 Terrasa (Spain)

    2014-10-20

    Patterns are fabricated on 290?nm thick nanostructured porous silicon layers by phase-mask laser interference using single pulses of an excimer laser (193?nm, 20?ns pulse duration). The dynamics of pattern formation is studied by measuring in real time the intensity of the diffraction orders 0 and 1 at 633?nm. The results show that a transient pattern is formed upon melting at intensity maxima sites within a time <30?ns leading to a permanent pattern in a time <100?ns upon solidification at these sites. This fast process is compared to the longer one (>1??s) upon melting induced by homogeneous beam exposure and related to the different scenario for releasing the heat from hot regions. The diffraction efficiency of the pattern is finally controlled by a combination of laser fluence and initial thickness of the nanostructured porous silicon layer and the present results open perspectives on heat release management upon laser exposure as well as have potential for alternative routes for switching applications.

  15. Criminal Background Check With few exceptions, you are entitled on your request to be informed about the information UT Health Science Center San Antonio collects about you. Under

    E-Print Network [OSTI]

    Nicholson, Bruce J.

    with the procedures set forth in HOP Policy 4.4.1. You may be required to correct/contest criminal background records background records. See HOP Policy 4.4.1 - Criminal Background Checks and HOP Policy 8.7.11 Contractors, the University of Texas Health Science Center at San Antonio may obtain criminal records and/or a consumer report

  16. Check One EdM MA MBE MEng MF MFA MPP MS MMP MHP PSM LAST Name (Family) First Name, Middle Initial

    E-Print Network [OSTI]

    Escher, Christine

    MASTERS Check One EdM MA MBE MEng MF MFA MPP MS MMP MHP PSM LAST Name (Family) First Name, Middle. No. 503 G* Non-Thesis Project, Research, or PSM Internship (3-6 credits) Course Cr. Gr. If applicable

  17. 12:30 -12:45 p.m. Check-in and greetings 12:45 -12:55 p.m. Welcome and Announcements

    E-Print Network [OSTI]

    de Lijser, Peter

    :30 - 12:45 p.m. Check-in and greetings __________________________________________________________________________________________________ 12:45 - 12:55 p.m. Welcome and Announcements Vivek Mande California State University, Fullerton __________________________________________________________________________________________________ 1:00 - 1:40 p.m. Invited presentation Robert Knechel

  18. PVSAT-2: RESULTS OF FIELD TEST OF THE SATELLITE-BASED PV SYSTEM PERFORMANCE CHECK A.C. de Keizer1

    E-Print Network [OSTI]

    Heinemann, Detlev

    . of Electrical Engineering, University of Applied Sciences (FH) Magdeburg-Stendal, 39114 Magdeburg, Germany, ABSTRACT: Within the EU funded project PVSAT-2 an automated performance check for grid-connected PV systems information. The uncertainty in the simulated energy yield can be high for cloudy weather situations

  19. Duke University, Department of ECE, Technical Report #2004-2, September 20, 2004 Dynamic verification enables a system to improve its availability by checking that its execution is

    E-Print Network [OSTI]

    Sorin, Daniel J.

    verification enables a system to improve its availability by checking that its execution is correct verification of sequential con- sistency (pDVSC) in multithreaded systems. The system dynamically creates verification arbitrarily small. We use full-system simulation of a multithreaded system running commercial

  20. PSYCHOLOGY: For Use with Catalogue Year 2015-16 or earlier This B.A. Check is for INFORMATIONAL PURPOSES ONLY. Please refer to the UCI General Catalogue.

    E-Print Network [OSTI]

    Johnson, Kent

    PSYCHOLOGY: For Use with Catalogue Year 2015-16 or earlier This B.A. Check is for INFORMATIONAL Requirements Psychology Major Requirements Additional Psychology & Units Please refer to your general catalogue.) __________________________ __________________________ __________________________ 3) Cat. III: Social & Beh.Sci. Satisfied by the Psychology Major 4) Cat. IV: Arts & Humanities

  1. SJSU Information Support Services Pay with an eCheck info-support@sjsu.edu, 408-924-1530 Page 1

    E-Print Network [OSTI]

    Su, Xiao

    the Click here to make a payment link. 7. Select Enter new electronic check information. You can save save. 8. Click the Continue Checkout button. #12;SJSU Information Support Services Pay with an e to be saved for future use Enter a name for this payment method to save this information for future payments

  2. The University of Oklahoma Background Check Authorization (updated 02/05/2013) Hiring department completes this section. Incomplete information will delay the hiring process.

    E-Print Network [OSTI]

    Oklahoma, University of

    The University of Oklahoma Background Check Authorization (updated 02/05/2013) Hiring department Medical Resident Volunteer Other, Describe: APPLICANT MUST READ AND SIGN The University of Oklahoma to the Standard Pre-Employment Screening. I understand that the University of Oklahoma may utilize the services

  3. Personal Information Change Form I am submitting this form to change my (check all that apply and complete form with new information)

    E-Print Network [OSTI]

    Personal Information Change Form I am submitting this form to change my (check all that apply Center, VU Station B #351809, 2301 Vanderbilt Place, Nashville, TN 372351809; phone 615.322.4705 (V # Entered by Audited by Signature Date Mail form to: Vanderbilt HR Processing, PMB #407718, 2301 Vanderbilt

  4. Energy-Aware Routing: a Reality Check Aruna Prem Bianzino1, Claude Chaudet1, Federico Larroca2, Dario Rossi1, Jean-Louis Rougier1

    E-Print Network [OSTI]

    Rougier, Jean-Louis

    of green routing algorithms and evaluate the achievable energy savings that such mechanisms could allow of bringing energy- awareness in network elements and processes is usually re- ferred to as green networking1 Energy-Aware Routing: a Reality Check Aruna Prem Bianzino1, Claude Chaudet1, Federico Larroca2

  5. Oberseminar -ICP Temperature Calculation for Tribological

    E-Print Network [OSTI]

    Harting, Jens

    and passing to third parties. 0 #12;Overview Where to calculate the heat: diesel injection pump First focus in the steel in the meantime of one step It takes some rotations to have the heat penetrate the whole pump even in the event of industrial property rights. We reserve all rights of disposal such as copying

  6. Microsoft Word - ICP CX determinaton.doc

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 Outreach Home Room NewsInformationJessework uses concrete7 Assessment of the Performance of3293 Unlimited

  7. Direct periodic patterning of GaN-based light-emitting diodes by three-beam interference laser ablation

    SciTech Connect (OSTI)

    Kim, Jeomoh; Ji, Mi-Hee; Detchprohm, Theeradetch; Yuan, Dajun; Guo, Rui; Liu, Jianping; Asadirad, Mojtaba; Kwon, Min-Ki; Dupuis, Russell D.; Das, Suman; Ryou, Jae-Hyun

    2014-04-07

    We report on the direct patterning of two-dimensional periodic structures in GaN-based light-emitting diodes (LEDs) through laser interference ablation for the fast and reliable fabrication of periodic micro- and nano-structures aimed at enhancing light output. Holes arranged in a two-dimensional hexagonal lattice array having an opening size of 500?nm, depth of 50?nm, and a periodicity of 1??m were directly formed by three-beam laser interference without photolithography or electron-beam lithography processes. The laser-patterned LEDs exhibit an enhancement in light output power of 20% compared to conventional LEDs having a flat top surface without degradation of electrical and optical properties of the top p-GaN layer and the active region, respectively.

  8. A unified Fano-like interference picture for charmonium-like states $Y(4008)$, $Y(4260)$ and $Y(4360)$

    E-Print Network [OSTI]

    Chen, Dian-Yong; Li, Xue-Qian; Ke, Hong-Wei

    2015-01-01

    We propose that the unified Fano-like interference picture applies to $e^+e^-\\to \\pi^+\\pi^- J/\\psi$ and $e^+e^-\\to \\pi^+\\pi^- \\psi(3686)$, where $Y(4260)$ and $Y(4360)$ are observed, respectively, to provide a reasonable interpretation of the asymmetric lineshapes of $Y(4260)$ and $Y(4360)$ structures. Moreover, the Fano-like interference induces an extra broad structure $Y(4008)$ in $e^+e^-\\to \\pi^+\\pi^- J/\\psi$ as a companion peak to $Y(4260)$. Three charmonium-like states $Y(4008)$, $Y(4260)$ and $Y(4360)$ observed in $e^+e^-$ annihilation processes are not genuine resonances. Under this scenario, it is well explained why $Y(4008)$, $Y(4260)$ and $Y(4360)$ are absent in the experimental data of the $R$ value scan and missing in open-charm decay channels. Although the present work presents the a typical application of the Fano-like interference in the particle physics at the lower energy region, we have reason to believe that the Fano-like phenomena may exist in other processes such as $e^+e^-\\to \\pi^+\\pi^-...

  9. Inhibition of hepatitis B virus (HBV) by LNA-mediated nuclear interference with HBV DNA transcription

    SciTech Connect (OSTI)

    Sun, Zhen; Department of Biochemistry and Molecular Biology, Program in Molecular Cell Biology, Zhejiang University School of Medicine, Hangzhou, Zhejiang 310058 ; Xiang, Wenqing; Guo, Yajuan; Chen, Zhi; Liu, Wei; Lu, Daru

    2011-06-10

    Highlights: {yields} LNA-modified oligonucleotides can pass through the plasma membrane of cultured cells even without using transfection machinery. {yields} LNA-modified oligonucleotides passed efficiently across the cell membrane, and lipid-coating facilitated translocation from the cytoplasm to the nucleus. {yields} LNA-oligonucleotide designed to target nuclear HBV DNA efficiently suppresses HBV replication and transcription in cultured hepatic cells. -- Abstract: Silencing target genes with small regulatory RNAs is widely used to investigate gene function and therapeutic drug development. Recently, triplex-based approaches have provided another attractive means to achieve targeted gene regulation and gene manipulation at the molecular and cellular levels. Nuclear entry of oligonucleotides and enhancement of their affinity to the DNA targets are key points of such approaches. In this study, we developed lipid-based transport of a locked-nucleic-acid (LNA)-modified oligonucleotide for hepatitis B virus (HBV) DNA interference in human hepatocytes expressing HBV genomic DNA. In these cells, the LNA-modified oligonucleotides passed efficiently across the cell membrane, and lipid-coating facilitated translocation from the cytoplasm to the nucleus. The oligonucleotide specifically targeting HBV DNA clearly interfered with HBV DNA transcription as shown by a block in pregenomic RNA (pgRNA) production. The HBV DNA-targeted oligonucleotide suppressed HBV DNA replication and HBV protein production more efficiently than small interfering RNAs directed to the pgRNA. These results demonstrate that fusion with lipid can carry LNA-modified oligonucleotides to the nucleus where they regulate gene expression. Interfering with HBV DNA transcription by LNA-modified oligonucleotides has strong potential as a new strategy for HBV inhibition.

  10. Hybrid type checking

    E-Print Network [OSTI]

    Flanagan, C

    2006-01-01

    Transactions on Programming Languages and Systems, volumeTransactions on Programming Languages and Systems, 21(3):of the Conference on Programming Language Design and

  11. OPEN SEASON CHECK LIST

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of Natural GasAdjustmentsShirleyEnergyTher i nAand DOEDepartmentNew2008Group, Inc.Acquisition Guides OPAMAcquisition

  12. Light Vector Meson Photoproduction off of 1H at Jefferson Lab and p-w Interference in the Leptonic Decay Channel

    SciTech Connect (OSTI)

    Djalali, Chaden; Paolone, Michael; Weygand, Dennis; Wood, Mike H.

    2014-09-01

    Although the phenomena of r – w interference has been studied at great length in pionic decay channel over the past 50 years, a study of the interference in a purely electromagnetic production and decay channel has never been performed on an elementary proton target until now. The only published photo-production data of the r - w leptonic decay channel was obtained in the early seventies on C and Be. An investigation of the r - w interference on a Hydrogen was recently completed at Jefferson Lab with the CLAS detector. The di-lepton spectra was fit with two inter- fering relativistic Breit-Wigner functions, and the interference phase was extracted. Preliminary results will be compared to the previous experimental studies in nuclei.

  13. Possible realization of entanglement, logical gates, and quantum-information transfer with superconducting-quantum-interference-device qubits in cavity QED

    E-Print Network [OSTI]

    Yang, Chui-Ping; Chu, Shih-I; Han, Siyuan

    2003-04-17

    We present a scheme to achieve maximally entangled states, controlled phase-shift gate, and SWAP gate for two superconducting-quantum-interference-device (SQUID) qubits, by placing SQUIDs in a microwave cavity. We also show how to transfer quantum...

  14. An energy relaxation tolerant approach to quantum entanglement, information transfer, and gates with superconducting-quantum-interference-device qubits in cavity QED

    E-Print Network [OSTI]

    Yang, Chui-Ping; Chu, Shih-I; Han, Siyuan

    2004-03-31

    A scheme is proposed for realizing quantum entanglement, information transfer, CNOT gates, and SWAP gates with supercoiiducting-quantum-interference-device (SQUID) qubits in cavity QED. In the scheme, the two logical states of a qubit are the two...

  15. GRACE at ONE-LOOP: Automatic calculation of 1-loop diagrams in the electroweak theory with gauge parameter independence checks

    E-Print Network [OSTI]

    G. Belanger; F. Boudjema; J. Fujimoto; T. Ishikawa; T. Kaneko; K. Kato; Y. Shimizu

    2006-04-18

    We describe the main building blocks of a generic automated package for the calculation of Feynman diagrams. These blocks include the generation and creation of a model file, the graph generation, the symbolic calculation at an intermediate level of the Dirac and tensor algebra, implementation of the loop integrals, the generation of the matrix elements or helicity amplitudes, methods for the phase space integrations and eventually the event generation. The report focuses on the fully automated systems for the calculation of physical processes based on the experience in developing GRACE-loop. As such, a detailed description of the renormalisation procedure in the Standard Model is given emphasizing the central role played by the non-linear gauge fixing conditions for the construction of such automated codes. The need for such gauges is better appreciated when it comes to devising efficient and powerful algorithms for the reduction of the tensorial structures of the loop integrals. A new technique for these reduction algorithms is described. Explicit formulae for all two-point functions in a generalised non-linear gauge are given, together with the complete set of counterterms. We also show how infrared divergences are dealt with in the system. We give a comprehensive presentation of some systematic test-runs which have been performed at the one-loop level for a wide variety of two-to-two processes to show the validity of the gauge check. These cover fermion-fermion scattering, gauge boson scattering into fermions, gauge bosons and Higgs bosons scattering processes. Comparisons with existing results on some one-loop computation in the Standard Model show excellent agreement. We also briefly recount some recent development concerning the calculation of mutli-leg one-loop corrections.

  16. Prostate Brachytherapy With Oblique Needles to Treat Large Glands and Overcome Pubic Arch Interference

    SciTech Connect (OSTI)

    Ryu, Bon; Imaging Research Laboratories, Robarts Research Institute, University of Western Ontario, London, Ontario ; Bax, Jeff; Imaging Research Laboratories, Robarts Research Institute, University of Western Ontario, London, Ontario ; Edirisinge, Chandima; Lewis, Craig; Chen, Jeff; D'Souza, David; Radiation Treatment Program, London Regional Cancer Program, London Health Sciences Centre, London, Ontario ; Fenster, Aaron; Department of Medical Biophysics, University of Western Ontario, London, Ontario; Department of Biomedical Engineering, University of Western Ontario, London, Ontario; Imaging Research Laboratories, Robarts Research Institute, University of Western Ontario, London, Ontario; Department of Oncology, University of Western Ontario, London, Ontario ; Wong, Eugene; Department of Medical Biophysics, University of Western Ontario, London, Ontario; Department of Oncology, University of Western Ontario, London, Ontario

    2012-08-01

    Purpose: First, to show that low-dose-rate prostate brachytherapy plans using oblique needle trajectories are more successful than parallel trajectories for large prostates with pubic arch interference (PAI); second, to test the accuracy of delivering an oblique plan by using a three-dimensional (3D) transrectal ultrasonography (TRUS)-guided mechatronic system. Methods and Materials: Prostates were contoured for 5 subjects' 3D TRUS images showing a maximum PAI of {<=}1 cm and a prostate volume of <50 cc. Two planning studies were done. First, prostate contours were artificially enlarged to 45 to 80 cc in 5- to 10-cc increments for a single subject. Second, all subject prostate contours were enlarged to 60 cc. For each study, three types of plans were manually created for comparison: a parallel needle template (PT) plan, a parallel needle no-template (PNT) plan, and an oblique needle no-template (OBL) plan. Needle positions and angles were not discretized for nontemplate plans. European Society for Therapeutic Radiology and Oncology dose-volume histogram guidelines, iodine-125 (145-Gy prescription, 0.43 U), and needle angles of <15 Degree-Sign were used. An OBL plan was delivered to a pubic arch containing a 60-cc prostate phantom that mimicked the anatomy of the subject with the greatest PAI (23% by volume). Results: In the increasing-prostate volume study, OBL plans were successful for prostates of {<=}80 cc, and PT plans were successful for prostates of <65 cc. In paired, one-sided t tests for the 60-cc volume study, OBL plans showed dosimetric improvements for all organs compared to both of the parallel type plans (p < 0.05); PNT plans showed a benefit only in planning target volumes receiving more than 100 Gy compared to PT plans. A computed tomography scan of the phantom showed submillimeter seed placement accuracy in all directions. Conclusion: OBL plans were significantly better than parallel plans, and an OBL plan was accurately delivered to a 60-cc prostate phantom with 23% PAI by volume.

  17. XML-Based Formulation of Field Theoretical Models. A Proposal for a Future Standard and Data Base for Model Storage, Exchange and Cross-checking of Results

    E-Print Network [OSTI]

    A. Demichev; A. Kryukov; A. Rodionov

    2002-03-11

    We propose an XML-based standard for formulation of field theoretical models. The goal of creation of such a standard is to provide a way for an unambiguous exchange and cross-checking of results of computer calculations in high energy physics. At the moment, the suggested standard implies that models under consideration are of the SM or MSSM type (i.e., they are just SM or MSSM, their submodels, smooth modifications or straightforward generalizations).

  18. 1. Go on top of the check-dam and survey the water-shed, i.e., the upstream part from which water ows into the storage.

    E-Print Network [OSTI]

    Sohoni, Milind

    TD 603 1. Go on top of the check-dam and survey the water-shed, i.e., the upstream part from which water ows into the storage. 2. What is the storage in the dam (in cu.m.)? 3. What is the length and depth of the dam? What is its structure and cost? How much time did it take to build the dam? 4. Where

  19. SU-E-T-80: Comparison of Fluence-Based RapidArc QAs Using EPID and MapCHECK 2

    SciTech Connect (OSTI)

    Jin, H; Jesseph, F; Ahmad, S [Oklahoma Univ. Health Science Ctr., Oklahoma City, OK (United States)

    2014-06-01

    Purpose: To compare the Varian aS-1000 EPID imager to the isocentrically mounted MapCHECK 2 diode array for RapidArc QAs as a function of photon beam energy. Methods: A Varian TrueBeam STx with an aS-1000 digital imaging panel was used to acquire RapidArc QA images for 13 patient plans; each plan QA was performed at 6, 8, 10 and 15MV energies. The Portal Dose Image Prediction algorithm in the Varian Eclipse treatment planning system (TPS) was used to create the comparison image for the EPID acquisition. A Sun Nuclear MapCHECK 2 diode array on an isocentric mounting fixture with 5 cm water-equivalent buildup was also used for the RapidArc QAs. A composite dose plane was taken from the Eclipse TPS for comparison to the MapCHECK 2 measurements. A gamma test was implemented in the Sun Nuclear Patient software with 10% threshold and absolute comparison for both QA methods. The two-tailed paired t-test was employed to analyze the statistical significance between two methods at the 95% confidence level. Results: The average gamma passing rates were greater than 95% at 3%/3mm using both methods for all four energies. The average passing rates were within 2.5% and 1.1% of each other when analyzed at 2%/2mm and 3%/3mm conditions, respectively. The EPID passing rates were somewhat better than the MapCHECK 2 when analyzed at 1%/1mm condition; this difference decreased with increasing energy (9.1% at 6MV to 2.7% at 15MV). The differences were not statistically significant for all criteria and energies (p-value ã 0.05). Conclusion: EPID-based RapidArc QA results are comparable to MapCHECK 2 when using 3%/3mm criteria at all four energies. EPID-based QA shows potential for being the superior device under strict gamma criteria.

  20. Nonlinear interference noise in 100-Gbit s{sup -1} communication lines with the DP-QPSK modulation format

    SciTech Connect (OSTI)

    Gurkin, N V; Nanii, Oleg E; Novikov, A G; Plaksin, S O; Treshchikov, V N; Ubaydullaev, Rustam R

    2013-06-30

    The nonlinear interference noise power was measured experimentally as a function of the signal power and the length of the fibre coherent 100-Gbit s{sup -1} communication line, in which chromatic dispersion is not optically compensated. An expression was derived for the optimal signal power corresponding to a maximal excess of the measured optical signal-to-noise ratio (OSNR) over the OSNR required for conditionally error-free operation. The dependence of signal optimal power measured experimentally well agrees with the theoretical formula derived. (optical information transmission)

  1. Observation of a narrow structure in 1H(?,KS0)X via interference with phi-meson production

    DOE Public Access Gateway for Energy & Science Beta (PAGES Beta)

    Amaryan, M J; Nepali, C; Polyakov, M V; Azimov, Ya; Briscoe, W J; Dodge, G E; Hyde, C E; Klein, F; Kuznetsov, V; Strakovsky, I

    2012-03-21

    We report observation of a narrow peak structure at ?1.54 GeV with a Gaussian width ? = 6 MeV in the missing mass of KS in the reaction ? + p ? pKSKL. The observed structure may be due to the interference between a strange (or antistrange) baryon resonance in the pKL system and the ?(KSKL) photoproduction leading to the same final state. The statistical significance of the observed excess of events estimated as the log-likelihood ratio of the resonant signal + background hypothesis and the ?-production-based background-only hypothesis corresponds to 5.3?.

  2. Blue-detuned evanescent field surface traps for neutral atoms based on mode interference in ultra-thin optical fibres

    E-Print Network [OSTI]

    G. Sague; A. Baade; A. Rauschenbeutel

    2008-06-24

    We present and analyze a novel concept for blue-detuned evanescent field surface traps for cold neutral atoms based on two-mode interference in ultra-thin optical fibres. When two or more transverse modes with the same frequency co-propagate in the fibre, their different phase velocities cause a stationary interference pattern to establish. Intensity minima of the evanescent field at any distance from the fibre surface can be created and an array of optical microtraps can thus be obtained in the evanescent field. We discuss three possible combinations of the lowest order modes, yielding traps at one to two hundred nanometres from the fibre surface which, using a few ten milliwatts of trapping laser power, have a depth on the order of 1 mK for caesium atoms and a trapping lifetime exceeding 100 seconds. The resulting trapping geometry is of particular interest because atoms in such microtrap arrays will be coupled to any additional field propagating in the fibre via the evanescent field, thereby realising ensembles of fibre-coupled atoms.

  3. Measurement of ISR-FSR interference in the processes e+ e- --> mu+ mu- gamma and e+ e- --> pi+ pi- gamma

    E-Print Network [OSTI]

    BABAR Collaboration

    2015-08-17

    Charge asymmetry in processes e+ e- --> mu+ mu- gamma and e+ e- --> pi+ pi- gamma is measured using 232 fb-1 of data collected with the BABAR detector at center-of-mass energies near 10.58 GeV. An observable is introduced and shown to be very robust against detector asymmetries while keeping a large sensitivity to the physical charge asymmetry that results from the interference between initial and final state radiation. The asymmetry is determined as afunction of the invariant mass of the final-state tracks from production threshold to a few GeV/c2. It is compared to the expectation from QED for e+ e- --> mu+ mu- gamma and from theoretical models for e+ e- --> pi+ pi- gamma. A clear interference pattern is observed in e+ e- --> pi+ pi- gamma, particularly in the vicinity of the f_2(1270) resonance. The inferred rate of lowest order FSR production is consistent with the QED expectation for e+ e- --> mu+ mu- gamma, and is negligibly small for e+ e- --> pi+ pi- gamma.

  4. Measurement of ISR-FSR interference in the processes e+ e- --> mu+ mu- gamma and e+ e- --> pi+ pi- gamma

    E-Print Network [OSTI]

    ,

    2015-01-01

    Charge asymmetry in processes e+ e- --> mu+ mu- gamma and e+ e- --> pi+ pi- gamma is measured using 232 fb-1 of data collected with the BABAR detector at center-of-mass energies near 10.58 GeV. An observable is introduced and shown to be very robust against detector asymmetries while keeping a large sensitivity to the physical charge asymmetry that results from the interference between initial and final state radiation. The asymmetry is determined as afunction of the invariant mass of the final-state tracks from production threshold to a few GeV/c2. It is compared to the expectation from QED for e+ e- --> mu+ mu- gamma and from theoretical models for e+ e- --> pi+ pi- gamma. A clear interference pattern is observed in e+ e- --> pi+ pi- gamma, particularly in the vicinity of the f_2(1270) resonance. The inferred rate of lowest order FSR production is consistent with the QED expectation for e+ e- --> mu+ mu- gamma, and is negligibly small for e+ e- --> pi+ pi- gamma.

  5. SU-E-T-223: Investigation of the Accuracy of Two-Dimensional Dose Distributions Measurement From High-Dose-Rate Brachytherapy Ir-192 Source Using Multiple-Diode-Array Detector (MapCheck2)

    SciTech Connect (OSTI)

    Taguenang, J; De La Fuente, T Herman; Ahmad, S; Ali, I [Oklahoma Univ. Health Science Ctr., Oklahoma City, OK (United States)

    2014-06-01

    Purpose: To investigate the dosimetric accuracy of multiple-diode-array detector (Mapcheck2) for high-dose-rate brachytherapy Ir-192 source. The two-dimensional (2D) dose distributions measured with MapCheck2 were validated with EBT2 Gafchromic film measurement and AAPM task-group- 43 (TG-43) modeling. Methods: 2D-dose distributions from Ir-192 source were measured with MapCheck2 and EBT2-films. MapCheck2 response was corrected for effects: directional dependence, diode and phantom heterogeneity. Optical density growth of the film was controlled by synchronized scanning of the film exposed to Ir-192 and calibration films exposed to 6 MV linac beams. Similarly, MapCheck2 response was calibrated to dose using 6 MV beams. An empirical model was developed for the dose distributions measured with Mapcheck2 that considered directional, diode and phantom heterogeneity corrections. The dose deposited in solid-state-detectors was modeled using a cavity theory model for the diode. This model was then validated with measurements using EBT2-films and calculations with TG-43. Results: The response of MapCheck2 has been corrected for different effects including: (a) directional dependence of 0–20% over angular range 0o–90o, (b) phantom heterogeneity (3%) and (c) diode heterogeneity (9%). The corrected dose distributions measured with MapCheck2 agreed well with the measured dose distributions from EBT2-film and with calculations using TG-43 within 5% over a wide range of dose levels and rates. The advantages of MapCheck2 include less noisy, linear and stable response compared with film. The response of MapCheck2 exposed to 192Ir-source showed no energy dependence similar to its response to MV energy beam. Detection spatial-resolution of individual diodes was 0.8×0.8 mm2, however, 2DMapCheck2 resolution is limited by distance between diodes (7.07 mm). Conclusion: The dose distribution measured with MapCheck2 agreed well within 5% with that measured using EBT2-films; and calculations with TG- 43. Considering correction of artifacts, MapCheck2 provides a compact, practical and accurate dosimetric tool for measurement of 2D-dose distributions for brachytherapy Ir-192.

  6. Comparison of nanosecond and picosecond excitation for interference-free two-photon laser-induced fluorescence detection of atomic hydrogen in flames

    SciTech Connect (OSTI)

    Kulatilaka, Waruna D.; Patterson, Brian D.; Frank, Jonathan H.; Settersten, Thomas B

    2008-09-10

    Two-photon laser-induced fluorescence (TP-LIF) line imaging of atomic hydrogen was investigated in a series of premixed CH4/O2/N2, H2/O2, and H2/O2/N2 flames using excitation with either picosecond or nanosecond pulsed lasers operating at 205 nm. Radial TP-LIF profiles were measured for a range of pulse fluences to determine the maximum interference-free signal levels and the corresponding picosecond and nanosecond laser fluences in each of 12 flames. For an interference-free measurement, the shape of the TP-LIF profile is independent of laser fluence. For larger fluences, distortions in the profile are attributed to photodissociation of H2O, CH3, and/or other combustion intermediates, and stimulated emission. In comparison with the nanosecond laser, excitation with the picosecond laser can effectively reduce the photolytic interference and produces approximately an order of magnitude larger interference-free signal in CH4/O2/N2 flames with equivalence ratios in the range of 0.5{<=}{phi}{<=}1.4, and in H{sub 2}/O{sub 2} flames with 0.3{<=}{phi}{<=}1.2. Although photolytic interference limits the nanosecond laser fluence in all flames, stimulated emission, occurring between the laser-excited level, H(n=3), and H(n=2), is the limiting factor for picosecond excitation in the flames with the highest H atom concentration. Nanosecond excitation is advantageous in the richest ({phi}=1.64) CH4/O2/N2 flame and in H2/O2/N2 flames. The optimal excitation pulse width for interference-free H atom detection depends on the relative concentrations of hydrogen atoms and photolytic precursors, the flame temperature, and the laser path length within the flame.

  7. Interference-induced enhancement of intensity and energy of a multimode quantum optical field by a subwavelength array of coherent light sources

    E-Print Network [OSTI]

    S. V. Kukhlevsky

    2008-06-13

    Recently, we have showed a mechanism that could provide a great transmission enhancement of the light waves passed through subwavelength aperture arrays in thin metal films not by the plasmon-polariton waves, but by the constructive interference of diffracted waves (beams generated by the apertures) at the detector placed in the far-field zone. We now present a quantum reformulation of the model. The Hamiltonian describing the interference-induced enhancement of the intensity and energy of a multimode quantum optical field is derived. Such a field can be produced, for instance, by a subwavelength array of coherent light sources.

  8. Characterization and Suppression of the Electromagnetic Interference Induced Phase Shift in the JLab FEL Photo - Injector Advanced Drive Laser System

    SciTech Connect (OSTI)

    F. G. Wilson, D. Sexton, S. Zhang

    2011-09-01

    The drive laser for the photo-cathode gun used in the JLab Free Electron Laser (FEL) facility had been experiencing various phase shifts on the order of tens of degrees (>20{sup o} at 1497 MHz or >40ps) when changing the Advanced Drive Laser (ADL) [2][3][4] micro-pulse frequencies. These phase shifts introduced multiple complications when trying to setup the accelerator for operation, ultimately inhibiting the robustness and overall performance of the FEL. Through rigorous phase measurements and systematic characterizations, we determined that the phase shifts could be attributed to electromagnetic interference (EMI) coupling into the ADL phase control loop, and subsequently resolved the issue of phase shift to within tenths of a degree (<0.5{sup o} at 1497 MHz or <1ps). The diagnostic method developed and the knowledge gained through the entire process will prove to be invaluable for future designs of similar systems.

  9. Opto-electronic device for frequency standard generation and terahertz-range optical demodulation based on quantum interference

    DOE Patents [OSTI]

    Georgiades, Nikos P. (Pasadena, CA); Polzik, Eugene S. (H.o slashed.jbjerg, DK); Kimble, H. Jeff (LaCanada, CA)

    1999-02-02

    An opto-electronic system and technique for comparing laser frequencies with large frequency separations, establishing new frequency standards, and achieving phase-sensitive detection at ultra high frequencies. Light responsive materials with multiple energy levels suitable for multi-photon excitation are preferably used for nonlinear mixing via quantum interference of different excitation paths affecting a common energy level. Demodulation of a carrier with a demodulation frequency up to 100's THZ can be achieved for frequency comparison and phase-sensitive detection. A large number of materials can be used to cover a wide spectral range including the ultra violet, visible and near infrared regions. In particular, absolute frequency measurement in a spectrum from 1.25 .mu.m to 1.66 .mu.m for fiber optics can be accomplished with a nearly continuous frequency coverage.

  10. Opto-electronic device for frequency standard generation and terahertz-range optical demodulation based on quantum interference

    DOE Patents [OSTI]

    Georgiades, N.P.; Polzik, E.S.; Kimble, H.J.

    1999-02-02

    An opto-electronic system and technique for comparing laser frequencies with large frequency separations, establishing new frequency standards, and achieving phase-sensitive detection at ultra high frequencies are disclosed. Light responsive materials with multiple energy levels suitable for multi-photon excitation are preferably used for nonlinear mixing via quantum interference of different excitation paths affecting a common energy level. Demodulation of a carrier with a demodulation frequency up to 100`s THZ can be achieved for frequency comparison and phase-sensitive detection. A large number of materials can be used to cover a wide spectral range including the ultra violet, visible and near infrared regions. In particular, absolute frequency measurement in a spectrum from 1.25 {micro}m to 1.66 {micro}m for fiber optics can be accomplished with a nearly continuous frequency coverage. 7 figs.

  11. Ultra-compact and broadband tunable mid-infrared multimode interference splitter based on graphene plasmonic waveguide

    E-Print Network [OSTI]

    Zheng, Ruiqi; Dong, Jianji

    2015-01-01

    We propose and design an ultra-compact and broadband tunable multimode interference (MMI) splitter in mid-infrared based on graphene plasmonic waveguides. The size of the device is only 0.56{\\mu}m*1.2{\\mu}m, which corresponds to device area of only about 0.014{\\lambda}^2, where {\\lambda} is the vacuum wavelength. And the center wavelength of the device can be tuned in a broad band from 7{\\mu}m to 9{\\mu}m with the Fermi level of graphene varied from 0.5eV to 1eV. Furthermore, the device is easy to be fabricated on chip.

  12. Experiments performed in order to reveal fundamental differences between the diffraction and interference of waves and electrons

    E-Print Network [OSTI]

    Victor V. Demjanov

    2010-02-20

    Diffraction patterns of electrons are believed to resemble those of electromagnetic waves (EMW). I performed a series of experiments invoked to show that the periodicity of peaks in the diffraction diagram of electrons is concerned with the periodicity of the arrangement of scattering centers in the diffraction grating in combination with the supposed character of the spatial structure of the electron as a system of regularly spaced concentric shells of elasticity. I started from the experiment on the diffraction of electrons and EMWs at the sharp edge of the opaque half-plane. This simple scattering configuration enabled me to discriminate between the re-radiation mechanism of the wave diffraction and ricochet scattering of electrons on the edge of the half-plane. Then I made experiments with scattering on composite objects proceeding step by step from a single straight edge to a couple of edges (one slit) and then to four edges (two slits). Thus I succeeded in interpretation of the double-slit diffraction (four straight edges) in terms of the scattering on a single edge. I managed also to observe the electron's trajectory. Equipping the slit's edge with a semiconductor sensors I registered the passing of the electron through the slit detecting simultaneously a weaker signal at another slit. This technique appeared not to destroy or disturb the "interference" pattern. Closing one slit by inserting therein a transparent for EMWs piece of dielectric I have found that the scattering pattern beneath this slit vanishes while the scattering pattern under the open slit remains as before when both slits were open. This experiment indicates that the electron "interferes" with its electromagnetic component passed via the slit plugged by the transparent for it dielectric.

  13. PHYSICAL REVIEW A 88, 043413 (2013) Nuclear-wave-packet quantum interference in the intense laser dissociation of the D2

    E-Print Network [OSTI]

    Moiseyev, Nimrod

    2013-01-01

    PHYSICAL REVIEW A 88, 043413 (2013) Nuclear-wave-packet quantum interference in the intense laser of Debrecen, H-4010 Debrecen, PO Box 12, Hungary ´Agnes Vib´ok* Department of Theoretical Physics, University of Physics, and Minerva Center of Nonlinear Physics in Complex Systems, Technion - Israel Institute

  14. Testimony for the hearing on political interference with the work of government climate change scientists, Congressional Oversight and Government Reform Committee, Jan. 30,

    E-Print Network [OSTI]

    Testimony for the hearing on political interference with the work of government climate change scientists, Congressional Oversight and Government Reform Committee, Jan. 30, 2007, U. S. House, but today I am presenting testimony as an individual. My participation is not connected to my job duties

  15. Checking Potassium origin of new emission line at 3.5 keV with K XIX line complex at 3.7 keV

    E-Print Network [OSTI]

    Dmytro Iakubovskyi

    2015-07-17

    Whether the new line at ~3.5 keV, recently detected in different samples of galaxy clusters, Andromeda galaxy and central part of our Galaxy, is due to Potassium emission lines, is now unclear. By using the latest astrophysical atomic emission line database AtomDB v. 3.0.2, we show that the most prospective method to directly check its Potassium origin will be the study of K XIX emission line complex at ~3.7 keV with future X-ray imaging spectrometers such as Soft X-ray spectometer on-board Astro-H mission or microcalorimeter on-board Micro-X sounding rocket experiment. To further reduce the remaining (factor ~3-5) uncertainty of the 3.7/3.5 keV ratio one should perform more precise modeling including removal of significant spatial inhomogeneities, detailed treatment of background components, and further extension of the modeled energy range.

  16. Checking Potassium origin of new emission line at 3.5 keV with K XIX line complex at 3.7 keV

    E-Print Network [OSTI]

    Iakubovskyi, Dmytro

    2015-01-01

    Whether the new line at ~3.5 keV, recently detected in different samples of galaxy clusters, Andromeda galaxy and central part of our Galaxy, is due to Potassium emission lines, is now unclear. By using the latest astrophysical atomic emission line database AtomDB v. 3.0.2, we show that the most prospective method to directly check its Potassium origin will be the study of K XIX emission line complex at ~3.7 keV with future X-ray imaging spectrometers such as Soft X-ray spectometer on-board Astro-H mission or microcalorimeter on-board Micro-X sounding rocket experiment. To further reduce the remaining (factor ~3-5) uncertainty of the 3.7/3.5 keV ratio one should perform more precise modeling including removal of significant spatial inhomogeneities, detailed treatment of background components, and further extension of the modeled energy range.

  17. Azimuthal quadrupole correlation from gluon interference in 200 GeV and 7 TeV p+p collisions

    E-Print Network [OSTI]

    R. L. Ray

    2014-08-28

    The Balitskii-Fadin-Kuraev-Lipatov (BFKL) multi-Pomeron model of Levin and Rezaeian, with extension to the gluon saturation region, is applied to long-range pseudorapidity correlations on relative azimuth for low momentum final-state hadrons produced in $\\sqrt{s}$ = 200~GeV and 7~TeV p+p collisions. The multi-Pomeron exchange probabilities in the model were estimated by fitting the minimum-bias p+p multiplicity frequency distributions. The multi-Pomeron model prediction for the amplitude of the minimum-bias average quadrupole correlation, proportional to $\\cos 2(\\phi_1 - \\phi_2)$, is consistent with the 200~GeV data when theoretically expected gluon saturation momentum scales are used. Correlation predictions for the high multiplicity 7~TeV p+p collision data are also consistent with the long-range pseudorapidity correlations at small relative azimuth observed in the data. The results presented here show that the present application of a multiple parton-shower, gluon interference mechanism for generating the long-range pseudorapidity, azimuthal quadrupole correlation is not excluded by the data.

  18. Time-resolved measurement of photon states using two-photon interference with photons from short-time reference pulses

    E-Print Network [OSTI]

    Changliang Ren; Holger F. Hofmann

    2011-06-01

    To fully utilize the energy-time degree of freedom of photons for optical quantum information processes, it is necessary to control and characterize the quantum states of the photons at extremely short time scales. For measurements beyond the time resolution of available detectors, two-photon interference with a photon in a short time reference pulse may be a viable alternative. In this paper, we derive the temporal measurement operators for the bunching statistics of a single photon input state with a reference photon. It is shown that the effects of the pulse shape of the reference pulse can be expressed in terms of a spectral filter selecting the bandwidth within which the measurement can be treated as an ideal projection on eigenstates of time. For full quantum tomography, temporal coherence can be determined by using superpositions of reference pulses at two different times. Moreover, energy-time entanglement can be evaluated based on the two-by-two entanglement observed in the coherences between pairs of detection times.

  19. Mixed molecular motor traffic on nucleic acid tracks: models of transcriptional interference and regulation of gene expression

    E-Print Network [OSTI]

    Ghosh, Soumendu; Ghanti, Dipanwita; Chowdhury, Debashish

    2015-01-01

    While polymerizing a RNA molecule, a RNA polymerase (RNAP) walks step-by-step on the corresponding single-stranded DNA (ssDNA) template in a specific direction. Thus, a RNAP can be regarded as a molecular motor for which the ssDNA template serves as the track. The sites of start and stop of its walk on the DNA mark the two ends of the genetic message that it transcribes into RNA. Interference of transcription of two overlapping genes can strongly influence the levels of their expression, i.e., the overall rate of the synthesis of the corresponding full-length RNA molecules, through suppressive effect of one on the other. Here we model this process as a mixed traffic of two groups of RNAP motors that are characterized by two distinct pairs of on- and off-ramps. Each group polymerizes identical copies of a RNA while the RNAs polymerized by the two groups are different. These models, which may also be viewed as two interfering totally asymmetric simple exclusion processes, account for all modes of transcriptiona...

  20. Mixed molecular motor traffic on nucleic acid tracks: models of transcriptional interference and regulation of gene expression

    E-Print Network [OSTI]

    Bameta, Tripti; Ghanti, Dipanwita; Ghosh, Soumendu

    2015-01-01

    RNA polymerase (RNAP) is molecular machine that polymerizes a RNA molecule, a linear heteropolymer, using a single stranded DNA (ssDNA) as the corresponding template; the sequence of monomers of the RNA is dictated by that of monomers on the ssDNA template. While polymerizing a RNA, the RNAP walks step-by-step on the ssDNA template in a specific direction. Thus, a RNAP can be regarded also as a molecular motor and the sites of start and stop of its walk on the DNA mark the two ends of the genetic message that it transcribes into RNA. Interference of transcription of two overlapping genes is believed to regulate the levels of their expression, i.e., the overall rate of the corresponding RNA synthesis, through suppressive effect of one on the other. Here we model this process as a mixed traffic of two groups of RNAP motors that are characterized by two distinct pairs of start and stop sites. Each group polymerizes identical copies of a RNA while the RNAs polymerized by the two groups are different. These models...