National Library of Energy BETA

Sample records for aggressive shift logic

  1. Measuring spouse aggression 

    E-Print Network [OSTI]

    Snow, Alicia Carleen

    1995-01-01

    Relationship aggression has received increasing attention over the past decade. National violence surveys have indicated that nearly 1.6 million women in the United states are beaten by their male partners each year. Rates of aggression by women...

  2. Timing analysis of logic=level digital circuits using uncertainty intervals 

    E-Print Network [OSTI]

    Bell, Joshua Asher

    1996-01-01

    Timing Analysis of Logic-Level Digital Circuits Using Competitive design of modem digital circuits requires high performance at reduced cost and time-to-market. Timing analysis is increasingly used to deal with the more aggressive timing constraints...

  3. DOE Continues Aggressive Energy Efficiency Enforcement Effort...

    Office of Environmental Management (EM)

    Aggressive Energy Efficiency Enforcement Effort with Nearly 30 New Proposed Penalties DOE Continues Aggressive Energy Efficiency Enforcement Effort with Nearly 30 New Proposed...

  4. Stick shift

    E-Print Network [OSTI]

    Parness, Aaron J. (Aaron Joseph), 1981-

    2004-01-01

    Stick Shift is a novel that has undergone several rounds of significant revision. Scott, the book's main character, is a sarcastic American who travels to England to move in with an ex-girlfriend. He experiences all of the ...

  5. Nominal Logic Programming 

    E-Print Network [OSTI]

    James Cheney; Christian Urban

    Nominal logic is an extension of first-order logic which provides a simple foundation for formalizing and reasoning about abstract syntax modulo consistent renaming of bound names (that is, ?-equivalence). This article investigates logic programming...

  6. Alienation and Dialectical Logic

    E-Print Network [OSTI]

    Wells, Harry K.

    1972-04-01

    ALIENATION AND DIALECTICAL LOGIC l Harry K. Wells This paper discusses the principles of dialectical logic as developed in the works of Hegel and Marx. The author demonstrates how cla.ssical logic (or formal logic) is primarily a logic... end; and the third is concerned with the negation of the negation of the laws of formal logic. The dialectical syllogism is applied to the problem of human history and the development of human society by tracing the development of alienation...

  7. A Logic for Parametric Polymorphism 

    E-Print Network [OSTI]

    Plotkin, Gordon; Abadi, Martin

    2003-11-05

    In this paper we introduce a logic for parametric polymorphism. Just as LCF is a logic for the simply-typed -calculus with recursion and arithmetic, our logic is a logic for System F. The logic permits the formal ...

  8. A Logical View of Composition 

    E-Print Network [OSTI]

    Abadi, Martin; Plotkin, Gordon

    2003-11-05

    We define two logics of safety specifications for reactive systems. The logics provide a setting for the study of composition rules. The two logics arise naturally from extant specification approaches; one of the logics ...

  9. Fuzzy logic controller optimization

    DOE Patents [OSTI]

    Sepe, Jr., Raymond B; Miller, John Michael

    2004-03-23

    A method is provided for optimizing a rotating induction machine system fuzzy logic controller. The fuzzy logic controller has at least one input and at least one output. Each input accepts a machine system operating parameter. Each output produces at least one machine system control parameter. The fuzzy logic controller generates each output based on at least one input and on fuzzy logic decision parameters. Optimization begins by obtaining a set of data relating each control parameter to at least one operating parameter for each machine operating region. A model is constructed for each machine operating region based on the machine operating region data obtained. The fuzzy logic controller is simulated with at least one created model in a feedback loop from a fuzzy logic output to a fuzzy logic input. Fuzzy logic decision parameters are optimized based on the simulation.

  10. Mathematical Logic Lecture Notes

    E-Print Network [OSTI]

    Krajíèek, Jan

    . . . . . . . . . . . . 47 3.4 Equational Classes and Universal Algebra . . . . . . . . . . . . . 51 4 Some Model Theory 57 4, logic is relatively recent: the 19th century pioneers were Bolzano, Boole, Cantor, Dedekind, Frege algebra, set theory, propositional logic, predicate logic, as clarifying the foundations of the natural

  11. Two Notions Contrasted: 'Logical Geography' and 'Logical Topography'

    E-Print Network [OSTI]

    Sloman, Aaron

    Two Notions Contrasted: 'Logical Geography' and 'Logical Topography' Variations on a theme by Gilbert Ryle: The logical topography of 'Logical Geography'. Aaron Sloman This file is http://www.cs.bham" to "Logical topography" (Thanks to Luc Beaudoin). Updated 3 Jan 2010: added link to work of David Jhave

  12. The relation between aggression and inflated self-concepts in aggressive children: a replication study 

    E-Print Network [OSTI]

    Meehan, Barbara Theresa

    2000-01-01

    This study examined the relation between inflated self-concepts and levels of aggression in a sample of 167 aggressive second- and third-grade students. Variable-oriented data analyses of children's self- and others' reports of competence...

  13. Truth & Knowledge in Logic & Mathematics

    E-Print Network [OSTI]

    Sher, G

    2012-01-01

    In The princi- ples of mathematics (2nd ed. , pp. v—xiv).Knowledge in Logic 85 Mathematics Gila Sher Abstract In thistruth, knowledge, logic, mathematics, composite reference,

  14. Logic and Logic Programming: a personal account

    E-Print Network [OSTI]

    Miller, Dale

    ``higher­order abstract syntax'': to me, this new approach to computing on syntax is the most novel aspect years ago. There was the fear then that if one leaves the well understood and familiar world of first­order, if we admit that the center of the world might not be first­order classical logic, then how do we

  15. Logic and Logic Programming: a personal account

    E-Print Network [OSTI]

    Miller, Dale

    "higher-order abstract syntax": to me, this new approach to computing on syntax is the most novel aspect years ago. There was the fear then that if one leaves the well understood and familiar world of first-order, if we admit that the center of the world might not be first-order classical logic, then how do we

  16. A restructurable logic simulator 

    E-Print Network [OSTI]

    Ledford, Gordon Lee

    1985-01-01

    A RESTRUCTURABLE LOGIC SIMULATOR A Thesis GORDON LEE LEDFORD, 111 Submitted to the Graduate College of Texas ARM University in partial fulfillment of the requirements for the degree of MASTER OF SCIENCE May 1985 Major Subject: Electrical...) Chanan Singh (Head of Department. ) May 1985 ABSTRACT A Restructurable Logic Simulator (May ]985) Gordon Lee Ledford. III, B. S. , Texas AgrM University Chairman ol' Advisory Committee: Dr. Noel R. Strader, ll Very large scale integration (VLSI...

  17. Logical Foundations Semantic Web

    E-Print Network [OSTI]

    Murawski, Andrzej

    Logical Foundations for the Semantic Web Ian Horrocks and Ulrike Sattler University of Manchester Manchester, UK {horrocks|sattler}@cs.man.ac.uk #12;Introduction #12;History of the Semantic Web · Web of the Web was much more ambitious than the reality of the existing (syntactic) Web: · TBL (and others) have

  18. Low Power Shift and Add Multiplier Design

    E-Print Network [OSTI]

    Marimuthu, C N; Ramesan, Aswathy; 10.5121/ijcsit.2010.2302

    2010-01-01

    Today every circuit has to face the power consumption issue for both portable device aiming at large battery life and high end circuits avoiding cooling packages and reliability issues that are too complex. It is generally accepted that during logic synthesis power tracks well with area. This means that a larger design will generally consume more power. The multiplier is an important kernel of digital signal processors. Because of the circuit complexity, the power consumption and area are the two important design considerations of the multiplier. In this paper a low power low area architecture for the shift and add multiplier is proposed. For getting the low power low area architecture, the modifications made to the conventional architecture consist of the reduction in switching activities of the major blocks of the multiplier, which includes the reduction in switching activity of the adder and counter. This architecture avoids the shifting of the multiplier register. The simulation result for 8 bit multiplie...

  19. 1997 Wiley-Liss, Inc. AGGRESSIVE BEHAVIOR

    E-Print Network [OSTI]

    Wisconsin at Madison, University of

    in humans. Our own interest in this phenomenon was piqued by a finding in Einon and Potegal's [1994] survey with distress during the tantrum. The post conflict reconciliation which occurs in several domains of human issue of Aggressive Behavior indicate, interest in this phenom- Contract grant sponsor: Harry Frank

  20. A Dynamic Hobbesian Approach to Aggression and Self-Regulation

    E-Print Network [OSTI]

    Geldhof, Gordon John

    2008-06-18

    solid theoretical framework for examining self-regulation, aggression, and resource control. This paradigm encourages researchers to consider the functions of aggression (reactive vs. instrumental) and forms of self-regulation (active vs. automatic...

  1. Sex differences in indirect aggression Psychological evidence from young adults

    E-Print Network [OSTI]

    Sex differences in indirect aggression Psychological evidence from young adults Nicole H. Hessa theories of sex differences in indirect aggression propose selection pressures that would have acted on older teenagers and adults. Evidence for sex differences in indirect aggression in adults, however

  2. The effects of normative classroom aggression and teacher support on changes in ethnically diverse elementary students' aggression 

    E-Print Network [OSTI]

    Kuhns, Clarissa Ivette

    2008-10-10

    This study examined the joint effects of the quality of teacher-student relationship support (TSRS) and normative levels of classroom aggression on individual aggression in a sample of 687 second-grade children who entered first grade...

  3. Shifting scintillator neutron detector

    DOE Patents [OSTI]

    Clonts, Lloyd G; Cooper, Ronald G; Crow, Jr., Morris Lowell; Hannah, Bruce W; Hodges, Jason P; Richards, John D; Riedel, Richard A

    2014-03-04

    Provided are sensors and methods for detecting thermal neutrons. Provided is an apparatus having a scintillator for absorbing a neutron, the scintillator having a back side for discharging a scintillation light of a first wavelength in response to the absorbed neutron, an array of wavelength-shifting fibers proximate to the back side of the scintillator for shifting the scintillation light of the first wavelength to light of a second wavelength, the wavelength-shifting fibers being disposed in a two-dimensional pattern and defining a plurality of scattering plane pixels where the wavelength-shifting fibers overlap, a plurality of photomultiplier tubes, in coded optical communication with the wavelength-shifting fibers, for converting the light of the second wavelength to an electronic signal, and a processor for processing the electronic signal to identify one of the plurality of scattering plane pixels as indicative of a position within the scintillator where the neutron was absorbed.

  4. Aggressive children's memory for attachment relevant information 

    E-Print Network [OSTI]

    Collie, Claire Futamase

    2004-09-30

    MEMORY FOR ATTACHMENT RELEVANT INFORMATION A Dissertation by CLAIRE FUTAMASE COLLIE Submitted to the Office of Graduate Studies of Texas A&M University in partial fulfillment of the requirements for the degree of DOCTOR... OF PHILOSOPHY May 2004 Major Subject: Psychology AGGRESSIVE CHILDREN?S MEMORY FOR ATTACHMENT RELEVANT INFORMATION A Dissertation by CLAIRE FUTAMASE COLLIE Submitted to Texas A&M University in partial...

  5. Manual transmission shift linkage

    SciTech Connect (OSTI)

    Sewell, J.S.

    1991-10-01

    This patent describes a sliding gear manual transmission (10) for an automotive vehicle including a transmission housing (11), an input shaft (12) journalled in the housing, an output shaft (13) axially aligned with the input shaft and journalled in the housing, a countershaft (15) journalled in the housing and carrying a cluster gear (17) thereon, the input shaft (12) terminating in an input gear (14), a plurality of gears (26,27,28,29,31,31) on the output shaft (13) in meshing engagement with the cluster gear (17), and a plurality of synchronizing clutches (36,38,41,42) on the output shaft and countershaft for engagement of gear ratios of the meshing gears, and an axially movable and rotatable shift rail (81) located in the housing and operatively connected to a shift lever (82) actuated by the vehicle operator, the improvement comprising an auxiliary shift rail (98) located in the housing (11) generally paralleling the first mentioned shift rail (81) to provide for actuation of fifth, sixth and reverse gears the auxiliary shift rail (98) having a 5-6 shift arm (104) journalled thereon for axial movement relative thereto, and a reverse shift arm (99) rotatably mounted thereon for axial movement therewith.

  6. The Logic of Parametric Probability

    E-Print Network [OSTI]

    Norman, Joseph W

    2012-01-01

    The computational method of parametric probability analysis is introduced. It is demonstrated how to embed logical formulas from the propositional calculus into parametric probability networks, thereby enabling sound reasoning about the probabilities of logical propositions. An alternative direct probability encoding scheme is presented, which allows statements of implication and quantification to be modeled directly as constraints on conditional probabilities. Several example problems are solved, from Johnson-Laird's aces to Smullyan's zombies. Many apparently challenging problems in logic turn out to be simple problems in algebra and computer science; often just systems of polynomial equations or linear optimization problems. This work extends the mathematical logic and parametric probability methods invented by George Boole.

  7. J. LOGIC PROGRAMMING 1993:12:1--199 1 LOGIC PROGRAM SYNTHESIS

    E-Print Network [OSTI]

    Lau, Kung-Kiu

    J. LOGIC PROGRAMMING 1993:12:1--199 1 LOGIC PROGRAM SYNTHESIS YVES DEVILLE AND KUNG­KIU LAU \\Lambda This paper presents an overview and a survey of logic program synthesis. Logic program synthesis get a logic pro­ gram satisfying the specification? Logic programming provides a uniquely nice

  8. Logic meets psychology 1 Marian Counihan What happens when logic and psychology meet?

    E-Print Network [OSTI]

    Löwe, Benedikt

    Logic meets psychology 1 Marian Counihan What happens when logic and psychology meet? 27 September) tel. 020 - 525 4531 Universiteit van Amsterdam Core logic course #12;Logic meets psychology 2 Marian course #12;Logic meets psychology 3 Marian Counihan What happens when logic and psychology meet? Two

  9. Performing aggressive code optimization with an ability to rollback changes made by the aggressive optimizations

    DOE Patents [OSTI]

    Gschwind, Michael K

    2013-07-23

    Mechanisms for aggressively optimizing computer code are provided. With these mechanisms, a compiler determines an optimization to apply to a portion of source code and determines if the optimization as applied to the portion of source code will result in unsafe optimized code that introduces a new source of exceptions being generated by the optimized code. In response to a determination that the optimization is an unsafe optimization, the compiler generates an aggressively compiled code version, in which the unsafe optimization is applied, and a conservatively compiled code version in which the unsafe optimization is not applied. The compiler stores both versions and provides them for execution. Mechanisms are provided for switching between these versions during execution in the event of a failure of the aggressively compiled code version. Moreover, predictive mechanisms are provided for predicting whether such a failure is likely.

  10. Logical Itemset Mining Shailesh Kumar

    E-Print Network [OSTI]

    Cortes, Corinna

    Logical Itemset Mining Shailesh Kumar Google Inc. Hyderabad, India Email: shkumar: {chandrasekhar.v@students, jawahar}@iiit.ac.in Abstract--Frequent Itemset Mining (FISM) attempts to find large baskets (projection property). We propose a simple and robust framework called LOGICAL ITEMSET MINING

  11. Binary Logic and Gates Introduction

    E-Print Network [OSTI]

    Bouhraoua, Abdelhafid

    . This binary system algebra is commonly referred to as Boolean Algebra after the mathematician George Boole, these functions are binary functions and require binary logic algebra for their derivation and manipulation Algebra Learn How to Map a Boolean Expressions into Logic Circuit Implementations Learn How To Manipulate

  12. Towards Magneto-Logic Gates in Graphene

    E-Print Network [OSTI]

    Wen, Hua

    2014-01-01

    using graphene based spintronic logic gates. Proc. SPIE,applications using spintronic devices for logic operationa leading candidate for spintronic applications due to its

  13. Analysis of complex networks using aggressive abstraction.

    SciTech Connect (OSTI)

    Colbaugh, Richard; Glass, Kristin.; Willard, Gerald

    2008-10-01

    This paper presents a new methodology for analyzing complex networks in which the network of interest is first abstracted to a much simpler (but equivalent) representation, the required analysis is performed using the abstraction, and analytic conclusions are then mapped back to the original network and interpreted there. We begin by identifying a broad and important class of complex networks which admit abstractions that are simultaneously dramatically simplifying and property preserving - we call these aggressive abstractions -- and which can therefore be analyzed using the proposed approach. We then introduce and develop two forms of aggressive abstraction: 1.) finite state abstraction, in which dynamical networks with uncountable state spaces are modeled using finite state systems, and 2.) onedimensional abstraction, whereby high dimensional network dynamics are captured in a meaningful way using a single scalar variable. In each case, the property preserving nature of the abstraction process is rigorously established and efficient algorithms are presented for computing the abstraction. The considerable potential of the proposed approach to complex networks analysis is illustrated through case studies involving vulnerability analysis of technological networks and predictive analysis for social processes.

  14. Benefits and Costs of Aggressive Energy Efficiency Programs and...

    Open Energy Info (EERE)

    Benefits and Costs of Aggressive Energy Efficiency Programs and the Impacts of Alternative Sources of Funding: Case Study of Massachusetts Jump to: navigation, search Tool Summary...

  15. Logic meets psychology 1 Marian Counihan What happens when logic and psychology meet?

    E-Print Network [OSTI]

    Löwe, Benedikt

    Logic meets psychology 1 Marian Counihan What happens when logic and psychology meet? 27 September) tel. 020 - 525 4531 Universiteit van Amsterdam Core logic course #12;Logic meets psychology 2 Marian Counihan What happens when logic and psychology meet? Two perspectives on the matter: - a psychologist

  16. Research Directions in Rewriting Logic ?

    E-Print Network [OSTI]

    Meseguer, José

    introduction to rewriting logic, and to paint in broad strokes the main research directions that, since its and Strategies ? Supported by Office of Naval Research Contracts N00014­95­C­0225 and N00014­96­ C­0114

  17. Subtypes of aggressive children based on parent ratings 

    E-Print Network [OSTI]

    Rodman, Jennifer K

    2013-02-22

    for aggressive behaviors on each of the eight subscales were above average. Cluster 2 consisted of 31 children who were rated by their parents as only average in aggressive behaviors on all eight subscales. Because all 54 subjects in this study had been...

  18. Automatic sources of aggression Alexander Todorov*, John A. Bargh1

    E-Print Network [OSTI]

    Bargh, John A.

    Automatic sources of aggression Alexander Todorov*, John A. Bargh1 Department of Psychology, New 2 August 2000 Abstract In this paper, we review research on automaticity with particular relevance to aggression. Once triggered by environmental features, preconscious automatic processes run to completion

  19. Homogeneous cosmology with aggressively expanding civilizations

    E-Print Network [OSTI]

    S. Jay Olson

    2014-11-17

    In the context of a homogeneous universe, we note that the appearance of aggressively expanding advanced life is geometrically similar to the process of nucleation and bubble growth in a first-order cosmological phase transition. We exploit this similarity to describe the dynamics of life saturating the universe on a cosmic scale, adapting the phase transition model to incorporate probability distributions of expansion and resource consumption strategies. Through a series of numerical solutions covering several orders of magnitude in the input assumption parameters, the resulting cosmological model is used to address basic questions related to the intergalactic spreading of life, dealing with issues such as timescales, observability, competition between strategies, and first-mover advantage. Finally, we examine physical effects on the universe itself, such as reheating and the backreaction on the evolution of the scale factor, if such life is able to control and convert a significant fraction of the available pressureless matter into radiation. We conclude that the existence of life, if certain advanced technologies are practical, could have a significant influence on the future large-scale evolution of the universe.

  20. Photonic integrated circuits for optical logic applications

    E-Print Network [OSTI]

    Williams, Ryan Daniel

    2007-01-01

    The optical logic unit cell is the photonic analog to transistor-transistor logic in electronic devices. Active devices such as InP-based semiconductor optical amplifiers (SOA) emitting at 1550 nm are vertically integrated ...

  1. A Syntactic Realization Theorem for Justification Logics

    E-Print Network [OSTI]

    Jäger, Gerhard

    Kuznets Institut f¨ur Informatik und angewandte Mathematik, Universit¨at Bern Neubr¨uckstrasse 10, CH-3012 logics avoid the well-known logical omniscience problem, as Artemov and Kuznets argue in [5]. The formal

  2. Programmable Cellular Logic: Past, Present, and Future

    E-Print Network [OSTI]

    Tessier, Russell

    Programmable Cellular Logic: Past, Present, and Future Russell Tessier \\Lambda Laboratory changes in technology and architectural trends as they pertain to cellular arrays since the 1960's. Direct comparisons of various cellular array architectural features with contemporary programmable logic features

  3. Peer aggression among adolescents: characteristics of the victims 

    E-Print Network [OSTI]

    D'Esposito, Susan Elaine

    2006-10-30

    Peer aggression is a significant problem among adolescents; it is relatively common and frequently experienced among adolescents. Recently, there has been growing attention to the occurrence and impact of bullying on adolescent's well being...

  4. Illusionist: Transforming Lightweight Cores into Aggressive Cores on Demand

    E-Print Network [OSTI]

    Torrellas, Josep

    Illusionist: Transforming Lightweight Cores into Aggressive Cores on Demand HPCA-19 February 27;Adapting to Application Demands Number of threads to execute is not constant o Many threads available

  5. Attachment theory as a predictor of female aggression 

    E-Print Network [OSTI]

    Beckner, Helen Minette

    2005-11-01

    A large body of research exists relative to male aggression. Studies over the past 30 years, especially as related to male-to-female intimacy violence in a domestic context, have contributed greatly to a better understanding ...

  6. Logic Design Chapter 2: Introduction to Logic Circuits

    E-Print Network [OSTI]

    Wu, Xiaolin

    their operations we use a mathematical tool called Boolean algebra (from English mathematician George Boole in 1800 tool called Boolean algebra (from English mathematician George Boole in 1800's) that operates on two;2013/9/5 3 (d) Network that implements g x 1 x 2 += Boolean Algebra · To design logic circuits and describe

  7. Phase shifting interferometer

    DOE Patents [OSTI]

    Sommargren, G.E.

    1999-08-03

    An interferometer is disclosed which has the capability of measuring optical elements and systems with an accuracy of {lambda}/1000 where {lambda} is the wavelength of visible light. Whereas current interferometers employ a reference surface, which inherently limits the accuracy of the measurement to about {lambda}/50, this interferometer uses an essentially perfect spherical reference wavefront generated by the fundamental process of diffraction. Whereas current interferometers illuminate the optic to be tested with an aberrated wavefront which also limits the accuracy of the measurement, this interferometer uses an essentially perfect spherical measurement wavefront generated by the fundamental process of diffraction. This interferometer is adjustable to give unity fringe visibility, which maximizes the signal-to-noise, and has the means to introduce a controlled prescribed relative phase shift between the reference wavefront and the wavefront from the optics under test, which permits analysis of the interference fringe pattern using standard phase extraction algorithms. 11 figs.

  8. Phase shifting diffraction interferometer

    DOE Patents [OSTI]

    Sommargren, Gary E. (Santa Cruz, CA)

    1996-01-01

    An interferometer which has the capability of measuring optical elements and systems with an accuracy of .lambda./1000 where .lambda. is the wavelength of visible light. Whereas current interferometers employ a reference surface, which inherently limits the accuracy of the measurement to about .lambda./50, this interferometer uses an essentially perfect spherical reference wavefront generated by the fundamental process of diffraction. This interferometer is adjustable to give unity fringe visibility, which maximizes the signal-to-noise, and has the means to introduce a controlled prescribed relative phase shift between the reference wavefront and the wavefront from the optics under test, which permits analysis of the interference fringe pattern using standard phase extraction algorithms.

  9. Phase shifting interferometer

    DOE Patents [OSTI]

    Sommargren, Gary E. (Santa Cruz, CA)

    1999-01-01

    An interferometer which has the capability of measuring optical elements and systems with an accuracy of .lambda./1000 where .lambda. is the wavelength of visible light. Whereas current interferometers employ a reference surface, which inherently limits the accuracy of the measurement to about .lambda./50, this interferometer uses an essentially perfect spherical reference wavefront generated by the fundamental process of diffraction. Whereas current interferometers illuminate the optic to be tested with an aberrated wavefront which also limits the accuracy of the measurement, this interferometer uses an essentially perfect spherical measurement wavefront generated by the fundamental process of diffraction. This interferometer is adjustable to give unity fringe visibility, which maximizes the signal-to-noise, and has the means to introduce a controlled prescribed relative phase shift between the reference wavefront and the wavefront from the optics under test, which permits analysis of the interference fringe pattern using standard phase extraction algorithms.

  10. Phase shifting diffraction interferometer

    DOE Patents [OSTI]

    Sommargren, G.E.

    1996-08-29

    An interferometer which has the capability of measuring optical elements and systems with an accuracy of {lambda}/1000 where {lambda} is the wavelength of visible light. Whereas current interferometers employ a reference surface, which inherently limits the accuracy of the measurement to about {lambda}/50, this interferometer uses an essentially perfect spherical reference wavefront generated by the fundamental process of diffraction. This interferometer is adjustable to give unity fringe visibility, which maximizes the signal-to-noise, and has the means to introduce a controlled prescribed relative phase shift between the reference wavefront and the wavefront from the optics under test, which permits analysis of the interference fringe pattern using standard phase extraction algorithms. 8 figs.

  11. Characterization of quantum states in predicative logic

    E-Print Network [OSTI]

    Giulia Battilotti

    2011-07-15

    We develop a characterization of quantum states by means of first order variables and random variables, within a predicative logic with equality, in the framework of basic logic and its definitory equations. We introduce the notion of random first order domain and find a characterization of pure states in predicative logic and mixed states in propositional logic, due to a focusing condition. We discuss the role of first order variables and the related contextuality, in terms of sequents.

  12. PERFORMANCE ENHANCEMENT TECHNIQUES FOR PHASED LOGIC CIRCUITS

    E-Print Network [OSTI]

    Thornton, Mitchell

    , these mechanims have been added to Phased Logic circuits by ad-hoc and manual means that require a designers

  13. Low-overhead surface code logical Hadamard

    E-Print Network [OSTI]

    Austin G. Fowler

    2012-09-08

    We present an improved low-overhead implementation of surface code logical H. We describe in full detail logical H applied to a single distance 7 double-defect logical qubit in an otherwise idle scalable array such qubits. Our goal is to provide a clear description of logical H and to emphasize that the surface code possesses low-overhead implementations of the entire Clifford group.

  14. General Logic-Systems and Consequence Operators

    E-Print Network [OSTI]

    Robert A. Herrmann

    2006-06-03

    In this paper, general logic-systems are investigated. It is shown that there are infinitely many finite consequence operators defined on a fixed language L that cannot be generated from a finite logic-system. It is shown that a set map is a finite consequence operator iff it is defined by a general logic-system.

  15. Hybrid Ockhamist Temporal Logic Patrick Blackburn

    E-Print Network [OSTI]

    Goranko, Valentin

    Hybrid Ockhamist Temporal Logic Patrick Blackburn INRIA, Lorraine Campus Scientifique, BP 239 Nancy Johannesburg, South Africa vfg@na.rau.ac.za Abstract We introduce hybrid Ockhamist temporal logic, which combines the mechanisms of hybrid logic with Ockhamist semantics by employing nominals, satisfaction

  16. Constraint Logic Programming Marco Gavanelli1

    E-Print Network [OSTI]

    Rossi, Francesca

    Constraint Logic Programming Marco Gavanelli1 and Francesca Rossi2 1 Dipartimento di Ingegneria Logic Programming (CLP) is one of the most successful branches of Logic Programming; it attracts either as open source programs or as commercial systems. Also, CLP has been one of the technologies able

  17. New noise-based logic representations to avoid some problems with time complexity

    E-Print Network [OSTI]

    H. Wen; L. B. Kish; A. Klappenecker; F. Peper

    2012-01-07

    Instantaneous noise-based logic can avoid time-averaging, which implies significant potential for low-power parallel operations in beyond-Moore-law-chips. However, the universe (uniform superposition) will be zero with high probability (non-zero with exponentially low probability) in the random-telegraph-wave representation thus the operations with the universe would require exponential time-complexity. To fix this deficiency, we modify the amplitudes of the signals of the L and H states and achieve an exponential speedup compared to the old situation. Another improvement concerns the identification of a single product (hyperspace) state. We introduce a time shifted noise-based logic, which is constructed by shifting each reference signal with a small time delay. This modification implies an exponential speedup of single hyperspace vector identification compared to the former case and it requires the same, O(N) complexity as in quantum computing.

  18. Electronic logic for enhanced switch reliability

    DOE Patents [OSTI]

    Cooper, J.A.

    1984-01-20

    A logic circuit is used to enhance redundant switch reliability. Two or more switches are monitored for logical high or low output. The output for the logic circuit produces a redundant and fail-safe representation of the switch outputs. When both switch outputs are high, the output is high. Similarly, when both switch outputs are low, the logic circuit's output is low. When the output states of the two switches do not agree, the circuit resolves the conflict by memorizing the last output state which both switches were simultaneously in and produces the logical complement of this output state. Thus, the logic circuit of the present invention allows the redundant switches to be treated as if they were in parallel when the switches are open and as if they were in series when the switches are closed. A failsafe system having maximum reliability is thereby produced.

  19. A Programming Logic for Java Bytecode Programs

    E-Print Network [OSTI]

    Quigley, C.L.

    Quigley,C.L. To appear in Proceedings of the 16th International Conference on Theorem Proving in Higher Order Logics, Lecture Notes in Computer Science Springer Verlag

  20. Demo: Logic X Logic is Apple's profession sound production software (Garageband is the consumer

    E-Print Network [OSTI]

    Stowell, Michael

    version) and is a complete DAW (Digital Audio Workstation). Logic has a vast library of software inside the Logic environment. Logic getting started: · File new o Templates ! Pre-defined working Project · New Tracks o Software Instrument ! Virtual instruments ! Library of pre-built instruments

  1. Secure Adiabatic Logic: a Low-Energy DPA-Resistant Logic Style

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    Secure Adiabatic Logic: a Low-Energy DPA-Resistant Logic Style Mehrdad Khatir and Amir Moradi a new charge recovery logic style not only to gain high energy efficiency but also to achieve in many cases. For example, security is the main goal when designing cryptographic hardware. In one hand

  2. Refining the shifted topological vertex

    SciTech Connect (OSTI)

    Drissi, L. B.; Jehjouh, H.; Saidi, E. H. [Faculte des Sciences, Laboratory/UFR-Physique des Hautes Energies, Rabat, 1014 (Morocco); Groupement National de Physique des Hautes Energies (GNPHE), Siege focal:FS, Rabat, 1014 (Morocco)

    2009-01-15

    We study aspects of the refining and shifting properties of the 3d MacMahon function C{sub 3}(q) used in topological string theory and BKP hierarchy. We derive the explicit expressions of the shifted topological vertex S{sub {lambda}}{sub {mu}}{sub {nu}}(q) and its refined version T{sub {lambda}}{sub {mu}}{sub {nu}}(q,t). These vertices complete results in literature.

  3. Brain oxytocin correlates with maternal aggression: Link to anxiety 

    E-Print Network [OSTI]

    Meddle, S. L.; Beiderbeck, D. I.; Douglas, A. J.; Neumann, I. D.; Bosch, O. J.

    2005-01-01

    and CeA. Using retrodialysis, blockade of endogenous oxytocin action by infusion of an oxytocin receptor antagonist (des-Gly-NH2,d(CH2)5[Tyr(Me)2,Thr4]OVT) into the PVN or CeA reduced maternal aggression of HAB dams, whereas infusion of synthetic oxytocin...

  4. Testosterone and 5HIAA in dogs with intraspecific aggression 

    E-Print Network [OSTI]

    Haug, Lore I

    2003-01-01

    and impulsivity and lower social status compared to those with higher levels of serotonin. This study was performed to determine if inappropriate aggression in dogs could be associated with high androgen levels and low serotonin levels as compared to control dogs...

  5. Micro-mechanical logic for field produceable gate arrays

    E-Print Network [OSTI]

    Prakash, Manu

    2005-01-01

    A paradigm of micro-mechanical gates for field produceable logic is explored. A desktop manufacturing system is sought after which is capable of printing functional logic devices in the field. A logic scheme which induces ...

  6. Associations between aggression and loneliness: An examination of the mediating role of social preference

    E-Print Network [OSTI]

    Swails, Lisette Wilcox

    2014-12-31

    Accumulating evidence suggests proactive and reactive aggression are uniquely related to a variety of negative outcomes. Children with higher levels of reactive, not proactive, aggression score lower on measures of social preference and score higher...

  7. Combinatory Logic For Autonomous Molecular Computation

    E-Print Network [OSTI]

    MacLennan, Bruce

    Combinatory Logic For Autonomous Molecular Computation Bruce J. MacLennan Department of Computer to na- nostructure synthesis and control through molecular combinatory computing. Combinatory computing is based on simple network (graph) substitution opera- tions, deriving from combinatory logic [2], which

  8. Intuitionistic Hybrid Logic Torben Brauner a,1

    E-Print Network [OSTI]

    de Paiva, Valeria

    to hybridize constructive modal logics. Alternative systems are discussed, but we fix on a reasonable and well deduction formulation of it. Our nat- ural deduction system is also extended with additional inference rules give natural deduction systems in a uniform way for a wide class of constructive hybrid logics

  9. It's About Time: Realtime Logics Reviewed ? ??

    E-Print Network [OSTI]

    Henzinger, Thomas A.

    ­time verification problem in polynomial space, or even decidable. 1 Introduction The execution of a reactive system in (linear) temporal logic. 3 The model­checking problem asks, given a reactive system and a temporal for of temporal logic is not dominant: if a reactive system is given as a product of B¨uchi automata, the model

  10. Sets and Constraint Logic Programming Agostino Dovier

    E-Print Network [OSTI]

    Rossi, Gianfranco

    are embedded in a Constraint Logic Programming (CLP) language which provides #12;nite sets|along with basic set by programming in CLP(SET ). Categories and Subject Descriptors: D.3.2 [Programming Languages]: Constraint and Logic Languages; D.3.3 [Programming Languages]: Language Constructs and Features; F.4 [Math- ematical

  11. Constraint Logic Programming Overview of CP

    E-Print Network [OSTI]

    Qu, Rong

    G53CLP Constraint Logic Programming Overview of CP Dr Rong Qu #12;G53CLP ­ Constraint Logic Programming Dr. R Qu 2 Computer Programs a collection of source code and libraries which have been compiled and interactive tasks with data. - Wikipedia #12;3 Programming Paradigms Procedural Sequences of instructions

  12. BRICS'2001 Lecture 1 Logical Methods in

    E-Print Network [OSTI]

    Makowsky, Johann A. "Janos"

    BRICS'2001 Lecture 1 Logical Methods in Algorithmics and Complexity by J.A. Makowsky Department, 2001 1 BRICS'2001 Lecture 1 Outline of Course Lecture 1: Prelude: the overall picture. Logical Lecture 5: Some knot theory 2 BRICS'2001 Lecture 1 PRELUDE Outlook References 3 BRICS'2001 Lecture 1

  13. Quantum logic. A brief outline Karl Svozil #

    E-Print Network [OSTI]

    Svozil, Karl

    evidence of the quantum world. We give a brief outline of quantum logic, and some of its algebraic outline of its nonclassical aspects; in particular violations of Boole­Bell type consistency constraints and algebraic order of events from empirical facts. This is very different from the ``classical'' logical

  14. Crash in Program and Logic Viviana Bono

    E-Print Network [OSTI]

    Torino, Università di

    .Kerber@cs.bham.ac.uk With traditional Hoare logic it is possible to prove partial correctness of programs through statements of the kind \\If the precondition holds and the program terminates, then the postcondition holds." In this work-in-progress we try to extend Hoare logic in a way that it can deal also with crashes (i.e., abrupt termination

  15. Programmable Cellular Logic: Past, Present, and Future

    E-Print Network [OSTI]

    Tessier, Russell

    Programmable Cellular Logic: Past, Present, and Future Russell Tessier Laboratory for Computer in technology and architectural trends as they pertain to cellular arrays since the 1960's. Direct comparisons of various cellular array architectural features with contemporary programmable logic features are made

  16. From Preference Logics to Preference Languages, and Back Meghyn Bienvenu

    E-Print Network [OSTI]

    Lang, Jérôme

    From Preference Logics to Preference Languages, and Back Meghyn Bienvenu Fachbereich Mathematik und, Girard, and Roy 2009). The basic constructs of the logic are preference statements between propositional

  17. Integrated reformer and shift reactor

    DOE Patents [OSTI]

    Bentley, Jeffrey M.; Clawson, Lawrence G.; Mitchell, William L.; Dorson, Matthew H.

    2006-06-27

    A hydrocarbon fuel reformer for producing diatomic hydrogen gas is disclosed. The reformer includes a first reaction vessel, a shift reactor vessel annularly disposed about the first reaction vessel, including a first shift reactor zone, and a first helical tube disposed within the first shift reactor zone having an inlet end communicating with a water supply source. The water supply source is preferably adapted to supply liquid-phase water to the first helical tube at flow conditions sufficient to ensure discharge of liquid-phase and steam-phase water from an outlet end of the first helical tube. The reformer may further include a first catalyst bed disposed in the first shift reactor zone, having a low-temperature shift catalyst in contact with the first helical tube. The catalyst bed includes a plurality of coil sections disposed in coaxial relation to other coil sections and to the central longitudinal axis of the reformer, each coil section extending between the first and second ends, and each coil section being in direct fluid communication with at least one other coil section.

  18. A NEURAL NETWORK UNDERLYING INDIVIDUAL DIFFERENCES IN EMOTION AND AGGRESSION IN MALE GOLDEN HAMSTERS

    E-Print Network [OSTI]

    Delville, Yvon

    A NEURAL NETWORK UNDERLYING INDIVIDUAL DIFFERENCES IN EMOTION AND AGGRESSION IN MALE GOLDEN, Austin, TX 78712, USA Abstract--In rodents, aggressive behavior can be altered by experimental a common neural network. Male golden hamsters were first screened for offensive aggression. Then

  19. Acceptors as Values Functional Programming in Classical Linear Logic

    E-Print Network [OSTI]

    Reddy, Uday S.

    Acceptors as Values Functional Programming in Classical Linear Logic (Technical Summary) Uday S the application of classical linear logic to functional programming. The negative types of linear logic]. The only application of classical linear logic to functional programming has been by Filinski [10] who uses

  20. Acceptors as Values Functional Programming in Classical Linear Logic

    E-Print Network [OSTI]

    Reddy, Uday S.

    Acceptors as Values Functional Programming in Classical Linear Logic (Technical Summary) Uday S the application of classical linear logic to functional programming. The negative types of linear logic linear logic to functional programming has been by Filinski [10] who uses negative types to model

  1. A Top-down Approach to Combining Logics Christoph Benzmuller

    E-Print Network [OSTI]

    Ziegler, Günter M.

    logics. However, building automated reasoning systems that support combinations of logics is a very: Expressive Ontologies: Multi-Agent Systems: Higher-order Logic: Semantic Embedding: Proof Automation Abstract: The mechanization and automation of combination of logics, expressive ontologies and notions of context

  2. Modeling context-dependent aspect interference using default logics

    E-Print Network [OSTI]

    Cazzola, Walter

    the domotica world. Keywords: Aspect interactions, knowledge, interference, default logics. 1 Introduction

  3. PROGRAM SPECIFICATION AND PROGRAMMING WITH SETS IN LOGIC

    E-Print Network [OSTI]

    Rossi, Gianfranco

    designation and manipulation o#11;ered by programming languages and, in particular, by logic programming- sent a valuable feature of high-level programming languages and speci#12;cation languages. According logic program- ming languages ([7]), equational logic languages ([8]), and Constraint Logic Programming

  4. Completeness of the finitary Moss logic Clemens Kupke1

    E-Print Network [OSTI]

    Kurz, Alexander

    ' coalgebraic logic, for coalgebras of arbitrary type. Keywords: coalgebra, modal logic, coalgebraic logic intuitively represents the type of the transition system. For example, as discovered by Aczel [2], any functor is to extend this uniform approach to logics for specifying and reasoning about the behavior of coal- gebras

  5. Duality for Lattices with Operators: a modal logic approach.

    E-Print Network [OSTI]

    Koolen, Marijn

    , starting with the work of Boole. Its main aim is to study logic from an algebraic perspective in order. This work belongs to the #12;eld of algebraic logic. Algebraic logic has its roots in the 19th century to translate problems in logic to (uni- versal) algebraic questions. At the beginning of the twentieth century

  6. A modal extension of first order classical logic George Tourlakis

    E-Print Network [OSTI]

    Tourlakis, George

    and inequalities--correspondingly, in the case of logic, equivalences () and implications (). However, when we

  7. Noise-based logic: Binary, multi-valued, or fuzzy, with optional superposition of logic states

    E-Print Network [OSTI]

    Laszlo B. Kish

    2008-12-23

    A new type of deterministic (non-probabilistic) computer logic system inspired by the stochasticity of brain signals is shown. The distinct values are represented by independent stochastic processes: independent voltage (or current) noises. The orthogonality of these processes provides a natural way to construct binary or multi-valued logic circuitry with arbitrary number N of logic values by using analog circuitry. Moreover, the logic values on a single wire can be made a (weighted) superposition of the N distinct logic values. Fuzzy logic is also naturally represented by a two-component superposition within the binary case (N=2). Error propagation and accumulation are suppressed. Other relevant advantages are reduced energy dissipation and leakage current problems, and robustness against circuit noise and background noises such as 1/f, Johnson, shot and crosstalk noise. Variability problems are also nonexistent because the logic value is an AC signal. A similar logic system can be built with orthogonal sinusoidal signals (different frequency or orthogonal phase) however that has an extra 1/N type slowdown compared to the noise-based logic system with increasing number of N furthermore it is less robust against time delay effects than the noise-based counterpart.

  8. Roadmap for preferential logics Dov M Gabbay

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Roadmap for preferential logics Dov M Gabbay King's College, London Karl Schlechta Laboratoire d. Thus, as a good roadmap should, the article points out easy ways to go from A to B, but also puts up

  9. Logical Control Theory Applied to Mechanical Arms

    E-Print Network [OSTI]

    Pankiewicz, Ronald Joseph

    A new control algorithm based upon Logical Control Theory is developed for mechanical manipulators. The controller uses discrete tesselations of state space and a finite set of fixed torques to regulate non-rehearsed ...

  10. Detecting Tangled Logic Structures in VLSI Netlists 

    E-Print Network [OSTI]

    Jindal, Tanuj

    2010-10-12

    This thesis proposes a new problem of identifying large and tangled logic structures in a synthesized netlist. Large groups of cells that are highly interconnected to each other can often create potential routing hotspots ...

  11. Engineering RNA logic with synthetic splicing ribozymes

    E-Print Network [OSTI]

    Che, Austin, 1979-

    2008-01-01

    Reusable components, such as logic gates and code libraries, simplify the design and implementation of electronic circuits and computer programs. The engineering of biological systems would benefit also from reusable ...

  12. Deduction, Ordering, and Operations in Quantum Logic

    E-Print Network [OSTI]

    Norman D. Megill; Mladen Pavicic

    2001-08-16

    We show that in quantum logic of closed subspaces of Hilbert space one cannot substitute quantum operations for classical (standard Hilbert space) ones and treat them as primitive operations. We consider two possible ways of such a substitution and arrive at operation algebras that are not lattices what proves the claim. We devise algorithms and programs which write down any two-variable expression in an orthomodular lattice by means of classical and quantum operations in an identical form. Our results show that lattice structure and classical operations uniquely determine quantum logic underlying Hilbert space. As a consequence of our result, recent proposals for a deduction theorem with quantum operations in an orthomodular lattice as well as a substitution of quantum operations for the usual standard Hilbert space ones in quantum logic prove to be misleading. Quantum computer quantum logic is also discussed.

  13. Proof Transformations in Higher-Order Logic

    E-Print Network [OSTI]

    Spirtes, Peter

    is given and its partial correctness is proven. Strong termination of this al- gorithm remains a conjectureProof Transformations in Higher-Order Logic Frank Pfenning January 1987 Submitted in partial

  14. Hadronic shift in pionic hydrogen

    E-Print Network [OSTI]

    Hennebach, M; Dax, A; Fuhrmann, H; Gotta, D; Gruber, A; Hirtl, A; Indelicato, P; Liu, Y -W; Manil, B; Markushin, V E; Hassani, A J Rusi el; Simons, L M; Trassinelli, M; Zmeskal, J

    2014-01-01

    The hadronic shift in pionic hydrogen has been redetermined to be $\\epsilon_{1s}=7.086\\,\\pm\\,0.007(stat)\\,\\pm\\,0.006(sys)$\\,eV by X-ray spectroscopy of ground state transitions applying various energy calibration schemes. The experiment was performed at the high-intensity low-energy pion beam of the Paul Scherrer Institut by using the cyclotron trap and an ultimate resolution bent crystal Bragg spectrometer.

  15. Hadronic shift in pionic hydrogen

    E-Print Network [OSTI]

    M. Hennebach; D. F. Anagnostopoulos; A. Dax; H. Fuhrmann; D. Gotta; A. Gruber; A. Hirtl; P. Indelicato; Y. -W. Liu; B. Manil; V. E. Markushin; A. J. Rusi el Hassani; L. M. Simons; M. Trassinelli; J. Zmeskal

    2014-12-17

    The hadronic shift in pionic hydrogen has been redetermined to be $\\epsilon_{1s}=7.086\\,\\pm\\,0.007(stat)\\,\\pm\\,0.006(sys)$\\,eV by X-ray spectroscopy of ground state transitions applying various energy calibration schemes. The experiment was performed at the high-intensity low-energy pion beam of the Paul Scherrer Institut by using the cyclotron trap and an ultimate-resolution Bragg spectrometer with bent crystals.

  16. Cosmic Logic: a Computational Model

    E-Print Network [OSTI]

    Vanchurin, Vitaly

    2015-01-01

    We describe a simple computational model of cosmic logic suitable for analysis of, for example, discretized cosmological systems. The construction is based on a particular model of computation, developed by Alan Turing, with cosmic observers (CO), cosmic measures (CM) and cosmic symmetries (CS) described by Turing machines. CO machines always start with a blank tape and CM machines take CO's Turing number (also known as description number or G{\\" o}del number) as input and output the corresponding probability. Similarly, CS machines take CO's Turing number as input, but output either one if the CO machines are in the same equivalence class or zero otherwise. We argue that CS machines are more fundamental than CM machines and, thus, should be used as building blocks in constructing CM machines. We prove the non-computability of a CS machine which discriminates between two classes of CO machines: mortal that halts in finite time and immortal that runs forever. In context of eternal inflation this result implies...

  17. Cosmic Logic: a Computational Model

    E-Print Network [OSTI]

    Vitaly Vanchurin

    2015-07-05

    We describe a simple computational model of cosmic logic suitable for analysis of, for example, discretized cosmological systems. The construction is based on a particular model of computation, developed by Alan Turing, with cosmic observers (CO), cosmic measures (CM) and cosmic symmetries (CS) described by Turing machines. CO machines always start with a blank tape and CM machines take CO's Turing number (also known as description number or G{\\" o}del number) as input and output the corresponding probability. Similarly, CS machines take CO's Turing number as input, but output either one if the CO machines are in the same equivalence class or zero otherwise. We argue that CS machines are more fundamental than CM machines and, thus, should be used as building blocks in constructing CM machines. We prove the non-computability of a CS machine which discriminates between two classes of CO machines: mortal that halts in finite time and immortal that runs forever. In context of eternal inflation this result implies that it is impossible to construct CM machines to compute probabilities using cut-off prescriptions or that all of the cut-off measures are non-computable.

  18. A Very Small Logical Qubit

    E-Print Network [OSTI]

    Eliot Kapit

    2015-10-21

    Superconducting qubits are among the most promising platforms for building a quantum computer. However, individual qubit coherence times are not far past the scalability threshold for quantum error correction, meaning that millions of physical devices would be required to construct a useful quantum computer. Consequently, further increases in coherence time are very desirable. In this letter, we blueprint a simple circuit consisting of two transmon qubits and two additional lossy qubits or resonators, which is passively protected against all single qubit quantum error channels through a combination of continuous driving and engineered dissipation. Photon losses are rapidly corrected through two-photon drive fields implemented with driven SQUID couplings, and dephasing from random potential fluctuations is heavily suppressed by the drive fields used to implement the multi-qubit Hamiltonian. Comparing our theoretical model to published noise estimates from recent experiments on flux and transmon qubits, we find that logical state coherence could be improved by a factor of forty or more compared to the individual qubit $T_1$ and $T_2$ using this technique. We thus demonstrate that there is substantial headroom for improving the coherence of modern superconducting qubits with a fairly modest increase in device complexity.

  19. A Unifying Field in Logics: Neutrosophic Logic, Neutrosophic Set, Neutrosophic Probability and Statistics (fourth edition)

    E-Print Network [OSTI]

    Florentin Smarandache

    2010-08-31

    In this book one makes an introduction to non-standard analysis in the first part, needed to the next four chapters in order to study the neutrosophics: 1. Neutrosophy - a new branch of philosophy. 2. Neutrosophic Logic - a unifying field in logics. 3. Neutrosophic Set - a unifying field in sets. 4. Neutrosophic Probability - a generalization of classical and imprecise probabilities - and Neutrosophic Statistics.

  20. Quantum logic with molecular ions

    E-Print Network [OSTI]

    Fabian Wolf; Yong Wan; Jan C. Heip; Florian Gebert; Chunyan Shi; Piet O. Schmidt

    2015-07-27

    Laser spectroscopy of cold and trapped molecular ions is a powerful tool for fundamental physics, including the determination of fundamental constants, the laboratory test for their possible variation, and the search for a possible electric dipole moment of the electron. Optical clocks based on molecular ions sensitive to some of these effects are expected to achieve uncertainties approaching the $10^{-18}$ level. While the complexity of molecular structure facilitates these applications, the absence of cycling transitions poses a challenge for direct laser cooling, quantum state control, and detection. Previously employed state detection techniques based on photo-dissociation or chemical reactions are destructive and therefore inefficient. Here we experimentally demonstrate non-destructive state detection of a single trapped molecular ion through its strong Coulomb coupling to a well-controlled co-trapped atomic ion. An algorithm based on a state-dependent optical dipole force(ODF) changes the internal state of the atom conditioned on the internal state of the molecule. We show that individual states in the molecule can be distinguished by their coupling strength to the ODF and observe black-body radiation-induced quantum jumps between rotational states. Using the detuning dependence of the state detection signal, we implement a variant of quantum logic spectroscopy and improve upon a previous measurement of the $\\mathrm{X}^1\\Sigma^+(J=1)\\rightarrow\\mathrm{A}^1\\Sigma^+(J=0)$ transition in MgH, finding a frequency of 1067.74752(53)THz. We estimate that non-destructive state detection with near 100% efficiency could take less than 10 ms. The technique we demonstrate is applicable to a wide range of molecular ions, enabling further applications in state-controlled quantum chemistry and spectroscopic investigations of molecules serving as probes for interstellar clouds.

  1. ENVIRONMENTAL TAX SHIFT: A Discussion Paper for

    E-Print Network [OSTI]

    ENVIRONMENTAL TAX SHIFT: A Discussion Paper for British Columbians Amy Taylor Mark Jaccard School of Resource and Environmental Management Nancy Olewiler Department of Economics Simon Fraser University Vancouver, British Columbia October, 1999 #12;Environmental Tax Shift Discussion Paper Taylor, Jaccard

  2. Managing Complex Environmental Remediation amidst Aggressive Facility Revitalization Milestones

    SciTech Connect (OSTI)

    Richter Pack, S. [PMP Science Applications International Corporation, Oak Ridge, TN (United States)

    2008-07-01

    Unlike the final closure projects at Rocky Flats and Fernald, many of the Department of Energy's future CERCLA and RCRA closure challenges will take place at active facilities, such as the Oak Ridge National Laboratory (ORNL) central campus. ORNL has aggressive growth plans for a Research Technology Park and cleanup must address and integrate D and D, soil and groundwater remediation, and on-going and future business plans for the Park. Different planning and tracking tools are needed to support closures at active facilities. To support some large Airport redevelopment efforts, we created tools that allowed the Airline lease-holder to perform environmental remediation on the same schedule as building D and D and new building construction, which in turn allowed them to migrate real estate from unusable to usable within an aggressive schedule. In summary: The FIM and OpenGate{sup TM} spatial analysis system were two primary tools developed to support simultaneous environmental remediation, D and D, and construction efforts at an operating facility. These tools helped redevelopers to deal with environmental remediation on the same schedule as building D and D and construction, thereby meeting their goals of opening gates, restarting their revenue streams, at the same time complying with all environmental regulations. (authors)

  3. Analog Noise Reduction in Enzymatic Logic Gates

    E-Print Network [OSTI]

    Dmitriy Melnikov; Guinevere Strack; Marcos Pita; Vladimir Privman; Evgeny Katz

    2009-05-17

    In this work we demonstrate both experimentally and theoretically that the analog noise generation by a single enzymatic logic gate can be dramatically reduced to yield gate operation with virtually no input noise amplification. This is achieved by exploiting the enzyme's specificity when using a co-substrate that has a much lower affinity than the primary substrate. Under these conditions, we obtain a negligible increase in the noise output from the logic gate as compared to the input noise level. Experimental realizations of the AND logic gate with the enzyme horseradish peroxidase using hydrogen peroxide and two different co-substrates, 2,2'-azino-bis(3-ethylbenzthiazoline-6-sulphonic acid) (ABTS) and ferrocyanide, with vastly different rate constants confirmed our general theoretical conclusions.

  4. Events and Reification----------..---. When Frege introduced quantification, he illuminated three subjects: logic,

    E-Print Network [OSTI]

    Fitelson, Branden

    , he illuminated three subjects: logic, language, and ontology. The bound variable of quantification subjects: logic, language, and ontology. One logical and linguistic insight was the dispensability ontological commitments. A third contribution that likewise impinges on those same three subjects - logic

  5. Valve system incorporating single failure protection logic

    DOE Patents [OSTI]

    Ryan, Rodger (San Jose, CA); Timmerman, Walter J. H. (Saratoga, CA)

    1980-01-01

    A valve system incorporating single failure protective logic. The system consists of a valve combination or composite valve which allows actuation or de-actuation of a device such as a hydraulic cylinder or other mechanism, integral with or separate from the valve assembly, by means of three independent input signals combined in a function commonly known as two-out-of-three logic. Using the input signals as independent and redundant actuation/de-actuation signals, a single signal failure, or failure of the corresponding valve or valve set, will neither prevent the desired action, nor cause the undesired action of the mechanism.

  6. Acceptors as Values Functional Programming in Classical Linear Logic

    E-Print Network [OSTI]

    Reddy, Uday S.

    Acceptors as Values Functional Programming in Classical Linear this paper, we consider the application of classical linear logic to functional programming. T* *he negative" operator of linear logic gives rise to nondeter* *ministic values. We define a typed functional language

  7. Is there a use for linear logic? Philip Wadler

    E-Print Network [OSTI]

    Wadler, Philip

    Is there a use for linear logic Past attempts to apply Girard's linear logicihavemplemented Wadler's system [Wa* *k90 ].) either had, Wadler), but not both. Thisguage that corresponds closely t* *o linear logic; it is a paper defines

  8. Logic verification using recursive learning, ATPG and transformations 

    E-Print Network [OSTI]

    Paul, Debjyoti

    1996-01-01

    We describe a new approach for formal verification of combinational logic circuits using Recursive learning, ATPG and Transformations. A logic verification tool, VeriLAT, was implemented based on this approach. Experimental results on the ISCAS85...

  9. A fuzzy logic controller for autonomous vehicle control 

    E-Print Network [OSTI]

    Vinson, Yale Patrick

    1995-01-01

    This thesis presents a feasibility study for the use of fuzzy logic control to solve the autonomous vehicle following problem. After developing the original vehicle following system, the applicability of fuzzy logic to the problem is demonstrated...

  10. How Peircean was the "'Fregean' Revolution" in Logic?

    E-Print Network [OSTI]

    Anellis, Irving H

    2012-01-01

    The historiography of logic conceives of a Fregean revolution in which modern mathematical logic (also called symbolic logic) has replaced Aristotelian logic. The preeminent expositors of this conception are Jean van Heijenoort (1912-1986) and Donald Angus Gillies. The innovations and characteristics that comprise mathematical logic and distinguish it from Aristotelian logic, according to this conception, created ex nihlo by Gottlob Frege (1848-1925) in his Begriffsschrift of 1879, and with Bertrand Russell (1872-1970) as its chief This position likewise understands the algebraic logic of Augustus De Morgan (1806-1871), George Boole (1815-1864), Charles Sanders Peirce (1838-1914), and Ernst Schr\\"oder (1841-1902) as belonging to the Aristotelian tradition. The "Booleans" are understood, from this vantage point, to merely have rewritten Aristotelian syllogistic in algebraic guise. The most detailed listing and elaboration of Frege's innovations, and the characteristics that distinguish mathematical logic from ...

  11. MANAGEMENT AND REHABILITATION OF INTER-DOG AGGRESSION IN ANIMAL SHELTERS

    E-Print Network [OSTI]

    Farrell, Anthony P.

    MANAGEMENT AND REHABILITATION OF INTER-DOG AGGRESSION IN ANIMAL SHELTERS by Jane S. Orihel B dogs in shelters and explored the feasibility of implementing rehabilitation for inter-dog aggression, and 2) an experimental study of the effectiveness of a rehabilitation program for reducing inter

  12. Individual aggressiveness in the crab Chasmagnathus: Influence in fight outcome and modulation by serotonin and octopamine

    E-Print Network [OSTI]

    Indiana University

    Individual aggressiveness in the crab Chasmagnathus: Influence in fight outcome and modulation form 8 June 2010 Accepted 21 July 2010 Keywords: Aggressiveness Fight Serotonin Octopamine Crab stable over successive encounters but no evidence of escalation was revealed through fights. Here, we

  13. The Voodoo Doll Task: Introducing and Validating a Novel Method for Studying Aggressive Inclinations

    E-Print Network [OSTI]

    Reber, Paul J.

    The Voodoo Doll Task: Introducing and Validating a Novel Method for Studying Aggressive--the voodoo doll task (VDT)--that offers a reliable and valid trait and state measure of aggressive712), we propose that people transfer characteristics of a person onto a voodoo doll representing

  14. Characterization of Logics Over Ranked Tree Thomas Place

    E-Print Network [OSTI]

    Doyen, Laurent

    Characterization of Logics Over Ranked Tree Languages Thomas Place LSV, ENS-Cachan, CNRS, INRIA combinations of 1 over ranked trees. In particular, we provide effective characterizations of those three logics using algebraic identities. Characterizations had already been obtained for those logics over

  15. Hybrid Logical Analyses of the Ambient Thomas Bolander1

    E-Print Network [OSTI]

    Hansen, René Rydhof

    Hybrid Logical Analyses of the Ambient Calculus Thomas Bolander1 and Ren´e Rydhof Hansen2 1 Science, University of Copenhagen rrhansen@diku.dk Abstract. In this paper, hybrid logic is used of action sequences into account, can be formulated in a natural way. We show that hybrid logic is very well

  16. Completeness in Propositional vs Predicate Logic Branden Fitelson

    E-Print Network [OSTI]

    Fitelson, Branden

    Completeness in Propositional vs Predicate Logic Branden Fitelson 04/03/07 In Section 2 of Hunter, we examined a Henkin-type proof of the completeness of the formal system PS of propositional logic. In section 3, completeness of the system QS of predicate logic is also proved in the style of Henkin

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

  18. A Computational Approach to George Boole's Discovery of Mathematical Logic

    E-Print Network [OSTI]

    Honavar, Vasant

    A Computational Approach to George Boole's Discovery of Mathematical Logic Luis de Ledesma a Aurora This paper reports a computational model of Boole's discovery of Logic as a part of Mathematics. George Boole (1815­1864) found that the symbols of Logic behaved as algebraic symbols, and he then rebuilt the whole

  19. Annual Report 2005 Institute for Logic,

    E-Print Network [OSTI]

    Koolen, Marijn

    share this view. In 2005 an agreement of cooperation was signed with The Institute of Logic given in the Beta-Gamma bachelor, the master of Rhetoric, Argumentation & Philosophy, the master of Cognitive Science and the bachelor and master tracks of Philosophy, Computer science, Artificial

  20. Internal Note #182 Computational Logic, Inc.

    E-Print Network [OSTI]

    Boyer, Robert Stephen

    to the arguments. The basic functions defined in this library, which are defined in terms of natural numberInternal Note #182 Computational Logic, Inc. March 14, 1990 AN INTEGER LIBRARY FOR NQTHM 1 Matt@cli.com This note contains a brief summary of an integer library that has been created for nqthm. This discussion

  1. Internal Note #182 Computational Logic, Inc.

    E-Print Network [OSTI]

    Boyer, Robert Stephen

    to the arguments. The basic functions defined in this library, which are defined in terms of natural numberInternal Note #182 Computational Logic, Inc. March 14, 1990 AN INTEGER LIBRARY FOR NQTHM 1Matt@cli.com This note contains a brief summary of an integer library that has been created for nqthm. This discussion

  2. The Journal of Functional and Logic Programming

    E-Print Network [OSTI]

    Khoo, Siau Cheng

    The Journal of Functional and Logic Programming The MIT Press Volume 1996, Article 4 13 November, 1996 ISSN 1080--5230. MIT Press Journals, 55 Hayward St., Cambridge, MA 02142, USA; (617)253­2889; journals­orders@mit.edu, journals­info@mit.edu. Published one article at a time in L A T E X source form

  3. The Journal of Functional and Logic Programming

    E-Print Network [OSTI]

    de Vries, Fer-Jan

    The Journal of Functional and Logic Programming The MIT Press Volume 1999, Article 1 16 February, 1999 ISSN 1080­5230. MIT Press Journals, Five Cambridge Center, Cambridge, MA 02142-1493, USA; (617)253-2889; journals-orders@mit.edu, journals-info @mit.edu. Published one article at a time in LATEX source form

  4. The Journal of Functional and Logic Programming

    E-Print Network [OSTI]

    Kamareddine, Fairouz

    The Journal of Functional and Logic Programming The MIT Press Volume 1998, Article 5 4 June, 1998 ISSN 1080{5230. MIT Press Journals, Five Cambridge Center, Cambridge, MA 02142-1493, USA; (617)253-2889; journals-orders@mit.edu, journals-info @mit.edu. Published one article at a time in LATEX source form

  5. The Journal of Functional and Logic Programming

    E-Print Network [OSTI]

    de Vries, Fer-Jan

    The Journal of Functional and Logic Programming The MIT Press Volume 1999, Article 1 16 February, 1999 ISSN 1080--5230. MIT Press Journals, Five Cambridge Center, Cambridge, MA 02142­1493, USA; (617)253­2889; journals­orders@mit.edu, journals­info @mit.edu. Published one article at a time in L A T E X source form

  6. Logic Synthesis for Integrated Optics Christopher Condrat

    E-Print Network [OSTI]

    Kalla, Priyank

    Logic Synthesis for Integrated Optics Christopher Condrat chris@g6net.com Priyank Kalla kalla, Salt Lake City, UT, USA ABSTRACT As silicon photonics technology matures, optical devices methods for synthesizing optical devices for large-scale designs. We present design and synthesis method

  7. The Journal of Functional and Logic Programming

    E-Print Network [OSTI]

    de Vries, Fer-Jan

    The Journal of Functional and Logic Programming ISSN 1080-5230. MIT Press Journals, Five Cambridge Center, Cambridge, MA 02142-1493, USA; (617)253-2889; journals-orders@mit.edu, journals-info @mit.edu. Published one article at a time in LATEX source form

  8. Propositional Logic Unit code: MATH20302

    E-Print Network [OSTI]

    Sidorov, Nikita

    MATH20302 Propositional Logic Unit code: MATH20302 Credit Rating: 10 Unit level: Level 2 Teaching period(s): Semester 2 Offered by School of Mathematics Available as a free choice unit?: N Requisites None Aims The course unit unit aims to introduce the student to the idea of formalising arguments, both

  9. Handling Spatial Relations in Logical Concept Analysis

    E-Print Network [OSTI]

    Ferré, Sébastien

    the benefits of our approach with traditional Geographical Information Systems (GIS). 1 Introduction In previous work [1], we have applied Logical Information Systems (LIS) to explore of geographical data. LIS and the de- mocratization of geographical information, the amount of geo-localized data that is available

  10. LOGIC SEMINAR Friday, September 14, 2001

    E-Print Network [OSTI]

    Harizanov, Valentina S.

    FALL 2001 LOGIC SEMINAR Friday, September 14, 2001 11:30a.m. Funger 428B Speaker: Mietek Dabkowski, GWU Title: Ordered groups, Part I Friday, September 21, 2001 11:30a.m. Funger 428B Speaker: Mietek Dabkowski, GWU Title: Ordered groups, Part II Friday, October 5, 2001 11:00a.m. Funger 428B Speaker: Gosia

  11. Eng Chemistry 1 (3) Logic Design (4)

    E-Print Network [OSTI]

    Fernandez, Eduardo

    Eng Chemistry 1 (3) EGN 2095 Logic Design (4) CDA 3201C Fundamentals of Engineering (3) EGN 1002 Engineering Design 2 (3) EGN 4411C Electromagnetic Fields & Waves (4) EEL 3470 Calculus for Eng 1 (4) MAC 2281) Examples of Upper Division Math Electives: MAS 2103 Matrix Theory (only exception) MAP 4306 Engineering

  12. TERMINATION OF SIMPLY MODED WELLTYPED LOGIC PROGRAMS

    E-Print Network [OSTI]

    Giesl, Juergen

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

  13. Sisl: Several Interfaces, Single Logic Thomas Ballz

    E-Print Network [OSTI]

    Läufer, Konstantin

    Sisl: Several Interfaces, Single Logic Thomas Ballz Christopher Colby+ Peter Danielseny Lalita such as information and e-commerce services are becoming increasingly more flexible in the types of user interfaces they support. These interfaces incorporate automatic speech recognition and natural language understanding

  14. Under consideration for publication in Theory and Practice of Logic Programming 1 Two Results for Prioritized Logic Programming

    E-Print Network [OSTI]

    Zhang, Yan

    Under consideration for publication in Theory and Practice of Logic Programming 1 Two Results for Prioritized Logic Programming YAN ZHANG School of Computing and Information Technology University of Western to be thoroughly explored. In this paper, we investigate two proper­ ties of prioritized logic programs

  15. Under consideration for publication in Theory and Practice of Logic Programming 1 Inference in Probabilistic Logic Programs with

    E-Print Network [OSTI]

    Ramakrishnan, C. R.

    in Probabilistic Logic Programs with Continuous Random Variables Muhammad Asiful Islam, C.R. Ramakrishnan, I possible models of the program. Operationally, the combined statistical/logical inference is performedUnder consideration for publication in Theory and Practice of Logic Programming 1 Inference

  16. Peer Victimization and Reactive and Proactive Aggression in Childhood: The Protective Roles of Physical Activity and Sleep

    E-Print Network [OSTI]

    Cooley, John L.

    2014-05-31

    A growing body of literature indicates that the link between peer victimization and aggressive behavior may vary according to specific aggression subtypes; however, research has yet to identify factors that moderate these associations. The purposes...

  17. Constructing a logical, regular axis topology from an irregular topology

    DOE Patents [OSTI]

    Faraj, Daniel A.

    2014-07-22

    Constructing a logical regular topology from an irregular topology including, for each axial dimension and recursively, for each compute node in a subcommunicator until returning to a first node: adding to a logical line of the axial dimension a neighbor specified in a nearest neighbor list; calling the added compute node; determining, by the called node, whether any neighbor in the node's nearest neighbor list is available to add to the logical line; if a neighbor in the called compute node's nearest neighbor list is available to add to the logical line, adding, by the called compute node to the logical line, any neighbor in the called compute node's nearest neighbor list for the axial dimension not already added to the logical line; and, if no neighbor in the called compute node's nearest neighbor list is available to add to the logical line, returning to the calling compute node.

  18. Constructing a logical, regular axis topology from an irregular topology

    DOE Patents [OSTI]

    Faraj, Daniel A.

    2014-07-01

    Constructing a logical regular topology from an irregular topology including, for each axial dimension and recursively, for each compute node in a subcommunicator until returning to a first node: adding to a logical line of the axial dimension a neighbor specified in a nearest neighbor list; calling the added compute node; determining, by the called node, whether any neighbor in the node's nearest neighbor list is available to add to the logical line; if a neighbor in the called compute node's nearest neighbor list is available to add to the logical line, adding, by the called compute node to the logical line, any neighbor in the called compute node's nearest neighbor list for the axial dimension not already added to the logical line; and, if no neighbor in the called compute node's nearest neighbor list is available to add to the logical line, returning to the calling compute node.

  19. Krylov space solvers for shifted linear systems

    E-Print Network [OSTI]

    B. Jegerlehner

    1996-12-15

    We investigate the application of Krylov space methods to the solution of shifted linear systems of the form (A+\\sigma) x - b = 0 for several values of \\sigma simultaneously, using only as many matrix-vector operations as the solution of a single system requires. We find a suitable description of the problem, allowing us to understand known algorithms in a common framework and developing shifted methods basing on short recurrence methods, most notably the CG and the BiCGstab solvers. The convergence properties of these shifted solvers are well understood and the derivation of other shifted solvers is easily possible. The application of these methods to quark propagator calculations in quenched QCD using Wilson and Clover fermions is discussed and numerical examples in this framework are presented. With the shifted CG method an optimal algorithm for staggered fermions is available.

  20. Voltage controlled spintronic devices for logic applications

    DOE Patents [OSTI]

    You, Chun-Yeol (Naperville, IL); Bader, Samuel D. (Oak Park, IL)

    2001-01-01

    A reprogrammable logic gate comprising first and second voltage-controlled rotation transistors. Each transistor comprises three ferromagnetic layers with a spacer and insulating layer between the first and second ferromagnetic layers and an additional insulating layer between the second and third ferromagnetic layers. The third ferromagnetic layer of each transistor is connected to each other, and a constant external voltage source is applied to the second ferromagnetic layer of the first transistor. As input voltages are applied to the first ferromagnetic layer of each transistor, the relative directions of magnetization of the ferromagnetic layers and the magnitude of the external voltage determines the output voltage of the gate. By altering these parameters, the logic gate is capable of behaving as AND, OR, NAND, or NOR gates.

  1. Falsification or Confirmation: From Logic to Psychology

    E-Print Network [OSTI]

    Lukyanenko, Roman

    2015-01-01

    Corroboration or confirmation is a prominent philosophical debate of the 20th century. Many philosophers have been involved in this debate most notably the proponents of confirmation led by Hempel and its most powerful criticism by the falsificationists led by Popper. In both cases however the debates were primarily based on the arguments from logic. In this paper we review these debates and suggest that a different perspective on falsification versus confirmation can be taken by grounding arguments in cognitive psychology.

  2. NMDARs Mediate the Role of Monoamine Oxidase A in Pathological Aggression

    E-Print Network [OSTI]

    Bortolato, Marco; Godar, Sean C.; Melis, Miriam; Soggiu, Alessio; Roncada, Paola; Casu, Angelo; Flore, Giovanna; Chen, Kevin; Frau, Roberto; Urbani, Andrea; Castelli, M. Paola; Devoto, Paola; Shih, Jean C.

    2012-06-20

    Converging evidence shows that monoamine oxidase A (MAO A), the key enzyme catalyzing serotonin (5-hydroxytryptamine; 5-HT) and norepinephrine (NE) degradation, is a primary factor in the pathophysiology of antisocial and aggressive behavior...

  3. Effects of Trait Behavioral Approach and Inhibition Sensitivity on Behavioral Aggression 

    E-Print Network [OSTI]

    Gravens, Laura Christine

    2012-07-16

    Behavioral approach sensitivity (BAS) has been found to relate to anger contrary to perspectives positing that BAS is only involved in positive emotions. The present study extends this work by examining relations between behavioral aggression...

  4. Aggression, self-esteem, and perceived threat for university undergraduate research fellows 

    E-Print Network [OSTI]

    Baumbach, Christopher Lloyd

    2013-02-22

    Based on a study by Bushman and Baumeister (1998), we hypothesized that high global self-esteem and high collective self-esteem should be predictive of greater aggressive. We also hypothesized that participants with high narcissistic tendencies...

  5. Identifying Predictors of Instrumental and Reactive Aggression Among Low-Income Minority Adolescent Girls

    E-Print Network [OSTI]

    Williford, Anne; DePaolis, Kathryn J.

    2012-01-01

    Research on both the forms and functions of aggression has yet to include the experiences of low-income minority adolescent girls, particularly Latinas. The present study addresses this limitation by applying ecological systems theory to identify...

  6. Predicting childhood aggression: a replication study looking at the interaction between childhood psychopathy and parenting practices 

    E-Print Network [OSTI]

    Oxford, Mary Cunningham

    1999-01-01

    This replication study provides mixed support for Wootton, Frick, Shelton and Silvelthorn's (1997) findings that the relation between parent socialization practices and children's aggression is moderated by children's callous and unemotional (CU...

  7. Quasar Image Shifts due to Gravitational Microlensing

    E-Print Network [OSTI]

    Geraint F. Lewis; Rodrigo A. Ibata

    1998-02-23

    Gravitational microlensing of quasars by stars in external galaxies can introduce fluctuations in the centroid of the ``point-like'' macro--images. The induced shifts are extremely small, on micro--arcsecond scales, below the limits of current optical observations. However, such shifts will become measurable with the proposed ``Space Interferometry'' mission, due to fly in 2005. The degree of the centroid shifts and their application as probes of both quasar structure and the stellar mass function in the lensing galaxy are discussed.

  8. Shift End | Y-12 National Security Complex

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power AdministrationRobust,Field-effect Photovoltaics -7541 UnlimitedShift End Shift End A shift ends and the race

  9. A Note on the Implementation and Applications of Linear Logic Programming Languages

    E-Print Network [OSTI]

    Harland, James

    A Note on the Implementation and Applications of Linear Logic Programming Languages J.A. Harland D programming languages, such as Prolog, have their origins in classical logic. Recently it has been shown how logic programming languages can be based on lin­ ear logic, a logic designed with bounded re­ sources

  10. Subjective Logic Extensions for the Semantic Web Davide Ceolin, Archana Nottamkandath, and Wan Fokkink

    E-Print Network [OSTI]

    Fokkink, Wan

    Subjective Logic Extensions for the Semantic Web Davide Ceolin, Archana Nottamkandath, and Wan. Subjective logic is a powerful probabilistic logic which is use- ful to handle data in case of uncertainty. Subjective logic and the Seman- tic Web can mutually benefit from each other, since subjective logic

  11. Integral equations, fractional calculus and shift operator

    E-Print Network [OSTI]

    D. Babusci; G. Dattoli; D. Sacchetti

    2010-07-29

    We present an extension of a previously developed method employing the formalism of the fractional derivatives to solve new classes of integral equations. This method uses different forms of integral operators that generalizes the exponential shift operator.

  12. Design principles for shift current photovoltaics

    E-Print Network [OSTI]

    Cook, Ashley M; de Juan, Fernando; Moore, Joel E

    2015-01-01

    While the basic principles and limitations of conventional solar cells are well understood, relatively little attention has gone toward evaluating and maximizing the potential efficiency of photovoltaic devices based on shift currents. In this work, a sum rule approach is introduced and used to outline design principles for optimizing shift currents for photon energies near the band gap, which depend on Berry connections as well as standard band structure. Using these we identify two new classes of shift current photovoltaics, ferroelectric polymer films and orthorhombic monochalcogenides, both of which exhibit peak photoresponsivities larger than predictions for previously known photovoltaics of this type. Using physically motivated tight-binding models, the full frequency dependent response of these materials is obtained. Exploring the phase space of these models, we find photoresponsivities that can exceed $100$ mA/W. These results show that considering the microscopic origin of shift current via effective...

  13. Does accounting quality mitigate risk shifting?

    E-Print Network [OSTI]

    Loktionov, Yuri V

    2009-01-01

    This study examines the effect of financial reporting quality on risk shifting, an investment distortion that is caused by shareholders' incentives to engage in high-risk projects that are detrimental to debt holders. I ...

  14. Topological one-way quantum computation on verified logical cluster...

    Office of Scientific and Technical Information (OSTI)

    computation on verified logical cluster states We present a scheme to improve the noise threshold for fault-tolerant topological one-way computation with constant overhead....

  15. Provability logics with quantifiers on proofs Rostislav E. Yavorsky \\Lambda

    E-Print Network [OSTI]

    Yavorskiy, Rostislav

    ­3752, fax (095) 135­0555 rey@mi.ras.ru Abstract We study here extensions of the Artemov's logic of proofs

  16. WindLogics Inc | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page| Open Energy Information Serbia-EnhancingEtGeorgia:Illinois: Energy ResourcesTurboPowerPortal Home > WindWindLogics

  17. Scalar Field Theories with Polynomial Shift Symmetries

    E-Print Network [OSTI]

    Tom Griffin; Kevin T. Grosvenor; Petr Horava; Ziqi Yan

    2015-08-04

    We continue our study of naturalness in nonrelativistic QFTs of the Lifshitz type, focusing on scalar fields that can play the role of Nambu-Goldstone (NG) modes associated with spontaneous symmetry breaking. Such systems allow for an extension of the constant shift symmetry to a shift by a polynomial of degree $P$ in spatial coordinates. These "polynomial shift symmetries" in turn protect the technical naturalness of modes with a higher-order dispersion relation, and lead to a refinement of the proposed classification of infrared Gaussian fixed points available to describe NG modes in nonrelativistic theories. Generic interactions in such theories break the polynomial shift symmetry explicitly to the constant shift. It is thus natural to ask: Given a Gaussian fixed point with polynomial shift symmetry of degree $P$, what are the lowest-dimension operators that preserve this symmetry, and deform the theory into a self-interacting scalar field theory with the shift symmetry of degree $P$? To answer this (essentially cohomological) question, we develop a new graph-theoretical technique, and use it to prove several classification theorems. First, in the special case of $P=1$ (essentially equivalent to Galileons), we reproduce the known Galileon $N$-point invariants, and find their novel interpretation in terms of graph theory, as an equal-weight sum over all labeled trees with $N$ vertices. Then we extend the classification to $P>1$ and find a whole host of new invariants, including those that represent the most relevant (or least irrelevant) deformations of the corresponding Gaussian fixed points, and we study their uniqueness.

  18. The Logic of Global Warming A bitter pill

    E-Print Network [OSTI]

    Pratt, Vaughan

    The Logic of Global Warming A bitter pill Vaughan Pratt Stanford University June 23, 2011 Vaughan PrattStanford University () The Logic of Global WarmingA bitter pill June 23, 2011 1 / 1 What is climate population growth. 2. Accumulation of hazardous materials: lead, mercury, CFCs, . . . 3. Global warming

  19. Synthesis for Logical Initializability of Synchronous Finite State Machines

    E-Print Network [OSTI]

    Synthesis for Logical Initializability of Synchronous Finite State Machines Montek Singh Steven M for the synthesis for logical initializability of synchronous state machines. The goal is to synthesize a gate to physically reset machines if they get out of synchronism. Furthermore, a form of initializability called

  20. Synthesis for Logical Initializability of Synchronous Finite State Machines \\Lambda

    E-Print Network [OSTI]

    Synthesis for Logical Initializability of Synchronous Finite State Machines \\Lambda Montek Singh is introduced for the synthesis for logical initializability of synchronous state machines. The goal that initializes the state machine is called its synchronizing sequence or initialization sequence. A synchronizing

  1. Automation-considered Logic of Authentication and Key Distribution

    E-Print Network [OSTI]

    Kwon, Taekyoung

    methods are focused on the automation-based model checking that relies on building a finite modelAutomation-considered Logic of Authentication and Key Distribution Taekyoung Kwon1 and Seongan Lim2 Abstract. This paper presents an automation-considered logic of au- thentication for reasoning about

  2. Formal Theory Building Using Automated Reasoning Tools Applied Logic Laboratory

    E-Print Network [OSTI]

    Kamps, Jaap

    Formal Theory Building Using Automated Reasoning Tools Jaap Kamps Applied Logic Laboratory-order logic and existing automated rea- soning tools for formal theory building, and illustrates, automated reasoning provides some valuable tools for this endeavor. This paper discusses the use of first

  3. The Lockean Thesis and the Logic of Belief James Hawthorne

    E-Print Network [OSTI]

    Fitelson, Branden

    The Lockean Thesis and the Logic of Belief James Hawthorne 1 Introduction In a penetrating) Richard Foley (1992) suggests the fol- lowing thesis: . . . it is epistemically rational for us to believe, so he calls it the Lockean Thesis.1 The Lockean Thesis has important implications for the logic

  4. Carnap on the Foundations of Logic and Mathematics

    E-Print Network [OSTI]

    Koellner, Peter

    Carnap on the Foundations of Logic and Mathematics Peter Koellner Throughout most of his that the truths of logic and mathematics are analytic and hence without content and purely formal. (2) The thesis that radical pluralism holds in pure mathematics in that any consistent system of postulates is equally

  5. The Role of Mathematical Logic in Computer Science and Mathematics

    E-Print Network [OSTI]

    Kikuchi, Makoto

    The Role of Mathematical Logic in Computer Science and Mathematics Summary: Early developments branches of Mathematical Logic: Set Theory, Model Theory, Computability Theory and Proof Theory Connections with Computer Science and Mathematics The Kobe Group: The Foundation of Information Sciences Division

  6. A CoVarietyTheorem for Modal Logic Alexander Kurz

    E-Print Network [OSTI]

    Kurz, Alexander

    . Then it is shown that this result specialises to Moss' coal­ gebraic logic (with propositional variables added should have the following properties: formulas have an interpretation as subsets (of carriers) of coalgebras and formulas have to be invariant under bisimulations. Logics sharing these properties

  7. Application of Linear Logic to Web Service Composition

    E-Print Network [OSTI]

    Application of Linear Logic to Web Service Composition Jinghai Rao, Peep K¨ungas Department, SE-164 40 Kista, Sweden Abstract In this paper, we propose a method for automated web service composition by applying Linear Logic (LL) theorem proving. We distinguish value-added web services and core

  8. A Description Logic Based Approach to Reasoning about Web Services

    E-Print Network [OSTI]

    Baader, Franz

    A Description Logic Based Approach to Reasoning about Web Services Franz Baader1 , Carsten Lutz1-founded and al- gorithmically managable formalisms for describing the func- tionality of Web services, we, which are important for Web service discovery and composition. 1. INTRODUCTION Description logics [3

  9. Towards a Logical Reconstruction of Information Retrieval Theory

    E-Print Network [OSTI]

    Sebastiani, Fabrizio

    Towards a Logical Reconstruction of Information Retrieval Theory Fabrizio Sebastiani Istituto di theory". We show that precisely the same distinction can be applied to logical models of IR developed so in the history of information retrieval, sharply summarised the status of IR theory by saying that "(. . . ) deep

  10. Temporal Logic in Information Systems BRICS Minicourse Lecture Notes \\Lambda

    E-Print Network [OSTI]

    Toman, David

    Temporal Logic in Information Systems BRICS Mini­course Lecture Notes \\Lambda Jan Chomicki Dept the fundamental vari­ eties of temporal logic and describe their applications in information systems. Several of the Danish National Research Foundation, 1997. c fl Jan Chomicki and David Toman, 1997. Full version

  11. Quantum Logic Gates in Superconducting Qubits John M. Martinis

    E-Print Network [OSTI]

    Martinis, John M.

    Quantum Logic Gates in Superconducting Qubits John M. Martinis Department of Physics University on surface codes may allow errors in the 10-2 range [2]. Much research in superconducting qubits has been di for superconducting qubits, since they typically use fixed coupling elements set by fabrication. TRANSITION LOGIC

  12. Transient Analysis of Linear Circuits using Constraint Logic Programming

    E-Print Network [OSTI]

    Gilbert, David

    Transient Analysis of Linear Circuits using Constraint Logic Programming Archana Shankar, David London EC1V 0HB, UK Abstract This paper describes the design of a transient analysis program for linear circuits and its implementation in a Constraint Logic Programming language, CLP(R). The transient analysis

  13. Is there a use for linear logic? Philip Wadler

    E-Print Network [OSTI]

    Wadler, Philip

    Is there a use for linear logic? Philip Wadler University of Glasgow \\Lambda March 1991 Abstract Past attempts to apply Girard's linear logic have either had a clear relation to the theory (Lafont. Type reconstruction in a linear type sys­ tem can derive information about sharing. An ap­ proach

  14. GEOLIS : A Logical Information System for Geographical Data

    E-Print Network [OSTI]

    Ferré, Sébastien

    GEOLIS : A Logical Information System for Geographical Data O. Bedel* 1 -- S. Ferré* -- O. Ridoux. KEYWORDS: Logical Information Systems, geographical data, navigation, querying. MOTS-CLÉS : Systèmes d'information organisation is the prevailling model for handling information in Geographical Information Systems (GIS

  15. GEOLIS : A Logical Information System for Geographical Data

    E-Print Network [OSTI]

    Ferré, Sébastien

    GEOLIS : A Logical Information System for Geographical Data O. Bedel* 1 -- S. Ferré* -- O. Ridoux jeu de données réelles. KEYWORDS: Logical Information Systems, geographical data, navigation, querying in geomatics for handling geographical information. However, the layer model is rigid: it implies partitionning

  16. WHAT DOES IT MEAN TO SAY THAT LOGIC IS FORMAL?

    E-Print Network [OSTI]

    Fitelson, Branden

    WHAT DOES IT MEAN TO SAY THAT LOGIC IS FORMAL? by John Gordon MacFarlane A.B., Philosophy, Harvard, Distinguished Service Professor of Philosophy #12;ii WHAT DOES IT MEAN TO SAY THAT LOGIC IS FORMAL? John Gordon. The distinction between formal and material does not appear to coincide with the more familiar contrasts between

  17. Handling Database Updates in Two-dimensional Temporal Logic

    E-Print Network [OSTI]

    Finger, Marcelo

    Handling Database Updates in Two-dimensional Temporal Logic Marcelo Finger y Department (Draft version 0.2) Abstract This paper deals with the description of the evolution of the understanding in database systems due to updates. For this purpose, we introduce a two-dimensional temporal logic

  18. Language Independence and Language Tolerance in Logic Programs

    E-Print Network [OSTI]

    Turner, Hudson

    Language Independence and Language Tolerance in Logic Programs Norman McCain and Hudson Turner of a logic program depend in general upon both the rules of the program and its language. However of the program in only a restricted way. In this paper, we de ne notions of language independence and language

  19. A LOGIC PROGRAMMING APPROACH TO MANIPULATING FORMULAS AND PROGRAMS

    E-Print Network [OSTI]

    Miller, Dale

    A LOGIC PROGRAMMING APPROACH TO MANIPULATING FORMULAS AND PROGRAMS Dale Miller Computer are replaced with simply typed -terms. For such a logic programming language to be complete in principle first-order unification, its availability makes writing certain kinds of programs far more

  20. A LOGIC PROGRAMMING APPROACH TO MANIPULATING FORMULAS AND PROGRAMS

    E-Print Network [OSTI]

    Miller, Dale

    A LOGIC PROGRAMMING APPROACH TO MANIPULATING FORMULAS AND PROGRAMS Dale Miller Computer are replaced with simply typed â??­terms. For such a logic programming language to be complete in principle first­order unification, its availability makes writing certain kinds of programs far more

  1. Exploiting Logic Program Schemata to Teach Recursive Programming

    E-Print Network [OSTI]

    Gegg-Harrison, Tim

    1 Exploiting Logic Program Schemata to Teach Recursive Programming Timothy S. Gegg conditional recursion (i.e., a structured recursive equivalent to the WHILE loop) into logic programming improve the skills of the student. In the domain of computer programming, collaboration is an authentic

  2. Predicting Protein Folding Kinetics via Temporal Logic Model Checking

    E-Print Network [OSTI]

    Predicting Protein Folding Kinetics via Temporal Logic Model Checking Christopher James Langmead award from the U.S. Department of Energy. #12;Keywords: protein folding, model checking, temporal logic #12;Abstract We present a novel approach for predicting protein folding kinetics using techniques from

  3. Error rate and power dissipation in nano-logic devices 

    E-Print Network [OSTI]

    Kim, Jong Un

    2005-08-29

    of an error-free condition on temperature in single electron logic processors is derived. The size of the quantum dot of single electron transistor is predicted when a single electron logic processor with the a billion single electron transistors works without...

  4. Error rate and power dissipation in nano-logic devices 

    E-Print Network [OSTI]

    Kim, Jong Un

    2004-01-01

    -free condition on temperature in single electron logic processors is derived. The size of the quantum dot of a single electron transistor is predicted when a single electron logic processor with the 10? single electron transistors works without error at room...

  5. On the Logic of the Ontological Argument Paul E. Oppenheimer

    E-Print Network [OSTI]

    Zalta, Edward N.

    On the Logic of the Ontological Argument Paul E. Oppenheimer Thinking Machines Corporation to acknowledge generous support from the Center for the Study of Language and Information at Stanford University of the argument.4 The Language and Logic Required for the Argument We shall cast our new reading in a standard

  6. Hyper Logic Programs in SILK: Redefining the KR Playing Field

    E-Print Network [OSTI]

    1 Hyper Logic Programs in SILK: Redefining the KR Playing Field for Business and VLKB Benjamin Logic Programs KR · Conclusions · How You can be Involved #12;3 Project Halo Starts · Begun by Vulcan of a textbook page of knowledge that users enter, edit, and utilize #12;8 Enter the Semantic Web Era ... · How

  7. Computational Model of Graphenen-Based Logic Gates and Architectures

    E-Print Network [OSTI]

    Yue, Kun

    2013-01-01

    graphene is a semi-metal or zero-gap semiconductor [1].Graphene-Based Non-Boolean Logic Circuit". arXiv: The International Technology Roadmap for Semiconductors,graphene-based analog logic circuits able to complement of complementary metal-oxide semiconductor (

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

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

  10. Fast Offline Partial Evaluation of Large Logic Programs

    E-Print Network [OSTI]

    Vidal, Germán

    Fast Offline Partial Evaluation of Large Logic Programs Michael Leuschel1 and Germ´an Vidal2 1 is independent of a selection rule, into a classical BTA for offline partial evaluation of logic programs termination. We also show that through the use of selective hints, we can achieve both good specialisation

  11. Economic Modelling using Constraint Logic Programming Nelson Donovan & David Gilbert

    E-Print Network [OSTI]

    Gilbert, David

    Economic Modelling using Constraint Logic Programming Nelson Donovan & David Gilbert Computer of constraint logic programming (CLP) in economic modelling through the design and implementation of two economic models. The first model, the Desai­ Henry model contains only linear equations while the second

  12. Logic Programming SS 2013 Solution -Exam 21.08.2013

    E-Print Network [OSTI]

    Ábrahám, Erika

    solution: p = {(si (0), sj (0), sk (0)) | i, j, k 0} 2 #12;Logic Programming SS 2013 Solution - Exam 21Logic Programming SS 2013 Solution - Exam 21.08.2013 aaProf. Dr. Jürgen Giesl Carsten Otto Master Exam Version V3M First Name: Last Name: Immatriculation Number: Course of Studies (please mark exactly

  13. Logic Programming SS 2013 Solution -Exam 21.08.2013

    E-Print Network [OSTI]

    Ábrahám, Erika

    solution: p = {(si (0), sj (0), sk (0)) | i, j, k 0} 2 #12;Logic Programming SS 2013 Solution - Exam 21Logic Programming SS 2013 Solution - Exam 21.08.2013 aaProf. Dr. Jürgen Giesl Carsten Otto Bachelor/Master Exam Version V3B First Name: Last Name: Immatriculation Number: Course of Studies (please mark exactly

  14. Constraint Orientated Specification with CSP and Real Time Temporal Logic

    E-Print Network [OSTI]

    Kent, University of

    Constraint Orientated Specification with CSP and Real Time Temporal Logic Justin Pearson Department Processes (CSP) [Hoa85] and a version of Propositional Temporal Logic (PTL), derived from [Eme90]. CSP. The behaviour of a CSP process is dependent on its environment; it is therefore difficult to assert global

  15. A Statistical Learning Method for Logic Programs with Distribution

    E-Print Network [OSTI]

    Sato, Taisuke

    A Statistical Learning Method for Logic Programs with Distribution Semantics Taisuke SATO Tokyo a joint distribution P F is given to a set F of facts in a logic program DB = F [R where R is a set rigor. Thus symbolic computation and statistical modeling are integrated at semantic level

  16. Description Logics as Ontology Languages for the Semantic Web

    E-Print Network [OSTI]

    Baader, Franz

    Description Logics as Ontology Languages for the Semantic Web Franz Baader 1 , Ian Horrocks 2. The vision of a Semantic Web has recently drawn consider- able attention, both from academia and industry. Description logics are often named as one of the tools that can support the Semantic Web and thus help to make

  17. Characterizing Production Systems using Logic Programming and Situation Calculus

    E-Print Network [OSTI]

    Baral, Chitta

    Characterizing Production Systems using Logic Programming and Situation Calculus Chitta Baral@eecs.uic.edu Abstract In this paper we characterize production systems using logic programs and situation calculus to the operational semantics of production systems. This opens up the possibility of using results and techniques

  18. MATHEMATICAL MODAL LOGIC: A VIEW OF ITS EVOLUTION

    E-Print Network [OSTI]

    Goldblatt, Rob

    fundamental logical no- tion of necessity, nor consequently of possi- bility. If this conclusion is valid, and ethics. Most recently, modal symbolism and model theory have been put to use in computer science they were Handbook of the History of Logic. Volume 7 Dov M. Gabbay and John Woods (Editors) c 2006 Elsevier

  19. Level shift operators for open quantum systems

    E-Print Network [OSTI]

    Marco Merkli

    2006-01-07

    Level shift operators describe the second order displacement of eigenvalues under perturbation. They play a central role in resonance theory and ergodic theory of open quantum systems at positive temperatures. We exhibit intrinsic properties of level shift operators, properties which stem from the structure of open quantum systems at positive temperatures and which are common to all such systems. They determine the geometry of resonances bifurcating from eigenvalues of positive temperature Hamiltonians and they relate the Gibbs state, the kernel of level shift operators, and zero energy resonances. We show that degeneracy of energy levels of the small part of the open quantum system causes the Fermi Golden Rule Condition to be violated and we analyze ergodic properties of such systems.

  20. Automata and Fixed Point Logic: a Coalgebraic Perspective This paper generalizes existing connections between automata and logic to a coalge-

    E-Print Network [OSTI]

    Venema, Yde

    concrete applications in computer science, such as tools for the automatic verification of reactive systems model of state-based dynamics, and modal logic as a logic for dynamic systems, there are interesting for this language. Finally we show that the two approaches are equivalent in expressive power. We prove that any

  1. Proton Mass Shift in Muonic Hydrogen Atom

    E-Print Network [OSTI]

    Aiichi Iwazaki

    2014-08-11

    We show that the value of the proton mass depends on each bound state of muonic or electronic hydrogen atom. The charged particle bound to the proton produces magnetic field inside the proton. This makes a change to the amount of chiral condensate inside the proton. The change gives rise to the shift in the value of the proton mass. Numerically, the shift in the $2S$ state of the muonic hydrogen atom can be of the order of $0.1$ meV. The effect may solve the puzzle of the proton radius.

  2. Oak Ridge K-25 Site Technology Logic Diagram. Volume 2, Technology Logic Diagrams

    SciTech Connect (OSTI)

    Fellows, R.L.

    1993-02-26

    The Oak Ridge K-25 Technology Logic Diagram (TLD), a decision support tool for the K-25 Site, was developed to provide a planning document that relates envirorunental restoration and waste management problems at the Oak Ridge K-25 Site to potential technologies that can remediate these problems. The TLD technique identifies the research necessary to develop these technologies to a state that allows for technology transfer and application to waste management, remedial action, and decontamination and decommissioning activities. The TLD consists of four separate volumes-Vol. 1, Vol. 2, Vol. 3A, and Vol. 3B. Volume 1 provides introductory and overview information about the TLD. This volume, Volume 2, contains logic diagrams with an index. Volume 3 has been divided into two separate volumes to facilitate handling and use.

  3. Transformations of Logic Programs on Infinite Lists

    E-Print Network [OSTI]

    Pettorossi, Alberto; Senni, Valerio; 10.1017/S1471068410000177

    2010-01-01

    We consider an extension of logic programs, called \\omega-programs, that can be used to define predicates over infinite lists. \\omega-programs allow us to specify properties of the infinite behavior of reactive systems and, in general, properties of infinite sequences of events. The semantics of \\omega-programs is an extension of the perfect model semantics. We present variants of the familiar unfold/fold rules which can be used for transforming \\omega-programs. We show that these new rules are correct, that is, their application preserves the perfect model semantics. Then we outline a general methodology based on program transformation for verifying properties of \\omega-programs. We demonstrate the power of our transformation-based verification methodology by proving some properties of Buechi automata and \\omega-regular languages.

  4. Majors' Shift to Natural Gas, The

    Reports and Publications (EIA)

    2001-01-01

    The Majors' Shift to Natural Gas investigates the factors that have guided the United States' major energy producers' growth in U.S. natural gas production relative to oil production. The analysis draws heavily on financial and operating data from the Energy Information Administration's Financial Reporting System (FRS)

  5. Adaptive optics simulation performance improvements using reconfigurable logic

    E-Print Network [OSTI]

    Alastair Basden

    2006-11-09

    A technique used to accelerate an adaptive optics simulation platform using reconfigurable logic is described. The performance of parts of this simulation have been improved by up to 600 times (reducing computation times by this factor) by implementing algorithms within hardware and enables adaptive optics simulations to be carried out in a reasonable timescale. This demonstrates that it is possible to use reconfigurable logic to accelerate computational codes by very large factors when compared with conventional software approaches, and this has relevance for many computationally intensive applications. The use of reconfigurable logic for high performance computing is currently in its infancy and has never before been applied to this field.

  6. Social reversal of sex-biased aggression and dominance in a biparental cichlid fish1 (Julidochromis marlieri)2

    E-Print Network [OSTI]

    Renn, Susan C.P.

    species, aggression, dominance and parental care are typically sexually dimorphic.14 While behavioural; sexual dimorphism; sex-role; parental care; territorial32 aggression33 #12;- 2 - INTRODUCTION34 In many are expressed; these behaviours are said to be sexually dimorphic.36 Specifically, sexually dimorphic behaviours

  7. Finger length ratio (2D:4D) and sex differences in aggression during a simulated war game

    E-Print Network [OSTI]

    Cosmides, Leda

    Finger length ratio (2D:4D) and sex differences in aggression during a simulated war game Matthew H), and unprovoked attack during a simulated war game (n = 176). We also investigated whether 2D:4D mediated; Narcissism, social dominance orientation; Stress; Self-esteem; Aggression; War 0191-8869/$ - see front matter

  8. Artificial Intelligence 47 (1991) 31-56 31 Logic and artificial intelligence

    E-Print Network [OSTI]

    Pratt, Vaughan

    1991-01-01

    Artificial Intelligence 47 (1991) 31-56 31 Elsevier Logic and artificial intelligence Nils J Abstract Nilsson, N.J., Logic and artificial intelligence, Artificial Intelligence 47 (1990) 31-56. The theoretical foundations of the logical approach to artificial intelligence are presented. Logical languages

  9. To appear in AI Magazine, Summer 2005. Description Logics and Planning

    E-Print Network [OSTI]

    Gil, Yolanda

    To appear in AI Magazine, Summer 2005. Description Logics and Planning Yolanda Gil USC previous work on combining planning techniques with expressive representations of knowledge in description logics to reason about tasks, plans, and goals. Description logics can reason about the logical

  10. A DSM Cluster Architecture Supporting Aggressive Computation in Active Peter Graham

    E-Print Network [OSTI]

    Graham, Peter

    path. The use of DSM simplifies the imple- mentation, and extends the capabilities, of the activeA DSM Cluster Architecture Supporting Aggressive Computation in Active Networks Peter Graham Winnipeg, Manitoba, Canada R3T 2N2 pgraham@cs.umanitoba.ca Abstract Active networks allow computations

  11. Vasopressin/Serotonin Interactions in the Anterior Hypothalamus Control Aggressive Behavior in Golden Hamsters

    E-Print Network [OSTI]

    Delville, Yvon

    Vasopressin/Serotonin Interactions in the Anterior Hypothalamus Control Aggressive Behavior is the basolateral hypothalamus, particularly the anterior hypothalamic region. The present studies examine the neuroanatomical and neuro- chemical interaction between AVP and 5-HT at the level of the anterior hypothalamus (AH

  12. The Energy Impact of Aggressive Loop Fusion YongKang Zhu , Grigorios Magklis

    E-Print Network [OSTI]

    Scott, Michael L.

    The Energy Impact of Aggressive Loop Fusion YongKang Zhu , Grigorios Magklis , Michael L. Scott effect on energy. By merging program phases, fusion tends to increase the uniformity, or balance to increase IPC, and thus dynamic power, so that fusion-induced improvements in program energy are slightly

  13. The Cost of Male Aggression and Polygyny in California Sea Lions (Zalophus californianus)

    E-Print Network [OSTI]

    Gerber, Leah R.

    The Cost of Male Aggression and Polygyny in California Sea Lions (Zalophus californianus) Leah R territory sizes were associated with lower estimates of female fecundity within the same year. Female growth rate by lowering female fecundity. Females may attempt to offset male-related reductions in female

  14. Circuits for high-performance low-power VLSI logic

    E-Print Network [OSTI]

    Ma, Albert

    2006-01-01

    The demands of future computing, as well as the challenges of nanometer-era VLSI design, require new digital logic techniques and styles that are simultaneously high performance, energy efficient, and robust to noise and ...

  15. Cell Lineages and the Logic of Proliferative Control

    E-Print Network [OSTI]

    Bernard, Samuel

    Cell Lineages and the Logic of Proliferative Control Arthur D. Lander1,2,3[* , Kimberly K such control, there is still very little known about the control strategies themselves. Here, we consider how

  16. The NP-Completeness of Reflected Fragments of Justification Logics

    E-Print Network [OSTI]

    Jäger, Gerhard

    Kuznets2, 1 Department of Mathematics, University of California, San Diego La Jolla, CA 92093-0112, USA¨uckstrasse 10, CH-3012 Bern, Switzerland kuznets@iam.unibe.ch Abstract. Justification Logic studies epistemic

  17. Fuzzy logic based operated device identification in power distribution systems 

    E-Print Network [OSTI]

    Manivannan, Karthick Muthu

    2002-01-01

    Fault location in distribution systems is a challenging task because of the lack of homogeneity in the system and due to uncertainity in the data used for estimating the faulted sections. Fuzzy logic has widely been applied for handling...

  18. Predicting Protein Folding Kinetics via Temporal Logic Model Checking: Extended

    E-Print Network [OSTI]

    Langmead, Christopher James

    Predicting Protein Folding Kinetics via Temporal Logic Model Checking: Extended Abstract Abstract. We present a novel approach for predicting protein folding kinetics using techniques from checking. We tested our method on 19 test proteins. The quantitative predictions regarding folding rates

  19. NEW IMAGE RETRIEVAL PARADIGM : LOGICAL COMPOSITION OF REGION CATEGORIES

    E-Print Network [OSTI]

    Fauqueur, Julien

    the "photometric region thesaurus" of the image database. Logical composition of region categories expresses be viewed as a "photometric region thesaurus". Images are simply indexed by the list of category labels and

  20. The Proof Theory and Semantics of Intuitionistic Modal Logic 

    E-Print Network [OSTI]

    Simpson, Alex K

    Possible world semantics underlies many of the applications of modal logic in computer science and philosophy. The standard theory arises from interpreting the semantic definitions in the ordinary meta-theory of informal ...

  1. Electricity pricing for conservation and load shifting

    SciTech Connect (OSTI)

    Orans, Ren; Woo, C.K.; Horii, Brian; Chait, Michele; DeBenedictis, Andrew

    2010-04-15

    The electricity industry is facing the challenge of increasing costs of reliably meeting demand growth and fully complying with legislative renewable portfolio standards and greenhouse gas reduction targets. However, an electric utility's existing tariffs often don't have rates that increase with consumption volume or vary by time of use, thus not fully exploiting the potential benefits from customer conservation and load shifting. (author)

  2. Logic Programming SS 2013 Solution -Exam 16.09.2013

    E-Print Network [OSTI]

    Ábrahám, Erika

    @tA, and p a f@si+2 @0A;si @0AA j i ! H i Ta Ig . 3 #12;Logic Programming SS 2013 Solution - Exam 16Logic Programming SS 2013 Solution - Exam 16.09.2013 aaProf. Dr. Jürgen Giesl Carsten Otto Master Exam Version V3M First Name: Last Name: Immatriculation Number: Course of Studies (please mark exactly

  3. Identifying the correct children for inclusion in school-based intervention programs: are teacher perceptions of childhood aggression influenced by child ethnicity? 

    E-Print Network [OSTI]

    O'Brien, Karen Michelle

    2013-02-22

    In order to determine whether Euro-American teachers over-perceive aggression in African-American children, peer ratings of aggression were obtained via a modified version of the Revised Class Play (Masten, Morrison, & Pellegrini 1985) for 134 Euro...

  4. Signal Speed in Nanomagnetic Logic Chains

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power AdministrationRobust,Field-effect Photovoltaics -7541 UnlimitedShift EndShutdown 2013Signal

  5. Signal Speed in Nanomagnetic Logic Chains

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power AdministrationRobust,Field-effect Photovoltaics -7541 UnlimitedShift EndShutdown 2013SignalSignal Speed in

  6. Signal Speed in Nanomagnetic Logic Chains

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power AdministrationRobust,Field-effect Photovoltaics -7541 UnlimitedShift EndShutdown 2013SignalSignal Speed

  7. Signal Speed in Nanomagnetic Logic Chains

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power AdministrationRobust,Field-effect Photovoltaics -7541 UnlimitedShift EndShutdown 2013SignalSignal SpeedSignal

  8. Preliminary Master Logic Diagram for ITER operation

    SciTech Connect (OSTI)

    Cadwallader, L.C.; Taylor, N.P.; Poucet, A.E.

    1998-04-01

    This paper describes the work performed to develop a Master Logic Diagram (MLD) for the operations phase of the International Thermonuclear Experimental Reactor (ITER). The MLD is a probabilistic risk assessment tool used to identify the broad set of potential initiating events that could lead to an offsite radioactive or toxic chemical release from the facility under study. The MLD described here is complementary to the failure modes and effects analyses (FMEAs) that have been performed for ITER`s major plant systems in the engineering evaluation of the facility design. While the FMEAs are a bottom-up or component level approach, the MLD is a top-down or facility level approach to identifying the broad spectrum of potential events. Strengths of the MLD are that it analyzes the entire plant, depicts completeness in the accident initiator process, provides an independent method for identification, and can also identify potential system interactions. MLDs have been used successfully as a hazard analysis tool. This paper describes the process used for the ITER MLD to treat the variety of radiological and toxicological source terms present in the ITER design. One subtree of the nineteen page MLD is shown to illustrate the levels of the diagram.

  9. Hick Shifts Gears in NERSC's Storage Systems Group

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

    Hick Shifts Gears in NERSC's Storage Systems Group Hick Shifts Gears in NERSC's Storage Systems Group, Takes on New Role October 7, 2015 JasonHick2015 Jason Hick, who has been...

  10. Pendulum Shifts, Context, Error, and Personal Accountability

    SciTech Connect (OSTI)

    Harold Blackman; Oren Hester

    2011-09-01

    This paper describes a series of tools that were developed to achieve a balance in under-standing LOWs and the human component of events (including accountability) as the INL continues its shift to a learning culture where people report, are accountable and interested in making a positive difference - and want to report because information is handled correctly and the result benefits both the reporting individual and the organization. We present our model for understanding these interrelationships; the initiatives that were undertaken to improve overall performance.

  11. Shift Invariant Spaces on Lca Groups

    E-Print Network [OSTI]

    Cabrelli, Carlos

    2009-01-01

    In this article we extend the theory of shift-invariant spaces to the context of LCA groups. We introduce the notion of H-invariant space for a countable discrete subgroup H of an LCA group G, and show that the concept of range function and the techniques of fiberization are valid in this context. As a consequence of this generalization we prove characterizations of frames and Riesz bases of these spaces extending previous results, that were known for Rd and the lattice Zd .

  12. Resonance-shifting luminescent solar concentrators

    DOE Patents [OSTI]

    Giebink, Noel Christopher; Wiederrecht, Gary P; Wasielewski, Michael R

    2014-09-23

    An optical system and method to overcome luminescent solar concentrator inefficiencies by resonance-shifting, in which sharply directed emission from a bi-layer cavity into a glass substrate returns to interact with the cavity off-resonance at each subsequent reflection, significantly reducing reabsorption loss en route to the edges. In one embodiment, the system comprises a luminescent solar concentrator comprising a transparent substrate, a luminescent film having a variable thickness; and a low refractive index layer disposed between the transparent substrate and the luminescent film.

  13. GreenShift Corporation | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QAsource History View New PagesSustainableGlynn County, Georgia:Oregon:Corp JumpGreen2V JumpGreenShift Corporation

  14. From Documents to Discourse: Shifting Conceptions of Scholarly Publishing

    E-Print Network [OSTI]

    of a shift from paper to digital media in the submission, review and publication of scholarly work. For manyFrom Documents to Discourse: Shifting Conceptions of Scholarly Publishing Tamara Sumner & Simon://kmi.open.ac.uk/kmi-abstracts/kmi-tr-50-abstract.html]. #12;From Documents to Discourse: Shifting Conceptions of Scholarly Publishing

  15. VIEWLS Final recommendations report Shift Gear to Biofuels

    E-Print Network [OSTI]

    VIEWLS Final recommendations report 1 Shift Gear to Biofuels Results and recommendations from the VIEWLS project November 2005 #12;Shift Gear to Biofuels Final report of the VIEWLS project 2 #12;Shift Gear to Biofuels Final report of the VIEWLS project 3 Preface Biofuels are fuels made from

  16. Automated manual transmission shift sequence controller

    DOE Patents [OSTI]

    Lawrie, Robert E. (Whitmore Lake, MI); Reed, Richard G. (Royal Oak, MI); Rausen, David J. (Denver, CO)

    2000-02-01

    A powertrain system for a hybrid vehicle. The hybrid vehicle includes a heat engine, such as a diesel engine, and an electric machine, which operates as both, an electric motor and an alternator, to power the vehicle. The hybrid vehicle also includes a manual-style transmission configured to operate as an automatic transmission from the perspective of the driver. The engine and the electric machine drive an input shaft which in turn drives an output shaft of the transmission. In addition to driving the transmission, the electric machine regulates the speed of the input shaft in order to synchronize the input shaft during either an upshift or downshift of the transmission by either decreasing or increasing the speed of the input shaft. When decreasing the speed of the input shaft, the electric motor functions as an alternator to produce electrical energy which may be stored by a storage device. Operation of the transmission is controlled by a transmission controller which receives input signals and generates output signals to control shift and clutch motors to effect smooth launch, upshift shifts, and downshifts of the transmission, so that the transmission functions substantially as an automatic transmission from the perspective of the driver, while internally substantially functioning as a manual transmission.

  17. Taxonomy shifts up a gear: New publishing tools to accelerate biodiversity research i Taxonomy shifts up a gear

    E-Print Network [OSTI]

    Miller, Scott

    Taxonomy shifts up a gear: New publishing tools to accelerate biodiversity research i Taxonomy shifts up a gear: New publishing tools to accelerate biodiversity research Biodiversity is under severe

  18. A Comparison of Classical Counterconditioning and Differential Reinforcement of Alternative Behavior on Aggressive Behavior in Dogs

    E-Print Network [OSTI]

    Savage, Kristyn Echterling

    2010-04-10

    ). Many times these dogs are relinquished to local animal shelters (Salman, Hutchison, & Ruch-Gallie., 2000; Wells & Hepper, 2000). Society incurs costs associated with the care of housing such dogs, including food, housing, medical treatment... with people” (Wright et al., 2005, p. 145). Simply put, if a dog is not friendly towards people they risk losing their house or life. In an attempt to properly assess and treat aggressive behavior, many animal behaviorists or trainers analyze...

  19. Low delay and area efficient soft error correction in arbitration logic

    DOE Patents [OSTI]

    Sugawara, Yutaka

    2013-09-10

    There is provided an arbitration logic device for controlling an access to a shared resource. The arbitration logic device comprises at least one storage element, a winner selection logic device, and an error detection logic device. The storage element stores a plurality of requestors' information. The winner selection logic device selects a winner requestor among the requestors based on the requestors' information received from a plurality of requestors. The winner selection logic device selects the winner requestor without checking whether there is the soft error in the winner requestor's information.

  20. Accounting for the Variation of Driver Aggression in the Simulation of Conventional and Advanced Vehicles (Presentation)

    SciTech Connect (OSTI)

    Neubauer, J.; Wood, E.

    2013-05-01

    This presentation discusses a method of accounting for realistic levels of driver aggression to higher-level vehicle studies, including the impact of variation in real-world driving characteristics (acceleration and speed) on vehicle energy consumption and different powertrains (e.g., conventionally powered vehicles versus electrified drive vehicles [xEVs]). Aggression variation between drivers can increase fuel consumption by more than 50% or decrease it by more than 20% from average. The normalized fuel consumption deviation from average as a function of population percentile was found to be largely insensitive to powertrain. However, the traits of ideal driving behavior are a function of powertrain. In conventional vehicles, kinetic losses dominate rolling resistance and aerodynamic losses. In xEVs with regenerative braking, rolling resistance and aerodynamic losses dominate. The relation of fuel consumption predicted from real-world drive data to that predicted by the industry-standard HWFET, UDDS, LA92, and US06 drive cycles was not consistent across powertrains, and varied broadly from the mean, median, and mode of real-world driving. A drive cycle synthesized by NREL's DRIVE tool accurately and consistently reproduces average real-world for multiple powertrains within 1%, and can be used to calculate the fuel consumption effects of varying levels of driver aggression.

  1. Effect of zeranol or melengestrol acetate (MGA)on testicular development and aggression in farmed fallow bucks 

    E-Print Network [OSTI]

    Wilson, Timothy Wayne

    2000-01-01

    Fifteen yearling fallow bucks were randomly assigned by body weight to one of three treatment groups: control (C; n=5), melengestrol acetate (MGA; n=5), and zeranol (Z; n=5), to evaluate effects on testicular development, aggressive behavior...

  2. Cross-cultural Gender Differences and Developmental Trends of Aggression-Victim-Bystander Constructs: Brazil, Jamaica, and United States

    E-Print Network [OSTI]

    Noland, Brian Joseph

    2008-08-15

    We evaluated the measurement equivalence of the Peer Experiences Questionnaire (PEQ) across samples from Brazil, Jamaica, and the United States and compared latent means of aggressive and bystander behaviors, victimization experiences...

  3. Logic-Based Decision Support for Strategic Environmental Assessment

    E-Print Network [OSTI]

    Gavanelli, Marco; Milano, Michela; Cagnoli, Paolo; 10.1017/S1471068410000335

    2010-01-01

    Strategic Environmental Assessment is a procedure aimed at introducing systematic assessment of the environmental effects of plans and programs. This procedure is based on the so-called coaxial matrices that define dependencies between plan activities (infrastructures, plants, resource extractions, buildings, etc.) and positive and negative environmental impacts, and dependencies between these impacts and environmental receptors. Up to now, this procedure is manually implemented by environmental experts for checking the environmental effects of a given plan or program, but it is never applied during the plan/program construction. A decision support system, based on a clear logic semantics, would be an invaluable tool not only in assessing a single, already defined plan, but also during the planning process in order to produce an optimized, environmentally assessed plan and to study possible alternative scenarios. We propose two logic-based approaches to the problem, one based on Constraint Logic Programming a...

  4. Phase-shifting point diffraction interferometer

    DOE Patents [OSTI]

    Medecki, H.

    1998-11-10

    Disclosed is a point diffraction interferometer for evaluating the quality of a test optic. In operation, the point diffraction interferometer includes a source of radiation, the test optic, a beam divider, a reference wave pinhole located at an image plane downstream from the test optic, and a detector for detecting an interference pattern produced between a reference wave emitted by the pinhole and a test wave emitted from the test optic. The beam divider produces separate reference and test beams which focus at different laterally separated positions on the image plane. The reference wave pinhole is placed at a region of high intensity (e.g., the focal point) for the reference beam. This allows reference wave to be produced at a relatively high intensity. Also, the beam divider may include elements for phase shifting one or both of the reference and test beams. 8 figs.

  5. Phase-shifting point diffraction interferometer

    DOE Patents [OSTI]

    Medecki, Hector (Berkeley, CA)

    1998-01-01

    Disclosed is a point diffraction interferometer for evaluating the quality of a test optic. In operation, the point diffraction interferometer includes a source of radiation, the test optic, a beam divider, a reference wave pinhole located at an image plane downstream from the test optic, and a detector for detecting an interference pattern produced between a reference wave emitted by the pinhole and a test wave emitted from the test optic. The beam divider produces separate reference and test beams which focus at different laterally separated positions on the image plane. The reference wave pinhole is placed at a region of high intensity (e.g., the focal point) for the reference beam. This allows reference wave to be produced at a relatively high intensity. Also, the beam divider may include elements for phase shifting one or both of the reference and test beams.

  6. A reconfigurable spintronic device for quantum and classical logic

    E-Print Network [OSTI]

    Debanjan Bhowmik; Aamod Shanker; Angik Sarkar; Tarun Kanti Bhattacharyya

    2010-12-09

    Quantum superposition and entanglement of physical states can be harnessed to solve some problems which are intractable on a classical computer implementing binary logic. Several algorithms have been proposed to utilize the quantum nature of physical states and solve important problems. For example, Shor's quantum algorithm is extremely important in the field of cryptography since it factors large numbers exponentially faster than any known classical algorithm. Another celebrated example is the Grovers quantum algorithm. These algorithms can only be implemented on a quantum computer which operates on quantum bits (qubits). Rudimentary implementations of quantum processor have already been achieved through linear optical components, ion traps, NMR etc. However demonstration of a solid state quantum processor had been elusive till DiCarlo et al demonstrated two qubit algorithms in superconducting quantum processor. Though this has been a significant step, scalable semiconductor based room temperature quantum computing is yet to be found. Such a technology could benefit from the vast experience of the semiconductor industry. Hence, here we present a reconfigurable semiconductor quantum logic device (SQuaLD) which operates on the position and spin degree of freedom of the electrons in the device. Based on a few recent experiments, we believe SQuaLD is experimentally feasible. Moreover, using a well known quantum simulation method, we show that quantum algorithms (such as Deutsch Jozsa, Grover search) as well as universal classical logic operations (such as NAND gate) can be implemented in SQuaLD. Thus, we argue that SQuaLD is a strong candidate for the future quantum logic processor since it also satisfies the DiVincenzo criteria for quantum logic application as well as the five essential characteristics for classical logic applications.

  7. Noise-based deterministic logic and computing: a brief survey

    E-Print Network [OSTI]

    Laszlo B. Kish; Sunil P. Khatri; Sergey M. Bezrukov; Ferdinand Peper; Zoltan Gingl; Tamas Horvath

    2010-07-29

    A short survey is provided about our recent explorations of the young topic of noise-based logic. After outlining the motivation behind noise-based computation schemes, we present a short summary of our ongoing efforts in the introduction, development and design of several noise-based deterministic multivalued logic schemes and elements. In particular, we describe classical, instantaneous, continuum, spike and random-telegraph-signal based schemes with applications such as circuits that emulate the brain's functioning and string verification via a slow communication channel.

  8. Using Fuzzy Logic for Automatic Analysis of Astronomical Pipelines

    E-Print Network [OSTI]

    Lior Shamir; Robert J. Nemiroff

    2005-06-27

    Fundamental astronomical questions on the composition of the universe, the abundance of Earth-like planets, and the cause of the brightest explosions in the universe are being attacked by robotic telescopes costing billions of dollars and returning vast pipelines of data. The success of these programs depends on the accuracy of automated real time processing of the astronomical images. In this paper the needs of modern astronomical pipelines are discussed in the light of fuzzy-logic based decision-making. Several specific fuzzy-logic algorithms have been develop for the first time for astronomical purposes, and tested with excellent results on data from the existing Night Sky Live sky survey.

  9. Undecidability and temporal logic: some landmarks from Turing to the present

    E-Print Network [OSTI]

    Goranko, Valentin

    . INTRODUCTION Temporal logic was born in the mid 1950s, right after the death of Alan Turing in temporal logic was essentially Alan Turing's celebrated Undecidability of the Halting problem of (what

  10. Design and simulation for the fabrication of integrated semiconductor optical logic gates

    E-Print Network [OSTI]

    Markina, Aleksandra, 1977-

    2006-01-01

    Development of ultrafast all-optical logic requires accurate and efficient modeling of optical components and interfaces. In this research, we present an all-optical logic unit cell with complete Boolean functionality as ...

  11. Partial Realization in Dynamic Justification Logic Samuel Bucheli , Roman Kuznets , and Thomas Studer

    E-Print Network [OSTI]

    Jäger, Gerhard

    Partial Realization in Dynamic Justification Logic Samuel Bucheli , Roman Kuznets , and Thomas, kuznets, tstuder}@iam.unibe.ch Abstract. Justification logic is an epistemic framework that provides a way

  12. John Dewey's theory of inquiry: an interpretation of a classical American approach to logic 

    E-Print Network [OSTI]

    Deters, Troy Nicholas

    2006-08-16

    During the 20th century, John Dewey introduced a new idea with respect to the nature of logical theory: He presented a portrait of logic as a theory about how organisms interact and maintain an integrated balance between themselves...

  13. LOGIC AND ARTIFICIAL INTELLIGENCE Grad Seminar, Spring '95, 66-6943, 66-4963, 48-6244

    E-Print Network [OSTI]

    Bringsjord, Selmer

    LOGIC AND ARTIFICIAL INTELLIGENCE Grad Seminar, Spring '95, 66-6943, 66 one required text, Logical Foundations of Artificial Intelligence, by Genesereth and Nilsson (= G

  14. Aggressively Passive 

    E-Print Network [OSTI]

    Upadhyaya, K.

    2013-01-01

    Lagrangian (multi-phase) Steady Implicit/Explicit Unsteady flows Free surface & Cavitation, Segregated or Coupled solvers Passiver or Active Scalar t transpor Inviscid, laminar & turbulent flows (k-epsilon, Spalart-Allmaras) Combustion Moving reference...

  15. High Density Three-Dimensional Nanomagnetic Logic Systems Composed of Material with Crystalline Anisotropy

    E-Print Network [OSTI]

    Tian, Yuan

    2013-01-01

    Ping Wang. “Programmable spintronics logic device based on aon [58] Kent, Andrew D. “Spintronics: Perpendicular all the

  16. Model-Theoretic Investigations into Consequence Operation (Cn) in Quantum Logics. An Algebraic Approach

    E-Print Network [OSTI]

    Piotr Wilczek

    2009-02-21

    In this paper we present the fundamentals of the so-called algebraic approach to propositional quantum logics. We define the set of formulas describing quantum reality as a free algebra freely generated by the set of quantum propositional variables. We define the general notion of logic as a structural consequence operation. Next we introduce the concept of logical matrices understood as a models of quantum logics. We give the definitions of two quantum consequence operations defined in these models.

  17. Strong cut-elimination systems for Hudelmaier's depth-bounded sequent calculus for implicational logic

    E-Print Network [OSTI]

    Lengrand, Stéphane

    ]) for intuitionistic propositional logic was independently developed by Hudelmaier [Hud89,Hud92], and the first author

  18. A new method for testing decision procedures in modal and terminological logics

    E-Print Network [OSTI]

    Sebastiani, Roberto

    In the area of automated reasoning in modal and ter­ minological logics there seems to be very little bibli

  19. Geo-Logical Routing in Wireless Sensor Networks* Dulanjalie C. Dhanapala and Anura P. Jayasumana

    E-Print Network [OSTI]

    Jayasumana, Anura P.

    Geo-Logical Routing in Wireless Sensor Networks* Dulanjalie C. Dhanapala and Anura P. Jayasumana Abstract-- Geo-Logical Routing (GLR) is a novel technique that combines the advantages of geographic. In logical domain, a node is characterized by a VC vector consisting of minimum number of hops to a set

  20. 164 INDUCTIVE LOGIC "Corroboration versus Induction," British Journal for the Philosophy of Science

    E-Print Network [OSTI]

    Fitelson, Branden

    164 INDUCTIVE LOGIC "Corroboration versus Induction," British Journal for the Philosophy of Science: D. C. Stove,review of Popper's, Logic of Scientij5c Discovery, AustralasianJournal of Philosophy 38 Measures of Evidential Strength" appears in Aspects of Inductive Logic (Hintikka and Suppes, eds.), North

  1. Logic Foundry: Rapid Prototyping of FPGA-based DSP Systems Gary Spivey

    E-Print Network [OSTI]

    Bhattacharyya, Shuvra S.

    Logic Foundry: Rapid Prototyping of FPGA-based DSP Systems Gary Spivey Rincon Research Corporation@is.aist-nara.ac.jp Abstract ­ The Logic Foundry is a system for the creation and integration of FPGA-based DSP systems the Logic Foundry, a system can easily be specified, and then automatically constructed and integrated

  2. Logic Foundry: A Rapid Prototyping Tool for FPGA-based DSP Systems Gary Spivey

    E-Print Network [OSTI]

    Bhattacharyya, Shuvra S.

    Logic Foundry: A Rapid Prototyping Tool for FPGA-based DSP Systems Gary Spivey Rincon Research Communication Science Labs, Kyoto, Japan kazuo@cslab.kecl.ntt.co.jp Abstract We introduce the Logic Foundry the Logic Foundry, a system can be easily specified, and then automatically constructed and integrated

  3. Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard

    E-Print Network [OSTI]

    Ruet, Paul

    Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets, a systematic rewriting of logical genetic reg- ulatory graphs in terms of standard Petri net models is proposed. We show that, in the Boolean case, the combination of the logical approach with the standard Petri

  4. Description Logics: Foundations for Class-based Knowledge Representation Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini

    E-Print Network [OSTI]

    Calvanese, Diego

    Description Logics: Foundations for Class-based Knowledge Representation Diego Calvanese, Giuseppe Class-based languages express knowledge in terms of objects and classes, and have inspired a huge number of formalisms in computer science. Description logics form a family of both class-based and logic

  5. Direct Reed-Muller Transform of Digital Logic Netlists Mitchell A. Thornton and Jennifer Dworak

    E-Print Network [OSTI]

    Thornton, Mitchell

    Direct Reed-Muller Transform of Digital Logic Netlists Mitchell A. Thornton and Jennifer Dworak that enables frequency domain analysis of digital logic circuits through the use of the Reed-Muller transform of a digital logic circuit based on the circuit topology is developed. The technique is based on the definition

  6. POWER AND SIGNAL INTEGRITY IMPROVEMENT IN ULTRA HIGH-SPEED CURRENT MODE LOGIC

    E-Print Network [OSTI]

    Brewer, Forrest D.

    for Low- Voltage-Swing Logic (LVSL) to greatly reduce the power require- ment of a CML logic subsystem% power reduction is achieved while improving the signal integrity. 1. INTRODUCTION High is that there is no viable power-conserving technology for multigi- gahertz logic in portable applications although

  7. Prioritizing Default Logic: Abridged Report Gerhard Brewka 1 and Thomas Eiter 2

    E-Print Network [OSTI]

    Brewka, Gerhard

    for representing design goals in configuration tasks conflicts naturally arise. The same is true in model based to a default. This approach has the advantage that the logical machinery of the underly­ ing nonmonotonic logic an explicit preference relation and where the logical machinery is ex­ tended accordingly. Indeed, for all

  8. Software Synthesis from Synchronous Specifications Using Logic Simulation Techniques

    E-Print Network [OSTI]

    Brayton, Robert K.

    a synchronous state machine specification for em- bedded control systems. The framework is generic enoughSoftware Synthesis from Synchronous Specifications Using Logic Simulation Techniques Yunjian Jiang variables. This model has been studied for system design and verification. High-level synchronous languages

  9. Law, Logic and Language in Legal Computer Science

    E-Print Network [OSTI]

    Cheng, Eugenia

    Law, Logic and Language in Legal Computer Science Michael Heather School of Law University of Northumbria at Newcastle, NE1 8ST, UK B.Nick Rossiter Computing Science Newcastle University, NE1 7RU B.N.Rossiter@ncl.ac.uk November 1995 Abstract Legal computer science requires a theoretical basis which can be realized

  10. Feature Diagrams and Logics: There and Back Again Krzysztof Czarnecki

    E-Print Network [OSTI]

    Czarnecki, Krzysztof

    Feature Diagrams and Logics: There and Back Again Krzysztof Czarnecki University of Waterloo fami- lies. In their basic form, feature models contain manda- tory/optional features, feature groups in prod- uct families [15, 11, 4]. In their basic form, feature mod- els contain mandatory

  11. Optimization and Relaxation in Constraint Logic Languages Kannan Govindarajan

    E-Print Network [OSTI]

    Krovi, Venkat

    Optimization and Relaxation in Constraint Logic Languages Kannan Govindarajan Dept. of Computer & Technology Xerox Corporation Webster, NY 14580 mantha@wrc.xerox.com Abstract Optimization and relaxation.g., engineering design, scheduling, decision support, etc. In optimization, we are interested in finding

  12. Computation of Normal Logic Programs by Fibring Neural Networks

    E-Print Network [OSTI]

    Seda, Anthony Karel

    Computation of Normal Logic Programs by Fibring Neural Networks Vladimir Komendantsky1 and Anthony of the integration of fibring neural net- works (a generalization of conventional neural networks) into model by fibring neural networks of semantic immediate consequence operators TP and TP , where TP denotes

  13. Tuning Fuzzy Logic Controllers for Energy Efficiency Consumption in Buildings

    E-Print Network [OSTI]

    Casillas Barranquero, Jorge

    Tuning Fuzzy Logic Controllers for Energy Efficiency Consumption in Buildings R. Alcal´a DECSAI- tion in buildings represents about 40% of to- tal energy consumption and more than a half controllers, tuning techniques, multiobjective optimisation, en- ergy efficiency, buildings, BEMS, HVAC sys

  14. Clue Deduction: Professor Plum Teaches Logic Todd W. Neller

    E-Print Network [OSTI]

    Neller, Todd W.

    and explain why it is well-suited to the teaching and application of proposi- tional logic. The murder of his mansion Tudor Close. The game's object is to be the first to correctly deduce the cor- rect murder://uhaweb.hartford.edu/compsci/ccli/Clue/ #12;These three cards are the unknown murder suspect, weapon, and room for this game. The remaining 18

  15. SmartOpt: An Industrial Strength Framework for Logic Synthesis

    E-Print Network [OSTI]

    Mishchenko, Alan

    SmartOpt: An Industrial Strength Framework for Logic Synthesis Stephen Jang, Dennis Wu, Mark Jarvin are not representative of modern industrial FPGAs. This paper presents a framework (SmartOpt) for mapping complex FPGA the LUT count and performance of large industrial circuits described in HDL. Xilinx Synthesis Technology

  16. SALT--Structured Assertion Language for Temporal Logic

    E-Print Network [OSTI]

    Cengarle, María Victoria

    SALT--Structured Assertion Language for Temporal Logic Andreas Bauer, Martin Leucker , and Jonathan,leucker,streit}@informatik.tu-muenchen.de Abstract. This paper presents Salt. Salt is a general purpose speci- fication and assertion language other formalisms used for temporal specification of properties, Salt does not target a specific domain

  17. SALT---Structured Assertion Language for Temporal Logic

    E-Print Network [OSTI]

    Leucker, Martin

    SALT---Structured Assertion Language for Temporal Logic Andreas Bauer, Martin Leucker,leucker,streit}@informatik.tu­muenchen.de Abstract. This paper presents Salt. Salt is a general purpose speci­ fication and assertion language other formalisms used for temporal specification of properties, Salt does not target a specific domain

  18. 1 Designing Constraint Logic Programming Languages using Computational Systems

    E-Print Network [OSTI]

    Vittek, Marian

    1 Designing Constraint Logic Programming Languages using Computational Systems Claude Kirchner, H'el`ene Kirchner and Marian Vittek 1.1 Abstract This work presents computational systems, a framework as computational systems. We thus get a framework in which rewriting techniques can be used to reason about

  19. Compositionality of HennessyMilner Logic through Structural Operational Semantics #

    E-Print Network [OSTI]

    Pratt, Vaughan

    ,2 , Rob van Glabbeek 1 , and Paulien de Wind 2 1 CWI, Department of Software Engineering PO Box 94079 and while statements. Interaction between parallel components is done via shared variables. In Stirling [22­Milner Logic (HML) [11]. In Stirling [23, 24] the results from [22] are extended, creating proof sys

  20. Compositionality of Hennessy-Milner Logic through Structural Operational Semantics?

    E-Print Network [OSTI]

    Pratt, Vaughan

    Engineering PO Box 94079, 1090 GB Amsterdam, The Netherlands 2 Vrije Universiteit Amsterdam is done via shared variables. In Stirling [22] modal proof systems are developed for subsets of CCS [16 the validity of formulae from Hennessy-Milner Logic (HML) [11]. In Stirling [23, 24] the results from [22

  1. Compositionality of Hennessy-Milner Logic through Structural Operational Semantics

    E-Print Network [OSTI]

    Fokkink, Wan

    ,2 , Rob van Glabbeek1 , and Paulien de Wind2 1 CWI, Department of Software Engineering PO Box 94079, 1090 and while statements. Interaction between parallel components is done via shared variables. In Stirling [22-Milner Logic (HML) [11]. In Stirling [23, 24] the results from [22] are extended, creating proof sys- tems

  2. Compositionality of Hennessy-Milner Logic through Structural Operational Semantics

    E-Print Network [OSTI]

    Pratt, Vaughan

    ,2 , Rob van Glabbeek1 , and Paulien de Wind2 1 CWI, Department of Software Engineering PO Box 94079, 1090 and while statements. Interaction between parallel components is done via shared variables. In Stirling [22-Milner Logic (HML) [11]. In Stirling [23, 24] the results from [22] are extended, creating proof sys- To appear

  3. Logic and Bayesian Networks Part 3: Knoweledge Compilation

    E-Print Network [OSTI]

    Huang, Jinbo

    Logic and Bayesian Networks Part 3: Knoweledge Compilation Jinbo Huang Jinbo Huang Knowledge Compilation 1/ 53 #12;Negation Normal Form (NNF) AND/OR circuit over literals Jinbo Huang Knowledge Compilation 2/ 53 #12;Negation Normal Form (NNF) Any Boolean function can be represented in NNF (completeness

  4. Improving ontologies by automatic reasoning and evaluation of logical definitions

    E-Print Network [OSTI]

    Kohler, Sebastian; Bauer, Sebastian; Mungall, Chris J.; Carletti, Gabriele; Smith, Cynthia L.; Schofield, Paul; Gkoutos, Georgios V.; Robinson, Peter N.

    2011-10-27

    ://code.google.com/p/owltools/]. 32. Tsarkov D, Horrocks I: FaCT++ description logic reasoner: system description. Proc of the Int Joint Conf on Automated Reasoning (IJCAR 2006), Volume 4130 of Lecture Notes in Artificial Intelligence, Springer 2006, 292-297. 33. Haendel MA, Gkoutos...

  5. Using Temporal Logics to Express Search Control Knowledge for Planning

    E-Print Network [OSTI]

    Kabanza, Froduald

    of hierarchical task network (HTN) planners have been stud- ied in the literature and utilized in planning systemsUsing Temporal Logics to Express Search Control Knowledge for Planning Fahiem Bacchus Dept kabanza@dmi.usherb.ca June 7, 1999 Abstract Over the years increasingly sophisticated planning algorithms

  6. Schema Evolution and Versioning: a Logical and Computational Characterisation

    E-Print Network [OSTI]

    Franconi, Enrico

    Schema evolution and versioning problems have been considered in the context of long­lived database]. According to the definitions given in a consensual glossary [21], a database supports schema evolutionSchema Evolution and Versioning: a Logical and Computational Characterisation Enrico Franconi 1

  7. J. LOGIC PROGRAMMING 1989:163-178 163 METAINTERPRETERS FOR

    E-Print Network [OSTI]

    Beer, Randall D.

    J. LOGIC PROGRAMMING 1989:163-178 163 METAINTERPRETERS FOR EXPERT SYSTEM CONSTRUCTION LEON STERLING and inference engine. This decomposition is not entirely appropriate for expert systems written in PROLOG. Much of what an inference engine does is provided by PROLOG itself; knowledge bases are executable. However

  8. A LOGIC PROGRAMMING LANGUAGE WITH LAMBDA-ABSTRACTION, FUNCTION VARIABLES,

    E-Print Network [OSTI]

    Miller, Dale

    A LOGIC PROGRAMMING LANGUAGE WITH LAMBDA-ABSTRACTION, FUNCTION VARIABLES, AND SIMPLE UNIFICATION University of Pennsylvania Philadelphia, PA 19104­6389 USA 1. Introduction A meta programming language must. Although the data types available in most computer programming languages are rich enough to represent all

  9. Complete Representations in Algebraic Logic Robin Hirsch & Ian Hodkinson \\Lambda

    E-Print Network [OSTI]

    Hodkinson, Ian

    Complete Representations in Algebraic Logic Robin Hirsch & Ian Hodkinson \\Lambda Abstract A boolean algebra is shown to be completely representable if and only if it is atomic, whereas it is shown that neither the class of completely representable relation algebras nor the class of completely representable

  10. PSYCHO? LOGICAL? BULLETIN August 1, 2003 Volume 2, No. 8

    E-Print Network [OSTI]

    Spirtes, Peter

    PSYCHO? LOGICAL? BULLETIN August 1, 2003 Volume 2, No. 8 TOP SECRET SOCIAL COMMITTEE EVENT BBiikkee who came to pick me up one of the family Hummers." In response to this national tragedy, the Top Secret Social Committee has proposed Bike From Work (to Happy Hour) Day. Celebrate clean transportation

  11. LOGICAL QUERY COMPOSITION FROM LOCAL VISUAL FEATURE THESAURUS

    E-Print Network [OSTI]

    Fauqueur, Julien

    LOGICAL QUERY COMPOSITION FROM LOCAL VISUAL FEATURE THESAURUS Julien FAUQUEUR and Nozha BOUJEMAA photometric thesaurus. It gives an overview of the database content in the query interface. Unsupervised generation of this thesaurus is based on grouping similar regions into "region categories". The user can

  12. Enrollment Logics and Discourse: Toward Professionalizing Higher Education Enrollment Management 

    E-Print Network [OSTI]

    Snowden, Monique Lavette

    2012-10-19

    ” Chief Enrollment Managers ......................... 76 Data Collection and Autoethnographic Reflections .............. 79 Enrollment Management Narratives ......................... 80 AACRAO SEM Conferences... LOGICS AND DISCOURSE: TOWARD PROFESSIONALIZING HIGHER EDUCATION ENROLLMENT MANAGEMENT A Dissertation by MONIQUE LAVETTE SNOWDEN Submitted to the Office of Graduate Studies of Texas A&M University in partial fulfillment...

  13. Data Integration: A Logic-Based Perspective Diego Calvanese

    E-Print Network [OSTI]

    De Giacomo, Giuseppe

    Data Integration: A Logic-Based Perspective Diego Calvanese Faculty of Computer Science Free, 00198 Roma, Italy degiacomo@dis.uniroma1.it Abstract Data integration is the problem of combining data, reconciled global view of these data. We discuss data integration systems, taking the abstract viewpoint

  14. Terminological Logics and Conceptual Graphs: An Historical Perspective?

    E-Print Network [OSTI]

    Schmidt, Renate A.

    expressive ones, like KL of [6]. The history of these algebras can be traced back to the work of Boole, De be traced, as far back, as the nineteenth century, to the beginnings of algebraic logic and quantification on the existential graphs of Peirce. It is less well-known tha* *t, in essence, Peirce also developed the algebraic

  15. Games in Algebraic Logic Robin Hirsch and Ian Hodkinson

    E-Print Network [OSTI]

    Hodkinson, Ian

    algebra of propositions [Boo51]. De Morgan wrote When the ideas thrown out by Mr Boole shall have borneGames in Algebraic Logic Robin Hirsch and Ian Hodkinson January 12, 1998 In 1860, Augustus de Morgan published [DeM60], thereby launching an inves­ tigation into the algebra of relations

  16. Fast Offline Partial Evaluation of Large Logic Programs

    E-Print Network [OSTI]

    Vidal, Germán

    not guarantee global termination. This work has been partially supported by the EU (FEDER) and the Spanish MECFast Offline Partial Evaluation of Large Logic Programs Michael Leuschel1 and Germ´an Vidal2 1 There are two main approaches to partial evaluation [6], a well-known technique for program specialisation

  17. LOGIC BASED DESIGN OF OPTIMAL RECONFIGURATION STRATEGIES FOR SHIP

    E-Print Network [OSTI]

    Kwatny, Harry G.

    LOGIC BASED DESIGN OF OPTIMAL RECONFIGURATION STRATEGIES FOR SHIP POWER SYSTEMS Harry G. Kwatny that are supplied. Keywords: applications, hybrid systems, switching, optimal control, feedback design, nonlinear of power flow, loads and energy storage devices. A challenge is the design of a power management system

  18. Coinductive Constraint Logic Programming Neda Saeedloei and Gopal Gupta

    E-Print Network [OSTI]

    Gupta, Gopal

    Coinductive Constraint Logic Programming Neda Saeedloei and Gopal Gupta Department of Computer Science, University of Texas at Dallas, Richardson, TX 75080, USA {neda-LP does not allow constraints. While this is only an artificial, #12;2 Neda Saeedloei and Gopal Gupta

  19. Optimal Control with Weighted Average Costs and Temporal Logic Specifications

    E-Print Network [OSTI]

    Murray, Richard M.

    Optimal Control with Weighted Average Costs and Temporal Logic Specifications Eric M. Wolff Control and Dynamical Systems California Institute of Technology Pasadena, California 91125 Email: ewolff@caltech.edu Ufuk Topcu Control and Dynamical Systems California Institute of Technology Pasadena, California 91125

  20. Finite-Tree Analysis for Constraint Logic-Based Languages ?

    E-Print Network [OSTI]

    Hill, Patricia

    @di.unipi.it 3 School of Computing, University of Leeds, U. K. hill@comp.leeds.ac.uk Abstract. Logic languages was done during visits of the fourth author to Leeds, funded by EPSRC under grant M05645. 1 That is, rooted, directed and possibly cyclic graphs where nodes are labeled with variable and function symbols

  1. Current Trends in Logical Frameworks and Metalanguages David Basin

    E-Print Network [OSTI]

    Basin, David

    Current Trends in Logical Frameworks and Metalanguages David Basin Universitat Freiburg, Institut-Level Programming Languages (PLI'99) in Paris in September 1999. This workshop brought together designers, im Academic Publishers. Printed in the Netherlands. intro-final.tex; 24/01/2001; 17:13; p.1 #12; 2 Basin

  2. APPLICATION OF INTENSIONAL LOGIC TO KNDWLEDGE REPRESENTATION FSO Prague, Czechoslovakia

    E-Print Network [OSTI]

    The system of transparent intensional logic (TIL) intro- duced by Pavel Tich~ is used as a framework;(7) Tom says that the Earth is round. >>> Hm. (8) Belleve the proposition which Tom says[ >>> OK. (9) Which property does the Earth have? >>> Roundness. (10) Paul says that you do not believe

  3. Electrostatic shape-shifting ion optics

    DOE Patents [OSTI]

    Dahl, David A.; Scott, Jill R.; Appelhans, Anthony D.

    2006-05-02

    Electrostatic shape-shifting ion optics includes an outer electrode that defines an interior region between first and second opposed open ends. A first inner electrode is positioned within the interior region of the outer electrode at about the first open end. A second inner electrode is positioned within the interior region of the outer electrode at about the second open end. A first end cap electrode is positioned at about a first open end of the first inner electrode so that the first end cap electrode substantially encloses the first open end of the first inner electrode. A second end cap electrode is positioned at about a second open end of the second inner electrode so that the second end cap electrode substantially encloses the second open end of the second inner electrode. A voltage source operatively connected to each of the electrodes applies voltage functions to each of the electrodes to produce an electric field within an interior space enclosed by the electrodes.

  4. Process Intensification with Integrated Water-Gas-Shift Membrane...

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

    water-gas-shift.pdf More Documents & Publications ITP Energy Intensive Processes: Energy-Intensive Processes Portfolio: Addressing Key Energy Challenges Across U.S. Industry...

  5. The Shifting Landscape of Ratepayer-Funded Energy Efficiency...

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

    BERKELEY NATIONAL LABORATORY The Shifting Landscape of Ratepayer- Funded Energy Efficiency in the U.S. Galen Barbose, Charles Goldman, and Jeff Schlegel Environmental Energy...

  6. Y-12 Plant decontamination and decommissioning technology logic diagram for Building 9201-4. Volume 2: Technology logic diagram

    SciTech Connect (OSTI)

    1994-09-01

    The Y-12 Plant Decontamination and Decommissioning Technology Logic Diagram for Building 9201-4 (TLD) was developed to provide a decision-support tool that relates decontamination and decommissioning (D and D) problems at Bldg. 9201-4 to potential technologies that can remediate these problems. This TLD identifies the research, development, demonstration, testing, and evaluation needed for sufficient development of these technologies to allow for technology transfer and application to D and D and waste management (WM) activities. It is essential that follow-on engineering studies be conducted to build on the output of this project. These studies will begin by selecting the most promising technologies identified in the TLD and by finding an optimum mix of technologies that will provide a socially acceptable balance between cost and risk. The TLD consists of three fundamentally separate volumes: Vol. 1 (Technology Evaluation), Vol. 2 (Technology Logic Diagram), and Vol. 3 (Technology Evaluation Data Sheets). Volume 2 contains the logic linkages among environmental management goals, environmental problems, and the various technologies that have the potential to solve these problems. Volume 2 has been divided into five sections: Characterization, Decontamination, Dismantlement, Robotics/Automation, and Waste Management. Each section contains logical breakdowns of the Y-12 D and D problems by subject area and identifies technologies that can be reasonably applied to each D and D challenge.

  7. ECE 271 Digital Logic Design Catalog Description: A first course in digital logic design. Data types and representations,

    E-Print Network [OSTI]

    and definitions used in digital logic design: notation, number systems, difference between analog and digital system, specification and implementation, analysis and design, design cycle, CAD tools, combinational-level description of a digital system into a binary description of it (ABET Outcomes: A,M) 2. Analyze and design

  8. Introduction to Clones Boolean logic (or propositional logic as we prefer to call it) is named after George

    E-Print Network [OSTI]

    ) is named after George Boole, a professor at University College Cork, who first thought about an algebraic of Logic''. The ideas of George Boole (that can be traced back to Leibniz, actually) have reached algebra. The section on abstract clones follows the idea presented by B. Csákány in his addendum

  9. Coherent control of the Goos-Hanchen shift 

    E-Print Network [OSTI]

    Ziauddin, Qamar S.; Qamar, Sajid; Zubairy, M. Suhail

    2010-01-01

    The behavior of the Goos-Hanchen (GH) shifts in the reflected and transmitted light beam which is incident on a cavity containing an intracavity medium of three-level or four-level atoms with electromagnetically induced transparency (EIT...however, the GH shifts in the transmitted light remains positive. The corresponding group index of the cavity is positive in both cases....

  10. Ab initio NMR Chemical Shift Calculations for Biomolecular Systems

    E-Print Network [OSTI]

    , the chemical shift describes the dependence of nuclear magnetic energy levels on the electronic environment nuclear magnetic shielding tensor as mixed derivatives of the energy E with respect to an external between nuclei placed in different molecular environments. This means that the chemical shift is sensitive

  11. SHIFTED JACOBI POLYNOMIALS AND DELANNOY NUMBERS GABOR HETYEI

    E-Print Network [OSTI]

    Jiang, Jiancheng

    SHIFTED JACOBI POLYNOMIALS AND DELANNOY NUMBERS G´ABOR HETYEI `A la m´emoire de Pierre Leroux Abstract. We express a weigthed generalization of the Delannoy numbers in terms of shifted Jacobi Jacobi polynomials. Another specializa- tion provides a weighted lattice path enumeration model

  12. Oak Ridge K-25 Site Technology Logic Diagram

    SciTech Connect (OSTI)

    Fellows, R.L. (ed.)

    1993-02-26

    The Oak Ridge K-25 Technology Logic Diagram (TLD), a decision support tool for the K-25 Site, was developed to provide a planning document that relates environmental restoration and waste management problems at the Oak Ridge K-25 Site to potential technologies that can remediate these problems. The TLD technique identifies the research necessary to develop these technologies to a state that allows for technology transfer and application to waste management, remedial action, and decontamination and decommissioning activities. The TLD consists of four separate volumes-Vol. 1, Vol. 2, Vol. 3A, and Vol. 3B. Volume 1 provides introductory and overview information about the TLD. Volume 2 contains logic diagrams. Volume 3 has been divided into two separate volumes to facilitate handling and use. This report is part A of Volume 3 concerning characterization, decontamination, and dismantlement.

  13. Leveraging Data Lineage to Infer Logical Relationships between Astronomical Catalogs

    E-Print Network [OSTI]

    Buddelmeijer, Hugo

    2012-01-01

    A novel method to infer logical relationships between sets is presented. These sets can be any collection of elements, for example astronomical catalogs of celestial objects. The method does not require the contents of the sets to be known explicitly. It combines incomplete knowledge about the relationships between sets to infer a priori unknown relationships. Relationships between sets are represented by sets of Boolean hypercubes. This leads to deductive reasoning by application of logical operators to these sets of hypercubes. A pseudocode for an efficient implementation is described. The method is used in the Astro-WISE information system to infer relationships between catalogs of astronomical objects. These catalogs can be very large and, more importantly, their contents do not have to be available at all times. Science products are stored in Astro-WISE with references to other science products from which they are derived, or their dependencies. This creates full data lineage that links every science pro...

  14. Oak Ridge K-25 Site Technology Logic Diagram

    SciTech Connect (OSTI)

    Fellows, R.L.

    1993-02-26

    The Oak Ridge K-25 Technology Logic Diagram (TLD), a decision support tool for the K-25 Site, was developed to provide a planning document that relates envirorunental restoration and waste management problems at the Oak Ridge K-25 Site to potential technologies that can remediate these problems. The TLD technique identifies the research necessary to develop these technologies to a state that allows for technology transfer and application to waste management, remedial action, and decontamination and decommissioning activities. The TLD consists of four separate volumes-Vol. 1, Vol. 2, Vol. 3A, and Vol. 3B. Volume 1 provides introductory and overview information about the TLD. This volume, Volume 2, contains logic diagrams with an index. Volume 3 has been divided into two separate volumes to facilitate handling and use.

  15. The frequency crossover for the Goos-Hanchen shift

    E-Print Network [OSTI]

    Manoel Araujo; Silvania Carvalho; Stefano De Leo

    2014-09-01

    For total reflection, the Goos-Hanchen (GH) shift is proportional to the wavelength of the laser beam. At critical angles, such a shift is instead proportional to the square root of the product of the beam waist and wavelength. By using the stationary phase method (SPM) and, when necessary, numerical calculations, we present a detailed analysis of the frequency crossover for the GH shift. The study, done in different incidence regions, sheds new light on the validity of the analytic formulas found in literature.

  16. Accounting for the Variation of Driver Aggression in the Simulation of Conventional and Advanced Vehicles

    SciTech Connect (OSTI)

    Neubauer, J.; Wood, E.

    2013-01-01

    Hybrid electric vehicles, plug-in hybrid electric vehicles, and battery electric vehicles offer the potential to reduce both oil imports and greenhouse gases, as well as to offer a financial benefit to the driver. However, assessing these potential benefits is complicated by several factors, including the driving habits of the operator. We focus on driver aggression, i.e., the level of acceleration and velocity characteristic of travel, to (1) assess its variation within large, real-world drive datasets, (2) quantify its effect on both vehicle efficiency and economics for multiple vehicle types, (3) compare these results to those of standard drive cycles commonly used in the industry, and (4) create a representative drive cycle for future analyses where standard drive cycles are lacking.

  17. Accounting for the Variation of Driver Aggression in the Simulation of Conventional and Advanced Vehicles: Preprint

    SciTech Connect (OSTI)

    Neubauer, J.; Wood, E.

    2013-03-01

    Hybrid electric vehicles, plug-in hybrid electric vehicles, and battery electric vehicles offer the potential to reduce both oil imports and greenhouse gases, as well as to offer a financial benefit to the driver. However, assessing these potential benefits is complicated by several factors, including the driving habits of the operator. We focus on driver aggression, i.e., the level of acceleration and velocity characteristic of travel, to (1) assess its variation within large, real-world drive datasets, (2) quantify its effect on both vehicle efficiency and economics for multiple vehicle types, (3) compare these results to those of standard drive cycles commonly used in the industry, and (4) create a representative drive cycle for future analyses where standard drive cycles are lacking.

  18. Electronic logic to enhance switch reliability in detecting openings and closures of redundant switches

    DOE Patents [OSTI]

    Cooper, James A. (Albuquerque, NM)

    1986-01-01

    A logic circuit is used to enhance redundant switch reliability. Two or more switches are monitored for logical high or low output. The output for the logic circuit produces a redundant and failsafe representation of the switch outputs. When both switch outputs are high, the output is high. Similarly, when both switch outputs are low, the logic circuit's output is low. When the output states of the two switches do not agree, the circuit resolves the conflict by memorizing the last output state which both switches were simultaneously in and produces the logical complement of this output state. Thus, the logic circuit of the present invention allows the redundant switches to be treated as if they were in parallel when the switches are open and as if they were in series when the switches are closed. A failsafe system having maximum reliability is thereby produced.

  19. Set shifting impairments in an outpatient eating disorder sample 

    E-Print Network [OSTI]

    Swanson, Helen M.

    2009-01-01

    Background: Patients with anorexia nervosa have been consistently reported to show impairments in set shifting ability. Such deficits may be associated with characteristics commonly observed in this patient group, such ...

  20. Geometric phase shift for detection of gravitational radiation

    E-Print Network [OSTI]

    N V Mitskievich; A I Nesterov

    2004-03-09

    An effect of geometrical phase shift is predicted for a light beam propagating in the field of a gravitational wave. Gravitational radiation detection experiments are proposed using this new effect, the corresponding estimates being given.

  1. Systemic Change for RTI: Key Shifts for Practice

    E-Print Network [OSTI]

    Kozleski, Elizabeth B.; Huber, Jennifer J.

    2010-10-09

    RTI has the potential to meet the challenges of increasing diversity in student populations and the need for increasingly complex systems of instructional design. Three fundamental shifts in understanding systems and systems change must ground RTI...

  2. Biological Water Gas Shift DOE Hydrogen, Fuel Cell, and Infrastructure

    E-Print Network [OSTI]

    the natural environment by NREL researchers, are able to perform the WGS reaction at ambient temperatures operation at 5-L scale Operate bioreactor at P=10 atm; Measure shift kinetics of Rx. gelatinosus Evaluate

  3. SHE DOES ME GOOD How Logic Doesn't Let You Down

    E-Print Network [OSTI]

    Ayala-Rincón, Mauricio

    SHE DOES ME GOOD How Logic Doesn't Let You Down (cracking the proof code) Jo~ao Marcos Lo) LOGIC DOES ME GOOD MAT-UnB 1 / 8 #12;How many of your proofs are correct? J. Marcos (UFRN) LOGIC DOES ME GOOD MAT-UnB 2 / 8 #12;How many of your proofs are correct? How does proof writing compare to software

  4. Raman Shift (cm-1 1500 2000 2500 3000 3500

    E-Print Network [OSTI]

    1 Raman Shift (cm-1 ) 1500 2000 2500 3000 3500 RamanIntensity(a.u.) 0 2000 4000 6000 8000 Water - Anisotropic 0.10x HBr - Anisotropic 0.10x HI - Anisotropic Raman Shift (cm-1 ) 1500 2000 2500 3000 3500 RamanIntensity(a.u.) 0 2000 4000 6000 8000 Water - Isotropic 0.015x HCl - Isotropic 0.015x HBr - Isotropic 0.015x HI

  5. Shift: A Massively Parallel Monte Carlo Radiation Transport Package

    SciTech Connect (OSTI)

    Pandya, Tara M [ORNL; Johnson, Seth R [ORNL; Davidson, Gregory G [ORNL; Evans, Thomas M [ORNL; Hamilton, Steven P [ORNL

    2015-01-01

    This paper discusses the massively-parallel Monte Carlo radiation transport package, Shift, de- veloped at Oak Ridge National Laboratory. It reviews the capabilities, implementation, and parallel performance of this code package. Scaling results demonstrate very good strong and weak scaling behavior of the implemented algorithms. Benchmark results from various reactor problems show that Shift results compare well to other contemporary Monte Carlo codes and experimental results.

  6. The Availability of Logical Operation Induced by Dichotomous Noise for a Nonlinear Bistable System

    E-Print Network [OSTI]

    Yong Xu; Xiaoqin Jin; Huiqing Zhang; Tingting Yang

    2013-09-04

    Instead of a continuous system driven by Gaussian white noise, logical stochastic resonance will be investigated in a nonlinear bistable system with two thresholds driven by dichotomous noise, which shows a phenomenon different from Gaussian white noise. We can realize two parallel logical operations by simply adjusting the values of these two thresholds. Besides, to quantify the reliability of obtaining the correct logic output, we numerically calculate the success probability, and effects of dichotomous noise on the success probability are observed, these observations show that the reliability of realizing logical operation in the bistable system can be improved through optimizing parameters of dichotomous noise.

  7. Life-cycle assessment of computational logic produced from 1995 through 2010

    E-Print Network [OSTI]

    Boyd, Sarah; A. Horvath; Dornfeld, David

    2010-01-01

    a life- cycle assessment (LCA) for generic CMOS logic atover time and to allow LCA practitioners to more accuratelyarea of semiconductor LCA has included four environmental

  8. FUZZY LOGIC-BASED SOLAR CHARGE CONTROLLER FOR MICROBATTERIES Pritpal Singh and Jagadeesan Rajagopalan

    E-Print Network [OSTI]

    Singh, Pritpal

    FUZZY LOGIC-BASED SOLAR CHARGE CONTROLLER FOR MICROBATTERIES Pritpal Singh and Jagadeesan Rajagopalan Dept. of Electrical and Computer Eng., Villanova Univ., Villanova, PA 19085 Email: singh

  9. SOFIC TREE-SHIFTS NATHALIE AUBRUN AND MARIE-PIERRE BEAL

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    synchronized one, called the Fischer automaton of the tree-shift. We define the notion of almost of finite type-shifts and irreducible sofic tree-shifts. We characterize the Fischer automaton of an almost of finite type tree-shift and we design an algorithm to check whether a sofic tree-shift is almost of finite type. We prove

  10. BioLogical Capital BLC | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX ECoop IncIowaWisconsin: EnergyYorkColoradoBelcherCarbonAlgeneBioLogical Capital BLC Jump

  11. Nanomechanical switch for integration with CMOS logic. (Journal Article) |

    Office of Scientific and Technical Information (OSTI)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of NaturalDukeWakefieldSulfateSciTech Connect Nanomechanical switch for integration with CMOS logic. Citation Details

  12. Noise-based logic hyperspace with the superposition of 2^N states in a single wire

    E-Print Network [OSTI]

    Laszlo B. Kish; Sunil Khatri; Swaminathan Sethuraman

    2009-04-05

    In the introductory paper, [Physics Letters A 373 (2009) 911-918], arXiv:0808.3162, about noise-based logic, we showed how simple superpositions of single logic basis vectors can be achieved in a single wire. The superposition components were the N orthogonal logic basis vectors. Supposing that the different logic values have "on/off" states only, the resultant discrete superposition state represents a single number with N bit accuracy in a single wire, where N is the number of orthogonal logic vectors in the base. In the present paper, we show that the logic hyperspace (product) vectors defined in the introductory paper can be generalized to provide the discrete superposition of 2^N orthogonal system states. This is equivalent to a multi-valued logic system with 2^(2^N) logic values per wire. This is a similar situation to quantum informatics with N qubits, and hence we introduce the notion of noise-bit. This system has major differences compared to quantum informatics. The noise-based logic system is deterministic and each superposition element is instantly accessible with the high digital accuracy, via a real hardware parallelism, without decoherence and error correction, and without the requirement of repeating the logic operation many times to extract the probabilistic information. Moreover, the states in noise-based logic do not have to be normalized, and non-unitary operations can also be used. As an example, we introduce a string search algorithm which is O(M^0.5) times faster than Grover's quantum algorithm (where M is the number of string entries), while it has the same hardware complexity class as the quantum algorithm.

  13. Labial Harmonic Shift in Kazakh: Mapping the Pathways and Motivations for Decay

    E-Print Network [OSTI]

    McCollum, Adam G

    2015-01-01

    307 Labial Harmonic Shift in Kazakh: Mapping the Pathwayson Phonology. Labial Harmonic Shift in Kazakh Harrison, K.pp. 603-650. Labial Harmonic Shift in Kazakh Walker, Rachel

  14. Design of a pneumatically assisted shifting system for Formula SAE® racing applications

    E-Print Network [OSTI]

    Kennett, Andrew J. (Andrew John)

    2008-01-01

    An improved shifting system for use with the MIT Formula SAE race car was designed in order to provide drivers with a faster and easier means of shifting. The result of this design was a pneumatic shifting system weighing ...

  15. Oak Ridge K-25 Site Technology Logic Diagram

    SciTech Connect (OSTI)

    Fellows, R.L. (ed.)

    1993-02-26

    The Oak Ridge K-25 Technology Logic Diagram (TLD), a decision support tool for the K-25 Site, was developed to provide a planning document that relates environmental restoration and waste management problems at the Oak Ridge K-25 Site to potential technologies that can remediate these problems. The TLD technique identifies the research necessary to develop these technologies to a state that allows for technology transfer and application to waste management, remedial action, and decontamination and decommissioning activities. The TLD consists of four separate volumes-Vol. 1, Vol. 2, Vol. 3A, and Vol. 3B. This Volume, Volume 1 provides introductory and overview information about the TLD. Volume 2 contains logic diagrams. Volume 3 has been divided into two separate volumes to facilitate handling and use. This volume is divided into ten chapters. The first chapter is a brief introduction, and the second chapter details the technical approach of the TLD. These categories are the work activities necessary for successful decontamination and decommissioning, waste management, and remedial action of the K-25 Site. The categories are characterization, decontamination, dismantlement, robotics and automation, remedial action, and waste management. Materials disposition is addressed in Chap. 9. The final chapter contains regulatory compliance information concerning waste management, remedial action, and decontamination and decommissioning.

  16. Building logical qubits in a superconducting quantum computing system

    E-Print Network [OSTI]

    Jay M. Gambetta; Jerry M. Chow; Matthias Steffen

    2015-10-15

    The technological world is in the midst of a quantum computing and quantum information revolution. Since Richard Feynman's famous "plenty of room at the bottom" lecture, hinting at the notion of novel devices employing quantum mechanics, the quantum information community has taken gigantic strides in understanding the potential applications of a quantum computer and laid the foundational requirements for building one. We believe that the next significant step will be to demonstrate a quantum memory, in which a system of interacting qubits stores an encoded logical qubit state longer than the incorporated parts. Here, we describe the important route towards a logical memory with superconducting qubits, employing a rotated version of the surface code. The current status of technology with regards to interconnected superconducting-qubit networks will be described and near-term areas of focus to improve devices will be identified. Overall, the progress in this exciting field has been astounding, but we are at an important turning point where it will be critical to incorporate engineering solutions with quantum architectural considerations, laying the foundation towards scalable fault-tolerant quantum computers in the near future.

  17. Shifting Power in Sacramento: The Effects of Term Limits on Legislative Staff

    E-Print Network [OSTI]

    Robinson, Katerina L

    2011-01-01

    and Implications. Sacramento: California Senate Office ofRobinson: Shifting Power in Sacramento Price, Charles M.1 Shifting Power in Sacramento: The Effects of Term Limits

  18. Fuzzy Logic-Based Determination of Pb-Acid Battery SOC by Impedance Interrogation Methods

    E-Print Network [OSTI]

    Singh, Pritpal

    the on-board status of both energy storage and energy conversion devices in hybrid electric vehicles the impedance response at a few discrete frequencies (using a fuzzy logic methodology) (4), without counting, voltage delay and EIS (2, 3). By combining fuzzy logic and EIS at specific frequencies, a robust

  19. An Air-Operated Multi-Input Logical "OR" Module* Bogdan Stoyanov, Vlaiko Peichev, Jordan Beyazov

    E-Print Network [OSTI]

    Borissova, Daniela

    110 An Air-Operated Multi-Input Logical "OR" Module* Bogdan Stoyanov, Vlaiko Peichev, Jordan Beyazov Institute of Information Technologies, 1113 Sofia Abstract: The paper presents an 18-input air is the devel- opment of a specialized air-operated multi-input logical "OR" module intended for use

  20. In Defense of Logical Minds Selmer Bringsjord, Ron Noel, Elizabeth Bringsjord

    E-Print Network [OSTI]

    Barreiro, Alvaro

    overthrown by the poor performance of educated adult subjects on specific logic problems (e.g., Wason in question are simply victims of a defective education. With a mod­ icum of the right sort of logic training of educated adult subjects do indeed ex­ hibit poor performance: Wason's selection task and ``THOG'' problem

  1. Chemical Wave Logic Gates Oliver Steinbock, Petteri Kettunen, and Kenneth Showalter*

    E-Print Network [OSTI]

    Showalter, Kenneth

    Chemical Wave Logic Gates Oliver Steinbock, Petteri Kettunen, and Kenneth Showalter* Department Form: August 6, 1996X Logic gates based on chemical wave propagation in geometrically constrained. Computational studies of the serial coupling of elements to form multicomponent gates and general chemical wave

  2. BioCONCUR 2004 Preliminary Version From Logical Regulatory Graphs to Standard

    E-Print Network [OSTI]

    Ruet, Paul

    Bio­CONCUR 2004 Preliminary Version From Logical Regulatory Graphs to Standard Petri Nets/Universitâ??e de la Mâ??editerranâ??ee ­ Marseille, France Abstract Logical modelling and Petri nets constitute two complementary approaches for the dynamical modelling of biological regulatory networks. On the one hand

  3. From Logical Regulatory Graphs to Standard Petri Nets: Dynamical Roles and Functionality

    E-Print Network [OSTI]

    Provence Aix-Marseille I, Université de

    From Logical Regulatory Graphs to Standard Petri Nets: Dynamical Roles and Functionality Marseille Cedex 9, France fchaouiya, thieffryg@ibdm.univ-mrs.fr Abstract. Logical modelling and Petri nets constitute two complemen- tary approaches for the dynamical modelling of biological regulatory networks

  4. Low Swing Dual Threshold Voltage Domino Logic Volkan Kursun and Eby G. Friedman

    E-Print Network [OSTI]

    Friedman, Eby G.

    Low Swing Dual Threshold Voltage Domino Logic Volkan Kursun and Eby G. Friedman Department of Electrical and Computer Engineering University of Rochester Rochester, New York, 14627-0231 ABSTRACT A low immunity. With the proposed low swing domino logic circuit technique, active power consumption is reduced

  5. LowEnergy Adder Design with a SinglePhase SourceCoupled Adiabatic Logic

    E-Print Network [OSTI]

    Papaefthymiou, Marios

    that uses a single­phase power­ clock. SCAL cascades comprise alternating PMOS and NMOS­type gates. LowLow­Energy Adder Design with a Single­Phase Source­Coupled Adiabatic Logic Suhwan Kim Marios C. In comparison with corresponding 8­bit CLAs in alternative logic styles that operate at minimum supply voltages

  6. Logic gates at the surface code threshold: Superconducting qubits poised for fault-tolerant quantum computing

    E-Print Network [OSTI]

    Martinis, John M.

    Logic gates at the surface code threshold: Superconducting qubits poised for fault-tolerant quantum circuits, and is compatible with microfabrication. For superconducting qubits the surface code7 99%. Here, we demonstrate a universal set of logic gates in a superconducting multi-qubit processor

  7. Transient Analysis and Synthesis of Linear Circuits using Constraint Logic Programming

    E-Print Network [OSTI]

    Gilbert, David

    Transient Analysis and Synthesis of Linear Circuits using Constraint Logic Programming Archana for linear circuits and its implementation in a Constraint Logic Programming language, CLP(R). The transient analysis program parses the input circuit description into a network graph, analyses its semantic

  8. Periodic Communication Logics for the Decentralized Control of Multi-Agent Systems

    E-Print Network [OSTI]

    Lemmon, Michael

    Periodic Communication Logics for the Decentralized Control of Multi-Agent Systems Yashan Sun decision is not related to the current state of the system. We say the communication logic is closed and Michael D. Lemmon Abstract-- This paper studies a system consisting of several dynamical subsystems

  9. A Logic of Vision Jaap van der Does and Michiel van Lambalgen1

    E-Print Network [OSTI]

    Amsterdam, University of

    ? These are the main questions we will address in the present essay. Inspired by Marr 1982, we shall argue of logico-semantical tech- niques. The logic proposed is abstracted from Marr's cognitive theory of vision, whence the name: logic of vision. Implicit in Marr's theory is a notion of partiality as lack

  10. A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification

    E-Print Network [OSTI]

    Miller, Dale

    A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification 19104­6389 USA Abstract: It has been argued elsewhere that a logic programming language with function variables and -abstractions within terms makes a good meta-programming language, especially when an object-language

  11. A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification

    E-Print Network [OSTI]

    Miller, Dale

    A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification 19104-6389 USA Abstract: It has been argued elsewhere that a logic programming language with function variables and ~-abstractions within terms makes a good meta-programming language, especially when

  12. FProlog: A language to Integrate Logic and Functional Programming for Automated Assembly

    E-Print Network [OSTI]

    Hutchinson, Seth

    FProlog: A language to Integrate Logic and Functional Programming for Automated Assembly S. A as the top level in a robot assem- bly system. FProlog is a logic programming language,with the ability, etc. FPrologdiffers from hybridlogic programming languages, such as LOGLISP, in that FProlog may

  13. A Logic Programming Language with LambdaAbstraction, Function Variables, and Simple Unification

    E-Print Network [OSTI]

    Miller, Dale

    A Logic Programming Language with Lambda­Abstraction, Function Variables, and Simple Unification 19104--6389 USA Abstract: It has been argued elsewhere that a logic programming language with function variables and â??­abstractions within terms makes a good meta­programming language, especially when an object­language

  14. Microfluidic logic gates and timers{ Michael W. Toepke, Vinay V. Abhyankar and David J. Beebe*

    E-Print Network [OSTI]

    Beebe, David J.

    Microfluidic logic gates and timers{ Michael W. Toepke, Vinay V. Abhyankar and David J. Beebe to create a number of microfluidic analogs to electronic circuit components. Three classes of components are demonstrated: (1) OR/AND, NOR/NAND, and XNOR digital microfluidic logic gates; (2) programmable, autonomous

  15. A LOGICAL INVERTED TAXONOMY OF SORTING ALGORITHMS S.M. Merritt K.K. Lau

    E-Print Network [OSTI]

    Lau, Kung-Kiu

    A LOGICAL INVERTED TAXONOMY OF SORTING ALGORITHMS S.M. Merritt K.K. Lau School of Computer Science taxonomy of sorting algorithms, a high­level, top­down, conceptually simple and symmetric categorization taxonomy of sorting algorithms. This provides a logical basis for the inverted taxonomy and expands

  16. Chico: An On-Chip Hardware Checker for Pipeline Control Logic

    E-Print Network [OSTI]

    Bertacco, Valeria

    Chico: An On-Chip Hardware Checker for Pipeline Control Logic Andrew DeOrio, Adam Bauserman es- caped design errors in these high risk functional blocks. Our solution includes an on of a pipeline's control logic is such a complex problem that it is often un- achievable. As a result

  17. Proceedings of the First International Conference on Neutrosophy, Neutrosophic Logic, Neutrosophic Set, Neutrosophic Probability and Statistics

    E-Print Network [OSTI]

    Florentin Smarandache; Jean Dezert; S. Bhattacharya; Andrzej Buller; M. Khoshnevisan; S. Singh; Feng Liu; Gh. C. Dinulescu-Campina; Chris Lucas; C. Gershenson

    2003-06-26

    Papers on neutrosophy (a generalization of dialectics), on neutrosophic logic, set, probability and statistics (generalizations of fuzzy logic, fuzzy set, and imprecise probability respectively), by Florentin Smarandache, Jean Dezert, S. Bhattacharya, Andrzej Buller, M. Khoshnevisan, S. Singh, Feng Liu, Gh. C. Dinulescu-Campina, Chris Lucas, and C. Gershenson.

  18. CS 375/CS M75 Logic for Computer Science Ulrich Berger

    E-Print Network [OSTI]

    Berger, Ulrich

    with, be it as a practitioner in industry or as a researcher at university. Although the selection. Our course does not follow a particular textbook, but it will use material from several books, Springer, 1994. [2] J H Gallier, Logic for Computer Science, John Wiley & Sons, 1987. [3] Handbook of Logic

  19. CS 375/CS M75 Logic for Computer Science Ulrich Berger

    E-Print Network [OSTI]

    Berger, Ulrich

    with, be it as a practitioner in industry or as a researcher at university. Although the selection a particular textbook, but it will use material from several books and lectures on logic. Some of the main for Computer Science, John Wiley & Sons, 1987. [3] Handbook of Logic in Computer Science, Vol. 1-6, S Abramsky

  20. Draft Chapter for Handbook on Logic of Normative Title: The Formalization of Practical Reasoning

    E-Print Network [OSTI]

    Thomason, Richmond H.

    Draft Chapter for Handbook on Logic of Normative Systems Title: The Formalization of Practical encompasses a small part of practical reasoning, which is concerned with selecting, commit- ting to of practical reasoning is not in place, the materials for developing such a logic are now available. 2

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

    E-Print Network [OSTI]

    Marchiori, Elena

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

  2. ECE 102: Digital Circuit Logic High-school Math/Science

    E-Print Network [OSTI]

    Connors, Daniel A.

    Concepts: - Introduction to Digital Systems - Number, character, and information representation - Boolean Applications: - Adder/subtracter - Array Multiplier - Traffic light controller - ALU design Tools: CAD toolsECE 102: Digital Circuit Logic High-school Math/Science - None - Can implement logic

  3. 1995 International Test Conference, Oct. 23-25, 1995 SYNTHESIS OF MAPPING LOGIC FOR GENERATING

    E-Print Network [OSTI]

    McCluskey, Edward J.

    generator may not provide a sufficiently high fault coverage. This paper presents a new technique logic at the output of the pseudo-random pattern generator to transform the original set of patterns1995 International Test Conference, Oct. 23-25, 1995 SYNTHESIS OF MAPPING LOGIC FOR GENERATING

  4. Array E -LEAM Digital Interface (54L V s Amelco Logic) PAGE OF

    E-Print Network [OSTI]

    Rathbun, Julie A.

    line. c. Restrict fanout as required in the res to one to minimize reduction in noise margin. #12;l however that the 54L logic vendors have been more conservative. The maximum noise margin for the 54L line. b. The Amelco logic consumes less power which achieves a power adva:qtage over 54L. Voltage drops

  5. Modeling a Reconfigurable System for Computing the FFT in Place via Rewriting-Logic

    E-Print Network [OSTI]

    Ayala-Rincón, Mauricio

    implementation of the Fast Fourier Transform ­ FFT using rewriting-logic. It is shown that rewriting-logic can purpose processors, reconfigurable computing delivers more processing power due to the implementation design makes it a good solution to the rapid changing electronic market. There are several taxonomies

  6. Partial and Nested Recursive Function Definitions in Higher-Order Logic

    E-Print Network [OSTI]

    Krauss, Alexander

    immediately, partial correctness properties can be proved before termination is established. It turns out not terminate on all input values. There are several known ways of expressing partiality in a logic Partial and Nested Recursive Function Definitions in Higher-Order Logic Alexander Krauss Received

  7. Chapter 14: Fuzzy Logic in Discovering Association Rules: An Overview 493 AUTHORS' BIOGRAPHICAL STATEMENTS

    E-Print Network [OSTI]

    Triantaphyllou, Evangelos

    STATEMENTS Dr. Guoqing Chen received his Ph.D. from the Catholic University of Leuven (KUL), Belgium, in 1992, Boston, in 1998 and 1999 respectively. His areas of interest include data mining, databases, fuzzy logic. Wei's major research interests are information systems, fuzzy logic, and data mining. He has many

  8. Combinations of Modal Logics Brandon Bennett (brandon@scs.leeds.ac.uk)

    E-Print Network [OSTI]

    Bennett, Brandon

    Combinations of Modal Logics #3; Brandon Bennett (brandon@scs.leeds.ac.uk) School of Computer Studies, University of Leeds, UK Clare Dixon, Michael Fisher z and Ullrich Hustadt (fc dimensions. However, we begin by reviewing why we might want to use modal logics at all. z Corresponding

  9. Combinations of Modal Logics Brandon Bennett (brandon@scs.leeds.ac.uk)

    E-Print Network [OSTI]

    Franconi, Enrico

    Combinations of Modal Logics #3; Brandon Bennett (brandon@scs.leeds.ac.uk) School of Computer Studies, University of Leeds, UK Clare Dixon (c.dixon@doc.mmu.ac.uk), Michael Fisher (m. However, we begin by reviewing why we might want to use modal logics at all. #3; This document

  10. Observation of the Goos-Haenchen Shift with Neutrons

    SciTech Connect (OSTI)

    Haan, Victor-O. de; Plomp, Jeroen; Rekveldt, Theo M.; Kraan, Wicher H.; Well, Ad A. van; Dalgliesh, Robert M.; Langridge, Sean

    2010-01-08

    The Goos-Haenchen effect is a spatial shift along an interface resulting from an interference effect that occurs for total internal reflection. This phenomenon was suggested by Sir Isaac Newton, but it was not until 1947 that the effect was experimentally observed by Goos and Haenchen. We provide the first direct, absolute, experimental determination of the Goos-Haenchen shift for a particle experiencing a potential well as required by quantum mechanics: namely, wave-particle duality. Here, the particle is a spin-polarized neutron reflecting from a film of magnetized material. We detect the effect through a subtle change in polarization of the neutron. Here, we demonstrate, through experiment and theory, that neutrons do exhibit the Goos-Haenchen effect and postulate that the associated time shift should also be observable.

  11. Nature of the Frequency Shift of Hydrogen Valence Vibrations

    E-Print Network [OSTI]

    Zhyganiuk, I V

    2015-01-01

    The physical nature of a frequency shift of hydrogen valence vibrations in a water molecule due to its interaction with neighbor molecules has been studied. Electrostatic forces connected with the multipole moments of molecules are supposed to give a dominating contribution to the intermolecular interaction. The frequency shift was calculated in the case where two neighbor molecules form a dimer. The obtained result is in qualitative agreement with the frequency shifts observed for water vapor, hexagonal ice, and liquid water, as well as for aqueous solutions of alcohols. This fact testifies to the electrostatic nature of H-bonds used to describe both the specific features of the intermolecular interaction in water and the macroscopic properties of the latter.

  12. Quantum engineering of atomic phase-shifts in optical clocks

    E-Print Network [OSTI]

    T. Zanon-Willette; S. Almonacil; E. de Clercq; A. D. Ludlow; E. Arimondo

    2014-11-14

    Quantum engineering of time-separated Raman laser pulses in three-level systems is presented to produce an ultra-narrow optical transition in bosonic alkali-earth clocks free from light shifts and with a significantly reduced sensitivity to laser parameter fluctuations. Based on a quantum artificial complex-wave-function analytical model, and supported by a full density matrix simulation including a possible residual effect of spontaneous emission from the intermediate state, atomic phase-shifts associated to Ramsey and Hyper-Ramsey two-photon spectroscopy in optical clocks are derived. Various common-mode Raman frequency detunings are found where the frequency shifts from off-resonant states are canceled, while strongly reducing their uncertainties at the 10$^{-18}$ level of accuracy.

  13. Biomolecular Filters for Improved Separation of Output Signals in Enzyme Logic Systems Applied to Biomedical Analysis

    E-Print Network [OSTI]

    Halamek, Jan; Halamkova, Lenka; Bocharova, Vera; Privman, Vladimir; Wang, Joseph; Katz, Evgeny

    2011-01-01

    Biomolecular logic systems processing biochemical input signals and producing "digital" outputs in the form of YES/NO were developed for analysis of physiological conditions characteristic of liver injury, soft tissue injury and abdominal trauma. Injury biomarkers were used as input signals for activating the logic systems. Their normal physiological concentrations were defined as logic-0 level, while their pathologically elevated concentrations were defined as logic-1 values. Since the input concentrations applied as logic 0 and 1 values were not sufficiently different, the output signals being at low and high values (0, 1 outputs) were separated with a short gap making their discrimination difficult. Coupled enzymatic reactions functioning as a biomolecular signal processing system with a built-in filter property were developed. The filter process involves a partial back-conversion of the optical-output-signal-yielding product, but only at its low concentrations, thus allowing the proper discrimination betw...

  14. Biomolecular Filters for Improved Separation of Output Signals in Enzyme Logic Systems Applied to Biomedical Analysis

    E-Print Network [OSTI]

    Jan Halamek; Jian Zhou; Lenka Halamkova; Vera Bocharova; Vladimir Privman; Joseph Wang; Evgeny Katz

    2011-10-08

    Biomolecular logic systems processing biochemical input signals and producing "digital" outputs in the form of YES/NO were developed for analysis of physiological conditions characteristic of liver injury, soft tissue injury and abdominal trauma. Injury biomarkers were used as input signals for activating the logic systems. Their normal physiological concentrations were defined as logic-0 level, while their pathologically elevated concentrations were defined as logic-1 values. Since the input concentrations applied as logic 0 and 1 values were not sufficiently different, the output signals being at low and high values (0, 1 outputs) were separated with a short gap making their discrimination difficult. Coupled enzymatic reactions functioning as a biomolecular signal processing system with a built-in filter property were developed. The filter process involves a partial back-conversion of the optical-output-signal-yielding product, but only at its low concentrations, thus allowing the proper discrimination between 0 and 1 output values.

  15. System for computer controlled shifting of an automatic transmission

    DOE Patents [OSTI]

    Patil, Prabhakar B. (Detroit, MI)

    1989-01-01

    In an automotive vehicle having an automatic transmission that driveably connects a power source to the driving wheels, a method to control the application of hydraulic pressure to a clutch, whose engagement produces an upshift and whose disengagement produces a downshift, the speed of the power source, and the output torque of the transmission. The transmission output shaft torque and the power source speed are the controlled variables. The commanded power source torque and commanded hydraulic pressure supplied to the clutch are the control variables. A mathematical model is formulated that describes the kinematics and dynamics of the powertrain before, during and after a gear shift. The model represents the operating characteristics of each component and the structural arrangement of the components within the transmission being controlled. Next, a close loop feedback control is developed to determine the proper control law or compensation strategy to achieve an acceptably smooth gear ratio change, one in which the output torque disturbance is kept to a minimum and the duration of the shift is minimized. Then a computer algorithm simulating the shift dynamics employing the mathematical model is used to study the effects of changes in the values of the parameters established from a closed loop control of the clutch hydraulic and the power source torque on the shift quality. This computer simulation is used also to establish possible shift control strategies. The shift strategies determine from the prior step are reduced to an algorithm executed by a computer to control the operation of the power source and the transmission.

  16. On the Importance of Considering Measurement Errors in a Fuzzy Logic System for Scientific Applications in Nuclear Fusion

    E-Print Network [OSTI]

    On the Importance of Considering Measurement Errors in a Fuzzy Logic System for Scientific Applications in Nuclear Fusion

  17. Shift-modulation invariant spaces on LCA groups

    E-Print Network [OSTI]

    Cabrelli, Carlos

    2011-01-01

    A $(K,\\Lambda)$ shift-modulation invariant space is a subspace of $L^2(G)$, that is invariant by translations along elements in $K$ and modulations by elements in $\\Lambda$. Here $G$ is a locally compact abelian group, and $K$ and $\\Lambda$ are closed subgroups of $G$ and the dual group $\\hat G$, respectively. In this article we provide a characterization of shift-modulation invariant spaces in this general context when $K$ and $\\Lambda$ are uniform lattices. This extends previous results known for $L^2(\\R^d)$. We develop fiberization techniques and suitable range functions adapted to LCA groups needed to provide the desired characterization.

  18. Method and apparatus for executing a shift in a hybrid transmission

    DOE Patents [OSTI]

    Gupta, Pinaki; Kaminsky, Lawrence A; Demirovic, Besim

    2013-09-03

    A method for executing a transmission shift in a hybrid transmission including first and second electric machines includes executing a shift-through-neutral sequence from an initial transmission state to a target transmission state including executing an intermediate shift to neutral. Upon detecting a change in an output torque request while executing the shift-through-neutral sequence, possible recovery shift paths are identified. Available ones of the possible recovery shift paths are identified and a shift cost for each said available recovery shift path is evaluated. The available recovery shift path having a minimum shift cost is selected as a preferred recovery shift path and is executed to achieve a non-neutral transmission state.

  19. ERGODIC OPTIMIZATION FOR RENEWAL TYPE SHIFTS GODOFREDO IOMMI

    E-Print Network [OSTI]

    Iommi, Godofredo

    ERGODIC OPTIMIZATION FOR RENEWAL TYPE SHIFTS GODOFREDO IOMMI Abstract. We consider a class the definition see Section 2) that includes the symbolic models for certain tower extensions [8] and the symbolic model for expanding interval maps with a parabolic fixed point [6]. For (, ) R we study the following

  20. Level shift operators for open quantum systems Marco Merkli

    E-Print Network [OSTI]

    ;ematiques, Universit#19;e de Montr#19;eal Succursale centre-ville, Montr#19;eal Canada, QC, H3C 3J7 January temperature Hamiltonians and they relate the Gibbs state, the kernel of level shift operators, and zero energy resonances. We show that degeneracy of energy levels of the small part of the open quantum system causes

  1. Social cues shift functional connectivity in the hypothalamus

    E-Print Network [OSTI]

    Ryan, Michael J.

    Social cues shift functional connectivity in the hypothalamus Kim L. Hoke* , Michael J. Ryan the functional connec- tivity within the hypothalamus, consistent with principles that underlie the simultaneous's prediction to consider how socially relevant auditory inputs demarcate subnetworks in the hypothalamus

  2. The Coming Market Shift: Business Strategy and Climate Change*

    E-Print Network [OSTI]

    Hoffman, Andrew J.

    #12;7 The Coming Market Shift: Business Strategy and Climate Change* Andrew J Hoffman, University Enterprise at the University of Michigan and the Pew Center on Global Climate Change Introduction In many respects, the scientific debate is irrelevant. For the business community, climate change represents

  3. Hydrogen Raman shifts in carbon nanotubes from molecular dynamics simulation

    E-Print Network [OSTI]

    Hydrogen Raman shifts in carbon nanotubes from molecular dynamics simulation S.J.V. Frankland *, D hydrogen in individual single-shell carbon nanotubes and nanotube ropes using a semiclassical model. The calculations predict that isolated hydrogen molecules inside of nanotubes have a Raman frequency that increases

  4. Stellar Surface Convection, Line Asymmetries, and Wavelength Shifts

    E-Print Network [OSTI]

    dark spots. Sunspots, however, occupy only a very small fraction of the surface and (being dark granules and dark intergranular lanes. Granules correlate with local blueshifts (rising motion surface, a net wavelength shift results from the statistical bias of a larger photon contribution from

  5. Lamb shift due to surface plasmon polariton modes 

    E-Print Network [OSTI]

    Sun, Qingqing; Al-Amri, M.; Kamli, Ali; Zubairy, M. Suhail

    2008-01-01

    The Lamb shift of a hydrogen atom due to the surface plasmon polariton (SPP) modes is calculated and we observe both band edge and surface enhancement. The atom sits inside a thin metal slab which is sandwiched by two semi-infinite dielectrics...

  6. Investigating the ability of various buildings in handling load shiftings

    E-Print Network [OSTI]

    of residential buildings, several energy saving technologies exist. Therefore, when such buildings are renovated the ability of several renovating configurations to keep the inhab- itants in a comfortable situation during setting, between the users (inhabitants) and the energy provider who uses these load shifting periods

  7. Google Energy's Shift into Renewables case 1-429-226

    E-Print Network [OSTI]

    Edwards, Paul N.

    Google Energy's Shift into Renewables case 1-429-226 April 3, 2012 Published by Globa created subsidiary, sat down to discuss the company's renewable energy investment strategy.1 Google Energy With the green light from co-founder and CEO Larry Page to expand, the team from Google Energy, a recently

  8. Learning of Position-Invariant Object Representation Across Attention Shifts

    E-Print Network [OSTI]

    Clark, James J.

    , such as at different retinal positions or with different appearance due to viewpoint changes. Most research work done the external environment for further processing. Therefore, it is conceivable to hypothesize that the learning attention shifts, with position-related retinal distortions taken into consideration. The need

  9. A reconfigurable spintronic device for quantum and classical logic

    E-Print Network [OSTI]

    Bhowmik, Debanjan; Sarkar, Angik; Bhattacharyya, Tarun Kanti

    2010-01-01

    Quantum superposition and entanglement of physical states can be harnessed to solve some problems which are intractable on a classical computer implementing binary logic. Several algorithms have been proposed to utilize the quantum nature of physical states and solve important problems. For example, Shor's quantum algorithm is extremely important in the field of cryptography since it factors large numbers exponentially faster than any known classical algorithm. Another celebrated example is the Grovers quantum algorithm. These algorithms can only be implemented on a quantum computer which operates on quantum bits (qubits). Rudimentary implementations of quantum processor have already been achieved through linear optical components, ion traps, NMR etc. However demonstration of a solid state quantum processor had been elusive till DiCarlo et al demonstrated two qubit algorithms in superconducting quantum processor. Though this has been a significant step, scalable semiconductor based room temperature quantum co...

  10. Parallel transport quantum logic gates with trapped ions

    E-Print Network [OSTI]

    de Clercq, Ludwig; Marinelli, Matteo; Nadlinger, David; Oswald, Robin; Negnevitsky, Vlad; Kienzler, Daniel; Keitch, Ben; Home, Jonathan P

    2015-01-01

    Quantum information processing will require combinations of gate operations and communication, with each applied in parallel to large numbers of quantum systems. These tasks are often performed sequentially, with gates implemented by pulsed fields and information transported either by moving the physical qubits or using photonic links. For trapped ions, an alternative approach is to implement quantum logic gates by transporting the ions through static laser beams, combining qubit operations with transport. This has significant advantages for scalability since the voltage waveforms required for transport can potentially be generated using micro-electronics integrated into the trap structure itself, while both optical and microwave control elements are significantly more bulky. Using a multi-zone ion trap, we demonstrate transport gates on a qubit encoded in the hyperfine structure of a beryllium ion. We show the ability to perform sequences of operations, and to perform parallel gates on two ions transported t...

  11. The programmable (logic) controller: Adapting in an environment of change

    SciTech Connect (OSTI)

    Levine, P.S. [ed.

    1995-03-01

    Reports of the imminent death of the PLC (programmable logic controller) were greatly exaggerated, to paraphrase Mark Twain. In fact, the PLC is not only alive and working worldwide in thousands of applications, but it is also integrating well with related technologies. Long-term survival is a larger question - probably unanswerable given the pace of technological change. However, a few questions arise about the PLC today and in the immediate future: (1) What`s happening with programming languages? (2) Will there continue to be a {open_quotes}blurring of the lines{close_quotes} between the PLC and other technologies, and what role will software play in this integration? (3) How will the PLC`s cost and size affect the market?

  12. Controlling of grid connected photovoltaic lighting system with fuzzy logic

    SciTech Connect (OSTI)

    Saglam, Safak; Ekren, Nazmi; Erdal, Hasan

    2010-02-15

    In this study, DC electrical energy produced by photovoltaic panels is converted to AC electrical energy and an indoor area is illuminated using this energy. System is controlled by fuzzy logic algorithm controller designed with 16 rules. Energy is supplied from accumulator which is charged by photovoltaic panels if its energy would be sufficient otherwise it is supplied from grid. During the 1-week usage period at the semester time, 1.968 kWh energy is used from grid but designed system used 0.542 kWh energy from photovoltaic panels at the experiments. Energy saving is determined by calculations and measurements for one education year period (9 months) 70.848 kWh. (author)

  13. Photonic Quantum Logic with Narrowband Light from Single Atoms

    E-Print Network [OSTI]

    Annemarie Holleczek; Oliver Barter; Allison Rubenok; Jerome Dilley; Peter B. R. Nisbet-Jones; Gunnar Langfahl-Klabes; Graham D. Marshall; Chris Sparrow; Jeremy L. O'Brien; Konstantinos Poulios; Axel Kuhn; Jonathan C. F. Matthews

    2015-08-13

    Increasing control of single photons enables new applications of photonic quantum-enhanced technology and further experimental exploration of fundamental quantum phenomena. Here, we demonstrate quantum logic using narrow linewidth photons that are produced under nearly perfect quantum control from a single ^87Rb atom strongly coupled to a high-finesse cavity. We use a controlled- NOT gate integrated into a photonic chip to entangle these photons, and we observe non-classical correlations between events separated by periods exceeding the travel time across the chip by three orders of magnitude. This enables quantum technology that will use the properties of both narrowband single photon sources and integrated quantum photonics, such as networked quantum computing, narrow linewidth quantum enhanced sensing and atomic memories.

  14. Benefits and Costs of Aggressive Energy Efficiency Programs and the Impacts of Alternative Sources of Funding: Case Study of Massachusetts

    SciTech Connect (OSTI)

    Cappers, Peter; Satchwell, Andrew; Goldman, Charles; Schlegel, Jeff

    2010-08-06

    Increased interest by state (and federal) policymakers and regulatory agencies in pursuing aggressive energy efficiency efforts could deliver significant utility bill savings for customers while having long-term implications for ratepayers (e.g. potential rate impacts). Equity and distributional concerns associated with the authorized recovery of energy efficiency program costs may necessitate the pursuit of alternative program funding approaches. In 2008, Massachusetts passed the Green Communities Act which directed its energy efficiency (EE) program administrators to obtain all cost-effective EE resources. This goal has translated into achieving annual electric energy savings equivalent to a 2.4% reduction in retail sales from energy efficiency programs in 2012. Representatives of electricity consumer groups supported the new portfolio of EE programs (and the projected bill savings) but raised concerns about the potential rate impacts associated with achieving such aggressive EE goals, leading policymakers to seek out alternative funding sources which can potentially mitigate these effects. Utility administrators have also raised concerns about under-recovery of fixed costs when aggressive energy efficiency programs are pursued and have proposed ratemaking policies (e.g. decoupling) and business models that better align the utility's financial interests with the state's energy efficiency public policy goals. Quantifying these concerns and identifying ways they can be addressed are crucial steps in gaining the support of major stakeholder groups - lessons that can apply to other states looking to significantly increase savings targets that can be achieved from their own ratepayer-funded energy efficiency programs. We use a pro-forma utility financial model to quantify the bill and rate impacts on electricity customers when very aggressive annual energy efficiency savings goals ({approx}2.4%) are achieved over the long-term and also assess the impact of different cost recovery approaches that integrate alternative revenue sources. We also analyze alternative lost fixed cost recovery approaches to better understand how to mitigate the erosion of utility shareholder returns in states that have adopted (and achieved) very aggressive savings targets.

  15. Suppression of radio frequency knock out in stacked beams by phase shifting the betatron oscillations

    E-Print Network [OSTI]

    Terwilliger, K M

    1957-01-01

    Suppression of radio frequency knock out in stacked beams by phase shifting the betatron oscillations

  16. Chemical Shifts in X-ray and Photo-Electron Spectroscopy: A Historical review

    E-Print Network [OSTI]

    Lindgren, Ingvar

    Chemical Shifts in X-ray and Photo-Electron Spectroscopy: A Historical review Ingvar Lindgren 1 Introduction 2 2 Chemical shift in X-ray spectroscopy 2 2.1 Discovery of the chemical shift in X-ray spectroscopy . . . . . . . . . . . . . 3 2.2 Interpretation of the chemical shift in X-ray spectroscopy

  17. Reversible Logic Synthesis with Minimal Usage of Ancilla Bits

    E-Print Network [OSTI]

    Siyao Xu

    2015-06-10

    Reversible logic has attracted much research interest over the last few decades, especially due to its application in quantum computing. In the construction of reversible gates from basic gates, ancilla bits are commonly used to remove restrictions on the type of gates that a certain set of basic gates generates. With unlimited ancilla bits, many gates (such as Toffoli and Fredkin) become universal reversible gates. However, ancilla bits can be expensive to implement, thus making the problem of minimizing necessary ancilla bits a practical topic. This thesis explores the problem of reversible logic synthesis using a single base gate and a few ancilla bits. Two base gates are discussed: a variation of the 3-bit Toffoli gate and the original 3-bit Fredkin gate. There are three main results associated with these two gates: i) the variated Toffoli gate can generate all n-bit reversible gates using 1 ancilla bit, ii) the variated Toffoli can generate all n-bit reversible gates that are even permutations using no ancilla bit, iii) the Fredkin gate can generate all n-bit conservative reversible gates using 1 ancilla bit. Prior to this paper, the best known result for general universality requires three basic gates, and the best known result for conservative universality needs 5 ancilla bits. The second result is trivially optimal. For the first and the third result, we explicitly prove their optimality: the variated Toffoli cannot generate all n-bit reversible gates without using any extra input lines, and the Fredkin gate cannot generate all n-bit conservative reversible gates without using extra input lines. We also explore a stronger version of the second converse by introducing a new concept called borrowed bits, and prove that the Fredkin gate cannot generate all n-bit conservative reversible gates without ancilla bits, even with an unlimited number of borrowed bits.

  18. The logic of the future in the Everett-Wheeler understanding of quantum theory

    E-Print Network [OSTI]

    Anthony Sudbery

    2015-02-04

    I discuss the problems of probability and the future in the Everett-Wheeler understanding of quantum theory. To resolve these, I propose an understanding of probability arising from a form of temporal logic: the probability of a future-tense proposition is identified with its truth value in a many-valued and context-dependent logic. I construct a lattice of tensed propositions, with truth values in the interval $[0,1]$, and derive logical properties of the truth values given by the usual quantum-mechanical formula for the probability of histories.

  19. Fuel cell system logic for differentiating between rapid and normal shutdown commands

    DOE Patents [OSTI]

    Keskula, Donald H. (Webster, NY); Doan, Tien M. (Columbia, MD); Clingerman, Bruce J. (Palmyra, NY)

    2000-01-01

    A method of controlling the operation of a fuel cell system wherein each shutdown command for the system is subjected to decision logic which determines whether the command should be a normal shutdown command or rapid shutdown command. If the logic determines that the shutdown command should be a normal shutdown command, then the system is shutdown in a normal step-by-step process in which the hydrogen stream is consumed within the system. If the logic determines that the shutdown command should be a rapid shutdown command, the hydrogen stream is removed from the system either by dumping to atmosphere or routing to storage.

  20. Kenneth J. Turner and Richard O. Sinnott. DILL: Specifying digital logic in LOTOS. In Richard L. Tenney, Paul D. Amer, and M. Umit Uyar, editors,

    E-Print Network [OSTI]

    Turner, Ken

    and analysis of digital logic designs. Other similar work on hardware description in LOTOS is reported in [7]. 1.2 Digital Logic Specification in LOTOS Digital logic design is well-understood; many textbooks (e such approaches, the goal of the work reported in this paper is to allow digital logic designs to be specified

  1. Spatial-heterodyne interferometry for transmission (SHIFT) measurements

    DOE Patents [OSTI]

    Bingham, Philip R.; Hanson, Gregory R.; Tobin, Ken W.

    2006-10-10

    Systems and methods are described for spatial-heterodyne interferometry for transmission (SHIFT) measurements. A method includes digitally recording a spatially-heterodyned hologram including spatial heterodyne fringes for Fourier analysis using a reference beam, and an object beam that is transmitted through an object that is at least partially translucent; Fourier analyzing the digitally recorded spatially-heterodyned hologram, by shifting an original origin of the digitally recorded spatially-heterodyned hologram to sit on top of a spatial-heterodyne carrier frequency defined by an angle between the reference beam and the object beam, to define an analyzed image; digitally filtering the analyzed image to cut off signals around the original origin to define a result; and performing an inverse Fourier transform on the result.

  2. Three dimensional imaging detector employing wavelength-shifting optical fibers

    DOE Patents [OSTI]

    Worstell, W.A.

    1997-02-04

    A novel detector element structure and method for its use is provided. In a preferred embodiment, one or more inorganic scintillating crystals are coupled through wavelength shifting optical fibers (WLSFs) to position sensitive photomultipliers (PS-PMTs). The superior detector configuration in accordance with this invention is designed for an array of applications in high spatial resolution gamma ray sensing with particular application to SPECT, PET and PVI imaging systems. The design provides better position resolution than prior art devices at a lower total cost. By employing wavelength shifting fibers (WLSFs), the sensor configuration of this invention can operate with a significant reduction in the number of photomultipliers and electronics channels, while potentially improving the resolution of the system by allowing three dimensional reconstruction of energy deposition positions. 11 figs.

  3. Three dimensional imaging detector employing wavelength-shifting optical fibers

    DOE Patents [OSTI]

    Worstell, William A. (Framingham, MA)

    1997-01-01

    A novel detector element structure and method for its use is provided. In a preferred embodiment, one or more inorganic scintillating crystals are coupled through wavelength shifting optical fibers (WLSFs) to position sensitive photomultipliers (PS-PMTs). The superior detector configuration in accordance with this invention is designed for an array of applications in high spatial resolution gamma ray sensing with particular application to SPECT, PET and PVI imaging systems. The design provides better position resolution than prior art devices at a lower total cost. By employing wavelength shifting fibers (WLSFs), the sensor configuration of this invention can operate with a significant reduction in the number of photomultipliers and electronics channels, while potentially improving the resolution of the system by allowing three dimensional reconstruction of energy deposition positions.

  4. Collisional shifts in optical-lattice atom clocks

    SciTech Connect (OSTI)

    Band, Y. B. [Department of Chemistry, Ben-Gurion University of the Negev, Beer-Sheva 84105 (Israel); Atomic Physics Division, A267 Physics, National Institute of Standards and Technology, Gaithersburg, Maryland 20899 (United States); Ilse Katz Center for Nano-Science, Ben-Gurion University of the Negev, Beer-Sheva 84105 (Israel); Vardi, A. [Department of Chemistry, Ben-Gurion University of the Negev, Beer-Sheva 84105 (Israel)

    2006-09-15

    We theoretically study the effects of elastic collisions on the determination of frequency standards via Ramsey-fringe spectroscopy in optical-lattice atom clocks. Interparticle interactions of bosonic atoms in multiply occupied lattice sites can cause a linear frequency shift, as well as generate asymmetric Ramsey-fringe patterns and reduce fringe visibility due to interparticle entanglement. We propose a method of reducing these collisional effects in an optical lattice by introducing a phase difference of {pi} between the Ramsey driving fields in adjacent sites. This configuration suppresses site-to-site hopping due to interference of two tunneling pathways, without degrading fringe visibility. Consequently, the probability of double occupancy is reduced, leading to cancellation of collisional shifts.

  5. Chiral perturbation theory of muonic hydrogen Lamb shift: polarizability contribution

    E-Print Network [OSTI]

    Jose Manuel Alarcón; Vadim Lensky; Vladimir Pascalutsa

    2013-12-04

    The proton polarizability effect in the muonic-hydrogen Lamb shift comes out as a prediction of baryon chiral perturbation theory at leading order and our calculation yields for it: $\\Delta E^{(\\mathrm{pol})} (2P-2S) = 8^{+3}_{-1}\\, \\mu$eV. This result is consistent with most of evaluations based on dispersive sum rules, but is about a factor of two smaller than the recent result obtained in {\\em heavy-baryon} chiral perturbation theory. We also find that the effect of $\\Delta(1232)$-resonance excitation on the Lamb-shift is suppressed, as is the entire contribution of the magnetic polarizability; the electric polarizability dominates. Our results reaffirm the point of view that the proton structure effects, beyond the charge radius, are too small to resolve the `proton radius puzzle'.

  6. Chiral perturbation theory of muonic hydrogen Lamb shift: polarizability contribution

    E-Print Network [OSTI]

    Alarcón, Jose Manuel; Pascalutsa, Vladimir

    2013-01-01

    The proton polarizability effect in the muonic-hydrogen Lamb shift comes out as a prediction of baryon chiral perturbation theory at leading order and our calculation yields for it: $\\Delta E^{(\\mathrm{pol})} (2P-2S) = 8^{+3}_{-1}\\, \\mu$eV. This result is consistent with most of evaluations based on dispersive sum rules, but is about a factor of two smaller than the recent result obtained in {\\em heavy-baryon} chiral perturbation theory. We also find that the effect of $\\Delta(1232)$-resonance excitation on the Lamb-shift is suppressed, as is the entire contribution of the magnetic polarizability; the electric polarizability dominates. Our results reaffirm the point of view that the proton structure effects, beyond the charge radius, are too small to resolve the `proton radius puzzle'.

  7. The muonic hydrogen Lamb shift and the proton radius

    E-Print Network [OSTI]

    Clara Peset

    2014-11-14

    We obtain a model independent expression for the muonic hydrogen Lamb shift up to $\\mathcal O (m_\\mu \\alpha^6, m_\\mu \\alpha^5 \\frac{m_\\mu^2}{m_\\rho^2})$. The hadronic effects are controlled by the chiral theory, which allows for their model independent determination. We give their complete expression including the pion and Delta particles. Out of this analysis and the experimental measurement of the muonic hydrogen Lamb shift we determine the electromagnetic proton radius: $r_p$=0.8412(15) fm. This number is at 6.8$\\sigma$ variance with respect to the CODATA value. The parametric control of the uncertainties allows us to obtain a model independent determination of the error, which is dominated by hadronic effects.

  8. Hybrid powertrain system including smooth shifting automated transmission

    DOE Patents [OSTI]

    Beaty, Kevin D.; Nellums, Richard A.

    2006-10-24

    A powertrain system is provided that includes a prime mover and a change-gear transmission having an input, at least two gear ratios, and an output. The powertrain system also includes a power shunt configured to route power applied to the transmission by one of the input and the output to the other one of the input and the output. A transmission system and a method for facilitating shifting of a transmission system are also provided.

  9. Maximizing productivity & profitability through best cost shift schedules

    SciTech Connect (OSTI)

    Coleman, R.

    1996-12-31

    If you have the right equipment and employees at the right place, the fight time, and the right cost, you have the perfect business schedule. But, if you`re like most mines, you can probably improve your schedule, improvements that will reach all the way to the bottom line. And unlike adding employees, materials, or capital equipment, better scheduling is a cost-free way improve profitability. A good schedule can save millions. A bad schedule will cost money every year. A shift schedule is not a day off pattern or shift length. A shift schedule is a complete system deploying personnel and capital equipment. Most mining schedules are either copied from another operation, based on tradition or the result of a contract negotiation made far from the mine site. Unfortunately, most mine managers don`t give much thought to schedules until a crisis develops; at which point the tendency is to implement the first solution that comes along as quickly as possible. Costly mistakes are made.

  10. Testing numerical relativity with the shifted gauge wave

    E-Print Network [OSTI]

    Maria C. Babiuc; Bela Szilagyi; Jeffrey Winicour

    2006-02-17

    Computational methods are essential to provide waveforms from coalescing black holes, which are expected to produce strong signals for the gravitational wave observatories being developed. Although partial simulations of the coalescence have been reported, scientifically useful waveforms have so far not been delivered. The goal of the AppleswithApples (AwA) Alliance is to design, coordinate and document standardized code tests for comparing numerical relativity codes. The first round of AwA tests have now being completed and the results are being analyzed. These initial tests are based upon periodic boundary conditions designed to isolate performance of the main evolution code. Here we describe and carry out an additional test with periodic boundary conditions which deals with an essential feature of the black hole excision problem, namely a non-vanishing shift. The test is a shifted version of the existing AwA gauge wave test. We show how a shift introduces an exponentially growing instability which violates the constraints of a standard harmonic formulation of Einstein's equations. We analyze the Cauchy problem in a harmonic gauge and discuss particular options for suppressing instabilities in the gauge wave tests. We implement these techniques in a finite difference evolution algorithm and present test results. Although our application here is limited to a model problem, the techniques should benefit the simulation of black holes using harmonic evolution codes.

  11. Back and Forth Between Guarded and Modal Logics Erich Gradel # Colin Hirsch # Martin Otto +

    E-Print Network [OSTI]

    Otto, Martin

    Back and Forth Between Guarded and Modal Logics Erich GrË?adel # Colin Hirsch # Martin Otto of bisimulation, is that one can only directly access nodes along basic edge relations. In the guarded scenario

  12. Improving the FPGA Design Process Through Determining and Applying Logical-to-Physical Design Mappings

    E-Print Network [OSTI]

    Nelson, Brent E.

    this knowledge can be used, we de- scribe, in detail, how to determine the logical-to-physical mapping of Xilinx. Effort sponsored by the Defense Advanced Research Projects Agency (DARPA) and Rome Laboratory, Air Force

  13. Configurable logic : a dynamically programmable cellular architecture and its VLSI implementation 

    E-Print Network [OSTI]

    Kean, Thomas A

    At present there are two main paradigms for computation : interpretation of a data stream representing a program by a processing unit (software) and an interconnection of active logic elements (hardware). While both systems ...

  14. A Smart Logic for Conference Room Terminal Box of Single Duct VAV System 

    E-Print Network [OSTI]

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

    2007-01-01

    time, the minimum outside intake ratio for AHU side should be as low as possible to save energy. This study presents a smart logic to solve the confliction while improving thermal environment and saving energy consumption. The new control sequence...

  15. InGaAs self-aligned HEMT for logic applications

    E-Print Network [OSTI]

    Waldron, Niamh, 1974-

    2007-01-01

    As CMOS scaling approaches the end of the roadmap it has become a matter of great urgency to explore alternative options to conventional Si devices for logic applications. The high electron mobilities of III-V based compounds ...

  16. A Logic of Vision Jaap van der Does and Michiel van Lambalgen 1

    E-Print Network [OSTI]

    Koolen, Marijn

    reports? These are the main questions we will address in the present essay. Inspired by Marr 1982, we Marr's cognitive theory of vision, whence the name: logic of vision. Implicit in Marr's theory

  17. Veri?ed Planning by Deductive Synthesis in Intuitionistic Linear Logic 

    E-Print Network [OSTI]

    Dixon, L.; Bundy, Alan; Smaill, A.

    2009-01-01

    We describe a new formalisation in Isabelle/HOL of Intuitionistic Linear Logic and consider the support this provides for constructing plans by proving the achievability of given planning goals. The plans so found are ...

  18. Logic combination and performance across occupational communities: The case of French film directors

    E-Print Network [OSTI]

    Durand, Rodolphe; Hadida, Allègre L.

    2015-01-01

    on artistic and commercial performance in French cinema confirms an asymmetry in outcomes: (1) although performance in the original artistic community is impaired by repeated logic combination (receiving less awards), (2) performance in the new business...

  19. Development of constrained fuzzy logic for modeling biological regulatory networks and predicting contextual therapeutic effects

    E-Print Network [OSTI]

    Morris, Melody K

    2012-01-01

    Upon exposure to environmental cues, protein modifications form a complex signaling network that dictates cellular response. In this thesis, we develop methods for using continuous logic-based models to aide our understanding ...

  20. A Note on the Use of Sum in the Logic of Proofs Roman Kuznets

    E-Print Network [OSTI]

    Jäger, Gerhard

    A Note on the Use of Sum in the Logic of Proofs Roman Kuznets Institut f¨ur Informatik und angewandte Mathematik Universit¨at Bern Neubr¨uckstrasse 10, 3012 Bern, Switzerland kuznets

  1. Direct comparison of Neural Network, Fuzzy Logic and Model Prediction Variable Structure vortex flow controllers 

    E-Print Network [OSTI]

    Joshi, Praveen Sudhakar

    1999-01-01

    Predictive Variable Structure and Fuzzy Logic based controllers for the same benchmark problem. Evaluation criteria consist of closed-loop system performance, activity level of the VFC nozzles, ease of controller synthesis, time required to synthesize...

  2. Quantum entanglement and controlled logical gates using coupled SQUID flux qubits

    E-Print Network [OSTI]

    Zhou, Zhongyuan; Han, Siyuan; Chu, Shih-I

    2005-06-01

    We present an approach to realize universal two-bit quantum gates using two SQUID flux qubits. In this approach the basic unit consists of two inductively coupled SQUIDs with realistic device parameters. Quantum logical gates are implemented...

  3. Encoding HTN Planning in Propositional Logic \\Lambda Amol D. Mali and Subbarao Kambhampati

    E-Print Network [OSTI]

    Kambhampati, Subbarao

    Encoding HTN Planning in Propositional Logic \\Lambda Amol D. Mali and Subbarao Kambhampati Department of Computer Science & Engineering, Arizona State University, Tempe, AZ 85287­5406 Email: famol.mali

  4. Encoding HTN Planning in Propositional Logic Amol D. Mali and Subbarao Kambhampati

    E-Print Network [OSTI]

    Mali, Amol D.

    Encoding HTN Planning in Propositional Logic #3; Amol D. Mali and Subbarao Kambhampati Department of Computer Science & Engineering, Arizona State University, Tempe, AZ 85287-5406 Email: famol.mali, raog

  5. Modeling a Reconfigurable System for Computing the FFT in Place via RewritingLogic #

    E-Print Network [OSTI]

    Ayala-Rincón, Mauricio

    hardware implementation of the Fast Fourier Transform -- FFT using rewriting­logic. It is shown on general purpose processors, reconfigurable computing delivers more processing power due electronic market. There are several taxonomies applied to reconfigurable computing. Concerning the specific

  6. System Reliability: A Case When Fuzzy Logic Enhances Probability Theory's Ability

    E-Print Network [OSTI]

    Kreinovich, Vladik

    . Zadeh explains that probabil­ ity theory needs an infusion of fuzzy logic to enhance its ability to deal such an infusion is indeed successful: the problem of system reliability. 1. Reliability: Brief Introduction

  7. A fuzzy logic based motion controller for a multi-degree-of-freedom robot arm 

    E-Print Network [OSTI]

    Pate, Billy Blakley

    1993-01-01

    This thesis addresses the task of producing a generic control algorithm for Cartesian motion of manipulators. The algorithm employs a self organizing fuzzy logic estimator to produce joint space changes given Cartesian error. The output from...

  8. Detection and removal of functional redundancy in multi-level logic circuits 

    E-Print Network [OSTI]

    Dorsey, David Michael

    2013-02-22

    ARM UNlVFRSITY LIBRRRY DETECTION AND REMOVAL OF FUNCTIONAL REDUNDANCY IN MULTI-LEVEL LOGIC CIRCUITS FOR UNIVERSITY UNDERGRADUATF, RESEARCH FELLOWS A Senior Honors Thesis By DAVID MICHAEL DORSEY Submitted to the Office of Honors Programs... & Academic Scholarships Texas A&M University in pattial fulfillment of the requirements of the UNIVERSITY UNDERGRADUATE RESEARCH FELLOWS April 2002 Group: Computer Science DFTECTION AND REMOVAL OF FUNCTIONAL REDUNDANCY IN MULTI-LEVEL LOGIC CIRCUITS...

  9. Computing single step operators of logic programming in radial basis function neural networks

    SciTech Connect (OSTI)

    Hamadneh, Nawaf; Sathasivam, Saratha; Choon, Ong Hong [School of Mathematical Sciences, Universiti Sains Malaysia, 11800 USM, Penang (Malaysia)

    2014-07-10

    Logic programming is the process that leads from an original formulation of a computing problem to executable programs. A normal logic program consists of a finite set of clauses. A valuation I of logic programming is a mapping from ground atoms to false or true. The single step operator of any logic programming is defined as a function (T{sub p}:I?I). Logic programming is well-suited to building the artificial intelligence systems. In this study, we established a new technique to compute the single step operators of logic programming in the radial basis function neural networks. To do that, we proposed a new technique to generate the training data sets of single step operators. The training data sets are used to build the neural networks. We used the recurrent radial basis function neural networks to get to the steady state (the fixed point of the operators). To improve the performance of the neural networks, we used the particle swarm optimization algorithm to train the networks.

  10. NMR chemical shifts in amino acids: Effects of environments, electric field, and amine group rotation

    SciTech Connect (OSTI)

    Yoon, Young-Gui; Pfrommer, Bernd G.; Louie, Steven G.; Canning, Andrew

    2002-03-03

    The authors present calculations of NMR chemical shifts in crystalline phases of some representative amino acids such as glycine, alanine, and alanyl-alanine. To get an insight on how different environments affect the chemical shifts, they study the transition from the crystalline phase to completely isolated molecules of glycine. In the crystalline limit, the shifts are dominated by intermolecular hydrogen-bonds. In the molecular limit, however, dipole electric field effects dominate the behavior of the chemical shifts. They show that it is necessary to average the chemical shifts in glycine over geometries. Tensor components are analyzed to get the angle dependent proton chemical shifts, which is a more refined characterization method.

  11. About the logic of the prime number distribution

    E-Print Network [OSTI]

    Harry K. Hahn

    2008-01-28

    There are two basic number sequences which play a major role in the prime number distribution. The first Number Sequence SQ1 contains all prime numbers of the form 6n+5 and the second Number Sequence SQ2 contains all prime numbers of the form 6n+1. All existing prime numbers seem to be contained in these two number sequences, except of the prime numbers 2 and 3. Riemanns Zeta Function also seems to indicate, that there is a logical connection between the mentioned number sequences and the distribution of prime numbers. This connection is indicated by lines in the diagram of the Zeta Function, which are formed by the points s where the Zeta Function is real. Another key role in the distribution of the prime numbers plays the number 5 and its periodic occurrence in the two number sequences SQ1 and SQ2. All non-prime numbers in SQ1 and SQ2 are caused by recurrences of these two number sequences with increasing wave-lengths in themselves, in a similar fashion as Overtones (harmonics) or Undertones derive from a fundamental frequency. On the contrary prime numbers represent spots in these two basic Number Sequences SQ1 and SQ2 where there is no interference caused by these recurring number sequences. The distribution of the non-prime numbers and prime numbers can be described in a graphical way with a -Wave Model- (or Interference Model) -- see Table 2.

  12. Monitoring nuclear reactor systems using neural networks and fuzzy logic

    SciTech Connect (OSTI)

    Ikonomopoulos, A.; Tsoukalas, L.H.; Uhrig, R.E. [Tennessee Univ., Knoxville, TN (United States); Mullens, J.A. [Tennessee Univ., Knoxville, TN (United States)]|[Oak Ridge National Lab., TN (United States)

    1991-12-01

    A new approach is presented that demonstrates the potential of trained artificial neural networks (ANNs) as generators of membership functions for the purpose of monitoring nuclear reactor systems. ANN`s provide a complex-to-simple mapping of reactor parameters in a process analogous to that of measurement. Through such ``virtual measurements`` the value of parameters with operational significance, e.g., control-valve-disk-position, valve-line-up or performance can be determined. In the methodology presented the output of a virtual measuring device is a set of membership functions which independently represent different states of the system. Utilizing a fuzzy logic representation offers the advantage of describing the state of the system in a condensed form, developed through linguistic descriptions and convenient for application in monitoring, diagnostics and generally control algorithms. The developed methodology is applied to the problem of measuring the disk position of the secondary flow control valve of an experimental reactor using data obtained during a start-up. The enhanced noise tolerance of the methodology is clearly demonstrated as well as a method for selecting the actual output. The results suggest that it is possible to construct virtual measuring devices through artificial neural networks mapping dynamic time series to a set of membership functions and thus enhance the capability of monitoring systems. 8 refs., 11 figs., 1 tab.

  13. Analysis of a duo-selecting membrane reactor for the water-gas shift

    E-Print Network [OSTI]

    Hardy, AliciA Jillian Jackson, 1978-

    2004-01-01

    The water-gas shift reaction is an exothermic and reversible catalytic process that converts carbon monoxide and water (steam) to hydrogen and carbon dioxide. In regard to energy-related issues, the water-gas shift is part ...

  14. The Future of TDM: Technology and Demographic Shifts and Their Implications for

    E-Print Network [OSTI]

    The Future of TDM: Technology and Demographic Shifts and Their Implications for Transportation Demand Management Final report PRC 15-25F #12;2 The Future of TDM: Technology and Demographic Shifts ........................................................................................................... 15 Future Demand and Texas Demographic Trends

  15. Low power RF CMOS phase-shifting dual modulus (16/17) prescaler 

    E-Print Network [OSTI]

    Duggal, Abhishek

    2000-01-01

    This report describes the research work I undertook for my M.S. degree requirements. The conventional and phase-shifting architectures are compared. Problems with the phase-shifting architecture are analyzed and a new modified architecture...

  16. Hand held phase-shifting diffraction Moire interferometer

    DOE Patents [OSTI]

    Deason, V.A.; Ward, M.B.

    1994-09-20

    An interferometer is described in which a coherent beam of light is generated within a remote case and transmitted to a hand held unit tethered to said remote case, said hand held unit having optical elements for directing a pair of mutually coherent collimated laser beams at a diffraction grating. Data from the secondary or diffracted beams are then transmitted to a separate video and data acquisition system for recording and analysis for load induced deformation or for identification purposes. Means are also provided for shifting the phase of one incident beam relative to the other incident beam and being controlled from within said remote case. 4 figs.

  17. PMT signal increase using a wavelength shifting paint

    E-Print Network [OSTI]

    K. Allada; Ch. Hurlbut; L. Ou; B. Schmookler; A. Shahinyan; B. Wojtsekhowski

    2015-02-06

    We report a 1.65 times increase of the PMT signal and a simple procedure of application of a new wavelength shifting (WLS) paint for PMTs with non-UV-transparent windows. Samples of four different WLS paints, made from hydrocarbon polymers and organic fluors, were tested on a 5-inch PMT (ET 9390KB) using Cherenkov radiation produced in fused silica disks by $^{106}$Ru electrons on a `table-top' setup. The best performing paint was employed on two different types of 5-inch PMTs (ET 9390KB and XP4572B), installed in atmospheric pressure CO$_2$ gas Cherenkov detectors, and tested using GeV electrons.

  18. GreenShift Industrial Design Corporation GIDC | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QAsource History View New PagesSustainableGlynn County, Georgia:Oregon:Corp JumpGreen2V JumpGreenShift

  19. Mississippi Floods - Designing a Shifting Landscape [EDRA / Places Awards, 2001-2002 -- Research

    E-Print Network [OSTI]

    Horwitz, Jamie; Bressi, Todd W

    2002-01-01

    da Cunha, Mississippi Floods (New Haven: Yale UniversityMississippi Floods: Designing aShifting Landscape “Mississippi Floods” investigates how

  20. Testing Doppler type shift for an accelerated source and determination of the universal maximal acceleration

    E-Print Network [OSTI]

    Yaakov Friedman

    2010-06-10

    An experiment for testing Doppler type shift for an accelerated source and determination of the universal maximal acceleration is proposed.

  1. Photonic Generation of Millimeter-Wave Signals With Tunable Phase Shift

    E-Print Network [OSTI]

    Yao, Jianping

    Photonic Generation of Millimeter-Wave Signals With Tunable Phase Shift Volume 4, Number 3, June.2199481 1943-0655/$31.00 ©2012 IEEE #12;Photonic Generation of Millimeter-Wave Signals With Tunable Phase Shift approach to generating a frequency-quadrupled millimeter-wave (mm-wave) signal with a tunable phase shift

  2. Automated Brain Shift Correction Using A Pre-computed Deformation Atlas

    E-Print Network [OSTI]

    Frey, Pascal

    Automated Brain Shift Correction Using A Pre-computed Deformation Atlas Prashanth Dumpuria Dr. Reid, USA ABSTRACT Compensating for intraoperative brain shift using computational models has shown preoperatively and are combined with the help of a statistical model to predict the intraoperative brain shift

  3. Structure based chemical shift prediction using Random Forests non-linear regression

    E-Print Network [OSTI]

    of the local electronic environment. Thus, chemical shifts are among the most fundamental of nuclear magnetic;Keywords: computational biology, structural biology, Nuclear Magnetic Resonance, NMR, chemical shift, regression, Random Forests #12;Abstract Protein nuclear magnetic resonance (NMR) chemical shifts are among

  4. A Review of Cold Fronts with Prefrontal Troughs and Wind Shifts DAVID M. SCHULTZ

    E-Print Network [OSTI]

    Schultz, David

    A Review of Cold Fronts with Prefrontal Troughs and Wind Shifts DAVID M. SCHULTZ Cooperative with a pressure trough and a distinct wind shift at the surface. Many cold fronts, however, do not conform to this model--time series at a single surface station may possess a pressure trough and wind shift in the warm

  5. Shifts in ENSO coupling processes under global warming Sjoukje Philip1

    E-Print Network [OSTI]

    Haak, Hein

    state of the Pacific Ocean between the current climate and a high CO2 climate. Next, shifts in ENSO warming may shift the properties and dynamics of El Nin~o. We study the shifts in ENSO couplings in IPCC couplings between sea surface temperature (SST), thermocline depth and wind stress are discussed. Although

  6. Mode-shift characteristics and hysteresis property of injection locking in a semiconductor laser

    E-Print Network [OSTI]

    Wai, Ping-kong Alexander

    -mode injection locking case in Fig. 4 (c) of Ref. [4]. It is straightforward that the mode-shift is directly will have direct implications on the mode-shift. For the injection current above threshold and for not tooMode-shift characteristics and hysteresis property of injection locking in a semiconductor laser K

  7. Dunkl shift operators and Bannai-Ito polynomials

    E-Print Network [OSTI]

    Tsujimoto, Satoshi; Zhedanov, Alexei

    2011-01-01

    We consider the most general Dunkl shift operator $L$ with the following properties: (i) $L$ is of first order in the shift operator and involves reflections; (ii) $L$ preserves the space of polynomials of a given degree; (iii) $L$ is potentially self-adjoint. We show that under these conditions, the operator $L$ has eigenfunctions which coincide with the Bannai-Ito polynomials. We construct a polynomial basis which is lower-triangular and two-diagonal with respect to the action of the operator $L$. This allows to express the BI polynomials explicitly. We also present an anti-commutator AW(3) algebra corresponding to this operator. From the representations of this algebra, we derive the structure and recurrence relations of the BI polynomials. We introduce new orthogonal polynomials - referred to as the complementary BI polynomials - as an alternative $q \\to -1$ limit of the Askey-Wilson polynomials. These complementary BI polynomials lead to a new explicit expression for the BI polynomials in terms of the or...

  8. Security of Power Packet Dispatching Using Differential Chaos Shift Keying

    E-Print Network [OSTI]

    Yanzi Zhou; Ryo Takahashi; Takashi Hikihara

    2015-02-19

    This paper investigates and confirms one advantageous function of a power packet dispatching system, which has been proposed by authors' group with being apart from the conventional power distribution system. Here is focused on the function to establish the security of power packet dispatching for prohibiting not only information but also power of power packet from being stolen by attackers. For the purpose of protecting power packets, we introduce a simple encryption of power packets before sending them. Encryption scheme based on chaotic signal is one possibility for this purpose. This paper adopts the Differential Chaos Shift Keying (DCSK) scheme for the encryption, those are partial power packet encryption and whole power packet encryption.

  9. Observational evidence for travelling wave modes bearing distance proportional shifts

    E-Print Network [OSTI]

    Guruprasad, V

    2015-01-01

    Discrepancies of range between the Space Surveillance Network radars and the Deep Space Network in tracking the 1998 earth flyby of NEAR, and between ESA's Doppler and range data in Rosetta's 2009 flyby, reveal a consistent excess delay, or lag, equal to instantaneous one-way travel time in the telemetry signals. These lags readily explain all details of the flyby anomaly, and are shown to be symptoms of chirp d'Alembertian travelling wave solutions, relating to traditional sinusoidal waves by a rotation of the spectral decomposition due to the clock acceleration caused by the Doppler rates during the flybys. The lags thus relate to special relativity, but yield distance proportional shifts like those of cosmology at short range.

  10. Observational evidence for travelling wave modes bearing distance proportional shifts

    E-Print Network [OSTI]

    V. Guruprasad

    2015-07-18

    Discrepancies of range between the Space Surveillance Network radars and the Deep Space Network in tracking the 1998 earth flyby of NEAR, and between ESA's Doppler and range data in Rosetta's 2009 flyby, reveal a consistent excess delay, or lag, equal to instantaneous one-way travel time in the telemetry signals. These lags readily explain all details of the flyby anomaly, and are shown to be symptoms of chirp d'Alembertian travelling wave solutions, relating to traditional sinusoidal waves by a rotation of the spectral decomposition due to the clock acceleration caused by the Doppler rates during the flybys. The lags thus relate to special relativity, but yield distance proportional shifts like those of cosmology at short range.

  11. Dielectric waveguide gas-filled stark shift modulator

    DOE Patents [OSTI]

    Hutchinson, Donald P.; Richards, Roger K.

    2003-07-22

    An optical modulator includes a dielectric waveguide for receiving an optical beam and coupling energy of the optical beam into the waveguide. At least one Stark material is provided in the waveguide. A bias circuit generates a bias signal to produce an electrical field across the Stark material to shift at least one of the Stark absorption frequencies towards the frequency of the optical beam. A circuit for producing a time varying electric field across the Stark material modulates the optical beam. At least a portion of the bias field can be generated by an alternating bias signal, such as a square wave. A method of modulating optical signals includes the steps of providing a dielectric waveguide for receiving an optical beam and coupling energy of the optical beam into the waveguide, the waveguide having at least one Stark material disposed therein, and varying an electric field imposed across the Stark material.

  12. Low energy scattering phase shifts for meson-baryon systems

    E-Print Network [OSTI]

    Detmold, William

    2015-01-01

    In this work, we calculate meson-baryon scattering phase shifts in four channels using lattice QCD methods. From a set of calculations at four volumes, corresponding to spatial sizes of 2, 2.5, 3, and 4 fm, and a pion mass of m_pi ~ 390 MeV, we determine the scattering lengths and effective ranges for these systems at the corresponding quark masses. We also perform the calculation at a lighter quark mass, m_pi ~ 230 MeV, on the largest volume. Using these determinations, along with those in previous work, we perform a chiral extrapolation of the scattering lengths to the physical point after correcting for the effective range contributions using the multi-volume calculations performed at m_pi ~ 390 MeV.

  13. Clock Controller For Ac Self-Timing Analysis Of Logic System

    DOE Patents [OSTI]

    Lo, Tinchee (Fishkill, NY); Flanagan, John D. (Rhinebeck, NY)

    2004-05-18

    A clock controller and clock generating method are provided for AC self-test timing analysis of a logic system. The controller includes latch circuitry which receives a DC input signal at a data input, and a pair of continuous out-of-phase clock signals at capture and launch clock inputs thereof. The latch circuitry outputs two overlapping pulses responsive to the DC input signal going high. The two overlapping pulses are provided to waveform shaper circuitry which produces therefrom two non-overlapping pulses at clock speed of the logic system to be tested. The two non-overlapping pulses are a single pair of clock pulses which facilitate AC self-test timing analysis of the logic system.

  14. The application of a logic framework for fatigue crack growth analyses to microstructural effects

    SciTech Connect (OSTI)

    Xu, J.G.; Liu, H.W.

    1995-12-31

    {Delta}K has been widely used to correlate da/dN data. The relation between da/dN and {Delta}K is usually found empirically. However, fatigue crack growth relations can also be derived theoretically. Three fatigue crack growth theories are derived for the state of small scale yielding and plane strain. These three theories constitute a logic framework useful for fatigue crack growth analyses. The application of the logic framework to the analyses of microstructural effects on fatigue crack growth is illustrated. The fatigue crack growth curve of 7075-T651 aluminum alloy has five distinct regions. A fatigue crack grows by crack-tip shear decohesion forming striations and by brittle fractures of particles followed by localized shear decohesion at these microcracks forming dimples. The logic framework helps to relate the fatigue crack growth behaviors in these five regions to the fractures of inclusions and to the resistance of grain boundaries and dispersoids to shear decohesion.

  15. The Energy Impact of Aggressive Loop Fusion YongKang Zhu, Grigorios Magklis, Michael L. Scott, Chen Ding, and David H. Albonesi

    E-Print Network [OSTI]

    Scott, Michael L.

    The Energy Impact of Aggressive Loop Fusion YongKang Zhu, Grigorios Magklis, Michael L. Scott, and thus dynamic power, so that fusion-induced improvements in program energy are slightly smaller than energy con- sumption. We then evaluate the benefits of fusion empiri- cally on synthetic and real

  16. Automated Interpretation of LIBS Spectra using a Fuzzy Logic Inference Engine

    SciTech Connect (OSTI)

    Jeremy J. Hatch; Timothy R. McJunkin; Cynthia Hanson; Jill R. Scott

    2012-02-01

    Automated interpretation of laser-induced breakdown spectroscopy (LIBS) data is necessary due to the plethora of spectra that can be acquired in a relatively short time. However, traditional chemometric and artificial neural network methods that have been employed are not always transparent to a skilled user. A fuzzy logic approach to data interpretation has now been adapted to LIBS spectral interpretation. A fuzzy logic inference engine (FLIE) was used to differentiate between various copper containing and stainless steel alloys as well as unknowns. Results using FLIE indicate a high degree of confidence in spectral assignment.

  17. Raft River Geothermal Area Data Models - Conceptual, Logical and Fact Models

    DOE Data Explorer [Office of Scientific and Technical Information (OSTI)]

    Cuyler, David

    2012-07-19

    Conceptual and Logical Data Model for Geothermal Data Concerning Wells, Fields, Power Plants and Related Analyses at Raft River a. Logical Model for Geothermal Data Concerning Wells, Fields, Power Plants and Related Analyses, David Cuyler 2010 b. Fact Model for Geothermal Data Concerning Wells, Fields, Power Plants and Related Analyses, David Cuyler 2010 Derived from Tables, Figures and other Content in Reports from the Raft River Geothermal Project: "Technical Report on the Raft River Geothermal Resource, Cassia County, Idaho," GeothermEx, Inc., August 2002. "Results from the Short-Term Well Testing Program at the Raft River Geothermal Field, Cassia County, Idaho," GeothermEx, Inc., October 2004.

  18. Logical operations with single x-ray photons via dynamically-controlled nuclear resonances

    E-Print Network [OSTI]

    Jonas Gunst; Christoph H. Keitel; Adriana Pálffy

    2015-06-01

    The implementation of logical operations on polarization-encoded x-rays via resonant light-nucleus interactions is theoretically investigated. We show that by means of resonant scattering off nuclei and fast rotations of the nuclear hyperfine magnetic field to control the polarization of the output photon, single-qubit logical gates can be simulated. A second control qubit may be employed to trigger the magnetic field rotation, thus allowing several implementation choices for a controlled NOT gate for x-ray photons.

  19. Raft River Geothermal Area Data Models - Conceptual, Logical and Fact Models

    DOE Data Explorer [Office of Scientific and Technical Information (OSTI)]

    Cuyler, David

    Conceptual and Logical Data Model for Geothermal Data Concerning Wells, Fields, Power Plants and Related Analyses at Raft River a. Logical Model for Geothermal Data Concerning Wells, Fields, Power Plants and Related Analyses, David Cuyler 2010 b. Fact Model for Geothermal Data Concerning Wells, Fields, Power Plants and Related Analyses, David Cuyler 2010 Derived from Tables, Figures and other Content in Reports from the Raft River Geothermal Project: "Technical Report on the Raft River Geothermal Resource, Cassia County, Idaho," GeothermEx, Inc., August 2002. "Results from the Short-Term Well Testing Program at the Raft River Geothermal Field, Cassia County, Idaho," GeothermEx, Inc., October 2004.

  20. Development of Fuzzy Logic-Based Lead Acid Battery Management Techniques with Applications to 42V Systems

    E-Print Network [OSTI]

    Singh, Pritpal

    on changing battery conditions. Finally, the fuzzy logic methodology lends itself well to rapid system designDevelopment of Fuzzy Logic-Based Lead Acid Battery Management Techniques with Applications to 42V volt systems is being phased into commercial vehicles, the battery technology is being developed

  1. Layoutdriven Logic Optimization R. Carragher, R. Murgai S. Chakraborty \\Lambda M. R. Prasad \\Lambda A. Srivastava \\Lambda N. Vemuri \\Lambda

    E-Print Network [OSTI]

    Chakraborty, Supratik

    \\Lambda A. Srivastava \\Lambda N. Vemuri \\Lambda Fujitsu Labs of America IIT Mumbai UC Berkeley methodology that incorporates logic­level transformations for improving the delay and area of a mapped, block constructs buffer trees during logic optimiza­ tion/mapping to improve the delay characteristics

  2. On Pipelining Dynamic Instruction Scheduling Logic Jared Stark y Mary D. Brown z Yale N. Patt z

    E-Print Network [OSTI]

    Patt, Yale

    On Pipelining Dynamic Instruction Scheduling Logic Jared Stark y Mary D. Brown z Yale N. Patt z operation. Either you sacrifice IPC by pipelin­ ing this logic, thereby eliminating its ability to execute de­ pendent instructions in consecutive cycles. Or you sacrifice clock frequency by not pipelining it

  3. PUBLISHED ONLINE: 31 JANUARY 2010 | DOI: 10.1038/NPHYS1513 Static control logic for microfluidic devices using

    E-Print Network [OSTI]

    Loss, Daniel

    to be designed. Outputs from this digital control logic can then be used to control traditional analyte flow to be designed. Outputs from this highly compact digital control logic can then be used to control traditional multiple analysis systems to be placed on a microfluidic chip. However, microfluidic large

  4. A-1 Appendix A -Digital Logic Principles of Computer Architecture by M. Murdocca and V. Heuring 1999 M. Murdocca and V. Heuring

    E-Print Network [OSTI]

    Boyer, Michel

    Logic A.3 Truth Tables A.4 Logic Gates A.5 Properties of Boolean Algebra A.6 The Sum-of-Products Form Tables · Developed in 1854 by George Boole · further developed by Claude Shannon (Bell Labs) · Outputs

  5. A-1 Appendix A -Digital Logic Principles of Computer Architecture by M. Murdocca and V. Heuring 1999 M. Murdocca and V. Heuring

    E-Print Network [OSTI]

    Boyer, Michel

    Combinational Logic A.3 Truth Tables A.4 Logic Gates A.5 Properties of Boolean Algebra A.6 The Sum Tables · Developed in 1854 by George Boole · further developed by Claude Shannon (Bell Labs) · Outputs

  6. Appendix A: Digital LogicA-1 Principles of Computer Architecture by M. Murdocca and V. Heuring 1999 M. Murdocca and V. Heuring

    E-Print Network [OSTI]

    Aboulhamid, El Mostapha

    Combinational Logic A.3 Truth Tables A.4 Logic Gates A.5 Properties of Boolean Algebra A.6 The Sum Output Switch A Switch B "Hot" GND Light Z A Truth Table · Developed in 1854 by George Boole. · Further

  7. LOGIC is traditionally described as the theory of deduction. In a correct deduction we pass from sentences called premises to a sentence called conclusion, usually

    E-Print Network [OSTI]

    Dosen, Kosta

    these constants and the rest is replaced by variables, which makes logical form appear. In algebraic laws, one has, the work of George Boole and especially Gottlob Frege inaugurates the tradition of contemporary logic

  8. Y-12 Plant decontamination and decommissioning Technology Logic Diagram for Building 9201-4: Volume 3, Technology evaluation data sheets: Part B, Decontamination; robotics/automation; waste management

    SciTech Connect (OSTI)

    1994-09-01

    This volume consists of the Technology Logic Diagrams (TLDs) for the decontamination, robotics/automation, and waste management areas.

  9. The Spectral shift function and the Witten index

    E-Print Network [OSTI]

    Alan Carey; Fritz Gesztesy; Galina Levitina; Fedor Sukochev

    2015-05-19

    We survey the notion of the spectral shift function of a pair of self-adjoint operators and recent progress on its connection with the Witten index. We also describe a proof of Krein's Trace Theorem that does not use complex analysis [53] and develop its extension to general $\\sigma$-finite von Neumann algebras $\\mathcal{M}$ of type II and unbounded perturbations from the predual of $\\mathcal{M}$. We also discuss the connection between the theory of the spectral shift function and index theory for certain model operators. We start by introducing various definitions of the Witten index, (an extension of the notion of Fredholm index to non-Fredholm operators). Then we study the model operator $D_{A^{}} = (d/dt) + A$ in $L^2(\\mathbb{R};\\mathcal{H})$ associated with the operator path $\\{A(t)\\}_{t=-\\infty}^{\\infty}$, where $(A f)(t) = A(t) f(t)$ for a.e. $t\\in\\mathbb{R}$, and appropriate $f \\in L^2(\\mathbb{R};\\mathcal{H})$. The setup permits the operator family $A(t)$ on $\\mathcal{H}$ to be an unbounded relatively trace class perturbation of the unbounded self-adjoint operator $A_-$, and no discrete spectrum assumptions are made on the asymptotes $A_{\\pm}$. When $A_{\\pm}$ are boundedly invertible, it is shown that $D_{A^{}}$ is Fredholm and its index can be computed as $\\xi(0; A_+, A_-)$. When $0\\in\\sigma(A_+)$ (or $0\\in\\sigma(A_-)$), the operator $D_{A^{}}$ ceases to be Fredholm. However, if $0$ is a right and a left Lebesgue point of $\\xi(\\,\\cdot\\,\\, ; A_+, A_-)$, the resolvent regularized Witten index $W_r(D_{A^{}})$ is given by $W_r(D_{A^{}}) = \\xi(0_+; |D_{A^{*}}|^2, |D_{A^{}}|^2) = [\\xi(0_+; A_+,A_-) + \\xi(0_-; A_+, A_-)]/2$. We also study a special example, when the perturbation of the unbounded self-adjoint operator $A_-$ is not assumed to be relatively trace class.

  10. George Boole and the Development of Probability Theory Writing in the preface to the first edition of The Logic of Chance (1866), John Venn observed that

    E-Print Network [OSTI]

    Gow, Rod

    1866-01-01

    opinions. Given Boole's construction of an algebra of logic to investigate logical processes, it is perhaps not surprising that Boole should have been drawn to the study of probability theory. Boole's algebra of logicGeorge Boole and the Development of Probability Theory Writing in the preface to the first edition

  11. Decrease in carbonyl sulfide in the feed to Claus converters by shift catalysts

    SciTech Connect (OSTI)

    Gens, T.A. (BOC Group Technical Center, Murray Hill, NJ (United States))

    1994-07-01

    The principal reaction in the burner in a Claus plant is the combustion of part of the hydrogen sulfide to form sulfur dioxide, which can react with more hydrogen sulfide to form sulfur. Alumina or commercial shift catalysts were used downstream of a Claus burner to shift carbon monoxide to carbon dioxide before it could react to form carbonyl sulfide. The shift catalysts were effective in preventing formation of carbonyl sulfide, thereby decreasing sulfur losses.

  12. Performance test of wavelength-shifting acrylic plastic Cherenkov detector

    E-Print Network [OSTI]

    B. Beckford; A. de la Puente; Y. Fuji; K. Futatsukawa; O. Hashimoto; M. Kaneta; H. Kanda; K. Maeda; A. Matsumura; S. N. Nakamura; J. Reinhold; L. Tang; K. Tsukada

    2013-05-22

    The collection efficiency for Cherenkov light incident on a wavelength shifting plate (WLS) has been determined during a beam test at the Proton Synchrotron facility located in the National Laboratory for High Energy Physics (KEK), Tsukuba, Japan. The experiment was conducted in order to determine the detector's response to photoelectrons converted from photons produced by a fused silica radiator; this allows for an approximation of the detector's quality. The yield of the photoelectrons produced through internally generated Cherenkov light as well as light incident from the radiator was measured as a function of the momentum of the incident hadron beam. The yield is proportional to sin$^2$$\\theta_c$, where $\\theta_{c}$ is the opening angle of the Cherenkov light created. Based on estimations and results from similarly conducted tests, where the collection efficiency was roughly 39%, the experimental result was expected to be around 40% for internally produced light from the WLS. The results of the experiment determined the photon collection response efficiency of the WLS to be roughly 62% for photons created in a fused silica radiator and 41% for light created in the WLS.

  13. Environmental Effects on TPB Wavelength-Shifting Coatings

    E-Print Network [OSTI]

    C. S. Chiu; C. Ignarra; L. Bugel; H. Chen; J. M. Conrad; B. J. P. Jones; T. Katori; I. Moult

    2012-04-25

    The scintillation detection systems of liquid argon time projection chambers (LArTPCs) require wavelength shifters to detect the 128 nm scintillation light produced in liquid argon. Tetraphenyl butadiene (TPB) is a fluorescent material that can shift this light to a wavelength of 425 nm, lending itself well to use in these detectors. We can coat the glass of photomultiplier tubes (PMTs) with TPB or place TPB-coated plates in front of the PMTs. In this paper, we investigate the degradation of a chemical TPB coating in a laboratory or factory environment to assess the viability of long-term TPB film storage prior to its initial installation in an LArTPC. We present evidence for severe degradation due to common fluorescent lights and ambient sunlight in laboratories, with potential losses at the 40% level in the first day and eventual losses at the 80% level after a month of exposure. We determine the degradation is due to wavelengths in the UV spectrum, and we demonstrate mitigating methods for retrofitting lab and factory environments.

  14. Understanding predicted shifts in diazotroph biogeography using resource competition theory

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

    Dutkiewicz, S.; Ward, B. A.; Scott, J. R.; Follows, M. J.

    2014-10-08

    We examine the sensitivity of the biogeography of nitrogen fixers to a warming climate and increased aeolian iron deposition in the context of a global earth system model. We employ concepts from the resource-ratio theory to provide a simplifying and transparent interpretation of the results. First we demonstrate that a set of clearly defined, easily diagnosed provinces are consistent with the theory. Using this framework we show that the regions most vulnerable to province shifts and changes in diazotroph biogeography are the equatorial and South Pacific, and central Atlantic. Warmer and dustier climates favor diazotrophs due to an increase inmore »the ratio of supply rate of iron to fixed nitrogen. We suggest that the emergent provinces could be a standard diagnostic for global change models, allowing for rapid and transparent interpretation and comparison of model predictions and the underlying mechanisms. The analysis suggests that monitoring of real world province boundaries, indicated by transitions in surface nutrient concentrations, would provide a clear and easily interpreted indicator of ongoing global change.« less

  15. Understanding predicted shifts in diazotroph biogeography using resource competition theory

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

    Dutkiewicz, S.; Ward, B. A.; Scott, J. R.; Follows, M. J.

    2014-05-19

    We examine the sensitivity of the biogeography of nitrogen fixers to a warming climate and increased aeolian iron deposition in the context of a global Earth System Model. We employ concepts from Resource Ratio Theory to provide a simplifying and transparent interpretation of the results. First we demonstrate that a set of clearly defined, easily diagnosed provinces are consistent with the theory. Using the framework we show that the regions most vulnerable to province shifts and changes in diazotroph biogeography are the Equatorial and South Pacific, and central Atlantic. Warmer and dustier climates favor diazotrophs due to an increase inmore »the ratio of supply rate of iron to fixed nitrogen. The analysis suggests that monitoring of real world province boundaries, indicated by transitions in surface nutrient concentrations, would provide a clear and easily interpreted indicator of ongoing global change. We suggest that the emergent provinces could be a standard diagnostic for global change models, allowing for rapid and transparent interpretation and comparison of model predictions and the underlying mechanisms.« less

  16. Susceptibility and Knight-shift anomalies in cuprate superconductors

    SciTech Connect (OSTI)

    Thoma, J.; Tewari, S.; Ruvalds, J.; Rieck, C.T.

    1995-06-01

    The unconventional temperature variation of the static susceptibility {chi}({ital T}) that has been discovered in various copper oxide superconductors is explained in terms of a model density of states that has a step shape at an energy threshold {ital E}{sub 0} along with a logarithmic Van Hove singularity at the same {ital E}{sub 0}. Calculations of {chi}({ital T}) and the Knight shift above the superconducting transition temperature {ital T}{sub {ital c}} yield good fits to the YBCO, BSCCO, and LSCO data by adjusting only the Fermi energy {mu} in correspondence to the oxygen or Sr content, respectively. When {mu} is right on or slightly below the Van Hove singularity, an upturn in {chi} occurs as the temperature {ital T} is lowered. By contrast, when {mu} is slightly above the threshold energy {ital E}{sub 0}, a downturn in {chi} is achieved as {ital T} is lowered. A correlation of these phenomena with experimental data provides insight into the proximity of the Van Hove singularity to {mu} in several cuprate superconductors. The YBCO and TBCO cuprates with the higher {ital T}{sub {ital c}} values exhibit a nearly constant susceptibility that suggests a Fermi energy well removed from the Van Hove singularity. The sensitivity of {ital T}{sub {ital c}} as well as the susceptibility to chemical changes may provide tests of electronic mechanisms of electron pairing as well as the BCS theory.

  17. A Fuzzy Logic-Based Approach for Node Localization in Mobile Sensor Networks 

    E-Print Network [OSTI]

    Chenji Jayanth, Harshavardhan

    2011-02-22

    and signal interference. We propose FuzLoc, a range-based, anchor-based, fuzzy logic enabled system system for localization. Quantities like RSS and distance are transformed into linguistic variables such as Low, Medium, High etc. by binning. The location...

  18. Dual-Threshold Pass-Transistor Logic Design Lara D. Oliver,

    E-Print Network [OSTI]

    Chakrabarty, Krishnendu

    high speed on critical paths and high-threshold-voltage (Vt,H) transistors to manage leakage elsewhere,krish,massoud}@ee.duke.edu ABSTRACT This paper introduces pass-transistor logic design with dual- threshold voltages. A set of single-rail threshold voltages and signal restora- tion transistors with high threshold voltages. Simulation is used

  19. Description Logic and Faceted Knowledge Representation School of Library and Information Science

    E-Print Network [OSTI]

    Priss, Uta

    Description Logic and Faceted Knowledge Representation Uta Priss School of Library and Information Science Indiana University, Bloomington, IN 47405, USA upriss@indiana.edu 1 Introduction The term "facet (facets). A more general analysis of complexity will be left for future research. 2 Faceted Knowledge

  20. Agent-based semantic composition of Web services using distributed description logics

    E-Print Network [OSTI]

    Pellier, Damien

    Agent-based semantic composition of Web services using distributed description logics Mourad Ouziri.ouziri,damien.pellier}@parisdescartes.fr Abstract. An important research challenge consists in composing web services in an automatic be processed by composing sev- eral services. Each web service is often written by different designers

  1. LogicPad: A Pen-Based Application for Visualization and Verification of Boolean Algebra

    E-Print Network [OSTI]

    Pattanaik, Sumanta N.

    Verification ACM Classification Keywords H.5.2 Information Interfaces and Presentation: User Interfa- ces, Human Factors INTRODUCTION Boolean Algebra [8] is a fundamental concept in computer science and digital system design. Many problems in digital logic design and testing, artificial intelligence, and combina

  2. Sequent Calculi for Process Verification: Hennessy-Milner Logic for an Arbitrary GSOS

    E-Print Network [OSTI]

    notion of GSOS model, we prove a completeness theorem for the cut-free fragment of the proof system systems for the formal verification of programs, specifcally of concurrent processes. The main thesis powerful logics. There are several desirable properties that one might require of any proof system

  3. Position Paper: Automotive CPS Workshop Oct. 2010 Fault-Tolerant Discrete Control Logic in Automotive Applications

    E-Print Network [OSTI]

    Rajkumar, Ragunathan "Raj"

    in Automotive Applications Richard Hill Department of Mechanical Engineering, University of Detroit Mercy StPosition Paper: Automotive CPS Workshop Oct. 2010 Fault-Tolerant Discrete Control Logic systems, occupant safety systems, etc. As the complexity and coupling of these automotive control systems

  4. Universit`a degli Studi di Bologna Computational Logic in Multi-Agent

    E-Print Network [OSTI]

    Torroni, Paolo

    -Agent Systems, CLIMA'01 and CLIMA'02, two discussion pan- els have been organized, aimed at bringing researchers Introduction CLIMA has now been running for five years, as a satellite event of the main Logic Programming), organized by Stephen Rochefort, Fariba Sadri and Francesca Toni at New Mexico State University in Las Cruces

  5. Ian Hacking. An Introduction to Probability and Inductive Logic. Cambridge University Press 2000, xvii + 302 pp.

    E-Print Network [OSTI]

    Fitelson, Branden

    Ian Hacking. An Introduction to Probability and Inductive Logic. Cambridge University Press 2000, and as an introduction to statistical inference and decision theory, it is even better. Hacking writes very clearly and engagingly throughout. A good supply of well-chosen exercises appear at the end of each chapter, and Hacking

  6. Fuzzy Logic-Based State-of-Health Determination of PEM Craig Fennie and David Reisner

    E-Print Network [OSTI]

    Singh, Pritpal

    Fuzzy Logic-Based State-of-Health Determination of PEM Fuel Cells Craig Fennie and David Reisner US University Villanova, PA 19085 Abstract Proton exchange membrane (PEM) fuel cells are being rapidly developed as the primary power source for advanced electric vehicles. The monitoring and control of these fuel cells

  7. Logic Analyzer Connectorless Probing Reduces Loading and Footprint Impact on DDR Memory Validation

    E-Print Network [OSTI]

    LaMeres, Brock J.

    Logic Analyzer Connectorless Probing Reduces Loading and Footprint Impact on DDR Memory Validation Brock J. LaMeres Agilent Technologies DDR memory has emerged as the leading technology for in-system DRAM. Verification of DDR systems has also emerged as one of the most challenging and time consuming

  8. Evaluation of a Business Continuity Plan using Process Algebra and Modal Logic

    E-Print Network [OSTI]

    Groote, Jan Friso

    Evaluation of a Business Continuity Plan using Process Algebra and Modal Logic Wolfgang BOEHMER of catastrophes on share- holder value, the need for a business continuity management system (BCMS) became clear serve as proof of implementation. It requires defined business continuity plans (BCP). However

  9. Cooperative self-localization in a multi-robot-no-landmark scenario using fuzzy logic 

    E-Print Network [OSTI]

    Sinha, Dhirendra Kumar

    2005-02-17

    In this thesis, we develop a method using fuzzy logic to do cooperative localization. In a group of robots, at a given instant, each robot gives crisp pose estimates for all the other robots. These crisp pose values are converted to fuzzy membership...

  10. Fuzzy Logic-Based State-of-Health Determination of Lead Acid Batteries Pritpal Singh

    E-Print Network [OSTI]

    Singh, Pritpal

    Fuzzy Logic-Based State-of-Health Determination of Lead Acid Batteries Pritpal Singh Villanova) of uninterruptible power supply (UPS) batteries using impedance measurements has been demonstrated by several extracted equivalent circuit parameters to correlate with battery SOH. This is a computationally extensive

  11. NASA/TM-2009-215770 Rewriting Logic Semantics of a Plan

    E-Print Network [OSTI]

    Muñoz, César A.

    June 2009 NASA/TM-2009-215770 Rewriting Logic Semantics of a Plan Execution Language Gilles Dowek University of Illinois at Urbana-Champaign, Illinois #12;NASA STI Program . . . in Profile Since its founding, NASA has been dedicated to the advancement of aeronautics and space science. The NASA scientific

  12. CMOS-MEMS Resonator as a Signal Generator for Fully-Adiabatic Logic Circuits

    E-Print Network [OSTI]

    Frank, Michael P.

    logic design. To maximize the system power-performance of an adiabatic circuit requires an ultra low the whole system's power dissipation and cost at a given frequency. A resonator design with a 100 k of the driving signals should also dissipate little power, i.e., a very high Q (quality factor) resonator

  13. A Term Logic for Physically Realizable Models of Information Steven Lindell

    E-Print Network [OSTI]

    Lindell, Steven

    theory of computing based on ordinary informational analysis". (Here, the term `physiological' is being, and hardware, material objects governed by physical law. The fundamental mathematical theory behind software1 A Term Logic for Physically Realizable Models of Information Steven Lindell Department

  14. Dependency Triples for Improving Termination Analysis of Logic Programs with Cut

    E-Print Network [OSTI]

    Syn), and the Danish Natural Science Research Council. 3 An exception is [12], which presents a transformation of "safely-typed" logic pro- grams to term rewrite systems. However, the resulting rewrite systems are quite problem. The goal is to improve the power of the approach, i.e., to succeed also in many cases where

  15. Small is Again Beautiful in Description Logics Franz Baader, Carsten Lutz, Anni-Yasmin Turhan

    E-Print Network [OSTI]

    Baader, Franz

    The Description Logic (DL) research of the last 20 years was mainly concerned with increasing the expressive power definitions Woman Human Female Mother Woman child. define the concept of a woman as a human that is female child. The GCIs child.Human Human Human child.Human respectively say that only human beings can have

  16. Dynamic Logics of Dynamical Systems ANDR E PLATZER, Carnegie Mellon University

    E-Print Network [OSTI]

    Platzer, André

    . Dynamical systems are mathematical models describing how the state of a system evolves over time. They are important for modeling and understanding many applications, including embedded systems and cyber of differential equations. We explain the dynamical system models, dynamic logics of dynamical systems

  17. A Fully Abstract Semantics for a Firstorder Functional Language with Logic Variables

    E-Print Network [OSTI]

    Jagadeesan, Radha

    general, and can be used to give semantics to any constraint­based logic programming languages. Our]: Functional Programming; D.3.1 [Programming Languages]: Formal Definitions and Theory ­ semantics; D.3.2 [Programming Languages]: Dataflow Languages; F.3.2 [Theory of Computation]: Semantics of Programming Languages

  18. Enhancing a Genome Database Using the XSB Tabled Logic Programming System

    E-Print Network [OSTI]

    Davulcu, Hasan

    goal of the Human Genome Project 1] is to construct detailed physical maps of the human genome Research at the Whitehead Institute in MIT is engaged in several large-scale genome mapping projectsEnhancing a Genome Database Using the XSB Tabled Logic Programming System Hasan Davulcu I

  19. ERK2: a logical AND gate critical for drug-induced plasticity? Truncated title

    E-Print Network [OSTI]

    1 Title: ERK2: a logical AND gate critical for drug-induced plasticity? Truncated title: ERK2 signal-regulated kinase (ERK) plays an important role in the underlying molecular mechanisms. ERK. Blockade of ERK activation prevents long- lasting behavioral changes, including psychomotor sensitization

  20. Logic for Mechanism Design ---A Manifesto Marc Pauly and Michael Wooldridge

    E-Print Network [OSTI]

    Woolridge, Mike

    Logic for Mechanism Design --- A Manifesto Marc Pauly and Michael Wooldridge Department of Computer to mechanism design problems. We begin by reviewing the mechanism design problem, and discussing the issue issues for future research. 1. INTRODUCTION The problem of mechanism design, as understood and studied