Sample records for terminal control number

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

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

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

  4. Non-Archimedian integrals and stringy Euler numbers of log terminal pairs

    E-Print Network [OSTI]

    Victor V. Batyrev

    1998-03-16T23:59:59.000Z

    Using non-Archimedian integration over spaces of arcs of algebraic varieties, we define stringy Euler numbers associated with arbitrary Kawamata log terminal pairs. There is a natural Kawamata log terminal pair corresponding to an algebraic variety V having a regular action of a finite group G. In this situation we show that the stringy Euler number of this pair coincides with the physicists' orbifold Euler number defined by the Dixon-Harvey-Vafa-Witten formula. As an application, we prove a conjecture of Miles Reid on the Euler numbers of crepant desingularizations of Gorenstein quotient singularities.

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

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

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

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

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

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

    E-Print Network [OSTI]

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

    2006-01-01T23:59:59.000Z

    in this building. Of these boxes, 39 boxes without a reheat coil serve interior zones and 67 reheat boxes serve exterior zones. The boxes are controlled by a pneumatic controller. 4.1 Conventional terminal box control sequence Before improving the terminal...

  11. OMB Control Number: 1910-5165

    Energy Savers [EERE]

    OMB Control Number: 1910-5165 Expires: xxxx201x SEMI-ANNUAL DAVIS-BACON ENFORCEMENT REPORT Please submit this Semi-Annual Davis-Bacon Enforcement Report to your site DOENNSA...

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

    E-Print Network [OSTI]

    Edmondson, Jacob Lee

    2011-02-22T23:59:59.000Z

    MODELING OF ELECTRONICALLY COMMUTATED MOTOR CONTROLLED FAN-POWERED TERMINAL UNITS A Thesis by JACOB LEE EDMONDSON 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 December 2009 Major Subject: Mechanical Engineering MODELING OF ELECTRONICALLY COMMUTATED MOTOR CONTROLLED FAN-POWERED TERMINAL UNITS A Thesis by JACOB LEE EDMONDSON Submitted to the Office...

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

    E-Print Network [OSTI]

    Dougherty, Michael

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

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

  15. Distributed Voltage and Current Control of Multi-Terminal High-Voltage Direct

    E-Print Network [OSTI]

    Dimarogonas, Dimos

    }@kth.se.) Abstract: High-voltage direct current (HVDC) is a commonly used technology for long-distance power for multi-terminal HVDC (MTDC) systems is proposed. Under certain conditions on the controller gains factor behind long-distance power transmission. High-voltage direct current (HVDC) is a commonly used

  16. Review of Literature on Terminal Box Control, Occupancy Sensing Technology and Multi-zone Demand Control Ventilation (DCV)

    SciTech Connect (OSTI)

    Liu, Guopeng; Dasu, Aravind R.; Zhang, Jian

    2012-03-01T23:59:59.000Z

    This report presents an overall review of the standard requirement, the terminal box control, occupancy sensing technology and DCV. There is system-specific guidance for single-zone systems, but DCV application guidance for multi-zone variable air volume (VAV) systems is not available. No real-world implementation case studies have been found using the CO2-based DCV. The review results also show that the constant minimum air flow set point causes excessive fan power consumption and potential simultaneous heating and cooling. Occupancy-based control (OBC) is needed for the terminal box in order to achieve deep energy savings. Key to OBC is a technology for sensing the actual occupancy of the zone served in real time. Several technologies show promise, but none currently fully meets the need with adequate accuracy and sufficiently low cost.

  17. Unified analysis of terminal-time control in classical and quantum systems

    E-Print Network [OSTI]

    Alexander Pechen; Herschel Rabitz

    2010-11-04T23:59:59.000Z

    Many phenomena in physics, chemistry, and biology involve seeking an optimal control to maximize an objective for a classical or quantum system which is open and interacting with its environment. The complexity of finding an optimal control for maximizing an objective is strongly affected by the possible existence of sub-optimal maxima. Within a unified framework under specified conditions, control objectives for maximizing at a terminal time physical observables of open classical and quantum systems are shown to be inherently free of sub-optimal maxima. This attractive feature is of central importance for enabling the discovery of controls in a seamless fashion in a wide range of phenomena transcending the quantum and classical regimes.

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

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

  20. Voltage-controllable generator of pure spin current: A three-terminal model

    SciTech Connect (OSTI)

    Ma, Zheng; Wu, Reng-Lai; Yu, Ya-Bin, E-mail: apybyu@hnu.edu.cn; Wang, Miao [School of Physics and Electronics, Hunan University, Changsha 410082 (China)

    2014-07-28T23:59:59.000Z

    Three-terminal devices have been frequently proposed to generate the pure spin current. However, the controllability and stability of pure spin current still needs to be improved. In this paper, a three-terminal device, composed of a ferromagnetic metallic lead and two nonmagnetic semiconductor leads coupled with a quantum dot, is employed to study the properties of electron spin transport. The results show that when the external voltage on one of nonmagnetic semiconductor leads is adjusted to a proper range, a pure spin current plateau or a fully spin-polarized current plateau appears in another nonmagnetic semiconductor lead. In a wide range of external voltage, the pure spin current or the spin-polarized current is kept unchanged. Since the change of temperature may considerably influence the spin-polarization of current and is inevitable actually, we studied the corresponding compensation to keep the pure spin current unchanged. Furthermore, the effect of device parameters on the pure spin current is also investigated.

  1. Control of mRNA Export and Translation Termination by Inositol Hexakisphosphate Requires Specific Interaction with Gle1*S

    E-Print Network [OSTI]

    Bedwell, David M.

    Control of mRNA Export and Translation Termination by Inositol Hexakisphosphate Requires Specific of the nuclear pore complex (NPC) is mediated by interactions between soluble mRNA export fac- tors and distinct binding sites on the NPC. At the cytoplasmic side of the NPC, the conserved mRNA export factors Gle1

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

    E-Print Network [OSTI]

    Yin, Peng

    2011-10-21T23:59:59.000Z

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

  3. Abstract--In this paper, we present the voltage build up process and the terminal voltage control of an isolated wind

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Abstract-- In this paper, we present the voltage build up process and the terminal voltage control that when capacitors are connected across the stator terminals of an induction machine, driven in the stator will continue to grow until steady-state condition is reached [2, 3]. However, self excitation has

  4. Optimizing terminal conditions using geometric guidance for low-control authority munitions

    E-Print Network [OSTI]

    Tisa, Paul C

    2008-01-01T23:59:59.000Z

    Small munition effectiveness is a function of miss distance from the target and ability to achieve a steep flight path angle at the target. Many small guided munitions have limited control authority to achieve these competing ...

  5. W-026 acceptance test plan plant control system hardware (submittal {number_sign} 216)

    SciTech Connect (OSTI)

    Watson, T.L., Fluor Daniel Hanford

    1997-02-14T23:59:59.000Z

    Acceptance Testing of the WRAP 1 Plant Control System Hardware will be conducted throughout the construction of WRAP I with the final testing on the Process Area hardware being completed in November 1996. The hardware tests will be broken out by the following functional areas; Local Control Units, Operator Control Stations in the WRAP Control Room, DMS Server, PCS Server, Operator Interface Units, printers, DNS terminals, WRAP Local Area Network/Communications, and bar code equipment. This document will contain completed copies of each of the hardware tests along with the applicable test logs and completed test exception reports.

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

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

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

  9. CONTROL CHART DASHBOARDS MANAGING YOUR NUMBERS INSTEAD OF YOU NUMBER MANAGING YOU

    SciTech Connect (OSTI)

    PREVETTE, S.S.

    2006-11-15T23:59:59.000Z

    This paper, which documents Fluor Hanford's application of Statistical Process Control (SPC) and Dashboards to support planning and decision making, is a sequel to ''Leading with Leading Indicators'' that was presented at WM 05. This year's paper provides more detail on management's use of SPC and control charts and discusses their integration into an executive summary using the popular color-cod3ed dashboard methodology. Fluor Hanford has applied SPC in a non-traditional (that is non-manufacturing) manner. Dr. Shewhart's 75-year-old control-chart methodologies have been updated to modern data processing, but are still founded on his sound, tried and true principles. These methods are playing a key role in safety and quality at what has been called the world's largest environmental cleanup project. The US Department of Energy's (DOE's) Hanford Site played a pivotal role in the nation's defense, beginning in the 1940s when it was established as part of the Manhattan Project. After more than 50 years of producing nuclear weapons, Hanford--which covers 586 square miles in southeastern Washington state--is now focused on three outcomes: (1) restoring the Columbia River corridor for multiple uses; (2) transitioning the central plateau to support long-term waste management; and (3) putting DOE assets to work for the future.

  10. INVITED SESSION NUMBER: 157 Event-Based Feedback Control

    E-Print Network [OSTI]

    Moehlis, Jeff

    . INTRODUCTION Symptoms of neuromotor disorders, such as Parkinson's Disease (PD), have been linked-compulsive disorder, and even depression [1]. Since its approval by the FDA in 1997 for use in advanced cases of PD models, that are each equipped with both a stimulus and feedback electrode. We seek to develop a control

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

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

  13. Improving Building Comfort and Energy Savings of the McKenzie Airport Terminal by Maintaining and Improving Pneumatic Control Systems 

    E-Print Network [OSTI]

    Liu, C.; Bruner, H. L.; Deng, S.; Brundidge, T.; Turner, W. D.; Claridge, D. E.

    2004-01-01T23:59:59.000Z

    , had some form of deteriorated controls, components, and operational function. For example, most of pneumatic controls were failed due to bad components, wrong settings, and disconnection before the Continuous CommissioningR (CCSM). This caused humid...

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

  15. Intermodal Hubs Combi-terminal

    E-Print Network [OSTI]

    Texas at Austin, University of

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

  16. Refuting the odd number limitation of time-delayed feedback control

    E-Print Network [OSTI]

    B. Fiedler; V. Flunkert; M. Georgi; P. Hoevel; E. Schoell

    2007-02-12T23:59:59.000Z

    We refute an often invoked theorem which claims that a periodic orbit with an odd number of real Floquet multipliers greater than unity can never be stabilized by time-delayed feedback control in the form proposed by Pyragas. Using a generic normal form, we demonstrate that the unstable periodic orbit generated by a subcritical Hopf bifurcation, which has a single real unstable Floquet multiplier, can in fact be stabilized. We derive explicit analytical conditions for the control matrix in terms of the amplitude and the phase of the feedback control gain, and present a numerical example. Our results are of relevance for a wide range of systems in physics, chemistry, technology,and life sciences, where subcritical Hopf bifurcations occur.

  17. Improving Building Comfort and Energy Savings of the McKenzie Airport Terminal by Maintaining and Improving Pneumatic Control Systems

    E-Print Network [OSTI]

    Liu, C.; Bruner, H. L.; Deng, S.; Brundidge, T.; Turner, W. D.; Claridge, D. E.

    2004-01-01T23:59:59.000Z

    -cooled. Compressors are turned on and off to maintain the adjustable chilled water supply temperature at the setpoint of 43 ?F. The existing chilled water supply temperature was 41 ?F, because the thermostat, which is controlling the chilled water supply... have individual economizers, the chilled water pump is switched on and off by the outside air thermostat. It shall be on if the sensed temperature is above 55 ?F and shall remain on until the sensed temperature falls below 53 ?F. Prior to CCSM...

  18. Atomic control and characterization of surface defect states of TiO{sub 2} terminated SrTiO{sub 3} single crystals

    SciTech Connect (OSTI)

    Kareev, M.; Prosandeev, S.; Liu, J.; Gan, C.; Kareev, A.; Xiao, Min; Chakhalian, J. [University of Arkansas, Fayetteville, Arkansas 72701 (United States); Freeland, J. W. [Advanced Photon Source, Argonne National Laboratory, Argonne, Illinois 60439 (United States)

    2008-08-11T23:59:59.000Z

    By using an alternative wet-etch procedure, we have obtained high-quality atomically flat TiO{sub 2} terminated surfaces of SrTiO{sub 3} single crystals with the morphology equivalent to that of the conventional wet-etch methods. By applying a combined power of photoluminescence (PL) spectroscopy, reflection high-energy electron diffraction, atomic force microscopy imaging, and soft x-ray absorption (XAS), we were able to identify and monitor the complex evolution of oxygen defect states and Ti valency at the surface and near-surface layers. Our experiments revealed a high level of local defects resulting in the presence of the Ti{sup 3+} states at the surface. We have developed a method to control the defect states capable of a marked reduction of the defect concentration. We have demonstrated that the PL and XAS are able to distinguish the surface-related Ti{sup 3+} states from oxygen vacancies trapping charge transfer vibronic excitons that define the PL intensity. The experimental findings will have important implications for the growth of high-quality ultrathin complex oxide heterostructures.

  19. Atomic control and characterization of surface defect states of TiO(sub 2) terminated SrTiO(sub 3) single crystals.

    SciTech Connect (OSTI)

    Kareev, M.; Prosandeev, S.; Liu, J.; Gan, C.; Kareev, A.; Freeland, J. W.; Xiao, M.; Chakhalian, J.; Univ. of Arkansas

    2008-08-11T23:59:59.000Z

    By using an alternative wet-etch procedure, we have obtained high-quality atomically flat TiO{sub 2} terminated surfaces of SrTiO{sub 3} single crystals with the morphology equivalent to that of the conventional wet-etch methods. By applying a combined power of photoluminescence (PL) spectroscopy, reflection high-energy electron diffraction, atomic force microscopy imaging, and soft x-ray absorption (XAS), we were able to identify and monitor the complex evolution of oxygen defect states and Ti valency at the surface and near-surface layers. Our experiments revealed a high level of local defects resulting in the presence of the Ti{sup 3+} states at the surface. We have developed a method to control the defect states capable of a marked reduction of the defect concentration. We have demonstrated that the PL and XAS are able to distinguish the surface-related Ti{sup 3+} states from oxygen vacancies trapping charge transfer vibronic excitons that define the PL intensity. The experimental findings will have important implications for the growth of high-quality ultrathin complex oxide heterostructures.

  20. Controlling the number of graphene sheets exfoliated from graphite by designed normal loading and frictional motion

    SciTech Connect (OSTI)

    Lee, Seungjun; Lu, Wei, E-mail: weilu@umich.edu [Department of Mechanical Engineering, University of Michigan, Ann Arbor, Michigan 48109 (United States)

    2014-07-14T23:59:59.000Z

    We use molecular dynamics to study the exfoliation of patterned nanometer-sized graphite under various normal loading conditions for friction-induced exfoliation. Using highly ordered pyrolytic graphite (HOPG) as well as both amorphous and crystalline SiO{sub 2} substrate as example systems, we show that the exfoliation process is attributed to the corrugation of the HOPG surface and the atomistic roughness of the substrate when they contact under normal loading. The critical normal strain, at which the exfoliation occurs, is higher on a crystalline substrate than on an amorphous substrate. This effect is related to the atomistic flatness and stiffness of the crystalline surface. We observe that an increase of the van der Waals interaction between the graphite and the substrate results in a decrease of the critical normal strain for exfoliation. We find that the magnitude of the normal strain can effectively control the number of exfoliated graphene layers. This mechanism suggests a promising approach of applying designed normal loading while sliding to pattern controlled number of graphene layers or other two-dimensional materials on a substrate surface.

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

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

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

  4. Estimation of the Number of Nucleotide Substitutions in the Control Region of Mitochondrial DNA in Humans and

    E-Print Network [OSTI]

    Nei, Masatoshi

    Estimation of the Number of Nucleotide Substitutions in the Control Region of Mitochondrial DNA of Molecular Evolutionary Genetics, The Pennsylvania State University Examining the pattern of nucleotide per site, as well as the total number of nucleotide substitutions. In this method, excess transitions

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

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

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

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

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

  10. Nash Equilibria for Combined Flow Control and Routing in Networks: Asymptotic Behavior for a Large Number of Users

    E-Print Network [OSTI]

    Srikant, Rayadurgam

    the number of users (players) is arbitrarily large. The utility function of each user is related to the powerNash Equilibria for Combined Flow Control and Routing in Networks: Asymptotic Behavior for a Large criterion, and is taken as the ratio of some positive power of the total throughput of that user

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

  12. MASS TRANSFER CONTROLLED REACTIONS IN PACKED BEDS AT LOW REYNOLDS NUMBERS

    E-Print Network [OSTI]

    Fedkiw, Peter S.

    2011-01-01T23:59:59.000Z

    Phase Mass Transfer 'in Fixed Beds at Low Reynolds Numbers,"Systems - In Particular in· Fixed Beds, Fluidized Beds andto a Sphere in a Fixed and Fluidized Bed," AIChE I. , Neale,

  13. 1. Introduction Logic controllers are used in an increasing number of sys-

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    systems, transport systems, power plants and production systems. Numerous components of our daily lives is designed or at avoid- ing flaws during design. The first approach consists in letting the control system by using model-checking techniques (Bérard et al., 1999) pro- vided that control laws can be formally

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

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

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

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

  18. p chart control limits based on a small number of subgroups

    E-Print Network [OSTI]

    Nedumaran, Gunabushanam

    1994-01-01T23:59:59.000Z

    The classical Shewhart p chart procedure requires data from at least 20 subgroups for setting up valid control limits, when the true fraction nonconforming of the process is unknown. This data requirement has prevented the use of p charts in short...

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

  20. Effect of Fuel Wobbe Number on Pollutant Emissions from Advanced Technology Residential Water Heaters: Results of Controlled Experiments

    SciTech Connect (OSTI)

    Rapp, VH; Singer, BC

    2014-03-01T23:59:59.000Z

    The research summarized in this report is part of a larger effort to evaluate the potential air quality impacts of using liquefied natural gas in California. A difference of potential importance between many liquefied natural gas blends and the natural gas blends that have been distributed in California in recent years is the higher Wobbe number of liquefied natural gas. Wobbe number is a measure of the energy delivery rate for appliances that use orifice- or pressure-based fuel metering. The effect of Wobbe number on pollutant emissions from residential water heaters was evaluated in controlled experiments. Experiments were conducted on eight storage water heaters, including five with “ultra low-NO{sub X}” burners, and four on-demand (tankless) water heaters, all of which featured ultra low-NO{sub X} burners. Pollutant emissions were quantified as air-free concentrations in the appliance flue and fuel-based emission factors in units of nanogram of pollutant emitter per joule of fuel energy consumed. Emissions were measured for carbon monoxide (CO), nitrogen oxides (NO{sub X}), nitrogen oxide (NO), formaldehyde and acetaldehyde as the water heaters were operated through defined operating cycles using fuels with varying Wobbe number. The reference fuel was Northern California line gas with Wobbe number ranging from 1344 to 1365. Test fuels had Wobbe numbers of 1360, 1390 and 1420. The most prominent finding was an increase in NO{sub X} emissions with increasing Wobbe number: all five of the ultra low-NO{sub X} storage water heaters and two of the four ultra low-NO{sub X} on-demand water heaters had statistically discernible (p<0.10) increases in NO{sub X} with fuel Wobbe number. The largest percentage increases occurred for the ultra low-NO{sub X} water heaters. There was a discernible change in CO emissions with Wobbe number for all four of the on-demand devices tested. The on-demand water heater with the highest CO emissions also had the largest CO increase with increasing fuel Wobbe number.

  1. Sandia technology. Volume 13, number 2 Special issue : verification of arms control treaties.

    SciTech Connect (OSTI)

    Not Available

    1989-03-01T23:59:59.000Z

    Nuclear deterrence, a cornerstone of US national security policy, has helped prevent global conflict for over 40 years. The DOE and DoD share responsibility for this vital part of national security. The US will continue to rely on nuclear deterrence for the foreseeable future. In the late 1950s, Sandia developed satellite-borne nuclear burst detection systems to support the treaty banning atmospheric nuclear tests. This activity has continued to expand and diversify. When the Non-Proliferation Treaty was ratified in 1970, we began to develop technologies to protect nuclear materials from falling into unauthorized hands. This program grew and now includes systems for monitoring the movement and storage of nuclear materials, detecting tampering, and transmiting sensitive data securely. In the late 1970s, negotiations to further limit underground nuclear testing were being actively pursued. In less than 18 months, we fielded the National Seismic Station, an unattended observatory for in-country monitoring of nuclear tests. In the mid-l980s, arms-control interest shifted to facility monitoring and on-site inspection. Our Technical On-site Inspection Facility is the national test bed for perimeter and portal monitoring technology and the prototype for the inspection portal that was recently installed in the USSR under the Intermediate-Range Nuclear Forces accord. The articles in the special issue of Sundiu Technology describe some of our current contributions to verification technology. This work supports the US policy to seek realistic arms control agreements while maintaining our national security.

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

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

  4. International Journal of Systems Science, 1999, volume 30, number 4, pages 395 405 Layered optimal supervisory control of discrete event dynamical

    E-Print Network [OSTI]

    Lim, Jong-Tae

    for a layered optimal supervisory control system is presented. 1. Introduction The concept of optimal desirable states in the controlled system. The optimal supervisory control problem was de® ned to determineInternational Journal of Systems Science, 1999, volume 30, number 4, pages 395± 405 Layered optimal

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  7. How the Number and Placement of Sensors Controlling Room Air Distribution Systems Affect Energy Use and Comfort 

    E-Print Network [OSTI]

    Wang, D.; Arens, E.; Webster, T.; Shi, M.

    2002-01-01T23:59:59.000Z

    This study assesses the impact of sensor number and placement on the energy needed to condition a typical office using several likely variants of an underfloor air distribution system (UFAD). The study uses an empirical-based room stratification...

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

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

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

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

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

  13. Controllable synthesis of graphene sheets with different numbers of layers and effect of the number of graphene layers on the specific capacity of anode material in lithium-ion batteries

    SciTech Connect (OSTI)

    Tong, Xin [Key Laboratory of Synthetic and Natural Functional Molecule Chemistry (Ministry of Education), College of Chemistry and Materials Science, Northwest University, Xi'an 710069 (China); Wang, Hui, E-mail: huiwang@nwu.edu.c [Key Laboratory of Synthetic and Natural Functional Molecule Chemistry (Ministry of Education), College of Chemistry and Materials Science, Northwest University, Xi'an 710069 (China); National Key Laboratory of Photoelectric Technology and Functional Materials (Culture Base), National Photoelectric Technology and Functional Materials and Application International Cooperation Base, Institute of Photonics and Photon-Technology, Northwest University, Xi'an 710069 (China); Wang, Gang [Key Laboratory of Synthetic and Natural Functional Molecule Chemistry (Ministry of Education), College of Chemistry and Materials Science, Northwest University, Xi'an 710069 (China); Wan, Lijuan; Ren, Zhaoyu; Bai, Jintao [National Key Laboratory of Photoelectric Technology and Functional Materials (Culture Base), National Photoelectric Technology and Functional Materials and Application International Cooperation Base, Institute of Photonics and Photon-Technology, Northwest University, Xi'an 710069 (China); Bai, Jinbo [Lab. MSS/MAT, CNRS UMR 8579, Ecole Centrale Paris, 92295 Chatenay Malabry (France)

    2011-05-15T23:59:59.000Z

    High quality graphene sheets are synthesized through efficient oxidation process followed by rapid thermal expansion and reduction by H{sub 2}. The number of graphene layers is controlled by tuning the oxidation degree of GOs. The higher the oxidation degree of GOs is getting, the fewer the numbers of graphene layers can be obtained. The material is characterized by elemental analysis, thermo-gravimetric analysis, scanning electron microscopy, atomic force microscopy, transmission electron microscopy and Fourier transform infrared spectroscopies. The obtained graphene sheets with single, triple and quintuplicate layers as anode materials exhibit a high reversible capacity of 1175, 1007, and 842 mA h g{sup -1}, respectively, which show that the graphene sheets with fewer layers have higher reversible capacity. -- Graphical abstract: The typical TEM images of the graphene sheets derived from GO3(a), GO2(b) and GO1(c). Display Omitted Highlights: {yields} With the oxidation degree of GO increasing, the numbers of graphene layers decreased. {yields} With the numbers of graphene layers decreasing, the reversible capacity improved. {yields} Graphene sheets with single-layer exhibit the best electrochemical performances.

  14. Greater Biopsy Core Number Is Associated With Improved Biochemical Control in Patients Treated With Permanent Prostate Brachytherapy

    SciTech Connect (OSTI)

    Bittner, Nathan [Tacoma/Valley Radiation Oncology Centers, Tacoma, WA (United States); Merrick, Gregory S., E-mail: gmerrick@urologicresearchinstitute.or [Schiffler Cancer Center/Wheeling Jesuit University, Wheeling, WV (United States); Galbreath, Robert W.; Butler, Wayne M. [Schiffler Cancer Center/Wheeling Jesuit University, Wheeling, WV (United States); Adamovich, Edward [Department of Pathology, Wheeling Hospital, Wheeling, WV (United States); Wallner, Kent E. [Radiation Oncology, Puget Sound Health Care System, Department of Veterans Affairs, Seattle, WA (United States)

    2010-11-15T23:59:59.000Z

    Purpose: Standard prostate biopsy schemes underestimate Gleason score in a significant percentage of cases. Extended biopsy improves diagnostic accuracy and provides more reliable prognostic information. In this study, we tested the hypothesis that greater biopsy core number should result in improved treatment outcome through better tailoring of therapy. Methods and Materials: From April 1995 to May 2006, 1,613 prostate cancer patients were treated with permanent brachytherapy. Patients were divided into five groups stratified by the number of prostate biopsy cores ({<=}6, 7-9, 10-12, 13-20, and >20 cores). Biochemical progression-free survival (bPFS), cause-specific survival (CSS), and overall survival (OS) were evaluated as a function of core number. Results: The median patient age was 66 years, and the median preimplant prostate-specific antigen was 6.5 ng/mL. The overall 10-year bPFS, CSS, and OS were 95.6%, 98.3%, and 78.6%, respectively. When bPFS was analyzed as a function of core number, the 10-year bPFS for patients with >20, 13-20, 10-12, 7-9 and {<=}6 cores was 100%, 100%, 98.3%, 95.8%, and 93.0% (p < 0.001), respectively. When evaluated by treatment era (1995-2000 vs. 2001-2006), the number of biopsy cores remained a statistically significant predictor of bPFS. On multivariate analysis, the number of biopsy cores was predictive of bPFS but did not predict for CSS or OS. Conclusion: Greater biopsy core number was associated with a statistically significant improvement in bPFS. Comprehensive regional sampling of the prostate may enhance diagnostic accuracy compared to a standard biopsy scheme, resulting in better tailoring of therapy.

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

  16. Efficient, high power battery module; d. c. transformers and multi-terminal d. c. power networks utilizing same

    SciTech Connect (OSTI)

    Heitz, R.G.

    1981-06-16T23:59:59.000Z

    Multiterminal, high voltage dc power networks is disclosed in which the sub-terminals are electrically isolated from each other comprise dc transformers, as the terminals. Each transformer comprises a large number of efficient, high energy batteries, connected as two separate groups: one group made up of paralleled long strings of series connected batteries and the other group made up of paralleled short strings of one or more batteries each. Each transformer also comprises automatic monitoring, control and switching means for periodically exchanging charged and discharged strings between the two groups, one of which-the ''primary''-is connected across the supply lines from the power source(s) for the network and the other of which-the ''secondary''-is connected across the service lines providing power to users thereof.

  17. Visual Sampling of In-Vehicle Text Messages Effects of Number of Lines, Page Presentation and Message Control

    E-Print Network [OSTI]

    Lee, John D.

    Visual Sampling of In-Vehicle Text Messages Effects of Number of Lines, Page Presentation of driving make it critically important to understand how characteristics of such information affect visual sampling of the roadway. This study used a medium-fidelity driving simulator to evaluate the effect

  18. Integrated emissions control system for residential CWS furnace. Annual status report number 1, 20 September 1989--30 September 1990

    SciTech Connect (OSTI)

    Balsavich, J.C.; Breault, R.W.

    1990-10-01T23:59:59.000Z

    One of the major obstacles to the successful development and commercialization of a coal-fired residential furnace is the need for a reliable, cost-effective emission control system. Tecogen Inc. is developing a novel, integrated emission control system to control NO{sub x}, SO{sub 2}, and particulate emissions. A reactor provides high sorbent particle residence time within the reactor to control SO{sub 2} emissions, while providing a means of extracting a substantial amount of the particulates present in the combustion gases. Final cleanup of any flyash exiting the reactor is completed with the use of high-efficiency bag filters. Tecogen Inc. developed a residential-scale Coal Water Slurry (CWS) combustor which makes use of centrifugal forces to separate and confine larger unburned coal particles in the furnace upper chamber. Various partitions are used to retard the axial, downward flow of these particles, and thus maximize their residence time in the hottest section of the combustor. By operating this combustor under staged conditions, the local stoichiometry in the primary zone can be controlled to minimize NO{sub x} emissions. During the first year of the program, work encompassed a literature search, developing an analytical model of the SO{sub 2} reactor, fabricating and assembling the initial prototype components, testing the prototype component, and estimating the operating and manufacturing costs.

  19. W-026 acceptance test report plant control system software(submittal {number_sign}223.02)

    SciTech Connect (OSTI)

    Watson, T.L.

    1997-02-14T23:59:59.000Z

    Acceptance Testing of the WRAP 1 Plant Control System software was conducted throughout the construction of WRAP 1 with final testing on the glovebox software being completed in December 1996. The software tests were broken out into five sections; one for each of the four Local Control Units and one for the supervisory software modules. This document contains a completed copy of the software tests along with the applicable test log and completed Exception Test Reports. The ETRs outside the scope of the contractor are not signed off. These will be resolved by the Buyer and all 1280 open issues will be tracked on Buyer`s ETR database pending resolution.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  10. Guidelines for sizing traffic queues in terminals of future protected satcom systems

    E-Print Network [OSTI]

    Wysocarski, Jeffrey S.

    Future military satellite communication systems will feature time-division multiple access (TDMA) uplinks in which uplink resources will be granted on demand to each terminal by a centralized resource controller. Due to ...

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

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

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

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

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

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

  17. Proceedings: Decommissioning--License Termination Plans and Final Site Release Workshop

    SciTech Connect (OSTI)

    None

    2004-03-01T23:59:59.000Z

    This report presents the proceedings of an EPRI workshop dealing with the subject of decommissioning license termination and final site release. The workshop was the ninth in a series designed to aid utility personnel in assessing technologies for decommissioning nuclear power plants. It focused on specific aspects of license termination activities and final site release as they relate to nuclear plant decommissioning. The information presented will help utilities control decommissioning costs by selecting the best practices and technologies

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

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

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

    E-Print Network [OSTI]

    Bonissone, Stefano Romoli

    2010-01-01T23:59:59.000Z

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

  1. Distributed Approaches for Determination of Reconfiguration Algorithm Termination

    E-Print Network [OSTI]

    Lai, Hong-jian

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

  2. Increasing Creel Interview Efficiency Through Early Survey Termination

    E-Print Network [OSTI]

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

  3. International Journal of Systems Science, 2000, volume 31, number 4, pages 519 527 Multi machine power system excitation control design via theories

    E-Print Network [OSTI]

    Qu, Zhihua

    . Controllers designed using modern state-space theory have been serving power systems for decades power system excitation control design via theories of feedback linearization control and nonlinear robust control DEQIANG GAN{, ZHIHUA QU{ and HONGZHI CAI{ The dynamics of a large-scale power system

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

    E-Print Network [OSTI]

    Kheirkhahi, Alireza

    2013-01-01T23:59:59.000Z

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

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

    SciTech Connect (OSTI)

    None

    2012-04-30T23:59:59.000Z

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

  6. Incomplete current fluctuation theorems for a four-terminal model

    E-Print Network [OSTI]

    Thilo Krause; Gernot Schaller; Tobias Brandes

    2011-10-21T23:59:59.000Z

    We demonstrate the validity of the current fluctuation theorem for a double quantum dot surrounded by four terminals within the Born-, Markov- and secular approximations beyond the Coulomb-blockade regime. The electronic tunneling to two fermionic contacts conserves the total number of electrons, and the internal tunneling is phonon-assisted by two bosonic baths. Adapted choice of thermodynamic parameters between the baths may drive a current against an existing electric or thermal gradient. We study the apparent violation of the fluctuation theorem when only some of the energy and matter currents are monitored.

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

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

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

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

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

  12. Permanent Home Number: Residential Number

    E-Print Network [OSTI]

    Viglas, Anastasios

    Permanent Home Number: Residential Number: Mobile: Please update my contact details. Signature nominated correspondence address as indicated below. Permanent Home Adress Residential Address Other Address (Must not be a PO Box) Residential Address (Must not be a PO Box) Other - Postal/Optional Address

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

  14. UNIT NUMBER:

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

    193 UNIT NUMBER: 197 UNIT NAME: CONCRETE RUBBLE PILE (30) REGULATORY STATUS: AOC LOCATION: Outside plant security fence, north of the plant on Big Bayou Creek on private property....

  15. UNIT NUMBER

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

    West end of Happy Ho ow Lake APPROXIMATE DIMENSIONS: 200 ft long by 4 ft wide -concrete 4-6 in thickness FUNCTION: Erosion control of dam face OPERATIONAL STATUS: In place...

  16. Vindicator Lidar Assessment for Wind Turbine Feed-Forward Control Applications: Cooperative Research and Development Final Report, CRADA Number CRD-09-352

    SciTech Connect (OSTI)

    Wright, A.

    2014-01-01T23:59:59.000Z

    Collaborative development and testing of feed-forward and other advanced wind turbine controls using a laser wind sensor.

  17. HIGH VOLTAGE TERMINAL IN COSY ELECTRON COOLER V.A. Chekavinskiy, E.A. Bekhtenev, I.A. Gusev, M.N. Kondaurov, V.R. Kozak, E.A. Kuper, V.R.

    E-Print Network [OSTI]

    Kozak, Victor R.

    HIGH VOLTAGE TERMINAL IN COSY ELECTRON COOLER V.A. Chekavinskiy, E.A. Bekhtenev, I.A. Gusev, M acceleration system ­ high voltage terminal. All power and control electronics were placed in a single isolated Voltage Terminal (HVT) in electron cooler is intended for generating of electron cooling beam

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  13. Grant Title: RESEARCH GRANTS FOR PREVENTING VIOLENCE AND VIOLENCE-RELATED INJURY Funding Opportunity Number: RFA-CE-14-006. CFDA Number(s): 93.136.

    E-Print Network [OSTI]

    Farritor, Shane

    Opportunity Number: RFA-CE-14-006. CFDA Number(s): 93.136. Agency/Department: Centers for Disease Control

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

  15. Carbonate platform growth and cyclicity at a terminal Proterozoic passive margin, Infra Krol Formation

    E-Print Network [OSTI]

    Kaufman, Alan Jay

    Carbonate platform growth and cyclicity at a terminal Proterozoic passive margin, Infra Krol lagoon, an arrangement reminiscent of many Phanerozoic and Proterozoic platforms. Growth of this complex. Variations in the number of both sets of cycles and component metre-scale cycles across the platform may

  16. Change Number

    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,625govInstrumentstdmadapInactiveVisiting the TWPSuccessAlamos LaboratoryCertified Reference6-02-01Change Number

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

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

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

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

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

  2. Energy Savings for Occupancy-Based Control (OBC) of Variable-Air-Volume (VAV) Systems

    SciTech Connect (OSTI)

    Zhang, Jian; Lutes, Robert G.; Liu, Guopeng; Brambley, Michael R.

    2013-01-24T23:59:59.000Z

    This study evaluates the savings potential of occupancy based control (OBC) for large office buildings with VAV terminal boxes installed.

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

  4. Dream controller

    DOE Patents [OSTI]

    Cheng, George Shu-Xing; Mulkey, Steven L; Wang, Qiang; Chow, Andrew J

    2013-11-26T23:59:59.000Z

    A method and apparatus for intelligently controlling continuous process variables. A Dream Controller comprises an Intelligent Engine mechanism and a number of Model-Free Adaptive (MFA) controllers, each of which is suitable to control a process with specific behaviors. The Intelligent Engine can automatically select the appropriate MFA controller and its parameters so that the Dream Controller can be easily used by people with limited control experience and those who do not have the time to commission, tune, and maintain automatic controllers.

  5. Electrical laser frequency tuning by three terminal terahertz quantum cascade lasers

    SciTech Connect (OSTI)

    Ohtani, K., E-mail: otanik@phys.ethz.ch; Beck, M.; Faist, J., E-mail: jerome.faist@phys.ethz.ch [Institute for Quantum Electronics, ETH Zurich, Wolfgang-Pauli Str. 16, 8093 Zurich (Switzerland)

    2014-01-06T23:59:59.000Z

    Electrical laser emission frequency tuning of a three terminal THz quantum cascade laser is demonstrated. A high electron mobility transistor structure is used in a surface plasmon waveguide to modulate the electron density in a channel, controlling the effective refractive index of the waveguide. The threshold current density was modulated by 28% via applying voltage from ?3 to 2?V. The observed laser emission frequency shift by electric field was 2?GHz. By using the three terminal devices, pure frequency modulation of the output light is, in principle, achievable.

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

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

  8. Development and characterization of a novel C-terminal inhibitor of Hsp90 in androgen dependent and independent prostate cancer cells

    E-Print Network [OSTI]

    Eskew, Jeffery D.; Sadikot, Takrima; Morales, Pedro; Duren, Alicia; Dunwiddie, Irene; Swink, Megan; Zhang, Xiaoying; Hembruff, Stacey; Donnelly, Alison C.; Rajewski, Roger A.; Blagg, Brian S. J.

    2011-10-31T23:59:59.000Z

    Background: The molecular chaperone, heat shock protein 90 (Hsp90) has been shown to be overexpressed in a number of cancers, including prostate cancer, making it an important target for drug discovery. Unfortunately, results with N-terminal...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  8. Termination and Reduction Checking for HigherOrder Logic Programs

    E-Print Network [OSTI]

    Pientka, Brigitte

    Termination and Reduction Checking for Higher­Order Logic Programs Brigitte Pientka Department, we present a syntax­directed termination and reduction checker for higher­order logic programs and output of well­moded predicates. These reduction con­ straints are exploited during termination checking

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  20. Thermopower of three-terminal topological superconducting systems

    E-Print Network [OSTI]

    Stefano Valentini; Rosario Fazio; Vittorio Giovannetti; Fabio Taddei

    2015-01-26T23:59:59.000Z

    We study the thermopower of a three-terminal setup composed of a quantum dot attached to three electrodes, one of which is a topological superconductor. In the model, superconductivity is explicitly taken into account. We compare the results for s-wave (trivial) and p-wave (topological) superconductors and observe that for small temperatures the thermopower has different sign in the two cases. This behavior is strongly dependent on temperature and we estimate an energy scale that controls the sign in the p-wave case, which results proportional to the square root of the gap and the coupling to superconductor. The analytical results obtained with a simple 1D model are confirmed by a more realistic tight-binding model.

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

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

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

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

  5. EMBEDDED DEVICE SET FOR CONTROL SYSTEMS. IMPLEMENTATION AND APPLICATIONS.

    E-Print Network [OSTI]

    Kozak, Victor R.

    devices implemented as embedded controllers for incorporating into controlled equipment like power to functions, parameters and reliability of automation components initialize creating a new generation between terminal equipment and control devices implemented in CAMAC standard. For avoiding this problem

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

  7. Presence of Terminal EPIYA Phosphorylation Motifs in Helicobacter pylori CagA Contributes to IL-8 Secretion,

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Presence of Terminal EPIYA Phosphorylation Motifs in Helicobacter pylori CagA Contributes to IL-8 Phosphorylation Motifs in Helicobacter pylori CagA Contributes to IL-8 Secretion, Irrespective of the Number-mail: sgouras@pasteur.gr Introduction Helicobacter pylori (H. pylori) colonize the gastric mucosa of 35­ 70

  8. Table 2. Change in the Number of Personal Computers and Computer Terminals

    Annual Energy Outlook 2013 [U.S. Energy Information Administration (EIA)]

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742 33 111 1,613 122Commercial ConsumersThousandCubic Feet) DecadeV49 155 181 1773 January1998,

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

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

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

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

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

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

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

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

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

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

  19. Site directed spin labeling studies of Escherichia coli dihydroorotate dehydrogenase N-terminal extension

    SciTech Connect (OSTI)

    Couto, Sheila G. [Instituto de Fisica de Sao Carlos, Universidade de Sao Paulo, Av. Trabalhador Sao-carlense 400, C.P. 369, 13560-970, Sao Carlos, SP (Brazil) [Instituto de Fisica de Sao Carlos, Universidade de Sao Paulo, Av. Trabalhador Sao-carlense 400, C.P. 369, 13560-970, Sao Carlos, SP (Brazil); Grupo de Biofisica e Fisica Aplicada a Medicina, Instituto de Fisica, Universidade Federal de Goias, Campus Samambaia, C.P. 131, 74001-970, Goiania, GO (Brazil); Cristina Nonato, M. [Laboratorio de Cristalografia de Proteinas, Faculdade de Ciencias Farmaceuticas de Ribeirao Preto, Universidade de Sao Paulo, Av. do Cafe S/N, 14040-903, Ribeirao Preto, SP (Brazil)] [Laboratorio de Cristalografia de Proteinas, Faculdade de Ciencias Farmaceuticas de Ribeirao Preto, Universidade de Sao Paulo, Av. do Cafe S/N, 14040-903, Ribeirao Preto, SP (Brazil); Costa-Filho, Antonio J., E-mail: ajcosta@ffclrp.usp.br [Instituto de Fisica de Sao Carlos, Universidade de Sao Paulo, Av. Trabalhador Sao-carlense 400, C.P. 369, 13560-970, Sao Carlos, SP (Brazil); Departamento de Fisica, Faculdade de Filosofia, Ciencias e Letras de Ribeirao Preto, Av. Bandeirantes 3900, 14040-901, Ribeirao Preto, SP (Brazil)

    2011-10-28T23:59:59.000Z

    Highlights: Black-Right-Pointing-Pointer EcDHODH is a membrane-associated enzyme and a promising target for drug design. Black-Right-Pointing-Pointer Enzyme's N-terminal extension is responsible for membrane association. Black-Right-Pointing-Pointer N-terminal works as a molecular lid regulating access to the protein interior. -- Abstract: Dihydroorotate dehydrogenases (DHODHs) are enzymes that catalyze the fourth step of the de novo synthesis of pyrimidine nucleotides. In this reaction, DHODH converts dihydroorotate to orotate, using a flavine mononucleotide as a cofactor. Since the synthesis of nucleotides has different pathways in mammals as compared to parasites, DHODH has gained much attention as a promising target for drug design. Escherichia coli DHODH (EcDHODH) is a family 2 DHODH that interacts with cell membranes in order to promote catalysis. The membrane association is supposedly made via an extension found in the enzyme's N-terminal. In the present work, we used site directed spin labeling (SDSL) to specifically place a magnetic probe at positions 2, 5, 19, and 21 within the N-terminal and thus monitor, by using Electron Spin Resonance (ESR), dynamics and structural changes in this region in the presence of a membrane model system. Overall, our ESR spectra show that the N-terminal indeed binds to membranes and that it experiences a somewhat high flexibility that could be related to the role of this region as a molecular lid controlling the entrance of the enzyme's active site and thus allowing the enzyme to give access to quinones that are dispersed in the membrane and that are necessary for the catalysis.

  20. OMB Control Number: 1910-5165

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels DataDepartment of Energy Your Density Isn'tOrigin of Contamination in ManyDepartment of Order No. EA-212-AOAHU2014)OHIO E.P.A.OMB3A (03-94)

  1. OMB Control Number: 1910-5165

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels DataDepartment of Energy Your Density Isn'tOrigin of Contamination in ManyDepartment of Order No. EA-212-AOAHU2014)OHIO E.P.A.OMB3A

  2. OMB Control Number: 1910-5165

    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 Renewable Energy:Nanowire3627 FederalTransformers |OJT! September 5, 2008

  3. Random number stride in Monte Carlo calculations

    SciTech Connect (OSTI)

    Hendricks, J.S.

    1990-01-01T23:59:59.000Z

    Monte Carlo radiation transport codes use a sequence of pseudorandom numbers to sample from probability distributions. A common practice is to start each source particle a predetermined number of random numbers up the pseudorandom number sequence. This number of random numbers skipped between each source particles the random number stride, S. Consequently, the jth source particle always starts with the j{center dot}Sth random number providing correlated sampling'' between similar calculations. A new machine-portable random number generator has been written for the Monte Carlo radiation transport code MCNP providing user's control of the random number stride. First the new MCNP random number generator algorithm will be described and then the effects of varying the stride will be presented. 2 refs., 1 fig.

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

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

  6. Brookhaven National Laboratory Number: Revision

    E-Print Network [OSTI]

    Ohta, Shigemi

    NATIONAL LABORATORY LASER CONTROLLED AREA STANDARD OPERATING PROCEDURE (SOP) This document defines OPERATIONS Operation Maintenance Service Specific Operation (specify) #12;Number: PS-ESH-0083 Revision: 01 the safety management program for the laser system(s) listed below. All American National Standard Institute

  7. Apparatus and method for detecting and measuring changes in linear relationships between a number of high frequency signals

    DOE Patents [OSTI]

    Bittner, John W. (Shoreham, NY); Biscardi, Richard W. (Ridge, NY)

    1991-01-01T23:59:59.000Z

    An electronic measurement circuit for high speed comparison of the relative amplitudes of a predetermined number of electrical input signals independent of variations in the magnitude of the sum of the signals. The circuit includes a high speed electronic switch that is operably connected to receive on its respective input terminals one of said electrical input signals and to have its common terminal serve as an input for a variable-gain amplifier-detector circuit that is operably connected to feed its output to a common terminal of a second high speed electronic switch. The respective terminals of the second high speed electronic switch are operably connected to a plurality of integrating sample and hold circuits, which in turn have their outputs connected to a summing logic circuit that is operable to develop first, second and third output voltages, the first output voltage being proportional to a predetermined ratio of sums and differences between the compared input signals, the second output voltage being proportional to a second summed ratio of predetermined sums and differences between said input signals, and the third output voltage being proportional to the sum of signals to the summing logic circuit. A servo system that is operably connected to receive said third output signal and compare it with a reference voltage to develop a slowly varying feedback voltage to control the variable-gain amplifier in said common amplifier-detector circuit in order to make said first and second output signals independent of variations in the magnitude of the sum of said input signals.

  8. Apparatus and method for detecting and measuring changes in linear relationships between a number of high frequency signals

    DOE Patents [OSTI]

    Bittner, J.W.; Biscardi, R.W.

    1991-03-19T23:59:59.000Z

    An electronic measurement circuit is disclosed for high speed comparison of the relative amplitudes of a predetermined number of electrical input signals independent of variations in the magnitude of the sum of the signals. The circuit includes a high speed electronic switch that is operably connected to receive on its respective input terminals one of said electrical input signals and to have its common terminal serve as an input for a variable-gain amplifier-detector circuit that is operably connected to feed its output to a common terminal of a second high speed electronic switch. The respective terminals of the second high speed electronic switch are operably connected to a plurality of integrating sample and hold circuits, which in turn have their outputs connected to a summing logic circuit that is operable to develop first, second and third output voltages, the first output voltage being proportional to a predetermined ratio of sums and differences between the compared input signals, the second output voltage being proportional to a second summed ratio of predetermined sums and differences between said input signals, and the third output voltage being proportional to the sum of signals to the summing logic circuit. A servo system that is operably connected to receive said third output signal and compare it with a reference voltage to develop a slowly varying feedback voltage to control the variable-gain amplifier in said common amplifier-detector circuit in order to make said first and second output signals independent of variations in the magnitude of the sum of said input signals. 2 figures.

  9. ARE Update Volume 10. Number 6

    E-Print Network [OSTI]

    Carman, Hoy; Blank, Steven C.; Thompson, Jennifer

    2007-01-01T23:59:59.000Z

    the wholesale terminals (called “racks”), gasoline is storedgasoline is trans- ported throughout the United States in pipelines and waterborne barges to wholesale terminals

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  6. Magnetic reconnection at the termination shock in a striped pulsar wind

    E-Print Network [OSTI]

    Jerome Petri; Yuri Lyubarsky

    2007-07-12T23:59:59.000Z

    Most of the rotational luminosity of a pulsar is carried away by a relativistic magnetised wind in which the matter energy flux is negligible compared to the Poynting flux. Near the equatorial plane of an obliquely rotating pulsar magnetosphere, the magnetic field reverses polarity with the pulsar period, forming a wind with oppositely directed field lines. This structure is called a striped wind; dissipation of alternating fields in the striped wind is the object of our study. The aim of this paper is to study the conditions required for magnetic energy release at the termination shock of the striped pulsar wind. Magnetic reconnection is considered via analytical methods and 1D relativistic PIC simulations. An analytical condition on the upstream parameters for partial and full magnetic reconnection is derived from the conservation laws of energy, momentum and particle number density across the relativistic shock. Furthermore, by using a 1D relativistic PIC code, we study in detail the reconnection process at the termination shock. We found a very simple criterion for dissipation of alternating fields at the termination shock, depending on the upstream parameters of the flow. 1D relativistic PIC simulations are in agreement with our criterion. Thus, alternating magnetic fields annihilate easily at relativistic highly magnetised shocks.

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

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

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

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

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

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

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

  14. On the terminal velocity of sedimenting particles in a flowing fluid

    E-Print Network [OSTI]

    Marco Martins Afonso

    2008-06-11T23:59:59.000Z

    The influence of an underlying carrier flow on the terminal velocity of sedimenting particles is investigated both analytically and numerically. Our theoretical framework works for a general class of (laminar or turbulent) velocity fields and, by means of an ordinary perturbation expansion at small Stokes number, leads to closed partial differential equations (PDE) whose solutions contain all relevant information on the sedimentation process. The set of PDE's are solved by means of direct numerical simulations for a class of 2D cellular flows (static and time dependent) and the resulting phenomenology is analysed and discussed.

  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. Evaluation of the {sup 4}I{sub 11/2} terminal level lifetime for several neodymium-doped laser crystals and glasses

    SciTech Connect (OSTI)

    Bibeau, C.

    1995-04-25T23:59:59.000Z

    All models of lasing action require knowledge of the physical parameters involved, of which many can be measured or estimated. The value of the terminal level lifetime is an important parameter in modeling many high power laser systems since the terminal level lifetime can have a substantial impact on the extraction efficiency of the system. However, the values of the terminal level lifetimes for a number of important laser materials such as ND:YAG and ND:YLF are not well known. The terminal level lifetime, a measure of the time it takes for the population to drain out of the terminal (lower) lasing level, has values that can range from picoseconds to microseconds depending on the host medium, thus making it difficult to construct one definitive experiment for all materials. Until recently, many of the direct measurements of the terminal level lifetime employed complex energy extraction or gain recovery methods coupled with a numerical model which often resulted in large uncertainties in the measured lifetimes. In this report we demonstrate a novel and more accurate approach which employs a pump-probe technique to measure the terminal level lifetime of 16 neodymium-doped materials. An alternative yet indirect method, which is based on the ``Energy Gap Law,`` is to measure the nonradiative lifetime of another transition which has the same energy gap as the transition of the terminal level lifetime. Employing this simpler approach, we measured the lifetime for 30 neodymium-doped materials. We show for the first time a direct comparison between the two methods and determine that the indirect method can be used to infer the terminal level lifetime within a factor of two for most neodymium-doped glasses and crystals.

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

  2. Hyper Space Complex Number

    E-Print Network [OSTI]

    Shanguang Tan

    2007-04-23T23:59:59.000Z

    A new kind of numbers called Hyper Space Complex Numbers and its algebras are defined and proved. It is with good properties as the classic Complex Numbers, such as expressed in coordinates, triangular and exponent forms and following the associative and commutative laws of addition and multiplication. So the classic Complex Number is developed from in complex plane with two dimensions to in complex space with N dimensions and the number system is enlarged also.

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

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

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

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

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

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

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

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

    E-Print Network [OSTI]

    Iyer, Sridhar

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

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

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

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

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

  15. Control system for the Holifield Radioactive Ion Beam Facility

    SciTech Connect (OSTI)

    Tatum, B.A.; Juras, R.C.; Meigs, M.J.

    1995-12-31T23:59:59.000Z

    A new accelerator control system is being implemented as part of the development of the Holifield Radioactive Ion Beam Facility (HRIBF), a first generation radioactive ion beam (RIB) facility. The pre- existing accelerator control systems are based on 1970`s technology and addition or alteration of controls is cumbersome and costly. A new, unified control system for the cyclotron and tandem accelerators, the RIB injector, ion sources, and accelerator beam lines is based on a commercial product from Vista Control Systems, Inc. Several other accelerator facilities, as well as numerous industrial sites, are now using this system. The control system is distributed over a number of computers which communicate over Ethernet and is easily extensible. Presently, implementation at the HRIBF is based on VAX/VMS, VAX/ELN, VME, and Allen-Bradley PLC5 programmable logic controller architectures. Expansion to include UNIX platforms and CAMAC hardware support is planned. Operator interface is via X- terminals. The system has proven to be quite powerful, yet is has been easy to implement with a small staff. A Vista users group has resulted in shared software to implement specific controls. This paper details present system features and future implementations at the HRIBF.

  16. Defrost Temperature Termination in Supermarket Refrigeration Systems

    SciTech Connect (OSTI)

    Fricke, Brian A [ORNL; Sharma, Vishaldeep [ORNL

    2011-11-01T23:59:59.000Z

    The objective of this project was to determine the potential energy savings associated with implementing demand defrost strategies to defrost supermarket refrigerated display case evaporators, as compared to the widely accepted current practice of controlling display case defrost cycles with a preset timer. The defrost heater energy use of several representative display case types was evaluated. In addition, demand defrost strategies for refrigerated display cases as well as those used in residential refrigerator/freezers were evaluated. Furthermore, it is anticipated that future work will include identifying a preferred defrost strategy, with input from Retail Energy Alliance members. Based on this strategy, a demand defrost system will be designed which is suitable for supermarket refrigerated display cases. Limited field testing of the preferred defrost strategy will be performed in a supermarket environment.

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

  18. Cooled electrical terminal assembly and device incorporating same

    DOE Patents [OSTI]

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

    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.

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

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

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

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

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

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

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

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

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

  8. Peptides derived from human galectin-3 N-terminal tail interact with its carbohydrate recognition domain in a phosphorylation-dependent manner

    SciTech Connect (OSTI)

    Berbís, M. Álvaro [Chemical and Physical Biology Department, Centro de Investigaciones Biológicas, CSIC, 28040 Madrid (Spain)] [Chemical and Physical Biology Department, Centro de Investigaciones Biológicas, CSIC, 28040 Madrid (Spain); André, Sabine [Institute of Physiological Chemistry, Faculty of Veterinary Medicine, Ludwig-Maximilians University, 80539 Munich (Germany)] [Institute of Physiological Chemistry, Faculty of Veterinary Medicine, Ludwig-Maximilians University, 80539 Munich (Germany); Cañada, F. Javier [Chemical and Physical Biology Department, Centro de Investigaciones Biológicas, CSIC, 28040 Madrid (Spain)] [Chemical and Physical Biology Department, Centro de Investigaciones Biológicas, CSIC, 28040 Madrid (Spain); Pipkorn, Rüdiger [Central Peptide Synthesis Unit, German Cancer Research Center, 69120 Heidelberg (Germany)] [Central Peptide Synthesis Unit, German Cancer Research Center, 69120 Heidelberg (Germany); Ippel, Hans [Department of Biochemistry, CARIM, University of Maastricht, Maastricht (Netherlands) [Department of Biochemistry, CARIM, University of Maastricht, Maastricht (Netherlands); Department of Biochemistry, Molecular Biology and Biophysics, University of Minnesota, Minneapolis, MN 55455 (United States); Mayo, Kevin H. [Department of Biochemistry, Molecular Biology and Biophysics, University of Minnesota, Minneapolis, MN 55455 (United States)] [Department of Biochemistry, Molecular Biology and Biophysics, University of Minnesota, Minneapolis, MN 55455 (United States); Kübler, Dieter [Biomolecular Interactions, German Cancer Research Center, 69120 Heidelberg (Germany)] [Biomolecular Interactions, German Cancer Research Center, 69120 Heidelberg (Germany); Gabius, Hans-Joachim [Institute of Physiological Chemistry, Faculty of Veterinary Medicine, Ludwig-Maximilians University, 80539 Munich (Germany)] [Institute of Physiological Chemistry, Faculty of Veterinary Medicine, Ludwig-Maximilians University, 80539 Munich (Germany); Jiménez-Barbero, Jesús, E-mail: jjbarbero@cib.csic.es [Chemical and Physical Biology Department, Centro de Investigaciones Biológicas, CSIC, 28040 Madrid (Spain)] [Chemical and Physical Biology Department, Centro de Investigaciones Biológicas, CSIC, 28040 Madrid (Spain)

    2014-01-03T23:59:59.000Z

    Highlights: •Galectin-3 is composed of a carbohydrate recognition domain and an N-terminal tail. •Synthetic peptides derived from the tail are shown to interact with the CRD. •This interaction is modulated by Ser- and Tyr-phosphorylation of the peptides. -- Abstract: Galectin-3 (Gal-3) is a multi-functional effector protein that functions in the cytoplasm and the nucleus, as well as extracellularly following non-classical secretion. Structurally, Gal-3 is unique among galectins with its carbohydrate recognition domain (CRD) attached to a rather long N-terminal tail composed mostly of collagen-like repeats (nine in the human protein) and terminating in a short non-collagenous terminal peptide sequence unique in this lectin family and not yet fully explored. Although several Ser and Tyr sites within the N-terminal tail can be phosphorylated, the physiological significance of this post-translational modification remains unclear. Here, we used a series of synthetic (phospho)peptides derived from the tail to assess phosphorylation-mediated interactions with {sup 15}N-labeled Gal-3 CRD. HSQC-derived chemical shift perturbations revealed selective interactions at the backface of the CRD that were attenuated by phosphorylation of Tyr 107 and Tyr 118, while phosphorylation of Ser 6 and Ser 12 was essential. Controls with sequence scrambling underscored inherent specificity. Our studies shed light on how phosphorylation of the N-terminal tail may impact on Gal-3 function and prompt further studies using phosphorylated full-length protein.

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

  10. Multispecies weighted Hurwitz numbers

    E-Print Network [OSTI]

    Harnad, J

    2015-01-01T23:59:59.000Z

    The construction of hypergeometric 2D Toda $\\tau$-functions as generating functions for weighted Hurwitz numbers is extended to multispecies families. Both the enumerative geometrical significance of multispecies weighted Hurwitz numbers as weighted enumerations of branched coverings of the Riemann sphere and their combinatorial significance in terms of weighted paths in the Cayley graph of $S_n$ are derived. The particular case of multispecies quantum weighted Hurwitz numbers is studied in detail.

  11. Curvature and Tachibana numbers

    SciTech Connect (OSTI)

    Stepanov, Sergey E [Finance Academy under the Government of the Russian Federation, Moscow (Russian Federation)

    2011-07-31T23:59:59.000Z

    The aim of this paper is to define the rth Tachibana number t{sub r} of an n-dimensional compact oriented Riemannian manifold as the dimension of the space of conformally Killing r-forms, for r=1,2,...,n-1. We also describe properties of these numbers, by analogy with properties of the Betti numbers b{sub r} of a compact oriented Riemannian manifold. Bibliography: 25 titles.

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

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

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

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

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

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

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

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

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

    E-Print Network [OSTI]

    Bierlaire, Michel

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

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

  2. Definitions Numbered Space

    E-Print Network [OSTI]

    Behmer, Spencer T.

    Definitions · Numbered Space ­ a single space marked with a number and reserved for a single permit 24/7 · Unnumbered Space ­ a space which can be used by any customer allowed to park in that lot. High Low Average Question 4: If I buy a staff permit for an UNNUMBERED* space in a non-gated surface

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

  4. DOE/ID-Number

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

    have the potential to exceed the allowable storage and handling costs for biomass feedstocks. A more practical solution to storage losses is to control biological...

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

  6. Terminating states as a unique laboratory for testing nuclear energy density functional

    E-Print Network [OSTI]

    M. Zalewski; W. Satula

    2007-01-30T23:59:59.000Z

    Systematic calculations of favored signature maximum-spin I_max and unfavored signature I_max - 1 terminating states for [f 7/2 ^ n] and [d 3/2 ^ (-1) f 7/2 ^ (n+1)] configurations (n denotes number of valence particles) in A ~ 44 mass region are presented. Following the result of Zdunczuk et al., Phys. Rev. C71 (2005) 024305 the calculations are performed using Skyrme energy density functional with empirical Landau parameters and slightly reduced spin-orbit strength. The aim is to identify and phenomenologically restore rotational symmetry broken by the Skyrme-Hartree-Fock solutions. In particular, it is shown that correlation energy due to symmetry restoration is absolutely crucial in order to reproduce energy splitting E(I_max) - E(I_max -1) in [f 7/2 ^ n] configurations but is relatively less important for [d 3/2 ^ (-1) f 7/2 ^ (n+1)] configurations.

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

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

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

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

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

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

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

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

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

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

  17. Employment Verification Form The University of Florida Human Resource Services uses The Work Number to provide employment

    E-Print Network [OSTI]

    Mazzotti, Frank

    Rev. 2/14 Employment Verification Form The University of Florida Human Resource Services uses The Work Number to provide employment verifications for current and former employees who terminated-800-367-5690 to obtain employment verification. For more information regarding The Work Number, or UF employment

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

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

  20. Successive Backward Sweep Methods for Optimal Control of Nonlinear Systems with Constraints

    E-Print Network [OSTI]

    Cho, Donghyurn

    2013-08-13T23:59:59.000Z

    Continuous and discrete-time Successive Backward Sweep (SBS) methods for solving nonlinear optimal control problems involving terminal and control constraints are proposed in this dissertation. They closely resemble the Neighboring Extremals...

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

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

  4. Report number codes

    SciTech Connect (OSTI)

    Nelson, R.N. (ed.)

    1985-05-01T23:59:59.000Z

    This publication lists all report number codes processed by the Office of Scientific and Technical Information. The report codes are substantially based on the American National Standards Institute, Standard Technical Report Number (STRN)-Format and Creation Z39.23-1983. The Standard Technical Report Number (STRN) provides one of the primary methods of identifying a specific technical report. The STRN consists of two parts: The report code and the sequential number. The report code identifies the issuing organization, a specific program, or a type of document. The sequential number, which is assigned in sequence by each report issuing entity, is not included in this publication. Part I of this compilation is alphabetized by report codes followed by issuing installations. Part II lists the issuing organization followed by the assigned report code(s). In both Parts I and II, the names of issuing organizations appear for the most part in the form used at the time the reports were issued. However, for some of the more prolific installations which have had name changes, all entries have been merged under the current name.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  1. DOE/ID-Number

    Office of Scientific and Technical Information (OSTI)

    salt droplets at process temperature to support development of material balance and control systems in a used fuel treatment facility. In FY13, the project focused on testing a...

  2. DOE/ID-Number

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

    Air Act (CAA): The Federal Clean Air Act, or - CAA, is the basis for the national air pollution control effort. Basic elements of the act include national ambient air...

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

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

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

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

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

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

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

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

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

  12. A number of organizations,

    E-Print Network [OSTI]

    installed solar electric systems on a number of the city's buildings, including the Chicago Center for Green Technology shown here. CityofChicago Aggregated Purchasing--A Clean Energy Strategy SOLAR TODAY Aggregated Purchasing--A Clean Energy Strategy by Lori A. Bird and Edward A. Holt #12;November/December 2002 35 Power

  13. ALARA notes, Number 8

    SciTech Connect (OSTI)

    Khan, T.A.; Baum, J.W.; Beckman, M.C. [eds.] [eds.

    1993-10-01T23:59:59.000Z

    This document contains information dealing with the lessons learned from the experience of nuclear plants. In this issue the authors tried to avoid the `tyranny` of numbers and concentrated on the main lessons learned. Topics include: filtration devices for air pollution abatement, crack repair and inspection, and remote handling equipment.

  14. Device Independent Random Number Generation

    E-Print Network [OSTI]

    Mataj Pivoluska; Martin Plesch

    2015-02-23T23:59:59.000Z

    Randomness is an invaluable resource in today's life with a broad use reaching from numerical simulations through randomized algorithms to cryptography. However, on the classical level no true randomness is available and even the use of simple quantum devices in a prepare-measure setting suffers from lack of stability and controllability. This gave rise to a group of quantum protocols that provide randomness certified by classical statistical tests -- Device Independent Quantum Random Number Generators. In this paper we review the most relevant results in this field, which allow the production of almost perfect randomness with help of quantum devices, supplemented with an arbitrary weak source of additional randomness. This is in fact the best one could hope for to achieve, as with no starting randomness (corresponding to no free will in a different concept) even a quantum world would have a fully deterministic description.

  15. Weighted control systems

    E-Print Network [OSTI]

    Al-Radhi, Adhi Omar

    1974-01-01T23:59:59.000Z

    ) 50 3-10 Defects per Unit Control Charts (Sudden Increase in Number of Defects) 51 3-11 Defects per Unit Control Charts (Slow Increase in Number of Defects) 52 3-12 O. C. Curves of Fraction Defectives Control Charts. 54 3-13 O. C. Curves.... The exponential smoothing principle was introduced to quality control field in 1959. It was first adapted in the mean control chart [25]. Through this control system, the most recent information is weighted and combined with the weighted past observations. 10...

  16. Classification of nonlocal two-qubit gates using Schmidt number

    E-Print Network [OSTI]

    S Balakrishnan; Leona J Felicia; R Sankaranarayanan

    2010-03-31T23:59:59.000Z

    It is known from Schmidt decomposition that Schmidt number of nonlocal two-qubit quantum gates is 2 or 4. We identify conditions on geometrical points of a gate to have Schmidt number 2. A simple analysis reveals that Schmidt number 2 corresponds to controlled unitary gates with CNOT being the only perfect entangler. Further, it is shown that Schmidt strength and entangling power are maximum only for CNOT in the controlled unitary family.

  17. Classification of nonlocal two-qubit gates using Schmidt number

    E-Print Network [OSTI]

    Balakrishnan, S; Sankaranarayanan, R

    2009-01-01T23:59:59.000Z

    It is known from Schmidt decomposition that Schmidt number of nonlocal two-qubit quantum gates is 2 or 4. We identify conditions on geometrical points of a gate to have Schmidt number 2. A simple analysis reveals that Schmidt number 2 corresponds to controlled unitary gates with CNOT being the only perfect entangler. Further, it is shown that Schmidt strength and entangling power are maximum only for CNOT in the controlled unitary family.

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

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

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

  1. NSR Key Number Retrieval

    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)Integrated CodesTransparency VisitSilver Toyota PriusNSR Key Number Retrieval Pease

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

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

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

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

  6. Grant Application Package CFDA Number

    E-Print Network [OSTI]

    Talley, Lynne D.

    Grant Application Package CFDA Number: Opportunity Title: Offering Agency: Agency Contact: Opportunity Open Date: Opportunity Close Date: CFDA Description: Opportunity Number: Competition ID

  7. THE UNIVERSITY OF NORTH TEXAS EXPORT CONTROLS

    E-Print Network [OSTI]

    Mohanty, Saraju P.

    Regulations ECCN Export Control Classification Number ECO Export Controls Officer ITAR International Traffic in Arms Regulations OFAC Office of Foreign Assets Control (U.S. Department of the Treasury) ORED Office1 ______________________________________________ THE UNIVERSITY OF NORTH TEXAS EXPORT CONTROLS

  8. Grant Title: KNOWLEDGE DISSEMINATION CONFERENCE GRANTS PROGRAM ANNOUNCEMENT Funding Opportunity Number: CFDA Number(s) -93.243; Funding Opportunity Number -OA-08-002.

    E-Print Network [OSTI]

    Farritor, Shane

    Number: CFDA Number(s) - 93.243; Funding Opportunity Number - OA-08-002. Agency/Department: Department

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

  10. Hyperreal Waves on Transfinte, Terminated, Distortionless and Lossless, Transmission Lines

    E-Print Network [OSTI]

    A. H. Zemanian

    2004-06-10T23:59:59.000Z

    A prior work (see Chapter 8 of the book, ``Graphs and Networks: Transfinite and Nonstandard,'' Birkhauser-Boston, Cambridge, Mass., USA, 2004) examined the propagation of an electromagnetic wave on a transfinite transmission line, transfinite in the sense that infinitely many one-way infinite transmission lines are connected in cascade. That there are infinitely many such one-way infinite lines results in the wave propagating without ever reflecting at some discontinuity. The present work examines the cascade where the cascade terminates after only finitely many one-way infinite transmission lines, with the result that reflected waves are now produced at both the far end as well as at the initial end of the transfinite transmission line. The question of whether the reflected waves are infini tesimal or appreciable and whether they sum to an infinitesimal or appreciable amount are resolved for both distortionless and lossless lines. Finally, the generalizations to higher ranks of transfiniteness is briefly summarized.

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

    DOE Patents [OSTI]

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

    2010-03-23T23:59:59.000Z

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

  12. Comparative Study of the Adhesion, Friction, and Mechanical Properties of CF3-and CH3-Terminated

    E-Print Network [OSTI]

    Vanderlick, T. Kyle

    ,4 Ofparticularinterestastribologicalfilms have been SAMs terminated by fluorocarbon groups because of their inert nature and enhanced thermal stability. Surprisingly, however, fluorocarbon films were shown to actually produce higher

  13. Optimization Online - Global and finite termination of a two-phase ...

    E-Print Network [OSTI]

    Michael P. Friedlander

    2006-09-17T23:59:59.000Z

    Sep 17, 2006 ... Global and finite termination of a two-phase augmented Lagrangian filter method for general quadratic programs. Michael P. Friedlander (mpf ...

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

    E-Print Network [OSTI]

    Trujillo, Gloriana Victoria

    2010-01-01T23:59:59.000Z

    show defects in ALM and PLM mechanosensory axon termination,by overextension of ALM and ventral hooking of PLM, andabsence of PLM synaptic branch (Schaefer et al. , 2000).

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

    E-Print Network [OSTI]

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

    savings because the static pressure of the supply fan can be set lower than with parallel terminal unit systems. Elleson (1993) conducted a field study of cold air distri- bution systems with series and parallel fan powered terminal units in two separate... consumption, combin- ing the power of the supply fan and terminal units’ fans, was greater for series terminal unit systems. The simulations included a reduced supply static pressure for series units of 0.25 in. w.g. (62 Pa) less than the parallel units...

  16. Astroparticle yield and transport from extragalactic jet terminal shocks

    E-Print Network [OSTI]

    Fabien Casse; Alexandre Marcowith

    2004-11-15T23:59:59.000Z

    The present paper deals with the yield and transport of high-energy particle within extragalactic jet terminal shocks, also known as hotspots. We investigate in some details the cosmic ray, neutrinos and high-energy photons yield in hotspots of powerful FRII radio-galaxies by scanning all known spatial transport regimes, adiabatic and radiative losses as well as Fermi acceleration process. Since both electrons and cosmic rays are prone to the same type of acceleration, we derive analytical estimates of the maximal cosmic ray energy attainable in both toroidal and poloidal magnetic field dominated shock structures by using observational data on synchrotron emission coming from various hot-spots. One of our main conclusions is that the best hot-spot candidates for high energy astroparticle production is the extended ($L_{HS}\\geq 1kpc$), strongly magnetized ($B> 0.1mG$) terminal shock displaying synchrotron emission cut-off lying at least in the optical band. We found only one object (3C273A) over the six objects in our sample being capable to produce cosmic rays up to $10^{20}$ eV. Secondly, we investigate the astroparticle spectra produced by two characteric hot-spots (Cygnus A and 3C273 A) by applying a multi-scale MHD-kinetic scheme, coupling MHD simulations to kinetic computations using stochastic differential equations. We show that 3C273 A, matching the previous properties, may produce protons up to $10^{20}$ eV in a Kolmogorov type turbulence by both computing electron and cosmic ray acceleration. We also calculate the high-energy neutrino and gamma-ray fluxes on Earth produced through p-$\\gamma$ and p-p processes and compare them to the most sensitive astroparticle experiments.

  17. INCOMING DOCUMENT CONTROL FORM DOCUMENT DESCRIPTION ORGANIZATIO

    Office of Legacy Management (LM)

    INCOMING DOCUMENT CONTROL FORM DOCUMENT DESCRIPTION ORGANIZATIO )ATE COMPLETED: ACTION NUMBER: I I I DOCUMENT CONTROL DATE INITIALS DATA BASE: ACTION LOG: FILED: To : Doug...

  18. REAL-TIME CONTROL OF BUSES FOR SCHEDULE COORDINATION AT A TERMINAL

    E-Print Network [OSTI]

    Dessouky, Maged

    demonstrate that technology is most advantageous when the schedule slack is close to zero, when the headway and resources. Drivers have typically spent entire workshifts in the field serving customers, having only

  19. Controlling the Performance of a Three-Terminal Molecular Transistor: Conformational versus Conventional Gating

    E-Print Network [OSTI]

    Pandey, Ravi

    University, Houghton, Michigan 49931, United States Shashi P. Karna* U.S. Army Research Laboratory, Weapons *S Supporting Information ABSTRACT: The effect of conformational changes in the gate arm of a three of the gate field. The current modulation is found to reach its maximum only under exclusive effect of voltage

  20. Depositional and subrosional Salina halite-bed terminations in northeastern Ohio are structurally controlled

    SciTech Connect (OSTI)

    Coogan, A.H.; Peng, S. (Kent State Univ., OH (United States). Dept. of Geology)

    1994-04-01T23:59:59.000Z

    Halite bed-bearing Silurian Salina Group units B through F-4 occur in the subsurface of northeastern Ohio where they have been restudied in a five county (Ashtabula, Geauga, Lake, Portage, Trumbull) area of the eastern interior salt basin at the edge of the Appalachian Basin. Three major factors affect the distributional pattern of the salts. First is the underlying topography, especially the presence of thick (reef-like) Lockport Dolomite over a basement gravity and magnetic high on the west side of the study area. Second is the preferential subsidence along fault zones which bound the depositional limits of some salts, for example the southern B salt edge at the Suffield Fault Zone. Third is the patterned removal of salt in the subsurface in northeast Ashtabula County along northwest trending fault zones. The F-2, F-1 and D salts progressively disappear to the northeast in Ashtabula County, toward Lake Erie and the Pennsylvania border in northwest trending bands which coincide with identified lineaments in adjacent Pennsylvania, e.g. the Home-Gallizen lineament or are subparallel to it and similar ones e.g. the Blaisville-Broad Top and Tyrone-Mount Union lineaments. The cause of the progressively deeper removal of halite beds from the Salina F-2, F-1, D and B units can be attributed to fresh or brackish water influx and subrosion below the sub-Oriskany (Acadian) unconformity. No salt beds are found shallower than 300 feet below the Oriskany horizon base. It appears that maps of Salina salt beds reflect penecontemporaneous Paleozoic structural (hence topographic) features and hydrologic regimes.

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

    E-Print Network [OSTI]

    Wang, Jianxun

    2006-01-01T23:59:59.000Z

    produce prolactin Prl), Pit1 serves as a determiningof GH in precursors (GH + /Prl - ) at e17.5, with subsequentcoincident with activation of Prl gene transcription at p5-

  2. The concrete theory of numbers: initial numbers and wonderful properties of numbers repunit

    E-Print Network [OSTI]

    Boris V. Tarasov

    2007-04-07T23:59:59.000Z

    In this work initial numbers and repunit numbers have been studied. All numbers have been considered in a decimal notation. The problem of simplicity of initial numbers has been studied. Interesting properties of numbers repunit are proved: $gcd(R_a, R_b) = R_{gcd(a,b)}$; $R_{ab}/(R_aR_b)$ is an integer only if $gcd(a,b) = 1$, where $a\\geq1$, $b\\geq1$ are integers. Dividers of numbers repunit, are researched by a degree of prime number.

  3. Verification Challenges at Low Numbers

    SciTech Connect (OSTI)

    Benz, Jacob M.; Booker, Paul M.; McDonald, Benjamin S.

    2013-06-01T23:59:59.000Z

    Many papers have dealt with the political difficulties and ramifications of deep nuclear arms reductions, and the issues of “Going to Zero”. Political issues include extended deterrence, conventional weapons, ballistic missile defense, and regional and geo-political security issues. At each step on the road to low numbers, the verification required to ensure compliance of all parties will increase significantly. Looking post New START, the next step will likely include warhead limits in the neighborhood of 1000 . Further reductions will include stepping stones at1000 warheads, 100’s of warheads, and then 10’s of warheads before final elimination could be considered of the last few remaining warheads and weapons. This paper will focus on these three threshold reduction levels, 1000, 100’s, 10’s. For each, the issues and challenges will be discussed, potential solutions will be identified, and the verification technologies and chain of custody measures that address these solutions will be surveyed. It is important to note that many of the issues that need to be addressed have no current solution. In these cases, the paper will explore new or novel technologies that could be applied. These technologies will draw from the research and development that is ongoing throughout the national laboratory complex, and will look at technologies utilized in other areas of industry for their application to arms control verification.

  4. automated radar terminal system: Topics by E-print Network

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

    Ioannou A, utomatic is todesign and test avehicle control system in order toachieve full vehicle automation in the longitudinal vehicle following isan important feature of a fully...

  5. A Simulation Comp&son of Distributed Power Control Algorithms for Wireless Communications

    E-Print Network [OSTI]

    Chronopoulos, Anthony T.

    A Simulation Comp&son of Distributed Power Control Algorithms for Wireless Communications is the power control in the mobile terminals, which is a measure of energy efficiency. Controlling the power beiween self interested usersand predicting their choice of strategies was recently used for power control

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

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

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

  8. Changes in the Dynamics of Marine-Terminating Outlet Glaciers in West Greenland (2000-2009)

    E-Print Network [OSTI]

    Howat, Ian M.

    Changes in the Dynamics of Marine-Terminating Outlet Glaciers in West Greenland (2000-2009) 1 2 3 of Greenland's marine-terminating outlet glaciers indicate a rapid and complex response to external forcing Greenland's northwestern margin, it is unclear whether west Greenland glaciers have undergone

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

    E-Print Network [OSTI]

    Dubin, Paul D.

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

  10. Econometric Modelling of World Oil Supplies: Terminal Price and the Time to Depletion

    E-Print Network [OSTI]

    Mohaddes, Kamiar

    2012-03-02T23:59:59.000Z

    This paper develops a novel approach by which to identify the price of oil at the time of depletion; the so-called terminal price of oil. It is shown that while the terminal price is independent of both GDP growth and the price elasticity of energy...

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

    E-Print Network [OSTI]

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

    2015-04-08T23:59:59.000Z

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

  12. A New Stopping Criterion for Efficient Early Termination in Turbo Decoder Designs

    E-Print Network [OSTI]

    Hung, Shih-Hao

    A New Stopping Criterion for Efficient Early Termination in Turbo Decoder Designs Fan-Min Li and An, stopping criterion, early termination, Turbo codes, Turbo principle. 1. INTRODUCTION In 1993, a new class of Forward-Error-Correction (FEC) code, Turbo code, was introduced by Berrou, Glavieux and Thitimajashima [1

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

  14. Design of Bulk Railway Terminals for the Shale Oil and Gas Industry C. Tyler Dick1

    E-Print Network [OSTI]

    Barkan, Christopher P.L.

    Page 1 Design of Bulk Railway Terminals for the Shale Oil and Gas Industry C. Tyler Dick1 , P.E., M: Railway transportation is playing a key role in the development of many new shale oil and gas reserves in North America. In the rush to develop new shale oil and gas plays, sites for railway transload terminals

  15. N-Terminal Acetylation Acts as an Avidity Enhancer Within an Interconnected Multiprotein Complex

    SciTech Connect (OSTI)

    Scott, Daniel C.; Monda, Julie K.; Bennett, Eric J.; Harper, J. Wade; Schulman, Brenda A. (Harvard-Med); (SJCH)

    2012-10-25T23:59:59.000Z

    Although many eukaryotic proteins are amino (N)-terminally acetylated, structural mechanisms by which N-terminal acetylation mediates protein interactions are largely unknown. Here, we found that N-terminal acetylation of the E2 enzyme, Ubc12, dictates distinctive E3-dependent ligation of the ubiquitin-like protein Nedd8 to Cul1. Structural, biochemical, biophysical, and genetic analyses revealed how complete burial of Ubc12's N-acetyl-methionine in a hydrophobic pocket in the E3, Dcn1, promotes cullin neddylation. The results suggest that the N-terminal acetyl both directs Ubc12's interactions with Dcn1 and prevents repulsion of a charged N terminus. Our data provide a link between acetylation and ubiquitin-like protein conjugation and define a mechanism for N-terminal acetylation-dependent recognition.

  16. Data Compression with Prime Numbers

    E-Print Network [OSTI]

    Gordon Chalmers

    2005-11-16T23:59:59.000Z

    A compression algorithm is presented that uses the set of prime numbers. Sequences of numbers are correlated with the prime numbers, and labeled with the integers. The algorithm can be iterated on data sets, generating factors of doubles on the compression.

  17. Defining the Termination of the Asymptotic Giant Branch

    E-Print Network [OSTI]

    Noam Soker

    2007-12-22T23:59:59.000Z

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

  18. Variable Speed Drive Volumetric Tracking (VSDVT) for Airflow Control in Variable Air Volume (VAV) Systems 

    E-Print Network [OSTI]

    Liu, M.

    2002-01-01T23:59:59.000Z

    this method by integrating it with the static pressure reset techniques to prevent malfunctioning under several typical building operating problems. Unfortunately, this method can not be used in buildings which have pneumatic terminal box controllers...

  19. Fluid flow release regulating device, ERIP {number_sign}624: Final report

    SciTech Connect (OSTI)

    NONE

    1997-12-01T23:59:59.000Z

    DOE/ERIP project {number_sign}624 ``Fluid Flow Release Regulating Device`` designed, constructed, tested, and installed a rubber crest gate for regulating water levels at an impoundment such as a hydroelectric dam. A 92 foot long by 27 inch high rubber panel was installed in January 1997. Initial results were good until fabric degradation internal to the rubber caused loss of stiffness. Substitutes for the failed fabric are being tested. The project will continue after DOE participation terminates.

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

  1. automated container terminal: Topics by E-print Network

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

    Websites Summary: of a partial automation since they act on the control part of the vehicle. This increasing automationABV- A Low Speed Automation Project to Study the...

  2. Dynamic reconfiguration of terminal airspace during convective weather

    E-Print Network [OSTI]

    Michalek, Diana

    Dynamic airspace configuration (DAC) algorithms strive to restructure the U.S. National Airspace System (NAS) in ways that allow air traffic control to better manage aircraft flows. Although past research has largely focused ...

  3. The neutralizing effect of a polyclonal antibody raised against the N-terminal eighteen-aminoacid residues of birtoxin towards

    E-Print Network [OSTI]

    Hammock, Bruce D.

    The neutralizing effect of a polyclonal antibody raised against the N-terminal eighteen of the whole venom of P. transvaalicus. Polyclonal antibodies against the common N-terminal region

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

    SciTech Connect (OSTI)

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

    2005-08-01T23:59:59.000Z

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

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

    E-Print Network [OSTI]

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

  6. STATEMENT AND ACKNOWLEDGMENT OMB Control Number: 9000-0014

    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 PossibleRadiation Protection245C Unlimited ReleaseWelcome ton n u May

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

    E-Print Network [OSTI]

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

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

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

  9. Compendium of Experimental Cetane Numbers

    SciTech Connect (OSTI)

    Yanowitz, J.; Ratcliff, M. A.; McCormick, R. L.; Taylor, J. D.; Murphy, M. J.

    2014-08-01T23:59:59.000Z

    This report is an updated version of the 2004 Compendium of Experimental Cetane Number Data and presents a compilation of measured cetane numbers for pure chemical compounds. It includes all available single compound cetane number data found in the scientific literature up until March 2014 as well as a number of unpublished values, most measured over the past decade at the National Renewable Energy Laboratory. This Compendium contains cetane values for 389 pure compounds, including 189 hydrocarbons and 201 oxygenates. More than 250 individual measurements are new to this version of the Compendium. For many compounds, numerous measurements are included, often collected by different researchers using different methods. Cetane number is a relative ranking of a fuel's autoignition characteristics for use in compression ignition engines; it is based on the amount of time between fuel injection and ignition, also known as ignition delay. The cetane number is typically measured either in a single-cylinder engine or a constant volume combustion chamber. Values in the previous Compendium derived from octane numbers have been removed, and replaced with a brief analysis of the correlation between cetane numbers and octane numbers. The discussion on the accuracy and precision of the most commonly used methods for measuring cetane has been expanded and the data has been annotated extensively to provide additional information that will help the reader judge the relative reliability of individual results.

  10. The EMBO Journal Vol.16 No.10 pp.28742882, 1997 The N-terminal fingers of chicken GATA-2 and

    E-Print Network [OSTI]

    Clore, G. Marius

    The EMBO Journal Vol.16 No.10 pp.2874­2882, 1997 The N-terminal fingers of chicken GATA-2 and GATA to the conclusion that although in some All of the GATA proteins interact with their consensus cases the N-terminal whereas the C-terminal finger is both necessary and two adjacent zinc finger domains of this type, while

  11. Measurement of Component Cell Current-Voltage Characteristics in a Tandem-JunctionTwo-Terminal Solar Cell

    E-Print Network [OSTI]

    Deng, Xunming

    Measurement of Component Cell Current-Voltage Characteristics in a Tandem- JunctionTwo-Terminal-V) characteristics in a tandem-junction two-terminal solar cell is described. The measurements are performed with (a, solar cells Introduction In the course of fabricating and optimizing multiple-junction, two-terminal

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

  13. Effects of Palmitoylation on Dynamics and Phospholipid-Bilayer-Perturbing Properties of the N-Terminal Segment of Pulmonary

    E-Print Network [OSTI]

    Pompeu Fabra, Universitat

    Effects of Palmitoylation on Dynamics and Phospholipid-Bilayer- Perturbing Properties of the N-Terminal's, Newfoundland, Canada ABSTRACT It has been proposed that palmitoylation of the N-terminal segment of surfactant membrane models containing palmitoylated and nonpalmitoylated synthetic peptides, based on the N-terminal

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

  15. C-terminal Deletions of the Escherichia coli RecA Protein CHARACTERIZATION OF IN VIVO AND IN VITRO EFFECTS*

    E-Print Network [OSTI]

    Cox, Michael M.

    C-terminal Deletions of the Escherichia coli RecA Protein CHARACTERIZATION OF IN VIVO AND IN VITRO, Madison, Wisconsin 53706 A set of C-terminal deletion mutants of the RecA protein of Escherichia coli. In vivo, the deletion of 13 to 17 C-terminal residues results in increased sensitivity to mitomycin C

  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. Structure of bacteriophage T4 fibritin: a segmented coiled coil and the role of the C-terminal domain

    E-Print Network [OSTI]

    Tao, Yizhi Jane

    Structure of bacteriophage T4 fibritin: a segmented coiled coil and the role of the C-terminal and a small globular C-terminal domain about a crystallographic threefold axis. The coiled-coil domain is divided into three segments that are separated by insertion loops. The C-terminal domain, which consists

  18. Synthesis, Structure, Bridge-Terminal Exchange Kinetics, and Molecular Orbital Calculations of Pyrazolate-Bridged Digallium Complexes Containing

    E-Print Network [OSTI]

    Schlegel, H. Bernhard

    Synthesis, Structure, Bridge-Terminal Exchange Kinetics, and Molecular Orbital Calculations gallium atoms.8 Within this perspective, we report the synthesis, structure, bridge-terminal exchange multiplets for the bridging phenyl groups and sharper multiplets for the terminal phenyl groups. The 13C{1H

  19. Leaky termination at premature stop codons antagonizes nonsense-mediated mRNA decay in S. cerevisiae

    E-Print Network [OSTI]

    Bedwell, David M.

    yeast genes that encode proteins involved in the NMD process, UPF1, UPF2, and UPF3, also reduce termination in a upf1 strain and a [PSI+ ] strain using a collection of translation termination reporter Upf1p influences translation termination is poorly understood. The efficiency of translation

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

    E-Print Network [OSTI]

    Van Stryland, Eric

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