Sample records for barrels terminal operator

  1. The strategic allocation of cyclically calling vessels for multi-terminal container operators

    E-Print Network [OSTI]

    Armbruster, Dieter

    The strategic allocation of cyclically calling vessels for multi-terminal container operators M.P.M. Hendriks , D. Armbruster, , M. Laumanns , E. Lefeber , J.T. Udding Abstract We consider a terminal operator, who provides his logistics services of container handling at multiple terminals within the same port

  2. Preparation for Early Termination of Ignalina NPP Operation

    SciTech Connect (OSTI)

    Poskas, P.; Poskas, R.

    2003-02-26T23:59:59.000Z

    Seimas (Parliament of Lithuania) approved updated National Energy strategy where it is indicated that first Unit will be shutdown before the year 2005 and second Unit in 2009 if funding for decommissioning is available from EU and other donors. In accordance to Ignalina NPP Unit 1 Closure Law the Government of Lithuania approved the Ignalina NPP Unit 1 Decommissioning Program until year 2005. For enforcement of this program, the plan of measures for implementation of the program was prepared and approved by the Minister of Economy. The plan consists of two parts, namely technical- environmental and social-economic. Technical-environmental measures are mostly oriented to the safe management of spent nuclear fuel and operational radioactive waste stored at the plant and preparation of licensing documents for Unit 1 decommissioning. Social-economic measures are oriented to mitigate negative social and economic impact on Lithuania, inhabitants of the region, and, particularly, o n the staff of Ignalina NPP by means of creating favorable conditions for a balanced social and economic development of the region. In this paper analysis of planned activities, licensing requirements for decommissioning, progress in preparation of the Final Decommissioning Plan is discussed.

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

    E-Print Network [OSTI]

    Kuriakose, Vinu P.

    2005-11-01T23:59:59.000Z

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

  4. Terminal Box Airflow Reset: An Effective Operation and Control Strategy for Comfort Improvement and Energy Conservation

    E-Print Network [OSTI]

    Liu, M.; Abbas, M.; Zhu, Y.; Claridge, D. E.

    2002-01-01T23:59:59.000Z

    for constant air volume terminal boxes during unoccupied hours. Authors have implemented the airflow reset in dual duct variable air volume terminal boxes [Abbas and Liu, 1996], in dual duct constant air volume terminal boxes [Liu and Zhu, 1998...], and in single duct terminal boxes [Zhu et. al, 2000]. This paper presents schedules of airflow reset for typical terminal boxes, models of potential energy savings, and issues of implementation AIRFLOW RESET The value of airflow reset depends on terminal...

  5. 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-23T23:59:59.000Z

    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.

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

  7. Comparing Control Constructs by Double-barrelled CPS Hayo Thielecke

    E-Print Network [OSTI]

    Thielecke, Hayo

    Comparing Control Constructs by Double-barrelled CPS Hayo Thielecke (h classical in the source of the CPS transform break the linearity of continuation use in the target. Keywords operators to the bare essentials of labelling and jumping, so that there are no longer any distracting

  8. Second Line of Defense Megaports Initiative Operational Testing and Evaluation Plan - Kingston Container Terminal, Port of Kingston, Jamaica

    SciTech Connect (OSTI)

    Deforest, Thomas J.; VanDyke, Damon S.

    2012-03-01T23:59:59.000Z

    Operational Testing and Evaluation Plan - Kingston Container Terminal, Port of Kingston, Jamaica was written for the Second Line of Defense Megaports Initiative. The purpose of the Operational Testing and Evaluation (OT&E) phase of the project is to prepare for turnover of the Megaports system supplied by U.S. Department of Energy/National Nuclear Security Administration (DOE/NNSA) located at the Kingston Container Terminal (KCT) of the Port of Kingston, Jamaica to the Government of Jamaica (GOJ). Activities conducted during the OT&E phase must demonstrate that the Megaports system can be operated effectively in real time by Jamaica Customs and KCT personnel to the satisfaction of the DOE/NNSA. These activities will also determine if the Megaports system, as installed and accepted, is performing according to the Megaports Program objectives such that the system is capable of executing the mission of the Second Line of Defense Megaports Initiative. The OT&E phase of the project also provides an opportunity to consider potential improvements to the system and to take remedial action if performance deficiencies are identified during the course of evaluation. Changes to the system should be considered under an appropriate change-control process. DOE/NNSA will determine that OT&E is complete by examining whether the Megaports system is performing as intended and that the GOJ is fully capable of operating the system independently without continued onsite support from the U.S. team.

  9. WHAT IS A RAIN BARREL? A rain barrel is any type of container used to catch

    E-Print Network [OSTI]

    Blanchette, Robert A.

    or pet consumption. · Due to lack of research data, water collected in a rain barrel is not recommended

  10. FISSION REACTORS KEYWORDS: core-barrel vibra-

    E-Print Network [OSTI]

    Demazière, Christophe

    FISSION REACTORS KEYWORDS: core-barrel vibra- tions, in-core neutron noise, shell- mode vibrations CALCULATION OF THE NEUTRON NOISE INDUCED BY SHELL-MODE CORE-BARREL VIBRATIONS IN A 1-D, TWO-GROUP, TWO-REGION SLAB REACTOR MODEL CARL SUNDE,* CHRISTOPHE DEMAZI?RE, and IMRE PÁZSIT Chalmers University of Technology

  11. Second Line of Defense Megaports Initiative Operational Testing and Evaluation Plan Colon Container Terminal (CCT) Panama

    SciTech Connect (OSTI)

    Newhouse, Robert N.

    2010-01-01T23:59:59.000Z

    Report on the Operational Testing and Evaluation to validate and baseline an operable system that meets the Second Line of Defense (SLD) mission requirements. An SLD system is defined as the detection technology and associated equipment, the system operators from the host country, the standard operating procedures (SOPs), and other elements such as training and maintenance which support long-term system sustainment. To this end, the activities conducted during the OT&E phase must demonstrate that the Megaports System can be operated effectively in real-time by Panama Direccion General de Aduanas (DGA Panama Customs) personnel to the standards of the U.S. Department of Energy/National Nuclear Security Administration (DOE/NNSA).

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

    E-Print Network [OSTI]

    Park, Minchul

    2006-04-12T23:59:59.000Z

    -turn vehicles on a departure leg. If the ramp terminal is closely followed by the next downstream intersection, weaving maneuvers will occur since some vehicles make a right turn at the ramp terminal and make a left turn at the downstream intersection...

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

    E-Print Network [OSTI]

    Park, Minchul

    2006-04-12T23:59:59.000Z

    -turn vehicles on a departure leg. If the ramp terminal is closely followed by the next downstream intersection, weaving maneuvers will occur since some vehicles make a right turn at the ramp terminal and make a left turn at the downstream intersection...

  14. atlas sct barrel: Topics by E-print Network

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

    of processors receiving the full granularity of data from a dedicated detector (Resistive Plate Chambers in the Barrel). Salamanna, G; The ATLAS collaboration 2009-01-01 35...

  15. atlas trt barrel: Topics by E-print Network

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

    of processors receiving the full granularity of data from a dedicated detector (Resistive Plate Chambers in the Barrel). Salamanna, G; The ATLAS collaboration 2009-01-01 27...

  16. atlas sct barrels: Topics by E-print Network

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

    of processors receiving the full granularity of data from a dedicated detector (Resistive Plate Chambers in the Barrel). Salamanna, G; The ATLAS collaboration 2009-01-01 35...

  17. Construction, assembly and tests of the ATLAS electromagnetic barrel calorimeter

    E-Print Network [OSTI]

    Aubert, B; Colas, Jacques; Delebecque, P; Di Ciaccio, L; El-Kacimi, M; Ghez, P; Girard, C; Gouanre, M; Goujdami, D; Jrmie, A; Jzquel, S; Lafaye, R; Massol, N; Perrodo, P; Przysiezniak, H; Sauvage, G; Thion, J; Wingerter-Seez, I; Zitoun, R; Zolnierowski, Y; Alforque, R; Chen, H; Farrell, J; Gordon, H; Grandinetti, R; Hackenburg, R W; Hoffmann, A; Kierstead, J A; Khler, J; Lanni, F; Lissauer, D; Ma, H; Makowiecki, D S; Mller, T; Norton, S; Radeka, V; Rahm, David Charles; Rehak, M; Rajagopalan, S; Rescia, S; Sexton, K; Sondericker, J; Stumer, I; Takai, H; Belymam, A; Benchekroun, D; Driouichi, C; Hoummada, A; Hakimi, M; Knee, Michael; Stroynowski, R; Wakeland, B; Datskov, V I; Drobin, V; Aleksa, Martin; Bremer, J; Carli, T; Chalifour, M; Chevalley, J L; Djama, F; Ema, L; Fabre, C; Fassnacht, P; Gianotti, F; Gonidec, A; Hansen, J B; Hervs, L; Hott, T; Lacaste, C; Marin, C P; Pailler, P; Pleskatch, A; Sauvagey, D; Vandoni, Giovanna; Vuillemin, V; Wilkens, H; Albrand, S; Belhorma, B; Collot, J; de Saintignon, P; Dzahini, D; Ferrari, A; Fulachier, J; Gallin-Martel, M L; Hostachy, J Y; Laborie, G; Ledroit-Guillon, F; Martin, P; Muraz, J F; Ohlsson-Malek, F; Saboumazrag, S; Viret, S; Othegraven, R; Zeitnitz, C; Banfi, D; Carminati, L; Cavalli, D; Citterio, M; Costa, G; Delmastro, M; Fanti, M; Mandelli, L; Mazzanti, M; Tartarelli, F; Aug, E; Baffioni, S; Bonis, J; Bonivento, W; Bourdarios, C; de La Taille, C; Fayard, L; Fournier, D; Guilhem, G; Imbert, P; Iconomidou-Fayard, L; Le Meur, G; Mencik, M; Noppe, J M; Parrour, G; Puzo, P; Rousseau, D; Schaffer, A C; Seguin-Moreau, N; Serin, L; Unal, G; Veillet, J J; Wicek, F; Zerwas, D; Astesan, F; Bertoli, W; Canton, B; Fleuret, F; Imbault, D; Lacour, D; Laforge, B; Schwemling, P; Abouelouafa, M; Ben-Mansour, A; Cherkaoui, R; El-Mouahhidi, Y; Ghazlane, H; Idrissi, A; Bazizi, K; England, D; Glebov, V; Haelen, T; Lobkowicz, F; Slattery, P F; Belorgey, J; Besson, N; Boonekamp, M; Durand, D; Ernwein, J; Mansouli, B; Molinie, F; Meyer, J P; Perrin, P; Schwindling, J; Taguet, J P; Zaccone, Henri; Lund-Jensen, B; Rydstrm, S; Tayalati, Y; Botchev, B; Finocchiaro, G; Hoffman, J; McCarthy, R L; Rijssenbeek, M; Steffens, J; Zdrazil, M; Braun, H M

    2006-01-01T23:59:59.000Z

    The construction and assembly of the two half barrels of the ATLAS central electromagnetic calorimeter and their insertion into the barrel cryostat are described. The results of the qualification tests of the calorimeter before installation in the LHC ATLAS pit are given.

  18. Launcher barrel for the lethality test system railgun

    SciTech Connect (OSTI)

    Sims, J.R.; Christensen, K.E.; Cummings, C.E.; Calkins, N.C.

    1986-01-01T23:59:59.000Z

    A reusable plasma armature railgun barrel design is described. This barrel was designed and is being fabricated at the Los Alamos National Laboratory for use in a kinetic energy lethality test system. The performance goals for this barrel are (1) that it be able to withstand the loads generated when accelerating a 30-g projectile to a velocity of 15 km/s without sustaining permanent damage, (2) that it have multiple shot capability, and, (3) that it be capable of being repaired and/or modified. The barrel consists of a multipiece modular core contained in an outer structural shell. The core assembly, composed of rails and insulators, is accessible for repair or replacement. The outer structural shell is designed to allow access to the core and is used to preload the core compressively. The barrel design incorporates various features that will allow the use of stronger and stiffer materials such as structural ceramics and reinforced coppers as they become available.

  19. Site geotechnical considerations for expansion of the Strategic Petroleum Reserve (SPR) to one billion barrels

    SciTech Connect (OSTI)

    Neal, J.T. (Sandia National Labs., Albuquerque, NM (United States)); Whittington, D.W. (USDOE Strategic Petroleum Reserve Project Management Office, New Orleans, LA (United States)); Magorian, T.R. (Magorian (Thomas R.), Amherst, NY (United States))

    1991-01-01T23:59:59.000Z

    Eight Gulf Coast salt domes have emerged as candidate sites for possible expansion of the Strategic Petroleum Reserve (SPR) to one billion barrels. Two existing SPR sites, Big Hill, TX, and Weeks Island, LA, are among the eight that are being considered. To achieve the billion barrel capacity, some 25 new leached caverns would be constructed, and would probably be established in two separate sites in Louisiana and Texas because of distribution requirements. Geotechnical factors involved in siting studies have centered first and foremost on cavern integrity and environmental acceptability, once logistical suitability is realized. Other factors have involved subsidence and flooding potential, loss of coastal marshlands, seismicity, brine injection well utility, and co-use by multiple operators. 5 refs., 11 figs., 2 tabs.

  20. Impacts of Ferry Terminals on Juvenile Salmon Movement along Puget Sound Shorelines

    E-Print Network [OSTI]

    2007-01-01T23:59:59.000Z

    filter beneath the terminal structure. Recommendations areand operation of WSF terminals with regard to minimizing theto address whether WSF terminals alter the behavior of

  1. Comparing Control Constructs by Typing Double-barrelled CPS Transforms

    E-Print Network [OSTI]

    Thielecke, Hayo

    Comparing Control Constructs by Typing Double-barrelled CPS Transforms Hayo Thielecke School Kingdom Copyright 2000 ACM 0-89791-88-6/97/05 ..$5.00 the bare essentials of labelling and jumping, so

  2. The Gamma Intensity Monitor at the Crystal-Barrel-Experiment

    E-Print Network [OSTI]

    McGehee, William R

    2008-01-01T23:59:59.000Z

    This thesis details the motivation, design, construction, and testing of the Gamma Intensity Monitor (GIM) for the Crystal-Barrel-Experiment at the Universitt Bonn. The CB-ELSA collaboration studies the baryon excitation ...

  3. atlas superconducting barrel: Topics by E-print Network

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

    of the Level- 1 Muon consists of an array of processors receiving the full granularity of data from a dedicated detector (Resistive Plate Chambers in the Barrel). Salamanna, G;...

  4. DATE A DAtabase of TIM Barrel 2.1 Introduction......................................................................................

    E-Print Network [OSTI]

    Babu, M. Madan

    24 DATE A DAtabase of TIM Barrel Enzymes 2.1 Introduction...................................................................................... 2.2 Objective and salient features of the database .................................... 2.2.1 Choice on the database............................................... 2.4 Features

  5. 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-20T23:59:59.000Z

    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.

  6. UNCORRECTED Reliability analysis of hybrid ceramic/steel gun barrels

    E-Print Network [OSTI]

    Grujicic, Mica

    UNCORRECTED PROOF Reliability analysis of hybrid ceramic/steel gun barrels M. GRUJICIC1 , J. R. Optimization of the main design, materials and processing parameters in order to minimize the failure. To achieve the aforementioned range, accuracy and impact energy objectives, new generations of advanced guns

  7. Conceptual design for the STAR barrel electromagnetic calorimeter support rings

    SciTech Connect (OSTI)

    Bielick, E.; Fornek, T.; Spinka, H.; Underwood, D.

    1994-02-15T23:59:59.000Z

    The STAR electromagnetic calorimeter (EMC) will be used to measure the energy of photons and electrons from collisions of beams of particles in the RHIC accelerator under construction at Brookhaven National Laboratory. The present design is documented in the EMC Conceptual Design Report, and consists of a cylindrical barrel and two flat endcap calorimeter sections. The barrel EMC will consist of 120 modules, each subtending 6{degrees} in azimuthal angle about the beam ({phi}), and half the barrel length. Each module will be subdivided into ``towers`` of alternating scintillator and lead, which project to the nominal interaction point. There is a strong coupling between the designs for the EMC and for the conventional solenoidal magnet, which will be located immediately outside the barrel EMC. For example, the inner radius of the magnet must be minimized to lower costs and to reduce the STAR detector`s outer diameter to fit within constraints of the existing detector building. This condition requires the calorimeter modules to be just thick enough to accomplish physics goals and to support their weight with small deflections. This note describes progress in the design of the EMC support rings. Several ring designs and methods of construction have been considered. In addition, installation and alignment problems for both the rings and the rails have been considered in more depth. Finally, revised stress calculations for the recommended ring designs have been performed. Most of this work has been done in close collaboration with the STAR magnet subgroup.

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

  9. Predicting Three-Dimensional Structures of Transmembrane Domains of -Barrel Membrane Proteins

    E-Print Network [OSTI]

    Dai, Yang

    for -barrel membrane proteins, and the lack of an overall quantitative theoretical understandingPredicting Three-Dimensional Structures of Transmembrane Domains of -Barrel Membrane Proteins Information ABSTRACT: -Barrel membrane proteins are found in the outer membrane of gram-negative bacteria

  10. Terminality implies non-signalling

    E-Print Network [OSTI]

    Bob Coecke

    2014-12-30T23:59:59.000Z

    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.

  11. "ALON ISRAEL OIL COMPANY LTD",820,14,"ALON BAKERSFIELD OPERATING...

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

    OPERATING INC","West Coast","California","BAKERSFIELD",5,"HYDROGEN (MMCFD)","Production Capacity, Current Year (barrels per steam day except sulfur and hydrogen)",23 "ALON...

  12. Extraction of the tunnel magnetocapacitance with two-terminal measurements

    E-Print Network [OSTI]

    Lin, Minn-Tsong

    Extraction of the tunnel magnetocapacitance with two-terminal measurements Yin-Ming Chang,1 Kai in the four-terminal measurement with high frequency operation, two-terminal approach was developed circuit analy- sis with four-terminal complex impedance measurements. Aside from their conclusion

  13. 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-07T23:59:59.000Z

    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.

  14. A New Four-Barrel Pellet Injection System for the TJ-II Stellarator

    SciTech Connect (OSTI)

    Combs, Stephen Kirk [ORNL] [ORNL; Foust, Charles R [ORNL] [ORNL; McGill, James M [ORNL] [ORNL; Baylor, Larry R [ORNL] [ORNL; Caughman, John B [ORNL] [ORNL; Fehling, Dan T [ORNL] [ORNL; Harris, Jeffrey H [ORNL] [ORNL; Meitner, Steven J [ORNL] [ORNL; Rasmussen, David A [ORNL] [ORNL; McCarthy, K. J. [EURATOM-CIEMAT, Madrid, Spain] [EURATOM-CIEMAT, Madrid, Spain; Chamorro, M. [Laboratory Nacional de Fusion, Madrid, Spain] [Laboratory Nacional de Fusion, Madrid, Spain; Garcia, R. [Laboratory Nacional de Fusion, Madrid, Spain] [Laboratory Nacional de Fusion, Madrid, Spain; Hildago, C. [Laboratory Nacional de Fusion, Madrid, Spain] [Laboratory Nacional de Fusion, Madrid, Spain; Medrano, M. [Laboratory Nacional de Fusion, Madrid, Spain] [Laboratory Nacional de Fusion, Madrid, Spain; Unamuno, R. [Laboratory Nacional de Fusion, Madrid, Spain] [Laboratory Nacional de Fusion, Madrid, Spain

    2011-01-01T23:59:59.000Z

    A new pellet injection system for the TJ-II stellarator has been developed/constructed as part of a collaboration between the Oak Ridge National Laboratory (ORNL) and the Centro de Investigaciones Energ ticas, Medioambientales y Tecnol gicas (CIEMAT). ORNL is providing most of the injector hardware and instrumentation, the pellet diagnostics, and the pellet transport tubes; CIEMAT is responsible for the injector stand/interface to the stellarator, cryogenic refrigerator, vacuum pumps/ballast volumes, gas manifolds, remote operations, plasma diagnostics, and data acquisition. The pellet injector design is an upgraded version of that used for the ORNL injector installed on the Madison Symmetric Torus (MST). It is a four-barrel system equipped with a cryogenic refrigerator for in situ hydrogen pellet formation and a combined mechanical punch/propellant valve system for pellet acceleration (speeds ~100 to 1000 m/s). On TJ-II, it will be used as an active diagnostic and for fueling. To accommodate the plasma experiments planned for TJ-II, pellet sizes significantly smaller than those typically used for the MST application are required. The system will initially be equipped with four different pellet sizes, with the gun barrel bores ranging between ~0.5 to 1.0 mm. The new system is almost complete and is described briefly here, highlighting the new features added since the original MST injector was constructed. Also, the future installation on TJ-II is reviewed.

  15. Intermodal Hubs Combi-terminal

    E-Print Network [OSTI]

    Texas at Austin, University of

    Intermodal Hubs Combi-terminal Modal Generation Points Multimodal Inland Terminals Nodal Centers Freight Villages Inland Ports Gueterverkehrszentren Freight Nodal Terminal Intermodal Terminals Interporti

  16. Dosimetry assessments for the reactor pressure vessel and core barrel in UK PWR plant

    SciTech Connect (OSTI)

    Thornton, D.A.; Allen, D.A.; Huggon, A.P.; Picton, D.J.; Robinson, A.T.; Steadman, R.J. [Serco, Rutherford House, Quedgeley, Gloucester, Gl2 4NF (United Kingdom); Seren, T.; Lipponen, M.; Kekki, T. [VTT, Technical Research Centre of Finland, Otakaari 3 K, P.O. BOX 1000, Espoo, FI-02044 (Finland)

    2011-07-01T23:59:59.000Z

    Specimens for the Sizewell B reactor pressure vessel (RPV) inservice steels surveillance program are irradiated inside eight capsules located within the reactor pressure vessel and loaded prior to commissioning. The periodic removal of these capsules and testing of their contents provides material properties data at intervals during the lifetime of the plant. Neutron activation measurements and radiation transport calculations play an essential role in assessing the neutron exposure of the specimens and RPV. Following the most recent withdrawal, seven capsules have now been removed covering nine cycles of reactor operation. This paper summarizes the dosimetry results of the Sizewell B surveillance program obtained to date. In addition to an overview of the calculational methodology it includes a review of the measurements. Finally, it describes an extension of the methodology to provide dosimetry recommendations for the core barrel and briefly discusses the results that were obtained. (authors)

  17. New York Crude Oil Reserves in Nonproducing Reservoirs (Million Barrels)

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page onYou are now leaving Energy.gov You are now leaving Energy.gov YouKizildere IRaghurajiConventionalMississippi"site. IfProved(Million Barrels) LiquidsCoalbed Methane ProvedCrude

  18. North Dakota Crude Oil + Lease Condensate Proved Reserves (Million Barrels)

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page onYou are now leaving Energy.gov You are now leaving Energy.gov YouKizildere IRaghurajiConventionalMississippi"site. IfProved(Million Barrels)21 4.65 2013A4. Census RegionNorth+

  19. Ohio Crude Oil + Lease Condensate Proved Reserves (Million Barrels)

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page onYou are now leaving Energy.gov You are now leaving Energy.gov YouKizildere IRaghurajiConventionalMississippi"site. IfProved(Million Barrels)21 4.65per9 0 1 2 3+ Lease

  20. Ohio Crude Oil Reserves in Nonproducing Reservoirs (Million Barrels)

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page onYou are now leaving Energy.gov You are now leaving Energy.gov YouKizildere IRaghurajiConventionalMississippi"site. IfProved(Million Barrels)21 4.65per9 0 1 2 3+ LeaseReserves

  1. Oklahoma Crude Oil + Lease Condensate Proved Reserves (Million Barrels)

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page onYou are now leaving Energy.gov You are now leaving Energy.gov YouKizildere IRaghurajiConventionalMississippi"site. IfProved(Million Barrels)21 4.65per9 0Proved ReservesCoalbed+

  2. Oklahoma Crude Oil Reserves in Nonproducing Reservoirs (Million Barrels)

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page onYou are now leaving Energy.gov You are now leaving Energy.gov YouKizildere IRaghurajiConventionalMississippi"site. IfProved(Million Barrels)21 4.65per9 0Proved

  3. Pennsylvania Crude Oil + Lease Condensate Proved Reserves (Million Barrels)

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page onYou are now leaving Energy.gov You are now leaving Energy.gov YouKizildere IRaghurajiConventionalMississippi"site. IfProved(Million Barrels)21Year Jan FebFullProved+ Lease

  4. Baseballs and Barrels: World Statistics Day | Department of Energy

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels DataDepartment of Energy Your Density Isn't Your Destiny: The FutureComments fromof EnergyBILIWG:Background:BagdadBaseballs and Barrels:

  5. An analysis of increasing the size of the strategic petroleum reserve to one billion barrels

    SciTech Connect (OSTI)

    Not Available

    1990-01-01T23:59:59.000Z

    The Department of Energy's Office of Energy Emergency Policy and Evaluation requested that the Energy Information Administration complete an analysis of the proposed expansion in the Strategic Petroleum Reserve (SPR) from its currently planned size of 750 million barrels to 1000 million barrels. Because the SPR contains only 580 million barrels at this point in time, the benefits and costs of increasing the SPR from 600 to 750 million barrels were also estimated. This report documents the assumptions, methodology, and results of the analysis. 17 figs., 15 tabs.

  6. Termination of Nondeterministic Quantum Programs

    E-Print Network [OSTI]

    Yangjia Li; Nengkun Yu; Mingsheng Ying

    2012-01-04T23:59:59.000Z

    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.

  7. Tapered laser rods as a means of minimizing the path length of trapped barrel mode rays

    DOE Patents [OSTI]

    Beach, Raymond J.; Honea, Eric C.; Payne, Stephen A.; Mercer, Ian; Perry, Michael D.

    2005-08-30T23:59:59.000Z

    By tapering the diameter of a flanged barrel laser rod over its length, the maximum trapped path length of a barrel mode can be dramatically reduced, thereby reducing the ability of the trapped spontaneous emission to negatively impact laser performance through amplified spontaneous emission (ASE). Laser rods with polished barrels and flanged end caps have found increasing application in diode array end-pumped laser systems. The polished barrel of the rod serves to confine diode array pump light within the rod. In systems utilizing an end-pumping geometry and such polished barrel laser rods, the pump light that is introduced into one or both ends of the laser rod, is ducted down the length of the rod via the total internal reflections (TIRs) that occur when the light strikes the rod's barrel. A disadvantage of using polished barrel laser rods is that such rods are very susceptible to barrel mode paths that can trap spontaneous emission over long path lengths. This trapped spontaneous emission can then be amplified through stimulated emission resulting in a situation where the stored energy available to the desired lasing mode is effectively depleted, which then negatively impacts the laser's performance, a result that is effectively reduced by introducing a taper onto the laser rod.

  8. Terminal coalgebras via modules

    E-Print Network [OSTI]

    Cheng, Eugenia

    Terminal coalgebras via modules Tom Leinster (Glasgow/EPSRC) Apostolos Matzaris (Patras a terminal coalgebra #12;Plan We'll give a new proof of an old theorem (Bird, MakkaiPare, Barr, Adamek): every finitary endofunctor of a locally finitely presentable category has a terminal coalgebra #12

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

  10. Metabolic Engineering and Synthetic Biology in Strain Development Every year, we consume about 27 billion barrels of fossil oil.

    E-Print Network [OSTI]

    billion barrels of fossil oil. This enormous amount of oil is used for fueling our cars and airplanes

  11. Stillwell Avenue Terminal Train Shed

    High Performance Buildings Database

    New York, NY Coney Island's Stillwell Avenue Terminal is the largest above-ground station in New York City's subway system. After years of deferred maintenance, the 90-year-old station was redesigned by New York City Transit's in-house design staff. The train shed's new arched-truss structure covers four platforms and eight tracks. The train shed was designed to meet demanding maintenance, durability, and operations requirements.

  12. Design and characterization of artificial transcriptional terminators

    E-Print Network [OSTI]

    Huang, Haiyao

    2007-01-01T23:59:59.000Z

    Design and characterization of artificial transcriptional terminators. Ten new terminators were designed based on previous research of terminator structure and termination efficiency. The terminators were built by PCR ...

  13. The Heliospheric Termination Shock

    E-Print Network [OSTI]

    R. A. Treumann; C. H. Jaroschek

    2008-07-25T23:59:59.000Z

    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. Exploring the Environmental Preference of Weak Interactions in ( / )8 Barrel Proteins

    E-Print Network [OSTI]

    Babu, M. Madan

    Exploring the Environmental Preference of Weak Interactions in ( / )8 Barrel Proteins S of Biotechnology and Chemical Engineering, Vellore Institute of Technology, Vellore, India 2 MRC Laboratory of Molecular Biology, Cambridge, United Kingdom 3 National Center for Biotechnology Information, National

  15. An Integrated Logic for Termination and Non-Termination Reasoning

    E-Print Network [OSTI]

    Hobor, Aquinas

    An Integrated Logic for Termination and Non-Termination Reasoning Ton-Chanh Le, Cristian Gherghina. We propose a logical framework for specifying and proving assertions about program termination and non-termination. Although program termination has been well studied, it is usually added

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

    E-Print Network [OSTI]

    Weirich, Stephanie

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

  17. Superconducting Cable Termination

    DOE Patents [OSTI]

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

    2005-08-30T23:59:59.000Z

    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.

  18. Termination and Recovery

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

    1997-08-21T23:59:59.000Z

    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.

  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. Section 5 -Termination of Occupancy A. Involuntary Termination of Occupancy

    E-Print Network [OSTI]

    Pantaleone, Jim

    Section 5 - Termination of Occupancy A. Involuntary Termination of Occupancy 1. Housing and Dining privileges may be terminated by the University for cause. Cause includes, but is not limited to violating. 2. The University may terminate this agreement without cause with ten days written notice. 3

  1. Termination Detection of Local Computations

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    Termination Detection of Local Computations Emmanuel Godard1 , Yves Metivier2 and Gerard Tel3 1 is glob- ally 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

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

  3. Quantitative/Statistical Approach to Bullet-to-Firearm Identification with Consecutively Manufactured Barrels

    SciTech Connect (OSTI)

    Peter Striupaitis; R.E. Gaensslen

    2005-01-30T23:59:59.000Z

    Efforts to use objective image comparison and bullet scanning technologies to distinguish bullets from consecutively manufactured handgun barrels from two manufacturers gave mixed results. The ability of a technology to reliably distinguish between matching and non-matching bullets, where the non-matching bullets were as close in pattern to the matching ones as is probably possible, would provide evidence that the distinctions could be made ''objectively'', and independently of human eyes. That evidence is identical or very close to what seems to be needed to satisfy Daubert standards. It is fair to say that the FTI IBIS image comparison technology correctly distinguished between all the Springfield barrel bullets, and between most but not all of the HiPoint barrel bullets. In the HiPoint cases that were not distinguished 100% of the time, they would he distinguished correctly at least 83% of the time. These results, although obviously limited to the materials used in the comparisons, provide strong evidence that barrel-to-bullet matching is objectively reliable. The results with SciClops were less compelling. The results do not mean that bullet-to-barrel matching is not objectively reliable--rather, they mean that this version of the particular technology could not quite distinguish between these extremely similar yet different bullets as well as the image comparison technology did. In a number of cases, the numerical results made the correct distinctions, although they were close to one another. It is hard to say from this data that this technology differs in its ability to make distinctions between the manufacturers, because the results are very similar with both. The human examiner results were as expected. We did not expect any misidentifications, and there were not any. It would have been preferable to have a higher return rate, and thus more comparisons in the overall sample. As noted, the ''consecutively manufactured barrel exercise'' has been done before, with the same outcome.

  4. Optimization Control Strategies for HVAC Terminal Boxes

    E-Print Network [OSTI]

    Zhu, Y.; Batten, T.; Noboa, H.; Claridge, D. E.; Turner, W. D.; Liu, M.; Zhou, J.; Cameron, C.; Keeble, D.; Hirchak, R.

    2000-01-01T23:59:59.000Z

    medical complex during the commissioning. This not only improved the building comfort conditions but also reduced the energy costs. Key words: terminal box, AHU, optimized control, VAV box, CV box, setback, operation schedule, energy consumption... strategies for the DDVAV box. Also, setback strategies for the VAV and CV boxes were developed. All the new operation schedules were implemented in this complex. As a result, the room comfort level was improved, the box heating capacity was increased...

  5. Evolution of Substrate Specificity within a Diverse Family of [beta/alpha]-Barrel-fold Basic Amino Acid Decarboxylases X-ray Structure Determination of Enzymes with Specificity for L-Arginine and Carboxynorspermidine

    SciTech Connect (OSTI)

    Deng, Xiaoyi; Lee, Jeongmi; Michael, Anthony J.; Tomchick, Diana R.; Goldsmith, Elizabeth J.; Phillips, Margaret A. (Sungkyunkwan); (UTSMC)

    2010-08-26T23:59:59.000Z

    Pyridoxal 5{prime}-phosphate (PLP)-dependent basic amino acid decarboxylases from the {beta}/{alpha}-barrel-fold class (group IV) exist in most organisms and catalyze the decarboxylation of diverse substrates, essential for polyamine and lysine biosynthesis. Herein we describe the first x-ray structure determination of bacterial biosynthetic arginine decarboxylase (ADC) and carboxynorspermidine decarboxylase (CANSDC) to 2.3- and 2.0-{angstrom} resolution, solved as product complexes with agmatine and norspermidine. Despite low overall sequence identity, the monomeric and dimeric structures are similar to other enzymes in the family, with the active sites formed between the {beta}/{alpha}-barrel domain of one subunit and the {beta}-barrel of the other. ADC contains both a unique interdomain insertion (4-helical bundle) and a C-terminal extension (3-helical bundle) and it packs as a tetramer in the asymmetric unit with the insertions forming part of the dimer and tetramer interfaces. Analytical ultracentrifugation studies confirmed that the ADC solution structure is a tetramer. Specificity for different basic amino acids appears to arise primarily from changes in the position of, and amino acid replacements in, a helix in the {beta}-barrel domain we refer to as the 'specificity helix.' Additionally, in CANSDC a key acidic residue that interacts with the distal amino group of other substrates is replaced by Leu{sup 314}, which interacts with the aliphatic portion of norspermidine. Neither product, agmatine in ADC nor norspermidine in CANSDC, form a Schiff base to pyridoxal 5{prime}-phosphate, suggesting that the product complexes may promote product release by slowing the back reaction. These studies provide insight into the structural basis for the evolution of novel function within a common structural-fold.

  6. atlas barrel level-1: Topics by E-print Network

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

    resolved allowing the SCT to be operated and participate in combined ATLAS Cosmic ray data taking runs. The results of these runs have been used to determine the hit efficiency...

  7. Shipboard regasification terminal

    SciTech Connect (OSTI)

    Campbell, G.; Zednik, J.

    1999-07-01T23:59:59.000Z

    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.

  8. Energy Conservation and Cogeneration in Bottom-of-the-Barrel Processes

    E-Print Network [OSTI]

    Fleming, J. B.; Chang, C. P.; Pierce, V. E.

    1982-01-01T23:59:59.000Z

    Due to the increased use of coal and the reduced demand for Bunker C and other heavy liquid fuels, more refiners are adding or increasing the capacity of their facilities for converting the bottom-of-the-barrel streams into more desirable products...

  9. Eternal Inflation with Arrival Terminals

    E-Print Network [OSTI]

    Henry Stoltenberg; Andreas Albrecht

    2015-01-18T23:59:59.000Z

    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.

  10. Congenital persistent terminal ventricle and filar cyst

    E-Print Network [OSTI]

    Jha, Priyanka; Chawla, Soni C.

    2009-01-01T23:59:59.000Z

    Congenital persistent terminal ventricle and filar cystconsistent with a persistent terminal ventricle (PTV) (Fig.cyst Fig. 1 Persistent terminal ventricle (PTV) the filum at

  11. MOBILE-TERMINATED DATA User's Guide

    E-Print Network [OSTI]

    Ashley, Michael C. B.

    MOBILE-TERMINATED DATA User's Guide Iridium Satellite LLC Rev. 2; February 1, 2002 #12;MOBILE TERMINATED DATA................................................................................................................................3 1.1 IRIDIUM MOBILE TERMINATED DATA CONNECTIVITY

  12. Solving the Resource Allocation Problem in a Multimodal Container Terminal as a Network

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    Solving the Resource Allocation Problem in a Multimodal Container Terminal as a Network Flow shipping companies are enforcing the need for efficient container terminals. By using internal material on container terminals using straddle carriers for trans- portation and storage operations. We assume

  13. Multilevel Windows on a Singlelevel Terminal+ M. D. McIlroy

    E-Print Network [OSTI]

    McIlroy, Doug

    Multilevel Windows on a Single­level Terminal+ M. D. McIlroy J. A. Reeds AT&T Bell Laboratories, ``Multilevel security with fewer fetters,'' are ``intelligent'' terminals that contain a local operating system. A program in the host mediates between (multiple) shell sessions and the terminal. To run multilevel windows

  14. OEP Terminal and CONUS Weather Radar Coverage Gap Identification Analysis for NextGen

    E-Print Network [OSTI]

    Cho, John Y. N.

    iii OEP Terminal and CONUS Weather Radar Coverage Gap Identification Analysis for NextGen April 2-density terminal airspace, we focused on this domain with the 35 Operational Evolution Plan (OEP) airports acting as proxy for the yet-to-be-determined list of super-density terminals. We also analyzed, to a lesser extent

  15. GRADUATE COLLEGE TERMINATION OF GRADUATE ASSISTANT

    E-Print Network [OSTI]

    Cho, Hokwon

    GRADUATE COLLEGE TERMINATION OF GRADUATE ASSISTANT Policy Information & Directions for GA Termination 1. Once appointed, graduate assistants may not have their tuition/fees revoked standards, the Termination of Graduate Assistant form may be used to terminate a GA appointment

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

    E-Print Network [OSTI]

    Ayala-Rincn, Mauricio

    Automation of Termination: Abstracting CCG through MWG Automation of Termination: Abstracting of Termination: Abstracting CCG through MWG Motivation Termination analysis is a fundamental topic in computer science. While classical results state the undecidability of various termination problems, automated

  17. ,"Pennsylvania Crude Oil + Lease Condensate Proved Reserves (Million Barrels)"

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National and Regional Data; Row: NAICS Codes; Column: Energy Sources andPlant Liquids,+ Lease Condensate Proved Reserves (Million Barrels)"

  18. Performance testing of the Sandy Pond HVDC converter terminal

    SciTech Connect (OSTI)

    Donahue, J.A.; Fisher, D.A.; Railing, B.D.; Tatro, P.J. (New England Power Service Co., Westborough, MA (United States))

    1993-01-01T23:59:59.000Z

    Results of several performance tests for the 1,800 MW Sandy Pond HVDC converter terminal are presented and discussed. The work progressed during 1990 and 1991 and included tests for power line carrier interference, audible sound, ac and dc line faults and dc harmonic performance. The testing was conducted as part of the commissioning program for the first stage of the Quebec-New England Phase 2 multi-terminal system. In this stage, the Radisson (Quebec) and Sandy Pond (New England) terminals are operational.

  19. Power converter having improved terminal structure

    DOE Patents [OSTI]

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

    2007-03-06T23:59:59.000Z

    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.

  20. 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-25T23:59:59.000Z

    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.

  1. Reduce Building Energy Consumption by Improving the Supply Air Temperature Schedule and Recommissioning the Terminal Boxes, Submitted to the Energy Management and Operations Division at the M.D. Anderson Cancer Center

    E-Print Network [OSTI]

    Liu, M.; Athar, A.; Zhu, Y.; Claridge, D. E.

    1995-01-01T23:59:59.000Z

    At the request of the Energy Management and Operations Department at M.D. Anderson Cancer Center, the Energy Systems Laboratory of Texas A&M University performed a study of optimizing the HVAC operation at its Basic Research Building. The Basic...

  2. Anchored terminal conductor

    SciTech Connect (OSTI)

    Milewski, M.A.; Delmolino, W.P.

    1986-08-19T23:59:59.000Z

    An electrochemical cell is described comprising a cell container which is closed by a resilient insulative cell top and an electrode conductor inserted through the cell top and into an electrode of the cell, with the electrode conductor being physically and electrically accessible to the exterior of the cell whereby it functions as a terminal for the electrode, and wherein a portion of the electrode conductor is enclosed within the cell top, characterized in that the cell further comprises means for substantially restraining movement of the electrode conductor relative to the cell top. The electrode conductor has a nail configuration comprising a head and a shank with the head of the nail providing the external physical and electrical accessibility, wherein the restraining means is integrated with the shank of the nail. The restraining means is positioned on the shank, interior to the cell container and below the interior surface of the cell top and in close juxtaposition to the interior surface. The restraining means comprises a circumferential barb longitudinally disposed on the shank and having an upper portion which engages the interior surface to provide the substantial restraining of movement.

  3. REAL ALGEBRAIC THREEFOLDS I. TERMINAL SINGULARITIES

    E-Print Network [OSTI]

    Kollr, Jnos

    REAL ALGEBRAIC THREEFOLDS I. TERMINAL SINGULARITIES J ' ANOS KOLL ' AR Contents 1. Introduction 1 2. Terminal hypersurface singularities 3 3. Higher index terminal singularities 7 4. The topology of terminal hypersurface singularities 12 5. The topology of terminal quotient singularities 20 References 24 1

  4. Structure of Termination Proofs Goal of the Termination Tactic Algorithm of the Termination Tactic Mutual recursion Finding Lexicographic Orders for Termination

    E-Print Network [OSTI]

    Cengarle, María Victoria

    Structure of Termination Proofs Goal of the Termination Tactic Algorithm of the Termination Tactic Mutual recursion Finding Lexicographic Orders for Termination Proofs Lukas Bulwahn Fakult¨at f¨ur Informatik Technische Universit¨at M¨unchen February 16th, 2007 1 / 23 #12;Structure of Termination Proofs

  5. Terminator: Beyond Safety Byron Cook1

    E-Print Network [OSTI]

    Rajamani, Sriram K.

    Terminator: Beyond Safety Byron Cook1 , Andreas Podelski2,3 , and Andrey Rybalchenko2,4 1 Microsoft.) are restricted to safety properties. Terminator is the first software model checker for termination. It is now counterexamples if they if they fail to terminate). Introduction Terminator is a program analysis and verification

  6. Precise mapping of the magnetic field in the CMS barrel yoke using cosmic rays

    SciTech Connect (OSTI)

    Chatrchyan, S. [Yerevan Physics Institute (Aremenia); et al.,

    2010-03-01T23:59:59.000Z

    The CMS detector is designed around a large 4 T superconducting solenoid, enclosed in a 12000-tonne steel return yoke. A detailed map of the magnetic field is required for the accurate simulation and reconstruction of physics events in the CMS detector, not only in the inner tracking region inside the solenoid but also in the large and complex structure of the steel yoke, which is instrumented with muon chambers. Using a large sample of cosmic muon events collected by CMS in 2008, the field in the steel of the barrel yoke has been determined with a precision of 3 to 8% depending on the location.

  7. U.S. Crude Oil + Lease Condensate Reserves Sales (Million Barrels)

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742 33 111 1,613 122 40 Buildingto17 34 44Year Jan Feb Mar Apr May Jun602 1,39720Sales (Million Barrels)

  8. U.S. Natural Gas Plant Liquids, Reserves Sales (Million Barrels)

    Annual Energy Outlook 2013 [U.S. Energy Information Administration (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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742 33 111 1,613 122 40CoalLease(Billion Cubic Feet)Year Jan Feb Mar Apr MayBarrels)

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

  10. PAYMENT OF LEAVE UPON TERMINATION Termination Payouts Departments must notify Human Resources (HR)

    E-Print Network [OSTI]

    Wu, Shin-Tson

    PAYMENT OF LEAVE UPON TERMINATION Termination Payouts Departments must notify Human Resources (HR) via Electronic Personnel Action Form (ePAF) when an employee has terminated employment. Leave payouts to termination. #12;

  11. TERMINATION OF IDEAL COS m phi WINDING

    E-Print Network [OSTI]

    Laslett, L.J.

    2010-01-01T23:59:59.000Z

    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

  12. AFFIDAVIT OF TERMINATION OF DOMESTIC PARTNERSHIP Declaration

    E-Print Network [OSTI]

    Ohta, Shigemi

    AFFIDAVIT OF TERMINATION OF DOMESTIC PARTNERSHIP Declaration I of Termination of Domestic Partnership form to my former Domestic Partner on ____________________, 20 or misleading statement made will subject me to disciplinary action up to and including termination

  13. Special Issue SIMULATION on Harbour and Maritime Simulation, 1998, to appear Simulation and Planning of an Intermodal Container Terminal

    E-Print Network [OSTI]

    Gambardella, Luca Maria

    and Planning of an Intermodal Container Terminal Luca Maria Gambardella, Andrea E. Rizzoli, Marco Zaffalon of an intermodal container terminal is presented. Among the problems to be solved, there are the spatial allocation of containers on the terminal yard, the allocation of resources and the scheduling of operations in order

  14. Estimation of All-Terminal Network Reliability Using an Artificial Neural Network Chat Srivaree-ratana and Alice E. Smith

    E-Print Network [OSTI]

    Smith, Alice E.

    Estimation of All-Terminal Network Reliability Using an Artificial Neural Network Chat Srivaree be forwarded) Submitted to Computers & Operations Research June 1999 #12;1 Estimation of All-Terminal Network or communications network topologies, a common reliability measure is all-terminal reliability, the probability

  15. Abstract--With the rapid expansion of satellite communication, an increasing number of unattended ground terminals are

    E-Print Network [OSTI]

    Huang, Changcheng

    ground terminals are spreading out to serve local customers. And there is a great demand to equip the terminals with fault identification functionality so that the remote satellite operators can be notified signal behaviors of signal-to-noise ratio (SNR) measured at the ground terminal with different type

  16. VORDIPLOM-PRFUNGEN Prfungsfach Prfer Termin

    E-Print Network [OSTI]

    Greifswald, Ernst-Moritz-Arndt-Universitt

    VORDIPLOM-PRFUNGEN Prfungsfach Prfer Termin Allgemeine Psychologie I Prof. Dr. Georg Jahn 25-PRFUNGEN Prfungsfach Prfer Termin Arbeits- und Organisationspsychologie Prof. Dr. Manfred Bornewasser 8. Kw Arbeits

  17. Conservation of Heat Energy at Hot Petroleum Products Terminals

    E-Print Network [OSTI]

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

    1981-01-01T23:59:59.000Z

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

  18. Conservation of Heat Energy at Hot Petroleum Products Terminals

    E-Print Network [OSTI]

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

    1981-01-01T23:59:59.000Z

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

  19. Three-terminal semiconductor laser for wave mixing

    E-Print Network [OSTI]

    Belyanin, Alexey; Kocharovsky, V.; Kocharovsky, V.; Scully, Marlan O.

    2002-01-01T23:59:59.000Z

    -terminal design has been recently pro- posed to obtain a dual-wavelength operation of an InxGa12xN light emitting diode ~LED! @6#. In that work, a strongly doped p11/n11 tunnel junction layer was intro- duced between two MQW segments that were emitting at two...

  20. Optimization at Container Terminals: Status, Trends and Perspectives

    E-Print Network [OSTI]

    Bierlaire, Michel

    . Moreover the minimization of operational costs directly entails the achievement of competitive terminal,800,000 (+6,9%) 2 Hong Kong (China) 21,930,000 22,602,000 (+3.0%) 23,230,000 (+2,7%) 3 Shanghai (China) 14

  1. Thvenin's Theorem Linear two-terminal circuit

    E-Print Network [OSTI]

    Kozick, Richard J.

    Thvenin's Theorem Linear two-terminal circuit can be replaced by an equivalent circuit composed at terminals with allResistance at terminals with all independent circuit sources set to zero #12;Norton's Theorem Linear two-terminal circuit can be replaced by an equivalentbe replaced by an equivalent circuit

  2. SIMULATION AND FORECASTING IN INTERMODAL CONTAINER TERMINAL

    E-Print Network [OSTI]

    Gambardella, Luca Maria

    SIMULATION AND FORECASTING IN INTERMODAL CONTAINER TERMINAL Luca Maria Gambardella1 , Gianluca@idsia.ch 2 LCST, La Spezia Container Terminal, La Spezia (IT) 3 DSP, Data System & Planning sa, Manno (CH working in intermodal container terminals. INTRODUCTION The amount of work a container terminal deals

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

  4. Deciding Conditional Termination Marius Bozga1

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    Deciding Conditional Termination Marius Bozga1 , Radu Iosif1 , and Filip Konecny1,2 1 VERIMAG termination, which is that of defining the set of initial configurations from which a given program terminates. First we define the dual set, of initial configurations, from which a non-terminating execution exists

  5. Termination of (Canonical) ContextSensitive Rewriting ?

    E-Print Network [OSTI]

    Lucas, Salvador

    Termination of (Canonical) Context­Sensitive Rewriting ? Salvador Lucas DSIC, Universidad Polit. Termination of such canonical CSR is desirable when using CSR for these purposes. Existing transformations for prov­ ing termination of CSR fulfill a number of new properties when used for proving termination

  6. Light yield of Kuraray SCSF-78MJ scintillating fibers for the Gluex barrel calorimeter

    SciTech Connect (OSTI)

    Beattie, T.D.; Fischer, A.P.; Krueger, S.T.; Lolos, G.J.; Papandreou, Z.; Plummer, E.L.; Semenov, A.Yu.; Semenova, I.A.; Sichello, L.M.; Teigro, L.A.; Smith, E S [JLAB

    2014-09-01T23:59:59.000Z

    Over three quarters of a million 1-mm-diameter 4-m-long Kuraray double-clad SCSF-78MJ (blue-green) scintillating fibers have been used in the construction of the GlueX electromagnetic barrel calorimeter for the Hall D experimental program at Jefferson Lab. The quality of a random sample of 4,750 of these fibers was evaluated by exciting the fibers at their mid point using a 90Sr source in order to determine the light yield using a calibrated vacuum photomultiplier as the photosensor. A novel methodology was developed to extract the number of photoelectrons detected for measurements where individual photoelectron peaks are not discernible. The average number of photoelectrons from this sample of fibers was 9.170.6 at a source distance of 200 cm from the PMT.

  7. OPTIMIZING CENTRIFUGAL BARREL POLISHING FOR MIRROR FINISH SRF CAVITY AND RF TESTS AT JEFFERSON LAB

    SciTech Connect (OSTI)

    Ari Palczewski, Rongli Geng, Hui Tian

    2012-07-01T23:59:59.000Z

    We performed Centrifugal Barrel Polishing (CBP) on a 1.3 GHz fine grain TESLA single cell cavity and 1.5 GHz fine grain CEBAF high gradient superconducting radio frequency (SRF) single cell cavity following a modified recipe originally developed at Fermi National Accelerator Lab (FNAL). We were able to obtain a mirror like surface similar to that obtained at FNAL, while reducing the number of CBP steps and total processing time. This paper will discuss the change in surface and subsequent cavity performance post CBP, after a 800 C bake (no pre-bake chemistry) and minimal controlled electro-polishing (10 micron). In addition to Q vs. E{sub ACC} thermometry mapping with preheating characteristics and optical inspection of the cavity after CBP will also be shown.

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

    E-Print Network [OSTI]

    Xing, Yao

    2013-07-09T23:59:59.000Z

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

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

    E-Print Network [OSTI]

    Xing, Yao

    2013-07-09T23:59:59.000Z

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

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

    E-Print Network [OSTI]

    Abolmaesumi, Purang

    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

  11. Wiederholungsprfungen Termine frs HS 2013 und FS 2014 (im KSL unter Leistungskontrolle 2. Termin erfasst)

    E-Print Network [OSTI]

    Mhlemann, Oliver

    Wiederholungsprfungen Termine frs HS 2013 und FS 2014 (im KSL unter Leistungskontrolle 2. Termin erfasst) Bachelor Chemie Bachelor Biochemie Grundstudium Pharmazie Master Chemie und Molekulare Biochemie (Bro S170) fr Veranstaltungen aus der Biochemie (), falls Sie einen Termin abmachen mchten

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

    E-Print Network [OSTI]

    Yun, Geun-Woong

    2009-05-15T23:59:59.000Z

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

  13. 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-24T23:59:59.000Z

    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.

  14. 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-22T23:59:59.000Z

    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.

  15. EIS-0020: Crude Oil Transport Alternate From Naval Petroleum Reserve No. 1 Elk Hills/SOHIO Pipeline Connection Conveyance System, Terminal Tank Farm Relocation to Rialto, California

    Broader source: Energy.gov [DOE]

    The Office of Naval Petroleum and Oil Shale Reserves developed this supplemental statement to evaluate the environmental impacts associated with a modified design of a proposed 250,000 barrels per day crude oil conveyance system from Navel Petroleum Reserve No. 1 to connect to the proposed SOHIO West Coast to Midcontinent Pipeline at Rialto, California. This SEIS is a supplement to DOE/EIS-0020, Crude Oil Transport Alternate From Naval Petroleum Reserve No. 1 Elk Hills/SOHIO Pipeline Connection Conveyance System, Terminal Tank Farm Relocation to Rialto, California.

  16. Universal null DTE (data terminal equipment)

    DOE Patents [OSTI]

    George, M.; Pierson, L.G.; Wilkins, M.E.

    1987-11-09T23:59:59.000Z

    A communication device in the form of data terminal equipment permits two data communication equipments, each having its own master clock and operating at substantially the same nominal clock rate, to communicate with each other in a multi-segment circuit configuration of a general communication network even when phase or frequency errors exist between the two clocks. Data transmitted between communication equipments of two segments of the communication network is buffered. A variable buffer fill circuit is provided to fill the buffer to a selectable extent prior to initiation of data output clocking. Selection switches are provided to select the degree of buffer preload. A dynamic buffer fill circuit may be incorporated for automatically selecting the buffer fill level as a function of the difference in clock frequencies of the two equipments. Controllable alarm circuitry is provided for selectively generating an underflow or an overflow alarm to one or both of the communicating equipments. 5 figs.

  17. VORDIPLOM-PRFUNGEN Prfungsfach Prfer Termin

    E-Print Network [OSTI]

    Greifswald, Ernst-Moritz-Arndt-Universitt

    VORDIPLOM-PRFUNGEN Prfungsfach Prfer Termin Allgemeine Psychologie I Prof. Dr. Georg Jahn 6. Kw 11. Kw Sozialpsychologie Dr. Edzard Glitsch 13. Kw DIPLOM-PRFUNGEN Prfungsfach Prfer Termin

  18. VORDIPLOM-PRFUNGEN Prfungsfach Prfer Termin

    E-Print Network [OSTI]

    Greifswald, Ernst-Moritz-Arndt-Universitt

    VORDIPLOM-PRFUNGEN Prfungsfach Prfer Termin Allgemeine Psychologie I Prof. Dr. Georg Jahn 32. Kw Lw 38. Kw Sozialpsychologie Dr. Edzard Glitsch 36. Kw DIPLOM-PRFUNGEN Prfungsfach Prfer Termin

  19. VORDIPLOM-PRFUNGEN Prfungsfach Prfer Termin

    E-Print Network [OSTI]

    Greifswald, Ernst-Moritz-Arndt-Universitt

    VORDIPLOM-PRFUNGEN Prfungsfach Prfer Termin Allgemeine Psychologie I Prof. Dr. Georg Jahn 6. KW 9. KW Sozialpsychologie Dr. Edzard Glitsch 13. KW DIPLOM-PRFUNGEN Prfungsfach Prfer Termin

  20. Clothes Dryer Automatic Termination Evaluation

    SciTech Connect (OSTI)

    TeGrotenhuis, Ward E.

    2014-10-01T23:59:59.000Z

    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.

  1. Life without the Terminal Type Lutz Schroder

    E-Print Network [OSTI]

    Schröder, Lutz

    Life without the Terminal Type Lutz Schr¨oder BISS, Department of Computer Science, Bremen University Abstract. We introduce a method of extending arbitrary categories by a terminal object and apply closed except for the lack of a terminal object have a universal full extension to a cartesian closed

  2. On terminal deltawye reducibility of planar graphs

    E-Print Network [OSTI]

    Sagols, Feli

    On terminal deltawye reducibility of planar graphs Isidoro Gitler1 Feliu Sagols2 Departamento deexico City, D.F. igitler@math.cinvestav.mx fsagols@math.cinvestav.mx Abstract A graph is terminal - Y -reducible if it can be reduced to a set of terminal vertices by a sequence of series-parallel reductions

  3. Life without the Terminal Type Lutz Schroder

    E-Print Network [OSTI]

    Schröder, Lutz

    Life without the Terminal Type Lutz Schroder BISS, Department of Computer Science, Bremen University Abstract. We introduce a method of extending arbitrary categories by a terminal object and apply closed except for the lack of a terminal object have a universal full extension to a cartesian closed

  4. First Assemblies Using Deep Trench Termination Diodes

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    First Assemblies Using Deep Trench Termination Diodes F. Baccar, L. Tholier, S. Azzopardi, F. Le Trench Termination (DT2 ), are analyzed in a reliability purpose. For the first time, assemblies are made. As a consequence, to improve the breakdown voltage, it is necessary to create an adequate edge termination

  5. Improved Modular Termination Proofs Using Dependency Pairs

    E-Print Network [OSTI]

    Kobbelt, Leif

    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

  6. Distributed Termination Detection for Dynamic Systems

    E-Print Network [OSTI]

    Dhamdhere, Dhananjay Madhav

    Distributed Termination Detection for Dynamic Systems D. M. Dhamdhere \\Lambda Sridhar R. Iyer E for detecting the termination of a dis­ tributed computation is presented. The algorithm does not require global are provided. Keywords Distributed algorithms, Distributed computation, Distributed termination, Dynamic

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

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

  9. Termination of Priority Rewriting Isabelle GNAEDIG

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    Termination of Priority Rewriting Isabelle GNAEDIG LORIA-INRIA BP 239 F-54506 Vandffuvre as well as in functional programming. Termination of priority rewriting is then important to guarantee that programs give a result. We describe in this paper an inductive proof method for termination of priority

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

  11. TERMINATION OF SIMPLY MODED WELLTYPED LOGIC PROGRAMS

    E-Print Network [OSTI]

    Giesl, Juergen

    TERMINATION OF SIMPLY MODED WELL­TYPED LOGIC PROGRAMS UNDER TABLED EXECUTION MECHANISM Sofie mechanism for logic programs. In particular, tabled execution of logic programs terminates more often than execution based on SLD­resolution. So, if a program can be proven to terminate under SLD­resolution (by one

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

  13. REQUEST FOR EMPLOYEE TERMINATION CLEARANCE SUPERVISOR'S RESPONSIBILITY

    E-Print Network [OSTI]

    Faraon, Andrei

    REQUEST FOR EMPLOYEE TERMINATION CLEARANCE PROCESS SUPERVISOR'S RESPONSIBILITY: Before an employeeClearance@caltech.edu. The following departments will be notified prior to the employee's termination date: Athenaeum Bursar Telecommunications Travel Audit The following departments will be notified after the employee's termination date

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

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

  16. Untangling spider silk evolution with spidroin terminal domains.

    E-Print Network [OSTI]

    Garb, Jessica E; Ayoub, Nadia A; Hayashi, Cheryl Y

    2010-01-01T23:59:59.000Z

    evolution with spidroin terminal domains. BMC Evolutionaryconservation in the C-terminal region of spider silkAdditional file 1: N-terminal alignment, top line shows

  17. Pooh-Poohing Copyright Laws Inalienable Termination Rights

    E-Print Network [OSTI]

    Menell, Peter; Nimmer, David

    2010-01-01T23:59:59.000Z

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

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

    E-Print Network [OSTI]

    Tkachuk, Emma

    2014-01-01T23:59:59.000Z

    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

  19. Trucking Industry Demand for Urban Shared Use Freight Terminals

    E-Print Network [OSTI]

    Regan, Amelia C.; Golob, Thomas F.

    2003-01-01T23:59:59.000Z

    for Urban Shared Use Terminals Taniguchi, E. , M. Noritake,of public logistics terminals. Transportation Research Demand for Urban Shared Use Terminals References Aitchison,

  20. Handling Strategies for Import Containers at Marine Terminals

    E-Print Network [OSTI]

    De Castilho, Bernardo; Daganzo, Carlos F.

    1993-01-01T23:59:59.000Z

    Containers at Marine Terminals Bemardo De Castilho Carlos F.Import Containers at Marine Terminals Bernardo De CastilhoFOR IMPORT AT MARINE TERMINALS CONTAINERS BERNARDO DE

  1. Proceedings of the Symposium on Theory of Modeling and Simulation, 2010. An Agent-Based Approach to Modeling Yard Cranes at Seaport Container Terminals

    E-Print Network [OSTI]

    Vidal, Jose M.

    . Despite the relatively short distance of the truck movement compared to the rail or barge haul, drayage peak times at busy terminals. Drayage trucks are diesel-fueled, heavy-duty trucks that transport container terminals, truck turn time. Abstract Due to environmental concerns, terminal operators at seaport

  2. ,"Mississippi (with State Offshore) Natural Gas Plant Liquids, Expected Future Production (Million Barrels)"

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National and Regional Data; Row: NAICS Codes; Column: Energy Sources andPlant Liquids, Expected Future Production (Million Barrels)"

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

    E-Print Network [OSTI]

    Ellis, Randy

    Termination or Transfer Checklist for Managers Employees can terminate from their positions. This checklist is to be used by managers when an employee is going to terminate from the University or transfer to a different position. It identifies the things that the manager is required to do as part of the termination

  4. A new junction termination technique: the Deep Trench Termination (DT2

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    A new junction termination technique: the Deep Trench Termination (DT2 ) L. Tholier1,2 , H. Mahfoz. In this work, a new concept of low cost, low surface and high efficiency junction termination for power devices is presented and experimentally validated. This termination is based on a large and deep trench filled by BCB

  5. GUIDE TO PROCESSING TERMINATIONS This guide has been designed to summarize procedures surrounding appointment terminations at

    E-Print Network [OSTI]

    Yener, Aylin

    GUIDE TO PROCESSING TERMINATIONS This guide has been designed to summarize procedures surrounding appointment terminations at Penn State, found in numerous University policies, guidelines and handbooks A termination occurs when an individual leaves Penn State employment. Termination is automatic for individuals

  6. Air Transport and Operations Symposium 2011 Strategic Jet Engine System Design in Light of

    E-Print Network [OSTI]

    prices that result from increasingly restricted access to crude oil. Climate change will also force ETWEEN 1971 and 2009, the 12-month average oil price fluctuated between $15 and over $90 per barrel Operating Cost of U.S. airlines* as Fig. 1 on the next page proves. 2. Peak Oil & Oil Price Predictions

  7. Apparatus for and method of operating a cylindrical pulsed induction mass launcher

    DOE Patents [OSTI]

    Cowan, Jr., Maynard (Albuquerque, NM); Duggin, Billy W. (Albuquerque, NM); Widner, Melvin M. (Albuquerque, NM)

    1992-01-01T23:59:59.000Z

    An electromagnetic cylindrical projectile mass launcher and a method of operation is provided which includes a cylindrical projectile having a conducting armature, a cylindrical barrel in which the armature is received, a plurality of electromagnetic drive coil stages, a plurality of pulse energy sources, and a pulsed power arrangement for generating magnetic pulses forming a pulsed magnetic wave along the length of the launcher barrel. The pulsed magnetic wave provides a propelling force on the projectile along the drive coil. The pulsed magnetic wave of the drive coil stages is advanced along the armature faster than the projectile to thereby generate an induced current wave in the armature. The pulsed generation of the magnetic wave minimizes electromagnetic heating of the projectile and provides for smooth acceleration of the projectile through the barrel of the launcher.

  8. Apparatus for and method of operating a cylindrical pulsed induction mass launcher

    DOE Patents [OSTI]

    Cowan, M. Jr.; Duggin, B.W.; Widner, M.M.

    1992-06-30T23:59:59.000Z

    An electromagnetic cylindrical projectile mass launcher and a method of operation is provided which includes a cylindrical projectile having a conducting armature, a cylindrical barrel in which the armature is received, a plurality of electromagnetic drive coil stages, a plurality of pulse energy sources, and a pulsed power arrangement for generating magnetic pulses forming a pulsed magnetic wave along the length of the launcher barrel. The pulsed magnetic wave provides a propelling force on the projectile along the drive coil. The pulsed magnetic wave of the drive coil stages is advanced along the armature faster than the projectile to thereby generate an induced current wave in the armature. The pulsed generation of the magnetic wave minimizes electromagnetic heating of the projectile and provides for smooth acceleration of the projectile through the barrel of the launcher. 2 figs.

  9. ,"U.S. Total Crude Oil Reserves in Nonproducing Reservoirs (Million Barrels)"

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National and Regional Data; Row: NAICS Codes; Column: Energy SourcesRefinery, Bulk Terminal, and Natural Gas Plant Stocks ofReserves in

  10. ,"Utah Natural Gas Liquids Lease Condensate, Proved Reserves (Million Barrels)"

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National and Regional Data; Row: NAICS Codes; Column: Energy SourcesRefinery, Bulk Terminal, and Natural GasU.S.

  11. ,"West Virginia Crude Oil Reserves in Nonproducing Reservoirs (Million Barrels)"

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National and Regional Data; Row: NAICS Codes; Column: Energy SourcesRefinery, Bulk Terminal, and NaturalWellhead PriceNetCoalbed Methane

  12. ,"West Virginia Natural Gas Liquids Lease Condensate, Proved Reserves (Million Barrels)"

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National and Regional Data; Row: NAICS Codes; Column: Energy SourcesRefinery, Bulk Terminal, andPrice (Dollars per Thousand Cubic

  13. ,"Wyoming Crude Oil + Lease Condensate Proved Reserves (Million Barrels)"

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National and Regional Data; Row: NAICS Codes; Column: Energy SourcesRefinery, Bulk Terminal, andPrice (DollarsSummary"Coalbed Methane+

  14. ,"Wyoming Natural Gas Plant Liquids, Expected Future Production (Million Barrels)"

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National and Regional Data; Row: NAICS Codes; Column: Energy SourcesRefinery, Bulk Terminal, andPrice (DollarsSummary"CoalbedLiquids

  15. 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 ASHRAE 91 ABSTRACT 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... pressures of 0.25 w.g. (63 Pa). Upstream static pressures ranged from 0.1 to 2.0 in w.g. (25 to 498 Pa). Data were collected at four different primary air damper positions and at four terminal unit fan speeds. Model variables included the RMS voltage...

  16. Three-terminal resistive switching memory in a transparent vertical-configuration device

    SciTech Connect (OSTI)

    Ungureanu, Mariana; Llopis, Roger [CIC nanoGUNE Consolider, Donostia - San Sebastian (Spain)] [CIC nanoGUNE Consolider, Donostia - San Sebastian (Spain); Casanova, Flix; Hueso, Luis E. [CIC nanoGUNE Consolider, Donostia - San Sebastian (Spain) [CIC nanoGUNE Consolider, Donostia - San Sebastian (Spain); Ikerbasque, Basque Foundation for Science, Bilbao (Spain)

    2014-01-06T23:59:59.000Z

    The resistive switching phenomenon has attracted much attention recently for memory applications. It describes the reversible change in the resistance of a dielectric between two non-volatile states by the application of electrical pulses. Typical resistive switching memories are two-terminal devices formed by an oxide layer placed between two metal electrodes. Here, we report on the fabrication and operation of a three-terminal resistive switching memory that works as a reconfigurable logic component and offers an increased logic density on chip. The three-terminal memory device we present is transparent and could be further incorporated in transparent computing electronic technologies.

  17. Two terminal micropower radar sensor

    DOE Patents [OSTI]

    McEwan, Thomas E. (Livermore, CA)

    1995-01-01T23:59:59.000Z

    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.

  18. Two terminal micropower radar sensor

    DOE Patents [OSTI]

    McEwan, T.E.

    1995-11-07T23:59:59.000Z

    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.

  19. Non-intrusive Termination of Noisy Optimization ?

    E-Print Network [OSTI]

    2011-07-20T23:59:59.000Z

    May 31, 2011 ... and hence examining the solution and/or restarting the optimization .... Specifically, a test is scale invariant in f if it terminates optimization.

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

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

  2. ,"Utah Crude Oil + Lease Condensate Proved Reserves (Million Barrels)"

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National and Regional Data; Row: NAICS Codes; Column: Energy SourcesRefinery, Bulk Terminal, and Natural GasU.S. UndergroundStateCoalbed

  3. ,"Utah Natural Gas Plant Liquids, Expected Future Production (Million Barrels)"

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National and Regional Data; Row: NAICS Codes; Column: Energy SourcesRefinery, Bulk Terminal, and Natural GasU.S.Plant Liquids, Expected Future

  4. ,"Utah and Wyoming Natural Gas Plant Liquids, Expected Future Production (Million Barrels)"

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National and Regional Data; Row: NAICS Codes; Column: Energy SourcesRefinery, Bulk Terminal, and Natural GasU.S.Plantand Wyoming Natural Gas

  5. ,"West Virginia Crude Oil + Lease Condensate Proved Reserves (Million Barrels)"

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National and Regional Data; Row: NAICS Codes; Column: Energy SourcesRefinery, Bulk Terminal, and NaturalWellhead PriceNetCoalbed Methane Proved+

  6. ,"West Virginia Natural Gas Plant Liquids, Expected Future Production (Million Barrels)"

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National and Regional Data; Row: NAICS Codes; Column: Energy SourcesRefinery, Bulk Terminal, andPrice (Dollars perPlant Liquids, Expected Future

  7. ,"Wyoming Natural Gas Liquids Lease Condensate, Proved Reserves (Million Barrels)"

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National and Regional Data; Row: NAICS Codes; Column: Energy SourcesRefinery, Bulk Terminal, andPrice (DollarsSummary"CoalbedLiquids Lease

  8. PCs and Computer Terminals in Commercial Buildings

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page onYou are now leaving Energy.gov You are now leaving Energy.gov YouKizildere IRaghurajiConventionalMississippi"site. IfProved(Million Barrels)21Year Jan FebFull ReportSpecial

  9. Apparatus and method for quantitative assay of samples of transuranic waste contained in barrels in the presence of matrix material

    DOE Patents [OSTI]

    Caldwell, J.T.; Herrera, G.C.; Hastings, R.D.; Shunk, E.R.; Kunz, W.E.

    1987-08-28T23:59:59.000Z

    Apparatus and method for performing corrections for matrix material effects on the neutron measurements generated from analysis of transuranic waste drums using the differential-dieaway technique. By measuring the absorption index and the moderator index for a particular drum, correction factors can be determined for the effects of matrix materials on the ''observed'' quantity of fissile and fertile material present therein in order to determine the actual assays thereof. A barrel flux monitor is introduced into the measurement chamber to accomplish these measurements as a new contribution to the differential-dieaway technology. 9 figs.

  10. New methodology to determine the terminal height of a fireball

    E-Print Network [OSTI]

    Moreno-Ibez, Manuel; Trigo-Rodrguez, Josep M

    2015-01-01T23:59:59.000Z

    Despite ablation and drag processes associated with atmospheric entry of meteoroids were a subject of intensive study over the last century, little attention was devoted to interpret the observed fireball terminal height. This is a key parameter because it not only depends on the initial mass, but also on the bulk physical properties of the meteoroids and hence of their ability to ablate in the atmosphere. In this work we have developed a new approach that is tested using the fireball terminal heights observed by the Meteorite Observation and Recovery Project operated in Canada between 1970-1985 (hereafter referred as MORP). We then compare them to the calculation made. Our results clearly show that the new methodology is able to forecast the degree of deepening of meteoroids in the Earth's atmosphere. Then, this approach has important applications in predicting the impact hazard from cm- to meter-sized bodies that are represented, in part, in the MORP bolide list.

  11. Termination Analysis with Compositional Transition Invariants

    E-Print Network [OSTI]

    Sharygina, Natasha

    Automated termination analysis of systems code has advanced to a level that permits industrial application that uses a light-weight check based on transitivity of ranking relations to prove program termination. We if there exists a ranking function for every program execution. Substantial progress towards the applicability

  12. Termination of Nested and Mutually Recursive Algorithms

    E-Print Network [OSTI]

    brahm, Erika

    termination can now be proved automatically (including well-known challenge problems such as McCarthy's f 91. S. Boyer and J S. Moore [5]. Their method has also been adapted for termination proofs in other by C. Walther [31, 33], by P. Manoury and M. Simonot [21], and by F. and H. R. Nielson [24

  13. Band terminations in density functional theory

    E-Print Network [OSTI]

    A. V. Afanasjev

    2009-02-01T23:59:59.000Z

    The analysis of the terminating bands has been performed in the relativistic mean field framework. It was shown that nuclear magnetism provides an additional binding to the energies of the specific configuration and this additional binding increases with spin and has its {\\it maximum} exactly at the terminating state. This suggests that the terminating states can be an interesting probe of the time-odd mean fields {\\it provided that other effects can be reliably isolated.} Unfortunately, a reliable isolation of these effects is not that simple: many terms of the density functional theories contribute into the energies of the terminating states and the deficiencies in the description of those terms affect the result. The recent suggestion \\cite{ZSW.05} that the relative energies of the terminating states in the $N \

  14. The CMS barrel calorimeter response to particle beams from 2-GeV/c to 350-GeV/c

    SciTech Connect (OSTI)

    Abdullin, S.; /Moscow, ITEP; Abramov, V.; /Serpukhov, IHEP; Acharya, B.; /Tata Inst.; Adam, N.; /Princeton U.; Adams, M.; /Illinois U., Chicago; Adzic, P.; /Belgrade U.; Akchurin, N.; /Texas Tech.; Akgun, U.; Albayrak, E.; /Iowa U.; Alemany-Fernandez, R.; Almeida, N.; /Lisbon, LIFEP /Democritos Nucl. Res. Ctr. /Virginia U. /Iowa State U.

    2009-01-01T23:59:59.000Z

    The response of the CMS barrel calorimeter (electromagnetic plus hadronic) to hadrons, electrons and muons over a wide momentum range from 2 to 350 GeV/c has been measured. To our knowledge, this is the widest range of momenta in which any calorimeter system has been studied. These tests, carried out at the H2 beam-line at CERN, provide a wealth of information, especially at low energies. The analysis of the differences in calorimeter response to charged pions, kaons, protons and antiprotons and a detailed discussion of the underlying phenomena are presented. We also show techniques that apply corrections to the signals from the considerably different electromagnetic (EB) and hadronic (HB) barrel calorimeters in reconstructing the energies of hadrons. Above 5 GeV/c, these corrections improve the energy resolution of the combined system where the stochastic term equals 84.7 {+-} 1.6% and the constant term is 7.4 {+-} 0.8%. The corrected mean response remains constant within 1.3% rms.

  15. AN LMIBASED CONSTRAINED MPC SCHEME WITH TIMEVARYING TERMINAL

    E-Print Network [OSTI]

    #12; #12; AN LMIBASED CONSTRAINED MPC SCHEME WITH TIMEVARYING TERMINAL COST B. Pluymers, L in the general acceptance of a theoretical MPC stability framework introducing a terminal cost and terminal guarantees stability by use of a timevarying terminal cost and terminal constraint. The online calculation

  16. Request to Terminate a Major Revised 11/6/2013 UF, Academic Affairs Request to Terminate Major

    E-Print Network [OSTI]

    Pilyugin, Sergei S.

    Request to Terminate a Major Revised 11/6/2013 UF, Academic Affairs Request to Terminate Major This form should be used to request termination of a major that is part of an existing degree program for Request Major to Be Terminated 7. Termination Date 8. Phase-Out Date 9. Degree 10. Major Code 11. Name #12

  17. Replacing PG and E's Milpitas terminal

    SciTech Connect (OSTI)

    Rawcliffe, R.S.; Maceyka, R.A. (Pacific Gas and Electric Co., San Francisco, CA (US))

    1991-07-01T23:59:59.000Z

    This paper reports that Pacific Gas and Electric Co.'s Milpitas Terminal was originally built in 1929, when natural gas was first brought to the San Francisco Bay Area from the Kettleman Hills gas fields. This paper reports that in 1985, a project was begun to replace the old terminal due to maintenance problems, odor complaints and unaccounted-for gas due to poor measurement quality. The location of the terminal was also a problem. A proposed highway expansion would encroach into the yard area where the existing pipeline was located. In addition, the original location was in agricultural lands, which was changing to commercial use.

  18. Butane segregated by fluorides, olefins content at Texas terminals

    SciTech Connect (OSTI)

    Not Available

    1993-03-22T23:59:59.000Z

    Texas Eastern Products Pipeline Co., Houston (Teppco), this month has begun segregating butane streams at the company's Mont Belvieu and Baytown, Texas terminals according to fluoride and olefin contents. Streams containing fluoride or an olefin content greater than 1 ppm (or both) currently flow into Teppco's south Mont Belvieu terminal. Those fluoride-free streams with less than 1 ppm of olefins flow to its north Mont Belvieu terminal. Butane processed through an isomerization unit yields isobutane, a key component in MTBE. But high-fluoride butane from crude-oil refineries using hydrofluoric (HF) acid alkylation units cannot be used to produce MTBE because fluoride will damage isomerization units' process catalysts. Olefins also affect the efficiency of isomerization units, but less critically than fluorides. Their presence is higher in refinery product than in fractionated NGL. To extend the life of their process catalysts and to maximize yields, producers (including MTBE and isomerization unit operators) are specifying low-fluoride butanes developed from natural-gas fractionators or from refineries that do not use an HF process.

  19. The effects of inlet velocity and barrel diameter on cyclone performance

    E-Print Network [OSTI]

    Faulkner, William Brock

    2006-08-16T23:59:59.000Z

    Cyclone separators are widely used in agricultural processing industries as air pollution abatement devices. The performance of cyclones is a function of the geometry of the cyclone, operating parameters, and the particle size distribution (PSD...

  20. Exploration of N-terminal methionine excision via comparative proteogenomics

    E-Print Network [OSTI]

    Bonissone, Stefano Romoli

    2010-01-01T23:59:59.000Z

    xii Chapter 1 N-Terminal Methionine Excision . . . .1.1 N-Terminal Methionine Excision . 1.2 N-End rule and1.3 NME and other N-terminal PTMs 1.4 Comparative

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

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

  3. Deterministic Operations Research Updated: October 6, 2011

    E-Print Network [OSTI]

    Phillips, David

    of the page is incorrect. The correct solution is to purchase 10,000 barrels of crude oil 1, 15,000 barrels of crude oil 2, and 7,625 barrels of crude oil 3. These barrels are blended as Crude Oil 1 Crude Oil 2 Crude Oil 3 Total Regular 3750 6750 4500 15000 Premium 6250 8250 3125 17625 where the optimal profit

  4. A Highly Efficient And Linear RF Power Amplifier For Mobile Terminal Applications /

    E-Print Network [OSTI]

    Kheirkhahi, Alireza

    2013-01-01T23:59:59.000Z

    EIT) for Mobile Terminal Applications . . . . . . 2.1Envelope Equalization for Mobile Terminal Applications . 3.1and Termination for Mobile Terminal Applications, IEEE

  5. automated container terminals: Topics by E-print Network

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

    terminal area air traffic control MIT - DSpace Summary: This work studies the automation of the terminal area Air Traffic Management and Control (ATMC) system. The ATMC...

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

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

    San Antonio Airport Terminal Generating Clean Power EECBG Success Story: New San Antonio Airport Terminal Generating Clean Power January 27, 2011 - 2:03pm Addthis The new...

  7. Terminal Ligand Influence on the Electronic Structure and Intrinsic...

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

    Terminal Ligand Influence on the Electronic Structure and Intrinsic Redox Properties of the Fe4S42+ Cubane Clusters. Terminal Ligand Influence on the Electronic Structure and...

  8. N-Terminal Enrichment: Developing a Protocol to Detect Specific...

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

    Terminal Enrichment: Developing a Protocol to Detect Specific Proteolytic Fragments. N-Terminal Enrichment: Developing a Protocol to Detect Specific Proteolytic Fragments....

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

  10. VORDIPLOM-PRFUNGEN -SS 14 Prfungsfach Prfer Termin

    E-Print Network [OSTI]

    Greifswald, Ernst-Moritz-Arndt-Universitt

    VORDIPLOM-PRFUNGEN - SS 14 Prfungsfach Prfer Termin Allgemeine Psychologie I Prof. Dr. Georg Prfer Termin Arbeits- und Organisationspsychologie Prof. Dr. Manfred Bornewasser 32. Kw Klinische

  11. Terminal Server Versie: 1.0

    E-Print Network [OSTI]

    Galis, Frietson

    Terminal Server Versie: 1.0 Linux Datum: 30-10-2014 #12;2 Inleiding Sinds zomer 2014 biedt het ISSC Linux Terminal Server of LTS. Wat is het? De LTS is een server systeem gebaseerd op de Ubuntu Linux://media.leidenuniv.nl/legacy/introductie-linux-werkplek.pdf) Iedere gebruiker met een ULCN account kan hierop inloggen. Vanaf deze server kan men inloggen op andere

  12. Microbial Fuel Cells -Solar Times http://solar.rain-barrel.net/microbial-fuel-cells/ 1 of 3 6/28/2006 11:32 AM

    E-Print Network [OSTI]

    Lovley, Derek

    Microbial Fuel Cells - Solar Times http://solar.rain-barrel.net/microbial-fuel-cells/ 1 of 3 6/28/2006 11:32 AM Microbial Fuel Cells Posted in Alternative Energy by admin. The other end of solar energy? As the search for fuel cells goes on, many environmentalists give all their attention to solar energy

  13. Of the estimated 5 million barrels of crude oil released into the Gulf of Mexico from the Deepwater Horizon oil spill, a

    E-Print Network [OSTI]

    Weston, Ken

    Of the estimated 5 million barrels of crude oil released into the Gulf of Mexico from the Deepwater Horizon oil spill, a fraction washed ashore onto sandy beaches from Louisiana to the Florida panhandle. Researchers at the MagLab compare the detailed molecular analysis of hydrocarbons in oiled sands from

  14. Sunco Oil manufactures three types of gasoline (gas 1, gas 2 and gas 3). Each type is produced by blending three types of crude oil (crude 1, crude 2 and crude 3). The sales price per barrel of gasoline and the purchase price per

    E-Print Network [OSTI]

    Phillips, David

    Sunco Oil manufactures three types of gasoline (gas 1, gas 2 and gas 3). Each type is produced by blending three types of crude oil (crude 1, crude 2 and crude 3). The sales price per barrel of gasoline and the purchase price per barrel of crude oil are given in following table: Gasoline Sale Price per barrel Gas 1

  15. Weakly Terminal Objects in Quasicategories of SET Endofunctors

    E-Print Network [OSTI]

    Barto, Libor

    Weakly Terminal Objects in Quasicategories of SET Endofunctors Libor Barto # Mathematical Institute and mappings) and all natural transformations has a terminal object -- the constant functor C1 . We construct here the terminal (or at least the smallest weakly terminal object, which is rigid) in some important

  16. Weakly Terminal Objects in Quasicategories of SET Endofunctors

    E-Print Network [OSTI]

    Barto, Libor

    Weakly Terminal Objects in Quasicategories of SET Endofunctors Libor Barto Mathematical Institute and mappings) and all natural transformations has a terminal object the constant functor C1. We construct here the terminal (or at least the smallest weakly terminal object, which is rigid) in some important

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

  18. Department of Mechanical Engineering Spring 2012 Synthetic Cable Termination

    E-Print Network [OSTI]

    Demirel, Melik C.

    PENNSTATE Department of Mechanical Engineering Spring 2012 Synthetic Cable Termination Overview to be grasped. The methods for terminating the metallic cable will not work with the synthetic cable, so a new termination method is needed. The synthetic cable is a new design that has yet to be successfully terminated

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

  20. CASH SETTLEMENT & ACCOUNT TERMINATION FORM University of California, San Francisco

    E-Print Network [OSTI]

    Yamamoto, Keith

    CASH SETTLEMENT & ACCOUNT TERMINATION FORM University of California, San Francisco Complete TITLE (Please Print) Date I am decreasing a petty cash/change fund acct. I am terminating a petty cash account. I am terminating a change fund account. I am terminating a special cash account. 1. Cash Returned

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

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

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    THE SIZE-CHANGE TERMINATION PRINCIPLE FOR CONSTRUCTOR BASED LANGUAGES PIERRE HYVERNAT Abstract to improve the size-change termination principle of Lee, Jones and Ben-Amram. The points of interest-change termination principle ([1]) is a simple, yet surprisingly strong termination checker for generic programming

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

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

  5. Location of Mobile Terminals using Time Measurements and Survey Points

    E-Print Network [OSTI]

    Plataniotis, Konstantinos N.

    Location of Mobile Terminals using Time Measurements and Survey Points M. McGuire ,K.N. Plataniotis is the Time Difference of Arrival (TDoA)method where the location of the mobile terminal is estimated using research communityon technologiesthat can estimatethe loca- tion of mobile terminals. Mobile terminal

  6. SIMULATION AND OPTIMISATION FOR MANAGEMENT OF INTERMODAL TERMINALS

    E-Print Network [OSTI]

    Gambardella, Luca Maria

    SIMULATION AND OPTIMISATION FOR MANAGEMENT OF INTERMODAL TERMINALS Gianluca Bontempi, Luca Maria for improving the management of intermodal container terminals. It is implemented as a modular architecture intermodal container terminal in short and long-term decision making. An intermodal container terminal

  7. Extreme wave events during hurricanes can seriously jeopardize the integrity and safety of offshore oil and gas operations in the Gulf of Mexico. Validation of wave forecast for

    E-Print Network [OSTI]

    oil and gas operations in the Gulf of Mexico. Validation of wave forecast for significant wave heights of Mexico. Before the storm, it produced 148,000 barrels of oil equivalent per day and 160 million cubic over the warm Gulf of Mexico water between 26 and 28 August, and became a category 5 hurricane by 1200

  8. Housing Contract Termination Contract Termination Forms are available in the Office of University Housing

    E-Print Network [OSTI]

    Boyce, Richard L.

    Housing Contract Termination Contract Termination Forms are available in the Office of University Housing in Norse Commons 101 Cancellations before the Beginning of the Academic Year: (A) A Resident may of cancellation must be made to the Office of University Housing to avoid additional cancellation charges. (C

  9. SSC termination will be lengthy and expensive

    SciTech Connect (OSTI)

    Hanson, D.

    1994-03-14T23:59:59.000Z

    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.

  10. RF study and simulations of a C-band Barrel Open Cavity (BOC) pulse compressor

    E-Print Network [OSTI]

    Shu, Guan; He, Xiang

    2014-01-01T23:59:59.000Z

    This paper focuses on the RF study of a C-band(5712MHz) BOC pulse compressor. The operating principle of BOC is presented and the technical specifications are determined. The main components of BOC such as the cavity, the matching waveguide, the coupling slots and the tuning rings were numerically simulated by 3-D codes software HFSS and CST Microwave Studio(MWS). The "whispering gallery" mode TM6,1,1 with an unload Q of 100000 was chosen to oscillate in the cavity. An energy multiplication factor of 1.99 and a peak power gain of 6.34 were achieved theoretically.

  11. Analysis of LNG import terminal release prevention systems

    SciTech Connect (OSTI)

    Baker, E G

    1982-04-01T23:59:59.000Z

    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.

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

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

  14. Cost reduction ideas for LNG terminals

    SciTech Connect (OSTI)

    Habibullah, A.; Weldin, F.

    1999-07-01T23:59:59.000Z

    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.

  15. Automated Termination Proofs with Measure Functions ?

    E-Print Network [OSTI]

    brahm, Erika

    of an algorithm f(x) with a recursive call f(t), Boyer and Moore's theorem prover looks for an induction without iterative loops. An algorithm f(x) terminates, if there is a wellfounded 1 relation such that in each recursive call f(t), the argument t is smaller than the corresponding input x. While most work

  16. R&D progress in SRF surface preparation with centrifugal barrel polishing (cbp) for both Nb and Cu

    SciTech Connect (OSTI)

    Palczewski, Ari [JLAB

    2013-09-01T23:59:59.000Z

    Centrifugal Barrel polishing (CBP) is becoming a common R&D tool for SRF cavity preparation around the world. During the CBP process a cylindrically symmetric SRF cavity is filled with relatively cheap and environmentally friendly abrasive and sealed. The cavity is then spun around a cylindrically symmetric axis at high speeds uniformly conditioning the inner surface. This uniformity is especially relevant for SRF application because many times a single manufacturing defects limits cavity?s performance well below it?s theoretical limit. In addition CBP has created surfaces with roughness?s on the order of 10?s of nm which create a unique surface for wet chemistry or thin film deposition. CBP is now being utilized at Jefferson Laboratory, Fermi Laboratory and Cornell University in the US, Deutsches Elektronen-Synchrotron in Germany, Laboratori Nazionali di Legnaro in Italy, and Raja Ramanna Centre for Advanced Technology in India. In this talk we will present current CBP research from each lab including equipment, baseline recipes, cavity removal rates and subsequent cryogenic cavity tests on niobium as well as copper cavities where available.

  17. Occidental vertical modified in situ process for the recovery of oil from oil shale, Phase 2. Construction, operation, testing, and environmental impact. Final report, August 1981-December 1982. Volume 1

    SciTech Connect (OSTI)

    Stevens, A.L.; Zahradnik, R.L.; Kaleel, R.J.

    1984-01-01T23:59:59.000Z

    Occidential Oil Shale, Inc. (OOSI) recently completed the demonstration of mining, rubblization, ignition, and simulataneous processing of two commericalized modified in situ (MIS) retorts at the Logas Wash facility near DeBeque, Colorado. Upon completion of Retort 6 in 1978, Occidential began incorporating all of the knowledge previously acquired in an effort to design two more commercial-sized MIS retorts. Any commercial venture of the future would require the ability to operate simultaneously more than one retort. Thus, Retorts 7 and 8 were developed during 1980 and 1981 through joint funding of the DOE and OOSI in Phase II. Rubblization of the retorts produced an average rubble void of 18.5% in the low grade shale (17 gallons per ton) at the Logan Wash site. After rubblization, bulkheads were constructed, inlet and offgas pipes were installed and connected to surface processing facilities and liquid product handling systems were connected to the retorts. Extensive instrumentation was installed in cooperation with Sandia National Laboratories for monitoring the complete operation of the retorts. After pre-ignition testing, Retort 8 was ignited in December of 1981 and Retort 7 was ignited in January of 1982. The retorts were operated without interruption from ignition until mid- November of 1982 at which time inlet gas injection was terminated and water quenching was begun. Total product yield from the two retorts was approximately 200,000 barrels of oil, or 70% of the Fischer Assay oil-in-place in the rubblized rock in the two retrots. Water quenching studies were conducted over a period of several months, with the objective of determining the rate of heat extraction from the retorts as well as determining the quantity and quality of offgas and water coming out from the quenching process. Data from these studies are also included in this Summary Report. 62 figs., 18 tabs.

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

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

    SciTech Connect (OSTI)

    Michael Holzemer; Alan Carvo

    2012-04-01T23:59:59.000Z

    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.

  20. How to connect to CASLABS Terminal Services There are two ways to connect to CASLABS's terminal services. This requires a secure connection to CSU

    E-Print Network [OSTI]

    How to connect to CASLABS Terminal Services There are two ways to connect to CASLABS's terminal;Under "Terminal Sessions" in the terminal sessions bar, click the "Add a terminal session" button on the right (looks like a "+" and PC) #12;Type in a "Bookmark Name" and "Description" such as CASLABS Terminal

  1. Procedure for Termination A termination should be processed when a student's job is ending prior to the originally scheduled end date. (The

    E-Print Network [OSTI]

    Guenther, Frank

    Procedure for Termination A termination should be processed when a student's job is ending prior to the originally scheduled end date. (The system will automatically terminate a job when the scheduled end date is reached.) NOTE: A termination will only terminate the selected job for the student. It will not terminate

  2. Performance of ECM controlled VAV fan powered terminal units

    E-Print Network [OSTI]

    Cramlet, Andrew Charles

    2009-05-15T23:59:59.000Z

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

  3. Minimum and terminal velocities in projectile motion

    E-Print Network [OSTI]

    E. N. Miranda; S. Nikolskaya; R. Riba

    2012-08-13T23:59:59.000Z

    The motion of a projectile with horizontal initial velocity V0, moving under the action of the gravitational field and a drag force is studied analytically. As it is well known, the projectile reaches a terminal velocity Vterm. There is a curious result concerning the minimum speed Vmin; it turns out that the minimum velocity is lower than the terminal one if V0 > Vterm and is lower than the initial one if V0 < Vterm. These results show that the velocity is not a monotonous function. If the initial speed is not horizontal, there is an angle range where the velocity shows the same behavior mentioned previously. Out of that range, the volocity is a monotonous function. These results come out from numerical simulations.

  4. 5 Job Control The UNIX operating system accommodates the execution of programs in

    E-Print Network [OSTI]

    Spector, Phil

    5 Job Control The UNIX operating system accommodates the execution of programs in two modes, since jobs in the foreground will terminate when you logoff. To make it known the the UNIX operating system that you wish to run a job in the background, terminate the command with an ampersand (&). (Under

  5. Simulation of proton radiography terminal at IMP

    E-Print Network [OSTI]

    Yan, Yan; Huang, Zhi-Wu; Wang, Jie; Yao, Ze-En; Wang, Jun-Run; Wei, Zheng; Yang, Jian-Cheng; Yuan, You-Jin

    2015-01-01T23:59:59.000Z

    Proton radiography is used for advanced hydrotesting as a new type radiography technology due to its powerful penetration capability and high detection efficiency. A new proton radiography terminal will be developed to radiograph static samples at Institute of Modern Physics of Chinese Academy of Science (IMP-CAS). The proton beam with the maximum energy of 2.6 GeV will be produced by Heavy Ion Research Facility in Lanzhou-Cooling Storage Ring (HIRFL-CSR). The proton radiography terminal consists of the matching magnetic lens and the Zumbro lens system. In this paper, the design scheme and all optic parameters of this beam terminal for 2.6GeV proton energy are presented by simulating the beam optics using WINAGILE code. My-BOC code is used to test the particle tracking of proton radiography beam line. Geant4 code and G4beamline code are used for simulating the proton radiography system. The results show that the transmission efficiency of proton without target is 100%, and the effect of secondary particles ca...

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

    E-Print Network [OSTI]

    Standiford, Richard B.

    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

  7. National Aeronautics and Space Administration Portable Communication Terminal Concept

    E-Print Network [OSTI]

    Waliser, Duane E.

    National Aeronautics and Space Administration NASAfacts Portable Communication Terminal Concept NASA A Portable Communication Terminal Concept (PCT) serves as a "cell tower" for surface or in carrying and deploying a portable TTCN terminal that can be "dropped" on the surface for long periods

  8. Gustatory Terminal Field Organization and Developmental Plasticity in the

    E-Print Network [OSTI]

    Hill, David L.

    Gustatory Terminal Field Organization and Developmental Plasticity in the Nucleus of the Solitary-fluorescence labeling and confocal laser microscopy, terminal fields of the greater superficial petrosal (GSP), chorda- and postnatal development resulted in a twofold increase in the volume of both the CT and the IX nerve terminal

  9. Markovian quadratic and superquadratic BSDEs with an unbounded terminal condition

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    Markovian quadratic and superquadratic BSDEs with an unbounded terminal condition Adrien Richou terminal condition. Our results are deeply linked with a strong a priori estimate on Z that takes advantage result for quadratic BSDEs when the terminal condition is bounded. Let us remark that this result has

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

    E-Print Network [OSTI]

    Challenges Despite its chaotic and disrupted opening, Heathrow's Terminal 5 is one of the world and to study the lessons that the project sector could draw from BAA's project management. Heathrow Terminal 5 into the planning and construction of Terminal 5 at London's Heathrow airport shows how organisations can learn from

  11. Making PROFIT at the Intermodal Terminal a Research Agenda

    E-Print Network [OSTI]

    Boyer, Edmond

    Making PROFIT at the Intermodal Terminal ­ a Research Agenda Torbjörn H. Netland and Ingrid to increased intermodalism lies at the intermodal terminal. This paper puts forward four literature-based propositions that should be part of the future research agenda for intermodal terminals. In order to realise

  12. COMMUNICATION Comprehensive Mutagenesis of the C-terminal

    E-Print Network [OSTI]

    Weiss, Gregory A.

    COMMUNICATION Comprehensive Mutagenesis of the C-terminal Domain of the M13 Gene-3 Minor Coat, for recognition and infection of a new host. P3 contains at least three distinct domains: two N-terminal domains that mediate host recognition and infection, and a C-terminal domain (P3-C) that is required for release from

  13. ccsd00004619, BSDE with quadratic growth and unbounded terminal

    E-Print Network [OSTI]

    ccsd00004619, version 1 1 Apr 2005 BSDE with quadratic growth and unbounded terminal value with quadratic growth and unbounded terminal value. We apply a localization procedure together with a priori bounds. As a byproduct, we apply the same method to extend a result on BSDEs with integrable terminal

  14. Mitigating the Untrusted Terminal Problem Using Conditional Signatures

    E-Print Network [OSTI]

    Bencsth, Boldizsr

    Mitigating the Untrusted Terminal Problem Using Conditional Signatures Istvn Zsolt BERTA Levente be a user generating an elec- tronic check at a merchant's terminal in a shop. The danger is that the terminal can obtain a signature from the card on an arbitrarily chosen document, that is different from

  15. Department of Industrial Engineering Fall 2011 Terminal Development

    E-Print Network [OSTI]

    Demirel, Melik C.

    PENNSTATE Department of Industrial Engineering Fall 2011 Terminal Development Overview The group as a terminal used for "automated order and payment" in a restaurant or retail setting, replacing a quality finished product. Approach Researched similar terminal products, such as Sheetz ordering system

  16. Early Termination in Sparse Interpolation Erich Kaltofen a

    E-Print Network [OSTI]

    Kaltofen, Erich

    Early Termination in Sparse Interpolation Algorithms Erich Kaltofen a , Wen-shin Lee b a termination, enables different interpolation algo- rithms to adapt to the degree or the number of terms this strategy in sparse interpolation algorithms. Based on early termination, racing algorithms execute

  17. Termination Analysis for Partial Functions ? Jurgen Brauburger and Jurgen Giesl

    E-Print Network [OSTI]

    Ábrahám, Erika

    Termination Analysis for Partial Functions ? J¨urgen Brauburger and J¨urgen Giesl FB Informatik, TH@inferenzsysteme.informatik.th­darmstadt.de Abstract. This paper deals with automated termination analysis for partial functional programs, i.e. for functional programs which do not terminate for each input. We present a method to determine their do­ mains

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

  19. Modular Termination Analysis for java bytecode by Term Rewriting

    E-Print Network [OSTI]

    Ábrahám, Erika

    Modular Termination Analysis for java bytecode by Term Rewriting J¨urgen Giesl LuFG Informatik 2, RWTH Aachen University, Germany joint work with C. Otto and M. Brockschmidt #12;Automated Termination (Eindhoven) TTT (Innsbruck) VMTL (Vienna) #12;Automated Termination Tools for TRSs AProVE (Aachen) CARIBOO

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

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    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

  1. Automated Modular Termination Proofs for Real Prolog Programs

    E-Print Network [OSTI]

    Stroetmann, Karl

    Automated Modular Termination Proofs for Real Prolog Programs Martin Muller Thomas Gla Karl the termination of Prolog programs that can be automated and is scalable. Furthermore, the proposed method can of complexity to predicate calls. Then termination of a program is shown by proving this measure

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

  3. 9-1 (6/5/09) TERMINATION OF EMPLOYMENT

    E-Print Network [OSTI]

    9-1 (6/5/09) 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 member only for reasons of financial exigency or academic program termination. A. Definitions 1

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

  5. POLYGRAPHS FOR TERMINATION OF LEFT-LINEAR TERM REWRITING SYSTEMS

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    POLYGRAPHS FOR TERMINATION OF LEFT-LINEAR TERM REWRITING SYSTEMS February 2, 2007 Yves GUIRAUD termination of left-linear term rewriting systems (TRSs) by using Albert Burroni's polygraphs, a kind whose termination is proven with a polygraphic interpretation, then we get back the property on the TRS

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

    E-Print Network [OSTI]

    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 call evolve during evaluation. The result is a criterion for termination extending

  7. 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 at Urbana-Champaign, 1996 Urbana, Illinois #12;TERMINATION OF NON-SIMPLE REWRITE SYSTEMS Charles Glen Hoot system has the property thatno derivation can continue inde nitely, it is said to be terminating. Showing

  8. Automated Termination Analysis: From Term Rewriting to Programming Languages

    E-Print Network [OSTI]

    Ábrahám, Erika

    Automated Termination Analysis: From Term Rewriting to Programming Languages J¨urgen Giesl LuFG Informatik 2 RWTH Aachen Ahornstr. 55 52074 Aachen, Germany giesl@informatik.rwth-aachen.de Termination important for program verification. Traditionally, tech- niques for automated termination analysis were

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

  10. Corrective Action and Involuntary Termination Policy 8.15

    E-Print Network [OSTI]

    Howat, Ian M.

    Corrective Action and Involuntary Termination Policy 8.15 Office of Human Resources Applies to list. Staff may be reprimanded, demoted or terminated for violation of university rules, policies and Process Guide. In appropriate cases, the university reserves the right to move to immediate termination

  11. 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 exhibits mixed LaO and AlO2 surface terminations at 400 C. Heteroepitaxial TiO2, grown by evaporating Ti, regardless of termination, indicating that the substrate cations and perovskite surface polarity play little

  12. 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 at Urbana­Champaign, 1996 Urbana, Illinois #12; TERMINATION OF NON­SIMPLE REWRITE SYSTEMS Charles Glen Hoot system) has the property that no derivation can continue indefinitely, it is said to be terminating

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

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

  15. From Termination to Cost (in Object-Oriented Languages)

    E-Print Network [OSTI]

    Politécnica de Madrid, Universidad

    From Termination to Cost (in Object-Oriented Languages) Elvira Albert Complutense University of Madrid (Spain) 11th International Workshop on Termination Edinburgh, 14 July, 2010 Elvira Albert From Termination to Cost #12;Outline of the Talk 1 Simple Imperative Bytecode Programs Elvira Albert From

  16. 9-1 (6/24/02) TERMINATION OF EMPLOYMENT

    E-Print Network [OSTI]

    9-1 (6/24/02) 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 member only for reasons of financial exigency or academic program termination. A. Definitions 1

  17. On automating the extraction of programs from termination proofs

    E-Print Network [OSTI]

    Ayala-Rincn, Mauricio

    On automating the extraction of programs from termination proofs Fairouz Kamareddine , Fran to use termination techniques such as those in rewriting theory. We overcome this difficulty the incorporation of termination techniques used in other areas while still extracting programs. Keywords: Program

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

  19. On Termination of Integer Linear Loops Joel Ouaknine

    E-Print Network [OSTI]

    Ouaknine, Jol

    On Termination of Integer Linear Loops Joel 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

  20. Proving termination by policy iteration Damien Masse1

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    NSAD 2012 Proving termination by policy iteration Damien Masse1 Lab-Sticc, UMR 6285 UBO conditions for program termination. Restricting ourselves to affine programs and the abstract domain. Keywords: Abstract interpretation, policy iteration, template constraint matrices, termination analysis. 1

  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. Strategies for dynamic appointment making by container terminals

    E-Print Network [OSTI]

    Vellekoop, Michel

    Strategies for dynamic appointment making by container terminals Albert Douma, Martijn Mes Beta #12;Strategies for dynamic appointment making by container terminals Albert Douma Dinalog Dutch consider a container terminal that has to make appointments with barges dynam- ically, in real

  3. Ultrastructure of Primary Afferent Terminals and Synapses in the Rat

    E-Print Network [OSTI]

    Hill, David L.

    Ultrastructure of Primary Afferent Terminals and Synapses in the Rat Nucleus of the Solitary Tract tympani (CT), and glossopharyngeal (IX) nerves terminate in overlapping patterns in the brainstem electron microscopy. Although all three nerves had features charac- teristic of excitatory nerve terminals

  4. Immunocytochemistry and Distribution of Parabrachial Terminals in the Lateral

    E-Print Network [OSTI]

    Sherman, S. Murray

    Immunocytochemistry and Distribution of Parabrachial Terminals in the Lateral Geniculate Nucleus of the Cat: A Comparison With Corticogeniculate Terminals ALEV ERISIR, SUSAN C. VAN HORN, MARTHA E. BICKFORD used a double labeling procedure with electron microscopy and found that all terminals labeled

  5. Distribution, Morphology, and Synaptic Targets of Corticothalamic Terminals in

    E-Print Network [OSTI]

    Casanova, Christian

    Distribution, Morphology, and Synaptic Targets of Corticothalamic Terminals in the Cat Lateral terminals have been identified in higher order nuclei, large (type II) and smaller (type I), which have been into area 17 or PMLS. Results indicate that area 17 injections preferentially labelled large terminals

  6. Documents from malicious terminals Istvn Zsolt Berta and Istvn Vajda

    E-Print Network [OSTI]

    Bencsth, Boldizsr

    Documents from malicious terminals Istvn Zsolt Berta and Istvn Vajda Laboratory of Cryptography wishes to communicate with a remote partner over an insecure network using a terminal. Cryptographic algorithms running on the terminal may provide authenticity for the user's messages. In this paper

  7. Deficiency of terminal complement pathway inhibitor promotes neuronal tau pathology and degeneration in mice

    E-Print Network [OSTI]

    Britschgi, Markus; Takeda-Uchimura, Yoshiko; Rockenstein, Edward; Johns, Hudson; Masliah, Eliezer; Wyss-Coray, Tony

    2012-01-01T23:59:59.000Z

    et al. : Deficiency of terminal complement pathway inhibitorAccess Deficiency of terminal complement pathway inhibitoran inhibitor of the terminal complement pathway. Complement

  8. Amino-terminal domain stability mediates apolipoprotein E aggregation into neurotoxic fibrils

    E-Print Network [OSTI]

    Hatters, Danny M; Zhong, Ning; Rutenber, Earl; Weisgraber, Karl H

    2006-01-01T23:59:59.000Z

    et al. (2003) Carboxyl-terminal-truncated apolipoprotein E4the amino- and carboxyl-terminal domains. J. Biol. Chem. ,determined by the amino- terminal domain. Biochemistry, 39,

  9. The post-terminal differentiation fate of RNAs revealed by next-generation sequencing

    E-Print Network [OSTI]

    Lefkowitz, Gloria Kuo

    2012-01-01T23:59:59.000Z

    CALIFORNIA, SAN DIEGO The post-terminal differentiation fateTHE DISSERTATION The post-terminal differentiation fate ofupwards, and undergo terminal differentiation to become the

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

    E-Print Network [OSTI]

    Gonzales, Matthew James

    2013-01-01T23:59:59.000Z

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

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

    E-Print Network [OSTI]

    Richman, Alisha

    2011-01-01T23:59:59.000Z

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

  12. Characterization of early and terminal complement proteins associated with polymorphonuclear leukocytes in vitro and in vivo after spinal cord injury

    E-Print Network [OSTI]

    Nguyen, Hal X; Galvan, Manuel D; Anderson, Aileen J

    2008-01-01T23:59:59.000Z

    Characterization of early and terminal complement proteinsassociation of both early and terminal complement proteinscharacterization of early and terminal complement proteins

  13. Operations & Maintenance

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

    Operations and Maintenance Operations OASIS: OATI (Note: this site is not hosted by Western and requires a digital certificate and login for full access.) Contact Information...

  14. Operations & Maintenance

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

    Rates Operations & Maintenance Operations OASIS: WACM (Note: this site is not hosted by Western and requires a digital certificate and login for full access.) wesTTrans Common...

  15. High-Voltage Terminal Test of Test Stand for 1-MV Electrostatic Accelerator

    E-Print Network [OSTI]

    Park, Sae-Hoon

    2015-01-01T23:59:59.000Z

    The Korea Multipurpose Accelerator Complex (KOMAC) has been developing a 300-kV test stand for a 1-MV electrostatic accelerator ion source. The ion source and accelerating tube will be installed in a high-pressure vessel. The ion source in the high-pressure vessel is required to have a high reliability. The test stand has been proposed and developed to confirm the stable operating conditions of the ion source. The ion source will be tested at the test stand to verify the long-time operating conditions. The test stand comprises a 300-kV high-voltage terminal, a battery for the ion-source power, a 60-Hz inverter, 200-MHz RF power, a 5-kV extraction power supply, a 300-kV accelerating tube, and a vacuum system. The results of the 300-kV high-voltage terminal tests are presented in this paper.

  16. Controls modelling and verification for the Pacific Intertie HVDC 4 terminal scheme

    SciTech Connect (OSTI)

    Hammad, A.; Minghetti, R.; Hasler, J.; Eicher, P. (ABB Power Systems, Baden (Switzerland)); Bunch, R.; Goldsworthy, D. (Bonneville Power Administration, Portland, OR (United States))

    1993-01-01T23:59:59.000Z

    A detailed digital model for the actual control system of the Pacific Intertie HVDC scheme is presented. The scheme is operated as multi-terminal bipole HVDC with four terminals in parallel. Each pole comprises two separately located converter station with independent converter controls at each end of the transmission line. The control model includes bipole, pole, station and converter control systems. Special control techniques for providing safe and stable operation of the parallel converters are described. The techniques also result in fast recovery of the HVDC transmission scheme following severe ac and dc system disturbances. Verification of the completeness and accuracy of the model are made using field tests made on the actual HVDC scheme.

  17. Method of making hermetic seals for hermetic terminal assemblies

    DOE Patents [OSTI]

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

    2010-04-13T23:59:59.000Z

    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. A Smart Logic for Conference Room Terminal Box of Single Duct VAV System

    E-Print Network [OSTI]

    Yu, Y.; Xu, K.; Cho, Y.; Liu, M.

    2007-01-01T23:59:59.000Z

    A SMART LOGIC FOR CONFERENCE ROOM TERMINAL BOX OF SINGLE DUCT VAV SYSTEM Yuebin Yu Ke Xu YoungHum Cho Mingsheng Liu Graduate Student Graduate Student Graduate Student Professor of Architectural... in the conference room. The detailed calculation example for the parameters and the energy saving performance analysis based on air modeling are given in the other paper (Yuebin Yu, et al. 2007). The main principles of the operation logic are stated as follows...

  19. Termination of Safeguards on ULWBR Material

    SciTech Connect (OSTI)

    Ivan R. Thomas; Ernest L. Laible

    2008-07-01T23:59:59.000Z

    The Department of Energy (DOE), Office of Environmental Management, has approved the disposition of 31 metric tons of Unirradiated Light Water Breeder Reactor (ULWBR) material in canisters stored within dry wells of the Underground Fuel Storage Facility at the Idaho Nuclear Technology and Engineering Center (INTEC). This unirradiated material consists primarily of ceramic pellets of thorium oxide in stainless steel cladding, but it also contains 300 kilograms of uranium that is 98 wt% U-233. The ULWBR material was not processed at the INTEC because it was incompatible with prior chemical separation schemes. Other economical recovery options have not been identified, and expressions of interest for consolidating the material with existing projects at other DOE sites have not been received. The U-233 could be used for producing the medical isotope Actinium-225, but the proof-of-principle demonstration and follow-on pilot program have not been developed to the point of requiring production quantities of U-233. Consequently, the selected disposition of the ULWBR material was burial as Low Level Waste at the Nevada Test Site (NTS), which required terminating safeguards controls for the contained Category II quantity of Attractiveness Level D special nuclear material (SNM). The requested termination followed the twelve point evaluation criteria of the Historical Defense Program Discard Guidance and included a security analysis for evaluating the risks of theft, diversion, and radiological sabotage associated with the material. Continuity of knowledge in the book inventory was assured by documenting that the original shippers measurements accurately reflected the quantities of materials received and that the ULWBR materials had remained under adequate physical protection and had been subject to periodic physical inventories. The method selected for substantiating the book values as the basis for terminating safeguards was the nondestructive assay used during physical inventories. Shipping arrangements included refurbishing a licensed cask to be reused over the duration of the termination process. An accompanying batching plan and shipping schedule were developed to accommodate multiple commercial shipments of Category III quantities of SNM in the selected cask, such that all canisters would be received at NTS prior to the expiration of the nonrenewable cask license.

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

  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. (UWA); (ANU)

    2009-01-15T23:59:59.000Z

    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. 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 termination of functions written in a non­strict high­level functional programming language like Haskell kinds of termination: nf­termination and lazy termination. Intuitively, nf­termination of f means

  3. Determining the PTE and formulating a Title V permitting strategy for a bulk gasoline terminal

    SciTech Connect (OSTI)

    Wilder, A.A.; Turner, R.S. [TRC Environmental Corporation, Windsor, CT (United States)

    1996-12-31T23:59:59.000Z

    Bulk gasoline terminals may take operational restrictions and maintain operational flexibility while avoiding requirements of Title III and Title V of the Clean Air Act Amendments (CAA-A). Title V establishes a federally enforceable renewable operating permit program for major sources. Title III regulates Hazardous Air Pollutants (HAPs) to reduce emissions from all sources to a degree sufficient to protect the public by using Maximum Achievable Control Technology (MACT) standards achieved in practice within the industry. Volatile Organic Compounds (VOCs) and HAPs are emitted from storage tanks, loading operations, and components at gasoline terminals. To calculate the potential to emit (PTE) and assess regulation applicability, maximum facility throughputs should be determined by physical limitations of the loadrack. Loadrack throughputs can be correlated to storage tanks throughputs based on type of tank and the highest volatility product stored in that tank. Component emissions should be based on continuous service of the highest volatility product. To avoid recordkeeping and reporting requirements of Title III and/or Title V, VOC and HAP emissions may be restricted to below thresholds determined by the region`s ozone attainment status by limiting loadrack throughput and/or by meeting higher control equipment efficiencies. However, careful consideration must be given to operational flexibility and the potential future expansion of the facility.

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

  5. Functional analysis of p53 N-terminal phosphorylation and C-terminal multiple posttranslational modifications in regulating p53 responses to DNA damage

    E-Print Network [OSTI]

    Feng, Lijin

    2006-01-01T23:59:59.000Z

    derived from the p53 C-terminal domain. Nat Med. 1997;3:632-core and nonspecific C-terminal DNA binding domains of p53:kinase coordinates N-terminal phosphorylation and apoptosis

  6. Termination and Verification for Ill-Posed Semidefinite Programming ...

    E-Print Network [OSTI]

    2005-06-17T23:59:59.000Z

    Jun 17, 2005 ... straint qualifications fail, and propose a new reliable termination criterium dealing with such problems. This criterium is scale-independent and...

  7. Optimization Online - Termination and Verification for Ill-Posed ...

    E-Print Network [OSTI]

    Christian Jansson

    2005-06-17T23:59:59.000Z

    Jun 17, 2005 ... Termination and Verification for Ill-Posed Semidefinite Programming Problems. Christian Jansson (jansson ***at*** tu-harburg.de). Abstract:...

  8. A free-space optical terminal for fading channels

    E-Print Network [OSTI]

    Crucioli, David A.

    This paper describes a lasercom terminal using spatial diversity to mitigate fading caused by atmospheric scintillation. Multiple receive apertures are separated sufficiently to capture statistically independent samples ...

  9. File:Notice of Termination for Authorization under TPDES General...

    Open Energy Info (EERE)

    | Sign Up Search File Edit History Facebook icon Twitter icon File:Notice of Termination for Authorization under TPDES General Permit TXR150000.pdf Jump to: navigation,...

  10. Isolated fungal promoters and gene transcription terminators and methods of protein and chemical production in a fungus

    DOE Patents [OSTI]

    Dai, Ziyu; Lasure, Linda L; Magnuson, Jon K

    2014-05-27T23:59:59.000Z

    The present invention encompasses isolated gene regulatory elements and gene transcription terminators that are differentially expressed in a native fungus exhibiting a first morphology relative to the native fungus exhibiting a second morphology. The invention also encompasses a method of utilizing a fungus for protein or chemical production. A transformed fungus is produced by transforming a fungus with a recombinant polynucleotide molecule. The recombinant polynucleotide molecule contains an isolated polynucleotide sequence linked operably to another molecule comprising a coding region of a gene of interest. The gene regulatory element and gene transcription terminator may temporally and spatially regulate expression of particular genes for optimum production of compounds of interest in a transgenic fungus.

  11. 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-21T23:59:59.000Z

    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.

  12. Environmental Assessment on the leasing of the Strategic Petroleum Reserve, St. James Terminal, St. James Parish, Louisiana

    SciTech Connect (OSTI)

    NONE

    1995-01-01T23:59:59.000Z

    The US Department of Energy (DOE) proposes to lease the Strategic Petroleum Reserve`s (SPR) St. James Terminal to private industry. The St. James Terminal consists of six storage tanks, a pumping station, two maine docks and ancillary facilities. DOE believes that the St. James Terminal presents an opportunity to establish a government- industry arrangement that could more effectively use this asset to serve the nations`s oil distribution needs, reduce the operational cost of the SPR, and provide a source of revenue for the Government. DOE solicited interest in leasing its distribution facilities in a notice published March 16, 1994. In response, industry has expressed interest in leasing the St. James Terminal, as well as several DOE pipelines, to enhance the operation of its own facilities or to avoid having to construct new ones. Under such a lease, industry use would be subordinate to DOE use in the event of a national energy emergency. This Environmental Assessment describes the proposed leasing operation, its alternatives, and potential environmental impacts. Based on this analyses, DOE has determined that the proposed action 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 and has issued the Finding of No Significant Impact (FONSI).

  13. Terminal Interface Conformations Modulate Dimer Stability Prior to Amino Terminal Autoprocessing of HIV-1 Protease

    SciTech Connect (OSTI)

    Agniswamy, Johnson; Sayer, Jane M.; Weber, Irene T.; Louis, John M. (GSU); (NIH)

    2012-04-17T23:59:59.000Z

    The HIV-1 protease (PR) mediates its own release (autoprocessing) from the polyprotein precursor, Gag-Pol, flanked by the transframe region (TFR) and reverse transcriptase at its N- and C-termini, respectively. Autoprocessing at the N-terminus of PR mediates stable dimer formation essential for catalytic activity, leading to the formation of infectious virus. An antiparallel {beta}-sheet interface formed by the four N- and C-terminal residues of each subunit is important for dimer stability. Here, we present the first high-resolution crystal structures of model protease precursor-clinical inhibitor (PI darunavir or saquinavir) complexes, revealing varying conformations of the N-terminal flanking (S{sup -4}FNF{sup -1}) and interface residues (P{sup 1}QIT{sup 4}). A 180{sup o} rotation of the T{sup 4}-L{sup 5} peptide bond is accompanied by a new Q{sup 2}-L{sup 5} hydrogen bond and complete disengagement of PQIT from the {beta}-sheet dimer interface, which may be a feature for intramolecular autoprocessing. This result is consistent with drastically lower thermal stability by 14-20 C of PI complexes of precursors and the mature PR lacking its PQIT residues (by 18.3 C). Similar to the TFR-PR precursor, this deletion also results in a darunavir dissociation constant (2 x 10{sup 4})-fold higher and a markedly increased dimer dissociation constant relative to the mature PR. The terminal {beta}-sheet perturbations of the dimeric structure likely account for the drastically poorer inhibition of autoprocessing of TFR-PR relative to the mature PR, even though significant differences in active site-PI interactions in these structures were not observed. The novel conformations of the dimer interface may be exploited to target selectively the protease precursor prior to its N-terminal cleavage.

  14. Permanent magnet flowmeter having improved output terminal means

    DOE Patents [OSTI]

    August, Charles (Darien, IL); Myers, Harry J. (Downers Grove, IL)

    1984-01-01T23:59:59.000Z

    Disclosed is an improved permanent magnet flowmeter capable of withstanding bending stresses in the direction of induced emf signals. The flowmeter includes a unique terminal arrangement integrally formed with the flowmeter by trepanning opposing wall sections of the flowmeter body. The terminal arrangement provides increased flowmeter sensitivity by increasing the strength of the induced emf signals.

  15. ORIGINAL ARTICLE Suppression of CFTR premature termination codons

    E-Print Network [OSTI]

    Bedwell, David M.

    DNA, treatment with NB54 increased stimulated short-circuit current (ISC) with greater efficiency than gentamicin termination codons . Aminoglycosides . Short-circuit current . Primary human bronchial epithelial cells conductance regulator ISC Short-circuit current PTC Premature termination codons SPQ 6-Methoxy-N-(3

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

  17. WAIVER OF RIGHT TO PRE-TERMINATION HEARING FOR CLASSIFIED STAFF ONLY

    E-Print Network [OSTI]

    Rhoads, James

    WAIVER OF RIGHT TO PRE-TERMINATION HEARING FOR CLASSIFIED STAFF ONLY Office of Human Resources Rev Discipline and SPP 1011 Involuntary Terminations, you are entitled to a pre-termination hearing prior to the effective date of termination stated in your Notice of Intent to Recommend Termination. The purpose

  18. A Simulation Tool for Combined Rail-Road Transport in Intermodal Terminals

    E-Print Network [OSTI]

    Gambardella, Luca Maria

    A Simulation Tool for Combined Rail-Road Transport in Intermodal Terminals Andrea E. Rizzoli. A simulation tool to model the flow of Intermodal Terminal Units (ITUs) among intermodal terminals is presented. This terminal simulator tool is part of the DGVII EC-funded PLATFORM project. The terminal model is composed

  19. Exploration of material removal rate of srf elliptical cavities as a function of media type and cavity shape on niobium and copper using centrifugal barrel polishing (cbp)

    SciTech Connect (OSTI)

    Palczewski, Ari [JLAB; Ciovati, Gianluigi [JLAB; Li, Yongming [PEKING; Geng, Rongli [JLAB

    2013-09-01T23:59:59.000Z

    Centrifugal barrel polishing (cbp) for SRF application is becoming more wide spread as the technique for cavity surface preparation. CBP is now being used in some form at SRF laboratories around the world including in the US, Europe and Asia. Before the process can become as mature as wet chemistry like eletro-polishing (EP) and buffered chemical polishing (BCP) there are many questions which remain unanswered. One of these topics includes the uniformity of removal as a function of cavity shape and material type. In this presentation we show CBP removal rates for various media types on 1.3 GHz TESLA and 1.5 GHz CEBAF large/fine grain niobium cavities, and 1.3GHz low surface field copper cavity. The data will also include calculated RF frequency shift modeling non-uniform removal as a function of cavity position and comparing them with CBP results.

  20. Automatic Commissioning of Multiple VAV Terminals

    E-Print Network [OSTI]

    Qin, J.; Wang, S.

    2004-01-01T23:59:59.000Z

    A site survey on a modern operating commercial building screened 261 ineffective VAV (Variable Air Volume) boxes (20.9% of the total boxes in the building) and summarized ten typical faults for VAV air-conditioning system(s) resulting in energy...

  1. Operating Costs

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

    1997-03-28T23:59:59.000Z

    This chapter is focused on capital costs for conventional construction and environmental restoration and waste management projects and examines operating cost estimates to verify that all elements of the project have been considered and properly estimated.

  2. Operating characteristics and modeling of the LLNL 100-kV electric gun

    SciTech Connect (OSTI)

    Osher, J.E.; Barnes, G.; Chau, H.H.; Lee, R.S.; Lee, C.; Speer, R.; Weingart, R.C.

    1989-06-01T23:59:59.000Z

    In the electric gun, the explosion of an electrically heated metal foil and the accompanying magnetic forces drive a thin flyer plate up a short barrel. Flyer velocities of up to 18 km/s make the gun useful for hypervelocity impact studies. The authors briefly review the technological evolution of the exploding-metal circuit elements that power the gun, describe the 100-kV electric gun designed at Lawrence Livermore National Laboratory (LLNL) in some detail, and present the general principles of electric gun operation. They compare the experimental performance of the LLNL gun with a simple model and with predictions of a magnetohydrodynamics code.

  3. Thermoelectric efficiency of three-terminal quantum thermal machines

    E-Print Network [OSTI]

    Francesco Mazza; Riccardo Bosisio; Giuliano Benenti; Vittorio Giovannetti; Rosario Fazio; Fabio Taddei

    2014-08-28T23:59:59.000Z

    The efficiency of a thermal engine working in linear response regime in a multi-terminals configuration is discussed. For the generic three-terminal case, we provide a general definition of local and non-local transport coefficients: electrical and thermal conductances, and thermoelectric powers. Within the Onsager formalism, we derive analytical expressions for the efficiency at maximum power, which can be written in terms of generalized figures of merit. Also, using two examples, we investigate numerically how a third terminal could improve the performance of a quantum system, and under which conditions non-local thermoelectric effects can be observed.

  4. 5/3-Approximation Algorithm for a Multiple Depot, Terminal Hamiltonian Path Problem

    E-Print Network [OSTI]

    Sivakumar, Rathinam; Sengupta, Raja

    2007-01-01T23:59:59.000Z

    it is not a depot or a terminal vertex and its degree isdegree is even. it is a terminal vertex and its degree isthe depot vertex and the terminal vertex. v. Construct an

  5. LSD1 complex controls cell type terminal differentiation during mammalian organogenesis

    E-Print Network [OSTI]

    Wang, Jianxun

    2006-01-01T23:59:59.000Z

    and unique roles for C-terminal binding protein 1 (CtBP1)Complex Controls Cell Type Terminal Differentiation DuringComplex Controls Cell Type Terminal Differentiation During

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

    E-Print Network [OSTI]

    2012-01-01T23:59:59.000Z

    framework with an N-terminal nucleophile is capable of self-hydrolase is a tetrameric N-terminal thiol hydrolase PLoSalpha-amino group of the N- terminal serine of beta subunit

  7. N-terminal domain of soluble epoxide hydrolase negatively regulates the VEGF-mediated activation

    E-Print Network [OSTI]

    Hammock, Bruce D.

    ..................................................................................................................................................................................... ..................................................................................................................................................................................... N-terminal Angiogenesis 1. Introduction Soluble epoxide hydrolase (sEH), an enzyme with C-terminal epoxide hydrolase (EH) and N-terminal lipid phosphatase (PT) activities, is widely distributed in mammalian tissues, including

  8. Immunolocalization of an Amino-Terminal Fragment of Apolipoprotein E in the Pick's Disease Brain

    E-Print Network [OSTI]

    2013-01-01T23:59:59.000Z

    et al. (2003) Carboxyl- terminal-truncated apolipoprotein E4of an amino- terminal fragment of apolipoprotein E4 thatof an Amino-Terminal Fragment of Apolipoprotein E in the

  9. NMR structure of the N-terminal domain of the replication initiator protein DnaA

    E-Print Network [OSTI]

    Lowery, Thomas J.

    2008-01-01T23:59:59.000Z

    NMR Structure of the N-terminal domain of the replication510-486-6059 Running title: N-terminal domain of DnaA Page 1and the specific role of the N-terminal domain remain poorly

  10. Structural investigation and allosteric properties of a unique disulfide bond in C-terminal Src kinase

    E-Print Network [OSTI]

    Mills, Jamie E.

    2008-01-01T23:59:59.000Z

    Budde, Mutations in the N-terminal regulatory region reduceStructure of the carboxyl-terminal Src kinase, Csk. JournalActivation of the COOH-terminal Src kinase (Csk) by cAMP-

  11. A TIME-SHARING TERMINAL ADAPTED FOR USE BY BLIND COMPUTER USERS

    E-Print Network [OSTI]

    Fjelsted, Kevin

    2011-01-01T23:59:59.000Z

    microcomputer Since this terminal is still being I feel thatand efficient computer terminal will be developed. ThisLBL-8560 A TIME-SHARING TERMINAL ADAPTED FOR USE BY BLIND

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

  13. 04/18/2005 1 of 3 Voluntary and Involuntary Termination Benefits Guidelines

    E-Print Network [OSTI]

    Yamamoto, Keith

    04/18/2005 1 of 3 Voluntary and Involuntary Termination Benefits Guidelines Governmental Accounting Standards Board (GASB) Statement #47 requires two classification types of termination benefits voluntary and involuntary. Voluntary termination benefits include inducements to hasten separation from employment

  14. Vesicle capture, not delivery, scales up neuropeptide storage in neuroendocrine terminals

    E-Print Network [OSTI]

    Hewes, Randall S.

    Vesicle capture, not delivery, scales up neuropeptide storage in neuroendocrine terminals Dinara terminals that contain few DCVs and many small synaptic vesicles, whereas neuroendocrine neuron termi- nals- tide stores in identified Drosophila cotransmitting and neuroendo- crine terminals. However

  15. Companion burials in the Kingdom of the Avocado : indirect evidence of human sacrifice in late and terminal Classic Maya Society

    E-Print Network [OSTI]

    Pitcavage, Megan R.

    2008-01-01T23:59:59.000Z

    Human Sacrifice in Late and Terminal Classic Maya Society AHuman Sacrifice in Late and Terminal Classic Maya Society byassemblage at the Late and Terminal Classic center of

  16. Speed and Path Control for Conflict-Free Flight in High Air Traffic Demand in Terminal Airspace

    E-Print Network [OSTI]

    Rezaei, Ali

    2013-01-01T23:59:59.000Z

    speed control in terminal airspace, AIAA Guidance,Separattomcompltant tn the terminal airspace, Part I: speedSeparattomcompltant tn the terminal airspace, Part II: speed

  17. 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-01T23:59:59.000Z

    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.

  18. 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; Prez, Alberto; Soler-Lpez, Montserrat; Orozco, Modesto

    2011-01-01T23:59:59.000Z

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

  19. A superconducting-nanowire 3-terminal electronic device

    E-Print Network [OSTI]

    Adam N. McCaughan; Karl K. Berggren

    2014-03-25T23:59:59.000Z

    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.

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

    E-Print Network [OSTI]

    Pararas, John Demetrios

    1982-01-01T23:59:59.000Z

    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. al paciente terminal: Topics by E-print Network

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

    Robin L. 4 La faune de Mammifres du Pliocne terminal d'Ahl al Oughlam, Casablanca, Maroc The Late Pliocene mammalian fauna of Ahl al Oughlam, Casablanca, Morocco Physics...

  2. Optimization of VAV AHU Terminal Box Minimum Airflow

    E-Print Network [OSTI]

    Wang, Wei

    2011-10-21T23:59:59.000Z

    Determining the optimal terminal box airflow is a complex process which is influenced by various factors, such as weather condition, supply air temperature, primary air fraction and internal load. A guideline for determination of a cost efficient...

  3. California's LNG Terminals: The Promise of New Gas Supplies

    Broader source: Energy.gov [DOE]

    Presentation covers California's LNG terminals and is given at the Federal Utility Partnership Working Group (FUPWG) Fall Meeting, held on November 28-29, 2007 in San Diego, California.

  4. Electrochemical hydrogen termination of boron-doped diamond

    SciTech Connect (OSTI)

    Hoffmann, Rene; Kriele, Armin; Obloh, Harald; Hees, Jakob; Wolfer, Marco; Smirnov, Waldemar; Yang Nianjun; Nebel, Christoph E. [Fraunhofer Institute for Applied Solid State Physics (IAF), Tullastrasse 72, Freiburg 79108 (Germany)

    2010-08-02T23:59:59.000Z

    Boron-doped diamond is a promising transducer material for numerous devices which are designed for contact with electrolytes. For optimized electron transfer the surface of diamond needs to be hydrogen terminated. Up to now H-termination of diamond is done by plasma chemical vapor deposition techniques. In this paper, we show that boron-doped diamond can be H-terminated electrochemically by applying negative voltages in acidic solutions. Electrochemical H-termination generates a clean surface with virtually no carbon-oxygen bonds (x-ray photoelectron spectroscopy), a reduced electron affinity (scanning electron microscopy), a highly hydrophobic surface (water contact angle), and a fast electron exchange with Fe(CN){sub 6}{sup -3/-4} (cyclic voltammetry).

  5. Energy Optimizations for Mobile Terminals via Computation Offloading

    E-Print Network [OSTI]

    Stojmenovic, Ivan

    design trends of energy efficient mobile applications. Index Terms--Mobile terminal, energy, computation result demonstrates that although energy consumption widely varies drastically depending upon to reduce the energy consumption of computation remote execution. One can offload computational tasks

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

    E-Print Network [OSTI]

    Brillembourg, Marie-Claire

    1982-01-01T23:59:59.000Z

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

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

  8. 2014-03-06 Issuance: Test Procedures for Packaged Terminal Air...

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

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

  9. Resin-assisted Enrichment of N-terminal Peptides for Characterizing...

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

    Enrichment of N-terminal Peptides for Characterizing Proteolytic Processing. Resin-assisted Enrichment of N-terminal Peptides for Characterizing Proteolytic Processing. Abstract:...

  10. Systems simulation of oil additives to grain at terminal elevators

    E-Print Network [OSTI]

    Goforth, Kerry James

    1985-01-01T23:59:59.000Z

    SYSTEMS SIMULATION OF OIL ADDITIVES TO GRAIN AT TERMINAL ELEVATORS A Thesis by Kerry James Goforth Submitted to the Graduate College of Texas A8M University in partial fulfillment of the requirements for the degree of MASTER OF SCIENCE May... 1985 Major Subject: Agricultural Engineering SYSTEMS SIMULATION OF OIL ADDITIVES TO GRAIN AT TERMINAL ELEVATORS A Thesis by KERRY J. GOFORTH Approved as to style and content by: Calvin B. Parne 1, Jr. (Chairman of Committee) tto R. Kunze...

  11. Massey prepares for future with new export coal terminal

    SciTech Connect (OSTI)

    Ridley, R.S.

    1983-04-01T23:59:59.000Z

    A. T. Massey Coal Company Inc., has taken a risk in bringing a 12,000,000-ton per year steam coal export terminal on stream just when the international coal market looks particularly bleak. But Massey is confident that the new terminal in Newport News, Virginia will help the company increase sales even during these hard times, and put Massey in a prime position once the market picks up.

  12. Reachability and Termination Analysis of Concurrent Quantum Programs

    E-Print Network [OSTI]

    Nengkun Yu; Mingsheng Ying

    2012-06-09T23:59:59.000Z

    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.

  13. Operations Videos

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of Science (SC)IntegratedSpeeding access toTest and EvaluationOperational ManagementCenterOperations

  14. EE 210: CIRCUITS AND DEVICES INTRODUCTION TO OPERATIONAL AMPLIFIERS

    E-Print Network [OSTI]

    Lozano-Nieto, Albert

    is used as a variable resistor by using the wiper terminal (middle terminal) and one of the end terminals

  15. A Specification Logic for Termination Reasoning Ton-Chanh Le, Cristian Gherghina, Aquinas Hobor, and Wei-Ngan Chin

    E-Print Network [OSTI]

    Hobor, Aquinas

    A Specification Logic for Termination Reasoning Ton-Chanh Le, Cristian Gherghina, Aquinas Hobor a logical framework for specifying and proving asser- tions about program termination. Although termination. Here we propose to integrate termination requirements directly into our specification logic

  16. Prediction of terminal-area weather penetration based on operational factors

    E-Print Network [OSTI]

    Lin, Yi-Hsin, S.M. Massachusetts Institute of Technology

    2013-01-01T23:59:59.000Z

    As demand for air transportation grows, the existing air traffic control system is being pushed to capacity. This is especially true during weather events. However, the degree to which weather impacts airspace capacity, ...

  17. Optimization of airport terminal-area air traffic operations under uncertain weather conditions

    E-Print Network [OSTI]

    Pfeil, Diana Michalek

    2011-01-01T23:59:59.000Z

    Convective weather is responsible for large delays and widespread disruptions in the U.S. National Airspace System, especially during summer. Although Air Traffic Flow Management algorithms exist to schedule and route ...

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

    E-Print Network [OSTI]

    2006-01-01T23:59:59.000Z

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

  19. Operation Poorman

    SciTech Connect (OSTI)

    Pruvost, N.; Tsitouras, J.

    1981-03-18T23:59:59.000Z

    The objectives of Operation Poorman were to design and build a portable seismic system and to set up and use this system in a cold-weather environment. The equipment design uses current technology to achieve a low-power, lightweight system that is configured into three modules. The system was deployed in Alaska during wintertime, and the results provide a basis for specifying a mission-ready seismic verification system.

  20. Operating Strategies

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level:Energy: Grid Integration Redefining What's Possible for RenewableSpeeding accessSpeedingOctoberResearchOpen→ globalOPERATING PLAN

  1. Operations Office

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level:Energy: Grid Integration Redefining What's Possible for RenewableSpeeding accessSpeedingOctoberResearchOpen→ globalOPERATING

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

  3. Improvements in Near-Terminator and Nocturnal Cloud Masks using Satellite Imager Data over the Atmospheric Radiation Measurement Sites

    SciTech Connect (OSTI)

    Trepte, Q.Z.; Minnis, P.; Heck, P.W.; Palikonda, R.

    2005-03-18T23:59:59.000Z

    Cloud detection using satellite measurements presents a big challenge near the terminator where the visible (VIS; 0.65 {micro}m) channel becomes less reliable and the reflected solar component of the solar infrared 3.9-{micro}m channel reaches very low signal-to-noise ratio levels. As a result, clouds are underestimated near the terminator and at night over land and ocean in previous Atmospheric Radiation Measurement (ARM) Program cloud retrievals using Geostationary Operational Environmental Satellite (GOES) imager data. Cloud detection near the terminator has always been a challenge. For example, comparisons between the CLAVR-x (Clouds from Advanced Very High Resolution Radiometer [AVHRR]) cloud coverage and Geoscience Laser Altimeter System (GLAS) measurements north of 60{sup o}N indicate significant amounts of missing clouds from AVHRR because this part of the world was near the day/night terminator viewed by AVHRR. Comparisons between MODIS cloud products and GLAS at the same regions also shows the same difficulty in the MODIS cloud retrieval (Pavolonis and Heidinger 2005). Consistent detection of clouds at all times of day is needed to provide reliable cloud and radiation products for ARM and other research efforts involving the modeling of clouds and their interaction with the radiation budget. To minimize inconsistencies between daytime and nighttime retrievals, this paper develops an improved twilight and nighttime cloud mask using GOES-9, 10, and 12 imager data over the ARM sites and the continental United States (CONUS).

  4. Initialisation and Termination of Active Contour LevelSet Evolutions Martin Weber Andrew Blake Roberto Cipolla

    E-Print Network [OSTI]

    Drummond, Tom

    Initialisation and Termination of Active Contour Level­Set Evolutions Martin Weber #3; Andrew Blake

  5. Synthesis and Reactivity of Terminal Gold(I) Amides and Phosphides

    E-Print Network [OSTI]

    Toste, Dean

    Synthesis and Reactivity of Terminal Gold(I) Amides and Phosphides Miles W. Johnson, Sophia L of terminal gold(I) amides with a strongly coordinated amido moiety. - Prepare terminal gold(I) amides in a plausible catalytic cycle have been isolated or observed spectroscopically: - Terminal gold(I) amides

  6. traveladvisory Terminal Roadway Closure 6-23 to 7-01-2010

    E-Print Network [OSTI]

    Paulsson, Johan

    traveladvisory Terminal Roadway Closure 6-23 to 7-01-2010 PASSENGER PICK UP/DROP OFF Drivers meeting arriving passengers at Terminal B will enter the Terminal B garage where they will be directed passengers getting picked up by a private vehicle should exit the terminal at the lower level and use

  7. Terminal addition, the Cambrian radiation and the Phanerozoic evolution of bilaterian form

    E-Print Network [OSTI]

    Terminal addition, the Cambrian radiation and the Phanerozoic evolution of bilaterian form David K: djacobs@ucla.edu) SUMMARY We examine terminal addition, the process of addition of serial elements argue that terminal addition was the basal condition in Bilateria, and that modification of terminal

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

  9. Connections between mRNA 3( end processing and transcription termination

    E-Print Network [OSTI]

    Connections between mRNA 3( end processing and transcription termination Stephen Buratowski with transcription elongation and termination. It has been known for quite a long time that transcription termination The connection between polyadenylation and transcrip- tion termination was established early on with the dis

  10. Binding and Translocation of Termination Factor Rho Studied at the Single-Molecule Level

    E-Print Network [OSTI]

    Straight, Aaron

    Binding and Translocation of Termination Factor Rho Studied at the Single-Molecule Level Daniel J; force spectroscopy Rho termination factor is an essential hexameric helicase responsible for terminating to investigate RhoRNA binding in- teractions at the Rho utilization site of the tR1 terminator. Our results

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

  12. A framework for the revocation of unintended digital signatures initiated by malicious terminals

    E-Print Network [OSTI]

    Levente, Buttyn

    A framework for the revocation of unintended digital signatures initiated by malicious terminals, the user still needs a terminal for authorizing the card to produce digital signatures. If the terminal to make business with a partner. When using cryptographic protocols, the user needs a terminal (e.g., a PC

  13. Proposal for the Award of a Contract, without Competitive Tendering, for the Supply of Semi-Finished Aluminium Alloy Components for the Support Structures of the ATLAS Barrel Toroid

    E-Print Network [OSTI]

    2002-01-01T23:59:59.000Z

    This document concerns the supply of semi-finished aluminum alloy components for the support structures of the ATLAS Barrel Toroid. The Finance Committee is invited to agree to the negotiation of a contract, without competitive tendering, with RUSSIAN ALUMINIUM (RU) for the supply of semi-finished aluminum alloy components for the support structures of the ATLAS Barrel Toroid for a total amount of 1 900 000 US dollars, not subject to revision. At the present rate of exchange, this amount is equivalent to approximately 2 850 000 Swiss francs. CERN's total contribution to the contract will not exceed 600 000 Swiss francs. The firm has indicated the following distribution by country of the contract value covered by this proposal: RU - 100%.

  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. Decommissioning the Fuel Process Building, a Shift in Paradigm for Terminating Safeguards on Process Holdup

    SciTech Connect (OSTI)

    Ivan R. Thomas

    2010-07-01T23:59:59.000Z

    INMM Abstract 51st Annual Meeting Decommissioning the Fuel Process Building, a Shift in Paradigm for Terminating Safeguards on Process Holdup The Fuel Process Building at the Idaho Nuclear Technology and Engineering Center (INTEC) is being decommissioned after nearly four decades of recovering high enriched uranium from various government owned spent nuclear fuels. The separations process began with fuel dissolution in one of multiple head-ends, followed by three cycles of uranium solvent extraction, and ending with denitration of uranyl nitrate product. The entire process was very complex, and the associated equipment formed an extensive maze of vessels, pumps, piping, and instrumentation within several layers of operating corridors and process cells. Despite formal flushing and cleanout procedures, an accurate accounting for the residual uranium held up in process equipment over extended years of operation, presented a daunting safeguards challenge. Upon cessation of domestic reprocessing, the holdup remained inaccessible and was exempt from measurement during ensuing physical inventories. In decommissioning the Fuel Process Building, the Idaho Cleanup Project, which operates the INTEC, deviated from the established requirements that all nuclear material holdup be measured and credited to the accountability books and that all nuclear materials, except attractiveness level E residual holdup, be transferred to another facility. Instead, the decommissioning involved grouting the process equipment in place, rather than measuring and removing the contained holdup for subsequent transfer. The grouting made the potentially attractiveness level C and D holdup even more inaccessible, thereby effectually converting the holdup to attractiveness level E and allowing for termination of safeguards controls. Prior to grouting the facility, the residual holdup was estimated by limited sampling and destructive analysis of solutions in process lines and by acceptable knowledge based upon the separations process, plant layout, and operating history. The use of engineering estimates, in lieu of approved measurement methods, was justified by the estimated small quantity of holdup remaining, the infeasibility of measuring the holdup in a highly radioactive background, and the perceived hazards to personnel. The alternate approach to quantifying and terminating safeguards on process holdup was approved by deviation.

  16. Operational Excellence

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742EnergyOnItemResearch > TheNuclear Astrophysics One ofSpeedingthis site » OpenOperational

  17. Operations Information

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level:Energy: Grid Integration Redefining What's Possible for RenewableSpeeding accessSpeedingOctoberResearchOpen→ globalOPERATING Who We

  18. Termination of Rewriting with and Automated Synthesis of Forbidden Patterns

    E-Print Network [OSTI]

    Gramlich, Bernhard; 10.4204/EPTCS.44.3

    2010-01-01T23:59:59.000Z

    We introduce a modified version of the well-known dependency pair framework that is suitable for the termination analysis of rewriting under forbidden pattern restrictions. By attaching contexts to dependency pairs that represent the calling contexts of the corresponding recursive function calls, it is possible to incorporate the forbidden pattern restrictions in the (adapted) notion of dependency pair chains, thus yielding a sound and complete approach to termination analysis. Building upon this contextual dependency pair framework we introduce a dependency pair processor that simplifies problems by analyzing the contextual information of the dependency pairs. Moreover, we show how this processor can be used to synthesize forbidden patterns suitable for a given term rewriting system on-the-fly during the termination analysis.

  19. Terminal Velocity Infall in QSO Absorption Line Halos

    E-Print Network [OSTI]

    Robert A. Benjamin

    1998-11-04T23:59:59.000Z

    We explore the hypothesis that clouds detected in quasar absorption line systems are falling at a terminal velocity toward the center of high redshift gaseous galactic halos. Since both the ionization level and terminal velocity of halo clouds increase with increasing distance from the central galaxy, velocity resolved profiles of highly ionized gas are predicted to have a greater width than low ionization gas. A line of sight passing through the center of gaseous halo (an idealized damped Ly alpha system), yields low ionization absorption at the velocity of the galaxy, flanked by high ionization on either side. Reasonable halo parameters yield total velocity extents for C IV of v_{C IV}=100-200 km/s, in agreement with several observed systems. The remaining systems may better described by the rotating disk model of Prochaska & Wolfe (1998). Finally, observational tests are suggested for verifying or falsifying the terminal velocity hypothesis for these systems.

  20. The N-terminal strand modulates immunoglobulin light chain fibrillogenesis

    SciTech Connect (OSTI)

    Pozo-Yauner, Luis del, E-mail: ldelpozo@inmegen.gob.mx [Instituto Nacional de Medicina Genmica, Perifrico Sur No. 4809, Col. Arenal Tepepan, Delegacin Tlalpan, Mxico, D.F. C.P. 14610 (Mexico); Wall, Jonathan S. [Departments of Radiology and Medicine, The University of Tennessee Medical Center, 1924 Alcoa Highway, Knoxville, TN (United States)] [Departments of Radiology and Medicine, The University of Tennessee Medical Center, 1924 Alcoa Highway, Knoxville, TN (United States); Gonzlez Andrade, Martn [Instituto Nacional de Medicina Genmica, Perifrico Sur No. 4809, Col. Arenal Tepepan, Delegacin Tlalpan, Mxico, D.F. C.P. 14610 (Mexico)] [Instituto Nacional de Medicina Genmica, Perifrico Sur No. 4809, Col. Arenal Tepepan, Delegacin Tlalpan, Mxico, D.F. C.P. 14610 (Mexico); Snchez-Lpez, Rosana [Instituto de Biotecnologa, Universidad Nacional Autnoma de Mxico, Av. Universidad 2001, Col. Chamilpa Cuernavaca, Morelos C.P. 62210 (Mexico)] [Instituto de Biotecnologa, Universidad Nacional Autnoma de Mxico, Av. Universidad 2001, Col. Chamilpa Cuernavaca, Morelos C.P. 62210 (Mexico); Rodrguez-Ambriz, Sandra L. [Centro de Desarrollo de Productos Biticos, Instituto Politcnico Nacional, Calle CEPROBI No. 8, Col. San Isidro, Yautepec, Morelos C.P. 62731 (Mexico)] [Centro de Desarrollo de Productos Biticos, Instituto Politcnico Nacional, Calle CEPROBI No. 8, Col. San Isidro, Yautepec, Morelos C.P. 62731 (Mexico); Prez Carren, Julio I. [Instituto Nacional de Medicina Genmica, Perifrico Sur No. 4809, Col. Arenal Tepepan, Delegacin Tlalpan, Mxico, D.F. C.P. 14610 (Mexico)] [Instituto Nacional de Medicina Genmica, Perifrico Sur No. 4809, Col. Arenal Tepepan, Delegacin Tlalpan, Mxico, D.F. C.P. 14610 (Mexico); and others

    2014-01-10T23:59:59.000Z

    Highlights: We evaluated the impact of mutations in the N-terminal strand of 6aJL2 protein. Mutations destabilized the protein in a position-dependent manner. Destabilizing mutations accelerated the fibrillogenesis by shortening the lag time. The effect on the kinetic of fibril elongation by seeding was of different nature. The N-terminal strand is buried in the fibrillar state of 6aJL2 protein. -- Abstract: It has been suggested that the N-terminal strand of the light chain variable domain (V{sub L}) protects the molecule from aggregation by hindering spurious intermolecular contacts. We evaluated the impact of mutations in the N-terminal strand on the thermodynamic stability and kinetic of fibrillogenesis of the V{sub L} protein 6aJL2. Mutations in this strand destabilized the protein in a position-dependent manner, accelerating the fibrillogenesis by shortening the lag time; an effect that correlated with the extent of destabilization. In contrast, the effect on the kinetics of fibril elongation, as assessed in seeding experiments was of different nature, as it was not directly dependant on the degree of destabilization. This finding suggests different factors drive the nucleation-dependent and elongation phases of light chain fibrillogenesis. Finally, taking advantage of the dependence of the Trp fluorescence upon environment, four single Trp substitutions were made in the N-terminal strand, and changes in solvent exposure during aggregation were evaluated by acrylamide-quenching. The results suggest that the N-terminal strand is buried in the fibrillar state of 6aJL2 protein. This finding suggest a possible explanation for the modulating effect exerted by the mutations in this strand on the aggregation behavior of 6aJL2 protein.

  1. Supplementary Table: Comparison between termination efficiencies and their computational predicated values. Termination efficiencies are reported in terms of the degree of gene silencing in the

    E-Print Network [OSTI]

    Schlick, Tamar

    Supplementary Table: Comparison between termination efficiencies and their computational predicated values. Termination efficiencies are reported in terms of the degree of gene silencing in the presence of ligand. Computational predictions are derived from the proportion of structures in the terminator set

  2. SEPARATION/TERMINATION CHECKLIST PROCEDURES This checklist should be initiated only by the home department and upon receipt of a written notice of resignation or termination.

    E-Print Network [OSTI]

    Dyer, Bill

    SEPARATION/TERMINATION CHECKLIST PROCEDURES This checklist should be initiated only by the home department and upon receipt of a written notice of resignation or termination. The following procedures must be completed for all separating/terminating employees except students, grads and temporary hourly employees

  3. Static power reduction for midpoint-terminated busses

    DOE Patents [OSTI]

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

    2011-01-18T23:59:59.000Z

    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.

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

    DOE Patents [OSTI]

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

    1983-01-01T23:59:59.000Z

    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.

  5. Effects of external pressure on the terminal lymphatic flow rate

    E-Print Network [OSTI]

    Seale, James Lewis

    1981-01-01T23:59:59.000Z

    pressure applied to the skin of the canine cause the terminal lymphat- ic flow rate to increase until the external pressure reaches 60mm Hg. At an external pressure of 60mm Hg reduced lymphatic flow is observed in some of the test animals. At 75mm Hg... resulting from the external pressure begins to col- lapse the lymph vessels. External pressure between 60 and 75mm Hg restricts or completely occludes the terminal lymphatic flow rate. ACKNOWLEDGENENTS I would like to express my appreciation...

  6. Random matrix study for a three-terminal chaotic device

    SciTech Connect (OSTI)

    Martnez-Argello, A. M.; Castao, E.; Martnez-Mares, M. [Departamento de Fsica, Universidad Autnoma Metropolitana-Iztapalapa, Apartado Postal 55-534, 09340 Mxico Distrito Federal (Mexico)

    2014-01-14T23:59:59.000Z

    We perform a study based on a random-matrix theory simulation for a three-terminal device, consisting of chaotic cavities on each terminal. We analyze the voltage drop along one wire with two chaotic mesoscopic cavities, connected by a perfect conductor, or waveguide, with one open mode. This is done by means of a probe, which also consists of a chaotic cavity that measure the voltage in different configurations. Our results show significant differences with respect to the disordered case, previously considered in the literature.

  7. Performance and Operation Experience of the ATLAS Semiconductor Tracker

    E-Print Network [OSTI]

    Gallop, B J

    2013-01-01T23:59:59.000Z

    We report on the operation and performance of the ATLAS Semi-Conductor Tracker (SCT), which has been functioning for 3 years in a high luminosity, high radiation environment. The SCT is constructed of 4088 silicon detector modules, for a total of 6.3 million strips. Each module operates as a stand-alone unit, mechanically, electrically, optically and thermally. The modules are mounted into two types of structures: one barrel, made of 4 cylinders, and two end-cap systems made of 9 disks. The SCT silicon micro-strip sensors are processed in the planar p-in-n technology. The signals are processed in the front-end ABCD3TA ASICs, which use a binary readout architecture. Data is transferred to the off-detector readout electronics via optical fibres. We find $99.3\\%$ of the SCT modules are operational, the noise occupancy and hit efficiency exceed the design specifications; the alignment is very close to the ideal to allow on-line track reconstruction and invariant mass determination. We will report on the operation...

  8. Performance and Operation Experience of the ATLAS Semiconductor Tracker

    E-Print Network [OSTI]

    Gallop, B J; The ATLAS collaboration

    2013-01-01T23:59:59.000Z

    We report on the operation and performance of the ATLAS Semi-Conductor Tracker (SCT), which has been functioning for 3 years in a high luminosity, high radiation environment. The SCT is constructed of 4088 silicon detector modules, for a total of 6.3 million strips. Each module operates as a stand-alone unit, mechanically, electrically, optically and thermally. The modules are mounted into two types of structures: one barrel, made of 4 cylinders, and two end-cap systems made of 9 disks. The SCT silicon micro-strip sensors are processed in the planar p-in-n technology. The signals are processed in the front-end ABCD3TA ASICs, which use a binary readout architecture. Data is transferred to the off-detector readout electronics via optical fibres. We find 99.3% of the SCT modules are operational, the noise occupancy and hit efficiency exceed the design specifications; the alignment is very close to the ideal to allow on-line track reconstruction and invariant mass determination. We will report on the operation an...

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

    SciTech Connect (OSTI)

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

    2012-11-15T23:59:59.000Z

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

  10. Self terminating, guided or accumulator models of visual search

    E-Print Network [OSTI]

    Oram, Mike

    1 Self terminating, guided or accumulator models of visual search: Evidence from stimulus inversion? Efficient search Blonde? #12;2 Accumulator models & visual search Information acquisition hypothesis E.g. Ratcliff 1978; McClelland 1979; Loftus 1983; Carpenter & Williams, 1995; Gold & Shadlen, 2001 Accumulator

  11. Correctness of Program Transformations as a Termination Problem

    E-Print Network [OSTI]

    Schmidt-Schauss, Manfred

    Correctness of Program Transformations as a Termination Problem Conrad Rau, David Sabel,sabel,schauss}@ki.informatik.uni-frankfurt.de Abstract. The diagram-based method to prove correctness of program transformations includes the computation of (critical) overlappings be- tween the analyzed program transformation and the (standard) reduction rules

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

    Broader source: Energy.gov [DOE]

    Good Afternoon, Please find the Lake Charles Harbor and Terminal Districts 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. TECHNICAL POLLUTION PREVENTION GUIDE FOR DRY BULK TERMINALS

    E-Print Network [OSTI]

    Practices 24 4.4 4.5 Pollutants 26 4.4.1 Fugitive Dust 26 4.4.2 Commodity Spillage 27 4.4.3 Oil, lubricant#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

  14. All-Termination(T ) Panagiotis Manolios and Aaron Turon

    E-Print Network [OSTI]

    Manolios, Panagiotis "Pete"

    of functions F, find every sub- set of the formal parameters to F whose consideration is sufficient to show, using T, that F terminates. An important and motivating appli- cation is enhancing theorem proving systems by constructing the set of strongest induction schemes for F, modulo T. These schemes can

  15. 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 automatically defined terminal (ADT) to keep ready and stable building blocks growing into com- plex structure. INTRODUCTION Many fields including biology, design, engineering, manage- ment science, and complex adaptive

  16. Large deviations for many Brownian bridges with symmetrised initial-terminal condition

    E-Print Network [OSTI]

    Stefan Adams; Wolfgang Knig

    2006-03-30T23:59:59.000Z

    Consider a large system of $N$ Brownian motions in $\\mathbb{R}^d$ with some non-degenerate initial measure on some fixed time interval $[0,\\beta]$ with symmetrised initial-terminal condition. That is, for any $i$, the terminal location of the $i$-th motion is affixed to the initial point of the $\\sigma(i)$-th motion, where $\\sigma$ is a uniformly distributed random permutation of $1,...,N$. Such systems play an important role in quantum physics in the description of Boson systems at positive temperature $1/\\beta$. In this paper, we describe the large-N behaviour of the empirical path measure (the mean of the Dirac measures in the $N$ paths) and of the mean of the normalised occupation measures of the $N$ motions in terms of large deviations principles. The rate functions are given as variational formulas involving certain entropies and Fenchel-Legendre transforms. Consequences are drawn for asymptotic independence statements and laws of large numbers. In the special case related to quantum physics, our rate function for the occupation measures turns out to be equal to the well-known Donsker-Varadhan rate function for the occupation measures of one motion in the limit of diverging time. This enables us to prove a simple formula for the large-N asymptotic of the symmetrised trace of ${\\rm e}^{-\\beta \\mathcal{H}_N}$, where $\\mathcal{H}_N$ is an $N$-particle Hamilton operator in a trap.

  17. Monitoring, safety systems for LNG and LPG operators

    SciTech Connect (OSTI)

    True, W.R.

    1998-11-16T23:59:59.000Z

    Operators in Korea and Australia have chosen monitoring and control systems in recent contracts for LNG and LPG storage. Korea Gas Corp. (Kogas) has hired Whessoe Varec, Calais, to provide monitoring systems for four LNG storage tanks being built at Kogas` Inchon terminal. For Elgas Ltd., Port Botany, Australia, Whessoe Varec has already shipped a safety valve-shutdown system to a new LPG cavern-storage facility under construction. The paper describes the systems, terminal monitoring, dynamic approach to tank management, and meeting the growing demand for LPG.

  18. You will arrive at International Terminal of Haneda Airport. http://www.tokyo-airport-bldg.co.jp/cn/

    E-Print Network [OSTI]

    Hasegawa, Shuji

    You will arrive at International Terminal of Haneda Airport. http://www.tokyo-airport-bldg.co.jp/cn/ http://www.tokyo-airport-bldg.co.jp/kr/ Move to Terminal 1 or 2 (domestic terminal) by free terminal shuttle bus in Airport. Buy a ticket for Monorail and take Monorail to Hamamatsu-Cho Station () (Terminal

  19. New ORNL Pellet Injection System and Installation/Initial Operations on MST

    SciTech Connect (OSTI)

    Combs, S.K. [Oak Ridge National Laboratory (United States); Baylor, L.R. [Oak Ridge National Laboratory (United States); Fehling, D.T. [Oak Ridge National Laboratory (United States); Fisher, P.W. [Oak Ridge National Laboratory (United States); Foust, C.R. [Oak Ridge National Laboratory (United States); Rasmussen, D.A. [Oak Ridge National Laboratory (United States); Wilgen, J.B. [Oak Ridge National Laboratory (United States); Chapman, B.E. [University of Wisconsin-Madison (United States); Oliva, S.P. [University of Wisconsin-Madison (United States); Prager, S.C. [University of Wisconsin-Madison (United States); Sarff, J.S. [University of Wisconsin-Madison (United States); Wyman, M.D. [University of Wisconsin-Madison (United States); Brower, D.L. [University of California-Los Angeles (United States); Ding, W.X. [University of California-Los Angeles (United States); Terry, S.D. [University of California-Los Angeles (United States); Deng, B.H. [University of California-Los Angeles (United States)

    2003-09-15T23:59:59.000Z

    A compact pellet injection system that was recently developed at the Oak Ridge National Laboratory has been installed on the Madison Symmetric Torus (MST) at University of Wisconsin and used in initial plasma fueling experiments. The system, referred to as a ''pellet injector in a suitcase,'' is a pipe gun device with a four-barrel capability (presently equipped with two 1.0-mm-bore barrels), and it uses a cryogenic refrigerator for in-situ hydrogen pellet formation (typically, D{sub 2} pellets). This new, portable, stand-alone pellet injection system was developed to provide a flexible means of plasma fueling on a wide variety of magnetic confinement devices, with relatively low costs for installation and operation. The injector has already been used to produce useful results with pellets on MST plasmas, including significant and rapid increases (almost 100%) in the line average density, and effectively depositing fuel in the plasma core (central densities of [approximately equal to] 1.4 x 10{sup 19} m{sup -3}). In this paper, the injection system, its performance, and reliability will be described, and results from some initial MST pellet experiments will be highlighted.

  20. 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-01T23:59:59.000Z

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

  1. PHYSICAL REVIEW B 86, 165440 (2012) Graphene flakes with defective edge terminations: Universal and topological aspects,

    E-Print Network [OSTI]

    Yannouleas, Constantine

    2012-01-01T23:59:59.000Z

    PHYSICAL REVIEW B 86, 165440 (2012) Graphene flakes with defective edge terminations: Universal (as a function of the magnetic field) are presented for trigonal graphene nanoflakes. The electronic spectra of trigonal graphene nanoflakes with reczag edge terminations exhibit certain unique

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

    E-Print Network [OSTI]

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

    2006-01-01T23:59:59.000Z

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

  3. Discovery and Mechanistic Studies of Facile N-Terminal C?-C...

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

    and Mechanistic Studies of Facile N-Terminal C-C Bond Cleavages in the Dissociation of Tyrosine-Containing Peptide Discovery and Mechanistic Studies of Facile N-Terminal C-C...

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

    The Energy Systems Laboratory at Texas A&M University is currently studying ways to make improvements in thermal comfort at the Terminal E building at DFW airport. Airport terminal building HVAC systems are generally known to consume large amounts...

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

  6. Water Interactions with Terminal Hydroxyls on TiO2 (110). | EMSL

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

    Interactions with Terminal Hydroxyls on TiO2 (110). Water Interactions with Terminal Hydroxyls on TiO2 (110). Abstract: A combination of scanning tunneling microscopy and density...

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

  8. Nonlinear thermal control in an N-terminal junction

    E-Print Network [OSTI]

    Dvira Segal

    2007-09-27T23:59:59.000Z

    We demonstrate control over heat flow in an N-terminal molecular junction. Using simple model Hamiltonians we show that the heat current through two terminals can be tuned, switched, and amplified, by the temperature and coupling parameters of external gating reservoirs. We discuss two models: A fully harmonic system, and a model incorporating anharmonic interactions. For both models the control reservoirs induce thermal fluctuations of the transition elements between molecular vibrational states. We find that a fully harmonic model does not show any controllability, while for an anharmonic system the conduction properties of the junction strongly depend on the parameters of the gates. Realizations of the model system within nanodevices and macromolecules are discussed.

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

    E-Print Network [OSTI]

    Maciej Bzowski; Slawomir Tarnopolski

    2006-04-27T23:59:59.000Z

    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.

  10. Probing effective nucleon-nucleon interaction at band termination

    E-Print Network [OSTI]

    Wojciech Satula

    2006-10-27T23:59:59.000Z

    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.

  11. Evaluation of Methods to Increase Light Under Ferry Terminals

    SciTech Connect (OSTI)

    Blanton, Susan L.; Thom, Ronald M.; Borde, Amy B.; Diefenderfer, Heida L.; Southard, John A.

    2002-01-02T23:59:59.000Z

    To address concerns of resource agencies about the potential impacts of ferry terminal expansion on valuable habitat functions and resource use of nearshore areas, the Pacific Northwest National Laboratory (PNNL), in partnership with the Washington State Department of Transportation (WSDOT), conducted field trials with off-the-shelf products that promote light passage through dock structures. These products included a SunTunnel, deck prisms, and a metal halide greenhouse light. Light measurements (photosynthetically active radiation, PAR) were also recorded beneath glass blocks and a metal grating installed at Clinton Ferry Terminal on Whidbey Island, WA. A review of other studies measuring the effects of dock shading and alternate dock materials was conducted. PAR measurements from this study were related to minimum requirements for eelgrass Zostera marina photosynthesis and to the known maximum photosynthetic ?saturation? rate for Z. marina. We also related PAR measurements to what we know about light effects on juvenile salmonid feeding and passage under overwater structures. Of the light technologies tested, the metal halide light, SunTunnel, glass blocks, and grating potentially provide enough light for eelgrass growth underneath a ferry terminal with similar construction to the Clinton Ferry Terminal. All of these technologies would potentially provide adequate light under conditions where eelgrass is located at its upper depth limit and a dock is close to the water surface. Light levels needed to allow fish to feed and to form schools are low (~ 1-2 mmol/m2/s), and much less than those required for photosynthesis. Our research indicates that installing any of the tested light products would likely maintain light levels under the dock above those required for active feeding by juvenile salmonids.

  12. United States National Waste Terminal Storage argillaceous rock studies

    SciTech Connect (OSTI)

    Brunton, G.D.

    1981-01-01T23:59:59.000Z

    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.

  13. Remote terminal time sharing network for Texas A&M University

    E-Print Network [OSTI]

    McMath, Charles Wallis

    1967-01-01T23:59:59.000Z

    Future Terminal Expansion 24 27 27 28 29 CONCLUSIONS REFERENCES 32 34 LIST OF FIGURES Figure Page A. Telephone Carrier Line Methods of Modulation 10 D. Data Sets 1050 Character Timing STR Terminal Front. End 12 13 15 Transmission... information for the terminals, while the central processing unit is processing information previously entered. A system of this type allows many low-speed remote terminals to be on-line to one high speed central computer, via a type of transmission control...

  14. 2:00-2:30 Beverages, 2:30-4 PM Seminar Chevron operates two refineries on the west coast of California. Large parcels of

    E-Print Network [OSTI]

    4/18/2014 2:00-2:30 Beverages, 2:30-4 PM Seminar Abstract Chevron operates two refineries fuel must be moved between the refineries by ship to balance production. The El Segundo Marine Terminal these vapors are returned to the refinery for processing via a vapor return pipeline. El Segundo's terminal

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

    SciTech Connect (OSTI)

    United States. Bonneville Power Administration.

    1995-04-01T23:59:59.000Z

    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.

  16. Terminal velocities of luminous, early-type SMC stars

    E-Print Network [OSTI]

    C. J. Evans; D. J. Lennon; C. Trundle; S. R. Heap; D. J. Lindler

    2004-03-12T23:59:59.000Z

    Ultraviolet spectra from the Space Telescope Imaging Spectrograph (STIS) are used to determine terminal velocities for 11 O and B-type giants and supergiants in the Small Magellanic Cloud (SMC) from the Si IV and C IV resonance lines. Using archival data from observations with the Goddard High-Resolution Spectrograph and the International Ultraviolet Explorer telescope, terminal velocities are obtained for a further five B-type supergiants. We discuss the metallicity dependence of stellar terminal velocities, finding no evidence for a significant scaling between Galactic and SMC metallicities for Teff < 30,000 K, consistent with the predictions of radiation driven wind theory for supergiant stars. A comparison of the $v_\\infty / v_{esc}$ ratio between the SMC and Galactic samples, while consistent with the above statement, emphasizes that the uncertainties in the distances to galactic O-stars are a serious obstacle to a detailed comparison with theory. For the SMC sample there is considerable scatter in this ratio at a given effective temperature, perhaps indicative of uncertainties in stellar masses.

  17. Message Terminating Algorithms for Anonymous Rings of Unknown Israel Cidon \\Lambda and Yuval Shavitt

    E-Print Network [OSTI]

    Shavitt, Yuval

    Message Terminating Algorithms for Anonymous Rings of Unknown Size Israel Cidon \\Lambda and Yuval Abstract We consider a ring of an unknown number of anonymous processors. We focus on message terminating algorithms, i.e., algorithms that terminate when no more messages are present in the system

  18. Disulfide Connectivity of Recombinant C-terminal Region of Human Thrombospondin 2*

    E-Print Network [OSTI]

    Mosher, Deane F.

    Disulfide Connectivity of Recombinant C-terminal Region of Human Thrombospondin 2* Received in Drosophila. TSPs are modular mul- timeric proteins. The C-terminal end of a monomer con- sists of 36 EGF-like modules; seven tandem 23-, 36-, or 38-residue aspartate-rich, Ca2 -binding repeats; and an 230-residue C-terminal

  19. GEOLOGY | November 2012 | www.gsapubs.org 1023 North American terminal Pleistocene mammal extinctions are

    E-Print Network [OSTI]

    Lachniet, Matthew S.

    GEOLOGY | November 2012 | www.gsapubs.org 1023 ABSTRACT North American terminal Pleistocene mammal centrally, we lack clear knowledge of the timing and nature of terminal Pleistocene climate variability. Herein we document lengthy terminal Pleistocene drought in the southwestern United States (USA) using 13

  20. A SOLUTION TO HIDDEN TERMINAL PROBLEM OVER A SINGLE CHANNEL IN WIRELESS AD HOC NETWORKS

    E-Print Network [OSTI]

    Latchman, Haniph A.

    A SOLUTION TO HIDDEN TERMINAL PROBLEM OVER A SINGLE CHANNEL IN WIRELESS AD HOC NETWORKS Hongqiang.ufl.edu and fanggece.ufl.edu ABSTRACT In multihop wireless networks, hidden terminal problem is common and leads to the hidden terminal problem may lead to an unacceptable quality of these services. Therefore, solving

  1. Linear MPC with TimeVarying Terminal Cost using Sparse Convex Combinations and Bisection Search

    E-Print Network [OSTI]

    #12; #12; Linear MPC with TimeVarying Terminal Cost using Sparse Convex Combinations and Bisection--- In recent years, different constrained MPC schemes using a timevarying terminal cost have been in, compared to MPC with fixed terminal cost. The main focus of this paper is the introduction of a new method

  2. A Method To Define the Carboxyl Terminal of Salvatore Sechi and Brian T. Chait*

    E-Print Network [OSTI]

    Chait, Brian T.

    A Method To Define the Carboxyl Terminal of Proteins Salvatore Sechi and Brian T. Chait* Laboratory, New York 10021 Accurate definition of the carboxyl terminal of proteins is necessary for elucidating posttranslational processing at the C-terminal and more generally for characterizing protein primary structures

  3. Signal Dragging: Effects of Terminal Movement on War-Driving in CDMA/WCDMA Networks

    E-Print Network [OSTI]

    Signal Dragging: Effects of Terminal Movement on War-Driving in CDMA/WCDMA Networks Daehyung Jo1. tjha@radiantech.net Abstract. In cellular networks, the signal pattern reported by a mobile terminal by the terminal movement such as the speed and the moving direction in CDMA/WCDMA networks. When the mobile

  4. Data Fusion of Power and Time Measurements for Mobile Terminal Location

    E-Print Network [OSTI]

    Plataniotis, Konstantinos N.

    Data Fusion of Power and Time Measurements for Mobile Terminal Location Michael McGuire, Member Abstract--The location of mobile terminals in cellular networks is an important problem with applications information about mobile terminal location. This paper applies data fusion to combine the information of RSS

  5. The Accuracy of Radar Estimates of Ice Terminal Fall Speed from Vertically Pointing Doppler Radar Measurements

    E-Print Network [OSTI]

    Protat, Alain

    The Accuracy of Radar Estimates of Ice Terminal Fall Speed from Vertically Pointing Doppler Radar and 2835 MHz) are used to characterize the terminal fall speed of hydrometeors and the vertical air motion air velocity in ice clouds is small on average, as is assumed in terminal fall speed retrieval methods

  6. Subunit-selective N-terminal domain associations organize the formation of AMPA receptor

    E-Print Network [OSTI]

    Babu, M. Madan

    Subunit-selective N-terminal domain associations organize the formation of AMPA receptor heteromers approach, we show that the extra- cellular, membrane-distal AMPAR N-terminal domains (NTDs) orchestrate; structural biology Keywords: AMPA receptor function; AMPA receptor assembly; N-terminal domain

  7. ccsd-00004619,version1-1Apr2005 BSDE with quadratic growth and unbounded terminal

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    ccsd-00004619,version1-1Apr2005 BSDE with quadratic growth and unbounded terminal value Philippe with quadratic growth and unbounded terminal value. We apply a localization procedure together with a priori bounds. As a byproduct, we apply the same method to extend a result on BSDEs with integrable terminal

  8. Heuristic Algorithms for the Terminal Assignment Problem Sami Khuri Teresa Chiu

    E-Print Network [OSTI]

    Khuri, Sami

    Heuristic Algorithms for the Terminal Assignment Problem Sami Khuri Teresa Chiu Department­0103 khuri@jupiter.sjsu.edu Fax: (408)924­5080 Keywords: combinatorial optimization, terminal assignment techniques for solv­ ing the terminal assignment (TA) problem are investigated. The task here is to assign

  9. Journal of Mathematical Sciences, Vol. 123, No. 1, 2004 RELIABILITY INVESTIGATIONS OF HETEROGENEOUS TERMINAL SYSTEMS

    E-Print Network [OSTI]

    Sztrik, János

    TERMINAL SYSTEMS USING MOSEL* B. Alm´asi and J. Sztrik (Debrecen, Hungary) UDC 519.2 1. Introduction-schedule). Consequently, the overall utilization of the system, the sum of CPU and terminal utilizations, sometimes called of the faster-thinking terminals irrespectively of the expected job sizes. However, in practice, we can see

  10. Andreev-level spectroscopy and Josephson-current switching in a three-terminal Josephson junction

    E-Print Network [OSTI]

    Demir, Hilmi Volkan

    Andreev-level spectroscopy and Josephson-current switching in a three-terminal Josephson junction H. The voltage V applied to the normal-metal terminal controls the occupation of Andreev energy levels En the Andreev level. The differential conductance along the normal-metal terminal permits spectroscopy

  11. Dynamical Handling of Straddle Carriers Activities on a Container Terminal in Uncertain Environment

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    1 Dynamical Handling of Straddle Carriers Activities on a Container Terminal in Uncertain precisely straddle carriers in a container terminal. The information given by such a tool makes an optimization possible. In fact, a box terminal is an open system subject to dynamics, in which many events can

  12. Evidence for the Existence of a Late-Metal Terminal Sulfido Complex

    E-Print Network [OSTI]

    Jones, William D.

    Evidence for the Existence of a Late-Metal Terminal Sulfido Complex David A. Vicic and William D be found throughout the literature, there exists no sound evidence for a terminal sulfido complex such as C the intermediacy of a terminal sulfido complex has been postulated,7 and there has been no experimental evidence

  13. Homeostasis of Synaptic Transmission in Drosophila with Genetically Altered Nerve Terminal Morphology

    E-Print Network [OSTI]

    Stewart, Bryan

    Homeostasis of Synaptic Transmission in Drosophila with Genetically Altered Nerve Terminal a new test of the hypothesis that synaptic strength is directly related to nerve terminal morphology reduced number of nerve terminal var- icosities. Synaptic transmission would decrease in target cells

  14. "Busy Terminal Problem" and Implications for MAC Protocols in Underwater Acoustic Networks

    E-Print Network [OSTI]

    Zhou, Shengli

    "Busy Terminal Problem" and Implications for MAC Protocols in Underwater Acoustic Networks Yibo Zhu that the exposed terminal problem can be easily handled and system performance is improved. However, in practical, the modem cannot transmit packets when it is busy. This problem is referred to as the "busy terminal problem

  15. Two NP-hard Interchangeable Terminal Problems* Sartaj Sahni and San-Yuan Wu

    E-Print Network [OSTI]

    Sahni, Sartaj K.

    Two NP-hard Interchangeable Terminal Problems* Sartaj Sahni and San-Yuan Wu University of Minnesota ABSTRACT Two subproblems that arise when routing channels with interchangeable terminals are shown to be NP-hard. These problems are: P1: Is there a net to terminal assignment that results in an acyclic vertical constraint

  16. On the existence of Markovian superquadratic BSDEs with an unbounded terminal condition

    E-Print Network [OSTI]

    On the existence of Markovian superquadratic BSDEs with an unbounded terminal condition Federica and the uniqueness of solutions to Markovian superquadratic BSDEs with an unbounded terminal condition when the generator and the terminal condition are locally Lipschitz. In this paper, we prove that the existence

  17. Adaptive algorithm for mobile terminal power on/off state management Y.W. Chunga

    E-Print Network [OSTI]

    Sung, Dan Keun

    Research Adaptive algorithm for mobile terminal power on/off state management Y.W. Chunga , M mobile terminal (MT) power on/off state management schemes are introduced based on the level of location; Mobility management; MT power on/off state management 1. Introduction Mobile terminals (MTs) in real

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

    E-Print Network [OSTI]

    Ohsaki, Hitoshi

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

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

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

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

  3. On Strong Normalization of the Calculus of Constructions with Type-Based Termination

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    On Strong Normalization of the Calculus of Constructions with Type-Based Termination Benjamin Gr.Gregoire,Jorge-Luis.Sacchini}@inria.fr Abstract. Termination of recursive functions is an important property in proof assistants based on dependent type theories; it implies con- sistency and decidability of type checking. Type-based termination

  4. 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-state solution, and the determination of that right time for terminating the algorithm becomes a key issue

  5. mu-term: A Tool for Proving Termination of Context-Sensitive Rewriting

    E-Print Network [OSTI]

    Lucas, Salvador

    mu-term: A Tool for Proving Termination of Context-Sensitive Rewriting Salvador Lucas DSIC@dsic.upv.es Abstract. Restrictions of rewriting can eventually achieve termination by pruning all infinite rewrite. This paper describes mu-term, a tool which can be used to automatically prove termination of CSR. The tool

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

  7. MSU is an Affirmative Action/Equal Opportunity Employer Affidavit of Termination of

    E-Print Network [OSTI]

    MSU is an Affirmative Action/Equal Opportunity Employer Affidavit of Termination of Other Eligible Individual Partnership This termination form is to be used when an MSU employee's Other Eligible Individual that the "Other Eligible Individual Form" shall be invalid as of this date. Termination of the Other Eligible

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

  9. Cool heliosheath plasma and deceleration of the upstream solar wind at the termination shock

    E-Print Network [OSTI]

    Richardson, John

    LETTERS Cool heliosheath plasma and deceleration of the upstream solar wind at the termination. The termination shock occurs where the solar wind changes from being supersonic (with respect to the surrounding of the termination shock between 30 August and 1 September 2007 (refs 47). Since then, Voyager 2 has remained

  10. Termination and hydration of forsteritic olivine (010) surface Hongping Yan a,,1

    E-Print Network [OSTI]

    Shen, Guoyin

    Termination and hydration of forsteritic olivine (010) surface Hongping Yan a,,1 , Changyong Park a; accepted in revised form 1 September 2014; Available online 16 September 2014 Abstract Termination termination and hydration. The basic silica paste polished surface turned out too rough to measure with X

  11. The vertical voltage termination technique characterizations of single die multiple 600V power

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    The vertical voltage termination technique characterizations of single die multiple 600V power.grenoble-inp.fr Abstract-- Deep trench terminations are commonly known as a technique to achieve ideal breakdown voltages for high voltage devices. This paper presents the use of deep trench terminations as an original concept

  12. Automated verification of termination certificates Frederic Blanqui and Kim Quyen Ly

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    Automated verification of termination certificates Frederic Blanqui and Kim Quyen Ly INRIA in developing a standalone tool for checking the correctness of certificates for the termination of term rewrite the extraction mechanism of Coq and the library on rewriting theory and termination called CoLoR. I. INTRODUCTION

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

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

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

    E-Print Network [OSTI]

    Pilyugin, Sergei S.

    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

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

  17. Termination of rewriting strategies: a generic approach Isabelle Gnaedig, Hel`ene Kirchner

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    Termination of rewriting strategies: a generic approach Isabelle Gnaedig, Hel`ene Kirchner LORIA@loria.fr,Helene.Kirchner@loria.fr Abstract. We propose a generic termination proof method for rewriting under strategies, based on an explicit induction on the termination property. Rewriting trees on ground terms are modelized by proof

  18. Online User Account Termination and 47 U.S.C. 230(c)(2)

    E-Print Network [OSTI]

    Barrett, Jeffrey A.

    659 Online User Account Termination and 47 U.S.C. 230(c)(2) By Eric Goldman* Introduction)......................................................................................660 Section 230(c)(2) and Account Termination ..............................................................663 Section 230(c)(2)'s Prima Facie Application to Account Terminations ...663 The Role of 230(c)(1

  19. Automated Detection of Non-Termination and NullPointerExceptions for Java Bytecode

    E-Print Network [OSTI]

    Ábrahám, Erika

    Automated Detection of Non-Termination and NullPointerExceptions for Java Bytecode Marc (JBC), which is based on constructing and analyzing termination graphs. These graphs represent all to detect non-termination or NullPointerExceptions. Our approach automatically generates witnesses, i

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

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

    E-Print Network [OSTI]

    Escobar, Santiago

    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

  2. 04/2013 J-1 Suspension and Termination of Faculty Members

    E-Print Network [OSTI]

    Heller, Barbara

    04/2013 J-1 Appendix J Suspension and Termination of Faculty Members I. Introduction From time to time, a faculty member may be accused of conduct that may warrant suspension or termination term of appointment has engaged in conduct that may warrant suspension or termination, the appropriate

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

  4. California Institute of Technology Request for Employee Clearance Prior to Termination Date

    E-Print Network [OSTI]

    Faraon, Andrei

    California Institute of Technology Date: Request for Employee Clearance Prior to Termination Date/Supervisor Name: Phone Number: Termination Date: International Scholar Services Library Lock and Key Shop P by employee. The following departments will be notified by Human Resources after the termination date: Campus

  5. mu-term: A Tool for Proving Termination of Context-Sensitive Rewriting ?

    E-Print Network [OSTI]

    Lucas, Salvador

    mu-term: A Tool for Proving Termination of Context-Sensitive Rewriting ? Salvador Lucas DSIC@dsic.upv.es Abstract. Restrictions of rewriting can eventually achieve termination by pruning all in#12;nite rewrite. This paper describes mu-term, a tool which can be used to automatically prove termination of CSR. The tool

  6. Nonlinear Control Design and Analysis of a Multi-Terminal VSC-HVDC System

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Nonlinear Control Design and Analysis of a Multi-Terminal VSC-HVDC System Yijing Chen1, Jing Dai1-terminal voltage- source converter based high-voltage direct current (multi- terminal VSC-HVDC) system-Source Converter based High-Voltage Direct Current (VSC-HVDC) multipoint networks could be a good solution

  7. Budapest University of Technology and Economics Mitigating the attacks of malicious terminals

    E-Print Network [OSTI]

    Bencsth, Boldizsr

    Budapest University of Technology and Economics Mitigating the attacks of malicious terminals Ph directly. Communication is only possible with the aid of a terminal, which leads to several security problems. For example, if the terminal is untrusted (which is a very typical scenario), it may perform

  8. Information-Theoretic Key Agreement of Multiple Terminals -Part I: Source Model

    E-Print Network [OSTI]

    Anantharam, Venkat

    1 Information-Theoretic Key Agreement of Multiple Terminals - Part I: Source Model Amin Aminzadeh the widely studied source model. In the source model the terminals wishing to generate a secret key, as well of jointly distributed random variables, after which the terminals are allowed interactive authenticated

  9. Optimum and equilibrium in assignment problems with congestion: mobile terminals association to base stations

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    1 Optimum and equilibrium in assignment problems with congestion: mobile terminals association setting, this problem corresponds to the determination of the locations at which mobile terminals prefer power needed by the mobile terminals over the whole network (global optimum), and a user optimization

  10. Scheduling incoming and outgoing trucks at cross docking terminals to minimize the storage cost

    E-Print Network [OSTI]

    Sadykov, Ruslan

    Scheduling incoming and outgoing trucks at cross docking terminals to minimize the storage cost Ruslan Sadykov June 14, 2012 Abstract Cross docking terminals allow companies to reduce storage and trans- portation costs in a supply chain. At these terminals, products of different types from incoming trucks

  11. Information-Theoretic Key Agreement of Multiple Terminals -Part II: Channel Model

    E-Print Network [OSTI]

    Anantharam, Venkat

    1 Information-Theoretic Key Agreement of Multiple Terminals - Part II: Channel Model Amin Aminzadeh the channel model. In the channel model, a set of two or more terminals wish to create a shared secret key that is information-theoretically secure from an eavesdropper. The first terminal can choose a sequence of inputs

  12. Intrinsic Terminator Prediction and Its Application in Synechococcus sp. WH8102

    E-Print Network [OSTI]

    Intrinsic Terminator Prediction and Its Application in Synechococcus sp. WH8102 Xiu-Feng Wan, Columbia, MO 65211 Emails: wanx@missouri.edu; xudong@missouri.edu. Running title: Intrinsic terminator prediction Keywords: rho-independent terminator, RNA local secondary structure, Synechococcus, Rnall

  13. Energy-aware Web Caching for Mobile Terminals Francoise Sailhan, Valerie Issarny

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

    Energy-aware Web Caching for Mobile Terminals Francoise Sailhan, Valerie Issarny Inria.Sailhan,Valerie.Issarny@inria.fr Abstract Terminal's latency, connectivity, energy and memory are the main characteristics of today's mobile of mobile terminals. Our main design objective is to minimize the energy cost of peer-to- peer communication

  14. Circulating proteolytic signatures of chemotherapy-induced cell death in humans discovered by N-terminal labeling

    E-Print Network [OSTI]

    Wiita, AP; Hsu, GW; Lu, CM; Esensten, JH; Wells, JA

    2014-01-01T23:59:59.000Z

    JA (2010) Sampling the N-terminal proteome of human blood.B, Sherman F (2003) N-terminal acetyltransferases andrequire- ments for N-terminal acetylation of eukaryotic

  15. Structure/function analysis of Ubiquitin C-terminal hydrolase-L1 (UCH-L1)

    E-Print Network [OSTI]

    Salehi, Afshin

    2009-01-01T23:59:59.000Z

    and I.A. Rose, Ubiquitin carboxyl-terminal hydrolase actson ubiquitin carboxyl-terminal amides. J Biol Chem, 1985.encoding ubiquitin carboxy-terminal hydrolase in gad mice.

  16. Functional role of p53 N-terminal phosphorylation in regulating the p53 response to DNA damage

    E-Print Network [OSTI]

    Chao, Connie

    2006-01-01T23:59:59.000Z

    and JNK3 are p53 n- terminal serine 34 kinases. Oncogene 15,and Vousden, K. H. (2001). C-Terminal Ubiquitination of p53Lysine Mutations in the C-Terminal Domain of p53 Interfere

  17. The BARD1 C-Terminal Domain Structure and Interactions with Polyadenylation Factor CstF-50

    E-Print Network [OSTI]

    Edwards, Ross A.

    2010-01-01T23:59:59.000Z

    specificities of BRCA1 COOH-terminal (BRCT) domains. J.D. L. (1997) The C-terminal domain of RNA polymerase IIand Baer, R. ( 1998) The C-terminal (BRCT) domains of BRCA1

  18. Role of C-Terminal Tails of G Protein Coupled Receptors on Beta-Arrestin 1/2 Dependent Signaling

    E-Print Network [OSTI]

    Pal, Kasturi

    2013-01-01T23:59:59.000Z

    Activated Receptor 2(PAR2) C-terminal tail direct ?-arrestinand threonine residues of PAR2 C-terminal tail in ? arrestinNK1R are directed by the C-terminal tails ABSTRACT Protease

  19. Characterization of early and terminal complement proteins associated with polymorphonuclear leukocytes in vitro and in vivo after spinal cord injury

    E-Print Network [OSTI]

    Nguyen, Hal X; Galvan, Manuel D; Anderson, Aileen J

    2008-01-01T23:59:59.000Z

    a lack of mRNAs encoding for terminal complement proteins inlack mRNA expression for terminal com- plement proteins,lack of conclusive evidence showing active expression/generation of terminal complement mRNAs and proteins

  20. Last Updated: August 7, 2013 Page 1 of 5 CUNY HRPP Policy: Suspension or Termination of Human Subject Research

    E-Print Network [OSTI]

    Rosen, Jay

    Last Updated: August 7, 2013 Page 1 of 5 CUNY HRPP Policy: Suspension or Termination for Research may suspend or terminate a research study for reasons including that of the study, such as suspending subject recruitment. b) Termination: Permanent withdrawal

  1. Asymmetric Reproductive Isolation Between Terminal Forms of the Salamander Ring Species Ensatina eschscholtzii Revealed by Fine-scale Genetic Analysis of a Hybrid Zone

    E-Print Network [OSTI]

    Devitt, Thomas J; Baird, Stuart JE; Moritz, Craig

    2011-01-01T23:59:59.000Z

    isolation between terminal forms of the salamander ringisolation between terminal forms of the salamander ringisolation between terminal forms of the salamander ring

  2. Genome-wide mapping of Sox6 binding sites in skeletal muscle reveals both direct and indirect regulation of muscle terminal differentiation by Sox6

    E-Print Network [OSTI]

    An, Chung-Il; Dong, Yao; Hagiwara, Nobuko

    2011-01-01T23:59:59.000Z

    regulation of muscle terminal differentiation by Sox6. BMCregulates skeletal muscle terminal differentiation. PLoS Oneregulation of muscle terminal differentiation by Sox6 Chung-

  3. RADCAL Operations Manual Radiation Calibration Laboratory Protocol

    SciTech Connect (OSTI)

    Bogard, J.S.

    1998-12-01T23:59:59.000Z

    The Life Sciences Division (LSD) of Oak Ridge National Laboratory (ORNL) has a long record of radiation dosimetry research, primarily using the Health Physics Research Reactor (HPRR) and the Radiation Calibration Laboratory (RADCAL) in its Dosimetry Applications Research (DOSAR) Program. These facilities have been used by a broad segment of the research community to perform a variety of experiments in areas including, but not limited to, radiobiology, radiation dosimeter and instrumentation development and calibration, and the testing of materials in a variety of radiation environments. Operations of the HPRR were terminated in 1987 and the reactor was moved to storage at the Oak Ridge Y-12 Plant; however, RADCAL will continue to be operated in accordance with the guidelines of the National Institute of Standards and Technology (NIST) Secondary Calibration Laboratory program and will meet all requirements for testing dosimeters under the National Voluntary Laboratory Accreditation Program (NVLAP). This manual is to serve as the primary instruction and operation manual for the Oak Ridge National Laboratory's RADCAL facility. Its purpose is to (1) provide operating protocols for the RADCAL facility, (2) outline the organizational structure, (3) define the Quality Assurance Action Plan, and (4) describe all the procedures, operations, and responsibilities for the safe and proper operation of all routine aspects of the calibration facility.

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

    E-Print Network [OSTI]

    Habib, Ayman

    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

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

    SciTech Connect (OSTI)

    None

    2012-04-30T23:59:59.000Z

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

  6. Incomplete current fluctuation theorems for a four-terminal model

    E-Print Network [OSTI]

    Thilo Krause; Gernot Schaller; Tobias Brandes

    2011-10-21T23:59:59.000Z

    We demonstrate the validity of the current fluctuation theorem for a double quantum dot surrounded by four terminals within the Born-, Markov- and secular approximations beyond the Coulomb-blockade regime. The electronic tunneling to two fermionic contacts conserves the total number of electrons, and the internal tunneling is phonon-assisted by two bosonic baths. Adapted choice of thermodynamic parameters between the baths may drive a current against an existing electric or thermal gradient. We study the apparent violation of the fluctuation theorem when only some of the energy and matter currents are monitored.

  7. Co-terminal: BS Civil Engineering + MAS Programs The BSCE+MAS co-terminal degree programs are designed for students to earn the Bachelor of Science in Civil Engineering

    E-Print Network [OSTI]

    Heller, Barbara

    Co-terminal: BS Civil Engineering + MAS Programs The BSCE+MAS co-terminal degree programs co-terminal degree programs in the CAEE Department. You may also contact the faculty advisor about each of these programs identified below. Co-terminal: BS Civil Engineering +MAS Construction

  8. 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-11T23:59:59.000Z

    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.

  9. Operations and compositions in transrecursive operators

    SciTech Connect (OSTI)

    Burgin, M.S.; Borodyanskii, Yu.M.

    1995-03-01T23:59:59.000Z

    The present study is a continuation of a study focusing on introduction and analysis of operations on transrecursive operators, which are similar to the operators considered in the theory of algorithms. Such operations may be standard product of algorithms) or special ({alpha}-disjunction and {alpha}-iteration. In some respects, these operations in the class of transrecursive operators are similar to their traditional analogs. In other respects, however, they are essentially different. For instance, they may have different types and modes. Specific features of operations on transrecursive operators are attributable to explicit omission of some restrictions on their construction compared with the construction of algorithms. The standard approaches to mathematical modeling of the concept of algorithm assume a number of essential restrictions. Specifically, they assume finiteness of (1) the input data arriving during a finite time interval; (2) the list of rules underlying the operations of the algorithm; (3) the transformations executed by a single operation; (4) the description of each rule; (5) the time to execute one operation; (6) the time to execute one operation; (7) the number of cycles that the algorithm executes in order to realize the mapping. In application to Turing machines, these restrictions imply finiteness of the initial word, finiteness of the command table of the read head, and ultimate stopping when the result is obtained after finitely many steps. Various classes of transrecursive operators are constructed by dropping various combinations of the {open_quotes}finiteness{close_quotes} restrictions. Two classes of transrecursive operators - the limit (inductive) Turing machines and transalgorithms - have been obtained by dropping respectively the assumption of finiteness of the number of execution cycles and the assumption of finiteness of the list of rules.

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

  11. Proving Termination Properties with mu-term Beatriz Alarcon, Raul Gutierrez, Salvador Lucas, and Rafael Navarro-Marset

    E-Print Network [OSTI]

    Lucas, Salvador

    Proving Termination Properties with mu-term Beatriz Alarc´on, Ra´ul Guti´errez, Salvador Lucas Valencia, Spain Abstract. mu-term is a tool which can be used to verify a number of termination properties of (variants of) Term Rewriting Systems (TRSs): termination of rewriting, termination of innermost rewriting

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

  13. The Hidden Cost of Hidden Terminals Feilu Liu, Jian Lin, Zhifeng Tao, Thanasis Korakis, Elza Erkip and Shivendra Panwar

    E-Print Network [OSTI]

    Panwar, Shivendra S.

    The Hidden Cost of Hidden Terminals Feilu Liu, Jian Lin, Zhifeng Tao, Thanasis Korakis, Elza Erkip that this is not necessarily true and terminals can be hidden from each other. In this paper, the impact of hidden terminals measure- ments in a real network. In the presence of hidden terminals, it is observed that the widely

  14. Operating Permits (New Jersey)

    Broader source: Energy.gov [DOE]

    The owner or operator of a facility subject to this article shall obtain and maintain an operating permit for the facility. The owner or operator of a facility subject to this article shall ensure...

  15. Cogeneration Operational Issues

    E-Print Network [OSTI]

    Williams, M.

    operations. Other operational issues also include utility transmission planning, generation planning and fuel mix decisions. All of these operational problems have an impact on the ratepayer in regard to quality of electric service and future rates. Both...

  16. Heat Transfer Operators Associated with Quantum Operations

    E-Print Network [OSTI]

    . Aksak; S. Turgut

    2011-04-14T23:59:59.000Z

    Any quantum operation applied on a physical system is performed as a unitary transformation on a larger extended system. If the extension used is a heat bath in thermal equilibrium, the concomitant change in the state of the bath necessarily implies a heat exchange with it. The dependence of the average heat transferred to the bath on the initial state of the system can then be found from the expectation value of a hermitian operator, which is named as the heat transfer operator (HTO). The purpose of this article is the investigation of the relation between the HTOs and the associated quantum operations. Since, any given quantum operation on a system can be realized by different baths and unitaries, many different HTOs are possible for each quantum operation. On the other hand, there are also strong restrictions on the HTOs which arise from the unitarity of the transformations. The most important of these is the Landauer erasure principle. This article is concerned with the question of finding a complete set of restrictions on the HTOs that are associated with a given quantum operation. An answer to this question has been found only for a subset of quantum operations. For erasure operations, these characterizations are equivalent to the generalized Landauer erasure principle. For the case of generic quantum operations however, it appears that the HTOs obey further restrictions which cannot be obtained from the entropic restrictions of the generalized Landauer erasure principle.

  17. Building Operator Certification

    E-Print Network [OSTI]

    Lilley, D.

    2013-01-01T23:59:59.000Z

    Building Operator Certification Energy Efficiency through Operator Training CATEE December 18, 2013 San Antonio, TX Dennis Lilley, CEM, PMP ESL-KT-13-12-49 CATEE 2013: Clean Air Through Energy Efficiency Conference, San Antonio, Texas Dec. 16...-18 Building Operator Certification Energy Efficiency through Operator Training What is Building Operator Certification? Industry-recognized credential in energy efficient building operation practices Created with 100 industry experts Launched in 1996 9...

  18. Operation and Maintenance

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

    Operations and Maintenance Operations OASIS: WALC-DSW (Note: this site is not hosted by Western and requires a digital certificate and login for full access.) Contact Information...

  19. Operations Information for Studies

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

    Operations Information for Studies This page contains historical information about hydropower operations. Reclamation UC Region 24-Month Studies FY2009 Load Information (pdf) SLIP...

  20. Operations Cost Allocation Project

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

    Operations Consolidation Project Operations Consolidation Project (OCP) Cost Allocation Presentation - September 20, 2011 OCP Cost Allocation Customer Presentation List of Acronyms...

  1. Operations Research Analyst

    Broader source: Energy.gov [DOE]

    The incumbent in this position will serve as an Operations Research Analyst in the Generation Scheduling (PGS). The Operations Research Analyst is responsible for analytical work that involves...

  2. Hyperreal Waves on Transfinte, Terminated, Distortionless and Lossless, Transmission Lines

    E-Print Network [OSTI]

    A. H. Zemanian

    2004-06-10T23:59:59.000Z

    A prior work (see Chapter 8 of the book, ``Graphs and Networks: Transfinite and Nonstandard,'' Birkhauser-Boston, Cambridge, Mass., USA, 2004) examined the propagation of an electromagnetic wave on a transfinite transmission line, transfinite in the sense that infinitely many one-way infinite transmission lines are connected in cascade. That there are infinitely many such one-way infinite lines results in the wave propagating without ever reflecting at some discontinuity. The present work examines the cascade where the cascade terminates after only finitely many one-way infinite transmission lines, with the result that reflected waves are now produced at both the far end as well as at the initial end of the transfinite transmission line. The question of whether the reflected waves are infini tesimal or appreciable and whether they sum to an infinitesimal or appreciable amount are resolved for both distortionless and lossless lines. Finally, the generalizations to higher ranks of transfiniteness is briefly summarized.

  3. 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-23T23:59:59.000Z

    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.

  4. Thermopower of three-terminal topological superconducting systems

    E-Print Network [OSTI]

    Stefano Valentini; Rosario Fazio; Vittorio Giovannetti; Fabio Taddei

    2015-01-26T23:59:59.000Z

    We study the thermopower of a three-terminal setup composed of a quantum dot attached to three electrodes, one of which is a topological superconductor. In the model, superconductivity is explicitly taken into account. We compare the results for s-wave (trivial) and p-wave (topological) superconductors and observe that for small temperatures the thermopower has different sign in the two cases. This behavior is strongly dependent on temperature and we estimate an energy scale that controls the sign in the p-wave case, which results proportional to the square root of the gap and the coupling to superconductor. The analytical results obtained with a simple 1D model are confirmed by a more realistic tight-binding model.

  5. Comparative Study of the Adhesion, Friction, and Mechanical Properties of CF3-and CH3-Terminated

    E-Print Network [OSTI]

    Vanderlick, T. Kyle

    ,4 Ofparticularinterestastribologicalfilms have been SAMs terminated by fluorocarbon groups because of their inert nature and enhanced thermal stability. Surprisingly, however, fluorocarbon films were shown to actually produce higher

  6. Optimization Online - Global and finite termination of a two-phase ...

    E-Print Network [OSTI]

    Michael P. Friedlander

    2006-09-17T23:59:59.000Z

    Sep 17, 2006 ... Global and finite termination of a two-phase augmented Lagrangian filter method for general quadratic programs. Michael P. Friedlander (mpf...

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

    E-Print Network [OSTI]

    Trujillo, Gloriana Victoria

    2010-01-01T23:59:59.000Z

    show defects in ALM and PLM mechanosensory axon termination,by overextension of ALM and ventral hooking of PLM, andabsence of PLM synaptic branch (Schaefer et al. , 2000).

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

    savings because the static pressure of the supply fan can be set lower than with parallel terminal unit systems. Elleson (1993) conducted a field study of cold air distri- bution systems with series and parallel fan powered terminal units in two separate... consumption, combin- ing the power of the supply fan and terminal units fans, was greater for series terminal unit systems. The simulations included a reduced supply static pressure for series units of 0.25 in. w.g. (62 Pa) less than the parallel units...

  9. Astroparticle yield and transport from extragalactic jet terminal shocks

    E-Print Network [OSTI]

    Fabien Casse; Alexandre Marcowith

    2004-11-15T23:59:59.000Z

    The present paper deals with the yield and transport of high-energy particle within extragalactic jet terminal shocks, also known as hotspots. We investigate in some details the cosmic ray, neutrinos and high-energy photons yield in hotspots of powerful FRII radio-galaxies by scanning all known spatial transport regimes, adiabatic and radiative losses as well as Fermi acceleration process. Since both electrons and cosmic rays are prone to the same type of acceleration, we derive analytical estimates of the maximal cosmic ray energy attainable in both toroidal and poloidal magnetic field dominated shock structures by using observational data on synchrotron emission coming from various hot-spots. One of our main conclusions is that the best hot-spot candidates for high energy astroparticle production is the extended ($L_{HS}\\geq 1kpc$), strongly magnetized ($B> 0.1mG$) terminal shock displaying synchrotron emission cut-off lying at least in the optical band. We found only one object (3C273A) over the six objects in our sample being capable to produce cosmic rays up to $10^{20}$ eV. Secondly, we investigate the astroparticle spectra produced by two characteric hot-spots (Cygnus A and 3C273 A) by applying a multi-scale MHD-kinetic scheme, coupling MHD simulations to kinetic computations using stochastic differential equations. We show that 3C273 A, matching the previous properties, may produce protons up to $10^{20}$ eV in a Kolmogorov type turbulence by both computing electron and cosmic ray acceleration. We also calculate the high-energy neutrino and gamma-ray fluxes on Earth produced through p-$\\gamma$ and p-p processes and compare them to the most sensitive astroparticle experiments.

  10. NUCLEAR PLANT OPERATIONS AND

    E-Print Network [OSTI]

    Pzsit, Imre

    NUCLEAR PLANT OPERATIONS AND CONTROL KEYWORDS: neutron flux, cur- rent noise, vibration diagnostics: Swedish Nuclear Powe

  11. OPERATIONS MANAGEMENT Spring 2008

    E-Print Network [OSTI]

    Almor, Amit

    the operations and supply chain strategy. This survey course in operations management introduces students1 MGSC 395 OPERATIONS MANAGEMENT Spring 2008 Course Syllabus Instructor: Professor Anand Nair Class MATERIALS Required Text Books Textbook: Krajewski, Lee, Ritzman, Larry, and Malhotra, Manoj. Operations

  12. Cryogenic pellet production developments for long-pulse plasma operation

    SciTech Connect (OSTI)

    Meitner, S. J.; Baylor, L. R.; Combs, S. K.; Fehling, D. T.; McGill, J. M.; Duckworth, R. C.; McGinnis, W. D.; Rasmussen, D. A. [Oak Ridge National Laboratory, 1Bethel Valley Rd Oak Ridge, TN 37831 (United States)

    2014-01-29T23:59:59.000Z

    Long pulse plasma operation on large magnetic fusion devices require multiple forms of cryogenically formed pellets for plasma fueling, on-demand edge localized mode (ELM) triggering, radiative cooling of the divertor, and impurity transport studies. The solid deuterium fueling and ELM triggering pellets can be formed by extrusions created by helium cooled, twin-screw extruder based injection system that freezes deuterium in the screw section. A solenoid actuated cutter mechanism is activated to cut the pellets from the extrusion, inserting them into the barrel, and then fired by the pneumatic valve pulse of high pressure gas. Fuel pellets are injected at a rate up to 10 Hz, and ELM triggering pellets are injected at rates up to 20 Hz. The radiative cooling and impurity transport study pellets are produced by introducing impurity gas into a helium cooled section of a pipe gun where it deposits in-situ. A pneumatic valve is opened and propellant gas is released downstream where it encounters a passive punch which initially accelerates the pellet before the gas flow around the finishes the pellet acceleration. This paper discusses the various cryogenic pellet production techniques based on the twin-screw extruder, pipe gun, and pellet punch designs.

  13. Operator pencil passing through a given operator

    SciTech Connect (OSTI)

    Biggs, A., E-mail: khudian@manchester.ac.uk, E-mail: adam.biggs@student.manchester.ac.uk; Khudaverdian, H. M., E-mail: khudian@manchester.ac.uk, E-mail: adam.biggs@student.manchester.ac.uk [School of Mathematics, University of Manchester, Oxford Road, Manchester M13 9PL (United Kingdom)

    2013-12-15T23:59:59.000Z

    Let ? be a linear differential operator acting on the space of densities of a given weight ?{sub 0} on a manifold M. One can consider a pencil of operators ?-circumflex(?)=(?{sub ?}) passing through the operator ? such that any ?{sub ?} is a linear differential operator acting on densities of weight ?. This pencil can be identified with a linear differential operator ?-circumflex acting on the algebra of densities of all weights. The existence of an invariant scalar product in the algebra of densities implies a natural decomposition of operators, i.e., pencils of self-adjoint and anti-self-adjoint operators. We study lifting maps that are on one hand equivariant with respect to divergenceless vector fields, and, on the other hand, with values in self-adjoint or anti-self-adjoint operators. In particular, we analyze the relation between these two concepts, and apply it to the study of diff?(M)-equivariant liftings. Finally, we briefly consider the case of liftings equivariant with respect to the algebra of projective transformations and describe all regular self-adjoint and anti-self-adjoint liftings. Our constructions can be considered as a generalisation of equivariant quantisation.

  14. Estimating Traveler Populations at Airport and Cruise Terminals for Population Distribution and Dynamics

    SciTech Connect (OSTI)

    Jochem, Warren C [ORNL; Sims, Kelly M [ORNL; Bright, Eddie A [ORNL; Urban, Marie L [ORNL; Rose, Amy N [ORNL; Coleman, Phil R [ORNL; Bhaduri, Budhendra L [ORNL

    2013-01-01T23:59:59.000Z

    In recent years, uses of high-resolution population distribution databases are increasing steadily for environmental, socioeconomic, public health, and disaster-related research and operations. With the development of daytime population distribution, temporal resolution of such databases has been improved. However, the lack of incorporation of transitional population, namely business and leisure travelers, leaves a significant population unaccounted for within the critical infrastructure networks, such as at transportation hubs. This paper presents two general methodologies for estimating passenger populations in airport and cruise port terminals at a high temporal resolution which can be incorporated into existing population distribution models. The methodologies are geographically scalable and are based on, and demonstrate how, two different transportation hubs with disparate temporal population dynamics can be modeled utilizing publicly available databases including novel data sources of flight activity from the Internet which are updated in near-real time. The airport population estimation model shows great potential for rapid implementation for a large collection of airports on a national scale, and the results suggest reasonable accuracy in the estimated passenger traffic. By incorporating population dynamics at high temporal resolutions into population distribution models, we hope to improve the estimates of populations exposed to or at risk to disasters, thereby improving emergency planning and response, and leading to more informed policy decisions.

  15. LNG scene; Qatar's export plans intensify; sale of Columbia's U. S. terminal in doubt

    SciTech Connect (OSTI)

    Not Available

    1992-07-20T23:59:59.000Z

    This paper reports that Activity continues to percolate in Qatar's massive liquefied natural gas export program. In the latest development, France's Ste. Nationale Elf Aquitaine and Japan's Sumitomo Corp. agreed to promote development of Qatar's LNG export project based on supergiant North Offshore gas field and step up discussions with potential buyers in coming months. Target markets lie in Japan and the Far East. Among other LNG operations, Columbia Gas System Inc. last week the it was told by Shell LNG Co. it is unlikely that presale conditions will be met prior to Shell LNG's scheduled purchase July 29 of 40.8% of the stock in Columbia LNG. Columbia LNG owns and LNG receiving terminal at Cove Point, Md., with a design sendout capacity of 1 bcfd of regasified LNG. That makes it the biggest in type U.S. Columbia the it had not received work on what action Shell LNG will take on the purchase agreement. However, failure to meet the undisclosed conditions will allow Shell LNG to end the agreement.

  16. Operator`s guide for VAXGAP, a gamma-ray spectrum analysis package

    SciTech Connect (OSTI)

    Killian, E.W.; Femec, D.A.

    1992-08-01T23:59:59.000Z

    This report describes the gamma-ray analysis program VAXGAP, which has continually evolved at the Idaho National Engineering Laboratory over a period of several years. It is an integrated suite of computer programs for performing analyses of pulse-height spectra from high-resolution gamma-ray spectrometers and assorted support functions. VAXGAP programs operate on Digital Equipment Corporation (DEC) VAX computers running the VMS operating system, and were written in VAX FORTRAN and DEC Digital Command Language (DCL). These programs make use of DEC GKS and ReGIS for graphical output on standard terminals and printers, and DEC windows for graphics on workstations and terminals that support the X Window System protocol. This report addresses the use of VAXGAP for data acquisition and control, energy scale calibration, and real-time analyses of background and sample pulse-height spectra. Also addressed are the creation and use efficiency tables and isotope libraries, manipulation of spectrum files and their contents, and graphical display of on-going acquisitions, saved spectra, and mathematical fits to spectral peaks.

  17. Operational Monitoring of Weather Radar Receiving Chain Using the Sun IWAN HOLLEMAN

    E-Print Network [OSTI]

    Stoffelen, Ad

    Operational Monitoring of Weather Radar Receiving Chain Using the Sun IWAN HOLLEMAN Royal, is presented. The ``online'' method is entirely based on the analysis of sun signals in the polar volume data- termining the weather radar antenna pointing at low elevations using sun signals, and it is suited

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

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

    E-Print Network [OSTI]

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

    2006-01-01T23:59:59.000Z

    in this building. Of these boxes, 39 boxes without a reheat coil serve interior zones and 67 reheat boxes serve exterior zones. The boxes are controlled by a pneumatic controller. 4.1 Conventional terminal box control sequence Before improving the terminal...

  20. Changes in the Dynamics of Marine-Terminating Outlet Glaciers in West Greenland (2000-2009)

    E-Print Network [OSTI]

    Howat, Ian M.

    Changes in the Dynamics of Marine-Terminating Outlet Glaciers in West Greenland (2000-2009) 1 2 3 of Greenland's marine-terminating outlet glaciers indicate a rapid and complex response to external forcing Greenland's northwestern margin, it is unclear whether west Greenland glaciers have undergone