Sample records for terminal operator location

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

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

  3. A Multi-Model Filter for Mobile Terminal Location M. McGuire , K.N. Plataniotis

    E-Print Network [OSTI]

    Plataniotis, Konstantinos N.

    A Multi-Model Filter for Mobile Terminal Location Tracking M. McGuire , K.N. Plataniotis The Edward's College Road, Toronto, Ontario, M5S 3G4, email: mmcguire@dsp.toronto.edu Abstract-- Mobile terminal and resource allocation. This paper presents a method for reducing the error in mobile terminal location

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

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

  7. Multi-canister overpack closure operations location study

    SciTech Connect (OSTI)

    Goldmann, L.H.

    1996-04-15T23:59:59.000Z

    The Spent Nuclear Fuel Path Forward Project (SNF Project) has been established to develop engineered methods for the expedited removal of the irradiated uranium fuel from the K East (KE) and K West (KW) Basins. As specified by the SNF Project, the SNF will be removed from the K Basins, conditioned for dry storage and placed in a long term interim storage facility located in the 200 East Area. The SNF primarily consists of Zircaloy-2 clad uranium fuel discharged from the N-Reactor. A small portion of the SNF is Single Pass Reactor (SPR) Fuel, which is aluminum clad uranium fuel. The SNF will be loaded into Multi-Canister Overpacks (MCOs) at the K Basins, transferred to the Cold Vacuum Drying (CVD) facility for initial fuel conditioning, and transported to the Canister Storage Building (CSB) for staging, final fuel conditioning, and dry storage. The MCO is a transportation, conditioning, and storage vessel. The MCO consists of a 24 inch pipe with a welded bottom closure and a top closure that is field welded after the MCO is loaded with SNF. The MCO is handled and transported in the vertical orientation during all operations. Except for operations within the CSB, the MCO is always within the transportation cask which primarily provides radiological shielding and structural protection of the MCO. The MCO closure operations location study provides a relative evaluation of location options at the K Basins and the CVD Facility and recommends that the MCO closure weld be performed, inspected, and repaired at the CVD Facility.

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

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

  11. Computers & Operations Research 33 (2006) 286311 www.elsevier.com/locate/cor

    E-Print Network [OSTI]

    2006-01-01T23:59:59.000Z

    Computers & Operations Research 33 (2006) 286­311 www.elsevier.com/locate/cor A survey, Yorktown Heights, NY 10598, USA Available online 21 July 2004 Abstract In this survey, we summarize.06.005 #12;E. Altman et al. / Computers & Operations Research 33 (2006) 286­311 287 natural modeling

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

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

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

    E-Print Network [OSTI]

    Park, Minchul

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

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

  16. Applications of Automatic Vehicle Location systems towards improving service reliability and operations planning in London

    E-Print Network [OSTI]

    Ehrlich, Joseph Emanuel

    2010-01-01T23:59:59.000Z

    Technological advances in the transit industry, such as the introduction of Automatic Vehicle Location (AVL) systems, have provided agencies with robust data collection and measurement systems and enabled the development ...

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

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

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

  20. Finding of No Significant Impact and Final Environmental Assessment for the Future Location of Heat Source/Radioisotope Power System Assembly and Testing and Operations Currently Located at the Mound Site

    SciTech Connect (OSTI)

    N /A

    2002-08-30T23:59:59.000Z

    The U.S. Department of Energy (the Department) has completed an Environmental Assessment for the Future Location of the Heat Source/Radioisotope Power System Assembly and Test. Operations Currently Located at the Mound Site. Based on the analysis in the environmental assessment, the Department has determined that the proposed action, the relocation of the Department's heat source and radioisotope power system operations, does not constitute a major Federal action significantly affecting the quality of the human environment within the meaning of the ''National Environmental Policy Act'' of 1969 (NEPA). Therefore, the preparation of an Environmental Impact Statement is not required, and the Department is issuing this Finding of No Significant Impact (FONSI).

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

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

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

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

  5. Analysis of non-fatal and fatal injury rates for mine operator and contractor employees and the influence of work location

    SciTech Connect (OSTI)

    Karra, V.K. [NIOSH, Pittsburgh, PA (United States). Pittsburgh Research Laboratory

    2005-07-01T23:59:59.000Z

    Mining injury surveillance data are used as the basis for assessing the severity of injuries among operator and contractor employees in the underground and surface mining of various minerals. Injury rates during 1983-2002 derived from Mine Safety and Health Administration (MSHA) database are analyzed using the negative binomial regression model. The logarithmic mean injury rate is expressed as a linear function of seven indicator variables representing Non-Coal Contractor, Metal Operator, Non Metal Operator, Stone Operator, Sand and Gravel Operator, Coal Contractor, and Work Location, and a continuous variable, RelYear, representing the relative year starting, with 1983 as the base year. Based on the model, the mean injury rate declined at a 1.69% annual rate, and the mean injury rate for work on the Surface is 52.53% lower compared to the title for work in the underground. With reference to the Coal Operator mean injury rate: the Non-Coal Contractor rate is 30.34% lower, the Metal Operator rate is 27.18% lower, the Non-Metal Operator rate is 37.51% lower, the Stone Operator rate is 23.44% lower, the Sand and Gravel Operator rate is 16.45% lower, and the Coal Contractor rate is 1.41% lower. Fatality rates during the same 20 year period are analyzed similarly using Poisson regression model. Based on this model, the mean fatality rate declined at a 3.17% annual rate, and the rate for work on the surface is 64.3% lower compared to the rate for work in the underground. With reference to the Coal Operator mean fatality rate: the Non-Coal Coil tractor rate is 234.81% higher, the Metal Operator rate is 5.79% lower, the Non-Metal Operator rate is 47.36% lower, the Stone Operator rate is 8.29% higher, the Sand and Gravel Operator rate is 60.32% higher, and the Coal Contractor rate is 129.54% higher.

  6. Project Project Funding Operational & Maintenance Costs Univ. Project Title GSF Brief Description of Project Location Amount Source

    E-Print Network [OSTI]

    Slatton, Clint

    Estimated Annual Amount For Amount Source STATE UNIVERSITY SYSTEM 2012-2013 Fixed Capital Outlay ProjectsProject Project Funding Operational & Maintenance Costs Univ. Project Title GSF Brief Description that will respond to the latest trends in small-group learning, technology resources, and collaboration spaces

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

  8. Synchronized sampling improves fault location

    SciTech Connect (OSTI)

    Kezunovic, M. [Texas A and M Univ., College Station, TX (United States)] [Texas A and M Univ., College Station, TX (United States); Perunicic, B. [Lamar Univ., Beaumont, TX (United States)] [Lamar Univ., Beaumont, TX (United States)

    1995-04-01T23:59:59.000Z

    Transmission line faults must be located accurately to allow maintenance crews to arrive at the scene and repair the faulted section as soon as possible. Rugged terrain and geographical layout cause some sections of power transmission lines to be difficult to reach. In the past, a variety of fault location algorithms were introduced as either an add-on feature in protective relays or stand-alone implementation in fault locators. In both cases, the measurements of current and voltages were taken at one terminal of a transmission line only. Under such conditions, it may become difficult to determine the fault location accurately, since data from other transmission line ends are required for more precise computations. In the absence of data from the other end, existing algorithms have accuracy problems under several circumstances, such as varying switching and loading conditions, fault infeed from the other end, and random value of fault resistance. Most of the one-end algorithms were based on estimation of voltage and current phasors. The need to estimate phasors introduces additional difficulty in high-speed tripping situations where the algorithms may not be fast enough in determining fault location accurately before the current signals disappear due to the relay operation and breaker opening. This article introduces a unique concept of high-speed fault location that can be implemented either as a simple add-on to the digital fault recorders (DFRs) or as a stand-alone new relaying function. This advanced concept is based on the use of voltage and current samples that are synchronously taken at both ends of a transmission line. This sampling technique can be made readily available in some new DFR designs incorporating receivers for accurate sampling clock synchronization using the satellite Global Positioning System (GPS).

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

  10. 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, Makkai­Par´e, Barr, Ad´amek): every finitary endofunctor of a locally finitely presentable category has a terminal coalgebra #12

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

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

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

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

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

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

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

  1. Reversible micromachining locator

    DOE Patents [OSTI]

    Salzer, Leander J. (Los Almos, NM); Foreman, Larry R. (late of Los Alamos, NM)

    2002-01-01T23:59:59.000Z

    A locator with a part support is used to hold a part onto the kinematic mount of a tooling machine so that the part can be held in or replaced in exactly the same position relative to the cutting tool for machining different surfaces of the part or for performing different machining operations on the same or different surfaces of the part. The locator has disposed therein a plurality of steel balls placed at equidistant positions around the planar surface of the locator and the kinematic mount has a plurality of magnets which alternate with grooves which accommodate the portions of the steel balls projecting from the locator. The part support holds the part to be machined securely in place in the locator. The locator can be easily detached from the kinematic mount, turned over, and replaced onto the same kinematic mount or another kinematic mount on another tooling machine without removing the part to be machined from the locator so that there is no need to touch or reposition the part within the locator, thereby assuring exact replication of the position of the part in relation to the cutting tool on the tooling machine for each machining operation on the part.

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

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

  4. Termination Detection of Local Computations

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Termination Detection of Local Computations Emmanuel Godard1 , Yves M´etivier2 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

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

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

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

  8. Reversible micromachining locator

    DOE Patents [OSTI]

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

    1999-08-31T23:59:59.000Z

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

  9. Reversible micromachining locator

    DOE Patents [OSTI]

    Salzer, Leander J. (Los Alamos, NM); Foreman, Larry R. (Los Alamos, NM)

    1999-01-01T23:59:59.000Z

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

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

  11. Optimal fault location

    E-Print Network [OSTI]

    Knezev, Maja

    2009-05-15T23:59:59.000Z

    are triggered. Protection system consisting of protection relays and circuit breakers (CBs) will operate in order to de-energize faulted line. Different Intelligent Electronic Devices (IEDs) located in substations for the purpose of monitoring... in the control center by an operator who will mark fault event in a spreadsheet and inform other staff responsible for dealing with fault analysis and repair such as protection group or maintenance respectively. Protective relaying staff will be ready...

  12. Optimal fault location

    E-Print Network [OSTI]

    Knezev, Maja

    2008-10-10T23:59:59.000Z

    are triggered. Protection system consisting of protection relays and circuit breakers (CBs) will operate in order to de-energize faulted line. Different Intelligent Electronic Devices (IEDs) located in substations for the purpose of monitoring... in the control center by an operator who will mark fault event in a spreadsheet and inform other staff responsible for dealing with fault analysis and repair such as protection group or maintenance respectively. Protective relaying staff will be ready...

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

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

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

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

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

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

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

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

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

    E-Print Network [OSTI]

    Ayala-Rincón, Mauricio

    Automation of Termination: Abstracting CCG through MWG Automation of Termination: Abstracting 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

  2. NIH eRA System xTrain Termination for Appointments Quick Reference 1 January 27, 2011

    E-Print Network [OSTI]

    Baker, Chris I.

    NIH eRA System xTrain Termination for Appointments Quick Reference 1 January 27, 2011 Powering the Advancement of Science xTrain Termination of Appointments Quick Reference Guide for Institution Users 1. The PD/PI Initiates a Termination Notice (TN) · The PD/PI locates the Trainee on the Trainee Roster

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

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

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

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

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

  8. REAL ALGEBRAIC THREEFOLDS I. TERMINAL SINGULARITIES

    E-Print Network [OSTI]

    Kollár, János

    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

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

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

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

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

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

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

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

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

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

  18. VORDIPLOM-PRFUNGEN Prfungsfach Prfer Termin

    E-Print Network [OSTI]

    Greifswald, Ernst-Moritz-Arndt-Universität

    VORDIPLOM-PRÜFUNGEN Prüfungsfach Prüfer Termin Allgemeine Psychologie I Prof. Dr. Georg Jahn 25-PRÜFUNGEN Prüfungsfach Prüfer Termin Arbeits- und Organisationspsychologie Prof. Dr. Manfred Bornewasser 8. Kw Arbeits

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

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

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

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

  3. Thvenin's Theorem Linear two-terminal circuit

    E-Print Network [OSTI]

    Kozick, Richard J.

    Thévenin'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

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

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

  6. Deciding Conditional Termination Marius Bozga1

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Deciding Conditional Termination Marius Bozga1 , Radu Iosif1 , and Filip Konecn´y1,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

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

  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. Large deviations for many Brownian bridges with symmetrised initial-terminal condition

    E-Print Network [OSTI]

    Stefan Adams; Wolfgang König

    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.

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

    E-Print Network [OSTI]

    Mühlemann, Oliver

    Wiederholungsprüfungen ­ Termine fürs HS 2013 und FS 2014 (im KSL unter Leistungskontrolle 2. Termin erfasst) Bachelor Chemie Bachelor Biochemie Grundstudium Pharmazie Master Chemie und Molekulare Biochemie (Büro S170) für Veranstaltungen aus der Biochemie (°), falls Sie einen Termin abmachen möchten

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

  14. Library Locations Locations other than Main Library

    E-Print Network [OSTI]

    Library Locations Locations other than Main Library Example: Feminist Studies HQ1410 .U54 2009 University of California, Santa Barbara Library www.library.ucsb.edu Updated 3-2014 A - B.......................................6 Central M - N..................................................Arts Library (Music Building) P

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

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

  17. Master Document located at: W:\\fas\\fas-Quality Management System\\Quality Management System\\01 Quality System\\02 WORK INSTRUCTIONS\\3700-3899 Facilities Coordination\\3729 Lecturn (Creme) Operation with JED Controllers.doc

    E-Print Network [OSTI]

    Master Document located at: W:\\fas\\fas-Quality Management System\\Quality Management System\\01 the following instructions. #12;Master Document located at: W:\\fas\\fas-Quality Management System\\Quality Management System\\01 Quality System\\02 WORK INSTRUCTIONS\\3700-3899 Facilities Coordination\\3729 Lecturn

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

  19. VORDIPLOM-PRFUNGEN Prfungsfach Prfer Termin

    E-Print Network [OSTI]

    Greifswald, Ernst-Moritz-Arndt-Universität

    VORDIPLOM-PRÜFUNGEN Prüfungsfach Prüfer Termin Allgemeine Psychologie I Prof. Dr. Georg Jahn 6. Kw 11. Kw Sozialpsychologie Dr. Edzard Glitsch 13. Kw DIPLOM-PRÜFUNGEN Prüfungsfach Prüfer Termin

  20. VORDIPLOM-PRFUNGEN Prfungsfach Prfer Termin

    E-Print Network [OSTI]

    Greifswald, Ernst-Moritz-Arndt-Universität

    VORDIPLOM-PRÜFUNGEN Prüfungsfach Prüfer Termin Allgemeine Psychologie I Prof. Dr. Georg Jahn 32. Kw Löw 38. Kw Sozialpsychologie Dr. Edzard Glitsch 36. Kw DIPLOM-PRÜFUNGEN Prüfungsfach Prüfer Termin

  1. VORDIPLOM-PRFUNGEN Prfungsfach Prfer Termin

    E-Print Network [OSTI]

    Greifswald, Ernst-Moritz-Arndt-Universität

    VORDIPLOM-PRÜFUNGEN Prüfungsfach Prüfer Termin Allgemeine Psychologie I Prof. Dr. Georg Jahn 6. KW 9. KW Sozialpsychologie Dr. Edzard Glitsch 13. KW DIPLOM-PRÜFUNGEN Prüfungsfach Prüfer Termin

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

  3. An analysis of font styles on the screen of a computer terminal

    E-Print Network [OSTI]

    Eason, Joyce Leona

    1988-01-01T23:59:59.000Z

    (Williams, 1980). Much research has been done in the last ten years in the area of visual displays, and more specifically utilizing the cathode ray tube (CRT) computer terminals. One of the first human factors concerns was the feasibility of reading... in the Human Factors Engineering Laboratory located at Texas A&M University. The computer terminal used was an Apple Macintosh SE, and was brought to the Laboratory for this study. The reading material was configured utilizing Microsoft Word, a word...

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

  5. On terminal deltawye reducibility of planar graphs

    E-Print Network [OSTI]

    Sagols, Feliú

    On terminal delta­wye reducibility of planar graphs Isidoro Gitler1 Feli´u Sagols2 Departamento de´exico 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

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

  7. 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. Théolier, 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

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

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

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

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

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

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

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

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

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

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

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

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

  20. Pooh-Poohing Copyright Law’s “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. ©

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

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

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

  4. State of the art analysis of online fault location on AC cables in underground transmission systems

    E-Print Network [OSTI]

    Bak, Claus Leth

    on transmission level fault location methods have been focused on overhead lines. Because of the very different- termine the fault location. Because only one end meas- urements are used, the algorithm is derived usingState of the art analysis of online fault location on AC cables in underground transmission systems

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

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

  7. 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. Théolier1,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

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

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

    E-Print Network [OSTI]

    Ha, Dong S.

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

  10. Electrically operated magnetic switch designed to display reduced leakage inductance

    DOE Patents [OSTI]

    Cook, E.G.

    1994-05-10T23:59:59.000Z

    An electrically operated magnetic switch is disclosed herein for use in opening and closing a circuit between two terminals depending upon the voltage across these terminals. The switch so disclosed is comprised of a ferrite core in the shape of a toroid having opposing ends and opposite inner and outer sides and an arrangement of electrically conductive components defining at least one current flow path which makes a number of turns around the core. This arrangement of components includes a first plurality of electrically conducive rigid rods parallel with and located outside the outer side of the core and a second plurality of electrically conductive rigid rods parallel with and located inside the inner side of the core. The arrangement also includes means for electrically connecting these rods together so that the define the current flow path. In one embodiment, this latter means uses rigid cross-tab means. In another, preferred embodiment, printed circuits on rigid dielectric substrates located on opposite ends of the core are utilized to interconnect the rods together. 10 figures.

  11. Electrically operated magnetic switch designed to display reduced leakage inductance

    DOE Patents [OSTI]

    Cook, Edward G. (Livermore, CA)

    1994-01-01T23:59:59.000Z

    An electrically operated magnetic switch is disclosed herein for use in opening and closing a circuit between two terminals depending upon the voltage across these terminals. The switch so disclosed is comprised of a ferrite core in the shape of a toroid having opposing ends and opposite inner and outer sides and an arrangement of electrically conductive components defining at least one current flow path which makes a number of turns around the core. This arrangement of components includes a first plurality of electrically conducive rigid rods parallel with and located outside the outer side of the core and a second plurality of electrically conductive rigid rods parallel with and located inside the inner side of the core. The arrangement also includes means for electrically connecting these rods together so that the define the current flow path. In one embodiment, this latter means uses rigid cross-tab means. In another, preferred embodiment, printed circuits on rigid dielectric substrates located on opposite ends of the core are utilized to interconnect the rods together.

  12. Helicopter magnetic survey conducted to locate wells

    SciTech Connect (OSTI)

    Veloski, G.A.; Hammack, R.W.; Stamp, V. (Rocky Mountain Oilfield Testing Center); Hall, R. (Rocky Mountain Oilfield Testing Center); Colina, K. (Rocky Mountain Oilfield Testing Center)

    2008-07-01T23:59:59.000Z

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

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

  14. 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, Fèlix; 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.

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

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

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

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

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

  20. EIS-0426: Site-Wide Environmental Impact Statement for Continued Operation of the Department of Energy / National Nuclear Security Administration Nevada National Security Site and Off-Site Locations in the State of Nevada

    Broader source: Energy.gov [DOE]

    This Site-Wide EIS evaluates the potential environmental impacts of proposed alternatives for continued management and operation of the Nevada National Security Site (NNSS) (formerly known as the Nevada Test Site) and other U.S. Department of Energy/National Nuclear Security Administration (DOE/NNSA)-managed sites in Nevada.

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

    E-Print Network [OSTI]

    Moreno-Ibáñez, Manuel; Trigo-Rodríguez, 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.

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

  3. Purdue extension CAFOsConcentrated Animal Feeding OperationsConcentrated Animal Feeding Operations

    E-Print Network [OSTI]

    Operations using the Web soil survey to investigate Potential Concentrated Animal Feeding operation Locations Operation (CAFO) permit application requires a location description that includes USDA-NRCS Soil Survey data and interpretations. #12;Concentrated Animal Feeding Operation Locations Using the Web Soil Survey to Investigate

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

  5. Termination of Nested and Mutually Recursive Algorithms

    E-Print Network [OSTI]

    Ábrahám, 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

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

  7. Locating Heat Recovery Opportunities 

    E-Print Network [OSTI]

    Waterland, A. F.

    1981-01-01T23:59:59.000Z

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

  8. Locating Heat Recovery Opportunities

    E-Print Network [OSTI]

    Waterland, A. F.

    1981-01-01T23:59:59.000Z

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

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

  10. AN LMIBASED CONSTRAINED MPC SCHEME WITH TIMEVARYING TERMINAL

    E-Print Network [OSTI]

    #12; #12; AN LMI­BASED CONSTRAINED MPC SCHEME WITH TIME­VARYING 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 time­varying terminal cost and terminal constraint. The online calculation

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

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

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

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

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

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

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

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

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

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

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

  2. VORDIPLOM-PRFUNGEN -SS 14 Prfungsfach Prfer Termin

    E-Print Network [OSTI]

    Greifswald, Ernst-Moritz-Arndt-Universität

    VORDIPLOM-PRÜFUNGEN - SS 14 Prüfungsfach Prüfer Termin Allgemeine Psychologie I Prof. Dr. Georg Prüfer Termin Arbeits- und Organisationspsychologie Prof. Dr. Manfred Bornewasser 32. Kw Klinische

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

  4. Report on geological surveys in the 300-FF-1 operable unit

    SciTech Connect (OSTI)

    Sandness, G.A.

    1991-03-01T23:59:59.000Z

    This report describes a set of geophysical surveys performed by the Pacific Northwest Laboratory at selected locations within the 300-FF-1 Operable Unit at Hanford. Field work and preliminary data processing activities were initiated in September 1989. These actions were terminated by the Westinghouse Hanford Company before completion in December 1989. Work was reinitiated in October 1990, to complete the processing of the data that had already been collected and to report the results. Because the field work was only partially completed, the task objectives, as presented in the Statement of Work, could not be fully met. This report is, therefore, a progress report covering the work performed through December 11, 1989. This task involved (1) ground-penetrating radar surveys of the 618-4 and 618-5 Burial Grounds, and (2) ground-penetrating radar and electromagnetic induction surveys along the assumed routes of the abandoned process sewers and radioactive liquid waste sewers in the 300-FF-1 Operable Unit. The surveys in the burial grounds were intended to identify burial trenches and pits, to determine the depth of fill, and to locate waste materials, including any that might be outside the perimeter fences. The surveys along the sewer routes were intended, first, to confirm the locations of the sewers as shown on existing maps or to otherwise accurately determine their locations, and second, to attempt to identify locations of possible leaks. 3 refs., 3 figs., 2 tabs.

  5. Electric current locator

    DOE Patents [OSTI]

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

    2012-02-07T23:59:59.000Z

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

  6. Alternative Fueling Station Locator

    Alternative Fuels and Advanced Vehicles Data Center [Office of Energy Efficiency and Renewable Energy (EERE)]

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious Rank EERE: Alternative Fuels Data Center Home PageStation LocationsGeneseeValleyPerformance

  7. Alternative Fueling Station Locator

    Alternative Fuels and Advanced Vehicles Data Center [Office of Energy Efficiency and Renewable Energy (EERE)]

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious Rank EERE: Alternative Fuels Data Center Home PageStation LocationsGeneseeValleyPerformance

  8. Final Exam Location and Time

    E-Print Network [OSTI]

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

  9. Final Exam Location and Time

    E-Print Network [OSTI]

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

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

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

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

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

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

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

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

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

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

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

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

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

  2. Sandia National Laboratories: Locations

    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 PressLaboratorySoftware100LifeAnnouncementsLocations

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

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

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

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

  7. Automated Termination Proofs with Measure Functions ?

    E-Print Network [OSTI]

    Ábrahám, 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 well­founded 1 relation such that in each recursive call f(t), the argument t is smaller than the corresponding input x. While most work

  8. Automated Fault Location In Smart Distribution Systems

    E-Print Network [OSTI]

    Lotfifard, Saeed

    2012-10-19T23:59:59.000Z

    Quality Meters (PQM), are installed to capture harmonics and certain disturbances for analyzing the power quality indices. Digital Protective Relays are utilized to detect occurrence of the faults and isolate faulted section as fast as possible. Digital... Protective Relays) use synchronous methods [28]. Therefore, if the available data is provided by RTUs, fault location methods that operate based on direct comparison of the input samples cannot be 17 utilized. However, if the data could be gathered from...

  9. Derivation of Locational Marginal Prices for Restructured Wholesale Power Markets

    E-Print Network [OSTI]

    Tesfatsion, Leigh

    Derivation of Locational Marginal Prices for Restructured Wholesale Power Markets Haifeng Liu restructured wholesale power markets, the detailed derivation of LMPs as actually used in industry practice Operator (MISO). Keywords: Locational marginal pricing, wholesale power market, AC optimal power flow, DC

  10. The Cricket indoor location system

    E-Print Network [OSTI]

    Priyantha, Nissanka Bodhi, 1968-

    2005-01-01T23:59:59.000Z

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  6. ccsd00004619, BSDE with quadratic growth and unbounded terminal

    E-Print Network [OSTI]

    ccsd­00004619, 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

  7. Mitigating the Untrusted Terminal Problem Using Conditional Signatures

    E-Print Network [OSTI]

    Bencsáth, Boldizsár

    Mitigating the Untrusted Terminal Problem Using Conditional Signatures István 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

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

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

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

  11. SAT Instances for Termination Analysis with Carsten Fuhs

    E-Print Network [OSTI]

    Ábrahám, Erika

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

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

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

  14. Automated Modular Termination Proofs for Real Prolog Programs

    E-Print Network [OSTI]

    Stroetmann, Karl

    Automated Modular Termination Proofs for Real Prolog Programs Martin M¨uller 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

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

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

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

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

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

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

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

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

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

  4. 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 La­O and Al­O2 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

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

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

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

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

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

  10. On automating the extraction of programs from termination proofs

    E-Print Network [OSTI]

    Ayala-Rincón, 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

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

  12. On Termination of Integer Linear Loops Joel Ouaknine

    E-Print Network [OSTI]

    Ouaknine, Joël

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

  13. Proving termination by policy iteration Damien Masse1

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    NSAD 2012 Proving termination by policy iteration Damien Mass´e1 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

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

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

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

  17. 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 ERIS¸IR, SUSAN C. VAN HORN, MARTHA E. BICKFORD used a double labeling procedure with electron microscopy and found that all terminals labeled

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

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

    E-Print Network [OSTI]

    Bencsáth, Boldizsár

    Documents from malicious terminals István Zsolt Berta and István 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

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

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

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

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

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

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

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

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

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

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

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

  11. Mobile Alternative Fueling Station Locator

    SciTech Connect (OSTI)

    Not Available

    2009-04-01T23:59:59.000Z

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

  12. Precision zero-home locator

    DOE Patents [OSTI]

    Stone, W.J.

    1983-10-31T23:59:59.000Z

    A zero-home locator includes a fixed phototransistor switch and a moveable actuator including two symmetrical, opposed wedges, each wedge defining a point at which switching occurs. The zero-home location is the average of the positions of the points defined by the wedges.

  13. 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 shipper’s 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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  8. Tunable atomic termination in nano-necklace BiFeO{sub 3}

    SciTech Connect (OSTI)

    Sobhan, Mushtaq; Xu, Qiang; Yang, Qian; Anariba, Franklin; Wu, Ping, E-mail: wuping@sutd.edu.sg [Entropic Interface Group (EIG), Engineering Product Development, Singapore University of Technology and Design (SUTD), 20 Dover Drive (Singapore)

    2014-02-03T23:59:59.000Z

    We investigate the growth kinetics of BiFeO{sub 3} (BFO) nano-necklace based on first principles modeling and electrospinning experiments. A two-step layered growth mechanism is proposed to control the atomic termination of each nano-necklace. X-ray diffraction (XRD) results agree well with our model predictions; (1) samples calcined at 500 and 550?°C consist of FeO{sub 2} (F-F) terminated nano-necklace, (2) samples calcined at 650?°C consist of either BiO (B-B) or BiO and FeO{sub 2} (B-F) terminated ones. The XRD diffraction peaks are located at lower 2? values with a magnetic moment of 3.0?emu/g for the former and at higher 2? values with a decrease in the magnetic moment to 0.4?emu/g for the later samples. The activation energy associated with the growth of the nano-necklaces was experimentally determined to be 0.37?eV/atom. This study provides fundamental understanding for the long-sought layer-by-layer assembly of BFO nanostructures.

  9. Location logistics of industrial facilities

    E-Print Network [OSTI]

    Hammack, William Eugene

    1981-01-01T23:59:59.000Z

    of company intent1ons is not made at the correct time and in the correct manner. 6. Recommend Best Areas for Further Invest1 ations. Once the on-site evaluations have been completed, the 11st of possibilities is reduced still further and only the best... location and site selection. This data was gathered through library research, atten- dance of various industr1al development conferences, sol1citation of mater1als from individuals currently involved with industrial facil1ties location, and various...

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

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

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

  13. Operating and maintenance experience with a 6-kW wind energy conversion system at Naval Station, Treasure Island, California. Technical note Sep 79-Jun 81

    SciTech Connect (OSTI)

    Pal, D.

    1982-07-01T23:59:59.000Z

    The experience gained and lessons learned from the 6-kW grid-integrated Wind Energy Conversion System (WECS) demonstration at Naval Station, Treasure Island, San Francisco Bay are detailed. The objective of this demonstration was to develop operating experience and maintenance information on the 6-kW WECS using a combination of permanent magnet alternator with a line commutated synchronous inverter. The on-site measurements conducted during the demonstation indicate that the WECS site has annual average windspeeds of about 8 to 10 mph. The test results to data indicate a satisfactory performance of the WECS except for two failures involving arcing at the electrical terminals located on the yaw shaft. Due to wind characteristics encountered at the site, the performance data collected to date are at windspeeds of 20 mph or lower. For evaluating the WECS performance at all windspeeds, location at a windier site with annual average windspeeds of 14 mph or higher is recommended.

  14. Building Address Locations -Assumes entire

    E-Print Network [OSTI]

    Guenther, Frank

    Building Address Locations - Assumes entire building unless noted Designation Submit through* 560, 4 BU Crosstown Center 801 Massachusetts Ave Floor 1, 2 BMC BCD Building 800 Harrison Avenue BCD BMC Biosquare III 670 Albany Floors 2, 3, 6, 7 BMC Biosquare III 670 Albany Floors 1, 4, 5, 8 BU Building

  15. Boston, Massachusetts Location: Boston, MA

    E-Print Network [OSTI]

    Prevedouros, Panos D.

    -recovery ventilation and water-source heat pumps Each unit has fresh air ducted independently. Each residence is warmed by a heat pump that taps the Trigen Energy Corporation steam lines that run underneath the street. #12;WallsBoston, Massachusetts #12;Location: Boston, MA Building type(s): Multi-unit residential, Retail 350

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

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

  18. Scalable Energy Efficient Location Aware Multicast Protocol for MANET (SEELAMP)

    E-Print Network [OSTI]

    Kamboj, Pariza

    2010-01-01T23:59:59.000Z

    Multicast plays an important role in implementing the group communications in bandwidth scarce multihop mobile ad hoc networks. However, due to the dynamic topology of MANETs it is very difficult to build optimal multicast trees and maintaining group membership, making even more challenging to implement scalable and robust multicast in Mobile Ad hoc Networks (MANET). A scalable and energy efficient location aware multicast algorithm, called SEELAMP, for mobile ad hoc networks is presented in the paper that is based on creation of shared tree using the physical location of the nodes for the multicast sessions. It constructs a shared bi-directional multicast tree for its routing operations rather than a mesh, which helps in achieving more efficient multicast delivery. The algorithm uses the concept of small overlapped zones around each node for proactive topology maintenance with in the zone. Protocol depends on the location information obtained using a distributed location service, which effectively reduces th...

  19. Lease Operations Environmental Guidance Document

    SciTech Connect (OSTI)

    Bureau of Land Management

    2001-02-14T23:59:59.000Z

    This report contains discussions in nine different areas as follows: (1) Good Lease Operating Practices; (2) Site Assessment and Sampling; (3) Spills/Accidents; (4) Containment and Disposal of Produced Waters; (5) Restoration of Hydrocarbon Impacted Soils; (6) Restoration of Salt Impacted Soils; (7) Pit Closures; (8) Identification, Removal and Disposal of Naturally Occurring Radioactive Materials (NORM); and (9) Site Closure and Construction Methods for Abandonment Wells/Locations. This report is primary directed towards the operation of oil and gas producing wells.

  20. Joint microseismic event location with uncertain velocity

    E-Print Network [OSTI]

    Poliannikov, Oleg V.

    2013-01-01T23:59:59.000Z

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

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

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

    SciTech Connect (OSTI)

    Last, George V.

    2014-02-01T23:59:59.000Z

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

  3. Regional Differences in Stem and Transit Cell Proliferation and Apoptosis in the Terminal Ileum and Colon of Mice After 12 Gy

    SciTech Connect (OSTI)

    Gandara, Ricardo M.C. [Institute of Infection, Immunity and Inflammation, Queens Medical Centre, University of Nottingham, Nottingham (United Kingdom); Mahida, Yashwant R., E-mail: yash.mahida@nottingham.ac.uk [Institute of Infection, Immunity and Inflammation, Queens Medical Centre, University of Nottingham, Nottingham (United Kingdom); Potten, Christopher S. [Institute of Infection, Immunity and Inflammation, Queens Medical Centre, University of Nottingham, Nottingham (United Kingdom)

    2012-03-01T23:59:59.000Z

    Purpose: The intestinal epithelium has a high rate of cell turnover, which is regulated by stem cells located near the base of crypts. We aimed to investigate stem cell-dependent characteristics of cell proliferation, apoptosis, and crypt size in terminal ileum and different regions of the colon. Methods and Materials: Mice were studied under steady-state conditions and after radiation-induced stem cell apoptosis. Percentage of proliferating or apoptotic cells at a particular cell position (cp) along the crypt axis was expressed as labeling or apoptotic index. Results: Under steady-state conditions: crypt size was smallest in the ascending colon. In contrast to other regions of the colon, the distribution profile of proliferating cells in ascending colon showed some similarity to that in the terminal ileum. Postirradiation: apoptotic cells were prominent at the bottom of the crypt of mid- and descending colon but in the ascending colon, they were seen with similar frequency from cp 1 to 4. During regeneration, a constant proliferative capacity was seen above Paneth cells in the terminal ileum. In the ascending (but not mid- or descending) colon, the profile of proliferating cells over the first 4 days after irradiation showed a similarity to that in the terminal ileum. Conclusions: Profiles of proliferating epithelial cells (under steady-state conditions and postirradiation) and apoptotic cells (postirradiation) suggest similarities in the location of stem cells in the ascending colon and terminal ileum.

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

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

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

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

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

  7. Asymptotic analysis of an optimal location problem

    E-Print Network [OSTI]

    2003-05-13T23:59:59.000Z

    Asymptotic analysis of an optimal location problem. One considers the problem of optimal location of masses(say production centers) in order to approximate a ...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    E-Print Network [OSTI]

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

    2011-01-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)

  3. The Crystal Structure of the Active Form of the C-Terminal Kinase Domain of Mitogen- and Stress-Activated Protein Kinase 1

    SciTech Connect (OSTI)

    Malakhova, Margarita; D'Angelo, Igor; Kim, Hong-Gyum; Kurinov, Igor; Bode, Ann M.; Dong, Zigang (Cornell); (UMM)

    2010-06-25T23:59:59.000Z

    Mitogen- and stress-activated protein kinase 1 (MSK1) is a growth-factor-stimulated serine/threonine kinase that is involved in gene transcription regulation and proinflammatory cytokine stimulation. MSK1 is a dual kinase possessing two nonidentical protein kinase domains in one polypeptide. We present the active conformation of the crystal structures of its C-terminal kinase domain in apo form and in complex with a nonhydrolyzable ATP analogue at 2.0 {angstrom} and 2.5 {angstrom} resolutions, respectively. Structural analysis revealed substantial differences in the contacts formed by the C-terminal helix, which is responsible for the inactivity of other autoinhibited kinases. In the C-terminal kinase domain of MSK1, the C-terminal {alpha}L-helix is located in the surface groove, but forms no hydrogen bonds with the substrate-binding loop or nearby helices, and does not interfere with the protein's autophosphorylation activity. Mutational analysis confirmed that the {alpha}L-helix is inherently nonautoinhibitory. Overexpression of the single C-terminal kinase domain in JB6 cells resulted in tumor-promoter-induced neoplastic transformation in a manner similar to that induced by the full-length MSK1 protein. The overall results suggest that the C-terminal kinase domain of MSK1 is regulated by a novel {alpha}L-helix-independent mechanism, suggesting that a diverse mechanism of autoinhibition and activation might be adopted by members of a closely related protein kinase family.

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

  5. FB Line Basis for Interim Operation

    SciTech Connect (OSTI)

    Shedrow, B.

    1998-10-19T23:59:59.000Z

    The safety analysis of the FB-Line Facility indicates that the operation of FB-Line to support the current mission does not present undue risk to the facility and co-located workers, general public, or the environment.

  6. Energy Department Issues Draft Request for Proposals for Operation...

    Energy Savers [EERE]

    full and open basis to manage and operate DOE's Pacific Northwest National Laboratory (PNNL). PNNL is a world-class multi-program national laboratory located in Richland,...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  2. Short range radio locator system

    DOE Patents [OSTI]

    McEwan, Thomas E. (Livermore, CA)

    1996-01-01T23:59:59.000Z

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

  3. Fault Locating, Prediction and Protection (FLPPS)

    SciTech Connect (OSTI)

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

    2010-09-30T23:59:59.000Z

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

  4. Site Environmental Report for Calendar Year 2003 DOE Operations at The Boeing Company, Rocketdyne Propulsion & Power

    SciTech Connect (OSTI)

    Liu, Ning; Rutherford, Phil; Samuels, Sandy; Lee, Majelle

    2004-09-30T23:59:59.000Z

    This Annual Site Environmental Report (ASER) for 2003 describes the environmental conditions related to work performed for the Department of Energy (DOE) at Area IV of Boeing Rocketdyne’s Santa Susana Field Laboratory (SSFL). In the past, the Energy Technology Engineering Center (ETEC), a government-owned, company-operated test facility, was located in Area IV. The operations at ETEC included development, fabrication, and disassembly of nuclear reactors, reactor fuel, and other radioactive materials. Other activities at ETEC involved the operation of large-scale liquid metal facilities that were used for testing liquid metal fast breeder components. All nuclear work was terminated in 1988; all subsequent radiological work has been directed toward decontamination and decommissioning (D&D) of the former nuclear facilities and their associated sites. Closure of the liquid metal test facilities began in 1996. Results of the radiological monitoring program for the calendar year 2003 continue to indicate that there are no significant releases of radioactive material from Area IV of SSFL. All potential exposure pathways are sampled and/or monitored, including air, soil, surface water, groundwater, direct radiation, transfer of property (land, structures, waste), and recycling.

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

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

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

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

  9. A methodology for identifying potential locations for bus priority treatments in the London Network

    E-Print Network [OSTI]

    Machlab, Farah J. (Farah Jacinthe)

    2014-01-01T23:59:59.000Z

    Bus priority strategies provide preferential treatment to buses operating in mixed traffic. This thesis aims at developing a methodology for identifying locations for potential bus priority implementation, referred to as ...

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

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

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

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

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

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

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

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

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

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

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

  1. 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 Rho­RNA binding in- teractions at the Rho utilization site of the tR1 terminator. Our results

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

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

    E-Print Network [OSTI]

    Levente, Buttyán

    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

  4. Site Environmental Report for Calendar Year 2007. DOE Operations at The Boeing Company, Santa Susana Field Laboratory, Area IV

    SciTech Connect (OSTI)

    none,

    2008-09-30T23:59:59.000Z

    This Annual Site Environmental Report (ASER) for 2007 describes the environmental conditions related to work performed for the Department of Energy (DOE) at Area IV of Boeing’s Santa Susana Field Laboratory (SSFL). The Energy Technology Engineering Center (ETEC), a government-owned, company-operated test facility, was located in Area IV. The operations in Area IV included development, fabrication, and disassembly of nuclear reactors, reactor fuel, and other radioactive materials. Other activities in the area involved the operation of large-scale liquid metal facilities that were used for testing non-nuclear liquid metal fast breeder components. All nuclear work was terminated in 1988; all subsequent radiological work has been directed toward decontamination and decommissioning (D&D) of the former nuclear facilities and their associated sites. In May 2007, the D&D operations in Area IV were suspended until DOE completes the SSFL Area IV Environmental Impact Statement (EIS). The environmental monitoring programs were continued throughout the year. Results of the radiological monitoring program for the calendar year 2007 continue to indicate that there are no significant releases of radioactive material from Area IV of SSFL. All potential exposure pathways are sampled and/or monitored, including air, soil, surface water, groundwater, direct radiation, transfer of property (land, structures, waste), and recycling. All radioactive wastes are processed for disposal at DOE disposal sites and/or other licensed sites approved by DOE for radioactive waste disposal. No liquid radioactive wastes were released into the environment in 2007.

  5. Determining Mountaintop Mining Locations in West Virginia Using Elevation Datasets

    E-Print Network [OSTI]

    Rowland, Danny

    2009-11-18T23:59:59.000Z

    Determining Mountaintop Mining Locations in West Virginia Using Elevation Datasets Danny Rowland Haskell Indian Nations University Image from: http://www.colorado.edu/geography/cartpro/cartography2/spring2006/syphers.../projects/westvirginia/whatis.htm Image from: http://washingtonindependent.com/49008/congress-takes-on-mountaintop-mining Mountaintop Mining Operation 2 Elevation datasets: NED & SRTM West Virginia NED SRTM Elevation Change Over ~30 Year Period 20021970’s SRTM Subtracted from...

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

  7. Homodyne impulse radar hidden object locator

    DOE Patents [OSTI]

    McEwan, T.E.

    1996-04-30T23:59:59.000Z

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

  8. SAPLE: Sandia Advanced Personnel Locator Engine.

    SciTech Connect (OSTI)

    Procopio, Michael J.

    2010-04-01T23:59:59.000Z

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

  9. Homodyne impulse radar hidden object locator

    DOE Patents [OSTI]

    McEwan, Thomas E. (Livermore, CA)

    1996-01-01T23:59:59.000Z

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

  10. TAGGING, TRACKING AND LOCATING WITHOUT GPS

    SciTech Connect (OSTI)

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

    2012-07-08T23:59:59.000Z

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

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

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

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

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

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

  16. 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 Genómica, Periférico Sur No. 4809, Col. Arenal Tepepan, Delegación Tlalpan, México, 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); González Andrade, Martín [Instituto Nacional de Medicina Genómica, Periférico Sur No. 4809, Col. Arenal Tepepan, Delegación Tlalpan, México, D.F. C.P. 14610 (Mexico)] [Instituto Nacional de Medicina Genómica, Periférico Sur No. 4809, Col. Arenal Tepepan, Delegación Tlalpan, México, D.F. C.P. 14610 (Mexico); Sánchez-López, Rosana [Instituto de Biotecnología, Universidad Nacional Autónoma de México, Av. Universidad 2001, Col. Chamilpa Cuernavaca, Morelos C.P. 62210 (Mexico)] [Instituto de Biotecnología, Universidad Nacional Autónoma de México, Av. Universidad 2001, Col. Chamilpa Cuernavaca, Morelos C.P. 62210 (Mexico); Rodríguez-Ambriz, Sandra L. [Centro de Desarrollo de Productos Bióticos, Instituto Politécnico Nacional, Calle CEPROBI No. 8, Col. San Isidro, Yautepec, Morelos C.P. 62731 (Mexico)] [Centro de Desarrollo de Productos Bióticos, Instituto Politécnico Nacional, Calle CEPROBI No. 8, Col. San Isidro, Yautepec, Morelos C.P. 62731 (Mexico); Pérez Carreón, Julio I. [Instituto Nacional de Medicina Genómica, Periférico Sur No. 4809, Col. Arenal Tepepan, Delegación Tlalpan, México, D.F. C.P. 14610 (Mexico)] [Instituto Nacional de Medicina Genómica, Periférico Sur No. 4809, Col. Arenal Tepepan, Delegación Tlalpan, México, 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.

  17. Analysis of the AirTouch automatic vehicle location system's ability to locate moving vehicles 

    E-Print Network [OSTI]

    Henry, Tracy Lynn

    1995-01-01T23:59:59.000Z

    Automatic vehicle location systems are becoming more prevalent in diverse transportation applications. Their ability to locate vehicles can assist in locating emergency and public transit vehicles for better real-time dispatching as well...

  18. Analysis of the AirTouch automatic vehicle location system's ability to locate moving vehicles

    E-Print Network [OSTI]

    Henry, Tracy Lynn

    1995-01-01T23:59:59.000Z

    Automatic vehicle location systems are becoming more prevalent in diverse transportation applications. Their ability to locate vehicles can assist in locating emergency and public transit vehicles for better real-time dispatching as well...

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

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

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

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

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

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

    SciTech Connect (OSTI)

    Martínez-Argüello, A. M.; Castaño, E.; Martínez-Mares, M. [Departamento de Física, Universidad Autónoma Metropolitana-Iztapalapa, Apartado Postal 55-534, 09340 México 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.

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

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

    DOE Patents [OSTI]

    Wylie, Brian N. (Albuquerque, NM)

    2002-01-01T23:59:59.000Z

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

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

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

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

    Broader source: Energy.gov [DOE]

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

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

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

  12. Model for Evolutionary Technology An Automatically Defined Terminal Approach

    E-Print Network [OSTI]

    Fernandez, Thomas

    to satisfy consumer pref- erences on the demand side and lower production costs of products on the supply 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

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

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

    E-Print Network [OSTI]

    Miller, James Patterson

    1965-01-01T23:59:59.000Z

    to determine the significance of these locational factors among plants with different characteristics that have located in certain localities should provide pertinent information with both practical and theoretical implications. Since 1956, approximately 64... Summary of Plant Location Theory Cost Fac'tots . . . . . . . . . . . . . ~ The Importance of 'the Demand Factor Greenhut's General Theory of Plant Location and the Intangible Factor Location Factors as Revealed by Empirical Study Greenhut's Case...

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

    SciTech Connect (OSTI)

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

    2013-04-19T23:59:59.000Z

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

  16. Site environmental report for calendar year 2002. DOE operations at the Boeing Company, Rocketdyne Propulsion and Power

    SciTech Connect (OSTI)

    none,

    2003-09-30T23:59:59.000Z

    This Annual Site Environmental Report (ASER) for 2002 describes the environmental conditions related to work performed for the Department of Energy (DOE) at Area IV of Boeing' s Santa Susana Field Laboratory (SSFL)). In the past, the Energy Technology Engineering Center (ETEC), a government-owned, company-operated test facility, was located in Area IV. The operations at ETEC included development , fabrication , and disassembly of nuclear reactors , reactor fuel, and other radioactive materials . Other activities at ETEC involved the operation of large-scale liquid metal facilities that were used for testing liquid metal fast breeder components. All nuclear work was terminated in 1988, and, subsequently, all radiological work has been directed toward decontamination and decommissioning (D&D) of the former nuclear facilities and their associated sites . Closure of the liquid metal test facilities began in 1996. Results of the radiological monitoring program for the calendar year 2002 continue to indicate that there are no significant releases of radioactive material from Area IV of SSFL . All potential exposure pathways are sampled and/or monitored , including air , soil, surface water, groundwater , direct radiation , transfer of property ( land, structures, waste), and recycling. All radioactive w astes are processed for disposal at DOE disposal sites and/or other licensed sites approved by DOE for radioactive waste disposal . No liquid radioactive wastes are released into the environment, and no structural debris from buildings w as transferred to municipal landfills or recycled in 2002.

  17. Regenerator Location Problem in Flexible Optical Networks

    E-Print Network [OSTI]

    BARIS YILDIZ

    2014-11-22T23:59:59.000Z

    Nov 22, 2014 ... Abstract: In this study we introduce the regenerator location problem in flexible optical networks (RLP-FON). With a given traffic demand, ...

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

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

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

    E-Print Network [OSTI]

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

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

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

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

    E-Print Network [OSTI]

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

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

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

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

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

  7. Automated Fault Location In Smart Distribution Systems 

    E-Print Network [OSTI]

    Lotfifard, Saeed

    2012-10-19T23:59:59.000Z

    ............................................................................................................................ 88 x LIST OF FIGURES Page Figure 1 Multiple possible fault location estimation for a fault at node A ........................ 7 Figure 2 Simple faulted network model [1] © [2011] IEEE ............................................ 40 Figure 3... Types C and D voltage sags for different phases [51] © [2003] IEEE .............. 42 Figure 4 Rf estimation procedure [1] © [2011] IEEE ...................................................... 45 Figure 5 Flow chart of the fault location algorithm [1...

  8. RECYCLING PROGRAM TYPE LOCATION ALLOWED NOT ALLOWED

    E-Print Network [OSTI]

    Miami, University of

    RECYCLING PROGRAM TYPE LOCATION ALLOWED NOT ALLOWED Batteries, toner, ink cartridges & cell phones and recycling is an important part of that effort. Below is a guide to on-campus recycling at RSMAS: Visit http://www.rsmas.miami.edu/msgso/ for map of recycling bin locations. NOTE: This is not an exhaustive list. If unauthorized items are found

  9. Optimized Fault Location Final Project Report

    E-Print Network [OSTI]

    Engineering Research Center Optimized Fault Location Concurrent Technologies Corporation Final Project Report by the Concurrent Technologies Corporation (CTC) and the Power Systems Engineering Research Center (PSERC). NeitherOptimized Fault Location Final Project Report Power Systems Engineering Research Center A National

  10. Locating and tracking assets using RFID 

    E-Print Network [OSTI]

    Kim, Gak Gyu

    2009-05-15T23:59:59.000Z

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

  11. Location Privacy and the Personal Distributed Environment

    E-Print Network [OSTI]

    Atkinson, Robert C

    Location Privacy and the Personal Distributed Environment Robert C Atkinson, Swee Keow Goo, James-- The Personal Distributed Environment is a new concept being developed within the Mobile VCE Core 3 research, wherever their location: ubiquitous access. Devices are co-ordinated by Device Management Entities (DMEs

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

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

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

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

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

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

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

  19. Alternative Fuels Data Center: Natural Gas Fueling Station Locations

    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 Office511041cloth DocumentationProductsAlternative Fuels CleanReduce OperatingPropaneStation Locations to

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

  1. 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 3­6 EGF-like modules; seven tandem 23-, 36-, or 38-residue aspartate-rich, Ca2 -binding repeats; and an 230-residue C-terminal

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

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

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

    E-Print Network [OSTI]

    #12; #12; Linear MPC with Time­Varying Terminal Cost using Sparse Convex Combinations and Bisection--- In recent years, different constrained MPC­ schemes using a time­varying 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  10. 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 4­7). Since then, Voyager 2 has remained

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

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

  13. 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 Fr´ed´eric 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

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

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

    E-Print Network [OSTI]

    Middeldorp, Aart

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

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

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

  18. 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, H´el`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

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

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

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

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

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

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

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

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

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

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

    E-Print Network [OSTI]

    Bencsáth, Boldizsár

    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

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

  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 Fran¸coise Sailhan, Val´erie 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. The Construction of Locative Situations: Locative Media and the Situationist International, Recuperation or Redux?

    E-Print Network [OSTI]

    McGarrigle, Conor

    2009-01-01T23:59:59.000Z

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

  4. SFSU Building Coordinators List College or Administrative Unit Location(s)

    E-Print Network [OSTI]

    SFSU Building Coordinators List College or Administrative Unit Location(s) Building Coordinator81193 cathym@sfsu.edu GYM 102B Student Services Building SSB Mirel Tikkanen x53566 mtikkane@sfsu.edu SSB

  5. Radiation damage in the LHCb Vertex Locator

    E-Print Network [OSTI]

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

    2013-02-21T23:59:59.000Z

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

  6. Method of locating underground mines fires

    DOE Patents [OSTI]

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

    1992-01-01T23:59:59.000Z

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

  7. THE PLANAR HUB LOCATION PROBLEM: A PROBABILISTIC ...

    E-Print Network [OSTI]

    2012-11-21T23:59:59.000Z

    Nov 5, 2012 ... Aykin and Brown, [4]. ...... [8] J.F. Campbell, Integer programming formulations of discrete hub location problems, European J. of O.R.. 72(1994) ...

  8. Developing a theory of nightclub location choice

    E-Print Network [OSTI]

    Crim, Stephen J. (Stephen Johnson)

    2008-01-01T23:59:59.000Z

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

  9. Techniques for Mobile Location Estimation in UMTS 

    E-Print Network [OSTI]

    Thomas, Nicholas J

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

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

  11. Driver expectancy in locating automotive controls 

    E-Print Network [OSTI]

    Francis, Dawn Suzette

    1990-01-01T23:59:59.000Z

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

  12. Driver expectancy in locating automotive controls

    E-Print Network [OSTI]

    Francis, Dawn Suzette

    1990-01-01T23:59:59.000Z

    Major Subject: Industrial Engineering DRIVER EXPECTANCY IN LOCATING AUTOMOTIVE CONTROLS A Thesis by DAWN SUZETTE FRANCIS Approved as to style and content by: R. Dale Huchi son (Chair of Committee) Rodger . . ppa (Member) Waymon L ohnston (M er... assessment of automotive industry practices in 1971 and concluded that only 50% of controls/displays on various models could be said to have a common location. Perel (1974) reviewed prior research and found that it would be difficult to pinpoint...

  13. Locating Boosted Kerr and Schwarzschild Apparent Horizons

    E-Print Network [OSTI]

    Mijan F. Huq; Matthew W. Choptuik; Richard A. Matzner

    2000-02-22T23:59:59.000Z

    We describe a finite-difference method for locating apparent horizons and illustrate its capabilities on boosted Kerr and Schwarzschild black holes. Our model spacetime is given by the Kerr-Schild metric. We apply a Lorentz boost to this spacetime metric and then carry out a 3+1 decomposition. The result is a slicing of Kerr/Schwarzschild in which the black hole is propagated and Lorentz contracted. We show that our method can locate distorted apparent horizons efficiently and accurately.

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

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

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

  17. Certifications http://OperationsExcellence.utk.edu

    E-Print Network [OSTI]

    Grissino-Mayer, Henri D.

    Certifications http://OperationsExcellence.utk.edu Green, Black, Lean Six Sigma, and Master Black) Lean (one week of coursework) 2) Lean Six Sigma (two weeks of coursework) 3) Six Sigma (two weeks) lean Six Sigma Green Belt coursework: Location: Knoxville, Tennessee Tuition: $4,500 (5 days) or $3

  18. PLASMAQUEST STANDARD OPERATING PROCEDURE CORAL Name: Plasmaquest

    E-Print Network [OSTI]

    Reif, Rafael

    PLASMAQUEST STANDARD OPERATING PROCEDURE CORAL Name: Plasmaquest Model Number: 145 Location: TRL. PROCEDURE: Check reservations in CORAL to insure that you reserved the correct machine in the correct, if this is the case. `Engage' the machine in CORAL for the equipment that you are about to use; use this command

  19. Optimization for Design and Operation of Natural Gas Transmission Networks 

    E-Print Network [OSTI]

    Dilaveroglu, Sebnem 1986-

    2012-08-22T23:59:59.000Z

    designing and operating the network. A well-designed network helps natural gas companies minimize the costs while increasing the customer service level. The aim of the study is to determine the optimum installation scheduling and locations of new pipelines...

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

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

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

  3. The role of SCADA in developing a lean enterprise for municipal wastewater operations

    E-Print Network [OSTI]

    Prutz, Stanley J

    2005-01-01T23:59:59.000Z

    Central to optimizing a wastewater system's operations is the collection of alarm and operational data from various remote locations throughout a municipality, hence the basic need for supervisory control and data acquisition ...

  4. Reconstructing Spatial Distributions from Anonymized Locations

    SciTech Connect (OSTI)

    Horey, James L [ORNL] [ORNL; Forrest, Stephanie [University of New Mexico, Albuquerque] [University of New Mexico, Albuquerque; Groat, Michael [University of New Mexico, Albuquerque] [University of New Mexico, Albuquerque

    2012-01-01T23:59:59.000Z

    Devices such as mobile phones, tablets, and sensors are often equipped with GPS that accurately report a person's location. Combined with wireless communication, these devices enable a wide range of new social tools and applications. These same qualities, however, leave location-aware applications vulnerable to privacy violations. This paper introduces the Negative Quad Tree, a privacy protection method for location aware applications. The method is broadly applicable to applications that use spatial density information, such as social applications that measure the popularity of social venues. The method employs a simple anonymization algorithm running on mobile devices, and a more complex reconstruction algorithm on a central server. This strategy is well suited to low-powered mobile devices. The paper analyzes the accuracy of the reconstruction method in a variety of simulated and real-world settings and demonstrates that the method is accurate enough to be used in many real-world scenarios.

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

    E-Print Network [OSTI]

    Miller, James Patterson

    1965-01-01T23:59:59.000Z

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

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

    E-Print Network [OSTI]

    Wu, Shin-Tson

    CAH TERMINATION POLICY All Exit Checklist activities must be conducted in accordance with all 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

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

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

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

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

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

  12. Utility Locating in the DOE Environment

    SciTech Connect (OSTI)

    Clark Scott; Gail Heath

    2006-04-01T23:59:59.000Z

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

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

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

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

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

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

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

  19. Locating and tracking assets using RFID

    E-Print Network [OSTI]

    Kim, Gak Gyu

    2009-05-15T23:59:59.000Z

    . . . . . . . . . . . . . . . . . . . . . . . . 10 C. Different Technologies for Asset Tracking / Locating . . . . 10 1. Hand-held Reader . . . . . . . . . . . . . . . . . . . . 11 2. Fixed Reader Installed in Area . . . . . . . . . . . . . 11 3. Fixed Reader Installed at Chokepoint... . . . . . . . . . . . 34 a. CaseofInstallingtheFixedReaderintheMost Probable Area . . . . . . . . . . . . . . . . . . . . 35 b. Case of Installing the Fixed Reader in the Far- thest Area . . . . . . . . . . . . . . . . . . . . . . 36 3. Extension of Experiments...

  20. Recycling Bin Guide Locations and prices

    E-Print Network [OSTI]

    Kirschner, Denise

    Recycling Bin Guide Locations and prices Metal Bins Deskside Bins with Side Saddle Rubbermaid Bins.58 for auxiliaries. And Non-Public Areas Public Offices Non-Public Recyclables Recyclables RecyclablesTrash Trash Trash #12;New Recycling Bin Guidelines Frequently Asked Questions (as of December 2008) · Why