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...
Timing analysis of logic=level digital circuits using uncertainty intervals
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...
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...
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 ...
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...
Alienation and Dialectical Logic
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...
A Logic for Parametric Polymorphism
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 ...
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 ...
Fuzzy logic controller optimization
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.
Mathematical Logic Lecture Notes
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
Two Notions Contrasted: 'Logical Geography' and 'Logical Topography'
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
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...
Truth & Knowledge in Logic & Mathematics
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,
Logic and Logic Programming: a personal account
Miller, Dale
``higherorder 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 firstorder, if we admit that the center of the world might not be firstorder classical logic, then how do we
Logic and Logic Programming: a personal account
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
A restructurable logic simulator
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...
Logical Foundations Semantic Web
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
Low Power Shift and Add Multiplier Design
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...
1997 Wiley-Liss, Inc. AGGRESSIVE BEHAVIOR
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
A Dynamic Hobbesian Approach to Aggression and Self-Regulation
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...
Sex differences in indirect aggression Psychological evidence from young adults
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
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...
Shifting scintillator neutron detector
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.
Aggressive children's memory for attachment relevant information
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...
Manual transmission shift linkage
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.
The Logic of Parametric Probability
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.
J. LOGIC PROGRAMMING 1993:12:1--199 1 LOGIC PROGRAM SYNTHESIS
Lau, Kung-Kiu
J. LOGIC PROGRAMMING 1993:12:1--199 1 LOGIC PROGRAM SYNTHESIS YVES DEVILLE AND KUNGKIU 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
Logic meets psychology 1 Marian Counihan What happens when logic and psychology meet?
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
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.
Logical Itemset Mining Shailesh Kumar
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
Binary Logic and Gates Introduction
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
Towards Magneto-Logic Gates in Graphene
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
Analysis of complex networks using aggressive abstraction.
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.
Benefits and Costs of Aggressive Energy Efficiency Programs and...
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...
Logic meets psychology 1 Marian Counihan What happens when logic and psychology meet?
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
Research Directions in Rewriting Logic ?
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 N0001495C0225 and N0001496 C0114
Subtypes of aggressive children based on parent ratings
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...
Automatic sources of aggression Alexander Todorov*, John A. Bargh1
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
Homogeneous cosmology with aggressively expanding civilizations
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.
Photonic integrated circuits for optical logic applications
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 ...
A Syntactic Realization Theorem for Justification Logics
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
Programmable Cellular Logic: Past, Present, and Future
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
Peer aggression among adolescents: characteristics of the victims
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...
Illusionist: Transforming Lightweight Cores into Aggressive Cores on Demand
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
Attachment theory as a predictor of female aggression
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 ...
Logic Design Chapter 2: Introduction to Logic Circuits
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
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.
Phase shifting diffraction interferometer
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.
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.
Phase shifting diffraction interferometer
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.
Characterization of quantum states in predicative logic
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.
PERFORMANCE ENHANCEMENT TECHNIQUES FOR PHASED LOGIC CIRCUITS
Thornton, Mitchell
, these mechanims have been added to Phased Logic circuits by ad-hoc and manual means that require a designers
Low-overhead surface code logical Hadamard
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.
General Logic-Systems and Consequence Operators
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.
Hybrid Ockhamist Temporal Logic Patrick Blackburn
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
Constraint Logic Programming Marco Gavanelli1
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
New noise-based logic representations to avoid some problems with time complexity
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.
Electronic logic for enhanced switch reliability
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.
A Programming Logic for Java Bytecode Programs
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
Demo: Logic X Logic is Apple's profession sound production software (Garageband is the consumer
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
Secure Adiabatic Logic: a Low-Energy DPA-Resistant Logic Style
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
Refining the shifted topological vertex
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.
Brain oxytocin correlates with maternal aggression: Link to anxiety
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...
Testosterone and 5HIAA in dogs with intraspecific aggression
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...
Micro-mechanical logic for field produceable gate arrays
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 ...
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...
Combinatory Logic For Autonomous Molecular Computation
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
Intuitionistic Hybrid Logic Torben Brauner a,1
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
It's About Time: Realtime Logics Reviewed ? ??
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
Sets and Constraint Logic Programming Agostino Dovier
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
Constraint Logic Programming Overview of CP
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
BRICS'2001 Lecture 1 Logical Methods in
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
Quantum logic. A brief outline Karl Svozil #
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 BooleBell type consistency constraints and algebraic order of events from empirical facts. This is very different from the ``classical'' logical
Crash in Program and Logic Viviana Bono
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
Programmable Cellular Logic: Past, Present, and Future
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
From Preference Logics to Preference Languages, and Back Meghyn Bienvenu
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
Integrated reformer and shift reactor
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.
A NEURAL NETWORK UNDERLYING INDIVIDUAL DIFFERENCES IN EMOTION AND AGGRESSION IN MALE GOLDEN HAMSTERS
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
Acceptors as Values Functional Programming in Classical Linear Logic
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
Acceptors as Values Functional Programming in Classical Linear Logic
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
A Top-down Approach to Combining Logics Christoph Benzmuller
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
Modeling context-dependent aspect interference using default logics
Cazzola, Walter
the domotica world. Keywords: Aspect interactions, knowledge, interference, default logics. 1 Introduction
PROGRAM SPECIFICATION AND PROGRAMMING WITH SETS IN LOGIC
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
Completeness of the finitary Moss logic Clemens Kupke1
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
Duality for Lattices with Operators: a modal logic approach.
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
A modal extension of first order classical logic George Tourlakis
Tourlakis, George
and inequalities--correspondingly, in the case of logic, equivalences () and implications (). However, when we
Noise-based logic: Binary, multi-valued, or fuzzy, with optional superposition of logic states
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.
Roadmap for preferential logics Dov M Gabbay
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
Logical Control Theory Applied to Mechanical Arms
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 ...
Detecting Tangled Logic Structures in VLSI Netlists
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 ...
Engineering RNA logic with synthetic splicing ribozymes
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 ...
Deduction, Ordering, and Operations in Quantum Logic
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.
Proof Transformations in Higher-Order Logic
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
Hadronic shift in pionic hydrogen
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.
Hadronic shift in pionic hydrogen
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.
Cosmic Logic: a Computational Model
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...
Cosmic Logic: a Computational Model
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.
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.
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.
Quantum logic with molecular ions
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.
ENVIRONMENTAL TAX SHIFT: A Discussion Paper for
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
Managing Complex Environmental Remediation amidst Aggressive Facility Revitalization Milestones
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)
Analog Noise Reduction in Enzymatic Logic Gates
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.
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
Valve system incorporating single failure protection logic
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.
Acceptors as Values Functional Programming in Classical Linear Logic
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
Is there a use for linear logic? Philip Wadler
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
Logic verification using recursive learning, ATPG and transformations
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...
A fuzzy logic controller for autonomous vehicle control
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...
How Peircean was the "'Fregean' Revolution" in Logic?
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 ...
MANAGEMENT AND REHABILITATION OF INTER-DOG AGGRESSION IN ANIMAL SHELTERS
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
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
The Voodoo Doll Task: Introducing and Validating a Novel Method for Studying Aggressive Inclinations
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
Characterization of Logics Over Ranked Tree Thomas Place
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
Hybrid Logical Analyses of the Ambient Thomas Bolander1
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
Completeness in Propositional vs Predicate Logic Branden Fitelson
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
Termination Semantics of Logic Programs with Cut and Related Features
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
A Computational Approach to George Boole's Discovery of Mathematical Logic
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 (18151864) found that the symbols of Logic behaved as algebraic symbols, and he then rebuilt the whole
Annual Report 2005 Institute for Logic,
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
Internal Note #182 Computational Logic, Inc.
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
Internal Note #182 Computational Logic, Inc.
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
The Journal of Functional and Logic Programming
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)2532889; journalsorders@mit.edu, journalsinfo@mit.edu. Published one article at a time in L A T E X source form
The Journal of Functional and Logic Programming
de Vries, Fer-Jan
The Journal of Functional and Logic Programming The MIT Press Volume 1999, Article 1 16 February, 1999 ISSN 10805230. 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
The Journal of Functional and Logic Programming
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
The Journal of Functional and Logic Programming
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 021421493, USA; (617)2532889; journalsorders@mit.edu, journalsinfo @mit.edu. Published one article at a time in L A T E X source form
Logic Synthesis for Integrated Optics Christopher Condrat
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
The Journal of Functional and Logic Programming
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
Propositional Logic Unit code: MATH20302
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
Handling Spatial Relations in Logical Concept Analysis
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
LOGIC SEMINAR Friday, September 14, 2001
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
Eng Chemistry 1 (3) Logic Design (4)
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
TERMINATION OF SIMPLY MODED WELLTYPED LOGIC PROGRAMS
Giesl, Juergen
is borrowed from [9], defining a similar notion in the context of termination of offline partial evaluation only partially corresponds to our intuitive notion of a ``terminating computation''. This is becauseTERMINATION OF SIMPLY MODED WELLTYPED LOGIC PROGRAMS UNDER TABLED EXECUTION MECHANISM Sofie
Sisl: Several Interfaces, Single Logic Thomas Ballz
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
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
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
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...
Constructing a logical, regular axis topology from an irregular topology
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.
Constructing a logical, regular axis topology from an irregular topology
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.
Krylov space solvers for shifted linear systems
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.
Voltage controlled spintronic devices for logic applications
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.
Falsification or Confirmation: From Logic to Psychology
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.
NMDARs Mediate the Role of Monoamine Oxidase A in Pathological Aggression
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...
Effects of Trait Behavioral Approach and Inhibition Sensitivity on Behavioral Aggression
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...
Aggression, self-esteem, and perceived threat for university undergraduate research fellows
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...
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...
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...
Quasar Image Shifts due to Gravitational Microlensing
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.
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
A Note on the Implementation and Applications of Linear Logic Programming Languages
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
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
Integral equations, fractional calculus and shift operator
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.
Design principles for shift current photovoltaics
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...
Does accounting quality mitigate risk shifting?
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 ...
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....
Provability logics with quantifiers on proofs Rostislav E. Yavorsky \\Lambda
Yavorskiy, Rostislav
3752, fax (095) 1350555 rey@mi.ras.ru Abstract We study here extensions of the Artemov's logic of proofs
WindLogics Inc | Open Energy Information
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
Scalar Field Theories with Polynomial Shift Symmetries
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.
The Logic of Global Warming A bitter pill
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
Synthesis for Logical Initializability of Synchronous Finite State Machines
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
Synthesis for Logical Initializability of Synchronous Finite State Machines \\Lambda
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
Automation-considered Logic of Authentication and Key Distribution
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
Formal Theory Building Using Automated Reasoning Tools Applied Logic Laboratory
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
The Lockean Thesis and the Logic of Belief James Hawthorne
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
Carnap on the Foundations of Logic and Mathematics
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
The Role of Mathematical Logic in Computer Science and Mathematics
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
A CoVarietyTheorem for Modal Logic Alexander Kurz
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
Application of Linear Logic to Web Service Composition
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
A Description Logic Based Approach to Reasoning about Web Services
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
Towards a Logical Reconstruction of Information Retrieval Theory
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
Temporal Logic in Information Systems BRICS Minicourse Lecture Notes \\Lambda
Toman, David
Temporal Logic in Information Systems BRICS Minicourse 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
Quantum Logic Gates in Superconducting Qubits John M. Martinis
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
Transient Analysis of Linear Circuits using Constraint Logic Programming
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
Is there a use for linear logic? Philip Wadler
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
GEOLIS : A Logical Information System for Geographical Data
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
GEOLIS : A Logical Information System for Geographical Data
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
WHAT DOES IT MEAN TO SAY THAT LOGIC IS FORMAL?
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
Handling Database Updates in Two-dimensional Temporal Logic
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
Language Independence and Language Tolerance in Logic Programs
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
A LOGIC PROGRAMMING APPROACH TO MANIPULATING FORMULAS AND PROGRAMS
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
A LOGIC PROGRAMMING APPROACH TO MANIPULATING FORMULAS AND PROGRAMS
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
Exploiting Logic Program Schemata to Teach Recursive Programming
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
Predicting Protein Folding Kinetics via Temporal Logic Model Checking
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
Error rate and power dissipation in nano-logic devices
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...
Error rate and power dissipation in nano-logic devices
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...
On the Logic of the Ontological Argument Paul E. Oppenheimer
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
Hyper Logic Programs in SILK: Redefining the KR Playing Field
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
Computational Model of Graphenen-Based Logic Gates and Architectures
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 (
Termination and Reduction Checking for Higher-Order Logic Programs
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
Termination and Reduction Checking for HigherOrder Logic Programs
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
Fast Offline Partial Evaluation of Large Logic Programs
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
Economic Modelling using Constraint Logic Programming Nelson Donovan & David Gilbert
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
Logic Programming SS 2013 Solution -Exam 21.08.2013
Á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
Logic Programming SS 2013 Solution -Exam 21.08.2013
Á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
Constraint Orientated Specification with CSP and Real Time Temporal Logic
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
A Statistical Learning Method for Logic Programs with Distribution
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
Description Logics as Ontology Languages for the Semantic Web
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
Characterizing Production Systems using Logic Programming and Situation Calculus
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
MATHEMATICAL MODAL LOGIC: A VIEW OF ITS EVOLUTION
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
Level shift operators for open quantum systems
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.
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
Proton Mass Shift in Muonic Hydrogen Atom
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.
Oak Ridge K-25 Site Technology Logic Diagram. Volume 2, Technology Logic Diagrams
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.
Transformations of Logic Programs on Infinite Lists
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.
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)
Adaptive optics simulation performance improvements using reconfigurable logic
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.
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
Finger length ratio (2D:4D) and sex differences in aggression during a simulated war game
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
Artificial Intelligence 47 (1991) 31-56 31 Logic and artificial intelligence
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
To appear in AI Magazine, Summer 2005. Description Logics and Planning
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
A DSM Cluster Architecture Supporting Aggressive Computation in Active Peter Graham
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
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
The Energy Impact of Aggressive Loop Fusion YongKang Zhu , Grigorios Magklis
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
The Cost of Male Aggression and Polygyny in California Sea Lions (Zalophus californianus)
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
Circuits for high-performance low-power VLSI logic
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 ...
Cell Lineages and the Logic of Proliferative Control
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
The NP-Completeness of Reflected Fragments of Justification Logics
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
Fuzzy logic based operated device identification in power distribution systems
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...
Predicting Protein Folding Kinetics via Temporal Logic Model Checking: Extended
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
NEW IMAGE RETRIEVAL PARADIGM : LOGICAL COMPOSITION OF REGION CATEGORIES
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
The Proof Theory and Semantics of Intuitionistic Modal Logic
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 ...
Electricity pricing for conservation and load shifting
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)
Logic Programming SS 2013 Solution -Exam 16.09.2013
Á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
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...
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
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
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
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
Preliminary Master Logic Diagram for ITER operation
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.
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...
Pendulum Shifts, Context, Error, and Personal Accountability
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.
Shift Invariant Spaces on Lca Groups
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 .
Resonance-shifting luminescent solar concentrators
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.
GreenShift Corporation | Open Energy Information
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
From Documents to Discourse: Shifting Conceptions of Scholarly Publishing
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
VIEWLS Final recommendations report Shift Gear to Biofuels
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
Automated manual transmission shift sequence controller
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.
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
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...
Low delay and area efficient soft error correction in arbitration logic
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.
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.
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...
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...
Logic-Based Decision Support for Strategic Environmental Assessment
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...
Phase-shifting point diffraction interferometer
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.
Phase-shifting point diffraction interferometer
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.
A reconfigurable spintronic device for quantum and classical logic
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.
Noise-based deterministic logic and computing: a brief survey
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.
Using Fuzzy Logic for Automatic Analysis of Astronomical Pipelines
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.
Undecidability and temporal logic: some landmarks from Turing to the present
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
Design and simulation for the fabrication of integrated semiconductor optical logic gates
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 ...
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
John Dewey's theory of inquiry: an interpretation of a classical American approach to logic
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...
LOGIC AND ARTIFICIAL INTELLIGENCE Grad Seminar, Spring '95, 66-6943, 66-4963, 48-6244
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
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...
Tian, Yuan
2013-01-01
Ping Wang. “Programmable spintronics logic device based on aon [58] Kent, Andrew D. “Spintronics: Perpendicular all the
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.
Lengrand, Stéphane
]) for intuitionistic propositional logic was independently developed by Hudelmaier [Hud89,Hud92], and the first author
A new method for testing decision procedures in modal and terminological logics
Sebastiani, Roberto
In the area of automated reasoning in modal and ter minological logics there seems to be very little bibli
Geo-Logical Routing in Wireless Sensor Networks* Dulanjalie C. Dhanapala and Anura P. Jayasumana
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
164 INDUCTIVE LOGIC "Corroboration versus Induction," British Journal for the Philosophy of Science
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
Logic Foundry: Rapid Prototyping of FPGA-based DSP Systems Gary Spivey
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
Logic Foundry: A Rapid Prototyping Tool for FPGA-based DSP Systems Gary Spivey
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
Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard
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
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
Direct Reed-Muller Transform of Digital Logic Netlists Mitchell A. Thornton and Jennifer Dworak
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
POWER AND SIGNAL INTEGRITY IMPROVEMENT IN ULTRA HIGH-SPEED CURRENT MODE LOGIC
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
Prioritizing Default Logic: Abridged Report Gerhard Brewka 1 and Thomas Eiter 2
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
Software Synthesis from Synchronous Specifications Using Logic Simulation Techniques
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
Law, Logic and Language in Legal Computer Science
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
Feature Diagrams and Logics: There and Back Again Krzysztof Czarnecki
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
Optimization and Relaxation in Constraint Logic Languages Kannan Govindarajan
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
Computation of Normal Logic Programs by Fibring Neural Networks
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
Tuning Fuzzy Logic Controllers for Energy Efficiency Consumption in Buildings
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
Clue Deduction: Professor Plum Teaches Logic Todd W. Neller
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
SmartOpt: An Industrial Strength Framework for Logic Synthesis
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
SALT--Structured Assertion Language for Temporal Logic
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
SALT---Structured Assertion Language for Temporal Logic
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
1 Designing Constraint Logic Programming Languages using Computational Systems
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
Compositionality of HennessyMilner Logic through Structural Operational Semantics #
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 [22Milner Logic (HML) [11]. In Stirling [23, 24] the results from [22] are extended, creating proof sys
Compositionality of Hennessy-Milner Logic through Structural Operational Semantics?
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
Compositionality of Hennessy-Milner Logic through Structural Operational Semantics
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
Compositionality of Hennessy-Milner Logic through Structural Operational Semantics
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
Logic and Bayesian Networks Part 3: Knoweledge Compilation
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
Improving ontologies by automatic reasoning and evaluation of logical definitions
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...
Using Temporal Logics to Express Search Control Knowledge for Planning
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
Schema Evolution and Versioning: a Logical and Computational Characterisation
Franconi, Enrico
Schema evolution and versioning problems have been considered in the context of longlived 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
J. LOGIC PROGRAMMING 1989:163-178 163 METAINTERPRETERS FOR
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
A LOGIC PROGRAMMING LANGUAGE WITH LAMBDA-ABSTRACTION, FUNCTION VARIABLES,
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
Complete Representations in Algebraic Logic Robin Hirsch & Ian Hodkinson \\Lambda
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
PSYCHO? LOGICAL? BULLETIN August 1, 2003 Volume 2, No. 8
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
LOGICAL QUERY COMPOSITION FROM LOCAL VISUAL FEATURE THESAURUS
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
Enrollment Logics and Discourse: Toward Professionalizing Higher Education Enrollment Management
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...
Data Integration: A Logic-Based Perspective Diego Calvanese
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
Terminological Logics and Conceptual Graphs: An Historical Perspective?
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
Games in Algebraic Logic Robin Hirsch and Ian Hodkinson
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
Fast Offline Partial Evaluation of Large Logic Programs
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
LOGIC BASED DESIGN OF OPTIMAL RECONFIGURATION STRATEGIES FOR SHIP
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
Coinductive Constraint Logic Programming Neda Saeedloei and Gopal Gupta
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
Optimal Control with Weighted Average Costs and Temporal Logic Specifications
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
Finite-Tree Analysis for Constraint Logic-Based Languages ?
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
Current Trends in Logical Frameworks and Metalanguages David Basin
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
APPLICATION OF INTENSIONAL LOGIC TO KNDWLEDGE REPRESENTATION FSO Prague, Czechoslovakia
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
Electrostatic shape-shifting ion optics
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.
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...
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...
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.
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
) 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
Coherent control of the Goos-Hanchen shift
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....
Ab initio NMR Chemical Shift Calculations for Biomolecular Systems
, 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
SHIFTED JACOBI POLYNOMIALS AND DELANNOY NUMBERS GABOR HETYEI
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
Oak Ridge K-25 Site Technology Logic Diagram
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.
Leveraging Data Lineage to Infer Logical Relationships between Astronomical Catalogs
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...
Oak Ridge K-25 Site Technology Logic Diagram
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.
The frequency crossover for the Goos-Hanchen shift
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.
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.
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.
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.
Set shifting impairments in an outpatient eating disorder sample
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 ...
Geometric phase shift for detection of gravitational radiation
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.
Systemic Change for RTI: Key Shifts for Practice
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...
Biological Water Gas Shift DOE Hydrogen, Fuel Cell, and Infrastructure
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
SHE DOES ME GOOD How Logic Doesn't Let You Down
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
Raman Shift (cm-1 1500 2000 2500 3000 3500
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
Shift: A Massively Parallel Monte Carlo Radiation Transport Package
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.
The Availability of Logical Operation Induced by Dichotomous Noise for a Nonlinear Bistable System
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.
Life-cycle assessment of computational logic produced from 1995 through 2010
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
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
SOFIC TREE-SHIFTS NATHALIE AUBRUN AND MARIE-PIERRE BEAL
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
BioLogical Capital BLC | Open Energy Information
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
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
Noise-based logic hyperspace with the superposition of 2^N states in a single wire
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.
Labial Harmonic Shift in Kazakh: Mapping the Pathways and Motivations for Decay
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
Design of a pneumatically assisted shifting system for Formula SAE® racing applications
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 ...
Oak Ridge K-25 Site Technology Logic Diagram
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.
Building logical qubits in a superconducting quantum computing system
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.
Shifting Power in Sacramento: The Effects of Term Limits on Legislative Staff
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
Fuzzy Logic-Based Determination of Pb-Acid Battery SOC by Impedance Interrogation Methods
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
An Air-Operated Multi-Input Logical "OR" Module* Bogdan Stoyanov, Vlaiko Peichev, Jordan Beyazov
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
In Defense of Logical Minds Selmer Bringsjord, Ron Noel, Elizabeth Bringsjord
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
Chemical Wave Logic Gates Oliver Steinbock, Petteri Kettunen, and Kenneth Showalter*
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
BioCONCUR 2004 Preliminary Version From Logical Regulatory Graphs to Standard
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
From Logical Regulatory Graphs to Standard Petri Nets: Dynamical Roles and Functionality
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
Low Swing Dual Threshold Voltage Domino Logic Volkan Kursun and Eby G. Friedman
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
LowEnergy Adder Design with a SinglePhase SourceCoupled Adiabatic Logic
Papaefthymiou, Marios
that uses a singlephase power clock. SCAL cascades comprise alternating PMOS and NMOStype gates. LowLowEnergy Adder Design with a SinglePhase SourceCoupled Adiabatic Logic Suhwan Kim Marios C. In comparison with corresponding 8bit CLAs in alternative logic styles that operate at minimum supply voltages
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
Transient Analysis and Synthesis of Linear Circuits using Constraint Logic Programming
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
Periodic Communication Logics for the Decentralized Control of Multi-Agent Systems
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
A Logic of Vision Jaap van der Does and Michiel van Lambalgen1
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
A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
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
A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
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
FProlog: A language to Integrate Logic and Functional Programming for Automated Assembly
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
A Logic Programming Language with LambdaAbstraction, Function Variables, and Simple Unification
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
Microfluidic logic gates and timers{ Michael W. Toepke, Vinay V. Abhyankar and David J. Beebe*
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
A LOGICAL INVERTED TAXONOMY OF SORTING ALGORITHMS S.M. Merritt K.K. Lau
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
Chico: An On-Chip Hardware Checker for Pipeline Control Logic
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
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.
CS 375/CS M75 Logic for Computer Science Ulrich Berger
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
CS 375/CS M75 Logic for Computer Science Ulrich Berger
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
Draft Chapter for Handbook on Logic of Normative Title: The Formalization of Practical Reasoning
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
On Termination of Constraint Logic Programs Livio Colussi 1, Elena Marchiori 2, Massimo Marchiori 1
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
ECE 102: Digital Circuit Logic High-school Math/Science
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
1995 International Test Conference, Oct. 23-25, 1995 SYNTHESIS OF MAPPING LOGIC FOR GENERATING
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
Array E -LEAM Digital Interface (54L V s Amelco Logic) PAGE OF
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
Modeling a Reconfigurable System for Computing the FFT in Place via Rewriting-Logic
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
Partial and Nested Recursive Function Definitions in Higher-Order Logic
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
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
Combinations of Modal Logics Brandon Bennett (brandon@scs.leeds.ac.uk)
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
Combinations of Modal Logics Brandon Bennett (brandon@scs.leeds.ac.uk)
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
Observation of the Goos-Haenchen Shift with Neutrons
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.
Nature of the Frequency Shift of Hydrogen Valence Vibrations
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.
Quantum engineering of atomic phase-shifts in optical clocks
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.
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...
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.
System for computer controlled shifting of an automatic transmission
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.
On the Importance of Considering Measurement Errors in a Fuzzy Logic System for Scientific Applications in Nuclear Fusion
Shift-modulation invariant spaces on LCA groups
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.
Method and apparatus for executing a shift in a hybrid transmission
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.
ERGODIC OPTIMIZATION FOR RENEWAL TYPE SHIFTS GODOFREDO IOMMI
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
Level shift operators for open quantum systems Marco Merkli
;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
Social cues shift functional connectivity in the hypothalamus
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
The Coming Market Shift: Business Strategy and Climate Change*
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
Hydrogen Raman shifts in carbon nanotubes from molecular dynamics simulation
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
Stellar Surface Convection, Line Asymmetries, and Wavelength Shifts
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
Lamb shift due to surface plasmon polariton modes
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...
Investigating the ability of various buildings in handling load shiftings
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
Google Energy's Shift into Renewables case 1-429-226
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
Learning of Position-Invariant Object Representation Across Attention Shifts
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
A reconfigurable spintronic device for quantum and classical logic
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...
Parallel transport quantum logic gates with trapped ions
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...
The programmable (logic) controller: Adapting in an environment of change
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?
Controlling of grid connected photovoltaic lighting system with fuzzy logic
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)
Photonic Quantum Logic with Narrowband Light from Single Atoms
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.
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.
Terwilliger, K M
1957-01-01
Suppression of radio frequency knock out in stacked beams by phase shifting the betatron oscillations
Chemical Shifts in X-ray and Photo-Electron Spectroscopy: A Historical review
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
Reversible Logic Synthesis with Minimal Usage of Ancilla Bits
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.
The logic of the future in the Everett-Wheeler understanding of quantum theory
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.
Fuel cell system logic for differentiating between rapid and normal shutdown commands
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.
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
Spatial-heterodyne interferometry for transmission (SHIFT) measurements
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.
Three dimensional imaging detector employing wavelength-shifting optical fibers
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.
Three dimensional imaging detector employing wavelength-shifting optical fibers
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.
Collisional shifts in optical-lattice atom clocks
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.
Chiral perturbation theory of muonic hydrogen Lamb shift: polarizability contribution
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'.
Chiral perturbation theory of muonic hydrogen Lamb shift: polarizability contribution
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'.
The muonic hydrogen Lamb shift and the proton radius
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.
Hybrid powertrain system including smooth shifting automated transmission
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.
Maximizing productivity & profitability through best cost shift schedules
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.
Testing numerical relativity with the shifted gauge wave
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.
Back and Forth Between Guarded and Modal Logics Erich Gradel # Colin Hirsch # Martin Otto +
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
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
Configurable logic : a dynamically programmable cellular architecture and its VLSI implementation
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 ...
A Smart Logic for Conference Room Terminal Box of Single Duct VAV System
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...
InGaAs self-aligned HEMT for logic applications
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 ...
A Logic of Vision Jaap van der Does and Michiel van Lambalgen 1
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
Veri?ed Planning by Deductive Synthesis in Intuitionistic Linear Logic
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 ...
Logic combination and performance across occupational communities: The case of French film directors
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...
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 ...
A Note on the Use of Sum in the Logic of Proofs Roman Kuznets
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
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...
Quantum entanglement and controlled logical gates using coupled SQUID flux qubits
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...
Encoding HTN Planning in Propositional Logic \\Lambda Amol D. Mali and Subbarao Kambhampati
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 852875406 Email: famol.mali
Encoding HTN Planning in Propositional Logic Amol D. Mali and Subbarao Kambhampati
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
Modeling a Reconfigurable System for Computing the FFT in Place via RewritingLogic #
Ayala-Rincón, Mauricio
hardware implementation of the Fast Fourier Transform -- FFT using rewritinglogic. 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
System Reliability: A Case When Fuzzy Logic Enhances Probability Theory's Ability
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
A fuzzy logic based motion controller for a multi-degree-of-freedom robot arm
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...
Detection and removal of functional redundancy in multi-level logic circuits
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...
Computing single step operators of logic programming in radial basis function neural networks
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.
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.
About the logic of the prime number distribution
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.
Monitoring nuclear reactor systems using neural networks and fuzzy logic
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.
Analysis of a duo-selecting membrane reactor for the water-gas shift
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 ...
The Future of TDM: Technology and Demographic Shifts and Their Implications for
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
Low power RF CMOS phase-shifting dual modulus (16/17) prescaler
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...
Hand held phase-shifting diffraction Moire interferometer
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.
PMT signal increase using a wavelength shifting paint
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.
GreenShift Industrial Design Corporation GIDC | Open Energy Information
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
Mississippi Floods - Designing a Shifting Landscape [EDRA / Places Awards, 2001-2002 -- Research
Horwitz, Jamie; Bressi, Todd W
2002-01-01
da Cunha, Mississippi Floods (New Haven: Yale UniversityMississippi Floods: Designing aShifting Landscape “Mississippi Floods” investigates how
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.
Photonic Generation of Millimeter-Wave Signals With Tunable Phase Shift
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
Automated Brain Shift Correction Using A Pre-computed Deformation Atlas
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
Structure based chemical shift prediction using Random Forests non-linear regression
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
A Review of Cold Fronts with Prefrontal Troughs and Wind Shifts DAVID M. SCHULTZ
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
Shifts in ENSO coupling processes under global warming Sjoukje Philip1
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
Mode-shift characteristics and hysteresis property of injection locking in a semiconductor laser
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
Dunkl shift operators and Bannai-Ito polynomials
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...
Security of Power Packet Dispatching Using Differential Chaos Shift Keying
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.
Observational evidence for travelling wave modes bearing distance proportional shifts
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.
Observational evidence for travelling wave modes bearing distance proportional shifts
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.
Dielectric waveguide gas-filled stark shift modulator
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.
Low energy scattering phase shifts for meson-baryon systems
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.
Clock Controller For Ac Self-Timing Analysis Of Logic System
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.
The application of a logic framework for fatigue crack growth analyses to microstructural effects
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.
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
Automated Interpretation of LIBS Spectra using a Fuzzy Logic Inference Engine
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.
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.
Logical operations with single x-ray photons via dynamically-controlled nuclear resonances
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.
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.
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
Chakraborty, Supratik
\\Lambda A. Srivastava \\Lambda N. Vemuri \\Lambda Fujitsu Labs of America IIT Mumbai UC Berkeley methodology that incorporates logiclevel transformations for improving the delay and area of a mapped, block constructs buffer trees during logic optimiza tion/mapping to improve the delay characteristics
On Pipelining Dynamic Instruction Scheduling Logic Jared Stark y Mary D. Brown z Yale N. Patt z
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
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
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
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
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
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
1994-09-01
This volume consists of the Technology Logic Diagrams (TLDs) for the decontamination, robotics/automation, and waste management areas.
The Spectral shift function and the Witten index
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.
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
Decrease in carbonyl sulfide in the feed to Claus converters by shift catalysts
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.
Performance test of wavelength-shifting acrylic plastic Cherenkov detector
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.
Environmental Effects on TPB Wavelength-Shifting Coatings
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.
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
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
Susceptibility and Knight-shift anomalies in cuprate superconductors
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.
A Fuzzy Logic-Based Approach for Node Localization in Mobile Sensor Networks
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...
Dual-Threshold Pass-Transistor Logic Design Lara D. Oliver,
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
Description Logic and Faceted Knowledge Representation School of Library and Information Science
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
Agent-based semantic composition of Web services using distributed description logics
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
LogicPad: A Pen-Based Application for Visualization and Verification of Boolean Algebra
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
Sequent Calculi for Process Verification: Hennessy-Milner Logic for an Arbitrary GSOS
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
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
Universit`a degli Studi di Bologna Computational Logic in Multi-Agent
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
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
Fuzzy Logic-Based State-of-Health Determination of PEM Craig Fennie and David Reisner
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
Logic Analyzer Connectorless Probing Reduces Loading and Footprint Impact on DDR Memory Validation
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
Evaluation of a Business Continuity Plan using Process Algebra and Modal Logic
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
Cooperative self-localization in a multi-robot-no-landmark scenario using fuzzy logic
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...
Fuzzy Logic-Based State-of-Health Determination of Lead Acid Batteries Pritpal Singh
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
NASA/TM-2009-215770 Rewriting Logic Semantics of a Plan
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
CMOS-MEMS Resonator as a Signal Generator for Fully-Adiabatic Logic Circuits
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
A Term Logic for Physically Realizable Models of Information Steven Lindell
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
Dependency Triples for Improving Termination Analysis of Logic Programs with Cut
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
Small is Again Beautiful in Description Logics Franz Baader, Carsten Lutz, Anni-Yasmin Turhan
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
Dynamic Logics of Dynamical Systems ANDR E PLATZER, Carnegie Mellon University
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
A Fully Abstract Semantics for a Firstorder Functional Language with Logic Variables
Jagadeesan, Radha
general, and can be used to give semantics to any constraintbased 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
Enhancing a Genome Database Using the XSB Tabled Logic Programming System
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
ERK2: a logical AND gate critical for drug-induced plasticity? Truncated title
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
Logic for Mechanism Design ---A Manifesto Marc Pauly and Michael Wooldridge
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