National Library of Energy BETA

Sample records for union identification check

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

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

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

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

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

  6. Enel Union Fenosa Renovables EUFER formerly Union Fenosa Energia...

    Open Energy Info (EERE)

    Union Fenosa Renovables EUFER formerly Union Fenosa Energia Especiales Jump to: navigation, search Name: Enel Union Fenosa Renovables (EUFER) (formerly Union Fenosa Energia...

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

  8. IDENTIFICATION OF A GENERAL MODEL FOR THE MPP PERFORMANCE OF PV-MODULES FOR THE APPLICATION IN A PROCEDURE FOR THE PERFORMANCE CHECK

    E-Print Network [OSTI]

    Heinemann, Detlev

    IDENTIFICATION OF A GENERAL MODEL FOR THE MPP PERFORMANCE OF PV-MODULES FOR THE APPLICATION. ABSTRACT: To assure the maximal energy yield of grid connected PV systems, system faults have of this model for the application to grid connected PV systems using cSi, aSi and CIS modules is demonstrated. 1

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

  10. V01406010015 rock check dam

    E-Print Network [OSTI]

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

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

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

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

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

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

  16. US - Former Soviet Union environmental management activities

    SciTech Connect (OSTI)

    1995-09-01

    The Office of Environmental Management (EM) has been delegated the responsibility for US DOE`s cleanup of nuclear weapons complex. The nature and the magnitude of the waste management and environmental remediation problem requires the identification of technologies and scientific expertise from domestic and foreign sources. This booklet makes comparisons and describes coordinated projects and workshops between the USA and the former Soviet Union.

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

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

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

  20. However, the European Union

    E-Print Network [OSTI]

    ourselves with Russia, China, everyone." "We are finishing negotiations with Japan," Chirac added. "Do you, China and Russia backed France. However, the European Union presidency Monday pointed to a new in the same way the sun does, but achieving that kind of sustained and stable reaction would require a gas

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

  2. COORDINATING EUROPEAN UNION ENVIRONMENTAL POLICY

    E-Print Network [OSTI]

    Bateman, Ian J.

    COORDINATING EUROPEAN UNION ENVIRONMENTAL POLICY: SHIFTING FROM PASSIVE TO ACTIVE COORDINATION UNION ENVIRONMENTAL POLICY: SHIFTING FROM PASSIVE TO ACTIVE COORDINATION? by Andrew Jordan1 , Adriaan;3 Abstract Environmental policy provides one of the oldest and most puzzling cases of policy coordination

  3. Paver Program Oklahoma Memorial Union

    E-Print Network [OSTI]

    Oklahoma, University of

    Paver Program Oklahoma Memorial Union The UniversiTy of oklahoma Alumni Association Pave the Way in the Oklahoma Memorial Union Courtyard. Now you can. The UniversiTy of oklahoma Alumni Association 900 Asp Ave of Oklahoma is an equal opportunity institution. This brochure was printed at no cost to the taxpayers

  4. CISC controls and the union/non-union wage ratio

    E-Print Network [OSTI]

    Shulenburger, David E.; McLean, Robert; Rasch, Sara B.

    1984-06-01

    . The estimating equation specified, then, is of the following form: (1) lnWij= c o ClUij + c2U2ij + c 3 (%AU)ij + c4V j + c5R j + c6Mij + c7Bij + c8C +. . . + cnC + eij; where lnW - - natural og of union + non-union craft wages U - - percent unionized V... in 1972 and 1973 (after substituting the 1972 and 1973 values of the independent variables). Thus, we can simulate the effect of controls on the wage ratio. Table 2 reports the results of that simulation. As shown by the first row of the table...

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

  6. European Union: Constraints vs. Opportunities

    E-Print Network [OSTI]

    Kahiha, Nguvitjita

    2007-12-17

    During the early 1980s, Europe suffered from slow economic growth. As a result of this stagnant growth pattern, the European Union created new economic policies and reforms, which eliminated tariffs and barriers among European member states, and set...

  7. UNIVERSITY OF WASHINGTON CHECK REQUEST

    E-Print Network [OSTI]

    Brown, Sally

    taxpayer identification numbers to payers who must report the payments to IRS. IRS uses the numbers a taxpayer identification number to a payer. Certain penalties also apply. U.S. Taxpayer ID Number 1099 Type

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

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

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

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

  12. UNIVERSITY OF WASHINGTON CHECK REQUEST

    E-Print Network [OSTI]

    Matrajt, Graciela

    performed to give taxpayer identification numbers to payers who must report the payments to IRS. IRS uses does not furnish a taxpayer identification number to a payer. Certain penalties also apply. U.S. Taxpayer ID Number** 1099 Type U.S. Citizen Non-Resident Alien Resident Alien 1. Vendor/Claimant Name 2. 3

  13. 2012 Fellow American Geophysical Union

    E-Print Network [OSTI]

    Kurapov, Alexander

    ) are critical to the intensity of ocean currents, to long- and short-term climate variations, and the health2012 Fellow American Geophysical Union James Moum, professor in the College of Earth, Ocean contributions to our understanding of ocean mixing in coastal, abyssal and Equatorial regimes using innovative

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

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

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

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

  18. FISHERMEN'S AND FISH SHORE WORKERS' UNIONS

    E-Print Network [OSTI]

    'secured from the ELl ui' Cummercla::'" FL L. r::'L~) F':'sh and Wildlife Service, U. S Marketing Act of 1934. It should be noted that some activities of certain f i shermen 's unions) which, Alaska 99574 International Longshoremen's and Warehousemen's Union (Independent) Locals: #30 _ 720 Water

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

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

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

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

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

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

  5. identification Distributed

    E-Print Network [OSTI]

    Schenato, Luca

    Networked Control Systems Clock Sync Channel identification in WSN Distributed control of Smart. Sandro Zampieri #12;Networked Control Systems Clock Sync Channel identification in WSN Distributed Systems Clock Sync Channel identification in WSN Distributed control of Smart Grids Conclusions Issues

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

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

  8. Kansas Labor Unions: Past, Present and Future

    E-Print Network [OSTI]

    Shulenburger, David E.; Johnson, Nancy Brown

    1983-06-01

    Labor Unions: Past, Present and Future,” Kansas Business Review, with N.B. Johnson, Volume 6 (May-June, 1983), pp. 13-17. Terms of Use: http://www2.ku.edu/~scholar/docs/license.shtml and N. B. Johnson Kansas Labor Unions: Past, Present, and Future... that the strikers were " . . . sober, in­ telligent, orderly men" and encouraged the railroad to "arrange terms for an amicable settlement."6 Governor Martin's stalwart stand not to intervene with troops represented one of the earliest occasions in which a state...

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

  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. Sustainable Development 'outside' the European Union

    E-Print Network [OSTI]

    Bateman, Ian J.

    Sustainable Development 'outside' the European Union: What Role for Impact Assessment? by Camilla Adelle, Julia Hertin and Andrew Jordan CSERGE Working Paper EDM 05-08 #12;SUSTAINABLE DEVELOPMENT Sustainable development is a cross-cutting issue par excellence that necessitates a very high degree of policy

  12. RESTRICTED RADON TRANSFORMS AND UNIONS OF HYPERPLANES

    E-Print Network [OSTI]

    RESTRICTED RADON TRANSFORMS AND UNIONS OF HYPERPLANES Daniel M. Oberlin Department of Mathematics, Florida State University October 2004 x1 Introduction If #6; (n 1) is the unit sphere in R n , the Radon in a ball. The following theorem, which we regard as an estimate for a restricted Radon transform

  13. RESTRICTED RADON TRANSFORMS AND UNIONS OF HYPERPLANES

    E-Print Network [OSTI]

    RESTRICTED RADON TRANSFORMS AND UNIONS OF HYPERPLANES Daniel M. Oberlin Department of Mathematics, Florida State University October 2004 §1 Introduction If (n-1) is the unit sphere in Rn , the Radon, which we regard as an estimate for a restricted Radon transform, is typical of our results here: Theorem

  14. Marketing Assistant, Student Union & Event Services JOB SUMMARY

    E-Print Network [OSTI]

    Walker, Lawrence R.

    Marketing Assistant, Student Union & Event Services JOB SUMMARY: Student Union & Event Services the direction of the Assistant Director for Sales & Business Operations, the Marketing Assistant is responsible for creating and maintaining all marketing collateral for SUES. DUTIES AND RESPONSIBILITIES: Maintaining

  15. Politics of collective belonging: loyalties in the European Union 

    E-Print Network [OSTI]

    McGee, Sibel

    2007-04-25

    Why do some citizens of the European Union feel indeed European and others do not? Although the officials of the European Union introduced many symbols and discourses of unity, empirical studies show that the development of a sense of belonging...

  16. A True Mode of Union: Reconsidering the Cartesian Human Being 

    E-Print Network [OSTI]

    Carlson, Amber

    2012-07-16

    that unity and interaction are intimately related concepts, but she errs when she conflates the two. Paul Hoffman agrees with Daisie Radner, who believes that the union of mind and body is metaphysically more fundamental than interaction. While Radner... argues that Descartes' treatment of mind-body union functions primarily to explain interaction,2 Hoffman believes that Descartes' focused attention on mind-body union has a greater purpose. Hoffman believes that mind-body union is meant to explain...

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

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

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

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

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

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

  3. European Geosciences Union Open Access Publications of the

    E-Print Network [OSTI]

    Demouchy, Sylvie

    European Geosciences Union Open Access Publications of the European Geosciences Union (EGU Director 1988-2007 #12;European Geosciences Union Mission Statement for Publications "Dedicated to the pursuit of excellence and free and universal accessibility of scientific publications in all areas

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

  5. Union-Party Links and the Reconfiguration of the Labor Movement: Brazil and Mexico 1990-2007

    E-Print Network [OSTI]

    Miljanic, Andra Olivia

    2010-01-01

    Non-CTM unions like the Volkswagen union in Puebla tend notNon-CTM unions like the Volkswagen union in Puebla tend tode la Industria Automotriz Volkswagen (Independent Union of

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

  7. Conversion and enrichment in the Soviet Union

    SciTech Connect (OSTI)

    1991-04-01

    In the Soviet Union, just as in the West, the civilian nuclear industry emerged from research work undertaken for nuclear weapons development. At first, researchers tried various techniques for physical separation of uranium isotopes: electromagnetic and molecular-kinetic thermo-diffusion methods; gaseous diffusion; and centrifuge methods. All of those methods, which are based primarily on differences in the atomic mass of uranium isotopes, called for extensive research and the development of new, technically unprecedented equipment. Gradually gaseous diffusion and gas centrifuge technology became recognized as most feasible for industrial use, so research on other methods was terminated. Industrial-scale uranium enrichment in the Soviet Union began in 1949 using the gaseous diffusion method; by the early 1960s, centrifuge technology was in use on an industrial scale. All Soviet production of highly-enriched, weapons-grade uranium was halted in 1987. The Soviet Union now has four enrichment plants in operation (at classified locations), solely for civilian nuclear power needs. All four enrichment plants have centrifuge modules, and enrichment provided by gaseous diffusion accounts for less than 5% of their total output. Two of the four enrichment plants also incorporate facilities for conversion to uranium hexafluoride (UF{sub 6}).

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

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

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

  11. Strategic Unionism : the political role of the Congress of South African Trade Unions (COSATU) in South Africa and what it means for black workers

    E-Print Network [OSTI]

    Misra, Neeta

    2008-01-01

    This dissertation looks at the political role of trade unions in developing countries. Trade unions and particularly their engagement in political unionism have been absent from the development literature in recent decades. ...

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

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

  14. Union Electric Membership Corp | 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:QA J-E-1 SECTION J APPENDIX ECoop IncIowa (Utility Company) JumpGTZ Climate OrientedUnion Electric Membership Corp

  15. High Temperature Fuel Cells in the European Union

    Broader source: Energy.gov [DOE]

    Presentation on High Temperature Fuel Cells in the European Union to the High Temperature Membrane Working Group, May 25, 2004 in Philadelphia, PA.

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

  17. Sales and Marketing Assistant, Student Union & Event Services JOB SUMMARY

    E-Print Network [OSTI]

    Walker, Lawrence R.

    Sales and Marketing Assistant, Student Union & Event Services JOB SUMMARY: Student Union & Event. Under the direction of the Assistant Director for Sales & Business Operations, the Sales and Marketing revenue generation as part of the sales and marketing team. DUTIES AND RESPONSIBILITIES: Create, under

  18. Illegal Drugs Policy Swansea University and Students' Union

    E-Print Network [OSTI]

    Martin, Ralph R.

    Illegal Drugs Policy Swansea University and Students' Union #12;Illegal Drugs Policy for Swansea University and Students' Union Table of Contents Page Drugs Policy Statement 2 Drugs Policy 3 1. Introduction 2. Who is covered by the policy? 3. Aims of the policy 5. What do we mean by illegal drugs? 4

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

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

  1. Strategic Behavior, Private Information, and Decentralization in the European Union Emissions Trading System

    E-Print Network [OSTI]

    Malueg, David A.; Yates, Andrew J.

    2009-01-01

    in the European Union emissions trading scheme. Rev EnvironDecentralization in the EU emissions trading scheme andthe European Union Emissions Trading System David A. Malueg

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

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

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

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

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

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

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

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

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

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

  12. Union job fight boiling at DOE cleanup sites

    SciTech Connect (OSTI)

    Setzer, S.W.

    1993-11-15

    The US DOE is facing a growing jurisdictional dispute over which unions will perform the majority of clean-up work at its facilities. Unions affiliated with the AFL-CIO Metal Trades Council representing operations employees at the sites believe they have a fundamental right to work. Unions in the AFL-CIO's Building and Construction Trades Dept. insist that they have a clear mandate under federal labor law and the Davis-Bacon Act. The issue has heated up in recent weeks at the policy level and is boiling in a contentious dispute at DOE's Fernald site in Ohio.

  13. Cogeneration in the former Soviet Union

    SciTech Connect (OSTI)

    Horak, W.C.

    1997-07-01

    The former Soviet Union made a major commitment to Cogeneration. The scale and nature of this commitment created a system conceptually different from Cogeneration in the west. The differences were both in scale, in political commitment, and in socio economic impact. This paper addresses some of the largest scale Cogeneration programs, the technology, and the residual impact of these programs. The integration of the Cogeneration and nuclear programs is a key focus of the paper. Soviet designed nuclear power plants were designed to produce both electricity and heat for residential and industrial uses. Energy systems used to implement this design approach are discussed. The significant dependence on these units for heat created an urgent need for continued operation during the winter. Electricity and heat are also produced in nuclear weapons production facilities, as well as power plants. The Soviets also had designed, and initiated construction of a number of nuclear power plants {open_quotes}ATETs{close_quotes} optimized for production of heat as well as electricity. These were canceled.

  14. April 30, 2008; HSS/Union Working Group Meeting to address training - Union Participants

    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 n c i p a l De p u tCorporation |Inc.:ServicesSvcsApprovalTribes 1.HSS/UNION

  15. Carbon emissions and the Kyoto commitment in the European Union

    E-Print Network [OSTI]

    Viguier, Laurent L.; Babiker, Mustafa H.M.; Reilly, John M.

    We estimate reference CO? emission projections in the European Union, and quantify the economic impacts of the Kyoto commitment on Member States. We consider the case where each EU member individually meets a CO? emissions ...

  16. Union Power Cooperative- Residential Energy Efficient Heat Pump Loan Program

    Broader source: Energy.gov [DOE]

    Union Power Cooperative offers low interest loans to help its qualifying residential customers finance new, energy-efficient heat pumps. Interest rates, currently at 9%, will be fixed for the term...

  17. ately, the European Union (EU) has faced challenging

    E-Print Network [OSTI]

    Rossak, Wilhelm R.

    difficult since these reforms must attack strong and powerful vested interests such as the labour unions may affect outsiders, too. Firstly, the European Central Bank (ECB) will remain under stress

  18. SUNCAT: The serials union catalogue for the UK research community 

    E-Print Network [OSTI]

    Mulligan, Zena

    SUNCAT is the national Serials Union CATalogue for the UK research community and is available at http://www.suncat.ac.uk SUNCAT is a freely available tool to help both researchers and librarians locate serials held in ...

  19. A postmodern Union: institutions and identities in Europe 

    E-Print Network [OSTI]

    Cooper, Lacy Autumn Nicole

    2013-02-22

    -1 A POSTMODERN UNION: INSTITUTIONS AND IDENTITIES IV EUROPE A Senior Honors Thesis by LACY AUTUMN NICOLE COOPER Submitted to the Office of Honors Programs & Academic Scholarships Texas ARM University in partial fulfillment of the requirements...) April 2002 Group: History and Political Science ABSTRACT A Postmodern Union: Institutions and Identities in Europe. (April 2002) Lacy Cooper Department of Political Science Texas A&M University Fellows Advisor: Dr. John Robertson Department...

  20. Comment submitted by Consumers Union regarding the Energy Star Verification Testing Program

    Broader source: Energy.gov [DOE]

    This document is a comment submitted by Consumers Union regarding the Energy Star Verification Testing Program

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

  2. Factors Affecting Strategic Choices of the European Union Maritime Shipping Industry: Pre and Post European Union Anti-Trust Exemption 

    E-Print Network [OSTI]

    Henderson, Samuel R.

    2010-07-14

    This research is to explore the factors that affect the strategic decision to use or not use pools and conferences within the European Union (“EU”) maritime industry. The following research questions will be explored: What were the differences pre...

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

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

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

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

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

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

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

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

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

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

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

  14. USING BOX-JENKINS MODELS TO FORECAST FISHERY DYNAMICS: IDENTIFICATION, ESTIMATION, AND CHECKING

    E-Print Network [OSTI]

    ~ is illustrated by developing a model that makes monthly forecasts of skipjack tuna, Katsuwonus pelamis, catches

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

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

  17. Peptide identification

    DOE Patents [OSTI]

    Jarman, Kristin H [Richland, WA; Cannon, William R [Richland, WA; Jarman, Kenneth D [Richland, WA; Heredia-Langner, Alejandro [Richland, WA

    2011-07-12

    Peptides are identified from a list of candidates using collision-induced dissociation tandem mass spectrometry data. A probabilistic model for the occurrence of spectral peaks corresponding to frequently observed partial peptide fragment ions is applied. As part of the identification procedure, a probability score is produced that indicates the likelihood of any given candidate being the correct match. The statistical significance of the score is known without necessarily having reference to the actual identity of the peptide. In one form of the invention, a genetic algorithm is applied to candidate peptides using an objective function that takes into account the number of shifted peaks appearing in the candidate spectrum relative to the test spectrum.

  18. Particle identification

    E-Print Network [OSTI]

    Lippmann, Christian

    2011-01-01

    Particle IDentification (PID) is fundamental to particle physics experiments. This paper reviews PID strategies and methods used by the large LHC experiments, which provide outstanding examples of the state-of-the-art. The first part focuses on the general design of these experiments with respect to PID and the technologies used. Three PID techniques are discussed in more detail: ionization measurements, time-of-flight measurements and Cherenkov imaging. Four examples of the implementation of these techniques at the LHC are given, together with selections of relevant examples from other experiments and short overviews on new developments. Finally, the Alpha Magnetic Spectrometer (AMS 02) experiment is briefly described as an impressive example of a space-based experiment using a number of familiar PID techniques.

  19. Particle identification

    E-Print Network [OSTI]

    Christian Lippmann

    2011-06-12

    Particle IDentification (PID) is fundamental to particle physics experiments. This paper reviews PID strategies and methods used by the large LHC experiments, which provide outstanding examples of the state-of-the-art. The first part focuses on the general design of these experiments with respect to PID and the technologies used. Three PID techniques are discussed in more detail: ionization measurements, time-of-flight measurements and Cherenkov imaging. Four examples of the implementation of these techniques at the LHC are given, together with selections of relevant examples from other experiments and short overviews on new developments. Finally, the Alpha Magnetic Spectrometer (AMS 02) experiment is briefly described as an impressive example of a space-based experiment using a number of familiar PID techniques.

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

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

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

  3. Book Series Copyright 2004 by the American Geophysical Union

    E-Print Network [OSTI]

    Xie, Shang-Ping

    ocean currents/fronts. Finally, various atmospheric and oceanic bridges that link different ocean basinsBook Title Book Series Copyright 2004 by the American Geophysical Union 1 A Global Survey of Ocean, College Park, Maryland The interaction of the ocean and atmosphere plays an important role in shaping

  4. Energy & Science at the State of the Union Tonight

    Broader source: Energy.gov [DOE]

    When the President begins his third State of the Union address this evening at 9pm EST, several important women and men in the fields of energy, science and technology will be sitting in the Capitol Building alongside First Lady Michelle Obama.

  5. What is High Performance UnionCollegeAlbanyWorkshopon

    E-Print Network [OSTI]

    Barr, Valerie

    What is High Performance Computing? UnionCollegeAlbanyWorkshopon "High Performance Computing IN 47404 gcf@indiana.edu http://www.infomall.org #12;What is High Performance Computing? The meaning of this was clear 20 years ago when we were planning/starting the HPCC (High Performance Computing and Communication

  6. Client Services Team Member, Student Union & Event Services JOB SUMMARY

    E-Print Network [OSTI]

    Walker, Lawrence R.

    of the Student Union, SUES operations, policies, and procedures in order to ensure smooth operations within the Client Services Manager in recording equipment inventory, building maintenance needs, and event issues from the Client Services Manager, Setup Manager, and Event Operations Coordinator. · Enforce building

  7. Regulating Electricity Transmission in the European Union -How Many

    E-Print Network [OSTI]

    1 Regulating Electricity Transmission in the European Union - How Many Agencies? chapter 4 in A-77 Claude Crampes (TSE) Lucile Rives (CRE) National electric grids in Europe have been interconnected since, the more national electric systems need to be interconnected to provide one another mutual assistance

  8. What public support for a New European Energy Union?

    E-Print Network [OSTI]

    Paxton, Anthony T.

    project into the specific questions raised by public support measures to the energy market. As a first change targets have strongly incentivised the expansion of renewable energy sources (RES) and public] The European Council has underlined the need to further develop the Union energy infrastructure and to better

  9. Towards Universal Accessibility of ETDs: Building the NDLTD Union Archive

    E-Print Network [OSTI]

    Suleman, Hussein

    Towards Universal Accessibility of ETDs: Building the NDLTD Union Archive Hussein Suleman to newcomers the existence of a collection of accessible ETDs. While many current members do indeed have such collections at the level of institutions or consortia, there is no single mechanism to aggregate all ETDs

  10. Fuxin Union Wind Power Co Ltd formerly known as Liaoning Zhangwu...

    Open Energy Info (EERE)

    Union Wind Power Co Ltd formerly known as Liaoning Zhangwu Xiehe Wind Power Co Ltd Jump to: navigation, search Name: Fuxin Union Wind Power Co Ltd (formerly known as Liaoning...

  11. Bayesian Method for Support Union Recovery in Multivariate Multi-Response Linear Regression

    E-Print Network [OSTI]

    Chen, Wan-Ping

    2015-01-01

    in high-dimensional multivariate regression. ” The Annals ofSupport Union Recovery in Multivariate Multi-Response LinearSupport Union Recovery in Multivariate Multi-Response Linear

  12. Collective Bargaining in Municipal Government: How Unionization Impacts Employee's Attitudes, Behaviors, and Values

    E-Print Network [OSTI]

    Davis, Randall Scott

    2011-04-18

    members in two large Kansas cities, and quantitative data collected from a survey instrument distributed to over 300 municipal union members in a single Kansas municipality. The qualitative findings indicate that the union context significantly influences...

  13. Union-Party Links and the Reconfiguration of the Labor Movement: Brazil and Mexico 1990-2007

    E-Print Network [OSTI]

    Miljanic, Andra Olivia

    2010-01-01

    office closure, he IMF’s links with Mexican unions became limited to support offered to a union leader from the mining

  14. The European Union Emissions Trading System: should we throw the flagship out

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    No 48-2013 The European Union Emissions Trading System: should we throw the flagship out European Union Emissions Trading System: should we throw the flagship out with the bathwater? Abstract The European Union Emissions Trading System (EU-ETS), presented as the ``flagship'' of European climate policy

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    E-Print Network [OSTI]

    Schneider, Carsten

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  5. December 4, 2008; HSS/Union Working Group Meeting on 2008 HSS/Union Topical Wrap Up - Union Lead Action Priorities

    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 n c i pStateDOEAnalysis,DepartmentAbove on the left is1 PurposeTopicalUNION

  6. FRAMEWORK GEOLOGY OF FORT UNION COAL IN THE WILLISTON BASIN

    E-Print Network [OSTI]

    Chapter WF FRAMEWORK GEOLOGY OF FORT UNION COAL IN THE WILLISTON BASIN By R.M. Flores,1 C.W. Keighin,1 A.M. Ochs,2 P.D. Warwick,1 L.R. Bader,1 and E.C. Murphy3 in U.S. Geological Survey Professional Paper 1625-A 1 U.S. Geological Survey 2 Consultant, U.S. Geological Survey, Denver, Colorado 3 North

  7. Rotary union for use with ultrasonic thickness measuring probe

    DOE Patents [OSTI]

    Nachbar, H.D.

    1992-09-15

    A rotary union for rotatably supporting an ultrasonic probe operable to nondestructively measure the thickness of steam generator tubes to determine the amount of corrosion experienced by the tubes includes a stationary body having a bore therethrough and an outlet drain, and a fitting rotatably mounted within the upper end of the body. The fitting has a bore aligned with the bore of the body. An electrical cable positioned within a water supply tube in an annular arrangement passes through the bore of the body and the bore of the fitting. This annular arrangement, in turn, is positioned within a connector element which extends outwardly from the fitting bore and is connected to the ultrasonic probe. An elastomeric lower bushing seals the annular arrangement to the lower end of the rotary union body and an elastomeric upper bushing seals the connector element to the fitting to permit the connector element and the ultrasonic probe connected thereto to rotate with the fitting relative to the body. The lower and upper bushings permit water to be passed through the annular arrangement and into the ultrasonic probe and thereafter discharged between the annular arrangement and the connector element to the outlet drain of the rotary union body. 5 figs.

  8. Rotary union for use with ultrasonic thickness measuring probe

    DOE Patents [OSTI]

    Nachbar, Henry D. (Schenectady, NY)

    1992-01-01

    A rotary union for rotatably supporting an ultrasonic probe operable to nondestructively measure the thickness of steam generator tubes to determine the amount of corrosion experienced by the tubes includes a stationary body having a bore therethrough and an outlet drain, and a fitting rotatably mounted within the upper end of the body. The fitting has a bore aligned with the bore of the body. An electrical cable positioned within a water supply tube in an annular arrangement passes through the bore of the body and the bore of the fitting. This annular arrangement, in turn, is positioned within a connector element which extends outwardly from the fitting bore and is connected to the ultrasonic probe. An elastomeric lower bushing seals the annular arrangement to the lower end of the rotary union body and an elastomeric upper bushing seals the connector element to the fitting to permit the connector element and the ultrasonic probe connected thereto to rotate with the fitting relative to the body. The lower and upper bushings permit water to be passed through the annular arrangement and into the ultrasonic probe and thereafter discharged between the annular arrangement and the connector element to the outlet drain of the rotary union body.

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

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

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

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

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

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

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

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

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

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

  19. West Union, New York: Energy Resources | 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| Open Energy Information Serbia-EnhancingEtGeorgia: Energy ResourcesTurin, New York: Energy Resources Jump to:Union,

  20. Union Bridge, Maryland: Energy Resources | 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| Open Energy Information Serbia-EnhancingEt Al.,Turin, New York: EnergyU.S.Unifin Jump to: navigation,Union Bridge,

  1. Union City, Georgia: Energy Resources | 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| Open Energy Information Serbia-EnhancingEt Al.,Turin, New York: EnergyU.S.Unifin Jump to: navigation,Union

  2. Union City, New Jersey: Energy Resources | 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| Open Energy Information Serbia-EnhancingEt Al.,Turin, New York: EnergyU.S.Unifin Jump to: navigation,UnionNew Jersey:

  3. Union City, Oklahoma: Energy Resources | 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| Open Energy Information Serbia-EnhancingEt Al.,Turin, New York: EnergyU.S.Unifin Jump to: navigation,UnionNew

  4. Union County, Kentucky: Energy Resources | 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| Open Energy Information Serbia-EnhancingEt Al.,Turin, New York: EnergyU.S.Unifin Jump to:Florida:Iowa: EnergyUnion

  5. Planning for a Sustainable Future of the Cincinnati Union Terminal

    SciTech Connect (OSTI)

    2012-04-30

    The Cincinnati Museum Center invited a number of local stakeholders, political leaders, nationally and internationally recognized design professionals and the Design Team, that has been engaged to help shape the future of this remarkable resource, to work together in a Workshop that would begin to shape a truly sustainable future for both the Museum and its home, the Union Terminal, one of the most significant buildings in America. This report summarizes and highlights the discussions that took place during the Workshop and presents recommendations for shaping a direction and a framework for the future.

  6. Kraftwerk Union KWU Siemens Power Generation | 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 ResourcesOrderInformationKizildereTexas:Solar IncKraflaKraftwerk Union

  7. City of Union, South Carolina (Utility Company) | 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:QA J-E-1 SECTION J APPENDIX E LISTStar EnergyLawler, IowaScottsboro,Kansas (UtilityCity ofCityUkiah,Union, South

  8. Union Light, Heat & Power Co | 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:QA J-E-1 SECTION J APPENDIX ECoop IncIowa (Utility Company) JumpGTZ Climate OrientedUnion Electric Membership

  9. Union Rural Electric Coop, 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:QA J-E-1 SECTION J APPENDIX ECoop IncIowa (Utility Company) JumpGTZ Climate OrientedUnion Electric MembershipCoop,

  10. Union County Electric Coop 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:QA J-E-1 SECTION JEnvironmental Jump to:EA EISTJThin Film SolarTown(LECBP)BioGenUnidym Inc Jump to:Union County

  11. Union County, Ohio: Energy Resources | 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:QA J-E-1 SECTION JEnvironmental Jump to:EA EISTJThin Film SolarTown(LECBP)BioGenUnidym Inc Jump to:Union CountyOhio:

  12. Union Suppo Battery Co Ltd | 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:QA J-E-1 SECTION JEnvironmental Jump to:EA EISTJThin Film SolarTown(LECBP)BioGenUnidym Inc Jump to:Union

  13. Clay-Union Electric Coop | 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:QA J-E-1 SECTION J APPENDIX ECoopButte County,Camilla,ThermalCubaParker,Georgia (UtilityWilliamsCentralClay-Union

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

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

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

  17. Obesity, diabetes, and associated costs of exposure to endocrine-disrupting chemicals in the European Union

    E-Print Network [OSTI]

    2015-01-01

    to Endocrine-Disrupting Chemicals in the European UnionB. Endocrine disrupting chemicals and the developmentalburden of disease due to chemicals: a systematic re- view.

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

  19. Approximation Algorithms for Union and Intersection Covering Problems

    E-Print Network [OSTI]

    Cygan, Marek; Leonardi, Stefano; Mucha, Marcin; Pilipczuk, Marcin; Sankowski, Piotr

    2011-01-01

    In a classical covering problem, we are given a set of requests that we need to satisfy (fully or partially), by buying a subset of items at minimum cost. For example, in the k-MST problem we want to find the cheapest tree spanning at least k nodes of an edge-weighted graph. Here nodes and edges represent requests and items, respectively. In this paper, we initiate the study of a new family of multi-layer covering problems. Each such problem consists of a collection of h distinct instances of a standard covering problem (layers), with the constraint that all layers share the same set of requests. We identify two main subfamilies of these problems: - in a union multi-layer problem, a request is satisfied if it is satisfied in at least one layer; - in an intersection multi-layer problem, a request is satisfied if it is satisfied in all layers. To see some natural applications, consider both generalizations of k-MST. Union k-MST can model a problem where we are asked to connect a set of users to at least one of ...

  20. Briefing Note 2010 -2 Tax Fraud from Emissions Trading in the European Union

    E-Print Network [OSTI]

    Pedersen, Tom

    Briefing Note 2010 - 2 7 May 2010 Tax Fraud from Emissions Trading in the European Union Neil Tansey and Ivan Watson Issue The European Union Emissions Trading Scheme (EU ETS) began in 2005 as the largest multi-country and multi-sector greenhouse gas emissions trading system in the world by volume

  1. Understanding "In-Unit" vs. "Out-of-Unit", Unions and Collective Bargaining at USF

    E-Print Network [OSTI]

    Meyers, Steven D.

    Understanding "In-Unit" vs. "Out-of-Unit", Unions and Collective Bargaining at USF Every job at USF is classified as either "in-unit" (part of a "bargaining unit" and therefore covered by a Collective Bargaining Agreement or CBA) or "out-of-unit" (not covered by a CBA). USF has four (4) unions which represent all

  2. INT J TUBERC LUNG DIS 15(8):9961004 2011 The Union

    E-Print Network [OSTI]

    Cohen, Ted

    INT J TUBERC LUNG DIS 15(8):996­1004 ©2011 The Union doi:10.5588/ijtld.11.0062 STATE OF THE ART University, Taipei, Taiwan; International Union Against Tuberculosis and Lung Disease, Paris, France series in the Journal. Int J Tuberc Lung Dis 2011; 15(1): 3. No 1: Lienhardt C, Cobelens F G J

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

  4. Joint United States-European Union Theoretical and Practical Course on Molecular Approaches for In Situ Biogradation

    SciTech Connect (OSTI)

    Suflita, Joseph M.; Duncan, Kathleen E.

    2010-08-14

    The Joint United States - European Union Theoretical and Practical Course on Molecular Approaches for in situ Biodegradation was held May 24 through June 7 at The University of Oklahoma. Twenty-four graduate and postgraduate students from both the United States and the European Union attended the course. Nine states and ten European countries were represented. Students were assigned living quarters and laboratory partners to maximize interactions between US and EU participants as well as to mix people with different technical backgrounds together. The students used the latest methods in molecular biology to characterize beneficial microorganisms and genes involved in the biodegradation of pollutants at a nearby landfill as well as an active hydrocarbon-producing site, part of which is undergoing bioremediation. Seminars by distinguished scientists were organized to expose the students to the breadth of the environmental field, including field assay and engineering applications, laboratory scale bioreactors, microbiology, genetics, regulation, pathway analysis, design of recombinant bacteria, and application of the associated techniques to the field. Lectures were given by various OU faculty on the principles behind the techniques to be used in the laboratory. These lectures included troubleshooting hints and encouraged questions and comments from the audience. The laboratory experiments covered chemical, microbiological, and molecular genetic analyses of soils; bioavailability of contaminants; enrichment cultures; gene probing; PCR amplification of known genes and gene families; identification of microbes based traditional and nontraditional approaches, nutritional capabilities, and 16S rRNA sequence; mRNA detection; and enzyme assays. Field trips were made to the USGS landfill field sampling site, and to the Tall Grass Prairie Preserve, a Nature Conservancy site which also featured long-term studies of bioremediation of crude oil and brine spills by one of the Principal Investigators in collaboration with University of Tulsa faculty. The students are expected to bring the methods that they learned back to their laboratories to enrich their own and their colleagues' ability to perform state of the art environmental biotechnology research.

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

  6. IDENTIFICATION Your Sample Box

    E-Print Network [OSTI]

    Liskiewicz, Maciej

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

  7. Union Pacific Railroad`s LNG locomotive test program

    SciTech Connect (OSTI)

    Grimaila, B.

    1995-12-31

    Union Pacific Railroad is testing LNG in six locomotives through 1997 to determine if the liquefied natural gas technology is right for them. Two of the six LNG test locomotives are switch, or yard, locomotives. These 1,350 horsepower locomotives are the industry`s first locomotives totally fueled by natural gas. They`re being tested in the yard in the Los Angeles area. The other four locomotives are long-haul locomotives fueled by two tenders. These units are duel-fueled, operating on a mixture of LNG and diesel and are being tested primarily on the Los Angeles to North Platte, Nebraska corridor. All the information concerning locomotive emissions, locomotive performance, maintenance requirements, the overall LNG system design and the economic feasibility of the project will be analyzed to determine if UPR should expand, or abandon, the LNG technology.

  8. UBC Social Ecological Economic Development Studies (SEEDS) Student Report An Investigation into Packing Materials for the New Student Union Building

    E-Print Network [OSTI]

    into Packing Materials for the New Student Union Building Caleb Ng, Jun Oh, Siamak Rahmanian University Investigation into Packing Materials for the New Student Union Building APSC 262 April 4, 2013 Caleb Ng

  9. The Politicisation of Trade Unionism: The Case of Labour/NCNC Alliance in Nigeria, 1940-1960

    E-Print Network [OSTI]

    Ajayi, Rotimi

    1999-01-01

    1987. "Trade Unionism in Nigeria: Challenges for the 2 1stin Trade Unionism in Nigeria: Challenges for the 21stlabour organisation in Nigeria. It was headed by T.A.

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

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

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

  13. Part I Student Identification Pleaseprintortype

    E-Print Network [OSTI]

    Gough, Christopher M.

    Part I Student Identification Pleaseprintortype Name of student Taxpayer identification number Address (number, street, and apt. or suite no.) City, state, and ZIP code Part II Taxpayer Identification Number Certification I certify that the number shown on this form is my correct taxpayer identification

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  8. Meteorite Identifications If you think you have found a meteorite, please check if you can answer the following

    E-Print Network [OSTI]

    Patterson, Bruce D.

    with a "yes". 1. Fusion crust? Does the specimen have a smooth dark (black. Composition 3.1. Metal? Is the specimen made out of compact metal? Yes. No. 3.2. Rock? Is the specimen made out of compact rock but shows small

  9. Hydrologic and hydraulic assessment of artificial recharge in the Sparta Aquifer of Union County, Arkansas

    E-Print Network [OSTI]

    Sowby, Robert B

    2013-01-01

    Groundwater pumping from the Sparta aquifer in Union County, Arkansas, has long exceeded natural recharge, threatening the regional water supply. An alternative water-supply project, completed in 2004, now provides treated ...

  10. The impact of the European Union Emissions Trading Scheme on US aviation

    E-Print Network [OSTI]

    Malina, Robert

    We estimate the economic impacts on US airlines that may arise from the inclusion of aviation in the European Union Emissions Trading Scheme from 2012 to 2020. We find that the Scheme would only have a small impact on US ...

  11. Disunion in the Ranks: Soldiers, Citizenship, and Mutiny in the Union Army 

    E-Print Network [OSTI]

    Romansky, Thaddeus Michael

    2015-04-23

    This dissertation is the first scholarly study to comparatively analyze the mutinies of Anglo, immigrant and African American soldiers in the Union Army. Those collective and individual military protest actions were part ...

  12. The Impact of the European Union Sugar Sector Policy on Brazilian Poverty 

    E-Print Network [OSTI]

    Avram, Bianca

    2011-11-24

    This study assesses the impact of the European Union (EU) common sugar policy on Brazilian poverty levels. First, using a simple linear regression, the Brazilian and EU sugar exports to common third countries were analysed, ...

  13. Transitional development within shifting spheres of conflict : the Union of Palestinian Medical Relief Committee

    E-Print Network [OSTI]

    Erekat, Dana (Dana M.)

    2009-01-01

    This thesis examines how an NGO can function and create change within the shifting domains of Palestinian stability and conflict through the case study of the Union of Palestinian Medical Relief Committee (UPMRC). Palestinian ...

  14. Contest, social valuation and change in American labor-union organizing, 1961-2004

    E-Print Network [OSTI]

    Ferguson, John-Paul

    2009-01-01

    In this thesis I explore the connections between changes to the formal procedures by which American labor unions enroll new members and the subsequent meanings and purposes that potential members and third parties attribute ...

  15. Electricity internal market in the European Union : what to do next?

    E-Print Network [OSTI]

    Glachant, Jean-Michel

    The European Union's "internal energy market" remains a work in progress. It is even possible its construction were to stall. Given current political, institutional and business conditions in Europe, there are no guarantees ...

  16. Economic impact of the European Union Emission Trading Scheme : evidence from the refining sector

    E-Print Network [OSTI]

    Lacombe, Romain H

    2008-01-01

    I study the economic impact of the European Union Emission Trading Scheme (EU ETS) on the refining industry in Europe. I contrast previous ex-ante studies with the lessons from a series of interviews I conducted with ...

  17. Between sectionalism and revitalisation: Trade unions and activation policies in Europe 

    E-Print Network [OSTI]

    Clegg, Daniel; Graziano, Paolo; van Wijnbergen, Christa

    2010-01-01

    Though the response of trade unions to activation policies seems a crucial test of their capacity to adapt to the challenges of post-industrialisation, the issue has to date received little systematic attention in the ...

  18. The Allocation of European Union Allowances: Lessons, Unifying Themes and General Principles

    E-Print Network [OSTI]

    Buchner, Barbara.

    A critical issue in dealing with climate change is deciding who has a right to emit carbon dioxide (CO2), and under what conditions, when those emissions are limited. The European Union Emissions Trading Scheme (EU ETS) ...

  19. Geochemical modeling of an aquifer storage and recovery project in Union County, Arkansas

    E-Print Network [OSTI]

    Zhu, Ni, M. Eng. Massachusetts Institute of Technology

    2013-01-01

    The Sparta aquifer in Union County, Arkansas has served as an important potable water supply to the public and industrial sectors in the area. However, increasing water demand and sustained heavy pumping from the aquifer ...

  20. Comparing public policies in multilevel governance systems: tobacco control in the European Union 

    E-Print Network [OSTI]

    Goerdel, Holly Thompson

    2009-05-15

    This is a comprehensive study of tobacco control policy and politics in the European Union, 1970-2000. I develop an instrumental theory of public policy which establishes an approach for connecting policy instruments to policy outcomes. I...

  1. Impacts of CO2 Mandates for New Cars in the European Union

    E-Print Network [OSTI]

    Paltsev, S.

    CO2 emissions mandates for new light-duty passenger vehicles have recently been adopted in the European Union (EU), which require steady reductions to 95 g CO2/km in 2021. Using a computable general equilibrium (CGE) model, ...

  2. Topological color codes on Union Jack lattices: a stable implementation of the whole Clifford group 

    E-Print Network [OSTI]

    Katzgraber, Helmut G.; Bombin, H.; Andrist, Ruben S.; Martin-Delgado, M. A.

    2010-01-01

    We study the error threshold of topological color codes on Union Jack lattices that allow for the full implementation of the whole Clifford group of quantum gates. After mapping the error-correction process onto a statistical ...

  3. A SUMMARY OF COAL IN THE FORT UNION FORMATION (TERTIARY), BIGHORN BASIN,

    E-Print Network [OSTI]

    Chapter SB A SUMMARY OF COAL IN THE FORT UNION FORMATION (TERTIARY), BIGHORN BASIN, WYOMING assessment of selected Tertiary coal beds and zones in the Northern RockyMountains and Great Plains region, U...........................................................................................................................SB-1 Coal Production History

  4. The welfare costs of hybrid carbon policies in the European Union

    E-Print Network [OSTI]

    Babiker, Mustafa H.M.; Viguier, Laurent L.; Reilly, John M.; Ellerman, A. Denny.; Criqui, Patrick.

    To what extent do the welfare costs associated with the implementation of the Burden Sharing Agreement in the European Union depend on sectoral allocation of emissions rights? What are the prospects for strategic climate ...

  5. Key to Juniperus of Central Asia (from Turkmenistan/Iran through the former Soviet rev. 2/2011 Union, Pakistan and the Western Himalayas, including Nepal)

    E-Print Network [OSTI]

    Adams, Robert P.

    /2011 Union, Pakistan and the Western Himalayas, including Nepal) 1a. All leaves acicular (subulate, jointed

  6. The European Union's emissions trading system in perspective

    SciTech Connect (OSTI)

    A. Denny Ellerman; Paul L. Joskow

    2008-05-15

    The performance of the European Union's Emissions Trading System (EU ETS) to date cannot be evaluated without recognizing that the first three years from 2005 through 2007 constituted a 'trial' period and understanding what this trial period was supposed to accomplish. Its primary goal was to develop the infrastructure and to provide the experience that would enable the successful use of a cap-and-trade system to limit European GHG emissions during a second trading period, 2008-12, corresponding to the first commitment period of the Kyoto Protocol. The trial period was a rehearsal for the later more serious engagement and it was never intended to achieve significant reductions in CO{sub 2} emissions in only three years. In light of the speed with which the program was developed, the many sovereign countries involved, the need to develop the necessary data, information dissemination, compliance and market institutions, and the lack of extensive experience with emissions trading in Europe, we think that the system has performed surprisingly well. Although there have been plenty of rough edges, a transparent and widely accepted price for tradable CO{sub 2} emission allowances emerged by January 1, 2005, a functioning market for allowances has developed quickly and effortlessly without any prodding by the Commission or member state governments, the cap-and-trade infrastructure of market institutions, registries, monitoring, reporting and verification is in place, and a significant segment of European industry is incorporating the price of CO{sub 2} emissions into their daily production decisions. The development of the EU ETS and the experience with the trial period provides a number of useful lessons for the U.S. and other countries. 27 refs., 7 figs., 5 tabs.

  7. Identification of Lessons Learned and Suggestions for the Development of Regulatory Cooperation between California and the European Union

    E-Print Network [OSTI]

    Clark, Ian

    2008-01-01

    Sustainable Production and Consumption Action Plan – wastein Sustainable Production and Consumption (SCP) from the EUSustainable Production and Consumption Action Plan mentioned

  8. Identification of Lessons Learned and Suggestions for the Development of Regulatory Cooperation between California and the European Union

    E-Print Network [OSTI]

    Clark, Ian

    2008-01-01

    can be shown that use of certain GMO crops can lead to lowerthe USA to get EU to accept more GMO crops are not working.reads rather as a defence of GMO’s contribution in feeding

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

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

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

  12. Pipeline MT Instructions Identification Number

    E-Print Network [OSTI]

    Hong, Don

    Pipeline MT Instructions Identification Number For identification purposes, you will be assigned a special identification number. M# You can activate your MT email, login to PipelineMT to register for classes or pay tuition and fees. Activating the MTSU Email and PipelineMT accounts: Visit the website

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

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

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

  16. PINS Spectrum Identification Guide

    SciTech Connect (OSTI)

    A.J. Caffrey

    2012-03-01

    The Portable Isotopic Neutron Spectroscopy—PINS, for short—system identifies the chemicals inside munitions and containers without opening them, a decided safety advantage if the fill chemical is a hazardous substance like a chemical warfare agent or an explosive. The PINS Spectrum Identification Guide is intended as a reference for technical professionals responsible for the interpretation of PINS gamma-ray spectra. The guide is divided into two parts. The three chapters that constitute Part I cover the science and technology of PINS. Neutron activation analysis is the focus of Chapter 1. Chapter 2 explores PINS hardware, software, and related operational issues. Gamma-ray spectral analysis basics are introduced in Chapter 3. The six chapters of Part II cover the identification of PINS spectra in detail. Like the PINS decision tree logic, these chapters are organized by chemical element: phosphorus-based chemicals, chlorine-based chemicals, etc. These descriptions of hazardous, toxic, and/or explosive chemicals conclude with a chapter on the identification of the inert chemicals, e.g. sand, used to fill practice munitions.

  17. The impact of the European Union Emissions Trading Scheme on US aviation Robert Malina a,c

    E-Print Network [OSTI]

    The impact of the European Union Emissions Trading Scheme on US aviation Robert Malina a, Germany Keywords: European air transport policy Carbon emissions trading US airline industry a b s t r a c in the European Union Emissions Trading Scheme from 2012 to 2020. We find that the Scheme would only have a small

  18. Policy Brief: Still time to reclaim the European Union Emissions Trading System for the European tax payer

    E-Print Network [OSTI]

    Policy Brief: Still time to reclaim the European Union Emissions Trading System for the European of the European Union Emissions Trading System (EU ETS) are not restrictive enough. Evidence from interviews The EU Commission is currently finalising the design of the third trading phase of the European Emissions

  19. Facility Bookings Ph 8313 5151 F7 Union House, L4 Financial Services S2 Rundle Mall Plaza, L3

    E-Print Network [OSTI]

    Balasuriya, Sanjeeva

    F Facility Bookings Ph 8313 5151 F7 Union House, L4 Financial Services S2 Rundle Mall Plaza, L3 Wills, L6 J Joanna Briggs Institute - Training W8 115 Grenfell St, L1 L Laboratory Animal Services E17 Dit' (Student Magazine) F7 Union House, L5 West Orthopaedics & Trauma, Discipline of RAH Bice, L4 P

  20. The Burke Library Archives (Columbia University Libraries) Union Theological Seminary, New York

    E-Print Network [OSTI]

    Salzman, Daniel

    . Kamsler 8/17/12 Price, Frank W. "Specialized Research Libraries in Missions." Library Trends 9 (2) 1960: Current Trends in Theological Libraries: 175-185. Collection Scope and Content Note The collectionThe Burke Library Archives (Columbia University Libraries) Union Theological Seminary, New York

  1. The Burke Library Archives (Columbia University Libraries) Union Theological Seminary, New York

    E-Print Network [OSTI]

    Salzman, Daniel

    in Missions." Library Trends 9 (2) 1960: Current Trends in Theological Libraries: 175-185. Collection ScopeThe Burke Library Archives (Columbia University Libraries) Union Theological Seminary, New York Missionary Research Library Archives: Section 12 Finding Aid for Missionary Personnel Records, 1929 ­ 1963

  2. INTERNATIONAL UNION FOR CONSERVATION OF NATURE Workshop Identifies Issues and Opportunities as

    E-Print Network [OSTI]

    to approve a Due Diligence Regulation (DDR) requiring all timber #12;IUCN (International Union and so satisfy the DDR. In 2008, the US Congress amended the Lacey Act, introducing amongst other things of their shipments. The FLEGT Action Plan and DDR are specific about what cannot be sold in the EU, and the Action

  3. Communist coalmining union activists and postwar reconstruction, 1945-52: Germany, Poland, and Britain

    SciTech Connect (OSTI)

    Fishman, N.; Prazmowska, A.J.; Heith, H. [University of Westminster, London (United Kingdom)

    2006-01-15

    The demand for coal in war-torn Europe after VE Day gave coalmining trade unions unprecedented bargaining leverage. Miners' incomes had been depressed throughout the interwar period, and they were now anxious to recover their past high wages and improve their conditions. In several key European countries, Communists were prominent among the leadership of mining trade unions. Communist miners' leaders Willi Agatz, Edward Gierek and Arthur Horner each faced unprecedented opportunities and challenges at the onset of the Cold War in 1948, as they sought to fuse their parallel identities as committed and influential Communists and as conscientious trade union negotiators in these newly advantageous circumstances. Each of these three 'revolutionary' trade unionists pursued strategies that revived the position of miners, without undermining the potential for economic recovery in their respective countries - for which an uninterrupted supply of coal remained critical. A comparative study of the personal and political experiences of the three Communist miners' leaders enhances our understanding of the evolution of Communist trade unionism in the early postwar period.

  4. Coding and Compression: a Happy Union of Theory and Practice Jorma Risssanen \\Lambda Bin Yu y

    E-Print Network [OSTI]

    Yu, Bin

    that followed, information theory provided fundamental limits for communication in general and coding theory is intrinsically statistical. Moreover, the algorithmic theory of information has inspiredCoding and Compression: a Happy Union of Theory and Practice Jorma Risssanen \\Lambda Bin Yu y 1

  5. Santiago-Valles, Kelvin, Associate Professor, PhD, 1980, Union Graduate School: Latin

    E-Print Network [OSTI]

    Suzuki, Masatsugu

    319 Santiago-Valles, Kelvin, Associate Professor, PhD, 1980, Union Graduate School: Latin America, theories, ideologies. (1984) Sarkar, Mahua, Assistant Professor, PhD, 1999, Johns Hopkins University, PhD, 1967, Yale University: Political economy, revolutionary change, East Asia, socialist development

  6. A Bioscience Sector response to the House of Lords European Union Committee Inquiry

    E-Print Network [OSTI]

    Rambaut, Andrew

    Understanding Animal Research Wellcome Trust Context of this submission 2. The House of Lords CommitteeA Bioscience Sector response to the House of Lords European Union Committee Inquiry: Revision of Directive 86/609 on the protection of animals used for scientific purposes 1. This document has been

  7. European Union, Mediterranean region and energy issue Yal Kouzmine -PhD in geography

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    and to the increasing prices of fossil fuels; create an European energy market, which could become an Euro part, we will demonstrate the historical role of energy issue in European Union emergence mainly on the receipts oil and gas exports. Structural deficit of energy offer and European dependence

  8. Scholarly Communication and National Union Catalogues: a Strategic Role for SUNCAT in the UK Information Environment 

    E-Print Network [OSTI]

    Burnhill, Peter; Guy, Fred; Osborne, Nicola

    2006-01-01

    The paper sets out to re-assess the role for SUNCAT as national union serials catalogue, considering how it might move beyond its original remit as a simple route to discover and locate serials, to be a component in a ...

  9. FRAMEWORK GEOLOGY OF FORT UNION COAL IN THE EASTERN ROCK SPRINGS UPLIFT,

    E-Print Network [OSTI]

    Chapter GF FRAMEWORK GEOLOGY OF FORT UNION COAL IN THE EASTERN ROCK SPRINGS UPLIFT, GREATER GREEN RIVER BASIN, WYOMING By R.M. Flores,1 A.M. Ochs,2 and L.R. Bader1 in U.S. Geological Survey Professional Paper 1625-A 1 U.S. Geological Survey 2 Consultant, U.S. Geological Survey, Denver, Colorado 1999

  10. PermophilesInternational Commission on Stratigraphy International Union of Geological Sciences

    E-Print Network [OSTI]

    PermophilesInternational Commission on Stratigraphy International Union of Geological Sciences Newsletter of the Subcommission on Permian Stratigraphy Number 53 ISSN 1684-5927 June 2009 Supplement 2 ROCKY Biostratigraphy 14 Day 2 (morning): Carboniferous sequence stratigraphy, biostratigraphy, and basin development

  11. PermophilesInternational Commission on Stratigraphy International Union of Geological Sciences

    E-Print Network [OSTI]

    PermophilesInternational Commission on Stratigraphy International Union of Geological Sciences Newsletter of the Subcommission on Permian Stratigraphy Number 53 ISSN 1684-5927 June 2009 Includes Charles M. Henderson Report of the field trip of the Permian stratigraphy in central and eastern Iran 2

  12. FORT UNION COAL IN THE POWDER RIVER BASIN, WYOMING AND MONTANA: A SYNTHESIS

    E-Print Network [OSTI]

    Chapter PS FORT UNION COAL IN THE POWDER RIVER BASIN, WYOMING AND MONTANA: A SYNTHESIS By R of selected Tertiary coal beds and zones in the Northern RockyMountains and Great Plains region, U Resource assessment of selected Tertiary coal beds and zones in the Northern Rocky Mountains and Great

  13. FORT UNION COAL IN THE GREATER GREEN RIVER BASIN, EAST FLANK OF THE ROCK SPRINGS UPLIFT,

    E-Print Network [OSTI]

    Chapter GS FORT UNION COAL IN THE GREATER GREEN RIVER BASIN, EAST FLANK OF THE ROCK SPRINGS UPLIFT 1999 Resource assessment of selected Tertiary coal beds and zones in the Northern Rocky in the toolbar to return. 1999 Resource assessment of selected Tertiary coal beds and zones in the Northern Rocky

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

  15. Climate research in the former Soviet Union. FASAC: Foreign Applied Sciences Assessment Center technical assessment report

    SciTech Connect (OSTI)

    Ellingson, R.G.; Baer, F.; Ellsaesser, H.W.; Harshvardhan; Hoffert, M.I.; Randall, D.A.

    1993-09-01

    This report assesses the state of the art in several areas of climate research in the former Soviet Union. This assessment was performed by a group of six internationally recognized US experts in related fields. The areas chosen for review are: large-scale circulation processes in the atmosphere and oceans; atmospheric radiative processes; cloud formation processes; climate effects of natural atmospheric disturbances; and the carbon cycle, paleoclimates, and general circulation model validation. The study found an active research community in each of the above areas. Overall, the quality of climate research in the former Soviet Union is mixed, although the best Soviet work is as good as the best corresponding work in the West. The best Soviet efforts have principally been in theoretical studies or data analysis. However, an apparent lack of access to modern computing facilities has severely hampered the Soviet research. Most of the issues considered in the Soviet literature are known, and have been discussed in the Western literature, although some extraordinary research in paleoclimatology was noted. Little unusual and exceptionally creative material was found in the other areas during the study period (1985 through 1992). Scientists in the former Soviet Union have closely followed the Western literature and technology. Given their strengths in theoretical and analytical methods, as well as their possession of simplified versions of detailed computer models being used in the West, researchers in the former Soviet Union have the potential to make significant contributions if supercomputers, workstations, and software become available. However, given the current state of the economy in the former Soviet Union, it is not clear that the computer gap will be bridged in the foreseeable future.

  16. UBC Social Ecological Economic Development Studies (SEEDS) Student Report Scaling-Up On-Site Composting in the Student Union Building ~UBC Vancouver~

    E-Print Network [OSTI]

    -Site Composting in the Student Union Building ~UBC Vancouver~ GRS 497B November 01, 2013 282 1667 University-Site Composting in the Student Union Building ~UBC Vancouver~ 2 Conducted by: Emme Lee Email: Phone: Conducted for: November 2013 #12;Author: Emme Lee Scaling-Up On-Site Composting in the Student Union Building ~UBC

  17. UBC Social Ecological Economic Development Studies (SEEDS) Student Report Scaling-Up On-Site Composting in the Student Union Building ~UBC Vancouver~

    E-Print Network [OSTI]

    -Site Composting in the Student Union Building ~UBC Vancouver~ GRS 397 August 26, 2014 891 1673 University-Site Composting in the Student Union Building ~UBC Vancouver~ 2 Conducted by: Emme Lee Conducted for: AMS;Author: Emme Lee Scaling-Up On-Site Composting in the Student Union Building ~UBC Vancouver~ 3 CONTEXT

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

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

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

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

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

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

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

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

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

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

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

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

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

  5. PINS chemical identification software

    DOE Patents [OSTI]

    Caffrey, Augustine J.; Krebs, Kennth M.

    2004-09-14

    An apparatus and method for identifying a chemical compound. A neutron source delivers neutrons into the chemical compound. The nuclei of chemical elements constituting the chemical compound emit gamma rays upon interaction with the neutrons. The gamma rays are characteristic of the chemical elements constituting the chemical compound. A spectrum of the gamma rays is generated having a detection count and an energy scale. The energy scale is calibrated by comparing peaks in the spectrum to energies of pre-selected chemical elements in the spectrum. A least-squares fit completes the calibration. The chemical elements constituting the chemical compound can be readily determined, which then allows for identification of the chemical compound.

  6. $\\Lambda$-CDM type Heckmann - Suchuking model and union 2.1 compilation

    E-Print Network [OSTI]

    Goswami, G K; Yadav, A K

    2015-01-01

    In this paper, we have investigated $\\Lambda$CDM-type cosmological model in Heckmann-Schucking space-time, by using 287 high red shift ($ .3 \\leq z \\leq 1.4$) SN Ia supernova data's of observed absolute magnitude along with their possible error from Union 2.1 compilation. For this $\\chi^{2}$ formula's due to R. Amanullah were used to compare Union 2.1 compilation observed data's and corresponding theoretical values of apparent magnitude for various $\\Omega_m$ ranging from 0 to 1. It is found that the best fit value for $(\\Omega_{m})_0$, $(\\Omega_{\\Lambda})_0$ and $(\\Omega_{\\sigma})_0$ are .2800, .7177 and .0023 respectively at present which are in good agreement with recent astrophysical observations.

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

  8. System and damage identification of civil structures

    E-Print Network [OSTI]

    Moaveni, Babak

    2007-01-01

    12 Damage Index Methods. . . . . . . . . . . . . . . .Model Updating for Damage Identification . . . . . . . .298 x Damage Factors and Residual

  9. Short-Term Energy Tests of a Credit Union Building in Idaho (Draft)

    SciTech Connect (OSTI)

    Subbarao, K.; Balcomb, J. D.

    1993-01-01

    This report describes tests and results of the energy performance of a credit union building in Idaho. The building is in the Energy Edge Program administered by the Bonneville Power Administration (BPA). BPA provided incentives to incorporate innovative features designed to conserve energy use by the building. It is of interest to determine the actual performance of these features. The objective of this project was to evaluate the applicability of the SERI short-term energy monitoring (STEM) method to nonresidential buildings.

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

  11. Curriculum Vitae Nadia Bergamaschi Unione europea, 2002-2013 | http://europass.cedefop.europa.eu Pagina 1 / 6

    E-Print Network [OSTI]

    Curriculum Vitae Nadia Bergamaschi © Unione europea, 2002-2013 | http Santa Rosa di Poviglio (RE) e lo scavo archeologico di Coppa Nevigata (FG) #12;Curriculum Vitae Nevigata Attestato scavo archeologico Bibbiena Attestato ricognizioni nel Gargano #12;Curriculum Vitae

  12. Linda Sargent Wood. A More Perfect Union: Holistic Worldviews and the Transformation of American Culture after World War II.

    E-Print Network [OSTI]

    Promnitz, Sarah

    2012-01-01

    23 No. 1 Linda Sargent Wood. A More Perfect Union: HolisticCold War era, Linda Sargent Wood argues that the equallyWorld War II period. For Wood, this cultural perspective

  13. Why and How the European Union Can Get a (Near To) Carbon-Free Energy System in 2050?

    E-Print Network [OSTI]

    Jones, Christopher

    Reducing the European Union GHG emissions by at least 80% by 2050 will require a near zero carbon electricity, road and rail transport industry, and heating and cooling in buildings. As compared to “business as usual” the ...

  14. Identifying and estimating the distributional effects of unionization and the long-term consequences of military service

    E-Print Network [OSTI]

    Frandsen, Brigham R

    2010-01-01

    This thesis is concerned with the economic consequences for individuals of two important U.S. labor market institutions: unionization and the military draft. The first chapter develops an econometric procedure for estimating ...

  15. Marriage or Civil Unions for Single Cells and Metagenomics (Metagenomics Informatics Challenges Workshop: 10K Genomes at a Time)

    ScienceCinema (OSTI)

    Rusch, Doug [J. Craig Venter Institute

    2013-01-22

    JCVI's Doug Rusch on "Marriage or Civil Unions for Single Cells and Metagenomes" at the Metagenomics Informatics Challenges Workshop held at the DOE JGI on October 12-13, 2011.

  16. Pileup per particle identification

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

    Bertolini, Daniele; Harris, Philip; Low, Matthew; Tran, Nhan

    2014-10-09

    We propose a new method for pileup mitigation by implementing “pileup per particle identification” (PUPPI). For each particle we first define a local shape ? which probes the collinear versus soft diffuse structure in the neighborhood of the particle. The former is indicative of particles originating from the hard scatter and the latter of particles originating from pileup interactions. The distribution of ? for charged pileup, assumed as a proxy for all pileup, is used on an event-by-event basis to calculate a weight for each particle. The weights describe the degree to which particles are pileup-like and are used tomore »rescale their four-momenta, superseding the need for jet-based corrections. Furthermore, the algorithm flexibly allows combination with other, possibly experimental, probabilistic information associated with particles such as vertexing and timing performance. We demonstrate the algorithm improves over existing methods by looking at jet pT and jet mass. We also find an improvement on non-jet quantities like missing transverse energy.« less

  17. Pileup per particle identification

    SciTech Connect (OSTI)

    Bertolini, Daniele; Harris, Philip; Low, Matthew; Tran, Nhan

    2014-10-09

    We propose a new method for pileup mitigation by implementing “pileup per particle identification” (PUPPI). For each particle we first define a local shape ? which probes the collinear versus soft diffuse structure in the neighborhood of the particle. The former is indicative of particles originating from the hard scatter and the latter of particles originating from pileup interactions. The distribution of ? for charged pileup, assumed as a proxy for all pileup, is used on an event-by-event basis to calculate a weight for each particle. The weights describe the degree to which particles are pileup-like and are used to rescale their four-momenta, superseding the need for jet-based corrections. Furthermore, the algorithm flexibly allows combination with other, possibly experimental, probabilistic information associated with particles such as vertexing and timing performance. We demonstrate the algorithm improves over existing methods by looking at jet pT and jet mass. We also find an improvement on non-jet quantities like missing transverse energy.

  18. Constructing check-lists and avifauna-wide reviews: Mexican bird taxonomy revisited

    E-Print Network [OSTI]

    Peterson, A. Townsend; Navarro-Sigü enza, Adolfo G.

    2009-01-01

    to photocopy or reproduce article content through the University of California Press’s Rights and Permissions website, http://www.ucpressjournals. com/reprintInfo.asp. DOI: 10.1525/auk.2009.91009 A. To w n s e n d Pe T e r s o n 1,3 A n d Ad o l f o G. nA v...-399, México, D.F. 04510, Mexico 3 E-mail: town@ku.edu Summarizing taxonomic and distributional information of regional avifaunas has been an important task of the Ameri- can Ornithologists’ Union (AOU) from early in its history up to the present day (AOU...

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

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

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

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

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

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

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

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

  7. Concealed identification symbols and nondestructive determination of the identification symbols

    DOE Patents [OSTI]

    Nance, Thomas A.; Gibbs, Kenneth M.

    2014-09-16

    The concealing of one or more identification symbols into a target object and the subsequent determination or reading of such symbols through non-destructive testing is described. The symbols can be concealed in a manner so that they are not visible to the human eye and/or cannot be readily revealed to the human eye without damage or destruction of the target object. The identification symbols can be determined after concealment by e.g., the compilation of multiple X-ray images. As such, the present invention can also provide e.g., a deterrent to theft and the recovery of lost or stolen objects.

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

  9. Union zur F rderung von Oel und Proteinpflanzen Ufop | Open Energy

    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:QA J-E-1 SECTION J APPENDIX ECoop IncIowa (Utility Company) JumpGTZ Climate OrientedUnion Electric

  10. April 30, 2008; HSS/Union Working Group Meeting to address training … Meeting Summary

    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 n c i p a l De p u tCorporation |Inc.:ServicesSvcsApprovalTribes 1.HSS/UNION *

  11. April 30, 2008; HSS/Union Working Group Meeting, Training - Agenda

    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 n c i p a l De p u tCorporation |Inc.:ServicesSvcsApprovalTribes 1.HSS/UNION

  12. Coarticulatory constraints determined by automatic identification from articulograph data

    E-Print Network [OSTI]

    Jackson, Philip JB

    identification algorithm Critical articulators for vowels Future perspectives Pseudocode description

  13. Techniques for Foundry Identification James B. Wendt

    E-Print Network [OSTI]

    Techniques for Foundry Identification James B. Wendt Computer Science Department, University of California, Los Angeles miodrag@cs.ucla.edu ABSTRACT Foundry identification is essential for many tasks introduce statistical techniques for foundry detection, specifically for identifying from which foundry

  14. UXO DISCRIMINATION AND IDENTIFICATION USING MAGNETOMETRY

    E-Print Network [OSTI]

    Oldenburg, Douglas W.

    UXO DISCRIMINATION AND IDENTIFICATION USING MAGNETOMETRY Stephen D. Billings, Leonard R. Passion metallic debris, shrapnel and geological variations in ferromagnetic concentration. Methods to discriminate stage procedure for ordnance discrimination and identification. The first stage consists of a local

  15. Transsaccadic identification of highly similar artificial shapes

    E-Print Network [OSTI]

    Crawford, Doug

    ., & Verfaillie, K. (2009). Transsaccadic identification of highly similar artificial shapes. Journal of Vision, 9Transsaccadic identification of highly similar artificial shapes Laboratory of Experimental on postsaccadic perception do indeed occur. We presented subjects with highly similar artificial shapes, preceded

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

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

  18. Clean Energy Jobs at the Union of Concerned Scientists Do you want to protect and strengthen EPA's authority to regulate carbon from power

    E-Print Network [OSTI]

    Bohnhoff, David

    Clean Energy Jobs at the Union of Concerned Scientists Do you want to protect and strengthen EPA states and nationally as a key pathway to reducing carbon emissions? The Energy team at the Union? Energy Research Associate (Cambridge, MA): Assist with research and analysis in support of a team

  19. UBC Social Ecological Economic Development Studies (SEEDS) Student Report An Investigation Into Composting Food Waste at the New Student Union Building

    E-Print Network [OSTI]

    Into Composting Food Waste at the New Student Union Building Peter Hua, Jordan Smith, Kelsey Zhu University Investigation Into Composting Food Waste at the New Student Union Building Peter Hua Jordan Smith Kelsey Zhu IMPLEMENTATION 2.1 CAPACITY 2.2 COMPOSTABLE FOOD WASTE GENERATION 2.3 WASTE DIVERSION 2.4 ROOFTOP COMPOST

  20. UAW Local 5810 is the Union chosen by a majority of Postdoctoral Scholars at the University of California as their collective bargaining representative. The Union bargains and administers contracts with the

    E-Print Network [OSTI]

    , signing and returning this form. I accept membership in UAW Local 5810. I agree to pay monthly duesUAW Local 5810 is the Union chosen by a majority of Postdoctoral Scholars at the University. I decline membership in UAW Local 5810 and understand that I will still be required to pay fair

  1. Green Impact Universities is founded upon the successful Sound Impact Awards (now known as Green Impact Students Unions) developed by NUS to decrease the negative environmental impacts of Student's Unions. Building

    E-Print Network [OSTI]

    Pumfrey, David

    1. History Green Impact Universities is founded upon the successful Sound Impact Awards (now known as Green Impact Students Unions) developed by NUS to decrease the negative environmental impacts of Student of Bristol to adapt the Sound Impact model to green departments within the University environment. Called

  2. Identification of Astrophysical Black Holes

    E-Print Network [OSTI]

    Sandip K. Chakrabarti

    1998-03-19

    Black holes are by definition black, and therefore cannot be directly observed by using electromagnetic radiations. Convincing identification of black holes must necessarily depend on the identification of a very specially behaving matter and radiation which surround them. A major problem in this subject of black hole astrophysics is to quantify the behaviour of matter and radiation close to the horizon. In this review, the subject of black hole accretion and outflow is systematically developed. It is shown that both the stationary as well as the non-stationary properties of the observed spectra could be generally understood by these solutions. It is suggested that the solutions of radiative hydrodynamic equations may produce clear spectral signatures of black holes. Other circumstantial evidences of black holes, both in the galactic centers as well as in binary systems, are also presented.

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

  4. How Science, Innovation, and Mikayla Nelson are Changing the State of Our Union

    Broader source: Energy.gov [DOE]

    The faces of America’s future success in science and engineering are everywhere. She might be the friendly employee at a neighborhood store... or be seated with the First Lady at the State of the Union. In the case of Mikayla Nelson, she’s both. Last night, the high school freshman from Billings, Montana was seated next to the First Lady. Mikayla earned her place there – as well as personal recognition from the President – by leading her team to a first place finish at the Department of Energy’s National Science Bowl for the design document of their solar car. During her visit to D.C., Mikayla came by the Department's headquarters and met with Secretary Steven Chu and Director of Science Bill Brinkman. She also answered a few questions about her experiences and inspirations.

  5. Intrinsic Classes in the Union of European Football Associations Soccer Team Ranking

    E-Print Network [OSTI]

    Ausloos, Marcel

    2014-01-01

    A strong structural regularity of classes is found in soccer teams ranked by the Union of European Football Associations (UEFA) for the time interval 2009-2014. It concerns 424 to 453 teams according to the 5 competition seasons. The analysis is based on the rank-size theory considerations, the size being the UEFA coefficient at the end of a season. Three classes emerge: (i) the few "top" teams, (ii) 300 teams, (iii) the rest of the involved teams (about 150) in the tail of the distribution. There are marked empirical laws describing each class. A 3-parameter Lavalette function is used to describe the concave curving as the rank increases, and to distinguish the the tail from the central behavior.

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

  7. The most efficient means for an international student to pay their student account balance is through Western Union's

    E-Print Network [OSTI]

    be generated · The exchange rate quote will be valid for 72 hours (3 calendar days) · Temporarily enable pop fee by your bank · The exchange rate is valid for 72 hours (3 calendar days) after the transaction 72 hours (3 calendar days), take the Western Union payment instructions to your local bank

  8. The Role of Domestic Factors in the Formation of Trade Unions: A Look at Turkey/EU Relations 

    E-Print Network [OSTI]

    Youngblood, Kristina Lynne

    2008-08-19

    I studied Turkey and the European Union (EU). Turkey was officially admitted as a candidate country to the EU in 1997. Despite efforts to meet EU demands, Turkey’s admittance has been blocked. As recently as 2007 Turkey was denied membership...

  9. Coastal Flooding Summit Fellowship The Union of Concerned Scientists is working with various partners to organize a

    E-Print Network [OSTI]

    New Hampshire, University of

    Flooding Summit Fellowship The Union of Concerned Scientists is working with various partners to organize a National Summit on Coastal Flooding; a bi-partisan forum establishing that coastal flooding is a national attention to the plight of front-line coastal communities impacted by growing flood risk and ensure

  10. Fruit and vegetable consumption in the former Soviet Union: the role of individual and community-level factors

    E-Print Network [OSTI]

    Goryakin, Yevgeniy; Rocco, Lorenzo; Suhrcke, Marc; Roberts, Bayard; McKee, Martin

    2015-02-17

    Fruit and vegetable consumption in the former Soviet Union: the role of individual- and community-level factors Yevgeniy Goryakin1,2,*, Lorenzo Rocco3, Marc Suhrcke2,4, Bayard Roberts5 and Martin McKee5 1Norwich Medical School, University of East...

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

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

  13. Identification of Hazards, 3/9/95

    Broader source: Energy.gov [DOE]

    The objective of this surveillance is to evaluate the effectiveness of the contractor's hazards identification programs.  Surveillance activities encompass maintenance and implementation of safety...

  14. NEW Fe I LEVEL ENERGIES AND LINE IDENTIFICATIONS FROM STELLAR SPECTRA

    SciTech Connect (OSTI)

    Peterson, Ruth C. [SETI Institute and Astrophysical Advances, 607 Marion Place, Palo Alto, CA 94301 (United States); Kurucz, Robert L., E-mail: peterson@ucolick.org [Harvard-Smithsonian Center for Astrophysics, 60 Garden Street, Cambridge, MA 02138 (United States)

    2015-01-01

    The spectrum of the Fe I atom is critical to many areas of astrophysics and beyond. Measurements of the energies of its high-lying levels remain woefully incomplete, however, despite extensive laboratory and solar analysis. In this work, we use high-resolution archival absorption-line ultraviolet and optical spectra of stars whose warm temperatures favor moderate Fe I excitation. We derive the energy for a particular upper level in Kurucz's semiempirical calculations by adopting a trial value that yields the same wavelength for a given line predicted to be about as strong as that of a strong unidentified spectral line observed in the stellar spectra, then checking the new wavelengths of other strong predicted transitions that share the same upper level for coincidence with other strong observed unidentified lines. To date, this analysis has provided the upper energies of 66 Fe I levels. Many new energy levels are higher than those accessible to laboratory experiments; several exceed the Fe I ionization energy. These levels provide new identifications for over 2000 potentially detectable lines. Almost all of the new levels of odd parity include UV lines that were detected but unclassified in laboratory Fe I absorption spectra, providing an external check on the energy values. We motivate and present the procedure, provide the resulting new energy levels and their uncertainties, list all the potentially detectable UV and optical new Fe I line identifications and their gf values, point out new lines of astrophysical interest, and discuss the prospects for additional Fe I energy level determinations.

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

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

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

  18. Method Development: Identification of the Soluble Organic Fraction...

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

    Method Development: Identification of the Soluble Organic Fraction of Particulate Matter on DPF Soot Method Development: Identification of the Soluble Organic Fraction of...

  19. Fast 3D Scanning for Biometric Identification and Verification

    E-Print Network [OSTI]

    McShea, Daniel W.

    Fast 3D Scanning for Biometric Identification and Verification June 2011 Authors Anselmo., & Chen, A. (2011). Fast 3D Scanning for Biometric Identification and Verification. (Prepared by RTI

  20. Identification and Characterization of Near-Term Direct Hydrogen...

    Energy Savers [EERE]

    Identification and Characterization of Near-Term Direct Hydrogen Proton Exchange Membrane Fuel Cell Markets Identification and Characterization of Near-Term Direct Hydrogen Proton...

  1. Future Intelligent Power Grids: Analysis of the vision in the European Union and the United States

    SciTech Connect (OSTI)

    Coll-Mayor, Debora; Paget, Mia L.; Lightner, Eric M.

    2007-04-01

    The future of power grids is expected to involve an increasing level of intelligence and integration of new information and communication technologies in every aspect of the electricity system, from demand-side devices to wide-scale distributed generation to a variety of energy markets. This paper provides a general outlook of the definition of this future in the U.S. and the European Union and compares two approaches—GridWiseTM and SmartGrid. It describes the contexts in both the worlds, as they influence the two visions of the future intelligent power grid, and as they form foundations at each respective federal level for supporting research in this field. The similarities and complementarities of the two research programs are examined. Within the framework of a solid precedence for trans-Atlantic cooperation in energy research, the time would seem optimal to set in motion active collaboration and educational exchange on GridWise and SmartGrid research. This paper will help energy policy makers to better understand the key issues determining the two different approaches and the two different policies derived from them; as well as a comparison of the solution provided in each case. This work will also be useful for researchers and industry decision makers to be aware of trans-Atlantic approaches, opportunities, and resources looking toward future, more intelligent and interconnected power grids.

  2. United States-assisted studies on dose reconstruction in the former Soviet Union

    SciTech Connect (OSTI)

    Anspaugh, L.R.; Bouville, A.

    1995-12-01

    Following the Chernobyl accident, the US and the USSR entered into an agreement to work on the safety of civilian nuclear reactors; one aspect of that work was to study the environmental transport and health effects of radionuclides released by the accident. After the break-up of the USSR separate agreements were established between the US and Ukraine, Belarus, and Russia to continue work on dose reconstruction and epidemiologic studies of health effects from exposure to external radiation and the incorporation of radionuclides. Studies in Belarus and Ukraine related to the Chernobyl accident now emphasize epidemiologic: studies of childhood-thyroid cancer and leukemia, and eye-lens-cataract formation in liquidators. Supporting studies on dose reconstruction emphasize a variety of ecological, physical, and biological techniques. Studies being conducted in Russia currently emphasize health effects in the workers and the population around the Mayak Industrial Association. As this production complex is an analogue of the US Hanford Works, advantage is being taken of the US experience in conducting a similar, recently completed dose-reconstruction study. In all cases the primary work on dose reconstruction is being performed by scientists from the former Soviet Union. US assistance is in the form of expert consultation and participation, exchange visits, provision of supplies and equipment, and other forms of local assistance.

  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. Enhancer Identification through Comparative Genomics

    SciTech Connect (OSTI)

    Visel, Axel; Bristow, James; Pennacchio, Len A.

    2006-10-01

    With the availability of genomic sequence from numerousvertebrates, a paradigm shift has occurred in the identification ofdistant-acting gene regulatory elements. In contrast to traditionalgene-centric studies in which investigators randomly scanned genomicfragments that flank genes of interest in functional assays, the modernapproach begins electronically with publicly available comparativesequence datasets that provide investigators with prioritized lists ofputative functional sequences based on their evolutionary conservation.However, although a large number of tools and resources are nowavailable, application of comparative genomic approaches remains far fromtrivial. In particular, it requires users to dynamically consider thespecies and methods for comparison depending on the specific biologicalquestion under investigation. While there is currently no single generalrule to this end, it is clear that when applied appropriately,comparative genomic approaches exponentially increase our power ingenerating biological hypotheses for subsequent experimentaltesting.

  5. Identification of process suitable diluent

    SciTech Connect (OSTI)

    Dean R. Peterman

    2014-01-01

    The Sigma Team for Minor Actinide Separation (STMAS) was formed within the USDOE Fuel Cycle Research and Development (FCRD) program in order to develop more efficient methods for the separation of americium and other minor actinides (MA) from used nuclear fuel. The development of processes for MA separations is driven by the potential benefits; reduced long-term radiotoxicty of waste placed in a geologic repository, reduced timeframe of waste storage, reduced repository heat load, the possibility of increased repository capacity, and increased utilization of energy potential of used nuclear fuel. The research conducted within the STMAS framework is focused upon the realization of significant simplifications to aqueous recycle processes proposed for MA separations. This report describes the research efforts focused upon the identification of a process suitable diluent for a flowsheet concept for the separation of MA which is based upon the dithiophosphinic acid (DPAH) extractants previously developed at the Idaho National Laboratory (INL).

  6. Multi-level RF identification system

    DOE Patents [OSTI]

    Steele, Kerry D.; Anderson, Gordon A.; Gilbert, Ronald W.

    2004-07-20

    A radio frequency identification system having a radio frequency transceiver for generating a continuous wave RF interrogation signal that impinges upon an RF identification tag. An oscillation circuit in the RF identification tag modulates the interrogation signal with a subcarrier of a predetermined frequency and modulates the frequency-modulated signal back to the transmitting interrogator. The interrogator recovers and analyzes the subcarrier signal and determines its frequency. The interrogator generates an output indicative of the frequency of the subcarrier frequency, thereby identifying the responding RFID tag as one of a "class" of RFID tags configured to respond with a subcarrier signal of a predetermined frequency.

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

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

  9. Runtime Identification of Microprocessor Energy Saving Opportunities

    E-Print Network [OSTI]

    John, Lizy Kurian

    Runtime Identification of Microprocessor Energy Saving Opportunities W. L. Bircher, M. Valluri, J. Law, and L. K. John Laboratory for Computer Architecture Department of Electrical and Computer power consumption and low energy efficiency have become significant impediments to future performance

  10. Security approaches for Radio Frequency Identification systems

    E-Print Network [OSTI]

    Foley, Joseph Timothy, 1976-

    2007-01-01

    In this thesis, I explore the challenges related to the security of the Electronic Product Code (EPC) class of Radio Frequency Identification (RFID) tags and associated data. RFID systems can be used to improve supply chain ...

  11. Identification and control of a flexible structure 

    E-Print Network [OSTI]

    Huang, Haiming

    1998-01-01

    This thesis describes the identification and vibration ics. control of a cantilevered beam with piezoelectric material as actuators and sensors. The Euler-Bernoulli beam equation is used and gravity contribution to the stiffness matrix is included...

  12. Access Versus Integrity in Voter Identification Requirements

    E-Print Network [OSTI]

    Ansolabehere, Stephen

    The Help America Vote Act hit a nearly fatal snag during the final stages of congressional negotiations over the bill in 2002. The problem? Voter identification requirements. Many conservatives in Congress insisted on the ...

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

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

  15. LAYNE, HOSPEDALES, GONG: PERSON RE-IDENTIFICATION BY ATTRIBUTES 1 Person Re-identification by Attributes

    E-Print Network [OSTI]

    Gong, Shaogang

    LAYNE, HOSPEDALES, GONG: PERSON RE-IDENTIFICATION BY ATTRIBUTES 1 Person Re-identification by Attributes Ryan Layne rlayne@eecs.qmul.ac.uk Timothy Hospedales tmh@eecs.qmul.ac.uk Shaogang Gong sgg unchanged freely in print or electronic forms. #12;2 LAYNE, HOSPEDALES, GONG: PERSON RE

  16. Radio-frequency identification could help reduce the spread of plant pathogens

    E-Print Network [OSTI]

    Luvisi, Andrea; Panattoni, Alessandra; Triolo, Enrico

    2012-01-01

    ReVIEW Article Radio-frequency identification could helpcertified nursery stock. Radio- frequency identification (Panattoni and Enrico Triolo Radio-frequency identification (

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

  18. Ordered transport and identification of particles

    DOE Patents [OSTI]

    Shera, E.B.

    1993-05-11

    A method and apparatus are provided for application of electrical field gradients to induce particle velocities to enable particle sequence and identification information to be obtained. Particle sequence is maintained by providing electroosmotic flow for an electrolytic solution in a particle transport tube. The transport tube and electrolytic solution are selected to provide an electroosmotic radius of >100 so that a plug flow profile is obtained for the electrolytic solution in the transport tube. Thus, particles are maintained in the same order in which they are introduced in the transport tube. When the particles also have known electrophoretic velocities, the field gradients introduce an electrophoretic velocity component onto the electroosmotic velocity. The time that the particles pass selected locations along the transport tube may then be detected and the electrophoretic velocity component calculated for particle identification. One particular application is the ordered transport and identification of labeled nucleotides sequentially cleaved from a strand of DNA.

  19. Handheld Face Identification Technology in a Pervasive Computing Environment

    E-Print Network [OSTI]

    Poggio, Tomaso

    Handheld Face Identification Technology in a Pervasive Computing Environment Eugene Weinstein1 of Technology, Laboratory for Computer Science, 200 Technology Square, Cambridge, MA 02139 USA {ecoder, steele face identification framework in the context of a pervasive computing environment including handheld

  20. INSTANTANEOUS DAMAGE IDENTIFICATION AND LOCALIZATION THROUGH SPARSE LASER ULTRASONIC SCANNING

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    INSTANTANEOUS DAMAGE IDENTIFICATION AND LOCALIZATION THROUGH SPARSE LASER ULTRASONIC SCANNING This study proposes an instantaneous damage identification and localization technique through sparse laser ultrasonic signals are obtained, a damage index (DI) representing the violation of the linear reciprocity

  1. Fungal Diversity Identification of Botryosphaeriaceae from Eucalyptus, Acacia

    E-Print Network [OSTI]

    Fungal Diversity 103 Identification of Botryosphaeriaceae from Eucalyptus, Acacia and Pinus). Identification of Botryosphaeriaceae from Eucalyptus, Acacia and Pinus in Venezuela. Fungal Diversity 25: 103, Eucalyptus and Pinus. Some anamorphs associated with the Botryosphaeriaceae have been reported from Venezuela

  2. Supply Chain Performance Assessment and Supplier and Component Importance Identification

    E-Print Network [OSTI]

    Nagurney, Anna

    Supply Chain Performance Assessment and Supplier and Component Importance Identification and Motivation The Multitiered Supply Chain Network Game Theory Model with Suppliers Supply Chain Network Performance Measures and Supplier and Component Importance Identification The Algorithm Numerical Examples

  3. Electronic Vehicle Identification: Industry Standards, Performance, and Privacy Issues

    E-Print Network [OSTI]

    Texas at Austin, University of

    0-5217-P2 Electronic Vehicle Identification: Industry Standards, Performance, and Privacy Issues Administration and the Texas Department of Transportation. Abstract: In this research product, industry standards functions. Keywords: Tolling, electronic vehicle identification, DSRC, standards, performance, electronic

  4. Hazardous Material Code Identification NFPA 704, 1996 Edition

    E-Print Network [OSTI]

    Slatton, Clint

    Hazardous Material Code Identification NFPA 704, 1996 Edition Identification of Health Hazard Color offer no hazard. 00 Materials that will not burn. 00 Materials that in themselves are normally stable DAMAGE TO LIVING TISSUE. MATERIALS POSSESSING RADIOACTIVITY HAZARDS. The identification systems

  5. Autonomous Airborne Geomagnetic Surveying and Target Identification

    E-Print Network [OSTI]

    Washington at Seattle, University of

    Positioning System (GPS) technology, and sensors (video and infrared cameras, magnetometers) coupled and identification of magnetic anomalies are evaluated. A combination of a particle filter and a neural network Airspeed w Weight on particle x State of agent with respect to target z Sensor measurement Subscript t Time

  6. Autonomous Airborne Geomagnetic Surveying and Target Identification

    E-Print Network [OSTI]

    Lum, Christopher

    in miniaturized electronics, Global Positioning System (GPS) technology, and sensors (video and infrared cameras and identification of magnetic anomalies are evaluated. A combination of a particle filter and a neural network Airspeed w Weight on particle x State of agent with respect to target z Sensor measurement Subscript t Time

  7. Aircraft System Identification Using Artificial Neural Networks

    E-Print Network [OSTI]

    Valasek, John

    Aircraft System Identification Using Artificial Neural Networks Kenton Kirkpatrick Jim May Jr. John Networks 2 Artificial Neural Networks ANNSID Conclusions and Open Challenges #12;Motivation 3 #12;Motivating Questions Is it possible to use artificial neural networks to determine a linear model

  8. Automatic Identification of Class Stereotypes Natalia Dragan

    E-Print Network [OSTI]

    Maletic, Jonathan I.

    Automatic Identification of Class Stereotypes Natalia Dragan Department of Computer Science Kent to automatically determine a class's stereotype. The stereotype is based on the frequency and distribution of method stereotypes in the class. Method stereotypes are automatically determined using a defined taxonomy

  9. Ads-Portal Domains: Identification and Measurements

    E-Print Network [OSTI]

    Yang, Xiaowei

    4 Ads-Portal Domains: Identification and Measurements MISHARI ALMISHARI University of California, Irvine and XIAOWEI YANG Duke University An ads-portal domain refers to a Web domain that shows only develop a machine-learning- based classifier to identify ads-portal domains, which has 96% accuracy. We

  10. PSO assisted NURB neural network identification

    E-Print Network [OSTI]

    Chen, Sheng

    PSO assisted NURB neural network identification X. Hong1 and S. Chen2 1 School of Systems the shaping parameters in NURB network are esti- mated using a particle swarm optimization (PSO) procedure in the Hammerstein system. #12;II The PSO [15,16] constitutes a population based stochastic optimisation tech- nique

  11. AUTOMATIC IDENTIFICATION OF ENVIRONMENT HAPTIC PROPERTIES1

    E-Print Network [OSTI]

    Dupont, Pierre

    AUTOMATIC IDENTIFICATION OF ENVIRONMENT HAPTIC PROPERTIES1 Pierre E. Dupont Capt Timothy M sensory information collected during telemanipulation tasks in order to automatically identify properties, is considered. An algorithm is presented which automatically segments the data collected during the task, given

  12. IDENTIFICATIONS AND APPLICATIONS OF COUPLED CLIMATE MODELS

    E-Print Network [OSTI]

    Yu, Jin-Yi

    IDENTIFICATIONS AND APPLICATIONS OF COUPLED CLIMATE MODELS Jin-Yi Yu Department of Earth System of environmental system models. 1. Introduction The Earth climate system consists of several major components of global warming, all four components of the Earth climate system are involved. Coupled climate models

  13. Tier identification (TID) for tiered memory characteristics

    DOE Patents [OSTI]

    Chang, Jichuan; Lim, Kevin T; Ranganathan, Parthasarathy

    2014-03-25

    A tier identification (TID) is to indicate a characteristic of a memory region associated with a virtual address in a tiered memory system. A thread may be serviced according to a first path based on the TID indicating a first characteristic. The thread may be serviced according to a second path based on the TID indicating a second characteristic.

  14. Material identification employing a grating spectrometer

    DOE Patents [OSTI]

    Gornushkin, Ignor B.; Winefordner, James D.; Smith, Benjamin W.

    2007-01-09

    Multi-ordered spectral data is obtained from various known substances and is stored in a spectral library. The identification of an unknown material is accomplished by correlating the sample's multi-ordered spectrum against all or a portion of the spectrum in the library, and finding the closest match.

  15. Spectroscopic Identification of Carbonate Minerals in the

    E-Print Network [OSTI]

    Bandfield, Joshua L.

    local climatic conditions in the martian past suitable for sustaining life. Carbonate minerals have­10). Researchers used the Viking labeled re- lease experiment to limit the concentration of carbonates presentSpectroscopic Identification of Carbonate Minerals in the Martian Dust Joshua L. Bandfield

  16. groundwater nitrogen source identification and remediation

    E-Print Network [OSTI]

    groundwater nitrogen source identification and remediation The Seymour Aquifer is a shallow aquifer, the Seymour Aquifer has the highest groundwater pollution potential of all the major aqui- fers in Texas drinking water standards. Potential sources of nitrate in groundwater include atmospheric deposi- tion

  17. National Report for the International Association of Geodesy of the International Union of Geodesy and Geophysics 2011-2014

    E-Print Network [OSTI]

    Savinykh, V P; Malkin, Z; Pobedinsky, G; Stoliarov, I A; Sermiagin, R; Zotov, L; Gorshkov, V; Shestakov, N; Steblov, G; Dokukin, P; Ustinov, A

    2015-01-01

    In this National Report are given major results of researches conducted by Russian geodesists in 2011-2014 on the topics of the International Association of Geodesy (IAG) of the International Union of Geodesy and Geophysics (IUGG). This report is prepared by the Section of Geodesy of the National Geophysical Committee of Russia. In the report prepared for the XXVI General Assembly of IUGG (Czhech Republic, Prague, 22 June - 2 July 2015), the results of principal researches in geodesy, geodynamics, gravimetry, in the studies of geodetic reference frame creation and development, Earth's shape and gravity field, Earth's rotation, geodetic theory, its application and some other directions are briefly described. For some objective reasons not all results obtained by Russian scientists on the problems of geodesy are included in the report.

  18. National Report for the International Association of Geodesy of the International Union of Geodesy and Geophysics 2007-2010

    E-Print Network [OSTI]

    Boyarsky, E A; Gerasimenko, M D; Demianov, G V; Kaufman, M B; Kaftan, V I; Mazurova, E M; Malkin, Z M; Molodenskii, S M; Neyman, Yu M; Pevnev, A K; Savinykh, V P; Steblov, G M; Tatevian, S K; Tolchel'nikova, S A; Shestakov, N V

    2015-01-01

    This report submitted to the International Association of Geodesy (IAG) of the International Union of Geodesy and Geophysics (IUGG) contains results obtained by Russian geodesists in 2007-2010. In the report prepared for the XXV General Assembly of IUGG (Australia, Melbourne, 28 June - 7 July 2011), the results of principal researches in geodesy, geodynamics, gravimetry, in the studies of geodetic reference frame creation and development, Earth's shape and gravity field, Earth's rotation, geodetic theory, its application and some other directions are briefly described. The period from 2007 to 2010 was still difficult for Russian geodesy mainly due to the permanent reformation of state geodetic administration as well as state education structure and organization. The report is organized as a sequence of abstracts of principal publications and presentations for symposia, conferences, workshops, etc. Each of the report paragraphs includes a list of scientific papers published in 2007-2010 including those prepare...

  19. REVIEWSOF GEOPHYSICS,VOL. 25, NO. 2, PAGES153-161, MARCH1987 U.S. NATIONAL REPORT TO INTERNATIONAL UNION OF GEODESY AND GEOPHYSICS 1983-1986

    E-Print Network [OSTI]

    Dozier, Jeff

    REVIEWSOF GEOPHYSICS,VOL. 25, NO. 2, PAGES153-161, MARCH1987 U.S. NATIONAL REPORT TO INTERNATIONAL UNION OF GEODESY AND GEOPHYSICS 1983-1986 RecentResearchin SnowHydrology JEFF DOZIER Centerfor Remote thespectraldistri- butionof the incomingsolardirectanddiffuseirradianceand thespectralalbedo: Copyfight1987bytheAmericanGeophysical

  20. EU, Japan call for dialogue amid row on breakthrough nuclear project The European Union and Japan each called Wednesday for dialogue among the six partners on

    E-Print Network [OSTI]

    fusion in the hope of generating inexhaustible supplies of electricity. The site to be built in Cadarache, France or Rokkasho-mura, Japan is not expected to generate energy before 2050. The European Union has actionable. Radiochemistry Classes High quality training- Fundamentals, Nuclear, Actinide Chem & more

  1. UBC Social Ecological Economic Development Studies (SEEDS) Student Report An Investigation into A Grocery Store in the New Student Union Building

    E-Print Network [OSTI]

    UBC Social Ecological Economic Development Studies (SEEDS) Student Report An Investigation. CARLA PATERSON AND DR. NAOKO ELLIS An Investigation into A Grocery Store in the New Student Union will be operating a variety of food outlets, shops and services. A student grocery store has been proposed

  2. International Union of Air Pollution Prevention and Environmental Protection Associations (IUAPPA) Symposium and Korean Society for Atmospheric Environment (KOSAE) Symposium, 12th

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    International Union of Air Pollution Prevention and Environmental Protection Associations (IUAPPA enhancing benefits of a multi- disciplinary, multi-scale, multi-sensor approach of air pollution. hal) Symposium and Korean Society for Atmospheric Environment (KOSAE) Symposium, 12th World Clean Air

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

  4. Identification of Key Barriers in Workforce Development

    SciTech Connect (OSTI)

    2008-03-31

    This report documents the identification of key barriers in the development of an adequate national security workforce as part of the National Security Preparedness Project, being performed under a Department of Energy/National Nuclear Security Administration grant. Many barriers exist that prevent the development of an adequate number of propertly trained national security personnel. Some barriers can be eliminated in a short-term manner, whereas others will involve a long-term strategy that takes into account public policy.

  5. Event identification by acoustic signature recognition

    SciTech Connect (OSTI)

    Dress, W.B.; Kercel, S.W.

    1995-07-01

    Many events of interest to the security commnnity produce acoustic emissions that are, in principle, identifiable as to cause. Some obvious examples are gunshots, breaking glass, takeoffs and landings of small aircraft, vehicular engine noises, footsteps (high frequencies when on gravel, very low frequencies. when on soil), and voices (whispers to shouts). We are investigating wavelet-based methods to extract unique features of such events for classification and identification. We also discuss methods of classification and pattern recognition specifically tailored for acoustic signatures obtained by wavelet analysis. The paper is divided into three parts: completed work, work in progress, and future applications. The completed phase has led to the successful recognition of aircraft types on landing and takeoff. Both small aircraft (twin-engine turboprop) and large (commercial airliners) were included in the study. The project considered the design of a small, field-deployable, inexpensive device. The techniques developed during the aircraft identification phase were then adapted to a multispectral electromagnetic interference monitoring device now deployed in a nuclear power plant. This is a general-purpose wavelet analysis engine, spanning 14 octaves, and can be adapted for other specific tasks. Work in progress is focused on applying the methods previously developed to speaker identification. Some of the problems to be overcome include recognition of sounds as voice patterns and as distinct from possible background noises (e.g., music), as well as identification of the speaker from a short-duration voice sample. A generalization of the completed work and the work in progress is a device capable of classifying any number of acoustic events-particularly quasi-stationary events such as engine noises and voices and singular events such as gunshots and breaking glass. We will show examples of both kinds of events and discuss their recognition likelihood.

  6. Cascade Training Technique for Particle Identification

    E-Print Network [OSTI]

    Yong Liu; Ion Stancu

    2006-11-27

    The cascade training technique which was developed during our work on the MiniBooNE particle identification has been found to be a very efficient way to improve the selection performance, especially when very low background contamination levels are desired. The detailed description of this technique is presented here based on the MiniBooNE detector Monte Carlo simulations, using both artifical neural networks and boosted decision trees as examples.

  7. Ligand identification using electron-density mapcorrelations

    SciTech Connect (OSTI)

    Terwilliger, Thomas C.; Adams, Paul D.; Moriarty, Nigel W.; Cohn,Judith D.

    2006-12-01

    A procedure for the identification of ligands bound incrystal structuresof macromolecules is described. Two characteristics ofthe density corresponding to a ligand are used in the identificationprocedure. One is the correlation of the ligand density with each of aset of test ligands after optimization of the fit of that ligand to thedensity. The other is the correlation of a fingerprint of the densitywith the fingerprint of model density for each possible ligand. Thefingerprints consist of an ordered list of correlations of each the testligands with the density. The two characteristics are scored using aZ-score approach in which the correlations are normalized to the mean andstandard deviation of correlations found for a variety of mismatchedligand-density pairs, so that the Z scores are related to the probabilityof observing a particular value of the correlation by chance. Theprocedure was tested with a set of 200 of the most commonly found ligandsin the Protein Data Bank, collectively representing 57 percent of allligands in the Protein Data Bank. Using a combination of these twocharacteristics of ligand density, ranked lists of ligand identificationswere made for representative (F-o-F-c) exp(i phi(c)) difference densityfrom entries in the Protein Data Bank. In 48 percent of the 200 cases,the correct ligand was at the top of the ranked list of ligands. Thisapproach may be useful in identification of unknown ligands in newmacromolecular structures as well as in the identification of whichligands in a mixture have bound to a macromolecule.

  8. September 1 , 2012 -June 30, 2015 Agreement Botween

    E-Print Network [OSTI]

    |VES................ .................................6 ARTICLE IV- UNION SECURIryAND POLITICAL CHECK-OFF.. ..........7 ARTTCLE V - NO STRTKE OR LOCKOUT

  9. In Silico Identification Software (ISIS): A Machine Learning Approach to Tandem Mass Spectral Identification of Lipids

    SciTech Connect (OSTI)

    Kangas, Lars J.; Metz, Thomas O.; Isaac, Georgis; Schrom, Brian T.; Ginovska-Pangovska, Bojana; Wang, Luning; Tan, Li; Lewis, Robert R.; Miller, John H.

    2012-05-15

    Liquid chromatography-mass spectrometry-based metabolomics has gained importance in the life sciences, yet it is not supported by software tools for high throughput identification of metabolites based on their fragmentation spectra. An algorithm (ISIS: in silico identification software) and its implementation are presented and show great promise in generating in silico spectra of lipids for the purpose of structural identification. Instead of using chemical reaction rate equations or rules-based fragmentation libraries, the algorithm uses machine learning to find accurate bond cleavage rates in a mass spectrometer employing collision-induced dissocia-tion tandem mass spectrometry. A preliminary test of the algorithm with 45 lipids from a subset of lipid classes shows both high sensitivity and specificity.

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

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

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

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

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

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

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

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

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

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

  20. Visions of Future Intelligent Power Grids: Synergies for Collaboration Between the European Union and the United States

    SciTech Connect (OSTI)

    Coll-Mayor, Debora; Paget, Mia L.; Lightner, Eric M.; Sanchez-Jimenez, Manuel

    2007-01-01

    The future of power grids is expected to involve an increasing level of intelligence and integration of new information and communication technologies in every aspect of the electricity system, from demand-side devices to wide-scale distributed generation to a variety of energy markets. The vision of this future in the United States and the European Union is known as GridWiseTM and SmartGrid, respectively. The results of the examination of similarities and complementarities of the two research programs are presented in this paper. Within the framework of a solid precedence for trans-Atlantic cooperation in energy research, the time would seem optimal to set in motion active collaboration and educational exchange on GridWise and SmartGrid research. This paper will provide energy professionals with a comparison of the solutions developed in each case, to be aware of trans-Atlantic approaches, opportunities, and resources looking toward future, more intelligent and interconnected power grids.

  1. Identification of high angle structures controlling the geothermal...

    Open Energy Info (EERE)

    Identification of high angle structures controlling the geothermal system at Rye Patch, Nevada Jump to: navigation, search OpenEI Reference LibraryAdd to library Conference Paper:...

  2. TRACE IDENTIFICATION OF CESIUM AND SODIUM IN NEUTRAL BEAM RESEARCH

    E-Print Network [OSTI]

    Ruby, L.

    2010-01-01

    TRACE IDENTIFICATION OF CESIUM AND Lawrence Ruby LawrenceBerkeley, California 94720 Cesium and sodium in vapor formthe extent to which the cesium and sodium migrate in the

  3. Identification of Low Emissions Agricultural Pathways and Priorities...

    Open Energy Info (EERE)

    Identification of Low Emissions Agricultural Pathways and Priorities for Mitigation in Agricultural Landscapes using Integrated Assessment Modeling and Scenarios Jump to:...

  4. RESEARCH PAPER Identification of loci affecting flavour volatile emissions in

    E-Print Network [OSTI]

    Klee, Harry J.

    RESEARCH PAPER Identification of loci affecting flavour volatile emissions in tomato fruits Denise shown that emissions of carotenoid-derived volatiles were directly correlated with the fruit carotenoid

  5. The Hydrogen Corrosion of Uranium: Identification of Underlying...

    Office of Scientific and Technical Information (OSTI)

    The Hydrogen Corrosion of Uranium: Identification of Underlying Causes and Proposed Mitigation Strategies Citation Details In-Document Search Title: The Hydrogen Corrosion of...

  6. Identification of new turbulence contributions to plasma transport...

    Office of Scientific and Technical Information (OSTI)

    Identification of new turbulence contributions to plasma transport and confinement in spherical tokamak regime Citation Details In-Document Search This content will become publicly...

  7. Identification of host response signatures of infection.

    SciTech Connect (OSTI)

    Branda, Steven S.; Sinha, Anupama; Bent, Zachary

    2013-02-01

    Biological weapons of mass destruction and emerging infectious diseases represent a serious and growing threat to our national security. Effective response to a bioattack or disease outbreak critically depends upon efficient and reliable distinguishing between infected vs healthy individuals, to enable rational use of scarce, invasive, and/or costly countermeasures (diagnostics, therapies, quarantine). Screening based on direct detection of the causative pathogen can be problematic, because culture- and probe-based assays are confounded by unanticipated pathogens (e.g., deeply diverged, engineered), and readily-accessible specimens (e.g., blood) often contain little or no pathogen, particularly at pre-symptomatic stages of disease. Thus, in addition to the pathogen itself, one would like to detect infection-specific host response signatures in the specimen, preferably ones comprised of nucleic acids (NA), which can be recovered and amplified from tiny specimens (e.g., fingerstick draws). Proof-of-concept studies have not been definitive, however, largely due to use of sub-optimal sample preparation and detection technologies. For purposes of pathogen detection, Sandia has developed novel molecular biology methods that enable selective isolation of NA unique to, or shared between, complex samples, followed by identification and quantitation via Second Generation Sequencing (SGS). The central hypothesis of the current study is that variations on this approach will support efficient identification and verification of NA-based host response signatures of infectious disease. To test this hypothesis, we re-engineered Sandia's sophisticated sample preparation pipelines, and developed new SGS data analysis tools and strategies, in order to pioneer use of SGS for identification of host NA correlating with infection. Proof-of-concept studies were carried out using specimens drawn from pathogen-infected non-human primates (NHP). This work provides a strong foundation for large-scale, highly-efficient efforts to identify and verify infection-specific host NA signatures in human populations.

  8. System Identification of Civil Engineering Structures through Wireless Structural Monitoring and Subspace System Identification Methods

    E-Print Network [OSTI]

    Lynch, Jerome P.

    System Identification of Civil Engineering Structures through Wireless Structural Monitoring of the requirements for the degree of Doctor of Philosophy (Civil Engineering) in The University of Michigan 2011 engineers; amazingly, there were many keys which unlocked many civil engineering problems. All achievements

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

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

  11. GUIDELINES FOR THE IDENTIFICATION AND MANAGEMENT OF LEAD EXPOSURE IN

    E-Print Network [OSTI]

    GUIDELINES FOR THE IDENTIFICATION AND MANAGEMENT OF LEAD EXPOSURE IN PREGNANT AND LACTATING WOMEN;GUIDELINES FOR THE IDENTIFICATION AND MANAGEMENT OF LEAD EXPOSURE IN PREGNANT AND LACTATING WOMEN and Disease Registry Christopher Portier, PhD Director Healthy Homes and Lead Poisoning

  12. Understanding Design Concept Identification Ivey Chiu, Filippo A. Salustri

    E-Print Network [OSTI]

    Salustri, Filippo A.

    , bioinformatics and education. In this paper, we explore the process of design concept identification and addressUnderstanding Design Concept Identification Ivey Chiu, Filippo A. Salustri Ryerson University, Toronto, Ontario, Canada In the design literature, the term design concept is often used de facto

  13. Robust Subspace System Identification via Weighted Nuclear Norm Optimization

    E-Print Network [OSTI]

    Seshia, Sanjit A.

    Robust Subspace System Identification via Weighted Nuclear Norm Optimization Dorsa Sadigh Henrik via the nuclear norm relaxation. Inspired by robust PCA, we extend this framework to handle outliers, outliers, nuclear norm, sparsity, robust PCA. 1. INTRODUCTION Subspace system identification is a well

  14. A METHODOLOGY FOR IDENTIFICATION OF NARMAX MODELS APPLIED TO DIESEL

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    A METHODOLOGY FOR IDENTIFICATION OF NARMAX MODELS APPLIED TO DIESEL ENGINES 1 Gianluca Zito ,2 Ioan is illustrated by means of an automotive case study, namely a variable geometry turbocharged diesel engine identification procedure is illustrated. In section 3 a diesel engine system, used to test the procedure

  15. Symbolic identification for fault detection in aircraft gas turbine engines

    E-Print Network [OSTI]

    Ray, Asok

    Symbolic identification for fault detection in aircraft gas turbine engines S Chakraborty, S Sarkar and computationally inexpensive technique of component-level fault detection in aircraft gas-turbine engines identification, gas turbine engines, language-theoretic analysis 1 INTRODUCTION The propulsion system of modern

  16. Preprint Version Distributed Target Identification in Robotic Swarms

    E-Print Network [OSTI]

    Preprint Version Distributed Target Identification in Robotic Swarms Paolo Stegagno Max Planck of a multi-robot team able to interact with the environment. In most existing systems, the identification systems, constituted by a multitude of small robots with limited sensing and computational capa- bilities

  17. Identification of Human Gene Core Promoters Michael Q. Zhang1

    E-Print Network [OSTI]

    supplement at http://www.genome.org.] As the Human Genome Project enters its large-scale sequencing phaseIdentification of Human Gene Core Promoters in Silico Michael Q. Zhang1 Cold Spring Harbor Laboratory, Cold Spring Harbor, New York 11724 USA Identification of the 5 -end of human genes requires

  18. System Identification and Modelling of a High Performance Hydraulic Actuator

    E-Print Network [OSTI]

    Hayward, Vincent

    System Identification and Modelling of a High Performance Hydraulic Actuator Benoit Boulet, Laeeque with the experimental identification and modelling of the nonlinear dynamics ofa high performance hydraulic actuator. The actuator properties and performance are also discussed. 1 Introduction Hydraulic actuation used to be

  19. Forensic Bite Mark Identification Using Image Processing Glenn Flora

    E-Print Network [OSTI]

    Tuceryan, Mihran

    of candidate dental models. The results are compared to identification results by human forensic odontologyForensic Bite Mark Identification Using Image Processing Methods Glenn Flora Department of Computer@iupui.edu Herb Blitzer Indiana Forensic Institute 338 South Arlington Ave, Suite 111 Indianapolis, IN 46219, USA

  20. Automated Identification and Characterization of Landforms on Mars

    E-Print Network [OSTI]

    Stepinski, Tomasz F.

    identification of craters from topography. · Overview: Towards global catalog of craters > 3 km. · Focus on Southern hemisphere · Application to distribution of ground water Machine identification of sub well on all types of Martian surfaces. · Fast, permitting generating a catalog of craters over

  1. Optical fuel pin scanner. [Patent application; for reading identifications

    DOE Patents [OSTI]

    Kirchner, T.L.; Powers, H.G.

    1980-12-09

    This patent relates to an optical identification system developed for post-irradiation disassembly and analysis of fuel bundle assemblies. The apparatus is designed to be lowered onto a stationary fuel pin to read identification numbers or letters imprinted on the circumference of the top fuel pin and cap. (DLC)

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

  3. The early identification and documentation of crosscutting concerns enables better change management and traceability

    E-Print Network [OSTI]

    Abstract The early identification and documentation of crosscutting concerns enables better change management and traceability of requirements. Moreover, this also improves the early identification

  4. Damage Identification of a Composite Beam Using Finite Element Model Updating

    E-Print Network [OSTI]

    Moaveni, Babak; He, Xianfei; Conte, Joel P; De Callafon, Raymond A.

    2008-01-01

    Shevitz, D. W. (1996), Damage identification in structuresreview of vibration-based damage identification methods, TheM. , & Samman, M. M. (1991), Damage detection from changes

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

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

  7. Early Identification of Violent Criminal Gang Members

    E-Print Network [OSTI]

    Shaabani, Elham; Shakarian, Paulo; Bertetto, John

    2015-01-01

    Gang violence is a major problem in the United States accounting for a large fraction of homicides and other violent crime. In this paper, we study the problem of early identification of violent gang members. Our approach relies on modified centrality measures that take into account additional data of the individuals in the social network of co-arrestees which together with other arrest metadata provide a rich set of features for a classification algorithm. We show our approach obtains high precision and recall (0.89 and 0.78 respectively) in the case where the entire network is known and out-performs current approaches used by law-enforcement to the problem in the case where the network is discovered overtime by virtue of new arrests - mimicking real-world law-enforcement operations. Operational issues are also discussed as we are preparing to leverage this method in an operational environment.

  8. Model Identification for Optimal Diesel Emissions Control

    SciTech Connect (OSTI)

    Stevens, Andrew J.; Sun, Yannan; Song, Xiaobo; Parker, Gordon

    2013-06-20

    In this paper we develop a model based con- troller for diesel emission reduction using system identification methods. Specifically, our method minimizes the downstream readings from a production NOx sensor while injecting a minimal amount of urea upstream. Based on the linear quadratic estimator we derive the closed form solution to a cost function that accounts for the case some of the system inputs are not controllable. Our cost function can also be tuned to trade-off between input usage and output optimization. Our approach performs better than a production controller in simulation. Our NOx conversion efficiency was 92.7% while the production controller achieved 92.4%. For NH3 conversion, our efficiency was 98.7% compared to 88.5% for the production controller.

  9. Cell shape identification using digital holographic microscopy

    E-Print Network [OSTI]

    Zakrisson, Johan; Andersson, Magnus

    2015-01-01

    We present a cost-effective, simple and fast digital holographic microscopy method based upon Rayleigh-Sommerfeld back propagation for identification of the geometrical shape of a cell. The method was tested using synthetic hologram images generated by ray-tracing software and from experimental images of semi-transparent spherical beads and living red blood cells. Our results show that by only using the real part of the back-reconstructed amplitude the proposed method can provide information of the geometrical shape of the object and at the same time accurately determine the axial position of the object under study. The proposed method can be used in flow chamber assays for pathophysiological studies where fast morphological changes of cells are studied in high numbers and at different heights.

  10. Identification marking by means of laser peening

    DOE Patents [OSTI]

    Hackel, Lloyd A. (Livermore, CA); Dane, C. Brent (Livermore, CA); Harris, Fritz (Rocklin, CA)

    2002-01-01

    The invention is a method and apparatus for marking components by inducing a shock wave on the surface that results in an indented (strained) layer and a residual compressive stress in the surface layer. One embodiment of the laser peenmarking system rapidly imprints, with single laser pulses, a complete identification code or three-dimensional pattern and leaves the surface in a state of deep residual compressive stress. A state of compressive stress in parts made of metal or other materials is highly desirable to make them resistant to fatigue failure and stress corrosion cracking. This process employs a laser peening system and beam spatial modulation hardware or imaging technology that can be setup to impress full three dimensional patterns into metal surfaces at the pulse rate of the laser, a rate that is at least an order of magnitude faster than competing marking technologies.

  11. System identification for passive linear quantum systems

    E-Print Network [OSTI]

    Madalin Guta; Naoki Yamamoto

    2014-08-27

    System identification is a key enabling component for the implementation of quantum technologies, including quantum control. In this paper, we consider the class of passive linear input-output systems, and investigate several basic questions: (1) which parameters can be identified? (2) Given sufficient input-output data, how do we reconstruct system parameters? (3) How can we optimize the estimation precision by preparing appropriate input states and performing measurements on the output? We show that minimal systems can be identified up to a unitary transformation on the modes, and systems satisfying a Hamiltonian connectivity condition called "infecting" are completely identifiable. We propose a frequency domain design based on a Fisher information criterion, for optimizing the estimation precision for coherent input state. As a consequence of the unitarity of the transfer function, we show that the Heisenberg limit with respect to the input energy can be achieved using non-classical input states.

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

  13. Agreement Type Union

    National Nuclear Security Administration (NNSA)

    Plasterers and Cement Mason International Association 1 International Brotherhood of Electrical Workers 396 6 International Brotherhood of Electrical Workers 357 50 International...

  14. Agreement Type Union

    National Nuclear Security Administration (NNSA)

    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 NaturalDukeWakefield Municipal Gas &SCE-SessionsSouthReporteeo | National Nucleara min [Type the abstract of theType

  15. at American Geophysical Union

    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 AdministrationRobust,Field-effectWorkingLos Alamos verifiesValidation ofUV-RSS SpectralGOESashleye1FebruaryMars

  16. Algorithms for the Automatic Identification of MARFEs and UFOs in JET Database of Visible Camera Videos

    E-Print Network [OSTI]

    Algorithms for the Automatic Identification of MARFEs and UFOs in JET Database of Visible Camera Videos

  17. Communications device identification methods, communications methods, wireless communications readers, wireless communications systems, and articles of manufacture

    SciTech Connect (OSTI)

    Steele, Kerry D [Kennewick, WA; Anderson, Gordon A [Benton City, WA; Gilbert, Ronald W [Morgan Hill, CA

    2011-02-01

    Communications device identification methods, communications methods, wireless communications readers, wireless communications systems, and articles of manufacture are described. In one aspect, a communications device identification method includes providing identification information regarding a group of wireless identification devices within a wireless communications range of a reader, using the provided identification information, selecting one of a plurality of different search procedures for identifying unidentified ones of the wireless identification devices within the wireless communications range, and identifying at least some of the unidentified ones of the wireless identification devices using the selected one of the search procedures.

  18. An Overlapping Domain Decomposition Method for Parameter Identification Problems

    E-Print Network [OSTI]

    Cai, Xiao-Chuan

    An Overlapping Domain Decomposition Method for Parameter Identification Problems Xiao-Chuan Cai1 by the Hong Kong RGC grant, Project 404105. #12;2 Xiao-Chuan Cai, Si Liu, and Jun Zou which is usually

  19. Integrated transcription and identification of named entities in broadcast speech. 

    E-Print Network [OSTI]

    Renals, Steve; Gotoh, Yoshihiko

    1999-01-01

    This paper presents an approach to integrating functions for both transcription and named entity (NE) identification into a large vocabulary continuous speech recognition system. It builds on NE tagged language modelling ...

  20. Radio frequency identification (RFID) applications in semiconductor manufacturing

    E-Print Network [OSTI]

    Cassett, David Ian, 1971-

    2004-01-01

    Radio frequency identification (RFID) has an enormous potential impact within the semiconductor supply chain, especially within semiconductor manufacturing. The end benefit of RFID will be in the mass serialization, and ...

  1. FREQUENCY DOMAIN SYSTEM IDENTIFICATION OF A LIGHT HELICOPTER IN HOVER

    E-Print Network [OSTI]

    the identification and show good predictive capabilities. From the results it is possible to conclude of the project, partic- ularly on the implementation of a MISO (Multi Input Single Output) fully coupled transfer

  2. Seismic Facies Classification And Identification By Competitive Neural Networks

    E-Print Network [OSTI]

    Saggaf, Muhammad M.

    2000-01-01

    We present an approach based on competitive networks for the classification and identification of reservoir facies from seismic data. This approach can be adapted to perform either classification of the seismic facies based ...

  3. Identification of chemical hazards for security risk analysis activities.

    SciTech Connect (OSTI)

    Jaeger, Calvin Dell

    2005-01-01

    The presentation outline of this paper is: (1) How identification of chemical hazards fits into a security risk analysis approach; (2) Techniques for target identification; and (3) Identification of chemical hazards by different organizations. The summary is: (1) There are a number of different methodologies used within the chemical industry which identify chemical hazards: (a) Some develop a manual listing of potential targets based on published lists of hazardous chemicals or chemicals of concern, 'expert opinion' or known hazards. (b) Others develop a prioritized list based on chemicals found at a facility and consequence analysis (offsite release affecting population, theft of material, product tampering). (2) Identification of chemical hazards should include not only intrinsic properties of the chemicals but also potential reactive chemical hazards and potential use for activities off-site.

  4. Nonlinear stochastic system identification techniques for biological tissues/

    E-Print Network [OSTI]

    Chen, Yi, S.M. Massachusetts Institute of Technology

    2010-01-01

    This research develops a device capable of measuring the nonlinear dynamic mechanical properties of human tissue in vivo. The enabling technology is the use of nonlinear stochastic system identification techniques in ...

  5. Identification and Estimation of a Discrete Game of Complete Information

    E-Print Network [OSTI]

    Bajari, Patrick

    We discuss the identification and estimation of discrete games of complete information. Following Bresnahan and Reiss (1990, 1991), a discrete game is a generalization of a standard discrete choice model where utility ...

  6. Live Video Forensics: Source Identification in Lossy Wireless Networks

    E-Print Network [OSTI]

    Mohapatra, Prasant

    opens doors for propagation of illegal or inappropriate materials, such as the video containing child porn or racial hatred. Video source identification can be used to regulate individual video sources [2

  7. Video Source Identification in Lossy Wireless Networks Shaxun Chen

    E-Print Network [OSTI]

    Mohapatra, Prasant

    opens doors for propagation of illegal or inappropriate materials, such as the video including child porn or racial hatred. Video source identification can be used to regulate the individual video sources

  8. Hazardous Material Identification With StreetLab Mobile | GE...

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

    Hazardous Material Identification With StreetLab Mobile Click to email this to a friend (Opens in new window) Share on Facebook (Opens in new window) Click to share (Opens in new...

  9. GUIDE FOR IDENTIFICATION OF IMPORTANT DISEASES IN STRAWBERRY IN CALIFORNIA

    E-Print Network [OSTI]

    Ullrich, Paul

    GUIDE FOR IDENTIFICATION OF IMPORTANT DISEASES IN STRAWBERRY IN CALIFORNIA Anthracnose Angular Leaf on the underside of the leaf is one of the most recognizable signs of bacterial infection on strawberry leaves

  10. Fluor Daniel Hanford contract standards/requirements identification document

    SciTech Connect (OSTI)

    Bennett, G.L.

    1997-04-24

    This document, the Standards/Requirements Identification Document (S/RID) for the Fluor Daniel Hanford Contract, represents the necessary and sufficient requirements to provide an adequate level of protection of the worker, public health and safety, and the environment.

  11. RICH particle identification at the present and future LHCb experiment 

    E-Print Network [OSTI]

    Kim, Graham Young-Min

    2011-06-27

    LHCb is a high-precision experiment for the study of CP violation and rare decays in B physics. It has two Ring Imaging Cherenkov (RICH) counters for particle identification. The RICH system uses Hybrid Photon Detectors (HPD) ...

  12. Identification of performance indicators for nuclear power plants

    E-Print Network [OSTI]

    Sui, Yu, 1973-

    2001-01-01

    Performance indicators have been assuming an increasingly important role in the nuclear industry. An integrated methodology is proposed in this research for the identification and validation of performance indicators for ...

  13. Computational identification and evolutionaty enalysis of metazoan micrornas 

    E-Print Network [OSTI]

    Anzola Lagos, Juan Manuel

    2009-05-15

    identified and characterized ultraconserved regions between the genomes of the honey bee (Apis mellifera) and the parasitic wasp (Nasonia vitripennis), and developed a strategy for the identification of microRNAs based on regions of ultraconservation...

  14. Star-ND (Multi-Dimensional Star-Identification

    E-Print Network [OSTI]

    Spratling, Benjamin

    2012-07-16

    of iterations of the run-time algorithm. The associated algorithms, star pattern parameters, and database preparation are collectively referred to as Multi-dimensional Star-Identification (Star-ND). The star pattern parameters developed may also be extended...

  15. Weak Identification in Maximum Likelihood: A Question of Information

    E-Print Network [OSTI]

    Andrews, Isaiah

    In this paper we connect the discrepancy between two estimates of Fisher information, one based on the quadratic variation of the score and the other based on the negative Hessian of the log-likelihood, to weak identification. ...

  16. Alternative Methods for Human Identification: Mitochondrial DNA Base Composition Profiling

    E-Print Network [OSTI]

    Applied Genetics Alternative Methods for Human Identification: Mitochondrial DNA Base Composition · Evaluation Experiments · Future directions #12;Applied Genetics Mitochondrial DNA · Mitochondria are organelles within cells ­ Produce energy via the Krebs Cycle · Separate genome from the nucleus ­ 16,569 bp

  17. Interactive software for model predictive control with simultaneous identification 

    E-Print Network [OSTI]

    Echeverria Del Rio, Pablo

    2000-01-01

    This thesis is a unified practical framework in the theory of Model Predictive Control with Simultaneous Identification. The ability to change and visualize parameters on-line makes this toolbox attractive for control ...

  18. Evaluation of Kernal Methods for Speaker Verification and Identification 

    E-Print Network [OSTI]

    Wan, Vincent; Renals, Steve

    Support vector machines are evaluated on speaker verification and speaker identification tasks. We compare the polynomial kernel, the Fisher kernel, a likelihood ratio kernel and the pair hidden Markov model kernel with ...

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

  20. Isolation and identification of a toxic metabolite of Phomopsis sp. 

    E-Print Network [OSTI]

    Samples, Daniel Robert

    1982-01-01

    ISOLATION AND IDENTIFICATION OF A TOXIC MEl'ABOLITE OF PHOMOPSIS SP. A Thesis by DANIEL ROBERT SAMPLES Submitted to the Graduate College of' Texas A&B University in partial fulfillment of the requirement for the degree of MASTER OF SCIENCE... MAY 1982 Major Subject~ Veterinary Toxicology ISOLATION AND IDENTIFICATION OF A TOXIC METABOLITE OF PHOMOPSIS SP. A Thesis by DANIEL ROBERT SAMPLES Approved as to style and content by: (Chairman of Committee) (Membe (Mem ) (Head of Departme t...

  1. Geophysical subsurface imaging and interface identification.

    SciTech Connect (OSTI)

    Pendley, Kevin; Bochev, Pavel Blagoveston; Day, David Minot; Robinson, Allen Conrad; Weiss, Chester Joseph

    2005-09-01

    Electromagnetic induction is a classic geophysical exploration method designed for subsurface characterization--in particular, sensing the presence of geologic heterogeneities and fluids such as groundwater and hydrocarbons. Several approaches to the computational problems associated with predicting and interpreting electromagnetic phenomena in and around the earth are addressed herein. Publications resulting from the project include [31]. To obtain accurate and physically meaningful numerical simulations of natural phenomena, computational algorithms should operate in discrete settings that reflect the structure of governing mathematical models. In section 2, the extension of algebraic multigrid methods for the time domain eddy current equations to the frequency domain problem is discussed. Software was developed and is available in Trilinos ML package. In section 3 we consider finite element approximations of De Rham's complex. We describe how to develop a family of finite element spaces that forms an exact sequence on hexahedral grids. The ensuing family of non-affine finite elements is called a van Welij complex, after the work [37] of van Welij who first proposed a general method for developing tangentially and normally continuous vector fields on hexahedral elements. The use of this complex is illustrated for the eddy current equations and a conservation law problem. Software was developed and is available in the Ptenos finite element package. The more popular methods of geophysical inversion seek solutions to an unconstrained optimization problem by imposing stabilizing constraints in the form of smoothing operators on some enormous set of model parameters (i.e. ''over-parametrize and regularize''). In contrast we investigate an alternative approach whereby sharp jumps in material properties are preserved in the solution by choosing as model parameters a modest set of variables which describe an interface between adjacent regions in physical space. While still over-parametrized, this choice of model space contains far fewer parameters than before, thus easing the computational burden, in some cases, of the optimization problem. And most importantly, the associated finite element discretization is aligned with the abrupt changes in material properties associated with lithologic boundaries as well as the interface between buried cultural artifacts and the surrounding Earth. In section 4, algorithms and tools are described that associate a smooth interface surface to a given triangulation. In particular, the tools support surface refinement and coarsening. Section 5 describes some preliminary results on the application of interface identification methods to some model problems in geophysical inversion. Due to time constraints, the results described here use the GNU Triangulated Surface Library for the manipulation of surface meshes and the TetGen software library for the generation of tetrahedral meshes.

  2. Computer systems for photo-identification and theodolite tracking of cetaceans 

    E-Print Network [OSTI]

    Gailey, Glenn Andrew

    2001-01-01

    Two separate computer-based systems were evaluated for two different methodological techniques (photo-identification and theodolite tracking) of cetacean research. The photo-identification program, Finscan, was evaluated ...

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

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

  5. MUSIC IDENTIFICATION WITH WEIGHTED FINITE-STATE TRANSDUCERS Eugene Weinstein 1,2

    E-Print Network [OSTI]

    Cortes, Corinna

    MUSIC IDENTIFICATION WITH WEIGHTED FINITE-STATE TRANSDUCERS Eugene Weinstein 1,2 and Pedro Moreno 1 Mercer Street, New York, NY 10012. ABSTRACT Music identification is the process of matching an audio approach to music identification based on finite-state transducers and Gaussian mixture models. We ap- ply

  6. Identification of Chinese Personal Names in Unrestricted Texts. Lawrence CHEUNG, Benjamin K. TSOU

    E-Print Network [OSTI]

    Identification of Chinese Personal Names in Unrestricted Texts. Lawrence CHEUNG, Benjamin K. TSOU Automatic identification of Chinese personal names in unrestricted texts is a key task in Chinese word, if it is not properly addressed. This paper (1) demonstrates the problems of Chinese personal name identification

  7. Investigating Open-World Person Re-identification Using a Drone

    E-Print Network [OSTI]

    Gong, Shaogang

    Investigating Open-World Person Re-identification Using a Drone Ryan Layne, Timothy M. Hospedales-identification on a mobile platform, such as a drone. We formalise some variants of the standard formulation for re-identification generalises to mobile surveillance platforms as realised by quadrocopter drones [6]. Despite the successes

  8. Non-Cryptographic Authentication and Identification in Wireless Networks

    E-Print Network [OSTI]

    California at Davis, University of

    1 Non-Cryptographic Authentication and Identification in Wireless Networks Kai Zeng, Kannan considered as potential alternatives/complements to provide security services in wireless networks identi- fication in wireless networks using lower/physical layer properties or information. We discuss

  9. Noise as a Tool for Spoken Language Identification Sunita Maithani

    E-Print Network [OSTI]

    Noise as a Tool for Spoken Language Identification . Sunita Maithani Scientific Analysis Group@yahoo.com Abstract Segmental SNR (Signal to Noise Ratio) is considered to be a reasonable measure due to noise. Objective Measures such as Log Area Ratio (LAR), Itakura-Saitio Distortion (IS), Log

  10. SHADOW IDENTIFICATION AND CLASSIFICATION USING INVARIANT COLOR MODELS

    E-Print Network [OSTI]

    Cavallaro, Andrea

    SHADOW IDENTIFICATION AND CLASSIFICATION USING INVARIANT COLOR MODELS Elena Salvador, Andrea in digital images. The proce- dure is divided into two levels: first, shadow candidate regions are extracted of the classification stage. Experimental results show that the method succeeds in detecting and classifying shadows

  11. INSTRUMENT IDENTIFICATION IN POLYPHONIC MUSIC SIGNALS BASED ON INDIVIDUAL PARTIALS

    E-Print Network [OSTI]

    Tzanetakis, George

    INSTRUMENT IDENTIFICATION IN POLYPHONIC MUSIC SIGNALS BASED ON INDIVIDUAL PARTIALS Jayme Garcia of Victoria Department of Computer Science Victoria, BC, Canada ABSTRACT A new approach to instrument the concurrently played instrument sounds have a high degree of spec- tral overlapping. A pairwise comparison

  12. BROADBAND IDENTIFICATION OF BATTERY ELECTRICAL IMPEDANCE FOR HEV

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    battery performances and assessment of its condition in order to increase the reliability of EV and HEVBROADBAND IDENTIFICATION OF BATTERY ELECTRICAL IMPEDANCE FOR HEV R. Al-Nazer, V. Cattin, M. Montaru ­ CEA LETI/LITEN; P. Granjon ­ GIPSA-Lab; Abstract -- In recent years, Li-ion batteries have been

  13. ORIGINAL ARTICLE Identification and functional characterization of the distinct plant

    E-Print Network [OSTI]

    Pauly, Markus

    ORIGINAL ARTICLE Identification and functional characterization of the distinct plant pectin their physical properties such as gelling capacity, an important trait for the food industry. In order to gain to investigate the function of genes that are members of the Pectin AcetylEsterase gene family (PAE

  14. FAILURE BEHAVIOR IDENTIFICATION FOR A SPACE ANTENNA VIA NEURAL NETWORKS

    E-Print Network [OSTI]

    Antsaklis, Panos

    FAILURE BEHAVIOR IDENTIFICATION FOR A SPACE ANTENNA VIA NEURAL NETWORKS Michcl A. Sartoi David Taylo Research Center Code 1941 BeteA Mayln 200845000 ABSTRACT Using neural networks, a method-layer perceptron, the second uses a multi-layer perceptron and neural networks trained with the quadratic

  15. Instrumental Variables and the Search for Identification: From Supply and

    E-Print Network [OSTI]

    Ahmad, Sajjad

    and demand for flaxseed, the source of linseed oil.2 Wright noted the difficulty of obtaining estimatesInstrumental Variables and the Search for Identification: From Supply and Demand to Natural variables involved attempts to estimate demand and supply curves.1 Economists such as P.G. Wright, Henry

  16. SPARSE LMS FOR SYSTEM IDENTIFICATION Yilun Chen1

    E-Print Network [OSTI]

    Hero, Alfred O.

    SPARSE LMS FOR SYSTEM IDENTIFICATION Yilun Chen1 , Yuantao Gu2 , Alfred O. Hero III1 1 Department, common in compressive sensing, to improve the performance of LMS-type adaptive methods. This results in two new algorithms, the Zero-Attracting LMS (ZA-LMS) and the Reweighted Zero- Attracting LMS (RZA-LMS

  17. The identification and biogeochemical interpretation of fossil magnetotactic bacteria

    E-Print Network [OSTI]

    Kirschvink, Joseph L.

    The identification and biogeochemical interpretation of fossil magnetotactic bacteria Robert E. Available online 14 August 2007. Abstract Magnetotactic bacteria, which most commonly live within the oxic, specifically magnetite or greigite. The crystals cause the bacteria to orient themselves passively with respect

  18. Reweighted Nuclear Norm Minimization with Application to System Identification

    E-Print Network [OSTI]

    Fazel, Maryam

    Reweighted Nuclear Norm Minimization with Application to System Identification Karthik Mohan nuclear norm minimization, we propose an efficient gradient-based implementation that takes advantage that the reweighted nuclear norm min- imization makes model order selection easier and results in lower order models

  19. Ductile damage parameters identification for cold metal forming applications

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Ductile damage parameters identification for cold metal forming applications Pierre damage mechanics is essential to predict failure during cold metal forming applications. Several damage models can be found in the literature. These damage models are coupled with the mechanical behavior so

  20. Identification of reactor vessel failures using spatiotemporal neural networks

    SciTech Connect (OSTI)

    Roh, C.H.; Chang, H.S.; Kim, H.G.; Chang, S.H. [Korea Advanced Inst. of Science and Technology, Taejon (Korea, Republic of). Dept. of Nuclear Engineering

    1996-12-01

    Identification of vessel failures provides operators and technical support center personnel with important information to manage severe accidents in a nuclear power plant. It may be very difficult, however, for operators to identify a reactor vessel failure simply by watching temporal trends of some parameters because they have not experienced severe accidents. Therefore, the authors propose a methodology on the identification of pressurized water reactor (PWR) vessel failure for severe accident management using spatiotemporal neural network (STN). STN can deal directly with the spatial and temporal aspects of input signals and can well identify a time-varying problem. Target patterns of seven parameter signals were generated for training the network from the modular accident in nuclear power plants. They integrated MAAP code with STN in on-line system to mimic real accident situation in nuclear power plants. Using new pattern of signals that had never been used for training, the identification capability of STN was tested in a real-time manner. At the tests, STN developed in this study demonstrated acceptable performance in identifying the occurrence of a vessel failure. It is found that STN techniques can be extended to the identification of other key events such as onset of core uncovery, coremelt initiation, containment failure, etc.