National Library of Energy BETA

Sample records for import terminal located

  1. Analysis of LNG import terminal release prevention systems

    SciTech Connect (OSTI)

    Baker, E G

    1982-04-01

    The release prevention systems of liquefied natural gas (LNG) import terminal were analyzed. A series of potential release scenarios were analyzed to determine the frequency of the release events, the probability these releases are not stopped or isolated by emergency shutdown systems, the estimated release quantities, and the critical components of the system. The two plant areas identified as being most significant with respect to safety are the unloading system and the storage system. Rupture of the main transfer line and gross failure of the storage tanks are the two release scenarios of primary safety interest. Reducing the rate of failure by improved design, better maintenance and testing, or adding redundancy of the critical system components for these plant areas and release scenarios will result in improved safety. Several design alternatives which have the potential to significantly reduce the probability of a large release of LNG occurring at an import terminal are identified. These design alternatives would reduce the probability of a large release of LNG by reducing the expected number of failures which could cause a release or by reducing the magnitude of releases that do occur. All of these alternatives are technically feasible and have been used or considered for use in at least one LNG facility. A more rigorous analysis of the absolute risk of LNG import terminal operation is necessary before the benefits of these design alternatives can be determined. In addition, an economic evaluation of these alternatives must be made so the costs and benefits can be compared. It is concludd that for remotely located facilities many of these alternatives are probably not justified; however, for facilities located in highly populated areas, these alternatives deserve serious consideration.

  2. Bayesian-lopa methodology for risk assessment of an LNG importation terminal 

    E-Print Network [OSTI]

    Yun, Geun-Woong

    2009-05-15

    LNG (Liquefied Natural Gas) is one of the fastest growing energy sources in the U.S. to fulfill the increasing energy demands. In order to meet the LNG demand, many LNG facilities including LNG importation terminals are operating currently...

  3. Terminal 

    E-Print Network [OSTI]

    Unknown

    2011-08-17

    and angular positions of the cylinders as a function of time. The experimental error encountered due to video resolution was studied and minimized through the use of a proper data sampling rate The terminal velocities of the cylinders are found to increase...

  4. NOTIFICATION OF TERMINATION FOR HEALTH BENEFITS It is extremely important that this form is completed and faxed to the Employee Benefits

    E-Print Network [OSTI]

    Boynton, Walter R.

    NOTIFICATION OF TERMINATION FOR HEALTH BENEFITS It is extremely important that this form subsidized benefits. NOTE: Please do not send a Notice of Termination form for an employee who):__________________________________________ _ Check one box in each of the following columns: Termination Reason Terminated Resigned Deceased - Date

  5. Abstract--Although Locational Marginal Pricing (LMP) plays an important role in many restructured wholesale power

    E-Print Network [OSTI]

    Tesfatsion, Leigh

    the performance of these markets. In this paper, different AC and DC optimal power flow (OPF) models are presented Terms-- Locational marginal pricing, wholesale power market, AC optimal power flow, DC optimal power to distinct local conditions (e.g., hydroelectric power in the northwest). Even in regions adopting the design

  6. Introduction Location and Importance

    E-Print Network [OSTI]

    . NANCE, CHARLES W. CAILLOUET, Jr., and RICK A. HART James M. Nance and Rick A. Hart and is at 119 Victoria Drive West, Montgomery, TX 77356 (corre- sponding author is Rick A. Hart: rick.hart

  7. Termination unit

    DOE Patents [OSTI]

    Traeholt, Chresten [Frederiksberg, DK; Willen, Dag [Klagshamn, SE; Roden, Mark [Newnan, GA; Tolbert, Jerry C [Carrollton, GA; Lindsay, David [Carrollton, GA; Fisher, Paul W [Heiskell, TN; Nielsen, Carsten Thidemann [Jaegerspris, DK

    2014-01-07

    This invention relates to a termination unit comprising an end-section of a cable. The end section of the cable defines a central longitudinal axis and comprising end-parts of N electrical phases, an end-part of a neutral conductor and a surrounding thermally insulation envelope adapted to comprising a cooling fluid. The end-parts of the N electrical phases and the end-part of the neutral conductor each comprising at least one electrical conductor and being arranged in the cable concentrically around a core former with a phase 1 located relatively innermost, and phase N relatively outermost in the cable, phase N being surrounded by the neutral conductor, electrical insulation being arrange between neighboring electrical phases and between phase N and the neutral conductor, and wherein the end-parts of the neutral conductor and the electrical phases each comprise a contacting surface electrically connected to at least one branch current lead to provide an electrical connection: The contacting surfaces each having a longitudinal extension, and being located sequentially along the longitudinal extension of the end-section of the cable. The branch current leads being individually insulated from said thermally insulation envelope by individual electrical insulators.

  8. Terminal electrode

    SciTech Connect (OSTI)

    Zagrodnik, J.P.; Bowen, G.K.

    1990-08-14

    This paper discusses a bipolar flow battery. It comprises a series of half cells in electrical communication with one another, the cells being defined by partitions comprising alternating electrodes and separators, each partition being secured to each adjacent partition about a common perimeter therewith, the series of half cells having a terminal electrode at an end thereof; an endblock, disposed at an end of the series of half cells, the endblock being secured to the terminal electrode; an electrolyte manifold in hydraulic communication with the half cells; and an electrolyte pump for urging electrolyte through the manifold and into the half cells.

  9. Terminal structure

    DOE Patents [OSTI]

    Schmidt, Frank (Langenhagen, DE); Allais, Arnaud (Hannover, DE); Mirebeau, Pierre (Villebon sur Yvette, FR); Ganhungu, Francois (Vieux-Reng, FR); Lallouet, Nicolas (Saint Martin Boulogne, FR)

    2009-10-20

    A terminal structure (2) for a superconducting cable (1) is described. It consists of a conductor (2a) and an insulator (2b) that surrounds the conductor (2a), wherein the superconducting cable (1) has a core with a superconducting conductor (5) and a layer of insulation that surrounds the conductor (5), and wherein the core is arranged in such a way that it can move longitudinally in a cryostat. The conductor (2a) of the terminal structure (2) is electrically connected with the superconducting conductor (5) or with a normal conductor (6) that is connected with the superconducting conductor (5) by means of a tubular part (7) made of an electrically conductive material, wherein the superconducting conductor (5) or the normal conductor (6) can slide in the part (7) in the direction of the superconductor.

  10. Interactive Termination Proofs using Termination Cores

    E-Print Network [OSTI]

    Manolios, Panagiotis "Pete"

    Interactive Termination Proofs using Termination Cores Panagiotis Manolios and Daron Vroon College@ccs.neu.edu, daron.vroon@gmail.com Abstract. Recent advances in termination analysis have yielded new methods and determining how to proceed. In this paper, we address the issue of building termination analysis engines

  11. From outermost termination to innermost termination

    E-Print Network [OSTI]

    Middeldorp, Aart

    From outermost termination to innermost termination Ren´e Thiemann Institute of Computer Science mechanism of func- tional programming languages. Therefore, termination analysis of term rewrite systems transformation such that a TRS is outermost terminating iff the transformed TRS is innermost terminat- ing

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

  13. The Heliospheric Termination Shock

    E-Print Network [OSTI]

    R. A. Treumann; C. H. Jaroschek

    2008-07-25

    The heliospheric Termination Shock is the largest (by dimension) shock in the heliosphere. It is believed that it is also the strongest shock and is responsible for the generation of the Anomalous Cosmic Ray component in the heliosphere. This chapter review the gross properties and observations of the Termination Shock. It is structured as follows: 1. The heliosphere, providing the heliospheric stage for Termination Shock formation, 2. The argument for a heliospheric Termination Shock, 3. The global heliospheric system, 4. Termination Shock properties, 5. Observations: the Voyager passages, radio observations, plasma waves and electron beams, traces of plasma and magnetic field, energetic particles, galactic cosmic rays, Termination Shock particles, the anomalous cosmic ray component, 6. Conclusions.

  14. Termination Casts: A Flexible Approach to Termination with General Recursion

    E-Print Network [OSTI]

    Weirich, Stephanie

    distinguishes terminating terms and total functions from possibly diverging terms and partial functionsTermination Casts: A Flexible Approach to Termination with General Recursion Aaron Stump Computer type-form "Terminates t", expressing that term t is terminating; and then allow terms t to be coerced

  15. Superconducting Cable Termination

    DOE Patents [OSTI]

    Sinha, Uday K. (Carrollton, GA); Tolbert, Jerry (Newnan, GA)

    2005-08-30

    Disclosed is a termination that connects high temperature superconducting (HTS) cable immersed in pressurized liquid nitrogen to high voltage and neutral (shield) external bushings at ambient temperature and pressure. The termination consists of a splice between the HTS power (inner) and shield (outer) conductors and concentric copper pipes which are the conductors in the termination. There is also a transition from the dielectric tape insulator used in the HTS cable to the insulators used between and around the copper pipe conductors in the termination. At the warm end of the termination the copper pipes are connected via copper braided straps to the conventional warm external bushings which have low thermal stresses. This termination allows for a natural temperature gradient in the copper pipe conductors inside the termination which enables the controlled flashing of the pressurized liquid coolant (nitrogen) to the gaseous state. Thus the entire termination is near the coolant supply pressure and the high voltage and shield cold bushings, a highly stressed component used in most HTS cables, are eliminated. A sliding seal allows for cable contraction as it is cooled from room temperature to ˜72-82 K. Seals, static vacuum, and multi-layer superinsulation minimize radial heat leak to the environment.

  16. Termination-Insensitive Computational Indistinguishability

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    Termination-Insensitive Computational Indistinguishability (and applications to computational indistinguishability: termination-insensitive computational indistinguishability (tic-indistinguishability). Tic-indistinguishability models indistinguishability with respect to distinguishers that cannot distinguish be- tween termination

  17. Termination and Recovery

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

    1997-08-21

    This volume defines event Termination and determination of when it is appropriate to cease emergency response activities and of associated notifications. Canceled by DOE G 151.1-4.

  18. Local Termination: theory and practice

    E-Print Network [OSTI]

    Endrullis, Joerg; Waldmann, Johannes

    2010-01-01

    The characterisation of termination using well-founded monotone algebras has been a milestone on the way to automated termination techniques, of which we have seen an extensive development over the past years. Both the semantic characterisation and most known termination methods are concerned with global termination, uniformly of all the terms of a term rewriting system (TRS). In this paper we consider local termination, of specific sets of terms within a given TRS. The principal goal of this paper is generalising the semantic characterisation of global termination to local termination. This is made possible by admitting the well-founded monotone algebras to be partial. We also extend our approach to local relative termination. The interest in local termination naturally arises in program verification, where one is probably interested only in sensible inputs, or just wants to characterise the set of inputs for which a program terminates. Local termination will be also be of interest when dealing with a specif...

  19. Termination of Isabelle Functions via Termination of Rewriting

    E-Print Network [OSTI]

    Ábrahám, Erika

    Termination of Isabelle Functions via Termination of Rewriting Alexander Krauss,1 ChristianFG Informatik 2, RWTH Aachen University, Germany Abstract. We show how to automate termination proofs and invoking an external termination prover. Our link to the external prover includes full proof reconstruction

  20. Report Form for Program Termination

    E-Print Network [OSTI]

    Saskatchewan, University of

    Report Form for Program Termination Program(s) to be deleted: Effective date of termination: 1. List reasons for termination and describe the background leading to this decision. 2. Technical the last five years. #12;3. Impact of the termination. Internal 3.1 What if any impact

  1. Shipboard regasification terminal

    SciTech Connect (OSTI)

    Campbell, G.; Zednik, J.

    1999-07-01

    Mobil Technology Company and Mobil Shipping and Transportation Company have jointly developed a new combination of existing proven equipment to regasify LNG. Advantages of this Shipboard Regasification Terminal (SRT) include accelerated initial gas delivery schedule, low capital cost, delivery of smaller quantities of LNG at a competitive price and shorter term of LNG purchase and improved financing options. These advantages benefit both the supplier of LNG and the purchaser. SRT can be used as an interim supply to developing markets allowing the demand to grow while developing downstream infrastructure. This concept does not involve offshore transfer of cryogenic fluids while delivering near-ambient temperature pipeline quality gas at typical pipeline pressures. During times when gas is not required, the SRT ship can easily be returned to the trade of transporting and delivering LNG to conventional land based terminals. This paper will discuss the merits of Shipboard Regasification Terminals in general, cover the development of this concept and review the factors guiding the use of SRT vs. an onshore terminal.

  2. Termination Casts: A Flexible Approach to Termination with General Recursion

    E-Print Network [OSTI]

    Stump, Aaron; Weirich, Stephanie; 10.4204/EPTCS.43.6

    2010-01-01

    This paper proposes a type-and-effect system called Teqt, which distinguishes terminating terms and total functions from possibly diverging terms and partial functions, for a lambda calculus with general recursion and equality types. The central idea is to include a primitive type-form "Terminates t", expressing that term t is terminating; and then allow terms t to be coerced from possibly diverging to total, using a proof of Terminates t. We call such coercions termination casts, and show how to implement terminating recursion using them. For the meta-theory of the system, we describe a translation from Teqt to a logical theory of termination for general recursive, simply typed functions. Every typing judgment of Teqt is translated to a theorem expressing the appropriate termination property of the computational part of the Teqt term.

  3. Eternal Inflation with Arrival Terminals

    E-Print Network [OSTI]

    Henry Stoltenberg; Andreas Albrecht

    2015-01-18

    We analyze the cosmological role of terminal vacua in the string theory landscape, and point out that existing work on this topic makes very strong assumptions about the properties of the terminal vacua. We explore the implications of relaxing these assumptions (by including "arrival" as well as "departure" terminals) and demonstrate that the results in earlier work are highly sensitive to their assumption of no arrival terminals. We use our discussion to make some general points about tuning and initial conditions in cosmology.

  4. Termination Detection of Local Computations

    E-Print Network [OSTI]

    Godard, Emmanuel; Tel, Gerard

    2010-01-01

    Contrary to the sequential world, the processes involved in a distributed system do not necessarily know when a computation is globally finished. This paper investigates the problem of the detection of the termination of local computations. We define four types of termination detection: no detection, detection of the local termination, detection by a distributed observer, detection of the global termination. We give a complete characterisation (except in the local termination detection case where a partial one is given) for each of this termination detection and show that they define a strict hierarchy. These results emphasise the difference between computability of a distributed task and termination detection. Furthermore, these characterisations encompass all standard criteria that are usually formulated : topological restriction (tree, rings, or triangu- lated networks ...), topological knowledge (size, diameter ...), and local knowledge to distinguish nodes (identities, sense of direction). These re- sult...

  5. Extracting Patterns from Location History Andrew Kirmse

    E-Print Network [OSTI]

    Cortes, Corinna

    " to infer the user's important locations. The "Place lab client" infers locations by listening to RF-emissions different modes of transportation (e.g. bus, on foot, car etc.). Both these papers use clean regularly-sampled

  6. Co-Terminal Handbook I. What is a co-terminal degree?.................................................................3

    E-Print Network [OSTI]

    Heller, Barbara

    Co-Terminal Handbook 2014-2015 #12;Contents I. What is a co-terminal degree................................................................................10 VIII. Transferring to a Different Co-Terminal Program............................111 IX. Withdrawing from the Co-Terminal Program....................................122 X. Resources

  7. Second Line of Defense, Port of Buenos Aires and Exolgan Container Terminal Operational Testing and Evaluation Plan, Buenos Aires, Argentina

    SciTech Connect (OSTI)

    Roberts, Bryan W.

    2012-08-23

    The Office of the Second Line of Defense (SLD) Megaports project team for Argentina will conduct operational testing and evaluation (OT&E) at Exolgan Container Terminal at the Port of Dock Sud from July 16-20, 2012; and at the Port of Buenos Aires from September 3-7, 2012. SLD is installing radiation detection equipment to screen export, import, and transshipment containers at these locations. The purpose of OT&E is to validate and baseline an operable system that meets the SLD mission and to ensure the system continues to perform as expected in an operational environment with Argentina Customs effectively adjudicating alarms.

  8. TERMINATION OF IDEAL COS m phi WINDING

    E-Print Network [OSTI]

    Laslett, L.J.

    2010-01-01

    6 III . Termination of the cos A. B. Analysis ExamplesTERMINATION OF IDEAL COS m~ WINDING L.J. Laslett, S. Caspi,MAG-77 TERMINATION OF IDEAL COS WINDING L. J . Las1ett, S.

  9. TERMINATION OF IDEAL COS m phi WINDING

    E-Print Network [OSTI]

    Laslett, L.J.

    2010-01-01

    6 III . Termination of the cos A. B.of Dipole Magnets 1. The Lambertson-Coupland TerminationTerminations Employing the Function f(y) = k(y/a)P

  10. Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs

    E-Print Network [OSTI]

    Kröning, Daniel

    Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs Cristina David, Daniel Kroening, and Matt Lewis University of Oxford Abstract. Proving program termination is typically for proving termination of many terminating programs, and furthermore a termination argument for a program

  11. Terminality implies non-signalling

    E-Print Network [OSTI]

    Bob Coecke

    2014-12-30

    A 'process theory' is any theory of systems and processes which admits sequential and parallel composition. `Terminality' unifies normalisation of pure states, trace-preservation of CP-maps, and adding up to identity of positive operators in quantum theory, and generalises this to arbitrary process theories. We show that terminality and non-signalling coincide in any process theory, provided one makes causal structure explicit. In fact, making causal structure explicit is necessary to even make sense of non-signalling in process theories. We conclude that because of its much simpler mathematical form, terminality should be taken to be a more fundamental notion than non-signalling.

  12. Library Locations Locations other than Main Library

    E-Print Network [OSTI]

    Library Locations Locations other than Main Library Example: Feminist Studies HQ1410 .U54 2009 ............................................................2 Central Call Number Main Library Location Main Library Example: Main Library HQ1410 .U54 2009 See Center (ATC) Classroom 1575 Building Operations Main Entrance Map and Imagery Laboratory (MIL

  13. Library Locations Locations other than Main Library

    E-Print Network [OSTI]

    Library Locations Locations other than Main Library Example: Feminist Studies HQ1410 .U54 2009 these from the library catalog: www.library.ucsb.edu/depts/access/howinprocess.html Main: Items located in the Main Library, Davidson Main Serials Reading Area: 2 North Map & Imagery Lab: 1 North Media Collection

  14. McKenize Terminal - 3 

    E-Print Network [OSTI]

    Unknown

    2009-01-01

    ©2008 ASHRAE 83 ABSTRACT Empirical models of airflow output, power consumption, and primary airflow were developed for parallel fan powered variable air volume terminal units at typical operating pres- sures. Both 8 in. (203 mm) and 12 in. (304 mm...) primary air inlet terminal units from three manufacturers were evaluated. Generalized models were developed from the experimental data with coefficients varying by size and manufacturer. Fan power and airflow data were collected at down- stream static...

  15. JOURNAL OF INFORMATION SCIENCE AND ENGINEERING 24, 159-174 (2008) Improving the Efficacy of a Termination Detection Algorithm*

    E-Print Network [OSTI]

    Mittal, Neeraj

    2008-01-01

    of a Termination Detection Algorithm* SATHYA PERI AND NEERAJ MITTAL Department of Computer Science The University@utdallas.edu} An important problem in distributed systems is to detect termination of a distributed computation. A distributed computation is said to have terminated when all processes have become passive and all channels

  16. Locative Inversion In Cantonese

    E-Print Network [OSTI]

    Mok, Sui-Sang

    1992-01-01

    This paper proposes that locative inversion is a widespread syntactic process in Cantonese. The sentence-initial locative phrases in the Locative Inversion sentences are argued to be subjects which come from the postverbal complement position...

  17. Crude Imports

    Gasoline and Diesel Fuel Update (EIA)

    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 GasAdjustments (Billion Cubic Feet) Wyoming Dry NaturalPrices1 Table 1.101Company Level ImportsContangoImports -

  18. Distributed Termination Detection for Dynamic Systems

    E-Print Network [OSTI]

    Dhamdhere, Dhananjay Madhav

    systems, Termination detection. \\Lambda Address all correspondence to this author. 1 #12; Distributed

  19. Program termination discussed by BOT AA

    E-Print Network [OSTI]

    Almor, Amit

    Program termination discussed by BOT AA and BOT Full (termination of concentrations does Education (CHE) Approval Process Timeline Program Terminations 2014-2015 NOTE: These dates reflect the shortest amount of time it takes to process a program termination through the approval cycle

  20. Division of Human Resources Termination Of

    E-Print Network [OSTI]

    Meyers, Steven D.

    Division of Human Resources Termination Of Domestic Partnership Health Stipend Questions (813) 974 Insurance Stipend will terminate as of the Effective Date on this Termination of Domestic Partnership Health. ______ The Domestic Partnership Declaration attested to and filed by me with USF shall be and is terminated

  1. Termination of Nondeterministic Quantum Programs

    E-Print Network [OSTI]

    Yangjia Li; Nengkun Yu; Mingsheng Ying

    2012-01-04

    We define a language-independent model of nondeterministic quantum programs in which a quantum program consists of a finite set of quantum processes. These processes are represented by quantum Markov chains over the common state space. An execution of a nondeterministic quantum program is modeled by a sequence of actions of individual processes. These actions are described by super-operators on the state Hilbert space. At each step of an execution, a process is chosen nondeterministically to perform the next action. A characterization of reachable space and a characterization of diverging states of a nondeterministic quantum program are presented. We establish a zero-one law for termination probability of the states in the reachable space of a nondeterministic quantum program. A combination of these results leads to a necessary and sufficient condition for termination of nondeterministic quantum programs. Based on this condition, an algorithm is found for checking termination of nondeterministic quantum programs within a fixed finite-dimensional state space. A striking difference between nondeterministic classical and quantum programs is shown by example: it is possible that each of several quantum programs simulates the same classical program which terminates with probability 1, but the nondeterministic program consisting of them terminates with probability 0 due to the interference carried in the execution of them.

  2. Accommodation Location(s) Cologne -Ehrenfeld.

    E-Print Network [OSTI]

    Molinari, Marc

    Accommodation Location(s) ­ Cologne - Ehrenfeld. Price of rent ­ Sub-let, cost roughly 300 euros a month inc bills. Organisation of accommodation/gas/electricity/internet/phones ­ Because I lived with Telekom for phone/internet as they just try to rip you off! Germany COLOGNE Language Assistantship Travel

  3. Termination or Transfer Checklist for Managers Employees can terminate from their positions for many reasons including

    E-Print Network [OSTI]

    Fletcher, Robin

    HR-FRM-050 Termination or Transfer Checklist for Managers Employees can terminate from etc. This checklist is to be used by managers when an employee is going to terminate from as part of the termination process. Type of Termination Resignation: If your employee is resigning, review

  4. The metalloid arsenite induces nuclear export of Id3 possibly via binding to the N-terminal cysteine residues

    SciTech Connect (OSTI)

    Kurooka, Hisanori, E-mail: hkurooka@u-fukui.ac.jp [Division of Molecular Genetics, Department of Biochemistry and Bioinformative Sciences, School of Medicine, Faculty of Medical Sciences, University of Fukui, Fukui (Japan) [Division of Molecular Genetics, Department of Biochemistry and Bioinformative Sciences, School of Medicine, Faculty of Medical Sciences, University of Fukui, Fukui (Japan); Research and Education Program for Life Science, University of Fukui, Fukui (Japan); Sugai, Manabu [Department of Experimental Therapeutics, Translational Research Center, Kyoto University Hospital, Kyoto (Japan)] [Department of Experimental Therapeutics, Translational Research Center, Kyoto University Hospital, Kyoto (Japan); Mori, Kentaro [Division of Molecular Genetics, Department of Biochemistry and Bioinformative Sciences, School of Medicine, Faculty of Medical Sciences, University of Fukui, Fukui (Japan)] [Division of Molecular Genetics, Department of Biochemistry and Bioinformative Sciences, School of Medicine, Faculty of Medical Sciences, University of Fukui, Fukui (Japan); Yokota, Yoshifumi, E-mail: yokota@u-fukui.ac.jp [Division of Molecular Genetics, Department of Biochemistry and Bioinformative Sciences, School of Medicine, Faculty of Medical Sciences, University of Fukui, Fukui (Japan) [Division of Molecular Genetics, Department of Biochemistry and Bioinformative Sciences, School of Medicine, Faculty of Medical Sciences, University of Fukui, Fukui (Japan); Research and Education Program for Life Science, University of Fukui, Fukui (Japan)

    2013-04-19

    Highlights: •Sodium arsenite induces cytoplasmic accumulation of Id3. •Arsenite binds to closely spaced N-terminal cysteine residues of Id3. •N-terminal cysteines are essential for arsenite-induced nuclear export of Id3. •Nuclear export of Id3 counteracts its transcriptional repression activity. -- Abstract: Ids are versatile transcriptional repressors that regulate cell proliferation and differentiation, and appropriate subcellular localization of the Id proteins is important for their functions. We previously identified distinct functional nuclear export signals (NESs) in Id1 and Id2, but no active NES has been reported in Id3. In this study, we found that treatment with the stress-inducing metalloid arsenite led to the accumulation of GFP-tagged Id3 in the cytoplasm. Cytoplasmic accumulation was impaired by a mutation in the Id3 NES-like sequence resembling the Id1 NES, located at the end of the HLH domain. It was also blocked by co-treatment with the CRM1-specific nuclear export inhibitor leptomycin B (LMB), but not with the inhibitors for mitogen-activated protein kinases (MAPKs). Importantly, we showed that the closely spaced N-terminal cysteine residues of Id3 interacted with the arsenic derivative phenylarsine oxide (PAO) and were essential for the arsenite-induced cytoplasmic accumulation, suggesting that arsenite induces the CRM1-dependent nuclear export of Id3 via binding to the N-terminal cysteines. Finally, we demonstrated that Id3 significantly repressed arsenite-stimulated transcription of the immediate-early gene Egr-1 and that this repression activity was inversely correlated with the arsenite-induced nuclear export. Our results imply that Id3 may be involved in the biological action of arsenite.

  5. MOBILE DEVICE LOCATION INFORMATION ACQUISITION FRAMEWORK FOR DEVELOPMENT OF LOCATION

    E-Print Network [OSTI]

    Dustdar, Schahram

    MOBILE DEVICE LOCATION INFORMATION ACQUISITION FRAMEWORK FOR DEVELOPMENT OF LOCATION INFORMATION, 1040 Vienna, Austria dustdar@infosys.tuwien.ac.at Keywords: Mobile device location information, location information based services, location information acquisition. Abstract: Mobile device location

  6. Cyanobacterial bloom termination: the disappearance of Planktothrix rubescens from Lake Bourget (France) after

    E-Print Network [OSTI]

    Jacquet, Stéphan

    Cyanobacterial bloom termination: the disappearance of Planktothrix rubescens from Lake Bourget and since the 1980s has been partially restored by reductions in nutrient loadings. 2. Here, we analyse termination, although a number of other factors could also be important, such as temperature-dependent water

  7. Optimal fault location 

    E-Print Network [OSTI]

    Knezev, Maja

    2008-10-10

    sequence of events newly obtained recording belongs. Software prototype of the proposed automated fault location analysis is developed using Java programming language. Fault location analysis is automatically triggered by appearance of new event files in a...

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

  9. Using indicators in finite termination procedures

    SciTech Connect (OSTI)

    P. J. Williams; A. S. El-Bakry; R. W. Tapia

    1999-10-01

    The presence of bounded variables complicates finite termination procedures in interior-point methods for linear programming.

  10. Complete LNG Terminal Status Maps | Department of Energy

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

    Complete LNG Terminal Status Maps Complete LNG Terminal Status Maps A series of slides showing the status of various LNG terminals (existing, under construction, proposed, etc.) in...

  11. Termination by Aphasia & Carotid Artery Disease: History and Definition

    E-Print Network [OSTI]

    Tkachuk, Emma

    2014-01-01

    nonfiction. Her paper on Termination by Aphasia and CarotidVol. 6 Issue 1 2014 Termination by Aphasia & Carotid Arterywith Leonid Krukov in Termination by Aphasia. People like

  12. Pooh-Poohing Copyright Law’s “Inalienable” Termination Rights

    E-Print Network [OSTI]

    Menell, Peter; Nimmer, David

    2010-01-01

    Accordingly, the relevant termination window under § 304(d)between them, to use termination rights to enhance theirand clarity of the termination of transfer provisions. ©

  13. Clothes Dryer Automatic Termination Evaluation

    SciTech Connect (OSTI)

    TeGrotenhuis, Ward E.

    2014-10-01

    Volume 2: Improved Sensor and Control Designs Many residential clothes dryers on the market today provide automatic cycles that are intended to stop when the clothes are dry, as determined by the final remaining moisture content (RMC). However, testing of automatic termination cycles has shown that many dryers are susceptible to over-drying of loads, leading to excess energy consumption. In particular, tests performed using the DOE Test Procedure in Appendix D2 of 10 CFR 430 subpart B have shown that as much as 62% of the energy used in a cycle may be from over-drying. Volume 1 of this report shows an average of 20% excess energy from over-drying when running automatic cycles with various load compositions and dryer settings. Consequently, improving automatic termination sensors and algorithms has the potential for substantial energy savings in the U.S.

  14. Modularity of Termination Using Dependency Pairs ?

    E-Print Network [OSTI]

    Ábrahám, Erika

    Modularity of Termination Using Dependency Pairs ? Thomas Arts 1 and J¨urgen Giesl 2 1 Computer@informatik.tu­darmstadt.de Abstract. The framework of dependency pairs allows automated ter­ mination and innermost termination proofs of this framework in order to prove termination in a modular way. Our mod­ ularity results significantly increase

  15. Termination of Linear Programs Ashish Tiwari

    E-Print Network [OSTI]

    Tiwari, Ashish

    Termination of Linear Programs Ashish Tiwari SRI International, 333 Ravenswood Ave, Menlo Park, CA, U.S.A tiwari@csl.sri.com Abstract. We show that termination of a class of linear loop programs is decidable. Linear loop programs are discrete-time linear systems with a loop condition governing termination

  16. Improved Modular Termination Proofs Using Dependency Pairs

    E-Print Network [OSTI]

    Middeldorp, Aart

    Improved Modular Termination Proofs Using Dependency Pairs Ren´e Thiemann, J¨urgen Giesl, Peter) termination proofs of term rewrite systems (TRSs). For any TRS, it generates inequality constraints that have to be satisfied by well-founded orders. However, proving innermost termination is considerably easier than

  17. Revised December, 2014 DOSIMETRY TERMINATION REQUEST

    E-Print Network [OSTI]

    Revised December, 2014 DOSIMETRY TERMINATION REQUEST In order to ensure that dosimetry records are accurately maintained we require that persons wishing to terminate personal dosimetry fill out this form attention. Your badge(s) will be terminated upon receipt of this form. PIs may be charged

  18. Fourth International Workshop on Termination Dagstuhl, Germany

    E-Print Network [OSTI]

    Giesl, Juergen

    Fourth International Workshop on Termination WST '99 Dagstuhl, Germany May 10­12, 1999 Abstracts #12; Fourth International Workshop on Termination WST '99 Dagstuhl, Germany May 10­12, 1999 Abstracts, The Netherlands) #12; Contents Hans Zantema The Termination Hierarchy for Term Rewriting

  19. Total termination of term rewriting is undecidable

    E-Print Network [OSTI]

    Utrecht, Universiteit

    Total termination of term rewriting is undecidable Hans Zantema Utrecht University, Department Usually termination of term rewriting systems (TRS's) is proved by means of a monotonic well­founded order. If this order is total on ground terms, the TRS is called totally terminating. In this paper we prove that total

  20. Termination Analysis with Compositional Transition Invariants

    E-Print Network [OSTI]

    Kröning, Daniel

    Termination Analysis with Compositional Transition Invariants Daniel Kroening1 , Natasha Sharygina2 termination provers rely on a safety checker to con- struct disjunctively well-founded transition invariants that uses a light-weight check based on transitivity of ranking relations to prove program termination. We

  1. Improved Modular Termination Proofs Using Dependency Pairs

    E-Print Network [OSTI]

    Ábrahám, Erika

    Improved Modular Termination Proofs Using Dependency Pairs Renâ??e Thiemann, JË?urgen Giesl, Peter) termination proofs of term rewrite systems (TRSs). For any TRS, it generates inequality constraints that have to be satisfied by well­founded orders. However, proving innermost termination is considerably easier than

  2. Termination of Linear Programs Ashish Tiwari #

    E-Print Network [OSTI]

    Tiwari, Ashish

    Termination of Linear Programs Ashish Tiwari # SRI International, 333 Ravenswood Ave, Menlo Park, CA, U.S.A tiwari@csl.sri.com Abstract. We show that termination of a class of linear loop programs is decidable. Linear loop programs are discrete­time linear systems with a loop condition governing termination

  3. Terminals and Ports Jan C. Willems

    E-Print Network [OSTI]

    Terminals and Ports Jan C. Willems ESAT, K.U. Leuven, B-3001 Leuven, Belgium Email: Jan. An electrical circuit is a device that interacts with its environment through wires, called terminals. On each terminal, there are two interaction variables, a potential and a current. Interconnection of circuits

  4. Semicontinuous Sized Types and Termination Andreas Abel #

    E-Print Network [OSTI]

    Abel, Andreas

    , and classical applications are total correctness and termination of partial evaluation. In languagesSemi­continuous Sized Types and Termination Andreas Abel # Institut für Informatik Ludwig to termination uses sized types: an ordinal bound for the size of a data structure is stored in its type

  5. TERMINATION OF SIMPLY MODED WELLTYPED LOGIC PROGRAMS

    E-Print Network [OSTI]

    Giesl, Juergen

    is borrowed from [9], defining a similar notion in the context of termination of off­line partial evaluation only partially corresponds to our intuitive notion of a ``terminating computation''. This is becauseTERMINATION OF SIMPLY MODED WELL­TYPED LOGIC PROGRAMS UNDER TABLED EXECUTION MECHANISM Sofie

  6. Evolving Cellular Automata for Location Management in Mobile Computing Networks

    E-Print Network [OSTI]

    Ha, Dong S.

    entering one of these reporting cells. To create such an evolving CA system, cells in the network for a number of test problems. Index Terms--Cellular automata, genetic algorithms, mobile computing, mobility to interferences. On the other hand, a miss on the location of a mobile terminal will necessitate a search

  7. Termination or Transfer Checklist for Employees Employees can terminate from their positions for many reasons

    E-Print Network [OSTI]

    Fletcher, Robin

    HR-FRM-051 Termination or Transfer Checklist for Employees Employees can terminate from etc. This checklist is to be used by employees who are terminating from the University or transferring the University, review the voluntary termination policy for the minimum notice guidelines required

  8. Quasi-Terminating Logic Programs for Ensuring the Termination of Partial Evaluation

    E-Print Network [OSTI]

    Vidal, Germán

    Quasi-Terminating Logic Programs for Ensuring the Termination of Partial Evaluation Germ´an Vidal challenges in partial evaluation is the design of automatic methods for ensuring the termination of spe- cialisation. It is well known that the termination of partial evalua- tion can be ensured when the considered

  9. Quasi-Terminating Logic Programs for Ensuring the Termination of Partial Evaluation ?

    E-Print Network [OSTI]

    Vidal, Germán

    Quasi-Terminating Logic Programs for Ensuring the Termination of Partial Evaluation ? Germ#19;an approach by designing a simple partial evaluator in which global termination is always ensured o#15;ine (i but only provides partial termination guarantees. Holst [18] was the #12;rst to relate (within

  10. Quasi-Terminating Logic Programs for Ensuring the Termination of Partial Evaluation

    E-Print Network [OSTI]

    Vidal, Germán

    Quasi-Terminating Logic Programs for Ensuring the Termination of Partial Evaluation Germ´an Vidal approach by designing a simple partial evaluator in which global termination is always ensured offline (i for ensuring the termination of offline partial eval- uation yet. Recent progress include [9], which presents

  11. Reversible micromachining locator

    DOE Patents [OSTI]

    Salzer, L.J.; Foreman, L.R.

    1999-08-31

    This invention provides a device which includes a locator, a kinematic mount positioned on a conventional tooling machine, a part carrier disposed on the locator and a retainer ring. The locator has disposed therein a plurality of steel balls, placed in an equidistant position circumferentially around the locator. The kinematic mount includes a plurality of magnets which are in registry with the steel balls on the locator. In operation, a blank part to be machined is placed between a surface of a locator and the retainer ring (fitting within the part carrier). When the locator (with a blank part to be machined) is coupled to the kinematic mount, the part is thus exposed for the desired machining process. Because the locator is removably attachable to the kinematic mount, it can easily be removed from the mount, reversed, and reinserted onto the mount for additional machining. Further, the locator can likewise be removed from the mount and placed onto another tooling machine having a properly aligned kinematic mount. Because of the unique design and use of magnetic forces of the present invention, positioning errors of less than 0.25 micrometer for each machining process can be achieved. 7 figs.

  12. Developing a theory of nightclub location choice

    E-Print Network [OSTI]

    Crim, Stephen J. (Stephen Johnson)

    2008-01-01

    This work is an investigation of the factors that influence where nightclubs locate within a city. Nightclubs, like other social spaces, provide important social and economic benefits in the urban environment. As amenities, ...

  13. A remote image analysis terminal 

    E-Print Network [OSTI]

    Daigle, Lucien Don

    1976-01-01

    A APPENDIX B APPENDIX C APPENDIX D VITA 140 142 157 157 162 163 164 170 179 190 234 Vrzt I, I S'I' III' I: I OIIRI:. 8 The Remote Image Analysis Terminal System Block Diagram The Digital Interface The Analog Interface Digitizer...- flow Chart Loading and Transmission of Position Coordinates Page 59 61 63 65 66 II-22 II-23 Keyboard Block Diagram Generation and Transmission cE a Hex Digit 69 70 II- 24 I I-25 Opcode Table 73 Partial Block Diagram...

  14. Location linked information

    E-Print Network [OSTI]

    Mankins, Matthew William David, 1975-

    2003-01-01

    This work builds an infrastructure called Location Linked Information that offers a means to associate digital information with public, physical places. This connection creates a hybrid virtual/physical space, called glean ...

  15. Locating Heat Recovery Opportunities 

    E-Print Network [OSTI]

    Waterland, A. F.

    1981-01-01

    Basic concepts of heat recovery are defined as they apply to the industrial community. Methods for locating, ranking, and developing heat recovery opportunities are presented and explained. The needs for useful heat 'sinks' are emphasized as equal...

  16. Two terminal micropower radar sensor

    DOE Patents [OSTI]

    McEwan, Thomas E. (Livermore, CA)

    1995-01-01

    A simple, low power ultra-wideband radar motion sensor/switch configuration connects a power source and load to ground. The switch is connected to and controlled by the signal output of a radar motion sensor. The power input of the motion sensor is connected to the load through a diode which conducts power to the motion sensor when the switch is open. A storage capacitor or rechargeable battery is connected to the power input of the motion sensor. The storage capacitor or battery is charged when the switch is open and powers the motion sensor when the switch is closed. The motion sensor and switch are connected between the same two terminals between the source/load and ground.

  17. Two terminal micropower radar sensor

    DOE Patents [OSTI]

    McEwan, T.E.

    1995-11-07

    A simple, low power ultra-wideband radar motion sensor/switch configuration connects a power source and load to ground. The switch is connected to and controlled by the signal output of a radar motion sensor. The power input of the motion sensor is connected to the load through a diode which conducts power to the motion sensor when the switch is open. A storage capacitor or rechargeable battery is connected to the power input of the motion sensor. The storage capacitor or battery is charged when the switch is open and powers the motion sensor when the switch is closed. The motion sensor and switch are connected between the same two terminals between the source/load and ground. 3 figs.

  18. Lower Columbia River Terminal Fisheries Research Project : Final Environmental Assessment.

    SciTech Connect (OSTI)

    United States. Bonneville Power Administration.

    1995-04-01

    This notice announces BPA`S`s decision to fund the Oregon Department of Fish and Wildlife (ODFW), the Washington Department of Fish and Wildlife (WDFW), and the Clatsop Economic Development Committee for the Lower Columbia River Terminal Fisheries Research Project (Project). The Project will continue the testing of various species/stocks, rearing regimes, and harvest options for terminal fisheries, as a means to increase lower river sport and commercial harvest of hatchery fish, while providing both greater protection of weaker wild stocks and increasing the return of upriver salmon runs to potential Zone 6 Treaty fisheries. The Project involves relocating hatchery smolts to new, additional pen locations in three bays/sloughs in the lower Columbia River along both the Oregon and Washington sides. The sites are Blind Slough and Tongue Point in Clatsop County, Oregon, and Grays Bay/Deep River, Wahkiakum County, Washington. The smolts will be acclimated for various lengths of time in the net pens and released from these sites. The Project will expand upon an existing terminal fisheries project in Youngs Bay, Oregon. The Project may be expanded to other sites in the future, depending on the results of this initial expansion. BPA`S has determined the project is not a major Federal action significantly affecting the quality of the human environment, within the meaning of the National Environmental Policy Act (NEPA) of 1969. Therefore, the preparation of an environmental impact statement is not required, and BPA`S is issuing this FONSI.

  19. Automation of Termination: Abstracting CCG through MWG Automation of Termination: Abstracting Calling

    E-Print Network [OSTI]

    Ayala-Rincón, Mauricio

    Automation of Termination: Abstracting CCG through MWG Automation of Termination: Abstracting.Ayala-Rinc´on & C.A.Munoz IX Semin´ario Informal(, mas Formal!) November 29, 2013 1 / 32 #12;Automation science. While classical results state the undecidability of various termination problems, automated

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

  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 Analysis of Term Rewriting by Polynomial

    E-Print Network [OSTI]

    Middeldorp, Aart

    Termination Analysis of Term Rewriting by Polynomial Interpretations and Matrix Interpretations of the University of Innsbruck in partial fulfillment of the requirements for the degree of "Doktor der technischen Wissenschaften" advisor: Univ.-Prof. Dr. Aart Middeldorp Innsbruck, March 2012 #12;#12;dissertation Termination

  3. Program Termination and Well Partial Orderings

    E-Print Network [OSTI]

    Blass, Andreas R.

    Program Termination and Well Partial Orderings Andreas Blass Yuri Gurevich Abstract The following observation may be useful in establishing program termination: if a transitive relation R is covered of the stature P of a well partial ordering P and show that |R| 1 × · · · × n and that this bound is tight

  4. Influence of the surface termination to the point imaging by a photonic crystal slab with negative refraction

    E-Print Network [OSTI]

    Sanshui Xiao; Min Qiu; Zhichao Ruan; Sailing He

    2005-09-01

    Point imaging by a photonic crystal slab due to the negative refraction is studied theoretically. By investigating the transfer function of the imaging system, the influence of the surface termination to the imaging quality is analyzed. It is shown that an appropriate surface termination is important for obtaining an image of good quality.

  5. EIS-0493: Corpus Christi LNG Terminal and Pipeline Project, Nueces and San Patricio Counties, Texas

    Broader source: Energy.gov [DOE]

    The Federal Energy Regulatory Commission (FERC) prepared, with DOE as a cooperating agency, an EIS to analyze the potential environmental impacts of a proposal to construct and operate a liquefied natural gas export and import terminal on the north shore of Corpus Christi Bay in Nueces and San Patricio Counties, Texas; a marine berth connecting the terminal to the adjacent La Quinta Channel; and an approximately 23-mile-long natural gas transmission pipeline and associated facilities.

  6. LNG imports make strong recovery in 1996; exports increase also

    SciTech Connect (OSTI)

    Swain, E.J.

    1998-01-19

    LNG imports to the US jumped in 1996 as Algerian base-load plants resumed operations following major revamps. Exports from Alaska to Japan grew by nearly 4% over 1995. Total LNG imports to the US in 1996 were 40.27 bcf compared to 17.92 bcf in 1995, an increase of 124.8%. Algeria supplied 35.32 bcf; Abu Dhabi, 4.95 bcf. About 82.3% of the imported LNG was received at Distrigas Corp.`s terminal north of Boston. The remaining LNG was received at the Pan National terminal in Lake Charles, LA. LNG imports during 1995 fell to such a low level not because of depressed US demand but because of limited supply. The paper discusses LNG-receiving terminals, base-load producers, LNG pricing, and exports.

  7. Distributed Approaches for Determination of Reconfiguration Algorithm Termination

    E-Print Network [OSTI]

    Lai, Hong-jian

    Distributed Approaches for Determination of Reconfiguration Algorithm Termination Pinak Tulpule architecture was used as globally shared memory structure for detection of algorithm termination. This paper of algorithm termination. Keywords--autonomous agent-based reconfiguration, dis- tributed algorithms, shipboard

  8. Increasing Creel Interview Efficiency Through Early Survey Termination

    E-Print Network [OSTI]

    Increasing Creel Interview Efficiency Through Early Survey Termination HAL R. OSBURN and MIKE G were terminated early when no angler interviews were con ducted by a specified time. Using this method, terminating

  9. Termination Analysis of Java Bytecode Elvira Albert1

    E-Print Network [OSTI]

    Arenas, Puri

    program properties is often split into separately proving partial correctness and termination. ObjectTermination Analysis of Java Bytecode Elvira Albert1 , Puri Arenas1 , Michael Codish2 , Samir Abstract. Termination analysis has received considerable attention, traditionally in the context

  10. Electric current locator

    DOE Patents [OSTI]

    King, Paul E. (Corvallis, OR); Woodside, Charles Rigel (Corvallis, OR)

    2012-02-07

    The disclosure herein provides an apparatus for location of a quantity of current vectors in an electrical device, where the current vector has a known direction and a known relative magnitude to an input current supplied to the electrical device. Mathematical constants used in Biot-Savart superposition equations are determined for the electrical device, the orientation of the apparatus, and relative magnitude of the current vector and the input current, and the apparatus utilizes magnetic field sensors oriented to a sensing plane to provide current vector location based on the solution of the Biot-Savart superposition equations. Description of required orientations between the apparatus and the electrical device are disclosed and various methods of determining the mathematical constants are presented.

  11. Final Exam Location and Time

    E-Print Network [OSTI]

    Final Exam Location and Time. Math 162 Fall 2001. Date: Wednesday December 12, 2001. Time: 7:00 pm -9:00 pm. Location: Lambert Fieldhouse ...

  12. Final Exam Location and Time

    E-Print Network [OSTI]

    Final Exam Location and Time. Math 161 Fall 2001. Date: Friday December 14, 2001. Time: 8:00 am -10:00 am. Location: Lambert Fieldhouse ...

  13. Notice of Termination for Authorization under TPDES General Permit...

    Open Energy Info (EERE)

    Termination for Authorization under TPDES General Permit (TXR150000) Jump to: navigation, search OpenEI Reference LibraryAdd to library Reference: Notice of Termination for...

  14. Location, location, location: utilizing pipelines and services to more effectively georeference the world's biodiversity data

    E-Print Network [OSTI]

    2009-01-01

    location, location: utilizing pipelines and services to morebut also to create pipelines integrated with humanbecome available [8]. These pipelines can be developed to

  15. Whats Inside: Termination/Separation

    E-Print Network [OSTI]

    had responsibility for biological materi- als, biohazards, infectious substances, select agents andShield Member Handbooks Available Online Admin/Computer Seminars Important Contacts · · · · · · INSIDE HUMAN/or radiological materials and hazardous wastes. Please remember that separation Employment Action (EA) forms

  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. Financial Policy Manual 2411 NOTIFICATION OF EMPLOYEE TERMINATION

    E-Print Network [OSTI]

    George, Edward I.

    Financial Policy Manual Page 1 2411 NOTIFICATION OF EMPLOYEE TERMINATION Effective: December 1986 To establish policy regarding the timely processing of the termination notice to the Payroll Department is required for effecting an employee's termination. Terminating the current pay distribution does

  18. Termination of algebraic type systems: the syntactic approach

    E-Print Network [OSTI]

    van Raamsdonk, Femke

    Termination of algebraic type systems: the syntactic approach Gilles Barthe and Femke van Raamsdonk applications in proof­checking. A natural question in this field concerns the termination or strong normalisation of such systems and is as follows: given a terminating type system T and a terminating rewriting

  19. DISCIPLINE AND TERMINATION POLICY Employees covered by this policy

    E-Print Network [OSTI]

    DISCIPLINE AND TERMINATION POLICY Employees covered by this policy This policy applies to all non to discipline, suspend with or without pay, or terminate employees for just cause. Just cause includes to discipline or termination for just cause, the University reserves the right to demote, suspend or terminate

  20. Termination Semantics of Logic Programs with Cut and Related Features

    E-Print Network [OSTI]

    Giesl, Juergen

    Termination Semantics of Logic Programs with Cut and Related Features Jamie Andrews Dept of termination for logic programs. I am particularly interested in the termination of logic programs which use practical features such as the Prolog ``cut''. In order to prove termination of such programs

  1. Tyrolean Termination Tool Nao Hirokawa and Aart Middeldorp

    E-Print Network [OSTI]

    Hirokawa, Nao

    Tyrolean Termination Tool Nao Hirokawa and Aart Middeldorp Institute of Computer Science University describes the Tyrolean Termination Tool (TTT in the sequel), the successor of the Tsukuba Termination Tool are not (yet) avail- able in any other termination tool, in some detail. TTT is a tool for automatically

  2. TERMINATION OF THE POROUS WALL CONCEPT To: APEX GROUP

    E-Print Network [OSTI]

    California at Los Angeles, University of

    TERMINATION OF THE POROUS WALL CONCEPT To: APEX GROUP From: Anter El-Azab (anter@seas.ucla.edu) Re with Lithium will can not work and this concept should be terminated. For the case of vanadium alloy on this concept should be terminated. #12;TERMINATION OF THE POROUS WALL CONCEPT Best Regards, Anter #12;

  3. Morphology and chemical termination of HF-etched Si{sub 3}N{sub 4} surfaces

    SciTech Connect (OSTI)

    Liu, Li-Hong; Debenedetti, William J. I.; Peixoto, Tatiana; Gokalp, Sumeyra; Shafiq, Natis; Veyan, Jean-François; Chabal, Yves J.; Michalak, David J.; Hourani, Rami

    2014-12-29

    Several reports on the chemical termination of silicon nitride films after HF etching, an important process in the microelectronics industry, are inconsistent claiming N-H{sub x}, Si-H, or fluorine termination. An investigation combining infrared and x-ray photoelectron spectroscopies with atomic force and scanning electron microscopy imaging reveals that under some processing conditions, salt microcrystals are formed and stabilized on the surface, resulting from products of Si{sub 3}N{sub 4} etching. Rinsing in deionized water immediately after HF etching for at least 30?s avoids such deposition and yields a smooth surface without evidence of Si-H termination. Instead, fluorine and oxygen are found to terminate a sizeable fraction of the surface in the form of Si-F and possibly Si-OH bonds. The relatively unique fluorine termination is remarkably stable in both air and water and could lead to further chemical functionalization pathways.

  4. SSC termination will be lengthy and expensive

    SciTech Connect (OSTI)

    Hanson, D.

    1994-03-14

    Closing down the huge Superconducting Super Collider (SSC) is going to take a lot of time and money. Congress gave the Department of Energy $640 million to begin the shutdown in fiscal 1994, and DOE is asking for another $180 million next year. In the meantime, Energy Secretary Hazel R. O'Leary has come up with a termination plan for the project that will guide the department's activities. Much of the expense associated with terminating the SSC project involves closing out the many contracts the department has for building and supplying the site. Other major parts of the termination will be the environmental restoration and asset closeout, and the benefits provided for the SSC's employees. Two things still unresolved are the settlement DOE must make with Texas for the state's investment in the project and deciding what will be done with the facilities already there.

  5. The Cricket indoor location system

    E-Print Network [OSTI]

    Priyantha, Nissanka Bodhi, 1968-

    2005-01-01

    Indoor environments present opportunities for a rich set of location-aware applications such as navigation tools for humans and robots, interactive virtual games, resource discovery, asset tracking, location-aware sensor ...

  6. Search Text Based on Locations 

    E-Print Network [OSTI]

    Zhang, Weiwei

    2014-11-21

    locations, which contributes to the Geographical Information Retrieval (GIR) systems. In addition to the traditional applications of GIR systems, which are used for finding locations in documents, GIR can be applied to other fields as well. Firstly, it can...

  7. Pervasive Internet Access by Vehicles through Satellite Receive-only Terminals

    E-Print Network [OSTI]

    Zou, Cliff C.

    Pervasive Internet Access by Vehicles through Satellite Receive-only Terminals Baber Aslam, Ping Florida Orlando, FL, USA {ababer, pwang, czou}@cs.ucf.edu Abstract--Ubiquitous Internet connectivity is very important in present environment. A lot of research has been done to extend Internet connectivity

  8. Cost reduction ideas for LNG terminals

    SciTech Connect (OSTI)

    Habibullah, A.; Weldin, F.

    1999-07-01

    LNG projects are highly capital intensive and this has long been regarded as being inevitable. However, recent developments are forcing the LNG industry to aggressively seek cost reductions. For example, the gas-to-liquids (GTL) process is increasingly seen as a potential rival technology and is often being touted as an economically superior alternative fuel source. Another strong driving force behind needed cost reductions is the low crude oil price which seems to have settled in the $10--13/bb. range. LNG is well positioned as the fuel of choice for environmentally friendly new power projects. As a result of the projected demand for power especially in the Pacific Rim countries several LNG terminal projects are under consideration. Such projects will require a new generation of LNG terminal designs emphasizing low cost, small scale and safe and fully integrated designs from LNG supply to power generation. The integration of the LNG terminal with the combined cycle gas turbine (CCGT) power plant offers substantial cost savings opportunities for both plants. Various cost reduction strategies and their impact on the terminal design are discussed including cost reduction due to integration.

  9. eRA Training Team1 Terminations

    E-Print Network [OSTI]

    Baker, Chris I.

    eRA Training Team1 xTrain Terminations Electronic Research Administration Sponsored by: The National Institutions of Health, Office of Extramural Research April 2010 #12;eRA Training Team2 xTrain General Information xTrain Overview The following section provides general information on the xTrain

  10. eRA Training Team1 Terminations

    E-Print Network [OSTI]

    Baker, Chris I.

    eRA Training Team1 xTrain Terminations Electronic Research Administration Sponsored by: The National Institutes of Health, Office of Extramural Research March 2012 #12;eRA Training Team2 xTrain General Information xTrain Overview The following section provides general information on the xTrain

  11. Location, location, location: The variable value of renewable energy and demand-side efficiency resources

    E-Print Network [OSTI]

    Fowlie, Meredith

    and renewable energy resources. We eval- uate renewable energy (RE) and energy efficiency (EE) technologiesLocation, location, location: The variable value of renewable energy and demand-side efficiency mitigation efforts in the electricity sector emphasize accelerated deployment of energy efficiency measures

  12. ISSUANCE 2015-06-08: Energy Conservation Program: Test Procedures for Packaged Terminal Air Conditioners and Packaged Terminal Heat Pumps, Final Rule

    Broader source: Energy.gov [DOE]

    Energy Conservation Program: Test Procedures for Packaged Terminal Air Conditioners and Packaged Terminal Heat Pumps, Final Rule

  13. Crystallization and X-ray data analysis of the 10 kDa C-terminal lid subdomain from Caenorhabditis elegans Hsp70

    SciTech Connect (OSTI)

    Worrall, Liam; Walkinshaw, Malcolm D., E-mail: m.walkinshaw@ed.ac.uk [School of Biological Sciences, University of Edinburgh, The King’s Buildings, Mayfield Road, Edinburgh EH9 3JR,Scotland (United Kingdom)

    2006-09-01

    Crystals of the C-terminal 10 kDa lid subdomain from the C. elegans chaperone Hsp70 have been obtained that diffract X-rays to ?3.5 Å and belong to space group I2{sub 1}2{sub 1}2{sub 1}. Analysis of X-ray data and initial heavy-atom phasing reveals 24 monomers in the asymmetric unit related by 432 non-crystallographic symmetry. Hsp70 is an important molecular chaperone involved in the regulation of protein folding. Crystals of the C-terminal 10 kDa helical lid domain (residues 542–640) from a Caenorhabditis elegans Hsp70 homologue have been produced that diffract X-rays to ?3.4 Å. Crystals belong to space group I2{sub 1}2{sub 1}2{sub 1}, with unit-cell parameters a = b = 197, c = 200 Å. The Matthews coefficient, self-rotation function and Patterson map indicate 24 monomers in the asymmetric unit, showing non-crystallographic 432 symmetry. Molecular-replacement studies using the corresponding domain from rat, the only eukaryotic homologue with a known structure, failed and a mercury derivative was obtained. Preliminary MAD phasing using SHELXD and SHARP for location and refinement of the heavy-atom substructure and SOLOMON for density modification produced interpretable maps with a clear protein–solvent boundary. Further density-modification, model-building and refinement are currently under way.

  14. Survival probability and energy modification of hydrogen Energetic Neutral Atoms on their way from the termination shock to Earth orbit

    E-Print Network [OSTI]

    M. Bzowski

    2008-06-14

    Context: With the forthcoming launch of a NASA SMEX mission IBEX devoted to imaging of heliospheric interface by in-situ detection of Energetic Neutral Atoms (ENA) an important issue becomes recognizing of transport of these atoms from the termination shock of the solar wind to Earth orbit. Aims: Investigate modifications of energy and of survival probability of the H ENA detectable by IBEX (0.01 -- 6 keV) between the termination shock and Earth orbit taking into account the influence of the variable and anisotropic solar wind and solar EUV radiation. Methods: Energy change of the atoms is calculated by numerical simulations of orbits of the H ENA atoms from ~100 AU from the Sun down to Earth orbit, taking into account solar gravity and Lyman-$\\alpha$ radiation pressure, which is variable in time and depends on radial velocity of the atom. To calculate survival probabilities of the atoms against onization, a detailed 3D and time-dependent model of H ENA ionization based on observations of the solar wind and EUV ionizing radiation is constructed, and wth the use of this model probabilities of survival of the atoms are calculated by numerical integration along the previously calculated orbits. Results: Owing to the radiation pressure, H ENA reach the Earth orbit practically without energy and direction change except the atoms with energy lower than 0.1 keV during high solar activity. For a given energy at Earth orbit one expects fluctuations of survival probability from ~20% at 0.01 keV down to just a few percent at 6 keV and a modulation of survival probability as a function of the location at Earth orbit, ecliptic latitude of the arrival direction, and the phase of solar cycle with an amplitude of a few dozen percent for 0.1 keV atoms at solar minimum to a few percent for 6 keV atoms at solar maximum.

  15. Hiding Location Information from Location-Based Services

    E-Print Network [OSTI]

    Hengartner, Urs

    that the architecture is powerful enough to support existing location- based services. Our architecture exploits Trusted-specific information is being accessed. I. INTRODUCTION The ubiquity of cellphones has lead to the introduction of a cellphone user (e.g., directions to a target location or a list of interesting, nearby places). Another

  16. Commencement Ceremony Department Time Location Department and Major Time Location

    E-Print Network [OSTI]

    Kaji, Hajime

    Engineering 15:30 Bldg. 63 Classroom 01 (2nd Fl.) Industrial and Management Systems Engineering 15:30 Bldg. 63 and Management 15:30 Bldg. 63 Classroom 01 (2nd Fl.) Department Time Location Department and Major Time Location:30 Bldg. 57 202 Modern Mechanical Engineering 10:30 Bldg. 57 202 Industrial and Management Systems

  17. Location Management for Mobile Devices

    E-Print Network [OSTI]

    Wilde, Erik

    2008-01-01

    general, and wireless and mobile devices in particular. Thelocation-enabled mobile devices and location-based services.information from mobile devices and making it available to

  18. N-Terminal T4 Lysozyme Fusion Facilitates Crystallization of...

    Office of Scientific and Technical Information (OSTI)

    N-Terminal T4 Lysozyme Fusion Facilitates Crystallization of a G Protein Coupled Receptor Citation Details In-Document Search Title: N-Terminal T4 Lysozyme Fusion Facilitates...

  19. Stochastic partial differential equations with singular terminal condition

    E-Print Network [OSTI]

    Popier, Alexandre

    Stochastic partial differential equations with singular terminal condition A Matoussi, Lambert Piozin, A Popier To cite this version: A Matoussi, Lambert Piozin, A Popier. Stochastic partial differential equations with singular terminal condition. 2015. HAL Id: hal-01152687 https

  20. General Properties and Termination Conditions for Soft Constraint Propagation

    E-Print Network [OSTI]

    Rossi, Francesca

    General Properties and Termination Conditions for Soft Constraint Propagation S. Bistarelli (bista for its termination. 1. Introduction Soft constraints allow to model faithfully many real­life problems [14], probabilistic [10] and partial [11] constraints. The constraint propagation techniques usually

  1. Performance of ECM controlled VAV fan powered terminal units 

    E-Print Network [OSTI]

    Cramlet, Andrew Charles

    2009-05-15

    Empirical performance models of fan airflow, primary airflow and power consumption were developed for series and parallel variable air volume fan powered terminal units. An experimental setup and test procedure were created to test the terminal...

  2. RPM-1 suppressors Act in synapse formation and axon termination in Caenorhabditis elegans

    E-Print Network [OSTI]

    Trujillo, Gloriana Victoria

    2010-01-01

    Variant Protein in Axon Termination and Synaptogenesis. St.Protein Acts in Axon Termination and Synaptogenesis in C.RPM-1 Regulates Axon Termination and Synaptogenesis through

  3. Rotor Termination in a Patient-Specific Model of Atrial Fibrillation /

    E-Print Network [OSTI]

    Gonzales, Matthew James

    2013-01-01

    of atrial fibrillation termination by rapidly unbinding Na+of atrial fibrillation termination by pure sodium channelfor spontaneous termination of reentrant tachycardias.

  4. Roles for Wnts and their receptors in topographic mapping and laminar termination

    E-Print Network [OSTI]

    Richman, Alisha

    2011-01-01

    tectum may be assigned termination sites on a "first come,Mapping and Laminar Termination A dissertation submitted inTermination ..

  5. Unraveling the Molecular Mechanism of Poly(A)-Dependent Transcription Termination

    E-Print Network [OSTI]

    Zhang, Huimin

    2014-01-01

    dependent transcription termination. Nature 463, 245–249.of transcription termination factors with the RNA polymerasecomplexes in vitro by the termination factor Rat1. J. Biol.

  6. Creating Clarity for the Process of Managing Residents through Remediation, Probation and Termination

    E-Print Network [OSTI]

    2015-01-01

    Remediation, Probation and Termination Murano T, Lypson M,remediation, probation and termination (RPT), as well as theobservation period. 4. Termination: when a resident is

  7. Vehicle drive module having improved terminal design

    DOE Patents [OSTI]

    Beihoff, Bruce C.; Radosevich, Lawrence D.; Phillips, Mark G.; Kehl, Dennis L.; Kaishian, Steven C.; Kannenberg, Daniel G.

    2006-04-25

    A terminal structure for vehicle drive power electronics circuits reduces the need for a DC bus and thereby the incidence of parasitic inductance. The structure is secured to a support that may receive one or more power electronic circuits. The support may aid in removing heat from the circuits through fluid circulating through the support. The support may form a shield from both external EMI/RFI and from interference generated by operation of the power electronic circuits. Features may be provided to permit and enhance connection of the circuitry to external circuitry, such as by direct contact between the terminal assembly and AC and DC circuit components. Modular units may be assembled that may be coupled to electronic circuitry via plug-in arrangements or through interface with a backplane or similar mounting and interconnecting structures.

  8. Power converter having improved terminal structure

    DOE Patents [OSTI]

    Radosevich, Lawrence D.; Kannenberg, Daniel G.; Phillips, Mark G.; Kaishian, Steven C.

    2007-03-06

    A terminal structure for power electronics circuits reduces the need for a DC bus and thereby the incidence of parasitic inductance. The structure is secured to a support that may receive one or more power electronic circuits. The support may aid in removing heat from the circuits through fluid circulating through the support. The support may form a shield from both external EMI/RFI and from interference generated by operation of the power electronic circuits. Features may be provided to permit and enhance connection of the circuitry to external circuitry, such as by direct contact between the terminal assembly and AC and DC circuit components. Modular units may be assembled that may be coupled to electronic circuitry via plug-in arrangements or through interface with a backplane or similar mounting and interconnecting structures.

  9. Visual Simulation of Offshore Liquefied Natural Gas (LNG) Terminals

    E-Print Network [OSTI]

    Visual Simulation of Offshore Liquefied Natural Gas (LNG) Terminals in a Decision-Making Context1 potential offshore Liquified Natural Gas (LNG) sites and the types of terminals that might occupy those sites. The study had to evaluate the engineering feasibility of siting an LNG receiving terminal

  10. Proof-Theoretic Analysis of Termination Proofs Wilfried Buchholz

    E-Print Network [OSTI]

    Buchholz, Wilfried

    Proof-Theoretic Analysis of Termination Proofs Wilfried Buchholz Mathematisches Institut der the order type of a termination ordering #30; places a bound on the lengths of reduction sequences; is the order type of a termination ordering #30; for a #12;nite rewrite system R then the function G#3; from

  11. SAT Instances for Termination Analysis with Carsten Fuhs

    E-Print Network [OSTI]

    Ábrahám, Erika

    SAT Instances for Termination Analysis with AProVE Carsten Fuhs LuFG Informatik 2, RWTH Aachen for tackling the search problems in automated termination analysis for term rewrite systems and for programming languages. Indeed, even since the last SAT competition in 2007, many new termination techniques have been

  12. Type-Based Termination of Functional Programs Andreas Abel

    E-Print Network [OSTI]

    Abel, Andreas

    Type-Based Termination of Functional Programs Andreas Abel Department of Computer Science Ludwig Timmendorfer Strand, Germany Andreas Abel (LMU Munich) Type-Based Termination KPS'07 1 / 21 #12;Introduction Termination Question: Will the run of a program eventually halt? Undecidable for Turing-complete programming

  13. DETECTING TERMINATION OF DISTRIBUTED COMPUTATIONS USING MARKERS Jayadev Misra

    E-Print Network [OSTI]

    Tropper, Carl

    DETECTING TERMINATION OF DISTRIBUTED COMPUTATIONS USING MARKERS Jayadev Misra Department in designing computations by process networks, is detection of termination. We propose a very simple algorithm for termination detection in an arbitrary network using a single marker We show an application of this scheme

  14. Abstraction and Implementation of a Lightweight Distributed Termination Protocol

    E-Print Network [OSTI]

    Dobson, Simon

    Abstraction and Implementation of a Lightweight Distributed Termination Protocol D.M. Goodeve , C, University of Leeds, UK Department of Computer Science, Trinity College Dublin, Eire Abstract Termination synchronisation on this state costly. Many parallel applica- tions are structured such that termination occurs

  15. 9-1 (03/25/15) TERMINATION OF EMPLOYMENT

    E-Print Network [OSTI]

    9-1 (03/25/15) SECTION 9 TERMINATION OF EMPLOYMENT 9.1 NON-RENEWAL OF APPOINTMENT Non employees, except tenured and tenure-track faculty, are employees at-will, who may be terminated at any time unenforceable and is subject to termination without advance notice if, during the term of the faculty member

  16. Loop summarization and termination analysis Aliaksei Tsitovich1

    E-Print Network [OSTI]

    Kröning, Daniel

    Loop summarization and termination analysis Aliaksei Tsitovich1 , Natasha Sharygina1 , Christoph M termination analysis based on loop summarization. The algorithm relies on a library of ab- stract domains Introduction The program termination problem has received increased interest in the recent past. In practice

  17. Plasma waves associated with the termination W. S. Kurth

    E-Print Network [OSTI]

    Gurnett, Donald A.

    Plasma waves associated with the termination shock W. S. Kurth , D. A. Gurnett and R. B. Decker, Johns Hopkins University, Laurel, MD Abstract. Voyager 1 crossed the termination shock for nearly a year prior to the termination shock crossing. The Langmuir waves are thought to be produced

  18. Semi-continuous Sized Types and Termination Andreas Abel?

    E-Print Network [OSTI]

    Abel, Andreas

    Semi-continuous Sized Types and Termination Andreas Abel-based approach to termination uses sized types: an ordinal bound for the size of a data structure is stored criterion, * *a calculus for semi-continuous function is developed. 1 Introduction Termination

  19. THE SIZE-CHANGE TERMINATION PRINCIPLE FOR CONSTRUCTOR BASED LANGUAGES

    E-Print Network [OSTI]

    Hyvernat, Pierre

    THE SIZE-CHANGE TERMINATION PRINCIPLE FOR CONSTRUCTOR BASED LANGUAGES PIERRE HYVERNAT Laboratoire describes an automatic termination checker for a generic first- order call-by-value language in ML style. We arguments of recursive calls evolve during evaluation. The result is a criterion for termination extending

  20. Type-Based Termination, Inflationary Fixed-Points, and

    E-Print Network [OSTI]

    Abel, Andreas

    Type-Based Termination, Inflationary Fixed-Points, and Mixed Inductive-Coinductive Types Andreas Science (FICS 2012) ETAPS 2012, Tallinn, Estonia 24 March 2012 Andreas Abel (LMU) Type-Based Termination AIM XV 1 / 1 #12;Introduction Aspects of Termination What the talk is about: foundational approach

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

  2. On Termination and Derivation Lengths for Ground Rewrite Systems

    E-Print Network [OSTI]

    Giesl, Juergen

    On Termination and Derivation Lengths for Ground Rewrite Systems Dieter Hofbauer 1 Universit¨at GH@theory.informatik.uni­kassel.de Abstract. It is shown that for terminating ground term rewrite systems the length of derivations a suitable interpretation into the natural numbers. Terminating ground systems are not necessarily

  3. Computer Science at Kent On Modular Termination Proofs

    E-Print Network [OSTI]

    Kent, University of

    Computer Science at Kent On Modular Termination Proofs Jonathan C. Martin and Andy King Technical by the Computing Laboratory, University of Kent, Canterbury, Kent CT2 7NF, UK. Abstract Reasoning about termination is a key issue in logic program development. One classic technique for proving termination is to construct

  4. On Automating Inductive and Non-Inductive Termination Methods

    E-Print Network [OSTI]

    Kamareddine, Fairouz

    On Automating Inductive and Non-Inductive Termination Methods Fairouz Kamareddine and Francois of the function which satis es a notion of terminal prop- erty and then verifying that this construction processPre can only deal with the termination proofs that are inductive. There are however many functions

  5. The Dependency Pair Framework: Combining Techniques for Automated Termination Proofs #

    E-Print Network [OSTI]

    Ábrahám, Erika

    The Dependency Pair Framework: Combining Techniques for Automated Termination Proofs # J of the most powerful techniques for automated termination proofs of term rewrite systems. Up to now of new methods for termination analy­ sis. To demonstrate this, we present several new techniques within

  6. On Termination of Integer Linear Loops Joel Ouaknine

    E-Print Network [OSTI]

    Oxford, University of

    On Termination of Integer Linear Loops Jo¨el Ouaknine Department of Computer Science Oxford con- cerns the termination of simple linear loops of the form: x u ; while Bx c do x Ax + a , where initial integer vectors u, such a loop terminates. The correctness of our algorithm relies

  7. The termination hierarchy for term rewriting Hans Zantema

    E-Print Network [OSTI]

    Giesl, Juergen

    The termination hierarchy for term rewriting Hans Zantema Utrecht University, The Netherlands e-mail: hansz@cs.uu.nl (Tutorial talk) A natural way to prove termination of a term rewriting system is to #12. If the operations are strictly monotone in all arguments then indeed termination of the TRS can be concluded

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

  9. Termination of Narrowing in Left-Linear Constructor Systems

    E-Print Network [OSTI]

    Vidal, Germán

    [24], partial evaluation [1, 48], refining methods for proving the termination of rewriting [8, 9Termination of Narrowing in Left-Linear Constructor Systems Germ´an Vidal Technical University.g., it forms the basis of functional logic languages). Surprisingly, the termination of narrowing has been

  10. Termination of Narrowing in Left-Linear Constructor Systems

    E-Print Network [OSTI]

    Vidal, Germán

    ], model checking [17], partial evaluation [1, 32], refining methods for proving the terminationTermination of Narrowing in Left-Linear Constructor Systems Germ´an Vidal Technical University in different contexts, ranging from the- orem proving to language design. Surprisingly, the termination of nar

  11. Modular Termination of Basic Narrowing and Equational Unification

    E-Print Network [OSTI]

    Escobar, Santiago

    constraint solving [4, 5], partial evaluation [6], and model checking [17], among others. TerminationModular Termination of Basic Narrowing and Equational Unification Mar´ia Alpuente Santiago Escobar steps to a set of unblocked (or basic) positions. In this work, we study the modularity of termination

  12. Semi-continuous Sized Types and Termination Andreas Abel

    E-Print Network [OSTI]

    Abel, Andreas

    , and classical applications are total correctness and termination of partial evaluation. In languagesSemi-continuous Sized Types and Termination Andreas Abel Institut für Informatik Ludwig to termination uses sized types: an ordinal bound for the size of a data structure is stored in its type

  13. Mobile Alternative Fueling Station Locator

    SciTech Connect (OSTI)

    Not Available

    2009-04-01

    The Department of Energy's Alternative Fueling Station Locator is available on-the-go via cell phones, BlackBerrys, or other personal handheld devices. The mobile locator allows users to find the five closest biodiesel, electricity, E85, hydrogen, natural gas, and propane fueling sites using Google technology.

  14. Guide to the Library Locations

    E-Print Network [OSTI]

    Massachusetts at Amherst, University of

    Guide to the Libraries #12;Library Locations W.E.B. DU BOIS LIBRARY www.library.umass.edu 154 Hicks Way (413) 545-0150, (413) 545-2622 The Du Bois Library is the primary location for resources in education, geography, the humanities and fine arts, nursing, management, medicine, public health, and social

  15. Offshore refrigerated LPG loading/unloading terminal using a CALM buoy

    SciTech Connect (OSTI)

    Bonjour, E.L.; Simon, J.M.

    1985-03-01

    In existing Liquefied Petroleum Gases terminals, the transfer of liquefied gases to the tanker is performed via articulated loading arms or flexible hoses, working under quasistatic conditions. The tanker has to be firmly moored alongside a jetty or a process barge in a protected area (such as a harbour in most cases). This paper gives the main results of the development of an offshore refrigerated LPG (-48/sup 0/C) loading/unloading system, using a CALM buoy and LPG floating hoses working under dynamic conditions. The aim of this new concept is to replace the standard harbour structure for loading/unloading refrigerated LPG and to provide a considerable reduction in investments and a greater flexibility regarding the terminal location. The main components of that terminal have been designed so as to enable the loading of a 75 000 cubic meter LPG carrier in 15 hours. The results of static and dynamic low temperature tests on a LPG swivel joint for CALM buoy and LPG floating hoses show that such a SPM terminal is now a realistic solution.

  16. Photovoltaic module electrical termination design requirement study. Final report

    SciTech Connect (OSTI)

    Mosna, F.J. Jr.; Donlinger, J.

    1980-07-01

    Motorola Inc., in conjunction with ITT Cannon, has conducted a study to develop information to facilitate the selection of existing, commercial, electrical termination hardware for photovoltaic modules and arrays. Details of the study are presented in this volume. Module and array design parameters were investigated and recommendations were developed for use in surveying, evaluating, and comparing electrical termination hardware. Electrical termination selection criteria factors were developed and applied to nine generic termination types in each of the four application sectors. Remote, residential, intermediate and industrial. Existing terminations best suited for photovoltaic modules and arrays were identified. Cost information was developed to identify cost drivers and/or requirements which might lead to cost reductions. The general conclusion is that there is no single generic termination that is best suited for photovoltaic application, but that the appropriate termination is strongly dependent upon the module construction and its support structure as well as the specific application sector.

  17. Method of making hermetic seals for hermetic terminal assemblies

    DOE Patents [OSTI]

    Hsu, John S.; Marlino, Laura D.; Ayers, Curtis W.

    2010-04-13

    This invention teaches methods of making a hermetic terminal assembly comprising the steps of: inserting temporary stops, shims and jigs on the bottom face of a terminal assembly thereby blocking assembly core open passageways; mounting the terminal assembly inside a vacuum chamber using a temporary assembly perimeter seal and flange or threaded assembly interfaces; mixing a seal admixture and hardener in a mixer conveyor to form a polymer seal material; conveying the polymer seal material into a polymer reservoir; feeding the polymer seal material from the reservoir through a polymer outlet valve and at least one polymer outlet tube into the terminal assembly core thereby filling interstitial spaces in the core adjacent to service conduits, temporary stop, and the terminal assembly casing; drying the polymer seal material at room temperature thereby hermetically sealing the core of the terminal assembly; removing the terminal assembly from the vacuum chamber, and; removing the temporary stops, shims.

  18. Reproductive Termination in Female Japanese Monkeys: A Comparative Life History Perspective

    E-Print Network [OSTI]

    Fedigan, Linda M.

    Reproductive Termination in Female Japanese Monkeys: A Comparative Life History Perspective MARY S; reproductive termination ABSTRACT This study explores the question of reproductive termination (loss used a large sample of completed lives to identify reproductively terminated female Japanese macaques

  19. Managing Imported Fire Ants in Urban Areas 

    E-Print Network [OSTI]

    Drees, Bastiaan M.

    2006-08-17

    The imported fire ant is found in much of Texas and across the southeastern U.S. This publication describes options for managing the pest in specific locations such as home lawns, gardens and buildings. Other topics include fire ant treatment...

  20. U.S. LNG imports 1996--1997 should recover from low 1995 levels

    SciTech Connect (OSTI)

    Swain, E.J.

    1997-01-27

    Imports of LNG into the US in 1995 were the lowest since 1988, when 17.5 billion cu ft were imported. Total 1995 LNG imported from Algeria was 17.92 bcf compared to 50.78 in 1994, a decrease of 64.7%. About 72% of imported Algerian LNG was received at the Distrigas Corp. terminal north of Boston. The remaining LNG was received at the Trunkline LNG CO. terminal, Lake Charles, La., which was reopened in December 1989. The dramatic decline in LNG imports over the past 2 years (78%) can largely be attributed to Sonatrach`s multiyear renovation project to restore its LNG plants to their original capacities. This major renovation project has resulted in LNG export curtailments to all of its customers. The paper discusses US terminals, base-load producers, LNG pricing, and exports.

  1. Coordinating Tectons: Bipyridyl Terminated Allenylidene Complexes

    SciTech Connect (OSTI)

    Cifuentes, Marie P.; Humphrey, Mark G.; Koutsantonis, George A.; Lengkeek, Nigel A.; Petrie, Simon; Sanford, Vanessa; Schauer, Phil A.; Skelton, Brian W.; Stranger, Robert; White, Allan H.

    2009-01-15

    A series of complexes with {pi}-conjugated carbon chains terminated by bipyridyl moieties has been prepared. These allenylidene complexes were derived from 9-hydroxy-9-ethynyl-4,5-diazafluorene, the preparation of which is reported; the new allenylidene complexes are highly colored with the cumulated carbon chain terminating in a bipyridyl unit providing a site for further coordination. The synthesis, characterization, and X-ray structure determination of trans-[MCl(P{intersection}P){sub 2}{sub {double_bond}}C{sub {double_bond}}C{sub {double_bond}}(4,5-diazafluoren-9-yl)]PF{sub 6} (M = Ru, P{intersection}P = bis(diphenylphosphino)methane (dppm), 1,2-bis(diphenylphosphino)ethane (dppe), 1,2-bis(dimethylphosphino)ethane (dmpe); M = Os, P{intersection}P = dppm) are described. The effect of the variation in metal and ligand on electronic and electrochemical characteristics of these complexes has been investigated by using UV-vis, solution electrochemistry, and a combination of these techniques in spectroelectrochemical experiments. DFT calculations have been performed on trans-[RuCl(P{intersection}P){sub 2}{sub {double_bond}}C{sub {double_bond}}C{sub {double_bond}}(4,5-diazafluoren-9-yl)]{sup q} (P{intersection}P = dppm, bis(dimethylphosphino)methane (dmpm); q = -1, 0, +1, +2) and subsequently solvent-corrected calculations with use of COSMO were also undertaken to examine the nature of electronic transitions in various oxidation states.

  2. A complete characterization of termination of Hans ZANTEMA

    E-Print Network [OSTI]

    Utrecht, Universiteit

    A complete characterization of termination of 0 p 1 q ! 1 r 0 s Hans ZANTEMA Universiteit Utrecht@fmi.uni­passau.de Abstract We completely characterize termination of one­rule string rewriting systems of the form 0 p 1 q ! 1 r 0 s for every choice of positive integers p, q, r, and s. For the simply terminating cases, we

  3. Small Scale LNG Terminals Market Installed Capacity is anticipated...

    Open Energy Info (EERE)

    Although large scale LNG terminals have been preferably constructed across the world till date, the emergence of small demand centers for natural gas within small...

  4. (Baron, 2009) Importance

    E-Print Network [OSTI]

    Toohey, Darin W.

    and water NOx pollution from agriculture and vehicles/cities Runoff accounts for 80% of our water#12;(Baron, 2009) #12;Importance NOx pollution's affect on eastern Rocky Mountain wilderness times (Spring Run-off) #12;High Elevation Ecosystems are Pollution Indicators High Elevation Ecosystems

  5. WORKPLACE HAZARD ASSESSMENT Location: Task

    E-Print Network [OSTI]

    Rubloff, Gary W.

    WORKPLACE HAZARD ASSESSMENT Location: Task: Performed by: Date: This form may be used as an aid in performing hazard assessment. Review listed hazard classifications, identify all hazards, possible hazards and their sources. Hazard classification listing is not intended to be complete but is provided as a guide

  6. NIOSH publications on video display terminals (revised)

    SciTech Connect (OSTI)

    Not Available

    1991-06-01

    Materials developed by NIOSH concerning video display terminals (VDTs) comprise the publication. The first section listed citations of reports developed by NIOSH concerning VDTs and possible hazards associated with their use, and contained ordering information for these publications. Types of publications included NIOSH numbered publications, hazard evaluation and technical assistance reports, contract reports, journal articles, book chapters, presentations, and miscellaneous reports. The second section of the report contained full text copies of selected references from the bibliography. These references included testimony before congressional committees, presentations and articles dealing with radiation issues, reproductive outcomes of workers using VDTs the risk of spontaneous abortion, an epidemiologic investigation of electric and magnetic fields and operator exposure, controlling glare problems in the VDT work environment, and the design of rest breaks for VDT operators.

  7. Location Update Accuracy in Human Tracking system using Zigbee modules

    E-Print Network [OSTI]

    Amutha, B

    2009-01-01

    A location and tracking system becomes very important to our future world of pervasive computing. An algorithm for accurate location information is being incorporated in the human walking model and in the blind human walking model. We want to implement an accurate location tracking mechanism using Zigbee along with GPS, we have incorporated Markov chain algorithm for establishing accuracy. Normal Human and blind human walking steps were actually taken in the known environment within our campus and the Markov chain algorithm was used for smoothening the stepwise variation in location updates. A comparison module is also implemented to show the difference between normal human and blind human walking step variations. This accuracy is used for designing a blind tracking device so that the device can be used by the blind for finding the path without obstacles. We present a system level approach to localizing and tracking Human and blind users on a basis of different sources of location information [GPS plus Zigbee...

  8. Battery system including batteries that have a plurality of positive terminals and a plurality of negative terminals

    DOE Patents [OSTI]

    Dougherty, Thomas J; Symanski, James S; Kuempers, Joerg A; Miles, Ronald C; Hansen, Scott A; Smith, Nels R; Taghikhani, Majid; Mrotek, Edward N; Andrew, Michael G

    2014-01-21

    A lithium battery for use in a vehicle includes a container, a plurality of positive terminals extending from a first end of the lithium battery, and a plurality of negative terminals extending from a second end of the lithium battery. The plurality of positive terminals are provided in a first configuration and the plurality of negative terminals are provided in a second configuration, the first configuration differing from the second configuration. A battery system for use in a vehicle may include a plurality of electrically connected lithium cells or batteries.

  9. Density of neutral interstellar hydrogen at the termination shock from Ulysses pickup ion observations

    E-Print Network [OSTI]

    M. Bzowski; E. Moebius; S. Tarnopolski; V. Izmodenov; G. Gloeckler

    2008-09-28

    By reevaluating a 13-month stretch of Ulysses SWICS H pickup ion measurements near 5 AU close to the ecliptic right after the previous solar minimum, this paper presents a determination of the neutral interstellar H density at the solar wind termination shock and implications for the density and ionization degree of hydrogen in the LIC. The density of neutral interstellar hydrogen at the termination shock was determined from the local pickup ion production rate as obtained close to the cut-off in the distribution function at aphelion of Ulysses. As shown in an analytical treatment for the upwind axis and through kinetic modeling of the pickup ion production rate at the observer location, with variations in the ionization rate, radiation pressure, and the modeling of the particle behavior, this analysis turns out to be very robust against uncertainties in these parameters and the modeling. Analysis using current heliospheric parameters yields the H density at the termination shock equal to $0.087\\pm0.022$ cm$^{-3}$, including observational and modeling uncertainties.

  10. y:\\academic staff relations\\career processes\\terminations\\forms\\termination of employment -vacation payout 2014-2015.doc 14-12-22 hiTERMINATION OF EMPLOYMENT VACATION PAYOUT

    E-Print Network [OSTI]

    Calgary, University of

    y:\\academic staff relations\\career processes\\terminations\\forms\\termination of employment - vacation payout 2014-2015.doc 14-12-22 hiTERMINATION OF EMPLOYMENT ­ VACATION PAYOUT DURING 2014 - 2015/FACULTY: _________________________________________________ TERMINATION DATE: _________________________________________________ A. A staff member is expected to take his

  11. Bacterial Diversity in Livestock Manure Composts as Characterized by Terminal

    E-Print Network [OSTI]

    Tiquia-Arashiro, Sonia M.

    Bacterial Diversity in Livestock Manure Composts as Characterized by Terminal Restriction Fragment in the decomposition of organic matter during the composting process. However, microbial communities active in composts of bacterial communities in livestock manure compost was determined based on terminal restriction fragment

  12. Influence of perovskite termination on oxide heteroepitaxy D. A. Schmidta

    E-Print Network [OSTI]

    Olmstead, Marjorie

    Influence of perovskite termination on oxide heteroepitaxy D. A. Schmidta Department of Physics, regardless of termination, indicating that the substrate cations and perovskite surface polarity play little- monly used substrate for growth of high Tc super- conductors1­4 and other perovskite-based materials,5

  13. TERMINATION OF NONSIMPLE REWRITE SYSTEMS CHARLES GLEN HOOT

    E-Print Network [OSTI]

    Dershowitz, Nachum

    TERMINATION OF NON­SIMPLE REWRITE SYSTEMS BY CHARLES GLEN HOOT B.A., University of California, San Diego, 1982 M.A., Princeton University, 1985 THESIS Submitted in partial fulfillment of the requirements at Urbana­Champaign, 1996 Urbana, Illinois #12; TERMINATION OF NON­SIMPLE REWRITE SYSTEMS Charles Glen Hoot

  14. TERMINATION OF NON-SIMPLE REWRITE SYSTEMS CHARLES GLEN HOOT

    E-Print Network [OSTI]

    Dershowitz, Nachum

    TERMINATION OF NON-SIMPLE REWRITE SYSTEMS BY CHARLES GLEN HOOT B.A., University of California, San Diego, 1982 M.A., Princeton University, 1985 THESIS Submitted in partial ful llment of the requirements at Urbana-Champaign, 1996 Urbana, Illinois #12;TERMINATION OF NON-SIMPLE REWRITE SYSTEMS Charles Glen Hoot

  15. Columbia River : Terminal Fisheries Research Report : Annual Report 1994.

    SciTech Connect (OSTI)

    Hirose, Paul; Miller, Marc; Hill, Jim

    1996-12-01

    In 1993 the Northwest Power Planning Council recommended in its Strategy for Salmon that terminal fishing sites be identified and developed. The Council called on the Bonneville Power Administration to fund a 10-year study to investigate the feasibility of creating and expanding terminal known stock fisheries in the Columbia River Basin.

  16. Joint microseismic event location with uncertain velocity

    E-Print Network [OSTI]

    Poliannikov, Oleg V.

    2013-01-01

    We study the problem of the joint location of seismic events using an array of receivers. We show that locating multiple seismic events simultaneously is advantageous compared to the more traditional approaches of locating ...

  17. Location and Hours | ornl.gov

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

    Location and Hours Location The ORNL Research Library is located off the central corridor of Bldg. 4500N on the main ORNL campus. Hours The library is open 24 hours, seven days a...

  18. Important communication talk

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power Administration would likeUniverseIMPACT EVALUATION PLAN FOR THE SITE- SPECIFICImplicationsImportantProject-X: A

  19. Important communication talk

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power Administration would likeUniverseIMPACT EVALUATION PLAN FOR THE SITE- SPECIFICImplicationsImportantProject-X: A

  20. In many locations, disturbance is an important factor affecting the haul-

    E-Print Network [OSTI]

    disturbance. In addition to aircraft, sources of disturbance include boats, seismic exploration, pedestrians

  1. EIA - Natural Gas Pipeline Network - Natural Gas Import/Export Locations

    Gasoline and Diesel Fuel Update (EIA)

    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 GasAdjustments (Billion Cubic Feet) Wyoming963 1.969 1.979Coal4Cubic43,728ConfigurationList Pipelines >

  2. EIA - Natural Gas Pipeline Network - Natural Gas Import/Export Locations

    Gasoline and Diesel Fuel Update (EIA)

    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 GasAdjustments (Billion Cubic Feet) Wyoming Dry NaturalPrices1 Table272/S TheEnergyEnergyMap Export Pipelines

  3. Stratigraphic Profiles for Selected Hanford Site Seismometer Stations and Other Locations

    SciTech Connect (OSTI)

    Last, George V.

    2014-02-01

    Stratigraphic profiles were constructed for eight selected Hanford Site seismometer stations, five Hanford Site facility reference locations, and seven regional three-component broadband seismometer stations. These profiles provide interpretations of the subsurface layers to support estimation of ground motions from past earthquakes, and the prediction of ground motions from future earthquakes. In most cases these profiles terminated at the top of the Wanapum Basalt, but at selected sites profiles were extended down to the top of the crystalline basement. The composite one-dimensional stratigraphic profiles were based primarily on previous interpretations from nearby boreholes, and in many cases the nearest deep borehole is located kilometers away.

  4. Optimized Fault Location Final Project Report

    E-Print Network [OSTI]

    Optimized Fault Location Final Project Report Power Systems Engineering Research Center A National Engineering Research Center Optimized Fault Location Concurrent Technologies Corporation Final Project Report

  5. Energy Department Launches Alternative Fueling Station Locator...

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

    Launches Alternative Fueling Station Locator App Energy Department Launches Alternative Fueling Station Locator App November 7, 2013 - 11:16am Addthis As part of the Obama...

  6. Spatial association between the locations of roots and water flow paths in highly structured soil 

    E-Print Network [OSTI]

    Gardiner, Nathan Thomas

    2005-02-17

    relative to the location of water flow paths is important in understanding how plants obtain nutrients and water for growth, and it would also be of considerable importance in phytoremediation research and research into the prevention of groundwater...

  7. WELFARE MEASURES TO REFLECT HOME LOCATION OPTIONS WHEN1 TRANSPORTATION SYSTEMS ARE MODIFIED2

    E-Print Network [OSTI]

    Kockelman, Kara M.

    of residential location choice is fundamental to behavioral5 models of land use, and, ultimately, travel demand (or willingness-to-pay) impacts of system23 changes by bringing residential location choice by home price shifts. Automobile costs play a more important role in32 residential location choices

  8. Magnetic pulsing technique for tracking, locating pigs. [Locating pipeline servicing equipment using magnetic pulsing

    SciTech Connect (OSTI)

    Farque, J.A. (C.D.I., Broken Arrow, OK (United States))

    1994-01-01

    Magnetic transmission systems work well in conjunction with pipe line pigging. They have transmission characteristics that allow an operator to track a pig as it moves through the line with one antenna orientation, and locate a stationary pig and transmitter to within inches with another. Advanced systems offer pig run documentation features by recording the images of transmitter passages and their times and dates. These features will become increasingly important to pipe line owners and operators in the future as the EPA tightens its grip on the pipe line and gas industries. Additionally, pigging personnel with no real experience with the tracking or location of pigs can operate a magnetic system and be immediately productive. This lowers the overall cost to the service company, the pipe line owner, and ultimately the end user of the product.

  9. N-terminal protein processing: A comparative proteogenomic analysis

    SciTech Connect (OSTI)

    Bonissone, Stefano; Gupta, Nitin; Romine, Margaret F.; Bradshaw, Ralph A.; Pevzner, Pavel A.

    2013-01-01

    N-Terminal Methionine Excision (NME) is a universally conserved mechanism with the same specificity across all life forms that removes the first Methionine in proteins when the second residue is Gly, Ala, Ser, Cys, Thr, Pro, or Val. In spite of its necessity for proper cell functioning, the functional role of NME remains unclear. In 1988, Arfin and Bradshaw connected NME with the N-end protein degradation rule and postulated that the role of NME is to expose the stabilizing residues with the goal to resist protein degradation. While this explanation (that treats 7 stabilizing residues in the same manner) has become the de facto dogma of NME, comparative proteogenomics analysis of NME tells a different story. We suggest that the primary role of NME is to expose only two (rather than seven) amino acids Ala and Ser for post-translational modifications (e.g., acetylation) rather than to regulate protein degradation. We argue that, contrary to the existing view, NME is not crucially important for proteins with 5 other stabilizing residue at the 2nd positions that are merely bystanders (their function is not affected by NME) that become exposed to NME because their sizes are comparable or smaller than the size of Ala and Ser.

  10. Initiate Job Termination Request Salaried Job This job aid provides the steps for initiating a Job Termination Request form from the Manager Self

    E-Print Network [OSTI]

    Calgary, University of

    Page 1 Initiate Job Termination Request ­ Salaried Job Purpose This job aid provides the steps for initiating a Job Termination Request form from the Manager Self Service menu. This process is for Voluntary Terminations only. Please see your HR Services team for support with involuntary terminations. Complete

  11. Ombuds Office Location & Hours

    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 NewsInformationJesseworkSURVEY UNIVERSEHowScientificOmbuds Office Location & Hours Ombuds

  12. Short range radio locator system

    DOE Patents [OSTI]

    McEwan, T.E.

    1996-12-31

    A radio location system comprises a wireless transmitter that outputs two megahertz period bursts of two gigahertz radar carrier signals. A receiver system determines the position of the transmitter by the relative arrival of the radar bursts at several component receivers set up to have a favorable geometry and each one having a known location. One receiver provides a synchronizing gating pulse to itself and all the other receivers. The rate of the synchronizing gating pulse is slightly offset from the rate of the radar bursts themselves, so that each sample collects one finely-detailed piece of information about the time-of-flight of the radar pulse to each receiver each pulse period. Thousands of sequential pulse periods provide corresponding thousand of pieces of information about the time-of-flight of the radar pulse to each receiver, in expanded, not real time. Therefore the signal processing can be done with relatively low-frequency, inexpensive components. A conventional microcomputer is then used to find the position of the transmitter by geometric triangulation based on the relative time-of-flight information. 5 figs.

  13. Short range radio locator system

    DOE Patents [OSTI]

    McEwan, Thomas E. (Livermore, CA)

    1996-01-01

    A radio location system comprises a wireless transmitter that outputs two megahertz period bursts of two gigahertz radar carrier signals. A receiver system determines the position of the transmitter by the relative arrival of the radar bursts at several component receivers set up to have a favorable geometry and each one having a known location. One receiver provides a synchronizing gating pulse to itself and all the other receivers to sample the ether for the radar pulse. The rate of the synchronizing gating pulse is slightly offset from the rate of the radar bursts themselves, so that each sample collects one finely-detailed piece of information about the time-of-flight of the radar pulse to each receiver each pulse period. Thousands of sequential pulse periods provide corresponding thousand of pieces of information about the time-of-flight of the radar pulse to each receiver, in expanded, not real time. Therefore the signal processing can be done with relatively low-frequency, inexpensive components. A conventional microcomputer is then used to find the position of the transmitter by geometric triangulation based on the relative time-of-flight information.

  14. A study of carbon-14 of paleoatmospheric methane for the last glacial termination from ancient glacial ice

    E-Print Network [OSTI]

    Petrenko, Vasilii Victorovich

    2008-01-01

    for the last glacial termination." xii VITA Education Ph.D.the Last Glacial Termination: a horizontal ice core.the Last Glacial Termination: a horizontal ice core.

  15. Physical properties of naked DNA influence nucleosome positioning and correlate with transcription start and termination sites in yeast

    E-Print Network [OSTI]

    Deniz, Özgen; Flores, Oscar; Battistini, Federica; Pérez, Alberto; Soler-López, Montserrat; Orozco, Modesto

    2011-01-01

    with transcription start and termination sites in yeast. BMCtranscription start and termination sites in yeast Özgenand TTS (Transcription Termination Site) (at least in yeast)

  16. Floating LNG terminal and LNG carrier interaction analysis for side-by-side offloading operation 

    E-Print Network [OSTI]

    Kuriakose, Vinu P.

    2005-11-01

    Floating LNG terminals are a relatively new concept with the first such terminal in the world installed this year. The hydrodynamic interaction effects between the terminal and a LNG carrier in a side-by-side offloading arrangement is investigated...

  17. Initiation propagation and termination of elastodynamic ruptures associated with segmentation of faults and shaking

    E-Print Network [OSTI]

    Shaw, Bruce E.

    Initiation propagation and termination of elastodynamic ruptures associated with segmentation the initiation, propagation, and termination of ruptures and their relationship to fault geometry and shaking of terminations near fault ends; and persistent propagation directivity effects. Taking advantage of long

  18. An Information Theoretic Location Verification System for Wireless Networks

    E-Print Network [OSTI]

    Yan, Shihao; Nevat, Ido; Peters, Gareth W

    2012-01-01

    As location-based applications become ubiquitous in emerging wireless networks, Location Verification Systems (LVS) are of growing importance. In this paper we propose, for the first time, a rigorous information-theoretic framework for an LVS. The theoretical framework we develop illustrates how the threshold used in the detection of a spoofed location can be optimized in terms of the mutual information between the input and output data of the LVS. In order to verify the legitimacy of our analytical framework we have carried out detailed numerical simulations. Our simulations mimic the practical scenario where a system deployed using our framework must make a binary Yes/No "malicious decision" to each snapshot of the signal strength values obtained by base stations. The comparison between simulation and analysis shows excellent agreement. Our optimized LVS framework provides a defence against location spoofing attacks in emerging wireless networks such as those envisioned for Intelligent Transport Systems, wh...

  19. Transfer passenger needs at airports : human factors in terminal design

    E-Print Network [OSTI]

    Brillembourg, Marie-Claire

    1982-01-01

    This thesis analyzes the needs of particular users of airport: transfer passengers. The object of this work has been to produce a set of design guidelines for terminals. these guidelines are framed upon a user-need survey ...

  20. Decision support systems for automated terminal area air traffic control

    E-Print Network [OSTI]

    Pararas, John Demetrios

    1982-01-01

    This work studies the automation of the terminal area Air Traffic Management and Control (ATM/C) system. The ATM/C decision-making process is analyzed and broken down into a number of "automation functions". Each of these ...

  1. The dynamic scheduling of aircraft in the near terminal area

    E-Print Network [OSTI]

    Dear, Roger George

    1976-01-01

    Aircraft arrive in a random fashion into a terminal area seeking to land at a given runway. The aircraft are differentiated by their landing velocities. All aircraft are required to maintain a prespecified minimum horizontal ...

  2. Terminal control of a variable-stability slender reentry vehicle

    E-Print Network [OSTI]

    Karmondy, Matthew T

    2008-01-01

    Various terminal control schemes are applied to a proposed slender reentry vehicle, controlled by two separately-articulating flaps. The flap deflections are summarized as symmetric and asymmetric flap deflections; the ...

  3. A Terminal Molybdenum Arsenide Complex Synthesized from Yellow Arsenic

    E-Print Network [OSTI]

    Curley, John J.

    A terminal molybdenum arsenide complex is synthesized in one step from the reactive As4 molecule. The properties of this complex with its arsenic atom ligand are discussed in relation to the analogous nitride and phosphide ...

  4. Reachability and Termination Analysis of Concurrent Quantum Programs

    E-Print Network [OSTI]

    Nengkun Yu; Mingsheng Ying

    2012-06-09

    We introduce a Markov chain model of concurrent quantum programs. This model is a quantum generalization of Hart, Sharir and Pnueli's probabilistic concurrent programs. Some characterizations of the reachable space, uniformly repeatedly reachable space and termination of a concurrent quantum program are derived by the analysis of their mathematical structures. Based on these characterizations, algorithms for computing the reachable space and uniformly repeatedly reachable space and for deciding the termination are given.

  5. GAP-independent termination of photoreceptor light response by excess gamma subunit of the cGMP-phosphodiesterase

    E-Print Network [OSTI]

    2006-01-01

    of photoreceptor signal termination. Invest Oph- thalmol VisMolecular GAP-Independent Termination of Photoreceptor Light

  6. CAH TERMINATION POLICY All Exit Checklist activities must be conducted in accordance with all university policies and

    E-Print Network [OSTI]

    Wu, Shin-Tson

    CAH TERMINATION POLICY All Exit Checklist activities must be conducted in accordance with all://hr.ucf.edu/files/EmployeeExitQuestionnaire.pdf · Termination Checklist at: https://hr.ucf.edu/files/TerminationChecklist.pdf CAH TERMINATION PROCEDURES assigned to him/her. Specific PeopleSoft access should be terminated as well. Terminating employees must

  7. PROBABILISTIC METHODS FOR LOCATION ESTIMATION IN

    E-Print Network [OSTI]

    Myllymäki, Petri

    PROBABILISTIC METHODS FOR LOCATION ESTIMATION IN WIRELESS NETWORKS Petri Kontkanen, Petri Myllym;PROBABILISTIC METHODS FOR LOCATION ESTIMATION IN WIRELESS NETWORKS Petri Kontkanen, Petri Myllym¨aki, Teemu Roos METHODS FOR LOCATION ESTIMATION IN WIRELESS NETWORKS Petri Kontkanen, Petri Myllymäki, Teemu Roos, Henry

  8. VCU Human Resources November 14, 2011 Instructions for Termination ePAF

    E-Print Network [OSTI]

    Hammack, Richard

    VCU Human Resources November 14, 2011 Instructions for Termination ePAF TERME and TERMJ Overview We have revised the termination process and related ePAFs to help improve the efficiency and tracking of termination information. Effective July 26, 2010, Personnel Administrators (PAs) must submit termination e

  9. Enhanced surface diffusion through termination conversion during epitaxial SrRuO3 growth

    E-Print Network [OSTI]

    Eom, Chang Beom

    Enhanced surface diffusion through termination conversion during epitaxial SrRuO3 growth Guus of the ferromagnetic oxide SrRuO3 on TiO2-terminated SrTiO3 , we observe a self-organized conversion of the terminating to surface termination and growth mode.6 Because their application is mostly in mirror-symmetric trilayer

  10. Distributed Termination Detection for Dynamic D.M. Dhamdhere Sridhar Iyer E.K.K.Reddy

    E-Print Network [OSTI]

    Iyer, Sridhar

    Distributed Termination Detection for Dynamic Systems D.M. Dhamdhere Sridhar Iyer E.K.K.Reddy Dept of Computer Science IIT Bombay Mumbai, INDIA Abstract A symmetric algorithm for detecting the termination Distributed algorithms, Distributed computation, Distributed termination, Dynamic systems, Termination

  11. Termination of Domestic Partnership Signature of faculty/staff/student domestic partner

    E-Print Network [OSTI]

    Arnold, Jonathan

    Termination of Domestic Partnership Signature of faculty/staff/student domestic partner Printed as of ________________________. I certify I have mailed a copy of this Termination to my above named former domestic partner. We the domestic partnership is terminated. In the event more than one such Termination of Domestic Partnership

  12. Properties of the termination shock observed by Voyager 2 and J. D. Richardson3

    E-Print Network [OSTI]

    Richardson, John

    Properties of the termination shock observed by Voyager 2 H. Li,1,2 C. Wang,1 and J. D. Richardson3] In August 2007, Voyager 2 reached the termination shock and entered the heliosheath at a distance of about, the termination shock moved back and forth, and Voyager 2 crossed the termination shock multiple times. We use

  13. Quasi-Termination Analysis of Logic Programs Using Size-Change Graphs

    E-Print Network [OSTI]

    Vidal, Germán

    is a relevant problem in several areas, like tabled evaluation or partial evaluation, where quasi-termination analysis Keywords Quasi-Termination, Partial Deduction 1. INTRODUCTION While the termination of logic notion in the context of of- fline partial evaluation of functional programs [25], where quasi-termination

  14. 2014-03-06 Issuance: Test Procedures for Packaged Terminal Air Conditioners and Packaged Terminal Heat Pumps; Notice of Proposed Rulemaking

    Broader source: Energy.gov [DOE]

    This document is a pre-publication Federal Register notice of proposed rulemaking regarding test procedures for packaged terminal air conditioners and packaged terminal heat pumps, as issued by the Deputy Assistant Secretary on March 6, 2014.

  15. A new methodology for analyzing and predicting U.S. liquefied natural gas imports using neural networks 

    E-Print Network [OSTI]

    Bolen, Matthew Scott

    2005-11-01

    applications being filed in Canada and Mexico for LNG import terminals. The EIA (Energy Information Agency) estimates by 2025 that LNG will make up 21% of the total U.S. Natural Gas Supply. This study developed a neural network approach to forecast LNG imports...

  16. Method using a density field for locating related items for data mining

    DOE Patents [OSTI]

    Wylie, Brian N. (Albuquerque, NM)

    2002-01-01

    A method for locating related items in a geometric space transforms relationships among items to geometric locations. The method locates items in the geometric space so that the distance between items corresponds to the degree of relatedness. The method facilitates communication of the structure of the relationships among the items. The method makes use of numeric values as a measure of similarity between each pairing of items. The items are given initial coordinates in the space. An energy is then determined for each item from the item's distance and similarity to other items, and from the density of items assigned coordinates near the item. The distance and similarity component can act to draw items with high similarities close together, while the density component can act to force all items apart. If a terminal condition is not yet reached, then new coordinates can be determined for one or more items, and the energy determination repeated. The iteration can terminate, for example, when the total energy reaches a threshold, when each item's energy is below a threshold, after a certain amount of time or iterations.

  17. Cooled electrical terminal assembly and device incorporating same

    DOE Patents [OSTI]

    Beihoff, Bruce C.; Radosevich, Lawrence D.; Phillips, Mark G.; Kehl, Dennis L.; Kaishian, Steven C.; Kannenberg, Daniel G.

    2005-05-24

    A terminal structure provides interfacing with power electronics circuitry and external circuitry. The thermal support may receive one or more power electronic circuits. The support may aid in removing heat from the terminal structure and the circuits through fluid circulating through the support. The support may form a shield from both external EMI/RFI and from interference generated by operation of the power electronic circuits. Features may be provided to permit and enhance connection of the circuitry to external circuitry, such as improved terminal configurations. Modular units may be assembled that may be coupled to electronic circuitry via plug-in arrangements or through interface with a backplane or similar mounting and interconnecting structures.

  18. Cooled electrical terminal assembly and device incorporating same

    DOE Patents [OSTI]

    Beihoff, Bruce C.; Radosevich, Lawrence D.; Phillips, Mark G.; Kehl, Dennis L.; Kaishian, Steven C.; Kannenberg, Daniel G.

    2006-08-22

    A terminal structure provides interfacing with power electronics circuitry and external circuitry. The thermal support may receive one or more power electronic circuits. The support may aid in removing heat from the terminal structure and the circuits through fluid circulating through the support. The support may form a shield from both external EMI/RFI and from interference generated by operation of the power electronic circuits. Features may be provided to permit and enhance connection of the circuitry to external circuitry, such as improved terminal configurations. Modular units may be assembled that may be coupled to electronic circuitry via plug-in arrangements or through interface with a backplane or similar mounting and interconnecting structures.

  19. Role of chemical termination in edge contact to graphene

    SciTech Connect (OSTI)

    Gao, Qun; Guo, Jing, E-mail: guoj@ufl.edu [Department of Electrical and Computer Engineering, University of Florida, Gainesville, Florida 32611 (United States)

    2014-05-01

    Edge contacts to graphene can offer excellent contact properties. Role of different chemical terminations is examined by using ab initio density functional theory and quantum transport simulations. It is found that edge termination by group VI elements O and S offers considerably lower contact resistance compared to H and group VII element F. The results can be understood by significantly larger binding energy and shorter binding distance between the metal contact and these group VI elements, which results in considerably lower interface potential barrier and larger transmission. The qualitative conclusion applies to a variety of contact metal materials.

  20. Static power reduction for midpoint-terminated busses

    DOE Patents [OSTI]

    Coteus, Paul W. (Yorktown Heights, NY); Takken, Todd (Brewster, NY)

    2011-01-18

    A memory system is disclosed which is comprised of a memory controller and addressable memory devices such as DRAMs. The invention provides a programmable register to control the high vs. low drive state of each bit of a memory system address and control bus during periods of bus inactivity. In this way, termination voltage supply current can be minimized, while permitting selected bus bits to be driven to a required state. This minimizes termination power dissipation while not affecting memory system performance. The technique can be extended to work for other high-speed busses as well.

  1. Base drive circuit for a four-terminal power Darlington

    DOE Patents [OSTI]

    Lee, Fred C. (Blacksburg, VA); Carter, Roy A. (Salem, VA)

    1983-01-01

    A high power switching circuit which utilizes a four-terminal Darlington transistor block to improve switching speed, particularly in rapid turn-off. Two independent reverse drive currents are utilized during turn off in order to expel the minority carriers of the Darlington pair at their own charge sweep-out rate. The reverse drive current may be provided by a current transformer, the secondary of which is tapped to the base terminal of the power stage of the Darlington block. In one application, the switching circuit is used in each power switching element in a chopper-inverter drive of an electric vehicle propulsion system.

  2. Community Detection from Location-Tagged Networks

    E-Print Network [OSTI]

    Liu, Zhi

    2015-01-01

    Many real world systems or web services can be represented as a network such as social networks and transportation networks. In the past decade, many algorithms have been developed to detect the communities in a network using connections between nodes. However in many real world networks, the locations of nodes have great influence on the community structure. For example, in a social network, more connections are established between geographically proximate users. The impact of locations on community has not been fully investigated by the research literature. In this paper, we propose a community detection method which takes locations of nodes into consideration. The goal is to detect communities with both geographic proximity and network closeness. We analyze the distribution of the distances between connected and unconnected nodes to measure the influence of location on the network structure on two real location-tagged social networks. We propose a method to determine if a location-based community detection...

  3. Helicopter magnetic survey conducted to locate wells

    SciTech Connect (OSTI)

    Veloski, G.A.; Hammack, R.W.; Stamp, V.; Hall, R.; Colina, K.

    2008-07-01

    A helicopter magnetic survey was conducted in August 2007 over 15.6 sq mi at the Naval Petroleum Reserve No. 3’s (NPR-3) Teapot Dome Field near Casper, Wyoming. The survey’s purpose was to accurately locate wells drilled there during more than 90 years of continuous oilfield operation. The survey was conducted at low altitude and with closely spaced flight lines to improve the detection of wells with weak magnetic response and to increase the resolution of closely spaced wells. The survey was in preparation for a planned CO2 flood for EOR, which requires a complete well inventory with accurate locations for all existing wells. The magnetic survey was intended to locate wells missing from the well database and to provide accurate locations for all wells. The ability of the helicopter magnetic survey to accurately locate wells was accomplished by comparing airborne well picks with well locations from an intense ground search of a small test area.

  4. Earthquake locations and seismic velocity models for Southern California

    E-Print Network [OSTI]

    Lin, Guoqing

    2007-01-01

    Linearized EarthquakeChapter 4. The COMPLOC Earthquake Location3-D Simultaneous Earthquake Locations and

  5. Mixed Nash Equilibria in Concurrent Terminal-Reward Games

    E-Print Network [OSTI]

    Doyen, Laurent

    Mixed Nash Equilibria in Concurrent Terminal-Reward Games Patricia Bouyer, Nicolas Markey, and Daniel Stan LSV ­ CNRS & ENS Cachan ­ France Abstract We study mixed-strategy Nash equilibria states with a value for each player). We show undecidability of the existence of a constrained Nash

  6. Snowball Earth termination by destabilization of equatorial permafrost methane clathrate

    E-Print Network [OSTI]

    Kennedy, Martin J.

    LETTERS Snowball Earth termination by destabilization of equatorial permafrost methane clathrate-gassing during post-glacial oceanic overturn7 or methane hydrate destabilization8­10 . Here we report the broadest range of oxygen isotope values yet measured in mar- ine sediments (225% to 112%) in methane seeps

  7. Prfungen 1. Termin FS 2015 Bachelor / Master Chemie

    E-Print Network [OSTI]

    Mühlemann, Oliver

    Prüfungen 1. Termin FS 2015 Bachelor / Master Chemie Bachelor Biochemie Grundstudium Pharmazie to be handed in. Achtung: Die Wiederholungsprüfungstermine aus dem Bereich Chemie, Biochemie und Biologie make sure you always sign-up for the first exam date. Departement für Chemie und Biochemie

  8. Conservation of Heat Energy at Hot Petroleum Products Terminals 

    E-Print Network [OSTI]

    Powell, J. C.; Graham, R. M.

    1981-01-01

    Exxon operates several terminals which store asphalt and heavy fuel oil. Due to the rising cost of fuels, Exxon initiated a study to identify economic investments which would reduce the fuel needed to heat these products. First, fuel usage at four...

  9. TECHNICAL POLLUTION PREVENTION GUIDE FOR DRY BULK TERMINALS

    E-Print Network [OSTI]

    #12;TECHNICAL POLLUTION PREVENTION GUIDE FOR DRY BULK TERMINALS IN THE LOWER FRASER BASIN DOE FRAP 1996-19 Prepared for: Enviromnent Canada Environmental Protection Fraser Pollution Abatement North's report was fùnded by Environment Canada under the Fraser River Action Plan through its Fraser Pollution

  10. Despite its chaotic and disrupted opening, Heathrow's Terminal 5 is

    E-Print Network [OSTI]

    are famous for late completion and huge budget overruns. BAA, the company responsible for T5, avoided into the planning and construction of Terminal 5 at London's Heathrow airport shows how organisations can learn from major infrastructure programmes to improve their management of future projects. #12;Between June 2005

  11. BARNARD COLLEGE Termination of a Research Protocol Involving Human Subjects

    E-Print Network [OSTI]

    BARNARD COLLEGE Termination of a Research Protocol Involving Human Subjects Title: Principal) Study subjects: A total of _____ subjects were enrolled since the last report to the IRB. Since initial study approval on _____________ a total of _____ subjects have been enrolled in this study and ____ have

  12. QER- Comment of Lake Charles Harbor & Terminal District

    Broader source: Energy.gov [DOE]

    Good Afternoon, Please find the Lake Charles Harbor and Terminal District’s comments on Infrastructure Constraints in re: the QER Investigation hearing scheduled for Bismarck, ND on August 8, 2014. Please include these comments in the public record of the hearing. Thank you.

  13. Fault Locating, Prediction and Protection (FLPPS)

    SciTech Connect (OSTI)

    Yinger, Robert, J.; Venkata, S., S.; Centeno, Virgilio

    2010-09-30

    One of the main objectives of this DOE-sponsored project was to reduce customer outage time. Fault location, prediction, and protection are the most important aspects of fault management for the reduction of outage time. In the past most of the research and development on power system faults in these areas has focused on transmission systems, and it is not until recently with deregulation and competition that research on power system faults has begun to focus on the unique aspects of distribution systems. This project was planned with three Phases, approximately one year per phase. The first phase of the project involved an assessment of the state-of-the-art in fault location, prediction, and detection as well as the design, lab testing, and field installation of the advanced protection system on the SCE Circuit of the Future located north of San Bernardino, CA. The new feeder automation scheme, with vacuum fault interrupters, will limit the number of customers affected by the fault. Depending on the fault location, the substation breaker might not even trip. Through the use of fast communications (fiber) the fault locations can be determined and the proper fault interrupting switches opened automatically. With knowledge of circuit loadings at the time of the fault, ties to other circuits can be closed automatically to restore all customers except the faulted section. This new automation scheme limits outage time and increases reliability for customers. The second phase of the project involved the selection, modeling, testing and installation of a fault current limiter on the Circuit of the Future. While this project did not pay for the installation and testing of the fault current limiter, it did perform the evaluation of the fault current limiter and its impacts on the protection system of the Circuit of the Future. After investigation of several fault current limiters, the Zenergy superconducting, saturable core fault current limiter was selected for installation. Because of some testing problems with the Zenergy fault current limiter, installation was delayed until early 2009 with it being put into operation on March 6, 2009. A malfunction of the FCL controller caused the DC power supply to the superconducting magnet to be turned off. This inserted the FCL impedance into the circuit while it was in normal operation causing a voltage resonance condition. While these voltages never reached a point where damage would occur on customer equipment, steps were taken to insure this would not happen again. The FCL was reenergized with load on December 18, 2009. A fault was experienced on the circuit with the FCL in operation on January 14, 2010. The FCL operated properly and reduced the fault current by about 8%, what was expected from tests and modeling. As of the end of the project, the FCL was still in operation on the circuit. The third phase of the project involved the exploration of several advanced protection ideas that might be at a state where they could be applied to the Circuit of the Future and elsewhere in the SCE electrical system. Based on the work done as part of the literature review and survey, as well as a number of internal meetings with engineering staff at SCE, a number of ideas were compiled. These ideas were then evaluated for applicability and ability to be applied on the Circuit of the Future in the time remaining for the project. Some of these basic ideas were implemented on the circuit including measurement of power quality before and after the FCL. It was also decided that we would take what was learned as part of the Circuit of the Future work and extend it to the next generation circuit protection for SCE. Also at this time, SCE put in a proposal to the DOE for the Irvine Smart Grid Demonstration using ARRA funding. SCE was successful in obtaining funding for this proposal, so it was felt that exploration of new protection schemes for this Irvine Smart Grid Demonstration would be a good use of the project resources. With this in mind, a protection system that uses fault interrupting switches, hi

  14. Locating and tracking assets using RFID 

    E-Print Network [OSTI]

    Kim, Gak Gyu

    2009-05-15

    , this research presents a math¬ematical model of using RFID (both handheld readers and stationary readers) for e?cient asset location. We derive the expected cost of locating RFID¬tagged objects in a multi¬area environment where hand¬held RF readers are used. We...

  15. Columbia River: Terminal fisheries research project. 1994 Annual report

    SciTech Connect (OSTI)

    Hirose, P.; Miller, M.; Hill, J.

    1996-12-01

    Columbia River terminal fisheries have been conducted in Youngs Bay, Oregon, since the early 1960`s targeting coho salmon produced at the state facility on the North Fork Klaskanine River. In 1977 the Clatsop County Economic Development Council`s (CEDC) Fisheries Project began augmenting the Oregon Department of Fish and Wildlife production efforts. Together ODFW and CEDC smolt releases totaled 5,060,000 coho and 411,300 spring chinook in 1993 with most of the releases from the net pen acclimation program. During 1980-82 fall commercial terminal fisheries were conducted adjacent to the mouth of Big Creek in Oregon. All past terminal fisheries were successful in harvesting surplus hatchery fish with minimal impact on nonlocal weak stocks. In 1993 the Northwest Power Planning Council recommended in its` Strategy for Salmon that terminal fishing sites be identified and developed. The Council called on the Bonneville Power Administration to fund a 10-year study to investigate the feasibility of creating and expanding terminal known stock fisheries in the Columbia River Basin. The findings of the initial year of the study are included in this report. The geographic area considered for study extends from Bonneville Dam to the river mouth. The initial year`s work is the beginning of a 2-year research stage to investigate potential sites, salmon stocks, and methodologies; a second 3-year stage will focus on expansion in Youngs Bay and experimental releases into sites with greatest potential; and a final 5-year phase establishing programs at full capacity at all acceptable sites. After ranking all possible sites using five harvest and five rearing criteria, four sites in Oregon (Tongue Point, Blind Slough, Clifton Channel and Wallace Slough) and three in Washington (Deep River, Steamboat Slough and Cathlamet Channel) were chosen for study.

  16. Handleiding Import & Export RSS Feeds

    E-Print Network [OSTI]

    Galis, Frietson

    Handleiding Import & Export RSS Feeds Version: 1.0 RSS Feeds Date: 17-04-2013 #12;2 Exporteren RSS bestand. 1) Selecteer "Import and export.." 2) Selecteer "Export to a file" en vervolgens "Next" #12;3 3) Selecteer "Feeds" en vervolgens "Next" 4) Selecteer "Export" Wanneer u geen locatie opgeeft, zal Internet

  17. Structures of pseudechetoxin and pseudecin, two snake-venom cysteine-rich secretory proteins that target cyclic nucleotide-gated ion channels: implications for movement of the C-terminal cysteine-rich domain

    SciTech Connect (OSTI)

    Suzuki, Nobuhiro [Department of Applied Biochemistry, University of Tsukuba, Tsukuba, Ibaraki 305-8572 (Japan); Department of Biochemistry, National Institute of Agrobiological Sciences, Tsukuba, Ibaraki 305-8602 (Japan); Yamazaki, Yasuo [Department of Biochemistry, Meiji Pharmaceutical University, Kiyose, Tokyo 204-8588 (Japan); Brown, R. Lane [Neurological Science Institute, Oregon Health and Science University, Beaverton, Oregon 97006 (United States); Fujimoto, Zui [Department of Biochemistry, National Institute of Agrobiological Sciences, Tsukuba, Ibaraki 305-8602 (Japan); Morita, Takashi, E-mail: tmorita@my-pharm.ac.jp [Department of Biochemistry, Meiji Pharmaceutical University, Kiyose, Tokyo 204-8588 (Japan); Mizuno, Hiroshi, E-mail: tmorita@my-pharm.ac.jp [Department of Biochemistry, National Institute of Agrobiological Sciences, Tsukuba, Ibaraki 305-8602 (Japan); VALWAY Technology Center, NEC Soft Ltd, Koto-ku, Tokyo 136-8627 (Japan); Institute for Biological Resources and Functions, National Institute of Advanced Industrial Science and Technology, Central 6, Tsukuba, Ibaraki 305-8566 (Japan); Department of Applied Biochemistry, University of Tsukuba, Tsukuba, Ibaraki 305-8572 (Japan)

    2008-10-01

    The structures of pseudechetoxin and pseudecin suggest that both proteins bind to cyclic nucleotide-gated ion channels in a manner in which the concave surface occludes the pore entrance. Cyclic nucleotide-gated (CNG) ion channels play pivotal roles in sensory transduction by retinal photoreceptors and olfactory neurons. The elapid snake toxins pseudechetoxin (PsTx) and pseudecin (Pdc) are the only known protein blockers of CNG channels. These toxins belong to a cysteine-rich secretory protein (CRISP) family containing an N-terminal pathogenesis-related proteins of group 1 (PR-1) domain and a C-terminal cysteine-rich domain (CRD). PsTx and Pdc are highly homologous proteins, but their blocking affinities on CNG channels are different: PsTx blocks both the olfactory and retinal channels with ?15–30-fold higher affinity than Pdc. To gain further insights into their structure and function, the crystal structures of PsTx, Pdc and Zn{sup 2+}-bound Pdc were determined. The structures revealed that most of the amino-acid-residue differences between PsTx and Pdc are located around the concave surface formed between the PR-1 domain and the CRD, suggesting that the concave surface is functionally important for CNG-channel binding and inhibition. A structural comparison in the presence and absence of Zn{sup 2+} ion demonstrated that the concave surface can open and close owing to movement of the CRD upon Zn{sup 2+} binding. The data suggest that PsTx and Pdc occlude the pore entrance and that the dynamic motion of the concave surface facilitates interaction with the CNG channels.

  18. The Construction of Locative Situations: Locative Media and the Situationist International, Recuperation or Redux?

    E-Print Network [OSTI]

    McGarrigle, Conor

    2009-01-01

    closely aligned to the SI's construction of situations. ThisG (1957) Report on the Construction of Situations and on theThe Construction of Locative Situations: Locative Media and

  19. Method of locating underground mines fires

    DOE Patents [OSTI]

    Laage, Linneas (Eagam, MN); Pomroy, William (St. Paul, MN)

    1992-01-01

    An improved method of locating an underground mine fire by comparing the pattern of measured combustion product arrival times at detector locations with a real time computer-generated array of simulated patterns. A number of electronic fire detection devices are linked thru telemetry to a control station on the surface. The mine's ventilation is modeled on a digital computer using network analysis software. The time reguired to locate a fire consists of the time required to model the mines' ventilation, generate the arrival time array, scan the array, and to match measured arrival time patterns to the simulated patterns.

  20. Graphene flakes with defective edge terminations: Universal and topological aspects, and one-dimensional quantum behavior

    E-Print Network [OSTI]

    Yannouleas, Constantine

    Graphene flakes with defective edge terminations: Universal and topological aspects, and one graphene nanoflakes with reconstructed zigzag edges, where a succes- sion of pentagons and heptagons these spectra. The electronic spectra of trigonal graphene nanoflakes with reczag edge terminations exhibit

  1. Optimal Terminal Box Control for Single Duct Air-Handling Units 

    E-Print Network [OSTI]

    Cho, Y.; Vondal, J.; Wang, G.; Liu, M.

    2006-01-01

    Terminal boxes maintain room temperature by modulating supply air temperature and airflow in building HVAC systems. Terminal boxes with conventional control sequences often supply inadequate airflow to a conditioned space, resulting in occupant...

  2. Alpha Emission Near 100Sn and the Termination of the rp Process

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

    Alpha Emission Near 100 Sn and the Termination of the rp Process The astrophysical rp-process is thought to reach a termination point in the region of 100 Sn, via the...

  3. Energy, Shading and Daylighting Analysis for the Austin Bergstrom International Airport Terminal 

    E-Print Network [OSTI]

    Holder, L. M. III; Holder, L. M. IV

    2002-01-01

    Our firm was under contract with the City of Austin, Texas to perform energy analysis and analysis of the daylighting potential within the New Austin Bergstrom International Airport Terminal. Design of the Passenger Terminal Facility for the New...

  4. Earthquake Location, Direct, Global-Search Methods E 2449 Earthquake Location,

    E-Print Network [OSTI]

    Earthquake Location, Direct, Global-Search Methods E 2449 Earthquake Location, Direct, Global Kingdom Article Outline Glossary Definition of the Subject Introduction The Earthquake Location Problem or temporal av- erage of some characteristic of an earthquake, such as surface shaking intensity or moment

  5. Addressing endogeneity in residential location models

    E-Print Network [OSTI]

    Guevara-Cue, Cristián Angelo

    2005-01-01

    Some empirical residential location choice models have reported dwelling-unit price estimated parameters that are small, not statistically significant, or even positive. This would imply that households are non-sensitive ...

  6. Techniques for Mobile Location Estimation in UMTS 

    E-Print Network [OSTI]

    Thomas, Nicholas J

    The subject area of this thesis is the locating of mobile users using the future 3rd generation spread spectrum communication system UMTS. The motivation behind this work is twofold: firstly the United States Federal ...

  7. A Survey on the Warehouse Location Problem

    E-Print Network [OSTI]

    Cohen, Joseph J.

    The warehouse location problem has assumed numerous formulations, and solutions have been devised using a variety of mathematical techniques. The development of this effort is examined and relevant models presented for evaluation.

  8. Alternative Fuel Infrastructure Associate Location: San Diego

    E-Print Network [OSTI]

    California at Davis, University of

    Alternative Fuel Infrastructure Associate Location: San Diego Basic Functions Center an Alternative Fuel Infrastructure Associate that has a passion for sustainability, the environment, and accelerating the transition to a sustainable world powered by clean energy! The Alternative Fuel Infrastructure

  9. U.S. LPG pipeline begins deliveries to Pemex terminal

    SciTech Connect (OSTI)

    Bodenhamer, K.C.

    1997-08-11

    LPG deliveries began this spring to the new Mendez LPG receiving terminal near Juarez, State of Chihuahua, Mexico. Supplying the terminal is the 265-mile, 8-in. Rio Grande Pipeline that includes a reconditioned 217-mile, 8-in. former refined-products pipeline from near Odessa, Texas, and a new 48-mile, 8-in. line beginning in Hudspeth County and crossing the US-Mexico border near San Elizario, Texas. Capacity of the pipeline is 24,000 b/d. The LPG supplied to Mexico is a blend of approximately 85% propane and 15% butane. Before construction and operation of the pipeline, PGPB blended the propane-butane mix at a truck dock during loading. Demand for LPG in northern Mexico is strong. Less than 5% of the homes in Juarez have natural gas, making LPG the predominant energy source for cooking and heating in a city of more than 1 million. LPG also is widely used as a motor fuel.

  10. The Fermi Bubbles as Starburst Wind Termination Shocks

    E-Print Network [OSTI]

    Lacki, Brian C

    2013-01-01

    The enhanced star formation in the inner 100 pc of the Galaxy launches a superwind, reaching ~1600 km/s for M82-like parameters. The ram pressure of the wind is very low compared to more powerful starburst winds. I show that halo gas stops the wind a few kpc from the Galactic Center. I argue that the termination shock accelerates cosmic rays, and that the resulting Inverse Compton gamma-rays are visible as the Fermi Bubbles. The Bubbles are thus wind bubbles, which the starburst can inflate within 10 Myr. They remain in steady state as long as the starburst lasts. The shock may accelerate PeV electrons and ultra-high energy protons. The Bubbles may be analogs of galactic wind termination shocks in the intergalactic medium. I discuss the advantages and problems of this model.

  11. Neutral atom transport from the termination shock to 1 AU

    E-Print Network [OSTI]

    Maciej Bzowski; Slawomir Tarnopolski

    2006-04-27

    Dynamics of H, D, and heavy Energetic Neutral Atoms (ENA) between the termination shock and 1 AU is discussed in the context of the forthcoming NASA SMEX mission IBEX. In particular, effects of the velocity-dependent radiation pressure on atomic trajectories are considered and ionization losses between TS and 1 AU are studied. It is shown, among others, that most of the dynamical effects and ionization losses are induced within a few AU from the Sun, which translates to the time domain into $\\sim 1 - 3$ solar rotations before detection. This loosens considerably time requirements for tracking the ionization and radiation pressure history to just prior 3 months. ENA seem excellent tracers of the processes within the heliospheric interface, with the transport effects between the termination shock and detector relatively mild and easy to account for.

  12. Probing effective nucleon-nucleon interaction at band termination

    E-Print Network [OSTI]

    Wojciech Satula

    2006-10-27

    Low-energy nuclear structure is not sensitive enough to resolve fine details of nucleon-nucleon (NN) interaction. Insensitivity of infrared physics to the details of short-range strong interaction allows for consistent, free of ultraviolet divergences, formulation of local theory at the level of local energy density functional (LEDF) including, on the same footing, both particle-hole as well as particle-particle channels. Major difficulty is related to parameterization of the nuclear LEDF and its density dependence. It is argued that structural simplicity of terminating or isomeric states offers invaluable source of informations that can be used for fine-tuning of the NN interaction in general and the nuclear LEDF parameters in particular. Practical applications of terminating states at the level of LEDF and nuclear shell-model are discussed.

  13. Driver expectancy in locating automotive controls 

    E-Print Network [OSTI]

    Francis, Dawn Suzette

    1990-01-01

    DRIVER EXPECTANCY IN LOCATING AUTOMOTIVE CONTROLS A Thesis by DAWN SUZETTE FRANCIS Submitted to the Office of Graduate Studies of Texas A&M University in partial fulfillment of the requirements for the degree of MASTER OF SCIENCE May 1990... Major Subject: Industrial Engineering DRIVER EXPECTANCY IN LOCATING AUTOMOTIVE CONTROLS A Thesis by DAWN SUZETTE FRANCIS Approved as to style and content by: R. Dale Huchi son (Chair of Committee) Rodger . . ppa (Member) Waymon L ohnston (M er...

  14. On Detecting Termination in the Crash-Recovery Model Felix C. Freiling1

    E-Print Network [OSTI]

    Mittal, Neeraj

    Graduiertenkolleg "Software for Mobile Communicaton Systems" at RWTH Aachen University. A.-M. Kermarrec, L. Boug-passing system where processes may crash and recover. We show that it is impossible to solve the termination termination detection problem under these conditions. Keywords: asynchronous distributed system, termination

  15. Termination Graphs for Java Bytecode M. Brockschmidt, C. Otto, C. von Essen, and J. Giesl

    E-Print Network [OSTI]

    Ábrahám, Erika

    Termination Graphs for Java Bytecode M. Brockschmidt, C. Otto, C. von Essen, and J. Giesl LuFG Informatik 2, RWTH Aachen University, Germany Abstract. To prove termination of Java Bytecode (JBC) automatically, we transform JBC to finite termination graphs which represent all pos- sible runs of the program

  16. Transforming Termination by SelfLabelling Aart Middeldorp, 1 Hitoshi Ohsaki, 1 Hans Zantema 2

    E-Print Network [OSTI]

    Utrecht, Universiteit

    Transforming Termination by Self­Labelling Aart Middeldorp, 1 Hitoshi Ohsaki, 1 Hans Zantema 2 1 introduce a new technique for proving termination of term rewriting systems. The technique, a specialization of transformation methods that attempt to prove termination by transforming term rewriting systems into systems

  17. Detecting the Termination Shock and Beyond Chi Wang and John W. Belcher

    E-Print Network [OSTI]

    Richardson, John

    Detecting the Termination Shock and Beyond Chi Wang and John W. Belcher Center for Space Research of the termination shock by the Voyager spacecraft. The multiple crossings caused by large-scale solar wind, including the termination shock and the heliopause. As the Voyager spacecraft reach distances where crossing

  18. TERMINATION FORM Send complete, signed form to your Human Resources Services Area Office

    E-Print Network [OSTI]

    Haykin, Simon

    TERMINATION FORM Send complete, signed form to your Human Resources Services Area Office HR/ REV1.8/2007/12/11 A EMPLOYEE INFORMATION Employee ID First Name & Initial(s) Surname Effective Date of Termination (dd for Current Benefit Year Reason for Termination Comments B AUTHORIZATION Department Ext. Name Signature Date

  19. Growth Termination of Carbon Nanotubes at Millimeter Thickness Due to Structural Change in Catalyst

    E-Print Network [OSTI]

    Maruyama, Shigeo

    Growth Termination of Carbon Nanotubes at Millimeter Thickness Due to Structural Change in Catalyst, it is reported that "supergrowth" rate decreases with reaction time and finally the growth terminates [2]. Our group recently reproduced "supergrowth" [3] and observed similar "supergrowth" termination within a few

  20. On Termination of Constraint Logic Programs Livio Colussi 1, Elena Marchiori 2, Massimo Marchiori 1

    E-Print Network [OSTI]

    Marchiori, Elena

    On Termination of Constraint Logic Programs Livio Colussi 1, Elena Marchiori 2, Massimo Marchiori 1 introduces a necessary and sufficient condition for termination of constraint logic programs. The method programs. Then termination is proven using a technique inspired by the seminal approach of Floyd

  1. To appear in the Journal of Symbolic Computation Modular Termination Proofs for Rewriting

    E-Print Network [OSTI]

    Ábrahám, Erika

    To appear in the Journal of Symbolic Computation Modular Termination Proofs for Rewriting Using Recently, Arts and Giesl developed the dependency pair approach which allows automated termination and innermost termination proofs for many term rewriting systems for which such proofs were not possible before

  2. SAT-based Termination Analysis for Java Bytecode with AProVE

    E-Print Network [OSTI]

    Ábrahám, Erika

    SAT-based Termination Analysis for Java Bytecode with AProVE Carsten Fuhs LuFG Informatik 2, RWTH solving engines for the search problems in automated termination analysis. Consequently, the performance of current termination tools heavily relies on the speed of modern SAT solvers on the corresponding SAT

  3. Endoplasmic Reticulum-bound Ribosomes Reside in Stable Association with the Translocon following Termination of

    E-Print Network [OSTI]

    Nicchitta, Chris

    Termination of Protein Synthesis* Received for publication, March 15, 2002, and in revised form, April 18 pathway and dissociation occurring upon the termination of protein synthesis. Recent stud- ies indicate, however, that ribosomal subunits remain membrane-bound following the termination of protein synthesis

  4. Holocene climate instability during the termination of the African Humid Period

    E-Print Network [OSTI]

    Renssen, Hans

    Holocene climate instability during the termination of the African Humid Period H. Renssen January 2003; published 25 February 2003. [1] The termination of the Holocene African Humid Period ($9. Goosse, Holocene climate instability during the termination of the African Humid Period, Geophys. Res

  5. Fundamenta Informaticae 33(2), 1998, 201{209 1 Termination of graph rewriting is undecidable

    E-Print Network [OSTI]

    Plump, Detlef

    Fundamenta Informaticae 33(2), 1998, 201{209 1 IOS Press Termination of graph rewriting pushout approach") is terminating. The proof is by a reduction of the Post Correspondence Problem or of the termination problem for string rewriting systems to the present problem. Keywords: graph rewriting

  6. PROGRAM TERMINATION FORM Board of Governors, State University System of Florida

    E-Print Network [OSTI]

    Sin, Peter

    PROGRAM TERMINATION FORM Board of Governors, State University System of Florida UNIVERSITY TERMINATION DATE: _____________________________________ (Last date that students will be accepted into program for this program) 1. Provide a narrative rationale for the request to terminate the program. 3. Indicate on which

  7. Meridional movement of wind anomalies during ENSO events and their role in event termination

    E-Print Network [OSTI]

    Santoso, Agus

    Meridional movement of wind anomalies during ENSO events and their role in event termination Shayne), Meridional movement of wind anomalies during ENSO events and their role in event termination, Geophys. Res, setting up conditions favorable for the termination of ENSO warm events. The basic principles of the RDO

  8. Magnetic fields at the solar wind termination shock L. F. Burlaga1

    E-Print Network [OSTI]

    Richardson, John

    LETTERS Magnetic fields at the solar wind termination shock L. F. Burlaga1 , N. F. Ness2 , M. H and dynamics of the termination shock, made by Voyager 2 on 31 August­1 September 2007 at a distance of 83.7 AU') at the shock. This Letter discusses three termination shock crossings (TS-2, TS- 3 and TS-4) that were observed

  9. APPEAL TO STUDENT PROGRESS APPEALS COMMITTEE TERMINATION FROM COURSE NOT ACHIEVING SATISFACTORY COURSE PROGRESS

    E-Print Network [OSTI]

    Mucina, Ladislav

    APPEAL TO STUDENT PROGRESS APPEALS COMMITTEE TERMINATION FROM COURSE NOT ACHIEVING SATISFACTORY COURSE PROGRESS This form is to be used to lodge an appeal against the decision to terminate you from ID Student Name Course Code and Name Faculty Year and Study Period of Termination Citizenship status

  10. College Policy and Procedure for the Termination of a Student's Registration Introduction

    E-Print Network [OSTI]

    Crawford, Ian

    College Policy and Procedure for the Termination of a Student's Registration Introduction 1. The College reserves the right to terminate the registration of any student on academic grounds, disciplinary be followed in order for a student's registration to be terminated for academic reasons, or where the student

  11. Modular Termination of Basic Narrowing Maria Alpuente, Santiago Escobar, and Jose Iborra

    E-Print Network [OSTI]

    Alpuente, María

    Modular Termination of Basic Narrowing Mar´ia Alpuente, Santiago Escobar, and Jos´e Iborra theories. Another application is analyzing ter- mination of narrowing by checking the termination of basic narrowing, as done in pioneering work by Hullot. In this work, we study the modu- larity of termination

  12. Early Termination in Ben-Or/Tiwari Sparse Interpolation and a Hybrid of Zippel's Algorithm

    E-Print Network [OSTI]

    Kaltofen, Erich

    Early Termination in Ben-Or/Tiwari Sparse Interpolation and a Hybrid of Zippel's Algorithm Wen, ei = deg fxi. #12;Idea # 1 Early termination degree? number of terms? What if an upper bound. And double the guess if fails. Early termination. Interpolate the polynomial at a random point, when

  13. Electronic structure of the Si(111):GaSe van der Waals-like surface termination

    E-Print Network [OSTI]

    Olmstead, Marjorie

    Electronic structure of the Si(111):GaSe van der Waals-like surface termination Reiner Rudolph-like surface termination has been determined by angle-resolved photoelectron spectroscopy using photons. This explains both the absence of a surface core-level shift in Si 2p photoelectron spectra of the terminated

  14. Supervisors and Termination A presentation to FGSR Council, 16 November 2011 (updated June 2014)

    E-Print Network [OSTI]

    Wang, Hao "Howard"

    Supervisors and Termination A presentation to FGSR Council, 16 November 2011 (updated June 2014) Dr that their supervisor has terminated their program of studies. In some cases, the supervisor sent a letter to the student stating that the student's program of studies had come to an end. Supervisors cannot terminate

  15. Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages

    E-Print Network [OSTI]

    Middeldorp, Aart

    Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages J the application of existing techniques from term rewriting in order to prove termination of programs in the functional language Has- kell. In particular, we show how termination techniques for ordinary re- writing can

  16. Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages #

    E-Print Network [OSTI]

    Ábrahám, Erika

    Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages # J the application of existing techniques from term rewriting in order to prove termination of programs in the functional language Has­ kell. In particular, we show how termination techniques for ordinary re­ writing can

  17. REQUEST FOR REVIEW OF DECISION / REQUEST FOR READMISSION TERMINATION FROM COURSE NOT ACHIEVING SATISFACTORY COURSE PROGRESS

    E-Print Network [OSTI]

    Mucina, Ladislav

    REQUEST FOR REVIEW OF DECISION / REQUEST FOR READMISSION TERMINATION FROM COURSE NOT ACHIEVING is obliged to report student visa holders who have been Terminated for not achieving satisfactory course of the appeals process. COURSE DETAILS COURSE FROM WHICH I HAVE BEEN TERMINATED Course code Course name STUDY

  18. Transforming Termination by Self-Labelling Aart Middeldorp,1 Hitoshi Ohsaki,1 Hans Zantema2

    E-Print Network [OSTI]

    Utrecht, Universiteit

    Transforming Termination by Self-Labelling Aart Middeldorp,1 Hitoshi Ohsaki,1 Hans Zantema2 1 introduce a new technique for proving termination of term rewriting systems. The technique, a specialization of transformation methods that attempt to prove termination by transforming term rewriting systems into systems

  19. RESEARCH Open Access Cell type-specific termination of transcription by

    E-Print Network [OSTI]

    Jordan, King

    RESEARCH Open Access Cell type-specific termination of transcription by transposable element sequences necessary for their own transposition, including signals required for the termination to terminate the transcription of host gene transcripts. While there is evidence in support of this model

  20. Abrupt change of Antarctic moisture origin at the end of Termination II

    E-Print Network [OSTI]

    Chappellaz, Jérôme

    Abrupt change of Antarctic moisture origin at the end of Termination II V. Masson-Delmottea,1 , B of events involved in Termination II, the transition between the penultimate glacial and interglacial periods. This termination is marked by a north­south seesaw behavior, with first a slow methane concen

  1. Improvements on the "Size Change Termination Principle" in a functional language

    E-Print Network [OSTI]

    Improvements on the "Size Change Termination Principle" in a functional language Pierre Hyvernat improvements of Lee, Jones and Ben-Amram size change termination principle specialised to functional-graphs and yields a more precise test for termination. 1 Introduction Lee, Jones and Ben-Amram size change

  2. Message-Optimal and Latency-Optimal Termination Detection Algorithms for Arbitrary

    E-Print Network [OSTI]

    Mittal, Neeraj

    Message-Optimal and Latency-Optimal Termination Detection Algorithms for Arbitrary Topologies. Detecting termination of a distributed computation is a fun- damental problem in distributed systems. We present two optimal algo- rithms for detecting termination of a non-diffusing distributed computa- tion

  3. Intense plasma waves at and near the solar wind termination shock

    E-Print Network [OSTI]

    Gurnett, Donald A.

    LETTERS Intense plasma waves at and near the solar wind termination shock D. A. Gurnett1 & W. S wind termination shock. The observations were obtained from the plasma-wave instrument on the Voyager 2 a series of crossings of the termination shock at a heliocentric radial distance of 83.7 AU. The spectrum

  4. Termination Detection in an Asynchronous Distributed System with Crash-Recovery

    E-Print Network [OSTI]

    Mittal, Neeraj

    Termination Detection in an Asynchronous Distributed System with Crash-Recovery Failures Felix C 75083, USA 1 Termination Detection In practice, it cannot easily be detected whether a computation running in a distributed system has terminated or not. Thus, suitable observing algorithms are required

  5. Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation

    E-Print Network [OSTI]

    Vidal, Germán

    Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation Michael-46022, Valencia, Spain {stamarit,gvidal}@dsic.upv.es Abstract. A logic program strongly terminates if it terminates for any selection rule. Clearly, considering a particular selection rule--like Pro- log's leftmost

  6. United States National Waste Terminal Storage argillaceous rock studies

    SciTech Connect (OSTI)

    Brunton, G.D.

    1981-01-01

    The past and present argillaceous rock studies for the US National Waste Terminal Storage Program consist of: (1) evaluation of the geological characteristics of several widespread argillaceous formations in the United States; (2) laboratory studies of the physical and chemical properties of selected argillaceous rock samples; and (3) two full-scale in situ surface heater experiments that simulate the emplacement of heat-generating radioactive waste in argillaceous rock.

  7. Pick-up ion energization at the termination shock

    SciTech Connect (OSTI)

    Gary, S Peter [Los Alamos National Laboratory; Winske, Dan [Los Alamos National Laboratory; Wu, Pin [BOSTON UNIV.; Schwadron, N A [BOSTON UNIV.

    2009-01-01

    One-dimensional hybrid simulations are used to investigate how pickup ions are energized at the perpendicular termination shock. Contrary to previous models based on pickup ion energy gain by repeated crossings of the shock front (shock surfing) or due to a reforming shock front, the present simulations show that pickup ion energy gain involves a gyro-phasedependent interaction with the inhomogeneous motional electric field at the shock. The process operates at all relative concentrations of pickup ion density.

  8. EECBG Success Story: New San Antonio Airport Terminal Generating...

    Office of Environmental Management (EM)

    away and the team knew that a solar photovoltaic (PV) system at the airport would offer a highly visible location to showcase renewable energy technologies, help the city...

  9. Molecular Cell Structure and Biological Importance

    E-Print Network [OSTI]

    Hill, Chris

    ,* and Christopher P. Hill1,* 1Department of Biochemistry, University of Utah School of Medicine, Salt Lake City, UT- dues 140­300) that is flanked on both sides by regions that are predicted to be disordered (Ward et al that is expected to be unstructured (Ward et al., 2004) and a C-terminal domain (CTD) that adopts an SH2 fold

  10. Location theory and the location of industry along an interstate highway 

    E-Print Network [OSTI]

    Miller, James Patterson

    1965-01-01

    a greater gamble. This sect. ion has been devoted to s review of the fundamental factors underlying all plant location ss recognised in location theory. The next section will review some recent. empirical attempts to determine the actual... for this thesis was possible through the assistance provided )ointly by the Texas Highway Department and the Bureau of Public Roads. i. v TABLE OF CONTENTS Chapter Page INTRODUCTION Purpose Plan of Study REVIEW OF PLANT LOCATION CONCEPTS Introduction...

  11. Utility Locating in the DOE Environment

    SciTech Connect (OSTI)

    Clark Scott; Gail Heath

    2006-04-01

    Some advances have been made in utility locating in recent years and standards have been recently published to try and categorize the level of information known about the utility in the subsurface. At the same time some characterization about the level of effort or technology in the geophysicist approach to utility locating may be generalized. The DOE environment poses some added difficulties and this presentation covers these issues, costs and the technical approach that has been developed at the INEEL to prevent utility hits and how it fits into the generalized classification of effort.

  12. Locating PHEV exchange stations in V2G

    SciTech Connect (OSTI)

    Pan, Feng; Bent, Russell; Berscheid, Alan; Izraelevitz, David

    2010-01-01

    Plug-in hybrid electric vehicle (PREV) is an environment friendly modem transportation method and has been rapidly penetrate the transportation system. Renewable energy is another contributor to clean power but the associated intermittence increases the uncertainty in power generation. As a foreseen benefit of a vchicle-to-grid (V2G) system, PREV supporting infrastructures like battery exchange stations can provide battery service to PREV customers as well as being plugged into a power grid as energy sources and stabilizer. The locations of exchange stations are important for these two objectives under constraints from both ,transportation system and power grid. To model this location problem and to understand and analyze the benefit of a V2G system, we develop a two-stage stochastic program to optimally locate the stations prior to the realizations of battery demands, loads, and generation capacity of renewable power sources. Based on this model, we use two data sets to construct the V2G systems and test the benefit and the performance of these systems.

  13. Date Created: 4/24/2012 6:29:00 AM Page 1 Initiating a Termination Checklist from the online Termination form

    E-Print Network [OSTI]

    Calgary, University of

    your Workforce Administration menu, when a termination form is not required (e.g. Term Jobs with end #12;Date Created: 4/24/2012 6:29:00 AM Page 3 Complete the following steps: Step Action 4. Enter terminating employee's EmplID and select Search #12;Page 4 Date Created: 4/24/2012 6:29:00 AM Complete

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

  15. Self-terminating diffraction gates femtosecond X-ray nanocrystallography

    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 RoomPreservation ofAlbuquerque| StanfordOfficeImplementationmeasurements Self-terminating

  16. Sustainable Transportation Fellowship Location: San Diego, CA

    E-Print Network [OSTI]

    California at Davis, University of

    Sustainable Transportation Fellowship Location: San Diego, CA Our clean energy future depends. · Regular web posts on other clean transportation topics. · Assist in other tasks, as assigned. The ideal and a clean, healthy environment. To bring about such a future, each of us must make wise choices now

  17. Secure Location Verification Using Radio Broadcast

    E-Print Network [OSTI]

    Nesterenko, Mikhail

    , exploits the difference between propagation speeds of radio and sound waves to estimate the position1 Secure Location Verification Using Radio Broadcast Adnan Vora and Mikhail Nesterenko Abstract of the prover. In this paper, we propose a solution that leverages the broadcast nature of the radio signal

  18. Secure Location Verification Using Radio Broadcast

    E-Print Network [OSTI]

    Nesterenko, Mikhail

    the difference between propagation speeds of radio and sound waves to estimate the position of the proverSecure Location Verification Using Radio Broadcast Adnan Vora and Mikhail Nesterenko Computer. In this paper, we propose a solution that leverages the broadcast nature of the radio signal emitted

  19. OPTIMAL LOCATION OF ISOLATION VALVES IN WATER

    E-Print Network [OSTI]

    Mays, Larry W.

    CHAPTER 7 OPTIMAL LOCATION OF ISOLATION VALVES IN WATER DISTRIBUTION SYSTEMS: A RELIABILITY The cornerstone of any healthy population is access to safe drinking water. The goal of the United Nations International Drinking Water Supply and Sanitation Decade from 1981 to 1990 was safe drinking water for all

  20. Ontology-based Disambiguation of Spatiotemporal Locations

    E-Print Network [OSTI]

    Hyvönen, Eero

    , in the semantic portal MuseumFinland3 [7] a location parton- omy4 was used for annotating museum artifacts. #12;A problem when creating a semantic cultural heritage portal is that places, both modernFinland originate from regions that no longer exist and/or are not part of Finland but of Russia with new names

  1. Locating Secret Messages in Images Ian Davidson

    E-Print Network [OSTI]

    Davidson, Ian

    Locating Secret Messages in Images Ian Davidson Computer Science, SUNY Albany 1400 Washington in innocuous media such as images, while steganalysis is the field of detecting these secret messages contributing the most to the energy calculations of an image are deemed outliers. Typically, of the top third

  2. www.elsevier.com/locate/visres polarization

    E-Print Network [OSTI]

    Boal, Jean

    .elsevier.com/locate/visres Cuttlefish use polarization sensitivity in predation on silvery fish Nadav Shashar a,b, Roland Hagan c, Jean of cuttlefish, we examined the preference of Sepia officina/is when presented with fish whose polarization reflection was greatly reduced versus fish whose polarization reflection was not affected. Cuttlefish preyed

  3. Important LANL Directions and Contacts

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power Administration would likeUniverseIMPACT EVALUATION PLAN FOR THE SITE- SPECIFICImplicationsImportant

  4. Important notice about using /house

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power Administration would likeUniverseIMPACT EVALUATION PLAN FOR THE SITE- SPECIFICImplicationsImportantProject-X:

  5. Company Level Imports Explanatory Notes

    Gasoline and Diesel Fuel Update (EIA)

    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 GasAdjustments (Billion Cubic Feet) Wyoming Dry NaturalPrices1 Table 1.101Company Level Imports Explanatory Notes

  6. Effects of surface termination on the band gap of ultrabright Si29 nanoparticles: Experiments and computational models

    E-Print Network [OSTI]

    Braun, Paul

    Effects of surface termination on the band gap of ultrabright Si29 nanoparticles: Experiments constituting a H-terminated reconstructed Si surface was recently proposed as a structural prototype termination with a N linkage in butylamine and O linkage in pentane . The emission band for N-termination

  7. Metadata of the chapter that will be visualized online ChapterTitle Observations of the Termination Shock and Heliosheath

    E-Print Network [OSTI]

    Richardson, John

    Metadata of the chapter that will be visualized online ChapterTitle Observations of the Termination termination shock and are now in the heliosheath, the region of shocked solar wind plasma before the heliopause. This paper reviews observations of the termination foreshock, the termination shock (TS

  8. Termination of Rewriting with Right-Flat Rules Guillem Godoy 1 , Eduard Huntingford 2 , and Ashish Tiwari 3

    E-Print Network [OSTI]

    Tiwari, Ashish

    Termination of Rewriting with Right-Flat Rules Guillem Godoy 1 , Eduard Huntingford 2 , and Ashish, Menlo Park, CA 94025 tiwari@csl.sri.com Abstract. Termination and innermost termination are shown occur at depth at most one) and linear. Innermost termination is also shown to be decidable for shallow

  9. CAH TERMINATION POLICY All Exit Checklist activities must be conducted in accordance with all university policies and

    E-Print Network [OSTI]

    Wu, Shin-Tson

    CAH TERMINATION POLICY All Exit Checklist activities must be conducted in accordance with all Questionnaire at: http://www.hr.ucf.edu/web/forms/employeerelations/exitinterview.pdf CAH TERMINATION PROCEDURES assigned to him/her. Specific PeopleSoft access should be terminated as well. Terminating employees must

  10. Regenerator Location Problem in Flexible Optical Networks

    E-Print Network [OSTI]

    2014-11-22

    Alone in US, a 1% saving in the energy consumption of Internet due to the ... only increases the importance of energy efficiency of telecommunications networks.

  11. High-spin structure and Band Termination in $^{103}$Cd

    E-Print Network [OSTI]

    A. Chakraborty; Krishichayan; S. Mukhopadhyay; S. Ray; S. N. Chintalapudi; S. S. Ghugre; N. S. Pattabiraman; A. K. Sinha; S. Sarkar; U. Garg; S. Zhu; M. Saha Sarkar

    2007-09-11

    Excited states of the neutron deficient $^{103}$Cd nucleus have been investigated via the $^{72}$Ge($^{35}$Cl, p3n) reaction at beam energy of 135 MeV by use of in-beam spectroscopic methods. Gamma rays depopulating the excited states were detected using the Gammasphere spectrometer with high-fold $\\gamma$-ray coincidences. A quadrupole $\\gamma$-ray coincidence analysis ($\\gamma^{4}$) has been used to extend the known level scheme. The positive parity levels have been established up to $J = 35/2\\hbar$ and $E_{x} = 7.071$ MeV. In addition to the observation of highly-fragmented level scheme belonging to the positive-parity sequences at E$_{x}\\sim$ 5 MeV, the termination of a negative-parity sequence connected by $E2$ transitions has been established at $J = 47/2 \\hbar$ and $E_{x} = 11.877$ MeV. The experimental results corresponding to both the positive- and negative-parity sequences have been theoretically interpreted in the framework of the core particle coupling model. Evidence is presented for a shape change from collective prolate to non-collective oblate above the $J^{\\pi} = 39/2^{-}$ (8011 keV) level and for a smooth termination of the negative-parity band.

  12. The termination shock in a striped pulsar wind

    E-Print Network [OSTI]

    Y. E. Lyubarsky

    2003-06-22

    The origin of radio emission from plerions is considered. Recent observations suggest that radio emitting electrons are presently accelerated rather than having been injected at early stages of the plerion evolution. The observed flat spectra without a low frequency cutoff imply an acceleration mechanism that raises the average particle energy by few orders of magnitude but leaves most of the particles at the energy less than about few hundred MeV. It is suggested that annihilation of the alternating magnetic field at the pulsar wind termination shock provides the necessary mechanism. Toroidal stripes of opposite magnetic polarity are formed in the wind emanated from an obliquely rotating pulsar magnetosphere (the striped wind). At the termination shock, the flow is compressed and the magnetic field annihilates by driven reconnection. Jump conditions are obtained for the shock in a striped wind. It is shown that postshock MHD parameters of the flow are the same as if the energy of alternating field has already been converted into the plasma energy upstream the shock. Therefore the available estimates of the ratio of the Poynting flux to the matter energy flux, $\\sigma$, should be attributed not to the total upstream Poynting flux but only to that associated with the average magnetic field. A simple model for the particle acceleration in the shocked striped wind is presented.

  13. Mobile Homophily and Social Location Prediction

    E-Print Network [OSTI]

    Bapierre, Halgurt; Groh, Georg

    2015-01-01

    The mobility behavior of human beings is predictable to a varying degree e.g. depending on the traits of their personality such as the trait extraversion - introversion: the mobility of introvert users may be more dominated by routines and habitual movement patterns, resulting in a more predictable mobility behavior on the basis of their own location history while, in contrast, extrovert users get about a lot and are explorative by nature, which may hamper the prediction of their mobility. However, socially more active and extrovert users meet more people and share information, experiences, believes, thoughts etc. with others. which in turn leads to a high interdependency between their mobility and social lives. Using a large LBSN dataset, his paper investigates the interdependency between human mobility and social proximity, the influence of social networks on enhancing location prediction of an individual and the transmission of social trends/influences within social networks.

  14. VCSEL fault location apparatus and method

    DOE Patents [OSTI]

    Keeler, Gordon A. (Albuquerque, NM); Serkland, Darwin K. (Albuquerque, NM)

    2007-05-15

    An apparatus for locating a fault within an optical fiber is disclosed. The apparatus, which can be formed as a part of a fiber-optic transmitter or as a stand-alone instrument, utilizes a vertical-cavity surface-emitting laser (VCSEL) to generate a test pulse of light which is coupled into an optical fiber under test. The VCSEL is subsequently reconfigured by changing a bias voltage thereto and is used as a resonant-cavity photodetector (RCPD) to detect a portion of the test light pulse which is reflected or scattered from any fault within the optical fiber. A time interval .DELTA.t between an instant in time when the test light pulse is generated and the time the reflected or scattered portion is detected can then be used to determine the location of the fault within the optical fiber.

  15. Protein location prediction using atomic composition and global features of the amino acid sequence

    SciTech Connect (OSTI)

    Cherian, Betsy Sheena, E-mail: betsy.skb@gmail.com [Centre for Bioinformatics, University of Kerala, Kariyavattom Campus, Thiruvananthapuram, Kerala (India); Nair, Achuthsankar S. [Centre for Bioinformatics, University of Kerala, Kariyavattom Campus, Thiruvananthapuram, Kerala (India)] [Centre for Bioinformatics, University of Kerala, Kariyavattom Campus, Thiruvananthapuram, Kerala (India)

    2010-01-22

    Subcellular location of protein is constructive information in determining its function, screening for drug candidates, vaccine design, annotation of gene products and in selecting relevant proteins for further studies. Computational prediction of subcellular localization deals with predicting the location of a protein from its amino acid sequence. For a computational localization prediction method to be more accurate, it should exploit all possible relevant biological features that contribute to the subcellular localization. In this work, we extracted the biological features from the full length protein sequence to incorporate more biological information. A new biological feature, distribution of atomic composition is effectively used with, multiple physiochemical properties, amino acid composition, three part amino acid composition, and sequence similarity for predicting the subcellular location of the protein. Support Vector Machines are designed for four modules and prediction is made by a weighted voting system. Our system makes prediction with an accuracy of 100, 82.47, 88.81 for self-consistency test, jackknife test and independent data test respectively. Our results provide evidence that the prediction based on the biological features derived from the full length amino acid sequence gives better accuracy than those derived from N-terminal alone. Considering the features as a distribution within the entire sequence will bring out underlying property distribution to a greater detail to enhance the prediction accuracy.

  16. Menstrual cycle effects on spatial location tasks 

    E-Print Network [OSTI]

    Andrew, Sarah

    2013-02-22

    abilities (Halpem, 1992; Voyer et al. , 1995). However, there is one spatial ability test where women demonstrate an advantage over men. This female advantage spatial ability is known as spaflal location memory (Eals & Silvermen, 1994; Silverman & Eals..., Mock & Erbaugh, 1961) and a brief daily diary, which recorded subjective moods (i. e. , anxiety, sadness, anger, happiness, and energy level). The participants recorded their daily moods in the daily diary by marking a spot on a 10 cm visual analogue...

  17. Alternative Fueling Station Locator | Department of Energy

    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 DeliciousMathematics And StatisticsProgram ManagerCorridor Designations in 11Alternative Fueling Station Locator

  18. Location of Narrowband Spikes in Solar Flares

    E-Print Network [OSTI]

    Arnold O. Benz; Pascal Saint-Hilaire; Nicole Vilmer

    2001-12-19

    Narrowband spikes of the decimeter type have been identified in dynamic spectrograms of Phoenix-2 of ETH Zurich and located in position with the Nancay Radioheliograph at the same frequency. The spike positions have been compared with the location of hard X-ray emission and the thermal flare plasma in soft X-rays and EUV lines. The decimetric spikes are found to be single sources located some 20" to 400" away from the flare site in hard or soft X-rays. In most cases there is no bright footpoint nearby. In at least two cases the spikes are near loop tops. These observations do not confirm the widely held view that the spike emission is produced by some loss-cone instability masering near the footpoints of flare loops. On the other hand, the large distance to the flare sites and the fact that these spikes are all observed in the flare decay phase make the analyzed spike sources questionable sites for the main flare electron acceleration. They possibly indicate coronal post-flare acceleration sites.

  19. Semantics of Functional and Locative Relations in Rongga

    E-Print Network [OSTI]

    Aryawibawa, I. Nyoman

    2010-01-01

    Many scholars have proposed a universal set of locative relations. Herskovits’s comprehensive study of English locative relations found that locative concepts such as inclusion, support and contiguity, and coincidence are basic in English. Her...

  20. Location Prediction in Social Media Based on Tie Strength 

    E-Print Network [OSTI]

    McGee, Jeffrey A

    2013-04-29

    We propose a novel network-based approach for location estimation in social media that integrates evidence of the social tie strength between users for improved location estimation. Concretely, we propose a location estimator – Friendly...

  1. Performance of VAV Parallel Fan Powered Terminal Units: Experimental Results and Models 

    E-Print Network [OSTI]

    Furr, J.; O'Neal, D.; Davis, M.; Bryant, J.; Cramlet, A.

    2008-01-01

    to develop empirical models of airflow, power, and leakage of both parallel and series fan power terminal units. These models are suitable for use in annual energy use models of variable air volume systems in commer- cial buildings. This paper provides a... was the development of empirical models of power and airflow output for parallel and series fan powered terminal units at typical operating pres- sures. An experimental setup was developed and used to test fan powered terminal units from three manufacturers...

  2. Fact #736: July 16, 2012 Total Petroleum Imports and Net Petroleum Imports: The Difference is Growing

    Broader source: Energy.gov [DOE]

    When referring to U.S. imports of petroleum, it is important to make the distinction between total imports and net imports. Net imports are equal to the amount of total imported petroleum minus the...

  3. A Catalytic Mechanism for Cysteine N-Terminal Nucleophile Hydrolases, as Revealed by Free Energy Simulations

    E-Print Network [OSTI]

    2012-01-01

    2 | e32397 A Catalytic Mechanism for Cysteine Ntn-Hydrolaseson the catalytic mechanism of aspartylglucosaminidase (AGA):serine protease- like mechanism with an N-terminal threonine

  4. Roles of Oxygen and Water Vapor in the Oxidation of Halogen Terminated Ge(111) Surfaces

    SciTech Connect (OSTI)

    Sun, Shiyu; /Stanford U., Phys. Dept.; Sun, Yun; Liu, Zhi; Lee, Dong-Ick; Pianette, Piero; /SLAC, SSRL

    2006-12-18

    The initial stage of the oxidation of Cl and Br terminated Ge(111) surfaces is studied using photoelectron spectroscopy. The authors perform controlled experiments to differentiate the effects of different factors in oxidation, and find that water vapor and oxygen play different roles. Water vapor effectively replaces the halogen termination layers with the hydroxyl group, but does not oxidize the surfaces further. In contrast, little oxidation is observed for Cl and Br terminated surfaces with dry oxygen alone. However, with the help of water vapor, oxygen oxidizes the surface by breaking the Ge-Ge back bonds instead of changing the termination layer.

  5. Energy Department Announces Student Teams, Location for Solar...

    Office of Environmental Management (EM)

    Student Teams, Location for Solar Decathlon 2015 Energy Department Announces Student Teams, Location for Solar Decathlon 2015 February 13, 2014 - 1:00pm Addthis News Media Contact...

  6. Optimization Online - p-facility Huff location problem on networks

    E-Print Network [OSTI]

    Rafael Blanquero

    2014-10-30

    Oct 30, 2014 ... Abstract: The p-facility Huff location problem aims at locating facilities on a competitive environment so as to maximize the market share.

  7. Research Site Locations for Current and Former EERE Postdoctoral...

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

    Research Site Locations for Current and Former EERE Postdoctoral Awards, from the U.S. Department of Energy's Office of Energy Efficiency and Renewable Energy. Facility Location...

  8. Open Location-Oriented Services for the Web

    E-Print Network [OSTI]

    Wilde, Erik

    2008-01-01

    Location Management for Mobile Devices. In Proceedings ofof wireless data services and mobile devices can take fullof location-awareness and mobile devices. Conclusions This

  9. Multi-terminal Subsystem Model Validation for Pacific DC Intertie

    SciTech Connect (OSTI)

    Yang, Bo; Huang, Zhenyu; Kosterev, Dmitry

    2008-07-20

    this paper proposes to validate dynamic model of Pacific DC Intertie with the concept of hybrid simulation by combing simulation with PMU measurements. The Playback function available in GE PSLF is adopted for hybrid simulation. It is demonstrated for the first time the feasibility of using Playback function on multi-terminal subsystem. Sensitivity studies are also presented as a result of common PMU measurement quality problem, ie, offset noise and time synchronization. Results indicate a good tolerance of PDCI model generally. It is recommended that requirements should apply to phasor measurements in model validation work to ensure better analysis. Key parameters are identified based on impact of value change to model behavior. Two events are employed for preliminary model validation with PMU measurements. Suggestions are made for PDCI model validation work in the future.

  10. Power line carrier interference from HVDC converter terminals

    SciTech Connect (OSTI)

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

    1993-07-01

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

  11. High pressure, high current, low inductance, high reliability sealed terminals

    DOE Patents [OSTI]

    Hsu, John S. (Oak Ridge, TN) [Oak Ridge, TN; McKeever, John W. (Oak Ridge, TN) [Oak Ridge, TN

    2010-03-23

    The invention is a terminal assembly having a casing with at least one delivery tapered-cone conductor and at least one return tapered-cone conductor routed there-through. The delivery and return tapered-cone conductors are electrically isolated from each other and positioned in the annuluses of ordered concentric cones at an off-normal angle. The tapered cone conductor service can be AC phase conductors and DC link conductors. The center core has at least one service conduit of gate signal leads, diagnostic signal wires, and refrigerant tubing routed there-through. A seal material is in direct contact with the casing inner surface, the tapered-cone conductors, and the service conduits thereby hermetically filling the interstitial space in the casing interior core and center core. The assembly provides simultaneous high-current, high-pressure, low-inductance, and high-reliability service.

  12. The Location Pattern of Malls in Texas 

    E-Print Network [OSTI]

    Han, Dongjin

    2014-09-05

    Malls are common places in urban areas. They present us with safe and convenient environments to shop and to spend leisure time. Although malls have an important presence in our lives, not much empirical research on malls ...

  13. Tel: Name: Rm. Tel: Location: Rm.

    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 RoomPreservationBio-Inspired Solar FuelTechnologyTel: Name: Rm. Tel: Location: Rm. Oct 2, 2015 Amin,

  14. Sandia National Laboratories: Locations: Kauai Test Facility

    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 RoomPreservation ofAlbuquerque Albuquerque Housing Education Recreation Locations LifeKauai Test

  15. Sandia National Laboratories: Locations: Livermore, California

    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 RoomPreservation ofAlbuquerque Albuquerque Housing Education Recreation Locations LifeKauai

  16. Modeling study of deposition locations in the 291-Z plenum

    SciTech Connect (OSTI)

    Mahoney, L.A.; Glissmeyer, J.A.

    1994-06-01

    The TEMPEST (Trent and Eyler 1991) and PART5 computer codes were used to predict the probable locations of particle deposition in the suction-side plenum of the 291-Z building in the 200 Area of the Hanford Site, the exhaust fan building for the 234-5Z, 236-Z, and 232-Z buildings in the 200 Area of the Hanford Site. The Tempest code provided velocity fields for the airflow through the plenum. These velocity fields were then used with TEMPEST to provide modeling of near-floor particle concentrations without particle sticking (100% resuspension). The same velocity fields were also used with PART5 to provide modeling of particle deposition with sticking (0% resuspension). Some of the parameters whose importance was tested were particle size, point of injection and exhaust fan configuration.

  17. An Energy Efficient Location Service for Mobile Ad Hoc etworks

    E-Print Network [OSTI]

    Varela, Carlos

    the distance traveled by the location update and query packets and, thus, at reducing the overall energy cost by the location update and query packets and, thus, to reduce the overall energy cost. 2 Energy Efficient LocationAn Energy Efficient Location Service for Mobile Ad Hoc etworks Zijian Wang1 , Eyuphan Bulut1

  18. ,"U.S. Crude Oil Imports"

    U.S. Energy Information Administration (EIA) Indexed Site

    Imports from Denmark of Crude Oil (Thousand Barrels per Day)","U.S. Imports from Egypt of Crude Oil (Thousand Barrels per Day)","U.S. Imports from Equatorial Guinea of Crude...

  19. ,"U.S. Crude Oil Imports"

    U.S. Energy Information Administration (EIA) Indexed Site

    Imports from Denmark of Crude Oil (Thousand Barrels)","U.S. Imports from Egypt of Crude Oil (Thousand Barrels)","U.S. Imports from Equatorial Guinea of Crude Oil...

  20. Mobile Terminal Energy Management for Sustainable Multi-homing Video Transmission

    E-Print Network [OSTI]

    Zhuang, Weihua

    ]. In addition to develop- ing new battery technology with improved capacity, the MT operational period between1 Mobile Terminal Energy Management for Sustainable Multi-homing Video Transmission Muhammad Ismail-system is proposed for mobile terminals (MTs) to support a sustainable multi-homing video transmission, over the call

  1. Ballistic transport and electrical spin signal enhancement in a nanoscale three-terminal spintronic device

    E-Print Network [OSTI]

    Yu, Edward T.

    Ballistic transport and electrical spin signal enhancement in a nanoscale three-terminal spintronic dimensions is investigated and exploited in a nanoscale three-terminal, all-electrical spintronic-electrical spintronic switching device in which ballistic electron transport at nanoscale dimensions combined

  2. Chemical passivity of III-VI bilayer terminated Si,,111... Jonathan A. Adamsa

    E-Print Network [OSTI]

    Olmstead, Marjorie

    Chemical passivity of III-VI bilayer terminated Si,,111... Jonathan A. Adamsa and Aaron A online 17 October 2005 The chemical stability of Si 111 , terminated with bilayer AlSe and GaSe, upon electronic and atomic structure do not imply similar chemical passivity. While Si 111 :GaSe is largely

  3. MANAGEMENT OF DANGEROUS GOODS IN CONTAINER TERMINAL WITH MAS Mansoriya Hamidou*

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    MANAGEMENT OF DANGEROUS GOODS IN CONTAINER TERMINAL WITH MAS MODEL Mansoriya Hamidou* , Dominique the dangerous container storage problem. It is an optimization problem since the aim is to improve the container. Keywords: container terminal, dangerous container, multi-agents system, security 1. INTRODUCTION This paper

  4. Chlorination of hydrogen-terminated silicon ,,111... surfaces Sandrine Rivillon and Yves J. Chabala

    E-Print Network [OSTI]

    Webb, Lauren J.

    Chlorination of hydrogen-terminated silicon ,,111... surfaces Sandrine Rivillon and Yves J. Chabala the chlorination of hydrogen-terminated Si 111 surfaces by three different methods: a exposure to a saturated introduced onto clean silicon surfaces using either vapor deposition under ultrahigh vacuum or by use

  5. Three-dimensional terminally attached self-avoiding walks and bridges

    E-Print Network [OSTI]

    Nathan Clisby; Andrew R. Conway; Anthony J. Guttmann

    2015-07-24

    We study terminally attached self-avoiding walks and bridges on the simple cubic lattice, both by series analysis and Monte Carlo methods. We provide strong numerical evidence supporting a scaling relation between self-avoiding walks, bridges, and terminally attached self-avoiding walks, and posit that a corresponding amplitude ratio is a universal quantity.

  6. Vehicle Dispatching Problem at the Container Terminal with Tandem Lift Quay Cranes 

    E-Print Network [OSTI]

    Xing, Yao

    2013-07-09

    , the tandem lift operations bring new challenges to the vehicle dispatching at terminals and this has become a big issue in the application of tandem lift QCs. The vehicle dispatching at terminals is to enhance the QCs’ productivities by coordinating the QCs...

  7. Signal Processing Algorithms for the Terminal Doppler Weather Radar: Build 2

    E-Print Network [OSTI]

    Cho, John Y. N.

    Signal Processing Algorithms for the Terminal Doppler Weather Radar: Build 2 February 21, 2010 John to the public through the National Technical Information Service, Springfield, VA 22161 Signal Processing) was developed for the Terminal Doppler Weather Radar (TDWR), enhanced signal processing algorithms taking

  8. Termination for a Class of Algorithms for Constructing Algebras Given by Generators and Relations

    E-Print Network [OSTI]

    van Leeuwen, Marc

    Termination for a Class of Algorithms for Constructing Algebras Given by Generators" of the algebra is used. The algorithm itself is only partially specified: it proceed* *s by repeatedly taking* * for selecting steps is assumed. We study the question whether termination of the algorithm is guaranteed

  9. An Effective Termination Criterion for the Rudin-Osher-Fatemi Algorithm for Image Restoration

    E-Print Network [OSTI]

    Lu, Wu-Sheng

    An Effective Termination Criterion for the Rudin-Osher-Fatemi Algorithm for Image Restoration results from the algorithm only when one terminates the algorithm at the "right time" which turns out to be way before the corresponding parabolic partial differential equation converges to its steady

  10. Equational Termination by Semantic Labelling Hitoshi Ohsaki \\Lambda Aart Middeldorp y Jurgen Giesl z

    E-Print Network [OSTI]

    Giesl, Juergen

    Equational Termination by Semantic Labelling Hitoshi Ohsaki \\Lambda Aart Middeldorp y J¨urgen Giesl z Semantic labelling (Zantema [5]) is a powerful tool for proving termination of term rewrite, parameterized by three choices: (1) the well­founded order on the underlying algebra (partial order vs. quasi

  11. Termination Problem of the APO Algorithm Tal Grinshpoun, Moshe Zazon, Maxim Binshtok, and Amnon Meisels

    E-Print Network [OSTI]

    Meisels, Amnon

    Termination Problem of the APO Algorithm Tal Grinshpoun, Moshe Zazon, Maxim Binshtok, and Amnon. Asynchronous Partial Overlay (APO) is a search algorithm that uses cooperative mediation to solve Distributed contradict the termination and consequently the completeness of the APO algo- rithm. A correction

  12. Small-Angle Neutron Scattering Studies of Charged Carboxyl-Terminated Dendrimers in Solutions

    E-Print Network [OSTI]

    Dubin, Paul D.

    Small-Angle Neutron Scattering Studies of Charged Carboxyl-Terminated Dendrimers in Solutions Q. R-angle neutron scattering was used to characterize the solution behavior of charged carboxylic acid terminated- copy,16 small-angle X-ray scattering,17 and small-angle neutron scattering (SANS),18-25 have been used

  13. COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode

    E-Print Network [OSTI]

    Zanardini, Damiano

    COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode E. Albert1 and termination together is interesting, as both analyses share most of the machinery to, respectively, infer cost analysis share most of the system machinery, as they need to consider and infer roughly the same

  14. Detection and Location of Gamma-Ray Sources With a Modulating Coded Mask

    E-Print Network [OSTI]

    important to national security for numerous reasons, particularly nuclear materials smuggling interdiction and threat detection. This article presents two meth- ods of detecting and locating a concealed nuclear -ray contamination in industrial equipment (Woodring et al. 2003) and for nuclear arms con- trol verification

  15. Active Frame, Location, and Detector Selection for Automated and Manual Video Annotation

    E-Print Network [OSTI]

    Soatto, Stefano

    is dominated by the cost of high-level procedures, e.g. submitting images to a battery of detectors the complexity of a label- ing scheme, using either an oracle or a battery of detectors, battery of detectors (location in an image). It is important to stress that our method aims to reduce complexity

  16. Does the location of aircraft nitrogen oxide emissions affect their climate impact?

    E-Print Network [OSTI]

    Stevenson, David

    integrations: a base case, then variants with extra aircraft nitrogen oxide (NOx) emissions added to specific NOx emissions. NOx promotes tropospheric ozone (O3) production, but also stimulates methane (CH4 how important the emission location is in influencing the impact of aviation NOx on O3 and CH4. 2

  17. Distributed Data Location in a Dynamic Network Kirsten Hildrum, John D. Kubiatowicz,

    E-Print Network [OSTI]

    Kubiatowicz, John D.

    locations. Two important properties of a routing infrastructure are routing locality and rapid adaptation, durability, and locality. This has lead to a renewed interest in techniques for routing queries to objects adapt to arriving and departing nodes while maintain- ing the above properties. Although clearly

  18. Identification of Location and Nature of Organic Matter and Contaminants on Sediments

    E-Print Network [OSTI]

    Identification of Location and Nature of Organic Matter and Contaminants on Sediments U. Ghosh matter in natural sediments. Such knowledge is important in understanding the fundamental nature), and nitroaromatics such as TNT. The role of hard carbonaceous materials in sediments such as coal-derived particles

  19. Locating hardware faults in a parallel computer

    DOE Patents [OSTI]

    Archer, Charles J.; Megerian, Mark G.; Ratterman, Joseph D.; Smith, Brian E.

    2010-04-13

    Locating hardware faults in a parallel computer, including defining within a tree network of the parallel computer two or more sets of non-overlapping test levels of compute nodes of the network that together include all the data communications links of the network, each non-overlapping test level comprising two or more adjacent tiers of the tree; defining test cells within each non-overlapping test level, each test cell comprising a subtree of the tree including a subtree root compute node and all descendant compute nodes of the subtree root compute node within a non-overlapping test level; performing, separately on each set of non-overlapping test levels, an uplink test on all test cells in a set of non-overlapping test levels; and performing, separately from the uplink tests and separately on each set of non-overlapping test levels, a downlink test on all test cells in a set of non-overlapping test levels.

  20. Location Independent Professional Project: A Pilot Study

    SciTech Connect (OSTI)

    Hudson, J.A.; Long, J.P.; Miller, M.M.

    1999-02-01

    This pilot study project explored the problem of providing access to the nomadic worker who desires to connect a computer through network access points at a number of different locations within the SNL/NM campus as well as outside the campus. The design and prototype development gathered knowledge that may allow a design to be developed that could be extended to a larger number of SNL/NM network drop boxes. The focus was to provide a capability for a worker to access the SNL IRN from a network drop box (e.g. in a conference room) as easily as when accessing the computer network from the office normally used by the worker. Additional study was done on new methods to authenticate the off campus worker, and protect and control access to data.

  1. ACOUSTIC DETECTING AND LOCATING GAS PIPE LINE INFRINGEMENT

    SciTech Connect (OSTI)

    John L. Loth; Gary J. Morris; George M. Palmer; Richard Guiler; Patrick Browning

    2004-12-01

    The extensive network of high-pressure natural gas transmission pipelines covering the United States provides an important infrastructure for our energy independence. Early detection of pipeline leaks and infringements by construction equipment, resulting in corrosion fractures, presents an important aspect of our national security policy. The National Energy Technology Laboratory Strategic Center for Natural Gas (SCVG) is and has been funding research on various applicable techniques. The WVU research team has focused on monitoring pipeline background acoustic signals generated and transmitted by gas flowing through the gas inside the pipeline. In case of a pipeline infringement, any mechanical impact on the pipe wall, or escape of high-pressure gas, generates acoustic signals traveling both up and down stream through the gas. Sudden changes in flow noise are detectable with a Portable Acoustic Monitoring Package (PAMP), developed under this contract. It incorporates a pressure compensating microphone and a signal- recording device. Direct access to the gas inside the line is obtained by mounting such a PAMP, with a 1/2 inch NPT connection, to a pipeline pressure port found near most shut-off valves. An FFT of the recorded signal subtracted by that of the background noise recorded one-second earlier appears to sufficiently isolate the infringement signal to allow source interpretation. Using cell phones for data downloading might allow a network of such 1000-psi rated PAMP's to acoustically monitor a pipeline system and be trained by neural network software to positively identify and locate any pipeline infringement.

  2. ACOUSTIC DETECTING AND LOCATING GAS PIPE LINE INFRINGEMENT

    SciTech Connect (OSTI)

    John L. Loth; Gary J. Morris; George M. Palmer; Richard Guiler; Patrick Browning

    2004-10-31

    The extensive network of high-pressure natural gas transmission pipelines covering the United States provides an important infrastructure for our energy independence. Early detection of pipeline leaks and infringements by construction equipment, resulting in corrosion fractures, presents an important aspect of our national security policy. The National Energy Technology Laboratory Strategic Center for Natural Gas (SCVG) is and has been funding research on various applicable techniques. The WVU research team has focused on monitoring pipeline background acoustic signals generated and transmitted by gas flowing through the gas inside the pipeline. In case of a pipeline infringement, any mechanical impact on the pipe wall, or escape of high-pressure gas, generates acoustic signals traveling both up and down stream through the gas. Sudden changes in flow noise are detectable with a Portable Acoustic Monitoring Package (PAMP), developed under this contract. It incorporates a pressure compensating microphone and a signal- recording device. Direct access to the gas inside the line is obtained by mounting such a PAMP, with a 1/2 inch NPT connection, to a pipeline pressure port found near most shut-off valves. An FFT of the recorded signal subtracted by that of the background noise recorded one-second earlier appears to sufficiently isolate the infringement signal to allow source interpretation. Using cell phones for data downloading might allow a network of such 1000-psi rated PAMP's to acoustically monitor a pipeline system and be trained by neural network software to positively identify and locate any pipeline infringement.

  3. Design and early development of a UAV terminal and a ground station for laser communications

    E-Print Network [OSTI]

    Carrasco-Casado, Alberto; Sanchez-Pena, Jose M

    2015-01-01

    A free-space laser communication system has been designed and partially developed as an alternative to standard RF links from UAV to ground stations. This project belongs to the SINTONIA program (acronym in Spanish for low environmental-impact unmanned systems), led by BR&TE (Boeing Research and Technology Europe) with the purpose of boosting Spanish UAV technology. A MEMS-based modulating retroreflector has been proposed as a communication terminal onboard the UAV, allowing both the laser transmitter and the acquisition, tracking and pointing subsystems to be eliminated. This results in an important reduction of power, size and weight, moving the burden to the ground station. In the ground station, the ATP subsystem is based on a GPS-aided two-axis gimbal for tracking and coarse pointing, and a fast steering mirror for fine pointing. A beacon-based system has been designed, taking advantage of the retroreflector optical principle, in order to determine the position of the UAV in real-time. The system man...

  4. Imports and Exports of Fishery Products

    E-Print Network [OSTI]

    Imports and Exports of Fishery Products Annual Summary, 2001 IMPORTS. U.S. imports of edible of fishery products were imported. EXPORTS. U.S. exports of edible fishery products of domestic origin were 1,139,744 tons valued at $3.1 billion, compared with 948,025 tons at $2.8 billion exported in 2000

  5. IMPORTS AND EXPORTS OF FISHERY PRODUCTS

    E-Print Network [OSTI]

    IMPORTS AND EXPORTS OF FISHERY PRODUCTS ANNUAL SUMMARY, 1996 IMPORTS. U.S. imports of edible higher than in 1995, when $12.5 billion of fishery products were imported. EXPORTS. U.S. exports,376 tons at $3.1 billion exported in 1995. Fresh and frozen items were 791,822 tons valued at $2.2 billion

  6. Imports and Exports of Fishery Products

    E-Print Network [OSTI]

    Imports and Exports of Fishery Products Annual Summary, 1998 IMPORTS. U.S. imports of edible higher than in 1997, when $14.5 billion of fishery products were imported. EXPORTS. U.S. exports,499 tons at $2.6 billion exported in 1997. Fresh and frozen items were 631,627 tons valued at $1.7 billion

  7. Imports and Exports of Fishery Products

    E-Print Network [OSTI]

    Imports and Exports of Fishery Products Annual Summary, 2003 IMPORTS. U.S. imports of edible imported. EXPORTS. U.S. exports of edible fishery products of domestic origin were 1,047,706 tons valued at $3.1 billion, compared with 1,056,303 tons at $3.0 billion exported in 2002. Fresh and frozen items

  8. IMPORTS AND EXPORTS OF FISHERY PRODUCTS

    E-Print Network [OSTI]

    IMPORTS AND EXPORTS OF FISHERY PRODUCTS ANNUAL SUMMARY, 1997 IMPORTS. U.S. imports of edible higher than in 1996, when $13.1 billion of fishery products were imported. EXPORTS. U.S. exports,720 tons at $2.9 billion exported in 1996. Fresh and frozen items were 782,767 tons valued at $2.0 billion

  9. Imports and Exports of Fishery Products

    E-Print Network [OSTI]

    Imports and Exports of Fishery Products Annual Summary, 2000 IMPORTS. U.S. imports of edible.0 billion of fishery products were imported. EXPORTS. U.S. exports of edible fishery products of domestic origin were 948,025 tons valued at $2.8 billion, compared with 864,166 tons at $2.7 billion exported

  10. Imports and Exports of Fishery Products

    E-Print Network [OSTI]

    Imports and Exports of Fishery Products Annual Summary, 1999 IMPORTS. U.S. imports of edible higher than in 1998, when $15.6 billion of fishery products were imported. EXPORTS. U.S. exports,067 tons at $2.2 billion exported in 1998. Fresh and frozen items were 725,050 tons valued at $2.1 billion

  11. High-spin structure and Band Termination in $^{103}$Cd

    E-Print Network [OSTI]

    Chakraborty, A; Mukhopadhyay, S; Ray, S; Chintalapudi, S N; Ghugre, S S; Pattabiraman, N S; Sinha, A K; Sarkar, S; Garg, U; Zhu, S; Sarkar, M Saha

    2007-01-01

    Excited states of the neutron deficient $^{103}$Cd nucleus have been investigated via the $^{72}$Ge($^{35}$Cl, p3n) reaction at beam energy of 135 MeV by use of in-beam spectroscopic methods. Gamma rays depopulating the excited states were detected using the Gammasphere spectrometer with high-fold $\\gamma$-ray coincidences. A quadrupole $\\gamma$-ray coincidence analysis ($\\gamma^{4}$) has been used to extend the known level scheme. The positive parity levels have been established up to $J = 35/2\\hbar$ and $E_{x} = 7.071$ MeV. In addition to the observation of highly-fragmented level scheme belonging to the positive-parity sequences at E$_{x}\\sim$ 5 MeV, the termination of a negative-parity sequence connected by $E2$ transitions has been established at $J = 47/2 \\hbar$ and $E_{x} = 11.877$ MeV. The experimental results corresponding to both the positive- and negative-parity sequences have been theoretically interpreted in the framework of the core particle coupling model. Evidence is presented for a shape chan...

  12. Defining the Termination of the Asymptotic Giant Branch

    E-Print Network [OSTI]

    Noam Soker

    2007-12-22

    I suggest a theoretical quantitative definition for the termination of the asymptotic giant branch (AGB) phase and the beginning of the post-AGB phase. I suggest that the transition will be taken to occur when the ratio of the dynamical time scale to the the envelope thermal time scale, Q, reaches its maximum value. Time average values are used for the different quantities, as the criterion does not refer to the short time-scale variations occurring on the AGB and post-AGB, e.g., thermal pulses (helium shell flashes) and magnetic activity. Along the entire AGB the value of Q increases, even when the star starts to contract. Only when a rapid contraction starts does the value of Q start to decrease. This criterion captures the essence of the transition from the AGB to the post AGB phase, because Q is connected to the stellar effective temperature, reaching its maximum value at T~4000-6000 K, it is related to the mass loss properties, and it reaches its maximum value when rapid contraction starts and envelope mass is very low.

  13. Survival probability and energy modification of hydrogen Energetic Neutral Atoms on their way from the termination shock to Earth orbit

    E-Print Network [OSTI]

    Bzowski, M

    2008-01-01

    Contect: With the forthcoming launch of a NASA SMEX mission IBEX devoted to imaging of heliospheric interface by in-situ detection of Energetic Neutral Atoms (ENA) an important issue becomes recognizing of transport of these atoms from the termination shock of the solar wind to Earth orbit. Aims: Investigate modifications of energy and of survival probability of the H ENA detectable by IBEX (0.01 -- 6 keV) between the termination shock and Earth orbit taking into account the influence of the variable and anisotropic solar wind and solar EUV radiation. Methods: Energy change of the atoms is calculated by numerical simulations of orbits of the H ENA atoms from ~100 AU from the Sun down to Earth orbit, taking into account solar gravity and Lyman-$\\alpha$ radiation pressure, which is variable in time and depends on radial velocity of the atom. To calculate survival probabilities of the atoms against onization, a detailed 3D and time-dependent model of H ENA ionization based on observations of the solar wind and E...

  14. The effect of weaving maneuvers on operation of a free right-turn lane at ramp terminals 

    E-Print Network [OSTI]

    Park, Minchul

    2006-04-12

    Service interchange ramp terminals provide access from the local highway or urban street system to the freeway. In urban areas, the ramp terminals at the arterial road are usually signalized for separation of all high-volume conflicting movements...

  15. Evolution of Plasma Parameters in the Termination Phase of High Confinement H-modes at JET and Implications for ITER

    E-Print Network [OSTI]

    Evolution of Plasma Parameters in the Termination Phase of High Confinement H-modes at JET and Implications for ITER

  16. Homodyne impulse radar hidden object locator

    DOE Patents [OSTI]

    McEwan, T.E.

    1996-04-30

    An electromagnetic detector is designed to locate an object hidden behind a separator or a cavity within a solid object. The detector includes a PRF generator for generating 2 MHz pulses, a homodyne oscillator for generating a 2 kHz square wave, and for modulating the pulses from the PRF generator. A transmit antenna transmits the modulated pulses through the separator, and a receive antenna receives the signals reflected off the object. The receiver path of the detector includes a sample and hold circuit, an AC coupled amplifier which filters out DC bias level shifts in the sample and hold circuit, and a rectifier circuit connected to the homodyne oscillator and to the AC coupled amplifier, for synchronously rectifying the modulated pulses transmitted over the transmit antenna. The homodyne oscillator modulates the signal from the PRF generator with a continuous wave (CW) signal, and the AC coupled amplifier operates with a passband centered on that CW signal. The present detector can be used in several applications, including the detection of metallic and non-metallic objects, such as pipes, studs, joists, nails, rebars, conduits and electrical wiring, behind wood wall, ceiling, plywood, particle board, dense hardwood, masonry and cement structure. The detector is portable, light weight, simple to use, inexpensive, and has a low power emission which facilitates the compliance with Part 15 of the FCC rules. 15 figs.

  17. Homodyne impulse radar hidden object locator

    DOE Patents [OSTI]

    McEwan, Thomas E. (Livermore, CA)

    1996-01-01

    An electromagnetic detector is designed to locate an object hidden behind a separator or a cavity within a solid object. The detector includes a PRF generator for generating 2 MHz pulses, a homodyne oscillator for generating a 2 kHz square wave, and for modulating the pulses from the PRF generator. A transmit antenna transmits the modulated pulses through the separator, and a receive antenna receives the signals reflected off the object. The receiver path of the detector includes a sample and hold circuit, an AC coupled amplifier which filters out DC bias level shifts in the sample and hold circuit, and a rectifier circuit connected to the homodyne oscillator and to the AC coupled amplifier, for synchronously rectifying the modulated pulses transmitted over the transmit antenna. The homodyne oscillator modulates the signal from the PRF generator with a continuous wave (CW) signal, and the AC coupled amplifier operates with a passband centered on that CW signal. The present detector can be used in several applications, including the detection of metallic and non-metallic objects, such as pipes, studs, joists, nails, rebars, conduits and electrical wiring, behind wood wall, ceiling, plywood, particle board, dense hardwood, masonry and cement structure. The detector is portable, light weight, simple to use, inexpensive, and has a low power emission which facilitates the compliance with Part 15 of the FCC rules.

  18. TAGGING, TRACKING AND LOCATING WITHOUT GPS

    SciTech Connect (OSTI)

    Cordaro, J.; Coleman, T.; Shull, D.

    2012-07-08

    The Savannah River National Laboratory (SRNL) was requested to lead a Law Enforcement Working Group that was formed to collaborate on common operational needs. All agencies represented on the working group ranked their need to tag, track, and locate a witting or unwitting target as their highest priority. Specifically, they were looking for technologies more robust than Global Positioning Satellite (GPS), could communicate back to the owner, and worked where normal cell phone communications did not work or were unreliable. SRNL brought together multiple technologies in a demonstration that was held in in various Alaska venues, including metropolitan, wilderness, and at-sea that met the working group's requirements. Using prototypical technologies from Boeing, On Ramp, and Fortress, SRNL was able to demonstrate the ability to track personnel and material in all scenarios including indoors, in heavily wooden areas, canyons, and in parking garages. In all cases GPS signals were too weak to measure. Bi-directional communication was achieved in areas that Wi-Fi, cell towers, or traditional radios would not perform. The results of the exercise will be presented. These technologies are considered ideal for tracking high value material such has nuclear material with a platform that allows seamless tracking anywhere in the world, indoors or outdoors.

  19. SAPLE: Sandia Advanced Personnel Locator Engine.

    SciTech Connect (OSTI)

    Procopio, Michael J.

    2010-04-01

    We present the Sandia Advanced Personnel Locator Engine (SAPLE) web application, a directory search application for use by Sandia National Laboratories personnel. SAPLE's purpose is to return Sandia personnel 'results' as a function of user search queries, with its mission to make it easier and faster to find people at Sandia. To accomplish this, SAPLE breaks from more traditional directory application approaches by aiming to return the correct set of results while placing minimal constraints on the user's query. Two key features form the core of SAPLE: advanced search query interpretation and inexact string matching. SAPLE's query interpretation permits the user to perform compound queries when typing into a single search field; where able, SAPLE infers the type of field that the user intends to search on based on the value of the search term. SAPLE's inexact string matching feature yields a high-quality ranking of personnel search results even when there are no exact matches to the user's query. This paper explores these two key features, describing in detail the architecture and operation of SAPLE. Finally, an extensive analysis on logged search query data taken from an 11-week sample period is presented.

  20. 17-Hydroxyprogesterone caproate to prolong pregnancy after preterm rupture of the membranes: early termination of a double-blind, randomized clinical trial

    E-Print Network [OSTI]

    2011-01-01

    of the membranes: early termination of a double-blind,of the membranes: early termination of a double-blind,Because of premature termination, the trial does not have

  1. Hydrology of a land-terminating Greenlandic outlet glacier 

    E-Print Network [OSTI]

    Cowton, Thomas Ralph

    2013-11-28

    Hydrology is recognised as an important component of the glacial system in alpine environments. In particular, the subglacial drainage of surface meltwaters is known to exert a strong influence on the motion of glaciers ...

  2. To examine how the dynamics of recall processes are affected by the control processes involved with search termination, to study

    E-Print Network [OSTI]

    Dougherty, Michael

    involved with search termination, to study the implications of these control processes for the development at understanding the metacognitive control processes involved with the decision to terminate memory search. Specifically, research examines the impact of search termination decisions on the natural retrieval dynamics

  3. Substrate Atomic-Termination-Induced Anisotropic Growth of ZnO Nanowires/Nanorods by the VLS Process

    E-Print Network [OSTI]

    Wang, Zhong L.

    Substrate Atomic-Termination-Induced Anisotropic Growth of ZnO Nanowires/Nanorods by the VLSO substrate, we demonstrate the effect of substrate surface termination on nanowire growth. Symmetric) substrates have asymmetrically grown nanostructures. For the Zn-terminated (0001) substrate surface, uniform

  4. UNIVERSITY OF FLORIDA 6C1-7.048 Academic Affairs; Suspension, Termination, and Other Disciplinary Action for

    E-Print Network [OSTI]

    Sin, Peter

    1 RULES OF UNIVERSITY OF FLORIDA 6C1-7.048 Academic Affairs; Suspension, Termination, and Other Disciplinary Action for Faculty: Definition of Just Cause, Termination, Suspension, and Other Disciplinary for termination, suspension, and/or other disciplinary action imposed on a faculty member shall be defined

  5. PUBLISHED ONLINE: 26 JANUARY 2015 | DOI: 10.1038/NGEO2329 The time-transgressive termination of the African

    E-Print Network [OSTI]

    Fay, Noah

    -transgressive termination of the African Humid Period Timothy M. Shanahan1 *, Nicholas P. McKay2 , Konrad A. Hughen3 of the African monsoon. Hydrologic reconstructions from arid North Africa show an abrupt onset and termination of hydrologic reconstructions from across Africa shows that the termination of the African Humid Period

  6. Output Harmonic Termination Techniques for AlGaN/GaN HEMT Power Amplifiers Using Active Integrated Antenna Approach

    E-Print Network [OSTI]

    Itoh, Tatsuo

    Output Harmonic Termination Techniques for AlGaN/GaN HEMT Power Amplifiers Using Active Integrated 1200, Los Angeles, CA 90045 Abstract -- In this paper, effects of output harmonic terminations on PAE termination, we observe a substantial increase in PAE and output power. Further, we demonstrate the high

  7. Enhanced self-termination of re-entrant arrhythmias as a pharmacological strategy for anti-arrhythmic action.

    E-Print Network [OSTI]

    Biktashev, Vadim N.

    1 Enhanced self-termination of re-entrant arrhythmias as a pharmacological strategy for anti-diffusion equations. A spiral wave in a bounded medium can be terminated if its core reaches a boundary. Ventricular tachyarrhythmias in patients are sometimes observed to spontaneously self-terminate. One possible mechanism

  8. UCF-3.0124 Discipline and Termination for Cause of Non-unit Faculty and A&P Staff Members.

    E-Print Network [OSTI]

    Wu, Shin-Tson

    UCF-3.0124 Discipline and Termination for Cause of Non-unit Faculty and A&P Staff Members. (1) Just cause shall be defined as: (a) Incompetence; or (b) Misconduct. (2) Termination and Suspension. (a) The appointment of a non-unit faculty or an A&P staff member may be terminated or suspended during its term

  9. Recent results at ultrahigh spin: Terminating states and beyond in mass 160 rare-earth nuclei

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

    Paul, E. S.; Rees, J. M.; Hampson, P.; Riley, M. A.; Simpson, J.; Ayangeakaa, A. D.; Baron, J. S.; Carpenter, M. P.; Chiara, C. J.; Garg, U.; et al

    2015-01-01

    A classic region of band termination at high spin occurs in rare-earth nuclei with around ten valence nucleons above the 146Gd closed core. The results are presented here for such non-collective oblate (? = 60°) terminating states in odd-Z 155Ho, odd–odd 156Ho, and even–even 156Er, where they are compared with neighboring nuclei. In addition to these particularly favoured states, the occurrence of collective triaxial strongly deformed (TSD) bands, bypassing the terminating states and extending to over 65?, is reviewed.

  10. Modeling of Electronically Commutated Motor Controlled Fan-powered Terminal Units 

    E-Print Network [OSTI]

    Edmondson, Jacob Lee

    2011-02-22

    : Dr. Dennis O?Neal Empirical models of airflow and power consumption were developed for series and parallel variable air volume fan powered terminal units (FPTUs). An experimental setup and test procedure were developed to test the terminal... (THD) was also recorded and presented. For the series terminal units, models were developed for fan airflow, fan power, and primary airflow. The models for fan airflow all had R2 values above 0.987. The iv models for fan power all had R2 values...

  11. Termination of Reentry in an Inhomogeneous Ring of Model Cardiac Cells

    E-Print Network [OSTI]

    Sitabhra Sinha; David J. Christini

    2003-04-21

    Reentrant waves propagating in a ring or annulus of excitable media model is the basic mechanism underlying a major class of irregular cardiac rhythms known as anatomical reentry. Such reentrant waves are terminated by rapid electrical stimulation (pacing) from an implantable device. Because the mechanisms of such termination are poorly understood, we study pacing of anatomical reentry in a one-dimensional ring of model cardiac cells. For realistic off-circuit pacing, our model-independent results suggest that circuit inhomogeneities, and the electrophysiological dynamical changes they introduce, may be essential for terminating reentry in some cases.

  12. Monitoring Environmental Recovery at Terminated Produced Water Discharge Sites in Coastal Louisiana Waters

    SciTech Connect (OSTI)

    Continental Shelf Associates, Inc.

    1999-08-16

    This report presents the results of a study of terminated produced water discharge sites in the coastal waters of Louisiana. Environmental recovery at the sites is documented by comparing pre-termination and post-termination (six months and one year) data. Produced water, sediments, and sediment interstitial water samples were analyzed for radionuclides, metals, and hydrocarbons. Benthic infauna were identified from samples collected in the vicinity of the discharge and reference sites. Radium isotope activities were determined in fish and crustacean samples. In addition, an environmental risk assessment is made on the basis of the concentrations of metals and hydrocarbons determined in the samples.

  13. A unified Bayesian framework for relative microseismic location

    E-Print Network [OSTI]

    Poliannikov, Oleg V.

    We study the problem of determining an unknown microseismic event location relative to previously located events using a single monitoring array in a monitoring well. We show that using the available information about the ...

  14. Locations of Smart Grid Demonstration and Large-Scale Energy...

    Office of Environmental Management (EM)

    Locations of Smart Grid Demonstration and Large-Scale Energy Storage Projects Locations of Smart Grid Demonstration and Large-Scale Energy Storage Projects Map of the United States...

  15. A unified Bayesian framework for relative microseismic location

    E-Print Network [OSTI]

    Poliannikov, Oleg V.

    2013-01-01

    We study the problem of determining an unknown microseismic event location relative to previously located events using a single monitoring array in a monitoring well. We show that using the available information about the ...

  16. The Cricket Indoor Location System Nissanka Bodhi Priyantha

    E-Print Network [OSTI]

    applications. Cricket consists of location beacons that are attached to the ceiling of a building to compute their own locations. This active-beacon passive-listener architecture is scalable with respect

  17. Fire Alarm Control Panel is located in Switchgear

    E-Print Network [OSTI]

    KEY: NORTH CHDD-South Floor 1 Fire Alarm Control Panel is located in Switchgear Room #CD11A Panel is located in Switchgear Room #CD11A on Basement Level Evacuation Route Exit Restroom Fire

  18. Policy-aware sender anonymity in Location-based services

    E-Print Network [OSTI]

    Vyas, Avinash

    2011-01-01

    LBS Server Location Server CSP Sender Figure 1.1: LBS ModelService Provider, denoted as CSP, the Location Server,is either the MPC in the CSP’s network or an Over-The-Top (

  19. The ear as a location for wearable vital signs monitoring

    E-Print Network [OSTI]

    He, David Da

    Obtaining vital signs non-invasively and in a wearable manner is essential for personal health monitoring. We propose the site behind the ear as a location for an integrated wearable vital signs monitor. This location is ...

  20. A Look at Health Care Buildings - Where are they located

    U.S. Energy Information Administration (EIA) Indexed Site

    Location Return to: A Look at Health Care Buildings How large are they? How many employees are there? Where are they located? How old are they? Who owns and occupies them? Are they...

  1. Dynamic resource location in peer-to-peer networks 

    E-Print Network [OSTI]

    Nathuji, Ripal Babubhai

    2004-09-30

    Resource location is a necessary operation for computer applications. In large scale peer-to-peer systems, random search is a scalable approach for locating dynamic resources. Current peer-to-peer systems can be partitioned into those which rely...

  2. A superconducting-nanowire 3-terminal electronic device

    E-Print Network [OSTI]

    Adam N. McCaughan; Karl K. Berggren

    2014-03-25

    In existing superconducting electronic systems, Josephson junctions play a central role in processing and transmitting small-amplitude electrical signals. However, Josephson-junction-based devices have a number of limitations including: (1) sensitivity to magnetic fields, (2) limited gain, (3) inability to drive large impedances, and (4) difficulty in controlling the junction critical current (which depends sensitively on sub-Angstrom-scale thickness variation of the tunneling barrier). Here we present a nanowire-based superconducting electronic device, which we call the nanocryotron (nTron), that does not rely on Josephson junctions and can be patterned from a single thin film of superconducting material with conventional electron-beam lithography. The nTron is a 3-terminal, T-shaped planar device with a gain of ~20 that is capable of driving impedances of more than 100 k{\\Omega}, and operates in typical ambient magnetic fields at temperatures of 4.2K. The device uses a localized, Joule-heated hotspot formed in the gate to modulate current flow in a perpendicular superconducting channel. We have characterized the nTron, matched it to a theoretical framework, and applied it both as a digital logic element in a half-adder circuit, and as a digital amplifier for superconducting nanowire single-photon detectors pulses. The nTron has immediate applications in classical and quantum communications, photon sensing and astronomy, and its performance characteristics make it compatible with existing superconducting technologies. Furthermore, because the hotspot effect occurs in all known superconductors, we expect the design to be extensible to other materials, providing a path to digital logic, switching, and amplification in high-temperature superconductors.

  3. Search for the Heliospheric Termination Shock (TS) and Heliosheath (HS)

    SciTech Connect (OSTI)

    Ness, Norman F. [Bartol Research Institute, University of Delaware, Newark, DE 19716 (United States); Burlaga, Leonard F.; Acuna, Mario H. [NASA-Goddard Space Flight Center, Greenbelt, MD 20771 (United States); Stone, Edward C. [California Institute of Technology, Pasadena, CA 91109 (United States); McDonald, Frank B. [Institute for Physical Science and Technology, University of Maryland, College Park, MD 20742 (United States)

    2005-08-01

    Voyager 1 continues to measure the very distant Heliospheric Magnetic Field (HMF) beyond 95 AU at {approx}35 North latitude. The MAG instrument data covers more than a full 22 years solar magnetic cycle. The magnitude of the observed HMF is well described, on average, by Parker's Archimedean spiral structure if due account is made for time variations of the source field strength and solar wind velocity. The V1 magnetic field observations do not provide any evidence for a field increase associated with entry into a subsonic solar wind region, such as the heliosheath is expected to be, nor an exit from this regime. We see no evidence for crossing of the Termination Shock (TS) as has been reported at {approx}85 AU by the LECP instrument. Merged Interaction Regions are identified by an increased HMF and associated decreases in the flux of >70 MeV/nuc cosmic rays which are then followed by a flux recovery. This CR-B relationship has been identified in V1 data and studied since 1982 when V1 was at 11 AU. The variance of HMF, a direct measure of the energy**1/2 in the HMF fluctuations, shows no significant changes associated with the alleged TS crossings in 2002-2003. Thus, the absence of any HMF increase at the entry into the heliosheath appears not to be due to the onset of mesoscale turbulence as proposed by Fisk. The TS has yet to be directly observed in-situ by the V1 MAG experiment in data through 2003.

  4. Metal-ion rescue revisited: Biochemical detection of site-bound metal ions important for RNA folding

    E-Print Network [OSTI]

    Das, Rhiju

    Metal-ion rescue revisited: Biochemical detection of site-bound metal ions important for RNA-dimensional architectures of RNA molecules, divalent metal ions populate specific locations, shedding their water molecules make essential contributions to function. Defining the locations of these site-bound metal ions remains

  5. TOPICS IN PROBABILISTIC LOCATION ESTIMATION IN WIRELESS NETWORKS

    E-Print Network [OSTI]

    Myllymäki, Petri

    TOPICS IN PROBABILISTIC LOCATION ESTIMATION IN WIRELESS NETWORKS Petri Kontkanen, Petri Myllym;TOPICS IN PROBABILISTIC LOCATION ESTIMATION IN WIRELESS NETWORKS Petri Kontkanen, Petri Myllym¨aki, Teemu, Spain, IEEE Press, 2004. TOPICS IN PROBABILISTIC LOCATION ESTIMATION IN WIRELESS NETWORKS Petri

  6. COMBINING LOCATION AND EXPRESSION DATA FOR PRINCIPLED DISCOVERY OF

    E-Print Network [OSTI]

    Hartemink, Alexander

    location data to guide the model induction process. We combine these two data modalities by al- lowing combine genomic location and expression data to guide the model induction process by permitting the formerCOMBINING LOCATION AND EXPRESSION DATA FOR PRINCIPLED DISCOVERY OF GENETIC REGULATORY NETWORK

  7. Risks of using AP locations discovered through war driving

    E-Print Network [OSTI]

    Kotz, David

    Risks of using AP locations discovered through war driving Minkyong Kim, Jeffrey J. Fielding the actual locations are often unavailable, they use estimated locations from war driving estimated through war driving. War driving is the process of collecting Wi-Fi beacons by driving or walking

  8. Location-based Sponsored Search Advertising George Trimponias1

    E-Print Network [OSTI]

    Papadias, Dimitris

    Location-based Sponsored Search Advertising George Trimponias1 , Ilaria Bartolini2 , Dimitris unprecedented opportunities for location-based advertising. In this work, we provide models and investigate the market for location-based sponsored search, where advertisers pay the search engine to be displayed

  9. Static and Dynamic Location Management in Distributed Mobile Environments

    E-Print Network [OSTI]

    Vaidya, Nitin

    Static and Dynamic Location Management in Distributed Mobile Environments P. Krishna y N. H. Vaidya for search, update and search-update. Static location management uses one combination of search, update the performance of di erent static location management strategies for various communicationand mobilitypatterns

  10. U.S. LNG Imports from Canada

    Gasoline and Diesel Fuel Update (EIA)

    LNG Imports from Canada Champlain, NY Highgate Springs, VT Sumas, WA LNG Imports from Egypt Cameron, LA Cove Point, MD Elba Island, GA Everett, MA Freeport, TX Gulf LNG, MS Lake...

  11. Termination of star formation by BH feedback in equal- and unequal-mass mergers of disk and elliptical galaxies

    E-Print Network [OSTI]

    Peter H. Johansson; Thorsten Naab; Andreas Burkert

    2008-09-19

    We present binary galaxy merger simulations of gas-rich disks (Sp-Sp), of early-type galaxies and disks (E-Sp, mixed mergers), and mergers of early-type galaxies (E-E, dry mergers) with varying mass ratios and different progenitor morphologies. The simulations include radiative cooling, star formation and black hole (BH) accretion and the associated feedback processes. We find for Sp-Sp mergers, that the peak star formation rate and BH accretion rate decrease and the growth timescales of the central black holes and newly formed stars increase with higher progenitor mass ratios. The termination of star formation by BH feedback in disk mergers is significantly less important for higher progenitor mass ratios (e.g. 3:1 and higher). In addition, the inclusion of BH feedback suppresses efficiently star formation in dry E-E mergers and mixed E-Sp mergers.

  12. Supplementary information to "Dynamics of initiation, termination and reinitiation of DNA translocation by the motor protein EcoR124I"

    E-Print Network [OSTI]

    Seidel, Ralf

    - 1 - Supplementary information to "Dynamics of initiation, termination and reinitiation of DNA resting length due to termination of translocation. Considering only one of the translocation directions

  13. 5, 47014738, 2005 The importance of

    E-Print Network [OSTI]

    Boyer, Edmond

    ACPD 5, 4701­4738, 2005 The importance of mesoscale to forecast air pollution J. L. Palau et al and Physics Discussions The importance of meteorological scales to forecast air pollution scenarios. 4701 #12;ACPD 5, 4701­4738, 2005 The importance of mesoscale to forecast air pollution J. L. Palau et

  14. Imports and Exports of Fishery Products

    E-Print Network [OSTI]

    Imports and Exports of Fishery Products Annual Summary, 2002 IMPORTS. U.S. imports of edible. EXPORTS. U.S. exports of edible fishery products of domestic origin were 1,056,306 tons valued at $3.0 billion, compared with 1,139,744 tons at $3.1 billion exported in 2001. Fresh and frozen items were 883

  15. Development of models for series and parallel fan variable air volume terminal units 

    E-Print Network [OSTI]

    Furr, James C., Jr

    2007-09-17

    Empirical models of airflow output and power consumption were developed for series and parallel fan powered variable air volume terminal units at typical design pressure conditions. A testing procedure and experimental setup were developed to test...

  16. Modeling of ECM Controlled Series Fan-powered VAV Terminal Units 

    E-Print Network [OSTI]

    Yin, Peng

    2011-10-21

    Semi-empirical models for series fan-powered variable air volume terminal units (FPTUs) were developed based on models of the primary, plenum, fan airflow and the fan power consumption. The experimental setups and test procedures were developed...

  17. Prfungen 1. Termin HS2015 fr Bachelor / Master Chemie und Molekulare Wissenschaften

    E-Print Network [OSTI]

    Mühlemann, Oliver

    Prüfungen 1. Termin HS2015 für Bachelor / Master Chemie und Molekulare Wissenschaften Bachelor nur eine Berichtsabgabe erfolgt. · Die Wiederholungsprüfungstermine aus dem Bereich Chemie, Biochemie for exam admittance or grade calculation under the individual KSL entries. Departement für Chemie und

  18. Edinburgh Research Explorer Brr2p carboxy-terminal Sec63 domain modulates Prp16 splicing

    E-Print Network [OSTI]

    Millar, Andrew J.

    , JD & Beggs, JD 2014, 'Brr2p carboxy- terminal Sec63 domain modulates Prp16 splicing RNA helicase , Cosmin Saveanu3 , J. David Barrass1 and Jean D. Beggs1,* 1 Wellcome Trust Centre for Cell Biology

  19. Vulnerability of ex vivo ?-motor nerve terminals to hypoxia-reperfusion injury. 

    E-Print Network [OSTI]

    Baxter, Rebecca L.

    2010-01-01

    A growing body of evidence shows that presynaptic nerve terminals throughout the nervous system are vulnerable to a range of traumatic, toxic and disease-related neurodegenerative stimuli. The aim of this study was to ...

  20. Automated identification of terminal area air traffic flows and weather related deviations

    E-Print Network [OSTI]

    Ng, Tony M. Eng. Massachusetts Institute of Technology

    2008-01-01

    Air traffic in terminal air space is very complex, making it very difficult to identify air traffic flows. Finding air traffic flows and flow boundaries are very helpful in analyzing how air traffic would react to weather. ...

  1. Prediction of Terminal-Area Weather Penetration Based on Operational Factors

    E-Print Network [OSTI]

    Lin, Yi-Hsin

    Convective weather is known to reduce airspace capacity, but the extent of the impact is not well understood. Understanding how weather affects terminal area capacity is essential for quantification of the uncertainty in ...

  2. Electronic structure analyses and activation studies of a dinitrogen-derived terminal nitride of molybdenum

    E-Print Network [OSTI]

    Sceats, Emma Louise, 1978-

    2004-01-01

    Chapter 1: Complexes obtained by electrophilic attack on a dinitrogen-derived terminal molybdenum nitride: Electronic structure analysis by solid state CP/MAS ¹?N NMR in combination ... Chapter 2. Carbene chemistry in the ...

  3. A Study on the Effects of Unwanted Air Infiltration on Thermal Comfort at an Airport Terminal 

    E-Print Network [OSTI]

    Lander, B.; Wei, G.; Claridge, D.; Caeiro, J.

    2009-01-01

    the comfort levels that people have become accustomed to in public buildings. Airport terminal buildings, such as the one in this study, built before the current energy awareness that is prevalent today have many problems associated with air infiltration...

  4. Do all raindrops fall at terminal speed? Guillermo Montero-Martinez,1,2

    E-Print Network [OSTI]

    Kostinski, Alex

    Do all raindrops fall at terminal speed? Guillermo Montero-Marti´nez,1,2 Alexander B. Kostinski,3 periods of high rainfall rates). Citation: Montero-Marti´nez, G., A. B. Kostinski, R. A. Shaw, and F

  5. Radiation damage in the LHCb Vertex Locator

    E-Print Network [OSTI]

    A. Affolder; K. Akiba; M. Alexander; S. Ali; M. Artuso; J. Benton; M. van Beuzekom; P. M. Bj\\ornstad; G. Bogdanova; S. Borghi; T. J. V. Bowcock; H. Brown; J. Buytaert; G. Casse; P. Collins; S. De Capua; D. Dossett; L. Eklund; C. Farinelli; J. Garofoli; M. Gersabeck; T. Gershon; H. Gordon; J. Harrison; V. Heijne; K. Hennessy; D. Hutchcroft; E. Jans; M. John; T. Ketel; G. Lafferty; T. Latham; A. Leflat; M. Liles; D. Moran; I. Mous; A. Oblakowska-Mucha; C. Parkes; G. D. Patel; S. Redford; M. M. Reid; K. Rinnert; E. Rodrigues; M. Schiller; T. Szumlak; C. Thomas; J. Velthuis; V. Volkov; A. D. Webber; M. Whitehead; E. Zverev

    2013-02-21

    The LHCb Vertex Locator (VELO) is a silicon strip detector designed to reconstruct charged particle trajectories and vertices produced at the LHCb interaction region. During the first two years of data collection, the 84 VELO sensors have been exposed to a range of fluences up to a maximum value of approximately $\\rm{45 \\times 10^{12}\\,1\\,MeV}$ neutron equivalent ($\\rm{1\\,MeV\\,n_{eq}}$). At the operational sensor temperature of approximately $-7\\,^{\\circ}\\rm{C}$, the average rate of sensor current increase is $18\\,\\upmu\\rm{A}$ per $\\rm{fb^{-1}}$, in excellent agreement with predictions. The silicon effective bandgap has been determined using current versus temperature scan data after irradiation, with an average value of $E_{g}=1.16\\pm0.03\\pm0.04\\,\\rm{eV}$ obtained. The first observation of n-on-n sensor type inversion at the LHC has been made, occurring at a fluence of around $15 \\times 10 ^{12}$ of $1\\,\\rm{MeV\\,n_{eq}}$. The only n-on-p sensors in use at the LHC have also been studied. With an initial fluence of approximately $\\rm{3 \\times 10^{12}\\,1\\,MeV\\,n_{eq}}$, a decrease in the Effective Depletion Voltage (EDV) of around 25\\,V is observed, attributed to oxygen induced removal of boron interstitial sites. Following this initial decrease, the EDV increases at a comparable rate to the type inverted n-on-n type sensors, with rates of $(1.43\\pm 0.16) \\times 10 ^{-12}\\,\\rm{V} / \\, 1 \\, \\rm{MeV\\,n_{eq}}$ and $(1.35\\pm 0.25) \\times 10 ^{-12}\\,\\rm{V} / \\, 1 \\, \\rm{MeV\\,n_{eq}}$ measured for n-on-p and n-on-n type sensors, respectively. A reduction in the charge collection efficiency due to an unexpected effect involving the second metal layer readout lines is observed.

  6. Performance of VAV Fan Powered Terminal Units: Experimental Results and Models for Parallel Units 

    E-Print Network [OSTI]

    Furr, J.; O'Neal, D.; Davis, M.; Bryant, J.; Cramlet, A.

    2008-01-01

    Empirical models of airflow output, power consumption, and primary airflow were developed for parallel fan powered variable air volume terminal units at typical operating pres- sures. Both 8 in. (203 mm) and 12 in. (304 mm) primary air inlet terminal units... from three manufacturers were evaluated. Generalized models were developed from the experimental data with coefficients varying by size and manufacturer. Fan power and airflow data were collected at down- stream static pressures over a range from 0...

  7. Performance of VAV Fan Powered Terminal Units: Experimental Results and Models for Series Units 

    E-Print Network [OSTI]

    Furr, J.; O'Neal, D.; Davis, M.; Bryant, J.; Cramlet, A.

    2008-01-01

    Empirical models of airflow output and power consump- tion were developed for series fan powered variable air volume terminal units at typical operating pressures. Terminal units with 8 in. (203 mm) and 12 in. (304 mm) primary air inlets from three different... manufacturers were evaluated. Generalized models were developed from the experimental data with coef- ficients varying by size and manufacturer. Fan power and airflow data were collected at downstream static pressures of 0.25 w.g. (63 Pa). Upstream static...

  8. Horizontal cryogenic bushing for the termination of a superconducting power-transmission line

    DOE Patents [OSTI]

    Minati, K.F.; Morgan, G.H.; McNerney, A.J.; Schauer, F.

    1982-07-29

    A termination for a superconducting power transmission line is disclosed which is comprised of a standard air entrance insulated vertical bushing with an elbow, a horizontal cryogenic bushing linking the pressurized cryogenic cable environment to the ambient temperature bushing and a stress cone which terminated the cable outer shield and transforms the large radial voltage gradient in the cable dielectric into a much lower radial voltage gradient in the high density helium coolant at the cold end of the cryogenic bushing.

  9. Termination for a superconducting power transmission line including a horizontal cryogenic bushing

    DOE Patents [OSTI]

    Minati, Kurt F. (Northport, NY); Morgan, Gerry H. (Patchogue, NY); McNerney, Andrew J. (Shoreham, NY); Schauer, Felix (Upton, NY)

    1984-01-01

    A termination for a superconducting power transmission line is disclosed which is comprised of a standard air entrance insulated vertical bushing with an elbow, a horizontal cryogenic bushing linking the pressurized cryogenic cable environment to the ambient temperature bushing and a stress cone which terminates the cable outer shield and transforms the large radial voltage gradient in the cable dielectric into a much lower radial voltage gradient in the high density helium coolant at the cold end of the cryogenic bushing.

  10. 110. Location efficiency Discovering the hidden transportation costs of where you live page 1 / 1 110. Location efficiency

    E-Print Network [OSTI]

    Machel, Hans

    110. Location efficiency Discovering the hidden transportation costs of where you live page 1 / 1 110. Location efficiency: Discovering the hidden transportation costs of where you live Live location efficiency and it's the amount of time, energy and greenhouse gas emissions you spend getting

  11. Adjusting flow station job to remote Nigerian location yields savings

    SciTech Connect (OSTI)

    Wooten, R.; Williams, E.C. (OPI International Inc., Houston, TX (United States))

    1994-05-02

    In September 1991, Chevron Nigeria Ltd. and Nigerian National Petroleum Crop. contracted Offshore Pipelines to design, procure, construct, install, and commission the Opuekeba 30,000 b/d crude-oil flow station on an offshore platform near Olero Creek, Nigeria, approximately 22 miles from the nearest deepwater access. Chevron's original project plan included bringing the flow station to the site in small packages and then assembling it in a lengthy field hook-up process. Offshore Pipelines developed a plan early in the project to maximize construction and hook-up in the fabrication yard, then transport the nearly complete structures to site by way of a newly dredged canal. What proved to be most difficult was the site location in Nigeria. Job planning and communication were important in the successful completion of the project. Keeping the components of the large and complex facility simple proved to be effective and efficient and played a key role in completing the project on time and within budget. The paper discusses overcoming obstacles, lift and depth constraints, dredging, fabrication, installation, and large-time problems.

  12. Model for Evolutionary Technology An Automatically Defined Terminal Approach

    E-Print Network [OSTI]

    Fernandez, Thomas

    to satisfy consumer pref- erences on the demand side and lower production costs of products on the supply, but also how market selection plays an important role in the evolution of innovation. In other word innovations as the introduction of a new good, the introduction of a new method of production, the opening

  13. Geotech Smart24 data acquisition system input terminated noise seismic response adjusted test : StreckeisenSTS2-low and high gain, Guralp CMG3T and Geotech GS13 seismometers.

    SciTech Connect (OSTI)

    Rembold, Randy Kai; Hart, Darren M.; Harris, James Mark

    2008-08-01

    Sandia National Laboratories has tested, evaluated and reported on the Geotech Smart24 data acquisition system with active Fortezza crypto card data signing and authentication in SAND2008-. One test, Input Terminated Noise, allows us to characterize the self-noise of the Smart24 system. By computing the power spectral density (PSD) of the input terminated noise time series data set and correcting for the instrument response of different seismometers, the resulting spectrum can be compared to the USGS new low noise model (NLNM) of Peterson (1996), and determine the ability of the matched system of seismometer and Smart24 to be quiet enough for any general deployment location. Four seismometer models were evaluated: the Streckeisen STS2-Low and High Gain, Guralp CMG3T and Geotech GS13 models. Each has a unique pass-band as defined by the frequency band of the instrument corrected noise spectrum that falls below the new low-noise model.

  14. Structural effects of protein aging: Terminal marking by deamidation in human triosephosphate isomerase

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

    Torres-Larios, Alfredo; Enríquez-Flores, Sergio; Méndez, Sara -Teresa; Castillo-Villanueva, Adriana; Gómez-Manzo, Saúl; Velázquez, Gabriel López-; Marcial-Quino, Jaime; Torres-Arroyo, Angélica; García-Torres, Itzhel; Reyes-Vivas, Horacio; et al

    2015-04-17

    Deamidation, the loss of the ammonium group of asparagine and glutamine to form aspartic and glutamic acid, is one of the most commonly occurring post-translational modifications in proteins. Since deamidation rates are encoded in the protein structure, it has been proposed that they can serve as molecular clocks for the timing of biological processes such as protein turnover, development and aging. Despite the importance of this process, there is a lack of detailed structural information explaining the effects of deamidation on the structure of proteins. Here, we studied the effects of deamidation on human triosephosphate isomerase (HsTIM), an enzyme formore »which deamidation of N15 and N71 has been long recognized as the signal for terminal marking of the protein. Deamidation was mimicked by site directed mutagenesis; thus, three mutants of HsTIM (N15D, N71D and N15D/N71D) were characterized. The results show that the N71D mutant resembles, structurally and functionally, the wild type enzyme. In contrast, the N15D mutant displays all the detrimental effects related to deamidation. The N15D/N71D mutant shows only minor additional effects when compared with the N15D mutation, supporting that deamidation of N71 induces negligible effects. The crystal structures show that, in contrast to the N71D mutant, where minimal alterations are observed, the N15D mutation forms new interactions that perturb the structure of loop 1 and loop 3, both critical components of the catalytic site and the interface of HsTIM. Based on a phylogenetic analysis of TIM sequences, we propose the conservation of this mechanism for mammalian TIMs.« less

  15. Fact #837: September 8, Gap between Net Imports and Total Imports of Petroleum is Widening

    Broader source: Energy.gov [DOE]

    Net imports of petroleum (total imports minus exports) were 6.2 million barrels per day in 2013 – the lowest since the 1980's (dark blue line). The widening gap between total imports (light blue...

  16. Importance of Biomass Production and Supply

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

    is very important. * New, integrated approaches, especially in feedstock supply and logistics with production and conversion, are being developed with partners. 3 | Bioenergy...

  17. The Struggle between States and the Federal Government on the Siting of LNG Import Terminals: Has a Red Tide Washed Ashore in the Blue States?

    SciTech Connect (OSTI)

    Desautels, Denise; Ray, Peter

    2005-10-01

    The Energy Policy Act of 2005 transfers, in some circumstances, implementation of the public trust doctrine from the state to the federal government. Implicit in the public trust doctrine is the issue of public safety and environmental concerns. Proponents of such facilities are challenged with weighing such factors to make a successful proposal to federal and state agencies.

  18. Automated detection and location of indications in eddy current signals

    DOE Patents [OSTI]

    Brudnoy, David M. (Albany, NY); Oppenlander, Jane E. (Burnt Hills, NY); Levy, Arthur J. (Schenectady, NY)

    2000-01-01

    A computer implemented information extraction process that locates and identifies eddy current signal features in digital point-ordered signals, signals representing data from inspection of test materials, by enhancing the signal features relative to signal noise, detecting features of the signals, verifying the location of the signal features that can be known in advance, and outputting information about the identity and location of all detected signal features.

  19. Communication Parvoviral nuclear import: bypassing the host

    E-Print Network [OSTI]

    Panté, Nelly

    Short Communication Parvoviral nuclear import: bypassing the host nuclear-transport machinery Sarah the mechanisms underlying parvovirus' nuclear import. Recently, it was found that microinjection of MVM into the cytoplasm of Xenopus oocytes causes damage to the nuclear envelope (NE), suggesting that the nuclear

  20. Condensing Heating and Water Heating Equipment Workshop Location...

    Energy Savers [EERE]

    Condensing Heating and Water Heating Equipment Workshop Location: Washington Gas Light Appliance Training Facility 6801 Industrial Road Springfield, VA Date: October 9, 2014 Time:...

  1. Policy-aware sender anonymity in Location-based services

    E-Print Network [OSTI]

    Vyas, Avinash

    2011-01-01

    from attackers who (via hacking or subpoenas) gain access toagainst attackers who, via hacking or subpoenas, gain accessthe location database D 1 (via hacking or subpoena) and is “

  2. Located in historic Los Alamos, New Mexico against the backdrop...

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

    Located in historic Los Alamos, New Mexico against the backdrop of the lush Jemez Mountains, Los Alamos National Laboratory (LANL) offers its education program participants...

  3. Attack-Resistant Location Estimation in Sensor (Revised August 2005)

    E-Print Network [OSTI]

    Ning, Peng

    role in many sensor network applications. Not only do applications such as environment monitoring and target tracking require sensors' location information to fulfill their tasks, but several fundamental

  4. Wind Turbine Manufacturers in the U. S.: Locations and Local...

    Wind Powering America (EERE)

    Efficiency and Renewable Energy, operated by the Alliance for Sustainable Energy, LLC. Wind Turbine Manufacturers in the U.S.: Locations and Local Impacts WINDPOWER 2010 Conference...

  5. Title 33 CFR 115 Bridge Locations and Clearances: Administrative...

    Open Energy Info (EERE)

    Title 33 CFR 115 Bridge Locations and Clearances: Administrative Procedures Jump to: navigation, search OpenEI Reference LibraryAdd to library Legal Document- Federal...

  6. Alternative Fueling Station Locator App Provides Info at Your...

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

    stations that offer electricity, natural gas, biodiesel, E85, propane, or hydrogen. | Energy Department The Alternative Fueling Station Locator iPhone app helps you find...

  7. Identification of High Collision Concentration Locations Under Wet Weather Conditions

    E-Print Network [OSTI]

    Hwang, Taesung; Chung, Koohong; Ragland, David; Chan, Chin-Yao

    2008-01-01

    conducted under wet weather conditions. Observations fromLeahy, M. , and Suggett, J. Weather as a Chronic Hazard forLocations Under Wet Weather Conditions Taesung Hwang,

  8. Strategies of Asian oil-importing countries

    SciTech Connect (OSTI)

    Yang, M.

    1997-04-01

    Various strategies are used by oil-importing countries to reduce their economic dependence on imported oil: national oil production, energy conservation, and the change of economic structures from high energy intensity sectors to low ones. In this article, the roles of these different strategies have been identified for 10 selected oil-importing countries in Asia: Bangladesh, India, Nepal, Pakistan, Sri Lanka, the Philippines, Thailand, Hong Kong, R.O Korea, and Taiwan. The results show that most of the selected countries (although Hong Kong and Taiwan are independent economic entities, for simplicity, the author refers to them as countries) have succeeded in reducing their national economy dependence on imported oil since 1973. Hong Kong, Sri Lanka, Thailand, and India are among the most successful countries, with more than 40% reduction in their economic dependence on imported oil.

  9. Isolation valve selections play important role in pipelining

    SciTech Connect (OSTI)

    Hingoraney, R.; Goto, D.N. [Saudi Aramco, Dhahran (Saudi Arabia)

    1995-08-01

    Isolation valves are an integral part of every pipeline and play an important role in safe and proper operation. For almost every project, pipeline designers wrestle with choosing between the through-conduit gate valves and ball valves and their associated actuating mechanisms. Complicating this selection process are variables such as individual preferences and the lack of broad-based operating experience. As expected, there is no single valve and actuator combination that is correct for every pipeline or every application. Variables which must be considered and specifically evaluated for each valve installation include: operating characteristics, function, location, process fluid, materials options, space availability, maintenance, repair capability, delivery schedule, and costs. This paper reviews these issues.

  10. Termination of Safeguards for Accountable Nuclear Materials at the Idaho National Laboratory

    SciTech Connect (OSTI)

    Michael Holzemer; Alan Carvo

    2012-04-01

    Termination of safeguards ends requirements of Nuclear Material Control and Accountability (MC&A) and thereby removes the safeguards basis for applying physical protection requirements for theft and diversion of nuclear material, providing termination requirements are met as described. Department of Energy (DOE) M 470.4 6 (Nuclear Material Control and Accountability [8/26/05]) stipulates: 1. Section A, Chapter I (1)( q) (1): Safeguards can be terminated on nuclear materials provided the following conditions are met: (a) 'If the material is special nuclear material (SNM) or protected as SNM, it must be attractiveness level E and have a measured value.' (b) 'The material has been determined by DOE line management to be of no programmatic value to DOE.' (c) 'The material is transferred to the control of a waste management organization where the material is accounted for and protected in accordance with waste management regulations. The material must not be collocated with other accountable nuclear materials.' Requirements for safeguards termination depend on the safeguards attractiveness levels of the material. For attractiveness level E, approval has been granted from the DOE Idaho Operations Office (DOE ID) to Battelle Energy Alliance, LLC (BEA) Safeguards and Security (S&S). In some cases, it may be necessary to dispose of nuclear materials of attractiveness level D or higher. Termination of safeguards for such materials must be approved by the Departmental Element (this is the DOE Headquarters Office of Nuclear Energy) after consultation with the Office of Security.

  11. Web-Based Training on Reviewing Dose Modeling Aspects of NRC Decommissioning and License Termination Plans

    SciTech Connect (OSTI)

    LePoire, D.; Cheng, J.J.; Kamboj, S.; Arnish, J.; Richmond, P.; Chen, S.Y.; Barr, C.; McKenney, C.

    2008-01-15

    NRC licensees at decommissioning nuclear facilities submit License Termination Plans (LTP) or Decommissioning Plans (DP) to NRC for review and approval. To facilitate a uniform and consistent review of these plans, the NRC developed training for its staff. A live classroom course was first developed in 2005, which targeted specific aspects of the LTP and DP review process related to dose-based compliance demonstrations or modeling. A web-based training (WBT) course was developed in 2006 and 2007 to replace the classroom-based course. The advantage of the WBT is that it will allow for staff training or refreshers at any time, while the advantage of a classroom-based course is that it provides a forum for lively discussion and the sharing of experience of classroom participants. The objective of this course is to train NRC headquarters and regional office staff on how to review sections of a licensee's DP or LTP that pertain to dose modeling. The DP generally refers to the decommissioning of non-reactor facilities, while the LTP refers specifically to the decommissioning of reactors. This review is part of the NRC's licensing process, in which the NRC determines if a licensee has provided a suitable technical basis to support derived concentration guideline levels (DCGLs)1 or dose modeling analyses performed to demonstrate compliance with dose-based license termination rule criteria. This type of training is one component of an organizational management system. These systems 'use a range of practices to identify, create, represent, and distribute knowledge for reuse, awareness and learning'. This is especially important in an organization undergoing rapid change or staff turnover to retain organizational information and processes. NRC is committed to maintaining a dynamic program of training, development, and knowledge transfer to ensure that the NRC acquires and maintains the competencies needed to accomplish its mission. This paper discusses one specific project related to training, developing, and transferring knowledge to NRC staff on how to review dose-modeling portions of licensee-submitted DPs and LTPs. This project identified specific cases and examples, created easily updateable educational modules, represented material in an engaging format through animations, video, and graphics, and distributed information on how to perform these reviews in an accessible, web-based format. WBT promotes consistency in reviews and has the advantage of being able to be used as a resource to staff at any time. The WBT will provide reviewers with knowledge needed to perform risk-informed analyses (e.g., information related to development of realistic scenarios and use of probabilistic analysis). WBT on review of LTP or DP dose modeling will promote staff development, efficiency, and effectiveness in performing risk-informed, performance-based reviews of decommissioning activities at NRC-licensed facilities. One of the key advantages of this type of web-based training is that it can be loaded on-demand and can be reused indefinitely. In addition to the benefits of on-demand training, the modules can also be used for reference. The presentations are hosted on a web server that can be accessed by registered users at any time. Staff can return to a particular module to review the material long after they have completed the course.

  12. A Location Management System for Destination Prediction from Smartphone Sensors

    E-Print Network [OSTI]

    Cho, Sung-Bae

    the current sensor values. The proposed system consists of five modules. Three modules perform to manage collection, the system generates new information. 2) Location extraction: It extacts location, which prediction method using linear regression, logistic regression and random forest [5]. It uses the information

  13. Models for Offender Target Location Selection with Explicit Dependency Structures

    E-Print Network [OSTI]

    O'Leary, Michael

    Models for Offender Target Location Selection with Explicit Dependency Structures Mike O'Leary April 30 - May 1, 2012 O'Leary & Tucker (Towson University) Target Location Selection QMDNS 2012 1 / 54 in this study We thank Phil Canter from the Baltimore County Police Department for his assistance. O'Leary

  14. A MODELING APPROACH FOR LOCATING LOGISTICS PLATFORMS FOR FAST PARCEL

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    1 29 A MODELING APPROACH FOR LOCATING LOGISTICS PLATFORMS FOR FAST PARCEL DELIVERY IN URBAN AREAS for optimizing, in a sustainable way (i.e. economical, eco-friendly and societal), the location of logistics has a logistics platform right in its centre (ARENC: 41362 m2 of warehouses and offices

  15. Facility Location with Hierarchical Facility Costs Zoya Svitkina #

    E-Print Network [OSTI]

    Tardos, Ã?va

    Facility Location with Hierarchical Facility Costs Zoya Svitkina # â?? Eva Tardos + Abstract We consider the facility location problem with hierarchi­ cal facility costs, and give a (4 installation costs. Shmoys, Swamy and Levi [13] gave an approxi­ mation algorithm for a two­level version

  16. Facility Location Under Uncertainty: A Review Lawrence V. Snyder

    E-Print Network [OSTI]

    Snyder, Larry

    for researchers in both the logistics and stochastic/robust optimization com- munities. Indeed, a large number in facility location are not available, we provide examples from the more general logistics literature. 1 Introduction Facility location decisions are costly and difficult to reverse, and their impact spans a long

  17. Optimizing a Retailer's Containerized Import Supply Chain

    E-Print Network [OSTI]

    Davidson, Evan Taitz

    2012-01-01

    of Asian goods to the USA, Walmart, accounts for only about1,000 TEUs per year to a “Walmart-sized” retailer importingrecent import volume of Walmart, for illustrative purposes.

  18. Four-Terminal Mechanically Stacked GaAs/Si Tandem Solar Cells

    E-Print Network [OSTI]

    Hassan, S

    2015-01-01

    This study investigates a four-terminal mechanically stacked double junction photovoltaic device based on GaAs as a top subcell and Si as a bottom subcell. Unlike two terminal monolithically series connected double junction photovoltaics, four-terminal mechanically stacked devices benefit from the ability to choose a combination of materials that are not constrained to lattice matching condition. GaAs top subcell is the best sensitive to visible light and Si bottom subcell is chosen to be grown on Si substrate which has relatively low cost. Moreover, the carriers generated by each subcell is collected independently to the external circuit. This electrical isolation of the subcells ensures higher efficiency, where no current matching nor tunnel junctions and related losses exist. A conversion efficiency of the device with a thickness in the order of 10 microns surpassed 27%.

  19. Band termination in the N=Z Odd-Odd Nucleus 46V

    E-Print Network [OSTI]

    S. M. Lenzi; D. R. Napoli; C. A. Ur; D. Bazzacco; F. Brandolini; J. A. Cameron; E. Caurier; G. de Angelis; M. De Poli; E. Farnea; A. Gadea; S. Hankonen; S. Lunardi; G. Martinez-Pinedo; Zs. Podolyak; A. Poves; C. Rossi Alvarez; J. Sanchez-Solano; H. Somacal

    1999-07-01

    High spin states in the odd-odd N=Z nucleus 46V have been identified. At low spin, the T=1 isobaric analogue states of 46Ti are established up to I = 6+. Other high spin states, including the band terminating state, are tentatively assigned to the same T=1 band. The T=0 band built on the low-lying 3+ isomer is observed up to the 1f7/2-shell termination at I=15. Both signatures of a negative parity T=0 band are observed up to the terminating states at I = 16- and I = 17-, respectively. The structure of this band is interpreted as a particle-hole excitation from the 1d3/2 shell. Spherical shell model calculations are found to be in excellent agreement with the experimental results.

  20. Shell Model and Mean-Field Description of Band Termination

    E-Print Network [OSTI]

    M. Zalewski; W. Satula; W. Nazarewicz; G. Stoitcheva; H. Zdunczuk

    2007-01-09

    We study nuclear high-spin states undergoing the transition to the fully stretched configuration with maximum angular momentum I_max within the space of valence nucleons. To this end, we perform a systematic theoretical analysis of non-fully-stretched I_max-2 and I_max-1 f_{7/2}^n seniority isomers and d_{3/2}^{-1} f_{7/2}^{n+1} intruder states in the A~44 nuclei from the lower-fp shell. We employ two theoretical approaches: (i) the density functional theory based on the cranked self-consistent Skyrme-Hartree-Fock method, and (ii) the nuclear shell model in the full sdfp configuration space allowing for 1p-1h cross-shell excitations. We emphasize the importance of restoration of broken angular momentum symmetry inherently obscuring the mean-field treatment of high-spin states. Overall good agreement with experimental data is obtained.

  1. Processing of 3'-Phosphoglycolate-Terminated DNA Double-StrandBreaks by Artemis Nuclease

    SciTech Connect (OSTI)

    Povrik, Lawrence F.; Zhou, Tong; Zhou, Ruizhe; Cowan, Morton J.; Yannone, Steven M.

    2005-10-01

    The Artemis nuclease is required for V(D)J recombination and for repair of an as yet undefined subset of radiation-induced DNA double-strand breaks. To assess the possibility that Artemis functions on oxidatively modified double-strand break termini, its activity toward model DNA substrates, bearing either 3{prime}-hydroxyl or 3{prime}-phosphoglycolate moieties, was examined. A 3{prime}-phosphoglycolate had little effect on Artemis-mediated trimming of long 3{prime} overhangs (>9 nucleotides), which were efficiently trimmed to 4-5 nucleotides. However, 3{prime}-phosphoglycolates on overhangs of 4-5 bases promoted selective Artemis-mediated trimming of a single 3{prime}-terminal nucleotide, while at least 2 nucleotides were trimmed from identical hydroxyl-terminated substrates. Artemis also efficiently removed a single nucleotide from a phosphoglycolate-terminated 3-base 3{prime} overhang, while leaving an analogous hydroxyl-terminated overhang largely intact. Such removal was dependent upon Ku, DNA-dependent protein kinase, and ATP. Together, these data suggest that Artemis-mediated cleavage of 3{prime} overhangs requires a minimum of 2 nucleotides, or a nucleotide plus a phosphoglycolate, 3{prime} to the cleavage site. Shorter 3{prime}-phosphoglycolate-terminated overhangs and blunt ends were also processed by Artemis, but much less efficiently. Consistent with the in vitro substrate specificity of Artemis, human cells lacking Artemis exhibited hypersensitivity to X-rays, bleomycin and neocarzinostatin, which all induce 3{prime}-phosphoglycolate-terminated double-strand breaks. Collectively, these results suggest that 3{prime}-phosphoglycolate termini and/or specific classes of DNA ends that arise from such blocked termini are relevant Artemis substrates in vivo.

  2. The r-Process in Supersonic Neutrino-Driven Winds: The Roll of Wind Termination Shock

    E-Print Network [OSTI]

    Takami Kuroda; Shinya Wanajo; Ken'ichi Nomoto

    2007-09-17

    Recent hydrodynamic studies of core-collapse supernovae imply that the neutrino-heated ejecta from a nascent neutron star develops to supersonic outflows. These supersonic winds are influenced by the reverse shock from the preceding supernova ejecta, forming the wind termination shock. We investigate the effects of the termination shock in neutrino-driven winds and its roll on the r-process. Supersonic outflows are calculated with a semi-analytic neutrino-driven wind model. Subsequent termination-shocked, subsonic outflows are obtained by applying the Rankine-Hugoniot relations. We find a couple of effects that can be relevant for the r-process. First is the sudden slowdown of the temperature decrease by the wind termination. Second is the entropy jump by termination-shock heating, up to several 100NAk. Nucleosynthesis calculations in the obtained winds are performed to examine these effects on the r-process. We find that 1) the slowdown of the temperature decrease plays a decisive roll to determine the r-process abundance curves. This is due to the strong dependences of the nucleosynthetic path on the temperature during the r-process freezeout phase. Our results suggest that only the termination-shocked winds with relatively small shock radii (~500km) are relevant for the bulk of the solar r-process abundances (A~100-180). The heaviest part in the solar r-process curve (A~180-200), however, can be reproduced both in shocked and unshocked winds. These results may help to constrain the mass range of supernova progenitors relevant for the r-process. We find, on the other hand, 2) negligible roles of the entropy jump on the r-process. This is a consequence that the sizable entropy increase takes place only at a large shock radius (~10,000km) where the r-process has already ceased.

  3. Dynamical properties of three terminal magnetic tunnel junctions: Spintronics meets spin-orbitronics

    SciTech Connect (OSTI)

    Tomasello, R.; Carpentieri, M.; Finocchio, G.

    2013-12-16

    This Letter introduces a micromagnetic model able to characterize the magnetization dynamics in three terminal magnetic tunnel junctions, where the effects of spin-transfer torque and spin-orbit torque are taken into account. Our results predict that the possibility to separate electrically those two torque sources is very promising from a technological point of view for both next generation of nanoscale spintronic oscillators and microwave detectors. A scalable synchronization scheme based on the parallel connection of those three terminal devices is also proposed.

  4. Probing the Impact of the EchinT C-Terminal Domain on Structure and Catalysis

    SciTech Connect (OSTI)

    S Bardaweel; J Pace; T Chou; V Cody; C Wagner

    2011-12-31

    Histidine triad nucleotide binding protein (Hint) is considered as the ancestor of the histidine triad protein superfamily and is highly conserved from bacteria to humans. Prokaryote genomes, including a wide array of both Gram-negative bacteria and Gram-positive bacteria, typically encode one Hint gene. The cellular function of Hint and the rationale for its evolutionary conservation in bacteria have remained a mystery. Despite its ubiquity and high sequence similarity to eukaryote Hint1 [Escherichia coli Hint (echinT) is 48% identical with human Hint1], prokaryote Hint has been reported in only a few studies. Here we report the first conformational information on the full-length N-terminal and C-terminal residues of Hint from the E. coli complex with GMP. Structural analysis of the echinT-GMP complex reveals that it crystallizes in the monoclinic space group P2{sub 1} with four homodimers in the asymmetric unit. Analysis of electron density for both the N-terminal residues and the C-terminal residues of the echinT-GMP complex indicates that the loops in some monomers can adopt more than one conformation. The observation of conformational flexibility in terminal loop regions could explain the presence of multiple homodimers in the asymmetric unit of this structure. To explore the impact of the echinT C-terminus on protein structure and catalysis, we conducted a series of catalytic radiolabeling and kinetic experiments on the C-terminal deletion mutants of echinT. In this study, we show that sequential deletion of the C-terminus likely has no effect on homodimerization and a modest effect on the secondary structure of echinT. However, we observed a significant impact on the folding structure, as reflected by a significant lowering of the T{sub m} value. Kinetic analysis reveals that the C-terminal deletion mutants are within an order of magnitude less efficient in catalysis compared to wild type, while the overall kinetic mechanism that proceeds through a fast step, followed by a rate-limiting hydrolysis step, was conserved. Nevertheless, the ability of the C-terminal deletion mutants to hydrolyze lysyl-AMP generated by LysU was greatly impaired. Taken together, our results highlight the emerging role of the C-terminus in governing the catalytic function of Hints.

  5. Gas field ion source current stability for trimer and single atom terminated W(111) tips

    SciTech Connect (OSTI)

    Urban, Radovan; Wolkow, Robert A. [Department of Physics, University of Alberta, Edmonton, Alberta T6G 2G7 (Canada); National Institute for Nanotechnology, National Research Council of Canada, Edmonton, Alberta T6G 2M9 (Canada); Pitters, Jason L. [National Institute for Nanotechnology, National Research Council of Canada, Edmonton, Alberta T6G 2M9 (Canada)

    2012-06-25

    Tungsten W(111) oriented trimer-terminated tips as well as single atom tips, fabricated by a gas and field assisted etching and evaporation process, were investigated with a view to scanning ion microscopy and ion beam writing applications. In particular, ion current stability was studied for helium and neon imaging gases. Large ion current fluctuations from individual atomic sites were observed when a trimer-terminated tip was used for the creation of neon ion beam. However, neon ion current was stable when a single atom tip was employed. No such current oscillations were observed for either a trimer or a single atom tip when imaged with helium.

  6. Theoretical study of syngas hydrogenation to methanol on the polar Zn-terminated ZnO(0001) surface

    SciTech Connect (OSTI)

    Zhao, Ya-Fan; Rousseau, Roger J.; Li, Jun; Mei, Donghai

    2012-08-02

    Methanol synthesis from syngas (CO/CO2/H2) hydrogenation on the perfect Zn–terminated polar ZnO(0001) surface have been investigated using periodic density functional theory calculations. Our results show that direct CO2 hydrogenation to methanol on the perfect ZnO(0001) surface is unlikely because in the presence of surface atomic H and O the highly stable formate (HCOO) and carbonate (CO3) readily produced from CO2 with low barriers 0.11 and 0.09 eV will eventually accumulate and block the active sites of the ZnO(0001) surface. In contrast, methanol synthesis from CO hydrogenation is thermodynamically and kinetically feasible on the perfect ZnO(0001) surface. CO can be consecutively hydrogenated into formyl (HCO), formaldehyde (H2CO), methoxy (H3CO) intermediates, leading to the final formation of methanol (H3COH). The reaction route via hydroxymethyl (H2COH) intermediate, a previously proposed species on the defected O–terminated ZnO( ) surface, is kinetically inhibited on the perfect ZnO(0001) surface. The rate-determining step in the consecutive CO hydrogenation route is the hydrogenation of H3CO to H3COH. We also note that this last hydrogenation step is pronouncedly facilitated in the presence of water by lowering the activation barrier from 1.02 to 0.55 eV. This work was supported by the U.S. Department of Energy Office of Basic Energy Sciences, Division of Chemical Sciences, Biosciences and Geosciences, and performed at EMSL, a national scientific user facility sponsored by the Department of Energy’s Office of Biological and Environmental Research located at Pacific Northwest National Laboratory (PNNL). Computational resources were provided at EMSL and the National Energy Research Scientific Computing Center at Lawrence Berkeley National Laboratory. J. Li and Y.-F. Zhao were also financially supported by the National Natural Science Foundation of China (Nos. 20933003 and 91026003) and the National Basic Research Program of China (No. 2011CB932400). Y.-F. Zhao acknowledges the fellowship from PNNL.

  7. Math 577 Computational Mathematics I Time and Location: 1:50--3:05 TR, Location E1 242

    E-Print Network [OSTI]

    Fasshauer, Greg

    Math 577 ­ Computational Mathematics I Time and Location: 1:50--3:05 TR, Location E1 242 Instructor: Mathematics of Scientific Computing, 3rd Ed, Brooks/Cole (2002), ISBN 0-534-38905-8. Other required material numerical methods for computing eigenvalues and their derivation. 4. Students will understand the basic

  8. Fact #837: September 8, Gap between Net Imports and Total Imports...

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

    exports) were 6.2 million barrels per day in 2013 - the lowest since the 1980's (dark blue line). The widening gap between total imports (light blue line) and net imports (dark...

  9. Importance of Nuclear DataImportance of Nuclear Data to the Naval Nuclear Propulsion Program

    E-Print Network [OSTI]

    Danon, Yaron

    Importance of Nuclear DataImportance of Nuclear Data to the Naval Nuclear Propulsion Program Don of Evaluated Criticality Safety Benchmark Experiments," NEA/NSC/DOC(95)03, 2009. #12;MC21 Analysis of LEU COMP

  10. Nup192p Is a Conserved Nucleoporin with a Preferential Location at the Inner Site of the Nuclear Membrane*

    E-Print Network [OSTI]

    Panté, Nelly

    Nup192p Is a Conserved Nucleoporin with a Preferential Location at the Inner Site of the Nuclear was localized to the nuclear pores and therefore named Nup192p. Affinity purifica- tion of ProtA-Nic96p from. A temperature-sensitive mutant nup192­15 is neither impaired in nuclear import of a SV40 nuclear localization

  11. Anywhere But Here: An Introduction to State Control of Hazardous Waste Facility Location

    E-Print Network [OSTI]

    Tarlock, Dan A.

    1981-01-01

    State Control Of Hazardous- Waste Facility Location A. Danautonomy over the location of hazardous-waste managementa hazardous-waste facility-siting process is the location of

  12. Crude Oil Imports From Persian Gulf

    Gasoline and Diesel Fuel Update (EIA)

    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 GasAdjustments (Billion Cubic Feet) Wyoming Dry NaturalPrices1 Table 1.101Company Level ImportsContangoImports

  13. Nash resolution for binomial varieties as Euclidean division. Apriori termination bound, polynomial complexity in dim 2

    E-Print Network [OSTI]

    Grigoriev, Dima

    Nash resolution for binomial varieties as Euclidean division. Apriori termination bound, polynomial of the normalizations with Nash blowings up, albeit that only for affine binomial varieties of (essential) dimen- sion 2, the equivalence of the Nash algorithm to a com- binatorial algorithm that resembles Euclidean division in dimen

  14. Chemical and gravity dependent factors affecting Escherichia coli lag phase termination 

    E-Print Network [OSTI]

    Elms, Rene ?Davina

    2002-01-01

    at the end of lag phase in small amounts. Evidence was not found to support the hypothesis that either lactic acid or CO? are critical by-products for lag phase termination. At a significance level of ? = 0.05, lactic acid (20 and 30 mg/L) supplementation...

  15. Changing boreal methane sources and constant biomass burning during the last termination

    E-Print Network [OSTI]

    Chappellaz, Jérôme

    LETTERS Changing boreal methane sources and constant biomass burning during the last termination. Stocker3 Past atmospheric methane concentrations show strong fluctua- tions in parallel to rapid glacial climate changes in the Northern Hemisphere1,2 superimposed on a glacial­interglacial doubling of methane

  16. Effect of Surface Termination on the Electonic Properties of LaNiO? Films

    SciTech Connect (OSTI)

    Kumah, Divine P.; Malashevich, Andrei; Disa, Ankit S.; Arena, Dario A.; Walker, Fred J.; Ismail-Beigi, Sohrab; Ahn, Charles H.

    2014-11-06

    The electronic and structural properties of thin LaNiO? films grown by using molecular beam epitaxy are studied as a function of the net ionic charge of the surface terminating layer. We demonstrate that electronic transport in nickelate heterostructures can be manipulated through changes in the surface termination due to a strong coupling of the surface electrostatic properties to the structural properties of the Ni—O bonds that govern electronic conduction. We observe experimentally and from first-principles theory an asymmetric response of the structural properties of the films to the sign of the surface charge, which results from a strong interplay between electrostatic and mechanical boundary conditions governing the system. The structural response results in ionic buckling in the near-surface NiO? planes for films terminated with negatively charged NiO? and bulklike NiO? planes for films terminated with positively charged LaO planes. The ability to modify transport properties by the deposition of a single atomic layer can be used as a guiding principle for nanoscale device fabrication.

  17. Kinetic properties and physiological role of the plastoquinone terminal oxidase (PTOX) in a vascular plant

    E-Print Network [OSTI]

    September 2012 Keywords: Plastid terminal oxidase Plastoquinone pool Photosystem NADPH dehydrogenase Cyclic and oxidation of the plastoquinone pool, in a process by which reducing equivalents (in the form of NADPH, or ferredoxin, [1]) are consumed to reduce the plastoquinone (PQ) pool through the activity of NDH complexes

  18. Effect of Surface Termination on the Electonic Properties of LaNiO? Films

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

    Kumah, Divine P.; Malashevich, Andrei; Disa, Ankit S.; Arena, Dario A.; Walker, Fred J.; Ismail-Beigi, Sohrab; Ahn, Charles H.

    2014-11-06

    The electronic and structural properties of thin LaNiO? films grown by using molecular beam epitaxy are studied as a function of the net ionic charge of the surface terminating layer. We demonstrate that electronic transport in nickelate heterostructures can be manipulated through changes in the surface termination due to a strong coupling of the surface electrostatic properties to the structural properties of the Ni—O bonds that govern electronic conduction. We observe experimentally and from first-principles theory an asymmetric response of the structural properties of the films to the sign of the surface charge, which results from a strong interplay betweenmore »electrostatic and mechanical boundary conditions governing the system. The structural response results in ionic buckling in the near-surface NiO? planes for films terminated with negatively charged NiO? and bulklike NiO? planes for films terminated with positively charged LaO planes. The ability to modify transport properties by the deposition of a single atomic layer can be used as a guiding principle for nanoscale device fabrication.« less

  19. An Emerging Concept for 4G+ Wireless Cellular Networks: Terminal Relaying

    E-Print Network [OSTI]

    Yanikomeroglu, Halim

    consider a cellular system in which the wireless terminals (WTs), in addition to transmitting their own signals, act as relays to assist other WTs. In such a system the number of relays scales with the number of WTs offering the system designer significantly more degrees of freedom. However, using WTs as relays

  20. Drosophila C-terminal Src kinase regulates growth via the Hippo signaling pathway

    E-Print Network [OSTI]

    Singh, Amit

    with poor prognosis. The Drosophila C-terminal Src kinase (d-Csk) is a genetic modifier of warts (wts size during development. Given the similarity in the loss-of-function phenotypes of d-Csk and wts, we of the network of genes that interact to regulate Wts and its effector Yki in the Hippo signaling pathway. & 2014

  1. Process for producing radiation-induced self-terminating protective coatings on a substrate

    DOE Patents [OSTI]

    Klebanoff, Leonard E. (Dublin, CA)

    2001-01-01

    A gas and radiation are used to produce a protective coating that is substantially void-free on the molecular scale, self-terminating, and degradation resistant. The process can be used to deposit very thin (.apprxeq.5-20 .ANG.) coatings on critical surfaces needing protection from degradative processes including, corrosion and contamination.

  2. Nonlinear Control Design and Analysis of a Multi-Terminal VSC-HVDC System

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    a large transmission capacity (larger than the AC network) and can provide a more flexible, efficient. The controller is able to provide global asymptotic stability for the power transmission system consisting of N-terminal HVDC transmission system can only carry out point-to-point power transfer. Under the requirements

  3. Hypothetical Intelligent Plants, or, What Kind of Terminal Could a Tulip

    E-Print Network [OSTI]

    Black, Paul E.

    Hypothetical Intelligent Plants, or, What Kind of Terminal Could a Tulip Use? Paul E. Black of a world be like if it were a plant instead of an animal? Examining existing plants, we suggest a plausible intelligent plant. It is definitely not humanoid. Our intelli­ gent plant is stationary, senses

  4. Hypothetical Intelligent Plants, or, What Kind of Terminal Could a Tulip

    E-Print Network [OSTI]

    Black, Paul E.

    Hypothetical Intelligent Plants, or, What Kind of Terminal Could a Tulip Abstract What would the dominant species of a world be like if it were a plant instead of an animal? Examining existing plants, we suggest a plausible intelligent plant. It is definitely

  5. A Biometric Attendance Terminal and its Application to Health Programs in India

    E-Print Network [OSTI]

    Toronto, University of

    A Biometric Attendance Terminal and its Application to Health Programs in India Michael Paik New York University Navkar Samdaria, Aakar Gupta Microsoft Research India Julie Weber University Microsoft Research India Abstract Tracking attendance is a necessity in a variety of contexts

  6. Grasp and Force Based Taxonomy of Split-Hook Prosthetic Terminal Devices

    E-Print Network [OSTI]

    Dollar, Aaron M.

    Grasp and Force Based Taxonomy of Split-Hook Prosthetic Terminal Devices Joseph T. Belter, Bo C developed two taxonomies of split-hook use, one on grasp shape and one on force exertion, illustrating of the classifications. These taxonomies serve to establish a common language and means of comparing the types of grasps

  7. N-terminal contributions of the -subunit of fetal hemoglobin to its tetramer strength: Remote effects

    E-Print Network [OSTI]

    Chait, Brian T.

    N-terminal contributions of the -subunit of fetal hemoglobin to its tetramer strength: Remote, 2001; ACCEPTED October 4, 2001) Abstract The greatly increased tetramer strength of liganded fetal hemoglobin compared with adult hemoglobin is shown by its 70-fold smaller tetramer-dimer dissociation

  8. Policy Related to Creating, Changing, and Terminating Degree Programs, Majors, Minors, Areas of Emphasis, Certificate Programs,

    E-Print Network [OSTI]

    Mohaghegh, Shahab

    Policy Related to Creating, Changing, and Terminating Degree Programs, Majors, Minors, Areas of study within the unit. Note: The Higher Education Policy Commission (HEPC) has the authority to review on the official HEPC inventory of degree programs. Policy: #12; A degree program is specified by a degree

  9. Policy Related to Creating, Changing, and Terminating Degree Programs, Majors, Minors, Areas of Emphasis, Certificate Programs,

    E-Print Network [OSTI]

    Mohaghegh, Shahab

    Policy Related to Creating, Changing, and Terminating Degree Programs, Majors, Minors, Areas academic units to describe the areas of study within the unit. Note: The Higher Education Policy Commission as such by the institution and BOG and listed on the official HEPC inventory of degree programs. Policy: #12; A degree

  10. STUDENT HOUSING UNIVERSITY OF CALIFORNIA, IRVINE Request for Termination of Housing Contract

    E-Print Network [OSTI]

    Mease, Kenneth D.

    STUDENT HOUSING UNIVERSITY OF CALIFORNIA, IRVINE Request for Termination of Housing Contract Submit this form to your community housing office with required documents and call the housing office to set up DOMESTIC STATUS CHANGE* *Contact a Student Housing Accounts Counselor at shac@uci.edu if you are under 25

  11. Prfungen 1. Termin HS2015 fr Bachelor / Master Chemie und Molekulare Wissenschaften

    E-Print Network [OSTI]

    Mühlemann, Oliver

    Prüfungen 1. Termin HS2015 für Bachelor / Master Chemie und Molekulare Wissenschaften Bachelor nur eine Berichtsabgabe erfolgt. · Die Wiederholungsprüfungstermine aus dem Bereich Chemie, Biochemie for exam admittance or grade calculation under the individual KSL entries. Departement für Chemie und

  12. TEA: Automatically proving termination of programs in a nonstrict higherorder functional

    E-Print Network [OSTI]

    Schmidt-Schauss, Manfred

    TEA: Automatically proving termination of programs in a non­strict higher­order functional language (69)­798­22890 Fax: +49 (69)­798­28919 Abstract. We present TEA, a tool that is able to detect language, we use such a core language as the source language for the analysis. TEA is able to detect two

  13. Fast Non-Local Means (NLM) Computation with Probabilistic Early Termination

    E-Print Network [OSTI]

    Li, Fei-Fei

    , Byung Tae Oh and C.-C.Jay Kuo Dept. of Electrical Engineering, Indian Institute of Technology, Kharagpur - 721302, India Signal and Image Processing Institute, Ming Hsieh Dept. of Electrical Engineering) image denoising algorithm based on probabilistic early termination (PET) is proposed. A significant

  14. Healthcare Facility Location and Capacity Configuration under Stochastic Demand 

    E-Print Network [OSTI]

    Han, Xue

    2014-12-18

    This dissertation addresses two topics. The first topic is strategic dynamic supply chain reconfiguration (DSCR) problem, in which the proposed capacity configuration network is employed in the second topic: healthcare facility location and capacity...

  15. Location-based information system for open spaces 

    E-Print Network [OSTI]

    Tejavanija, Kampanart

    2004-11-15

    positioning system (GPS) in providing location information, it is expected that this technology could be utilized to control and improve building construction and facility management productivity within building interior spaces as well. However, GPS cannot...

  16. Object Co-location and Memory Reuse for Java Programs

    E-Print Network [OSTI]

    Lau, Francis C.M.

    : Memory allocator, garbage collector, mutator, Java, object co- location, memory reuse ACM Reference of a runtime system becomes increasingly signif- icant [Sun Microsystems 2003]. Our second goal is to find

  17. Network Based Approaches for Clustering and Location Decisions 

    E-Print Network [OSTI]

    Verma, Anurag

    2012-10-19

    , which is critical to the quality of service provided in a large scale emergency like an earthquake. In the existing literature, large scale emergency facility location models have either assumed that disaster response facilities will always...

  18. MARVEL: A System for Recognizing World Locations with Stereo Vision

    E-Print Network [OSTI]

    Braunegg, David Jerome

    1990-06-01

    To use a world model, a mobile robot must be able to determine its own position in the world. To support truly autonomous navigation, I present MARVEL, a system that builds and maintains its own models of world locations ...

  19. A Geographic Information Retrieval Approach to Locate Pharmacies on Duty

    E-Print Network [OSTI]

    Rosso, Paolo

    Geographic Information Retrieval (GIR), Geographic Information Systems (GIS), Toponym Disambiguation 1 disciplines, in particular geographic information retrieval and geographical information systems, which playedGIRPharma: A Geographic Information Retrieval Approach to Locate Pharmacies on Duty Francisco M

  20. Infill location determination and assessment of corresponding uncertainty 

    E-Print Network [OSTI]

    Senel, Ozgur

    2009-05-15

    , generated probabilistic distributions of incremental field production and, finally, used descriptive statistical analysis to evaluate results. I quantified the uncertainty associated with infill location selection in terms of incremental field production...