Functional Logic Programming Sergio Antoy
Antoy, Sergio
statements. A declarative program is a set of logical statements describing properties of the application with respect to these properties. Thus, the programming effort shifts from encoding the steps for com- putingFunctional Logic Programming Sergio Antoy Portland State University Portland, OR 97207, U
Snow, Alicia Carleen
1995-01-01T23:59:59.000Z
by: Dou as K. Snyd r (Chair of Committee) arga et P. orris (Member) Arthur R ach (Member) Paul Wellman (Head of Department) May 1995 Major Subject: Psychology ABSTRACT Measuring Spouse Aggression. (May 1995) Alicia Carleen Snow, B. S.... , Texas A&M University Chair of Advisory Committee: Dr. Douglas K. Snyder 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...
Aggressive Underwriting and Smart Program Delivery | Department...
Aggressive Underwriting and Smart Program Delivery Aggressive Underwriting and Smart Program Delivery Presents information about loan underwriting funding approaches and...
DOE Continues Aggressive Energy Efficiency Enforcement Effort...
Continues Aggressive Energy Efficiency Enforcement Effort with Nearly 30 New Proposed Penalties DOE Continues Aggressive Energy Efficiency Enforcement Effort with Nearly 30 New...
Parness, Aaron J. (Aaron Joseph), 1981-
2004-01-01T23:59:59.000Z
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 ...
AGGRESSIVE BEHAVIOR Volume 32, pages 581589 (2006)
aggression towards women indicate that both alcohol consumption and porno- graphy1 exposure, particularly of the relationship between porno- graphy and sexual aggression typically have assessed three types of dependent
Shift-register coincidence electronics system for thermal neutron counters
Swansen, J.E.; Collinsworth, P.R.; Krick, M.S.
1980-04-01T23:59:59.000Z
An improved shift-register, coincidence-counting logic circuit, developed for use with thermal neutron well counters, is described in detail. A distinguishing feature of the circuit is its ability to operate usefully at neutron counting rates of several hundred kHz. A portable electronics package incorporating the new coincidence logic and support circuits is also described.
Quantum Logic Gates using q-deformed Oscillators
Debashis Gangopadhyay; Mahendra Nath Sinha Roy
2006-07-14T23:59:59.000Z
We show that the quantum logic gates, {\\it viz.} the single qubit Hadamard and Phase Shift gates, can also be realised using q-deformed angular momentum states constructed via the Jordan-Schwinger mechanism with two q-deformed oscillators. {\\it Keywords :} quantum logic gates ; q-deformed oscillators ; quantum computation {\\it PACS:} 03.67.Lx ; 02.20.Uw
Oxman, Danielle Louise
2001-01-01T23:59:59.000Z
This study explored differences between aggressive-rejected and aggressive-nonrejected children on measures of Athletic Ability (AA) and Physical Attractiveness (PA). A main goal of the study was to explore possible differences within this sample...
Meehan, Barbara Theresa
2000-01-01T23:59:59.000Z
THE RELATION BETWEEN AGGRESSION AND INFLATED SELF-CONCEPTS IN AGGRESSIVE CHILDREN: A REPLICATION STUDY A Thesis BARBARA THERESA MEEHAN Submitted to the Oifice of Graduate Studies of Texas ARM University in partial fulfillment... of the requirements for the degree of MASTER OF SCIENCE May 2000 Major Subject: Psychology THE RELATION BETWEEN AGGRESSION AND INFLATED SELF-CONCEPTS IN AGGRESSIVE CHILDREN: A REPLICATION STUDY A Thesis BARBARA THERESA MEEHAN Submitted to Texas AdtM University...
Fuzzy logic controller optimization
Sepe, Jr., Raymond B; Miller, John Michael
2004-03-23T23:59:59.000Z
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.
A restructurable logic simulator
Ledford, Gordon Lee
1985-01-01T23:59:59.000Z
, notably logic simulators. This paper reviews the event-driven simulation algorithm used by most software- based simulators and a handful of the existing special-purpose hardware-based logic simulation accelerators. A new hardware-based accelerator... architecture is then presented, that of the restructurab)e logic simulator. This accelerator is based on a, memory-like module. referred to as the restructurable logic simulation accelerator, that essentially "stores" a portion of the network to be simulated...
Passive Housing for an Aggressive Region | Department of Energy
Broader source: Energy.gov (indexed) [DOE]
Passive Housing for an Aggressive Region Passive Housing for an Aggressive Region July 17, 2012 - 1:59pm Addthis Lynn Meyer Presidential Management Fellow, Office of Energy...
Aggressive children's memory for attachment relevant information
Collie, Claire Futamase
2004-09-30T23:59:59.000Z
This study examined a measure of children's memory for information from a story about a hypothetical mother and child, the Story Task, as a potential tool to delineate subtypes of aggressive children based on the pattern of information processing...
Carbone, Marco; Hildebrandt, Thomas T; López, Hugo A; 10.4204/EPTCS.69.3
2011-01-01T23:59:59.000Z
We explore logical reasoning for the global calculus, a coordination model based on the notion of choreography, with the aim to provide a methodology for specification and verification of structured communications. Starting with an extension of Hennessy-Milner logic, we present the global logic (GL), a modal logic describing possible interactions among participants in a choreography. We illustrate its use by giving examples of properties on service specifications. Finally, we show that, despite GL is undecidable, there is a significant decidable fragment which we provide with a sound and complete proof system for checking validity of formulae.
Extended Computation Tree Logic
Axelsson, Roland; Kreutzer, Stephan; Lange, Martin; Latte, Markus
2010-01-01T23:59:59.000Z
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may determine the moments along a path that an until property may be fulfilled. We consider several classes of languages leading to logics with different expressive power and complexity, whose importance is motivated by their use in model checking, synthesis, abstract interpretation, etc. We show that even with context-free languages on the until operator the logic still allows for polynomial time model-checking despite the significant increase in expressive power. This makes the logic a promising candidate for applications in verification. In addition, we analyse the complexity of satisfiability and compare the expressive power of these logics to CTL* and extensions of PDL.
Bozzelli, Laura; French, Tim; Hales, James; Pinchinat, Sophie
2012-01-01T23:59:59.000Z
In this paper we present refinement modal logic. A refinement is like a bisimulation, except that from the three relational requirements only 'atoms' and 'back' need to be satisfied. Our logic contains a new operator 'forall' in additional to the standard modalities 'Box' for each agent. The operator 'forall' acts as a quantifier over the set of all refinements of a given model. We call it the refinement operator. As a variation on a bisimulation quantifier, it can be seen as a refinement quantifier over a variable not occurring in the formula bound by the operator. The logic combines the simplicity of multi-agent modal logic with some powers of monadic second order quantification. We present a sound and complete axiomatization of multiagent refinement modal logic. We also present an extension of the logic to the modal mu-calculus, and an axiomatization for the single-agent version of this logic. Examples and applications are also discussed: to software verification and design (the set of agents can also be s...
A Dynamic Hobbesian Approach to Aggression and Self-Regulation
Geldhof, Gordon John
2008-06-18T23:59:59.000Z
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...
Subtypes of aggressive children based on parent ratings
Rodman, Jennifer K
2013-02-22T23:59:59.000Z
The existence of subtypes of aggressive children based on their parents' ratings of their aggressive behavior was examined in this study. The subjects' raw scores from the Child Behavior Checklist (Achenbach & Edelbrock, 1991) were used to perform a...
1 A LOGIC FOR PROGRAMMING DATABASE TRANSACTIONS
Bonner, Anthony
propose an extension of classical predicate calculus, called Transaction Logic, which provides a logical updates. Fi nally, Transaction Logic holds promise as a logical model of hitherto nonlogical phenomena Transaction Logic, including a natural model theory; (ii) we show that this logic has a ``Horn'' fragment
Characterising equilibrium logic and nested logic programs: Reductions and complexity
Pearce, David; Woltran, Stefan
2009-01-01T23:59:59.000Z
Equilibrium logic is an approach to nonmonotonic reasoning that extends the stable-model and answer-set semantics for logic programs. In particular, it includes the general case of nested logic programs, where arbitrary Boolean combinations are permitted in heads and bodies of rules, as special kinds of theories. In this paper, we present polynomial reductions of the main reasoning tasks associated with equilibrium logic and nested logic programs into quantified propositional logic, an extension of classical propositional logic where quantifications over atomic formulas are permitted. We provide reductions not only for decision problems, but also for the central semantical concepts of equilibrium logic and nested logic programs. In particular, our encodings map a given decision problem into some formula such that the latter is valid precisely in case the former holds. The basic tasks we deal with here are the consistency problem, brave reasoning, and skeptical reasoning. Additionally, we also provide encoding...
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-04T23:59:59.000Z
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.
Giordano, Paolo
2009-01-01T23:59:59.000Z
We introduce the ring of Fermat reals, an extension of the real field containing nilpotent infinitesimals. The construction takes inspiration from Smooth Infinitesimal Analysis (SIA), but provides a powerful theory of actual infinitesimals without any need of a background in mathematical logic. In particular, on the contrary with respect to SIA, which admits models only in intuitionistic logic, the theory of Fermat reals is consistent with classical logic. We face the problem to decide if the product of powers of nilpotent infinitesimals is zero or not, the identity principle for polynomials, the definition and properties of the total order relation. The construction is highly constructive, and every Fermat real admits a clear and order preserving geometrical representation. Using nilpotent infinitesimals, every smooth functions becomes a polynomial because in Taylor's formulas the rest is now zero. Finally, we present several applications to informal classical calculations used in Physics: now all these calc...
Gschwind, Michael K
2013-07-23T23:59:59.000Z
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.
A Framework for Defining Logics
Plotkin, Gordon; Honsell, Furio; Harper, Robert
1993-01-01T23:59:59.000Z
The Edinburgh Logical Framework (LF) provides a means to define (or present) logics. It is based on a general treatment of syntax, rules, and proofs by means of a typed ?-calculus with dependent types. Syntax is treated ...
Computability and Logic Selmer Bringsjord
Bringsjord, Selmer
as intermediate mathematical logic (IML). IML includes basic computability theory (Turing Machines and other/Readings o Computability & Logic (CL), Boolos and Jeffrey (3rd ed.) o Turing's World 3.0 (TW), Barwise
From Logical to Distributional Models
Anne Preller
2014-12-30T23:59:59.000Z
The paper relates two variants of semantic models for natural language, logical functional models and compositional distributional vector space models, by transferring the logic and reasoning from the logical to the distributional models. The geometrical operations of quantum logic are reformulated as algebraic operations on vectors. A map from functional models to vector space models makes it possible to compare the meaning of sentences word by word.
Manual transmission shift linkage
Sewell, J.S.
1991-10-01T23:59:59.000Z
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.
1 A LOGIC FOR PROGRAMMING DATABASE TRANSACTIONS
Bonner, Anthony
propose an extension of classical predicate calculus, called Transaction Logic, which provides a logical updates. Fi- nally, Transaction Logic holds promise as a logical model of hitherto non-logical phenomena a natural model theory; ii we show that this logic has a Horn" fragment, with both a procedural
Logic Programming, Abduction and Probability
Poole, David
Logic Programming, Abduction and Probability: a top-down anytime algorithm for estimating prior, Vancouver, B.C., Canada V6T 1Z2 poole@cs.ubc.ca March 17, 1993 Abstract Probabilistic Horn abduction logically. The relationship be- tween probabilistic Horn abduction and logic programming is at two levels
Seeking Explanations: Abduction in Logic,
ten Cate, Balder
Seeking Explanations: Abduction in Logic, Philosophy of Science and Artifical Intelligence Atocha AlisedaÂLLera #12; Seeking Explanations: Abduction in Logic, Philosophy of Science and ArtificalÂmail: illc@wins.uva.nl #12; SEEKING EXPLANATIONS: ABDUCTION IN LOGIC, PHILOSOPHY OF SCIENCE AND ARTIFICIAL
Logical Foundations Semantic Web
Sattler, Ulrike
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
LOGICAL SPREADSHEETS A DISSERTATION
Pratt, Vaughan
LOGICAL SPREADSHEETS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE.0/us/ This dissertation is online at: http://purl.stanford.edu/gt527cs1860 © 2011 by Michael Adam;I certify that I have read this dissertation and that, in my opinion, it is fully adequate in scope
Analysis of complex networks using aggressive abstraction.
Colbaugh, Richard; Glass, Kristin. [New Mexico Institute of Mining and Technology, Socorro, NM; Willard, Gerald [Department of Defense, Ft. Meade, MD
2008-10-01T23:59:59.000Z
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.
aggressive lipid lowering: Topics by E-print Network
Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)
Beecher, Michael 246 Steroid hormones and aggression in female Galapagos marine iguanas Dustin R. Rubensteina,*, Martin Wikelskib Environmental Sciences and Ecology Websites...
Paolo Giordano
2009-09-22T23:59:59.000Z
We introduce the ring of Fermat reals, an extension of the real field containing nilpotent infinitesimals. The construction takes inspiration from Smooth Infinitesimal Analysis (SIA), but provides a powerful theory of actual infinitesimals without any need of a background in mathematical logic. In particular, on the contrary with respect to SIA, which admits models only in intuitionistic logic, the theory of Fermat reals is consistent with classical logic. We face the problem to decide if the product of powers of nilpotent infinitesimals is zero or not, the identity principle for polynomials, the definition and properties of the total order relation. The construction is highly constructive, and every Fermat real admits a clear and order preserving geometrical representation. Using nilpotent infinitesimals, every smooth functions becomes a polynomial because in Taylor's formulas the rest is now zero. Finally, we present several applications to informal classical calculations used in Physics: now all these calculations become rigorous and, at the same time, formally equal to the informal ones. In particular, an interesting rigorous deduction of the wave equation is given, that clarifies how to formalize the approximations tied with Hook's law using this language of nilpotent infinitesimals.
Hoare Logic for Quantum Programs
Mingsheng Ying
2009-06-25T23:59:59.000Z
Hoare logic is a foundation of axiomatic semantics of classical programs and it provides effective proof techniques for reasoning about correctness of classical programs. To offer similar techniques for quantum program verification and to build a logical foundation of programming methodology for quantum computers, we develop a full-fledged Hoare logic for both partial and total correctness of quantum programs. It is proved that this logic is (relatively) complete by exploiting the power of weakest preconditions and weakest liberal preconditions for quantum programs.
Computability and Logic Selmer Bringsjord
Bringsjord, Selmer
logic (IML). IML includes basic computability theory (Turing Machines and other simple automata. computability (including Turing machines, Register machines, Church's Thesis); 9. uncomput
Flexible programmable logic module
Robertson, Perry J. (Albuquerque, NM); Hutchinson, Robert L. (Albuquerque, NM); Pierson, Lyndon G. (Albuquerque, NM)
2001-01-01T23:59:59.000Z
The circuit module of this invention is a VME board containing a plurality of programmable logic devices (PLDs), a controlled impedance clock tree, and interconnecting buses. The PLDs are arranged to permit systolic processing of a problem by offering wide data buses and a plurality of processing nodes. The board contains a clock reference and clock distribution tree that can drive each of the PLDs with two critically timed clock references. External clock references can be used to drive additional circuit modules all operating from the same synchronous clock reference.
Abductive Analysis of Modular Logic Programs
Giacobazzi, Roberto
Abductive Analysis of Modular Logic Programs Roberto Giacobazzi LIX, Laboratoire d introduce a practical method for abductive analysis of modular logic programs. This is obtained of abductive reasoning in dataflow analysis of logic programs. 1 Introduction Dataflow analysis
Homogeneous cosmology with aggressively expanding civilizations
S. Jay Olson
2014-11-17T23:59:59.000Z
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.
A Uniform Logic of Information Dynamics
Holliday, Wesley Halcrow; Hoshi, Tomohiro; Icard, Thomas Frederick III
2012-01-01T23:59:59.000Z
2003), pp. 145–158. [16] Buss, S. R. , The Modal Logic ofstudied. Other examples include Buss’s [16] modal logic of “
Nemoto, S.
1989-03-07T23:59:59.000Z
A key-shift transmission is described, characterized by the speed-change shaft being divided into a pair of trough-shaped shaft halves each having an arched inner surface which defines a part of a cylindrical bore extending axially through the speed-change shaft thereby the shaft being formed into a hollow shaft, and by each of the shaft halves including a pair of flattened end surfaces which extend axially of each shaft half at both sides of the inner surface, one of the end surfaces having thereon an axially elongated projection and the other of the end surfaces having herein an axially elongated recess of a depth smaller than the height of the projection. The pair of shaft halves are engaged to each other co-rotatably by fitting the projections of the respective shaft halves into the recesses of the respective shaft halves so as to form in an outer surface of the speed-change shaft a pair of elongated axial grooves which are located radially outwardly of the elongated projections of the respective shaft halves and between the flattened end surfaces of the respective shaft halves. A pair of the shift keys are disposed within the pair of elongated axial grooves.
Concurrency and Communication in Transaction Logic
Bonner, Anthony
extends Transaction Logic with connectives for modeling the concurrent execution of complex processes logical framework, including a natural model theory and a proof theory. Moreover, this framework T R), an extension of firstorder classical logic that provides a clean, logical account for state
Concurrency and Communication in Transaction Logic
Bonner, Anthony
Logic with connectives for modeling the concurrent execution of complex processes. Concurrent processes. To llthistheoretical gap, wedeveloped Transaction Logic or T R, an extension of rst-order classical logic that provides and rollback. All this is accomplished in a completely logical framework, including a natural model theory
The Logic of Interrogation Classical Version \\Lambda
Amsterdam, University of
the allegation that it leaves important aspects of meaning unaccounted for. He argued that standard logic
Logic in Computer Science Thierry Coquand
Coquand, Thierry
Logic in Computer Science Thierry Coquand Nov. 9, 2007 #12;Logic in Computer Science Mathematical in foundations Logic plays a special role in computer science: it has been called "the calculus of computer science" Logic plays a similar role in computer science to that played by calculus in the physical
Proof and Definition in Logic and Type Theory Proof and Definition in Logic and Type Theory
Adams, Robin
Proof and Definition in Logic and Type Theory Proof and Definition in Logic and Type Theory Robin questions. #12;Proof and Definition in Logic and Type Theory Definition and Proof Definition and proof -- but they are not in predicate logic or type theory. #12;Proof and Definition in Logic and Type Theory Methods of Definition
Computability and Logic Selmer Bringsjord
Bringsjord, Selmer
mathematical logic (IML). IML includes basic computability theory (Turing Machines and other simple automata Turing's World 3.0 (TW), Barwise & Etchemendy ffl Some papers of mine, to be announced and made available
Logical Full Abstraction and PCF
Longley, John R; Plotkin, Gordon
2000-01-01T23:59:59.000Z
We introduce the concept of logical full abstraction, generalising the usual equational notion. We consider the language PCF and two extensions with “parallel” operations. The main result is that, for standard ...
Fuzzy logic of Aristotelian forms
Perlovsky, L.I. [Nichols Research Corp., Lexington, MA (United States)
1996-12-31T23:59:59.000Z
Model-based approaches to pattern recognition and machine vision have been proposed to overcome the exorbitant training requirements of earlier computational paradigms. However, uncertainties in data were found to lead to a combinatorial explosion of the computational complexity. This issue is related here to the roles of a priori knowledge vs. adaptive learning. What is the a-priori knowledge representation that supports learning? I introduce Modeling Field Theory (MFT), a model-based neural network whose adaptive learning is based on a priori models. These models combine deterministic, fuzzy, and statistical aspects to account for a priori knowledge, its fuzzy nature, and data uncertainties. In the process of learning, a priori fuzzy concepts converge to crisp or probabilistic concepts. The MFT is a convergent dynamical system of only linear computational complexity. Fuzzy logic turns out to be essential for reducing the combinatorial complexity to linear one. I will discuss the relationship of the new computational paradigm to two theories due to Aristotle: theory of Forms and logic. While theory of Forms argued that the mind cannot be based on ready-made a priori concepts, Aristotelian logic operated with just such concepts. I discuss an interpretation of MFT suggesting that its fuzzy logic, combining a-priority and adaptivity, implements Aristotelian theory of Forms (theory of mind). Thus, 2300 years after Aristotle, a logic is developed suitable for his theory of mind.
Effects of adaptation to shock on shock-elicited aggression
Buchanan, Thomas Andrew
1971-01-01T23:59:59.000Z
EFFECTS OF ADAPTATION TO SHOCK ON SHOCK-ELICITED AGGRESSION A THESIS THONAS ANDREW BUCHANAN Submitted to the Graduate College of Texas ASM University in partial fulfillment of the requirement for the degree of MASTER OF SCIENCE August 1971... Major Subject: Psychology 0 R 0 R EFFECTS OF ADAPTATION TO SHOCK ON SHOCK-ELICITED AGGRESSION fbi a z H o 0 g CC W z C 5 a N A Thesis by THO. 'LAS ANDREN BUCHANAN Approved as to style and content by: airman oz Comm ~ t ) ( Hea f D...
Toggling operators in computability logic
Japaridze, Giorgi
2009-01-01T23:59:59.000Z
Computability logic (CL) (see http://www.cis.upenn.edu/~giorgi/cl.html) is a research program for redeveloping logic as a formal theory of computability, as opposed to the formal theory of truth which it has more traditionally been. Formulas in CL stand for interactive computational problems, seen as games between a machine and its environment; logical operators represent operations on such entities; and "truth" is understood as existence of an effective solution. The formalism of CL is open-ended, and may undergo series of extensions as the studies of the subject advance. So far three -- parallel, sequential and choice -- sorts of conjunction and disjunction have been studied. The present paper adds one more natural kind to this collection, termed toggling. The toggling operations can be characterized as lenient versions of choice operations where choices are retractable, being allowed to be reconsidered any finite number of times. This way, they model trial-and-error style decision steps in interactive comp...
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
Photonic integrated circuits for optical logic applications
Williams, Ryan Daniel
2007-01-01T23:59:59.000Z
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 ...
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-01T23:59:59.000Z
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...
Aggressive Test Power Reduction Through Test Stimuli Transformation
Orailoglu, Alex
. Based on this analysis, we develop algorithms for transforming a set of test vectors into power- optimal that are capable of identifying the transformation that is optimal in terms of power and implementing it at minimalAggressive Test Power Reduction Through Test Stimuli Transformation Â£ Ozgur Sinanoglu and Alex
aggressive brain tumor: Topics by E-print Network
Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)
aggressive brain tumor First Page Previous Page 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 Next Page Last Page Topic Index 1 Brain oxytocin correlates with...
Reducing Strong Equivalence of Logic Programs to Entailment in Classical Propositional Logic
Wu, Dekai
Reducing Strong Equivalence of Logic Programs to Entailment in Classical Propositional Logic ] introduced a notion of strong equivalence beÂ tween two logic programs, and showed that it can be captured theories that reduces this notion of strong equivalence to enÂ tailment in classical propositional logic
Annual Report 2004 Institute for Logic,
ten Cate, Balder
and Awards Appendix 4 DIP Colloquium Appendix 5 The Logic Tea Appendix 6 The Colloquium on Mathemathical
Automated Information Management via Abductive Logic Agents
Toni, Francesca
Automated Information Management via Abductive Logic Agents F.Toni 1 Imperial College of Science representation of networks and meta-data via abductive logic programs and make use of the reasoning engine abductive logic pro- grams are equipped with for checking as well as enforcing the properties represented
Logic Programming, Abduction and Probability David Poole
Poole, David
Logic Programming, Abduction and Probability David Poole Department of Computer Science, University 5485 Abstract Probabilistic Horn abduction is a simple frameÂ work to combine probabilistic and logical abduction and logic proÂ gramming is at two levels. At the first level probabilistic Horn abduction
Algebraic valuations as behavioral logical matrices
Lisboa, Universidade Técnica de
Algebraic valuations as behavioral logical matrices Carlos Caleiro1 and Ricardo Gon¸calves1,2 1 the applicability of the methods of algebraic logic to a wider range of logical systems, namely encompassing many and set the ground towards adopting an algebraic formulation of valuation semantics as the natural
TERMINATION OF SIMPLY MODED WELLTYPED LOGIC PROGRAMS
Giesl, Juergen
TERMINATION OF SIMPLY MODED WELLÂTYPED LOGIC PROGRAMS UNDER TABLED EXECUTION MECHANISM Sofie mechanism for logic programs. In particular, tabled execution of logic programs terminates more often than execution based on SLDÂresolution. So, if a program can be proven to terminate under SLDÂresolution (by one
Evaluation of Consistent Logical Checkpointing
Kaul, Surbhi
1995-01-01T23:59:59.000Z
is cliscussed in more cletail in the next chapter lvhich pr smlts tht val'iations of the consist( nt logical ?heckpointing scheme. Applicatiuu '('('Itl& L's(&r Cu Illnunication The next set of experime!its !s pet fol meri uitli aii application lvith a...
Generic physical protection logic trees
Paulus, W.K.
1981-10-01T23:59:59.000Z
Generic physical protection logic trees, designed for application to nuclear facilities and materials, are presented together with a method of qualitative evaluation of the trees for design and analysis of physical protection systems. One or more defense zones are defined where adversaries interact with the physical protection system. Logic trees that are needed to describe the possible scenarios within a defense zone are selected. Elements of a postulated or existing physical protection system are tagged to the primary events of the logic tree. The likelihood of adversary success in overcoming these elements is evaluated on a binary, yes/no basis. The effect of these evaluations is propagated through the logic of each tree to determine whether the adversary is likely to accomplish the end event of the tree. The physical protection system must be highly likely to overcome the adversary before he accomplishes his objective. The evaluation must be conducted for all significant states of the site. Deficiencies uncovered become inputs to redesign and further analysis, closing the loop on the design/analysis cycle.
Psycho? Logical? Bulletin! October 2007
Psycho? Logical? Bulletin! October 2007 In This Issue Soda Machine Update (pg. 2) Faculty Senate Report (pg. 5) Invasion of the (sleeping) Pod People (pg. 10) Et Cetera #12;The Graduate Coke Team would like to announce... New Flavors for the Coke Machine Coca-Cola Classic Diet Coke Diet Cherry Coke
Genome Analyses of an Aggressive and Invasive Lineage of the Irish Potato Famine Pathogen
Grünwald, Niklaus J.
Genome Analyses of an Aggressive and Invasive Lineage of the Irish Potato Famine Pathogen David E since the 19th century Irish famine, potato late blight has exemplified this threat. The causal oomycete lineage are among the most aggressive on cultivated potatoes, outcompete other aggressive lineages
Spectral shift reactor control method
Impink, A.J. Jr.
1987-12-29T23:59:59.000Z
This patent describes the method of operating a pressurized-water fissile-material-fueled spectral-shift nuclear reactor in such manner that short-term reactivity requirement variations can be satisfied without making control rod or chemical shim changes. The reactor includes a pressure vessel enclosing a reactor core and having an inlet and an outlet for circulating a water coolant moderator in heat transfer relationship with the core. The core comprises fuel assemblies disposed therein for generating heat by nuclear fission. The reactor provided with neutron-absorbing control rods which are vertically movable into and out of the core so that movement of the control rods into the core will substantially decrease reactivity and withdrawal of the control rods from the core will substantially increase reactivity. The control rods when inserted into the core displace an equivalent volume of the water coolant moderator. The reactor also provides neutron-spectral-shift rods which have a lower absorptivity for neutrons than the control rods, the neutron-spectral shift rods when inserted into the core displacing an equaivalent volume of the water coolant moderator. The neutron-spectral-shift rods comprises two different types of rods, a first of the different types of the neutron-spectral-shift rods comprising displacer rods which have a low absorptivity for neutrons, the remainder of the neutron-spectral-shift rods comprising gray rods which have an absorption for neutrons which is intermediate the neutron absorption of the control rods and the low neutron absorption of the displacer rods. Each neutron-spectral-shift displacer rod comprises a hollow thin-walled Zircaloy member containing a filling of solid or annular zirconium- or aluminum-containing material for providing internal support and mass for the thin-walled tubular member.
An experimental investigation of the relationship between crowding and aggression
Franzen, William Everett
1972-01-01T23:59:59.000Z
also increased. Marsden (personal communication) has essentially replicated Calhoun's (1962) findings. He used BALB/c laboratory mice in an environment similar to Calhoun's consisting of 16 cells, with each cell consisting of 640 square inches.... The former was interpreted as partial support for the hypothesis that crowding leads to an increase in level of aggression in males, ACKNOWLEDGEMENTS The author would like to extend his appreciation and thanks to the many people without whose aid, advice...
Integrated reformer and shift reactor
Bentley, Jeffrey M.; Clawson, Lawrence G.; Mitchell, William L.; Dorson, Matthew H.
2006-06-27T23:59:59.000Z
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.
Shifting Standards: Experiments in Particle
Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level:Energy: Grid Integration Redefining What'sis Taking Over Our Instagram Secretary Moniz9 SeptemberSetting theSheldon Datz,Shift End Shift
Electronic logic for enhanced switch reliability
Cooper, J.A.
1984-01-20T23:59:59.000Z
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.
Adding NegationasFailure to Intuitionistic Logic Programming
Bonner, Anthony
@cs.rutgers.edu Abstract Intuitionistic logic programming is an extension of Hornclause logic pro gramming in which then develop an analogue of Przymusinski's perfect model semantics for stratified Hornclause logic [20 Intuitionistic logic programming is an extension of Hornclause logic pro gramming in which implications may
Database Programming in Transaction Logic Anthony J. Bonner \\Lambda
Bonner, Anthony
--- an extension of classical predicate logic that accounts in a clean and declarative fashion for the phenomenon of state changes in logic programs and databases. It has a natural model theory and a sound and complete. Finally, Transaction Logic holds promise as a logical model of hitherto nonlogical phenomena, including
Ground Nonmonotonic Modal Logic S5: New Results
Navarro Pérez, Juan
Ground Nonmonotonic Modal Logic S5: New Results MAURICIO OSORIO GALINDO, JUAN ANTONIO NAVARRO P Gelfond's translation in the context of modal logic S5. We show that for arbitrary logic programs logics between T and S5 are equivalent. Furthermore, we also show that these logics are equivalent
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
Local Trip Out Logic Board Out
Evans, Hal
Board to Logic Board Cables ethernet style cables 1 per comparator board run these USA15toUX15 (~100m
Sandia National Laboratories: manufacturing plant factory logic...
Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)
plant factory logic model Sandia Participated in AMII to Support American-Made Wind-Turbine Blades On December 3, 2014, in Computational Modeling & Simulation, Energy, Materials...
adaptive logic networks: Topics by E-print Network
Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)
Jinbo 7 Ampliative Adaptive Logics and the Foundation of Logic-Based Approaches to Abduction CiteSeer Summary: In this paper, we propose a reconstruction of logic-based...
Micro-mechanical logic for field produceable gate arrays
Prakash, Manu
2005-01-01T23:59:59.000Z
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 ...
Rapidly reconfigurable all-optical universal logic gate
Goddard, Lynford L. (Hayward, CA); Bond, Tiziana C. (Livermore, CA); Kallman, Jeffrey S. (Pleasanton, CA)
2010-09-07T23:59:59.000Z
A new reconfigurable cascadable all-optical on-chip device is presented. The gate operates by combining the Vernier effect with a novel effect, the gain-index lever, to help shift the dominant lasing mode from a mode where the laser light is output at one facet to a mode where it is output at the other facet. Since the laser remains above threshold, the speed of the gate for logic operations as well as for reprogramming the function of the gate is primarily limited to the small signal optical modulation speed of the laser, which can be on the order of up to about tens of GHz. The gate can be rapidly and repeatedly reprogrammed to perform any of the basic digital logic operations by using an appropriate analog optical or electrical signal at the gate selection port. Other all-optical functionality includes wavelength conversion, signal duplication, threshold switching, analog to digital conversion, digital to analog conversion, signal routing, and environment sensing. Since each gate can perform different operations, the functionality of such a cascaded circuit grows exponentially.
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
Abduction, Argumentation and Bidisjunctive Logic Programs *
Dix, Juergen
Abduction, Argumentation and BiÂdisjunctive Logic Programs * Kewen Wang Department of Computer of DLP is called biÂdisjunctive logic programming (BDLP) and the corresponding abductive semantics thus provides a unifying characterization for these two different semantics through abduction); also
Abduction in Logic Programming Marc Denecker1
Moraitis, Pavlos
Abduction in Logic Programming Marc Denecker1 and Antonis Kakas2 1 Department of Computer Science@ucy.ac.cy http://www.cs.ucy.ac.cy/~antonis Abstract. Abduction in Logic Programming started in the late 80s Introduction Over the last two decades, abduction has been embraced in AI as a non-monotonic reasoning paradigm
Abductive Analysis of Modular Logic Programs
Giacobazzi, Roberto
Abductive Analysis of Modular Logic Programs Roberto Giacobazzi LIX, Laboratoire d introduce a practical method for abductive analysis of modular logic programs. This is obtained by reversing and in compileÂtime optimization. To the best of our knowledge this is the first application of abductive
A Rough Logic Formalism for Fuzzy Controllers
Lin, Tsau Young
logic. 1. Introduction In complex systems, such as power systems, control subsystems are the most of transformations of mathematical models. It starts with a symbolic model that describes the control system in termsA Rough Logic Formalism for Fuzzy Controllers: A Hard and Soft Computing View T.Y. Lin Department
Logic with Probabilistic Operators Natasha Alechina
Amsterdam, University of
.f.f. The first logic which we consider is called PPL: Parametrized Probabilistic Logic. In a PPLÂmodel every on a possible world. We shall see that in PPL P 1 is a KDÂmodality. Definition 1 A model for PPL is M =! W;D; I
Technical Report 68 1992 Computational Logic Inc.
Boyer, Robert Stephen
of asynchronous communication as a function in the BoyerMoore logic. The function transforms the signal stream; the proofs of the claims have been mechanically checked with the BoyerMoore theorem prover, NQTHM. We verification, clock synchronization, Manchester format, FM format, automatic theorem proving, BoyerMoore logic
Bibliography on Logical Frameworks Frank Pfenning
Pfenning, Frank
is a formal meta-language for deductive systems. The pri* *mary tasks sup- ported in logical frameworks, New Jersey, Jul* *y 1996. IEEE Computer Society Press. [7]Penny Anderson. Program Derivation as Technical Report CMU-CS-93-206. [8]Penny Anderson. Program extraction in a logical framework setting
Introduction to AECs AECs and Infinitary Logics
Kueker, David W.
AECs and Infinitary Logics Proofs Definition and Examples Some Model Theory of AECs Introduction S to AECs AECs and Infinitary Logics Proofs Definition and Examples Some Model Theory of AECs AEC Axioms Definition and Examples Some Model Theory of AECs AEC Axioms Definition (Shelah) An Abstract Elementary Class
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-17T23:59:59.000Z
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.
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
Managing Complex Environmental Remediation amidst Aggressive Facility Revitalization Milestones
Richter Pack, S. [PMP Science Applications International Corporation, Oak Ridge, TN (United States)
2008-07-01T23:59:59.000Z
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)
Named Models in Coalgebraic Hybrid Logic
Schroeder, Lutz
2010-01-01T23:59:59.000Z
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic semantics, where Kripke frames are replaced with coalgebras for a given functor, thus covering a wide range of reasoning principles including, e.g., probabilistic, graded, default, or coalitional operators. Specifically, we establish generic criteria for a given coalgebraic hybrid logic to admit named canonical models, with ensuing completeness proofs for pure extensions on the one hand, and for an extended hybrid language with local binding on the other. We instantiate our framework with a number of examples. Notably, we prove completeness of graded hybrid logic with local binding.
SVN commits: code Ss-shifted architecture
SVN commits: code Ss-shifted architecture hit_filter can run between merger and fitter Most merge Supports SS-1/2 shifted architecture Supports bank extensions *.patt.bz2 etc Used on the grid
Light-shift modulated photon-echo
Chanelière, Thierry
2015-01-01T23:59:59.000Z
We show that the AC-Stark shift (light-shift) is a powerful and versatile tool to control the emission of a photon-echo in the context of optical storage. As a proof-of-principle, we demonstrate that the photon-echo efficiency can be fully modulated by applying light-shift control pulses in an erbium doped solid. The control of the echo emission is attributed to the spatial gradient induced by the light-shift beam.
Light-shift modulated photon-echo
Thierry Chanelière; Gabriel Hétet
2015-02-24T23:59:59.000Z
We show that the AC-Stark shift (light-shift) is a powerful and versatile tool to control the emission of a photon-echo in the context of optical storage. As a proof-of-principle, we demonstrate that the photon-echo efficiency can be fully modulated by applying light-shift control pulses in an erbium doped solid. The control of the echo emission is attributed to the spatial gradient induced by the light-shift beam.
Patten, Thomas Gerald
1977-01-01T23:59:59.000Z
in the part played by situational cues and modeling effects in aggression (Harris, 1973) there developed questions about the interactions between aggressive events and the observers of those events. Berkowitz and Alioto (1973) demonstrated that an observer... the un- accounted for variances of a full model equation and a restricted model equation (Naditch, Gargan & Michael, 1975). Three variables, attri- bution made by the victim to himself, attribution made by the victim to the aggressor, and attribution...
Accurate conjugate gradient methods for shifted systems
Sleijpen, Gerard
Accurate conjugate gradient methods for shifted systems by Jasper van den Eshof and Gerard L. G CONJUGATE GRADIENT METHODS FOR SHIFTED SYSTEMS JASPER VAN DEN ESHOF AND GERARD L. G. SLEIJPEN Abstract We present an efficient and accurate variant of the conjugate gradient method for solving families of shifted
Buckel, Jeffrey A.
Available online at www.sciencedirect.com Intraspecific aggression and colony fusion and introduced populations have been examined to elucidate the origins and maintenance of unicoloniality levels of intraspecific aggression, we deter- mined that pairs that did not fuse had higher numbers
Duty-Cycling Buildings Aggressively: The Next Frontier in HVAC Control
Simunic, Tajana
Duty-Cycling Buildings Aggressively: The Next Frontier in HVAC Control Yuvraj Agarwal, Bharathan the dominant energy consumer is the HVAC system. Despite this fact, in most buildings the HVAC system is run sensing to guide the operation of a building HVAC system. We show how we can enable aggressive duty
Bayesian Abductive Logic Programs Sindhu Raghavan and Raymond Mooney
Anderson, Richard
Bayesian Abductive Logic Programs Sindhu Raghavan and Raymond Mooney Department of Computer Science,mooney}@cs.utexas.edu Abstract In this paper, we introduce Bayesian Abductive Logic Programs (BALPs), a new formalism that integrates Bayesian Logic Programs (BLPs) and Abductive Logic Programming (ALP) for abductive reasoning. Like
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
Compact Proof Certificates For Linear Logic Kaustuv Chaudhuri
Chaudhuri, Kaustuv
Compact Proof Certificates For Linear Logic Kaustuv Chaudhuri INRIA, France http://kaustuv.chaudhuri
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 ...
Deduction, Ordering, and Operations in Quantum Logic
Norman D. Megill; Mladen Pavicic
2001-08-16T23:59:59.000Z
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.
Engineering RNA logic with synthetic splicing ribozymes
Che, Austin, 1979-
2008-01-01T23:59:59.000Z
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 ...
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
Mdp Optimal Control under Temporal Logic Constraints
Ding, Xu Chu
In this paper, we develop a method to automatically generate a control policy for a dynamical system modeled as a Markov Decision Process (MDP). The control specification is given as a Linear Temporal Logic (LTL) formula ...
Detecting Tangled Logic Structures in VLSI Netlists
Jindal, Tanuj
2010-10-12T23:59:59.000Z
. . . . . . . . . . . . . . . . . . . . . . . . . . 7 3.1. Metrics for Tangled Logic Structures . . . . . . . . . . . . 7 3.2. A Method to Find Groups of Tangled-Logic . . . . . . . . 10 3.2.1. Phase I: Linear Ordering Generation . . . . . . . . 11 3.2.2. Phase II: Initial Candidate GTL Generation... . . . . 12 3.2.3. Phase III: GTL Refinement and Pruning . . . . . . 12 IV ALGORITHM . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 4.1. Algorithm Analysis . . . . . . . . . . . . . . . . . . . . . 14 4.1.1. Algorithm...
Generative Story Worlds Linear Logic Programs
Goldstein, Seth Copen
with standard logical implication: buy_soda : has(Alice, $1) ^ wants(Alice, soda) has(Alice, soda) #12;LINEAR LOGIC 13 A -o B #12;14 buy_soda : has(Alice, $1) * wants(Alice, soda) -o has(Alice, soda) #12;15 A * B/murder : anger C C' * anger C C' * anger C C' * anger C C' * at C L * at C' L * has C weapon -o {at C L * !dead C
Spectral shift reactor control method
Impink, A.J. Jr.
1987-08-18T23:59:59.000Z
The method is described of closely controlling the reactor water coolant temperature of an operating spectral-shift nuclear reactor, the reactor comprising a core formed of fuel assemblies through which the reactor water coolant flows; different types of elongated elements operable to be controllably moved into and out of the core; one type of the elongated elements comprising control rods formed of neutron absorbing material and operable to decrease reactivity through neutron absorption when inserted into the core; another of the types of elongated elements comprising displacer rods formed of material which has a low absorption for neutrons and which have overall neutron-absorbing and moderating characteristics essentially not exceeding those of hollow tubular Zircaloy members with a filling zirconium oxide or aluminum oxide, the displacer rods operating to displace an equivalent volume of water coolant fluid from the core when inserted therein to decrease reactivity and to increase reactivity when moved from the core.
Process Intensification with Integrated Water-Gas-Shift Membrane...
Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site
Intensification with Integrated Water-Gas-Shift Membrane Reactor Process Intensification with Integrated Water-Gas-Shift Membrane Reactor water-gas-shift.pdf More Documents &...
ABDUCTIVE LOGIC PROGRAMMING Abductive Logic Programming is a high level knowledge representation
Moraitis, Pavlos
ABDUCTIVE LOGIC PROGRAMMING Abductive Logic Programming is a high level knowledge representation framework that allows us to solve problems declaratively based on abductive reasoning. It extends normal predicates. Problem solving is effected by deriving hypotheses on these abducible predicates (abductive hy
1997 International Conference on Logic Programming, MIT Press. Optimization of Logic Programs
PolitÃ©cnica de Madrid, Universidad
it wakes up. Both classes #12; of transformations essentially preserve the search space and hence the oper transformation was already illustrated in [7]. However, optimization was performed by hand and the particular1997 International Conference on Logic Programming, MIT Press. Optimization of Logic Programs
Logical contradictions of Landau damping
V. N. Soshnikov
2015-03-23T23:59:59.000Z
Landau damping/growing at boundary condition of excitation of a harmonic wave in collisionless ion-electron-neutrals plasma contradicts to the law of energy conservation of a wave damping/growing in space. There is also no criterion of a choice either damping or growing solution in difference from always non-damping in the direction of propagation Vlasov waves. Variety of other incongruities as consequence of Landau damping is specified also. Absence of explicit positivity and finiteness of wave solutions for electron distribution function near singularity point leads to need of imposing additional cutting off constraints with resulting positivity and finiteness of the electron distribution function at the singularity points and finiteness of the complex dispersion integral. Landau damping as a real physical phenomenon of collisionless damping does not exist. A relation is established for the real dispersion equation with real waves (see Appendices 2,4) between the averaged over period wave damping decrement and the collisional energy-exchange term of kinetic equation. Collisionless Vlasov-Landau damping is explained finally by the usual wrong use of complex nonlinear wave functions leading to complex dispersion equation. All used solution of the complex dispersion equation for the simultaneously existing collisionless both exponentially damping and growing nonlinear complex waves is entirely, quantitatively and in its logical sense, different from the solution of initially real dispersion equation for real either damping or growing waves and should be discarded (see Appendices 2,4,5,6). Collisionless damping is caused by unreasonable use of wave functions with complex frequency or complex wave number leading to complex dispersion relation. All it transfers finding roots of the complex dispersion equation to the field of only abstract mathematical interest.
Convection automated logic oven control
Boyer, M.A.; Eke, K.I. [Apollo U.S.A. Inc., Orlando, FL (United States)] [Apollo U.S.A. Inc., Orlando, FL (United States)
1998-03-01T23:59:59.000Z
For the past few years, there has been a greater push to bring more automation to the cooling process. There have been attempts at automated cooking using a wide range of sensors and procedures, but with limited success. The authors have the answer to the automated cooking process; this patented technology is called Convection AutoLogic (CAL). The beauty of the technology is that it requires no extra hardware for the existing oven system. They use the existing temperature probe, whether it is an RTD, thermocouple, or thermistor. This means that the manufacturer does not have to be burdened with extra costs associated with automated cooking in comparison to standard ovens. The only change to the oven is the program in the central processing unit (CPU) on the board. As for its operation, when the user places the food into the oven, he or she is required to select a category (e.g., beef, poultry, or casseroles) and then simply press the start button. The CAL program then begins its cooking program. It first looks at the ambient oven temperature to see if it is a cold, warm, or hot start. CAL stores this data and then begins to look at the food`s thermal footprint. After CAL has properly detected this thermal footprint, it can calculate the time and temperature at which the food needs to be cooked. CAL then sets up these factors for the cooking stage of the program and, when the food has finished cooking, the oven is turned off automatically. The total time for this entire process is the same as the standard cooking time the user would normally set. The CAL program can also compensate for varying line voltages and detect when the oven door is opened. With all of these varying factors being monitored, CAL can produce a perfectly cooked item with minimal user input.
water gas shift | netl.doe.gov
Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)
are extremely sensitive to sulfur and chloride poisoning and are normally not used in coal gasification plants. Sweet shift is normally not used for coal gasification...
Fibred Coalgebraic Logic and Quantum Protocols
Daniel Marsden
2014-12-30T23:59:59.000Z
Motivated by applications in modelling quantum systems using coalgebraic techniques, we introduce a fibred coalgebraic logic. Our approach extends the conventional predicate lifting semantics with additional modalities relating conditions on different fibres. As this fibred setting will typically involve multiple signature functors, the logic incorporates a calculus of modalities enabling the construction of new modalities using various composition operations. We extend the semantics of coalgebraic logic to this setting, and prove that this extension respects behavioural equivalence. We show how properties of the semantics of modalities are preserved under composition operations, and then apply the calculational aspect of our logic to produce an expressive set of modalities for reasoning about quantum systems, building these modalities up from simpler components. We then demonstrate how these modalities can describe some standard quantum protocols. The novel features of our logic are shown to allow for a uniform description of unitary evolution, and support local reasoning such as "Alice's qubit satisfies condition" as is common when discussing quantum protocols.
Improved control strategy for parallel logic programming
Chung, I.J.
1989-01-01T23:59:59.000Z
The objective of this dissertation is to formulate an improved control strategy for parallel logic programming and to verify that the complexity of the parallel logic programs with this control strategy would be much less than the complexity of the other logic programs. The proposed control strategy is a combination of committed choice nondeterminism, and the data-flow model. The commit operator would be used for committed choice nondeterminism, and the primitives based on the dataflow model would be used to control AND-parallelism and OR-parallelism. With this proposed control strategy, the maximum useful parallelism can be explained with optimal granularity by controlling useless parallelism and limiting the branching factor. For justification of the proposed control strategy, it is suggested that the complexity of the computations of alternating Turing machines, which include a generalization of nondeterminism, can be used for the abstract cost function of logic programs. As justification of the proposed idea, the author bases a comparison of parallel logic programs on a model utilizing alternating Turing machines. The author shows that a natural reduction of the alternating Turing machine for the proposed control strategy yields a deterministic Turing machine whose complexity is linearly- related to that of the alternating Turing machine. However such a reduction for the conventional committed choice nondeterminism has complexity that is quadratically related to that of the alternating Turing machine.
Sex, dispersion and aggression in Western Sandpipers on the Bolivar Flats, Texas
Gordon, Lynn Marie
1985-01-01T23:59:59.000Z
residents and migrants occur randomly on a mudflat, or are there predictable trends in relation to habitat use, foraging and aggressive behavior, temporal use and/or size? HABITAT AND FORAGING BEHAVIOR Prediction 1. ? Although it appears that dif...
Oxford, Mary Cunningham
1999-01-01T23:59:59.000Z
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...
Gravitational Bending of Light with Frequency Shifts
P. D. Morley
1993-11-15T23:59:59.000Z
Non-static gravitational fields generally introduce frequency shifts when bending light. In this paper, I discuss the frequency shifts induced in the bending of light by moving masses. As examples, I treat the recently discovered high-velocity pulsar PSR 2224+65 and a typical Einstein ring.
Accurate conjugate gradient methods for shifted systems
Sleijpen, Gerard
Accurate conjugate gradient methods for shifted systems by Jasper van den Eshof and Gerard L. G CONJUGATE GRADIENT METHODS FOR SHIFTED SYSTEMS JASPER VAN DEN ESHOF # AND GERARD L. G. SLEIJPEN # Abstract We present an e#cient and accurate variant of the conjugate gradient method for solving families
BIODIVERSITY Accounting for tree line shift, glacier
Zimmermann, Niklaus E.
BIODIVERSITY RESEARCH Accounting for tree line shift, glacier retreat and primary succession land cover (tree line shift, glacier retreat and primary succession) into species distribution model. Methods We fit linear mixed effects (LME) models to historical changes in forest and glacier cover
Demonstrations: sound source for Doppler shift
Boal, David
of the Universe Doppler effect The technique for measuring the velocities of very remote galaxies is based uponDemonstrations: ·sound source for Doppler shift ·big balloon and labels Text: Mod. Phys. 8.A, 8.B, 8.C Problems: 1, 3, 6, 7 from Ch. 8 What's important: ·Doppler shift ·Hubble's law ·age
Krylov space solvers for shifted linear systems
B. Jegerlehner
1996-12-15T23:59:59.000Z
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.
Nonlinear interferometry approach to photonic sequential logic
Hideo Mabuchi
2011-08-08T23:59:59.000Z
Motivated by rapidly advancing capabilities for extensive nanoscale patterning of optical materials, I propose an approach to implementing photonic sequential logic that exploits circuit-scale phase coherence for efficient realizations of fundamental components such as a NAND-gate-with-fanout and a bistable latch. Kerr-nonlinear optical resonators are utilized in combination with interference effects to drive the binary logic. Quantum-optical input-output models are characterized numerically using design parameters that yield attojoule-scale energy separation between the latch states.
Nonlinear interferometry approach to photonic sequential logic
Mabuchi, Hideo
2011-01-01T23:59:59.000Z
Motivated by rapidly advancing capabilities for extensive nanoscale patterning of optical materials, I propose an approach to implementing photonic sequential logic that exploits circuit-scale phase coherence for efficient realizations of fundamental components such as a NAND-gate-with-fanout and a bistable latch. Kerr-nonlinear optical resonators are utilized in combination with interference effects to drive the binary logic. Quantum-optical input-output models are characterized numerically using design parameters that yield attojoule-scale energy separation between the latch states.
On the logical operators of quantum codes
Mark M. Wilde
2009-03-30T23:59:59.000Z
I show how applying a symplectic Gram-Schmidt orthogonalization to the normalizer of a quantum code gives a different way of determining the code's logical operators. This approach may be more natural in the setting where we produce a quantum code from classical codes because the generator matrices of the classical codes form the normalizer of the resulting quantum code. This technique is particularly useful in determining the logical operators of an entanglement-assisted code produced from two classical binary codes or from one classical quaternary code. Finally, this approach gives additional formulas for computing the amount of entanglement that an entanglement-assisted code requires.
The Relationship Between Separation Logic and Implicit Dynamic Frames
Parkinson, Matthew J
2012-01-01T23:59:59.000Z
Separation logic is a concise method for specifying programs that manipulate dynamically allocated storage. Partially inspired by separation logic, Implicit Dynamic Frames has recently been proposed, aiming at first-order tool support. In this paper, we precisely connect the semantics of these two logics. We define a logic whose syntax subsumes both that of a standard separation logic, and that of implicit dynamic frames as sub-syntaxes. We define a total heap semantics for our logic, and, for the separation logic subsyntax, prove it equivalent the standard partial heaps model. In order to define a semantics which works uniformly for both subsyntaxes, we define the novel concept of a minimal state extension, which provides a different (but equivalent) definition of the semantics of separation logic implication and magic wand connectives, while also giving a suitable semantics for these connectives in implicit dynamic frames. We show that our resulting semantics agrees with the existing definition of weakest p...
A fuzzy logic controller for autonomous vehicle control
Vinson, Yale Patrick
1995-01-01T23:59:59.000Z
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...
abductive logic grammars: Topics by E-print Network
Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)
8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 Next Page Last Page Topic Index 1 Abduction in Logic Programming CiteSeer Summary: Abduction in Logic Programming started in the...
A fuzzy logic controller for autonomous vehicle control
Vinson, Yale Patrick
1995-01-01T23:59:59.000Z
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...
action technology logic: Topics by E-print Network
Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)
1993-01-01 2 Actions and Events in Interval Temporal Logic CiteSeer Summary: We present a representation of events and action based on interval temporal logic that is...
The Focused Inverse Method for Linear Logic Kaustuv Chaudhuri
Chaudhuri, Kaustuv
The Focused Inverse Method for Linear Logic Kaustuv Chaudhuri CMU-CS-06-162 December 4, 2006 Mellon University, or any other entity. Copyright c 2006 Kaustuv Chaudhuri #12;Abstract Linear logic
Abductive Logic Programming with CIFF Ulle Endriss1
Toni, Francesca
Abductive Logic Programming with CIFF Ulle Endriss1 , Paolo Mancarella2 , Fariba Sadri1 , Giacomo Introduction Abduction has found broad application as a powerful tool for hypothetical reasoning knowledge base. Abductive Logic Programming (ALP) [4] combines abduction with logic programming enriched
Narrowing-driven Specialization of Functional Logic Programs
Vidal, GermÃ¡n
Â§ Abstract Languages that integrate functional and logic programming with a complete operational semantics of functional languages and the resolution principle of logic languages. Formal methods of transformation of functional logic programs can be based on this well- established operational semantics. In this paper, we
Error rate and power dissipation in nano-logic devices
Kim, Jong Un
2004-01-01T23:59:59.000Z
Current-controlled logic and single electron logic processors have been investigated with respect to thermal-induced bit error. A maximal error rate for both logic processors is regarded as one bit-error/year/chip. A maximal clock frequency...
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
Logic and the set theory Lecture 19: The set theory
Choi, Suhyoung
Logic and the set theory Lecture 19: The set theory S. Choi Department of Mathematical Science KAIST, Daejeon, South Korea Fall semester, 2012 S. Choi (KAIST) Logic and set theory November 20, 2012 1 / 24 #12;Introduction About this lecture Axioms of the set theory S. Choi (KAIST) Logic and set theory
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
Sympathetic cooling of 9 for quantum logic
Sympathetic cooling of 9 Be¿ and 24 Mg¿ for quantum logic M. D. Barrett, B. DeMarco, T. Schaetz, D, USA Received 4 June 2003; published 3 October 2003 We demonstrate the cooling of a two species ion crystal consisting of one 9 Be and one 24 Mg ion. Since the respective cooling transitions of these two
Type-Logical Hyperedge Replacement Grammars
Paris-Sud XI, UniversitÃ© de
Type-Logical and Hyperedge Replacement Grammars Draft Richard Moot LaBRI (CNRS), INRIA Bordeaux SW2009 #12;CONTENTS 1 Introduction 1 2 Hyperedge Replacement Grammars 3 2.1 Hypergraphs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 2.2 Hyperedge Replacement . . . . . . . . . . . . . . . . . . . . . . . 4 2.3 Hyperedge
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
Logical Structure Extraction from Software Requirements Documents
Czarnecki, Krzysztof
Documents I. INTRODUCTION Requirements management (RM) tools store and manipu- late software requirementsLogical Structure Extraction from Software Requirements Documents Rehan Rauf, Michal Antkiewicz,mantkiew,kczarnec}@gsd.uwaterloo.ca Abstract--Software requirements documents (SRDs) are often authored in general-purpose rich-text editors
Optimization of Logic Programs with Dynamic Scheduling
Stuckey, Peter J.
of program transformations designed to reduce this additional overÂ head, while preserving the operational using highÂlevel program transformation was already illustrated in [?]. However, optimizationOptimization of Logic Programs with Dynamic Scheduling Germ'an Puebla Facultad de Inform
PROPOSITIONAL MIXED LOGIC: ITS SYNTAX AND SEMANTICS
Nour, Karim
to propositional minimal logic (abbreviated PLM). The best known formalization consists to adding the intuitionistic absurdity rule (from the absurdity we can deduce all formulas) to PLM to obtain PLI, and to adding the classical absurdity rule (a non false formula is true) to PLM (or PLI) to obtain PLC. With this kind
Internal Note #241 Computational Logic, Inc.
Boyer, Robert Stephen
, similar to one shown to work correctly on ordered trees by Boyer and Moore, works correctly on search], Boyer and Moore defined the abstract data type ``ordered tree'', gave a tree insertion algorithm defined as a recursive function in the BoyerMoore logic, and proved mechanically that this insertion function works
Internal Note #185 Computational Logic, Inc.
Boyer, Robert Stephen
Users of the BoyerMoore Theorem Prover 1 Matt Kaufmann Computational Logic, Inc. 1717 W. Sixth Street : Use the BoyerMoore theorem prover to prove that if one rotates the elements of a list by n, where n a little familiarity with the BoyerMoore theorem prover. In order to illustrate the use of the 3 Boyer
Internal Note #185 Computational Logic, Inc.
Boyer, Robert Stephen
Users of the Boyer-Moore Theorem Prover 1Matt Kaufmann Computational Logic, Inc. 1717 W. Sixth Street : Use the Boyer-Moore theorem prover to prove that if one rotates the elements of a list by n, where n a little familiarity with the Boyer-Moore theorem prover. In order to illustrate the use of the 3Boyer
Controlling Wild Bodies Using Linear Temporal Logic
LaValle, Steven M.
Controlling Wild Bodies Using Linear Temporal Logic Leonardo Bobadilla Oscar Sanchez Justin or state feedback. We do this by exploiting the wild motions of very simple bodies in an environment propose to start with a "wildly behaving" body for which its precise equations of motion are unknown
Theory of the helium isotope shift
Yerokhin, Vladimir A
2015-01-01T23:59:59.000Z
Theory of the isotope shift of the centroid energies of light few-electron atoms is reviewed. Numerical results are presented for the isotope shift of the $2^3P$-$2^3S$ and $2^1S$-$2^3S$ transition energies of $^3$He and $^4$He. By comparing theoretical predictions for the isotope shift with the experimental results, the difference of the squares of the nuclear charge radii of $^3$He and $^4$He, $\\delta R^2$, is determined with high accuracy.
Search for Higgs shifts in white dwarfs
Roberto Onofrio; Gary A. Wegner
2014-09-30T23:59:59.000Z
We report on a search for differential shifts between electronic and vibronic transitions in carbon-rich white dwarfs BPM 27606 and Procyon B. The absence of differential shifts within the spectral resolution and taking into account systematic effects such as space motion and pressure shifts allows us to set the first upper bound of astrophysical origin on the coupling between the Higgs field and the Kreschmann curvature invariant. Our analysis provides the basis for a more general methodology to derive bounds to the coupling of long-range scalar fields to curvature invariants in an astrophysical setting complementary to the ones available from high-energy physics or table-top experiments.
Amsterdam, University of
-structural logics around 1990, and it is a powerful movement today. 1 But gradually, I have changed my mind about and answers, dialogue, or general communication. And logical systems should deal with a wide variety of these, making information-carrying events first-class citizens in their set-up. This program of logical dynamics
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
Shift manager workload assessment - A case study
Berntson, K.; Kozak, A. [Bruce Power, P O Box 1540 B10, Tiverton, Ont. N0G 2T0 (Canada); Malcolm, J. S. [Atomic Energy of Canada Ltd., 2251 Speakman Drive, Mississauga, Ont. L5K 1B2 (Canada)
2006-07-01T23:59:59.000Z
In early 2003, Bruce Power restarted two of its previously laid up units in the Bruce A generating station, Units 3 and 4. However, due to challenges relating to the availability of personnel with active Shift Manager licenses, an alternate shift structure was proposed to ensure the safe operation of the station. This alternate structure resulted in a redistribution of responsibility, and a need to assess the resulting changes in workload. Atomic Energy of Canada Limited was contracted to perform a workload assessment based on the new shift structure, and to provide recommendations, if necessary, to ensure Shift Managers had sufficient resources available to perform their required duties. This paper discusses the performance of that assessment, and lessons learned as a result of the work performed during the Restart project. (authors)
Does accounting quality mitigate risk shifting?
Loktionov, Yuri V
2009-01-01T23:59:59.000Z
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 ...
Constructing a logical, regular axis topology from an irregular topology
Faraj, Daniel A.
2014-07-01T23:59:59.000Z
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-22T23:59:59.000Z
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.
On the meaning of logical completeness
Basaldella, Michele
2010-01-01T23:59:59.000Z
Goedel's completeness theorem is concerned with provability, while Girard's theorem in ludics (as well as full completeness theorems in game semantics) are concerned with proofs. Our purpose is to look for a connection between these two disciplines. Following a previous work [3], we consider an extension of the original ludics with contraction and universal nondeterminism, which play dual roles, in order to capture a polarized fragment of linear logic and thus a constructive variant of classical propositional logic. We then prove a completeness theorem for proofs in this extended setting: for any behaviour (formula) A and any design (proof attempt) P, either P is a proof of A or there is a model M of the orthogonal of A which defeats P. Compared with proofs of full completeness in game semantics, ours exhibits a striking similarity with proofs of Goedel's completeness, in that it explicitly constructs a countermodel essentially using Koenig's lemma, proceeds by induction on formulas, and implies an analogue o...
Aggression, self-esteem, and perceived threat for university undergraduate research fellows
Baumbach, Christopher Lloyd
2013-02-22T23:59:59.000Z
due to two factors: (1) situational variables that elicit aggressive responses, and (2) differences in the type and degree of SE people have. These two flictors are the basis for the interactive model proposed by Baumeister et al. , which suggests... that aggressive tsspoases are ll ihg by ~gt f . g. , "h rable 'ews of the self that gl p~ that in some way encounter an external appraisal that is far less favorable"; Baumeister dt Boden, 1998, p. 114). The crucial flictor in their model is the perception...
Proton Mass Shift in Muonic Hydrogen Atom
Aiichi Iwazaki
2014-08-11T23:59:59.000Z
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.
Lamb shift in muonic helium ion
A. P. Martynenko
2014-07-09T23:59:59.000Z
The Lamb shift (2P_{1/2}-2S_{1/2}) in the muonic helium ion (mu ^4_2He)^+ is calculated with the account of contributions of orders alpha^3, alpha^4, alpha^5 and alpha^6. Special attention is given to corrections of the electron vacuum polarization, the nuclear structure and recoil effects. The obtained numerical value of the Lamb shift 1379.028 meV can be considered as a reliable estimate for the comparison with experimental data.
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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level:Energy: Grid Integration Redefining What'sis Taking Over Our Instagram Secretary Moniz9 SeptemberSetting theSheldon Datz,Shift End Shift End
On the system CL12 of computability logic
Japaridze, Giorgi
2012-01-01T23:59:59.000Z
Computability logic (see http://www.cis.upenn.edu/~giorgi/cl.html) is a long-term project for redeveloping logic on the basis of a constructive game semantics, with games seen as abstract models of interactive computational problems. Among the fragments of this logic successfully axiomatized so far is CL12 --- a conservative extension of classical first-order logic, whose language augments that of classical logic with the so called choice sorts of quantifiers and connectives. This system has already found fruitful applications as a logical basis for constructive and complexity-oriented versions of Peano arithmetic, such as arithmetics for polynomial time computability, polynomial space computability, and beyond. The present paper introduces a third, indispensable complexity measure for interactive computations termed amplitude complexity, and establishes the adequacy of CL12 with respect to A-amplitude, S-space and T-time computability under certain minimal conditions on the triples (A,S,T) of function classe...
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
Available online at www.sciencedirect.com Assessment during aggressive contests between
Lovejoy, Nathan
. In mutual assessment models, individuals assess their own resource holding potential (RHP) relativeAvailable online at www.sciencedirect.com Assessment during aggressive contests between male; final acceptance 28 January 2008; published online 30 June 2008; MS. number: A10907) Assessment
Assisted Teleoperation Strategies for Aggressively Controlling a Robot Arm with 2D Input
Indiana University
Assisted Teleoperation Strategies for Aggressively Controlling a Robot Arm with 2D Input Erkang You,hauserk}@indiana.edu Abstract--This paper studies assisted teleoperation techniques for controlling a 6DOF robot arm using click, and overall satisfaction. I. INTRODUCTION Assisted teleoperation allows a user to operate a robot while
Aggressive melanoma cells escape from BMP7-mediated autocrine growth inhibition through coordinated
Engelhardt, John F.
Aggressive melanoma cells escape from BMP7-mediated autocrine growth inhibition through coordinated melanoma correlates with tumor progression. However, melanoma cells are either inhibited by or become that the expression of BMP antagonist, Noggin, correlates with resistance to BMP7 in advanced melanoma cells. To test
Effectiveness in RPL, with Applications to Continuous Logic
Didehvar, Farzad; Pourmahdian, Massoud; 10.1016/j.apal.2009.06.008
2010-01-01T23:59:59.000Z
In this paper, we introduce a foundation for computable model theory of rational Pavelka logic (an extension of {\\L}ukasiewicz logic) and continuous logic, and prove effective versions of some theorems in model theory. We show how to reduce continuous logic to rational Pavelka logic. We also define notions of computability and decidability of a model for logics with computable, but uncountable, set of truth values; show that provability degree of a formula w.r.t. a linear theory is computable, and use this to carry out an effective Henkin construction. Therefore, for any effectively given consistent linear theory in continuous logic, we effectively produce its decidable model. This is the best possible, since we show that the computable model theory of continuous logic is an extension of computable model theory of classical logic. We conclude with noting that the unique separable model of a separably categorical and computably axiomatizable theory (such as that of a probability space or an $L^p$ Banach lattic...
FORMT: Form-based Mutation Testing of Logical Specifications
Faatz, Andreas
2010-01-01T23:59:59.000Z
The draft paper defines a system, which is capable of maintaining bases of test cases for logical specifications. The specifications, which are subject to this system are transformed from their original shape in first-order logic to form-based expressions as originally introduced in logics of George Spencer-Brown. The innovation comes from the operations the system provides when injecting faults - so-called mutations - to the specifications. The system presented here applies to logical specifications from areas as different as programming, ontologies or hardware specifications.
Newtonian gravity, red shift, confinement, asymptotic freedom and quarks oscillations
G. Quznetsov
2008-10-18T23:59:59.000Z
Quarks oscillations give the Newtonian gravity law, the red shift, the confinement and the asymptotic freedom.
Gay, Simon
Logic Kohei Honda Queen Mary, London Department of Computer Science Queen Mary, London Abstract We; Berger et al. 2003; Honda and Yoshida 2002; Honda and Yoshida 2003; Honda et al. 2004; Yoshida et al language, leaving the full technical development to (Honda 2004a; Honda 2004b). 1 Introduction Program
Arch. Math. Logic (2008) 47:711718 DOI 10.1007/s00153-008-0103-5 Mathematical Logic
, UniversitÃ¤t Wien, WÃ¤hringer Strasse 25, 1090 Vienna, Austria e-mail: sdf@logic.univie.ac.at 123 #12;712 N
Quantum logic with weakly coupled qubits
Michael R. Geller; Emily J. Pritchett; Andrei Galiautdinov; John M. Martinis
2009-06-29T23:59:59.000Z
There are well-known protocols for performing CNOT quantum logic with qubits coupled by particular high-symmetry (Ising or Heisenberg) interactions. However, many architectures being considered for quantum computation involve qubits or qubits and resonators coupled by more complicated and less symmetric interactions. Here we consider a widely applicable model of weakly but otherwise arbitrarily coupled two-level systems, and use quantum gate design techniques to derive a simple and intuitive CNOT construction. Useful variations and extensions of the solution are given for common special cases.
Quantum logic with weakly coupled qubits
Geller, Michael R; Galiautdinov, Andrei; Martinis, John M
2009-01-01T23:59:59.000Z
There are well-known protocols for performing CNOT quantum logic with qubits coupled by particular high-symmetry (Ising or Heisenberg) interactions. However, many architectures being considered for quantum computation involve qubits or qubits and resonators coupled by more complicated and less symmetric interactions. Here we consider a widely applicable model of weakly but otherwise arbitrarily coupled two-level systems, and use quantum gate design techniques to derive a simple and intuitive CNOT construction. Useful variations and extensions of the solution are given for common special cases.
CHR(PRISM)-based Probabilistic Logic Learning
Sneyers, Jon; Vennekens, Joost; Kameya, Yoshitaka; Sato, Taisuke; 10.1017/S1471068410000207
2010-01-01T23:59:59.000Z
PRISM is an extension of Prolog with probabilistic predicates and built-in support for expectation-maximization learning. Constraint Handling Rules (CHR) is a high-level programming language based on multi-headed multiset rewrite rules. In this paper, we introduce a new probabilistic logic formalism, called CHRiSM, based on a combination of CHR and PRISM. It can be used for high-level rapid prototyping of complex statistical models by means of "chance rules". The underlying PRISM system can then be used for several probabilistic inference tasks, including probability computation and parameter learning. We define the CHRiSM language in terms of syntax and operational semantics, and illustrate it with examples. We define the notion of ambiguous programs and define a distribution semantics for unambiguous programs. Next, we describe an implementation of CHRiSM, based on CHR(PRISM). We discuss the relation between CHRiSM and other probabilistic logic programming languages, in particular PCHR. Finally we identify ...
A Conditional Logic for Iterated Belief Revision Laura Giordano
Giordano, Laura
A Conditional Logic for Iterated Belief Revision Laura Giordano DSTA Â Universitâ?? a del Piemonte Abstract. In this paper we propose a conditional logic IBC to repÂ resent iterated belief revision. We define an iterated belief revision system by strengthening the postulates proposed by Darwiche and Pearl
Iterated Belief Revision and Conditional Logic Laura Giordano
Torino, UniversitÃ di
/01/2001; 17:22; p.1 #12; 2 well known Triviality Result [5], that claims that no signi#12;cant belief revisionIterated Belief Revision and Conditional Logic Laura Giordano DSTA - Universit#18;a del Piemonte a conditional logic called IBC to represent iterated belief revision systems. We propose a set of postulates
Programmable Logic Circuits for Functional Integrated Smart Plastic Systems
Sou, Antony; Jung, Sungjune; Gili, Enrico; Pecuni, Vincenzo; Joimel, Jerome; Fichet, Guillaume; Sirringhaus, Henning
2014-09-12T23:59:59.000Z
:PSS) resistors between transistors or between logic blocks. Among the circuit functions and features demonstrated on the arrays are a 7-stage ring oscillator, a D-type ip-flop memory element, a 2:4 demultiplexer, a programmable array logic device (PAL...
A Stronger Notion of Equivalence for Logic Programs
New South Wales, University of
A Stronger Notion of Equivalence for Logic Programs Ka-Shu Wong University of New South Wales Sydney 2052, Australia #12;Abstract Several different notions of equivalence have been proposed for logic programs with answer set semantics, most notably strong equivalence. However, strong equivalence
Regular Equivalence and Dynamic Logic Maarten Marx and Michael Masuch
Amsterdam, University of
Regular Equivalence and Dynamic Logic Maarten Marx #3; and Michael Masuch Institure for Logic equivalence relation on a social network. That is, a formal language of position terms is de#12;ned with the property that on #12;nite networks, two actors are regularly equivalent if and only if they cannot
NExpTime-complete Description Logics with Concrete Domains
Baader, Franz
that reasoning with the concrete do- main D (i.e., testing the satis#12;ability of #12;nite conjunctionsChapter 1 NExpTime-complete Description Logics with Concrete Domains Carsten Lutz Abstract. Description Logics (DLs) incorporating concrete domains are useful formalisms for integrated reasoning about
Abductive Logic Programming 1 Department of Computer Science,
Koehn, Philipp
Abductive Logic Programming 1 A.C. Kakas Department of Computer Science, University of Cyprus, 75 to perform Abductive Reasoning (Abductive Logic Programming). We outline the general framework of AbductionÂtheoretic approach to the use of abduction as an interpretation for Negation as Failure. We also analyse the links
A Superposition Strategy for Abductive Reasoning in Ground Equational Logic
Paris-Sud XI, UniversitÃ© de
A Superposition Strategy for Abductive Reasoning in Ground Equational Logic Mnacho Echenim, Nicolas Abduction has been introduced by Peirce [8] as the process of inferring plausible hypotheses from data. There exists an extensive amount of research on abductive reasoning, mainly in propositional logic
On the Use of Logical Abduction in Software Engineering
Russo, Alessandra
- 1 - On the Use of Logical Abduction in Software Engineering ALESSANDRA RUSSO and BASHAR NUSEIBEH of abduction as a knowledge-based reasoning technique for analysing software specifications. We present a general overview of logical abduction and describe two abductive reasoning techniques, developed from
Abductive Logic Programming 1 Department of Computer Science,
Toni, Francesca
Abductive Logic Programming 1 A.C. Kakas Department of Computer Science, University of Cyprus, 75- ming to perform Abductive Reasoning (Abductive Logic Programming). We outline the general framework of Abduction and its applications to Knowledge Assimilation and Default Reasoning; and we introduce
ABox Abduction in Description Logic MSc Thesis (Afstudeerscriptie)
Amsterdam, University of
ABox Abduction in Description Logic MSc Thesis (Afstudeerscriptie) written by Szymon Klarman (born elaborate on logic-based automated reasoning tech- niques for abduction, driven by the principle of goal-oriented rea- soning. In the first part we develop two variants of a computational framework for abduction
An abductive logic programming architecture for negotiating agents
Torroni, Paolo
An abductive logic programming architecture for negotiating agents Fariba Sadri1 , Francesca Toni1@deis.unibo.it Abstract. In this paper, we present a framework for agent negotiation based on abductive logic programming and dialogue cycle, and in the results that apply in the gen- eral case of abductive agents and in the specific
ArgumentationBased Abduction in Disjunctive Logic Programming
Wang, Kewen
ArgumentationÂBased Abduction in Disjunctive Logic Programming Kewen Wang Department of Computer the framework presented in this paper does not only provide a new way of performing argumentation (abduction for disjunctive logic programming. 1 #12; 1 INTRODUCTION Abduction is usually defined as inferring the best
EXPRESSING COLLABORATION AND COMPETITION AMONG ABDUCTIVE LOGIC AGENTS
Torroni, Paolo
EXPRESSING COLLABORATION AND COMPETITION AMONG ABDUCTIVE LOGIC AGENTS Anna Ciampolini, Evelina a language for coordinating several logicÂbased agents capable of abductive reasoning. The system to guess the causes of some symptoms. In his respect, some form of open or abductive reasoning has
: Abduction, Learning. A System for Learning Abductive Logic
Dix, Juergen
f g Keywords Abstract : Abduction, Learning. 1 A System for Learning Abductive Logic Programs Ferrara, Italy We present the system LAP for learning abductive logic programs from examples and from a background abductive theory. A new type of induction problem has been defined as an extension
The CIFF Proof Procedure for Abductive Logic Programming with Constraints
Toni, Francesca
The CIFF Proof Procedure for Abductive Logic Programming with Constraints U. Endriss1 , P,terreni,toni}@di.unipi.it Abstract. We introduce a new proof procedure for abductive logic pro- gramming and present two soundness results. Our procedure extends that of Fung and Kowalski by integrating abductive reasoning
Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking
Bollig, Benedikt
Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking Benedikt,cyriac,gastin,zeitoun}@lsv.ens-cachan.fr Abstract. We develop a general framework for the design of temporal logics for concurrent recursive programs. A program execution is modeled as a partial order with multiple nesting relations. To specify
Lineales: algebras and categories in the semantics of linear logic
de Paiva, Valeria
Lineales: algebras and categories in the semantics of linear logic Valeria de Paiva This paper categorical semantics to algebraic semantics in the form of lineales. 2 Choosing a Semantics Let us assume describes algebraic semantics for (intuitionistic and classical) propositional linear logic, using
Lineales: Algebraic Models of Linear Logic from a Categorical
de Paiva, Valeria
Lineales: Algebraic Models of Linear Logic from a Categorical Perspective Valeria de Paiva with category theory. A secondary aim is to argue for the virtues of Lineales as algebraic structures supporting This paper describes algebraic semantics for (intuitionistic and classical) propositional linear logic, using
Adapting Optimization Techniques to Description Logics with Concrete Domains
Haarslev, Volker
Adapting Optimization Techniques to Description Logics with Concrete Domains Anni-Yasmin Turhan backtracking and model merging can be adapted to description logics with concrete domains. We propose al) a new requirement for concrete domains in order to enable dependency directed backtracking for all clash
Adapting Optimization Techniques to Description Logics with Concrete Domains
Haarslev, Volker
Adapting Optimization Techniques to Description Logics with Concrete Domains AnniÂYasmin Turhan backtracking and model merging can be adapted to description logics with concrete domains. We propose al) a new requirement for concrete domains in order to enable dependency directed backtracking for all clash
Knowledge Compilation in the Modal Logic S5 Meghyn Bienvenu
Lutz, Carsten
Knowledge Compilation in the Modal Logic S5 Meghyn Bienvenu Universit¨at Bremen Bremen, Germany@cril.univ-artois.fr Abstract In this paper, we study the knowledge compilation task for propositional epistemic logic S5. We map to S5. We then show that the notion of disjunctive normal form (DNF) can be profitably extended
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
Computing Environment-Aware Agent Behaviours with Logic Program Updates
Brogi, Antonio
Computing Environment-Aware Agent Behaviours with Logic Program Updates Jos´e J. Alferes1 , Antonio Pisa, Italy, brogi@di.unipi.it Abstract. The ability of reacting to changes in the external environ behaviours of environment-aware agents can be naturally specified and computed in terms of logic program
Advanced PID type fuzzy logic power system stabilizer
Hiyama, Takashi; Kugimiya, Masahiko; Satoh, Hironori (Kumamoto Univ. (Japan). Dept. of Electrical Engineering and Computer Science)
1994-09-01T23:59:59.000Z
An advanced fuzzy logic control scheme has been proposed for a micro-computer based power system stabilizer to enhance the overall stability of power systems. The proposed control scheme utilizes the PID information of the generator speed. The input signal to the stabilizer is the real power output of a study unit. Simulations show the effectiveness of the advanced fuzzy logic control scheme.
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
An Integrated Logic for Termination and Non-Termination Reasoning
Hobor, Aquinas
An Integrated Logic for Termination and Non-Termination Reasoning Ton-Chanh Le, Cristian Gherghina. We propose a logical framework for specifying and proving assertions about program termination and non-termination. Although program termination has been well studied, it is usually added
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
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
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
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
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
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
Focusing in Linear Meta Logic of August, 2008
Nigam, Vivek
s Encoding Systems s Results s Conclusions and Future Works #12;3 IJCAR'08 Overview LOne specification Some logical equivalences Sequent Calculus Natural Deduction Tableaux Systems Several Systems F Â´ F 0 #12;4 IJCAR'08 Agenda s Overview s Linear Logic and Focusing s Encoding Systems s Results s Conclusions
CTR-S: A Logic for Specifying Contracts in Semantic Web Services
Davulcu, Hasan
Logic for Services Contracting Extension of classical FO-Logic Well defined model theoretic semantics in service contracting ... #12;Questions ? #12;
A New Relation between Lamb Shift Energies
Hiroaki Kubo; Takehisa Fujita; Naohiro Kanda; Hiroshi Kato; Yasunori Munakata; Sachiko Oshima; Kazuhiro Tsuda
2010-03-26T23:59:59.000Z
We derive a new relation between the observed Lamb shift energies of hydrogen and muonium atoms. The relation is based on the non-relativistic description of the Lamb shift, and the proper treatment of the reduced mass of electron and target particles (proton and muon) leads to the new formula which is expressed as $\\displaystyle{{\\Delta E^{(H)}_{2s_{1/2}}\\over \\Delta E^{(\\mu)}_{2s_{1/2}}} =({1+{m_e\\over m_\\mu}\\over 1+{m_e\\over M_p}})^3}$. This relation achieves an excellent agreement with experiment and presents an important QED test free from the cutoff momentum $\\Lambda$.
Electricity pricing for conservation and load shifting
Orans, Ren; Woo, C.K.; Horii, Brian; Chait, Michele; DeBenedictis, Andrew
2010-04-15T23:59:59.000Z
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)
Stabilizing windings for tilting and shifting modes
Jardin, Stephen C. (Princeton, NJ); Christensen, Uffe R. (Princeton, NJ)
1984-01-01T23:59:59.000Z
This invention relates to passive conducting loops for stabilizing a plasma ring against unstable tilting and/or shifting modes. To this end, for example, plasma ring in a spheromak is stabilized by a set of four figure-8 shaped loops having one pair on one side of the plasma and one pair on the other side with each pair comprising two loops whose axes are transverse to each other.
Inference in Probabilistic Logic Programs with Continuous Random Variables
Islam, Muhammad Asiful; Ramakrishnan, I V
2011-01-01T23:59:59.000Z
Probabilistic Logic Programming (PLP), exemplified by Sato and Kameya's PRISM, Poole's ICL, Raedt et al's ProbLog and Vennekens et al's LPAD, is aimed at combining statistical and logical knowledge representation and inference. A key characteristic of PLP frameworks is that they are conservative extensions to non-probabilistic logic programs which have been widely used for knowledge representation. PLP frameworks extend traditional logic programming semantics to a distribution semantics, where the semantics of a probabilistic logic program is given in terms of a distribution over possible models of the program. However, the inference techniques used in these works rely on enumerating sets of explanations for a query answer. Consequently, these languages permit very limited use of random variables with continuous distributions. In this paper, we present a symbolic inference procedure that uses constraints and represents sets of explanations without enumeration. This permits us to reason over PLPs with Gaussian...
SMT-based Bounded Model Checking with Difference Logic Constraints
Bersani, Marcello M; Morzenti, Angelo; Pradella, Matteo; Rossi, Matteo; Pietro, Pierluigi San
2010-01-01T23:59:59.000Z
Traditional Bounded Model Checking (BMC) is based on translating the model checking problem into SAT, the Boolean satisfiability problem. This paper introduces an encoding of Linear Temporal Logic with Past operators (PLTL) into the Quantifier-Free Difference Logic with Uninterpreted Functions (QF-UFIDL). The resulting encoding is a simpler and more concise version of existing SATbased encodings, currently used in BMC. In addition, we present an extension of PLTL augmented with arithmetic relations over integers, which can express unbounded counters; as such, the extended logic is more expressive than PLTL. We introduce suitable restrictions and assumptions that are shown to make the verification problem for the extended logic decidable, and we define an encoding of the new logic into QF-UFIDL. Finally, a performance comparison with the SAT-based approach on purely PLTL examples shows significant improvements in terms of both execution time and memory occupation.
J. LOGIC PROGRAMMING 1994:19, 20:1--679 1 An Abductive Approach to Disjunctive Logic
Yuan, Li-Yan
J. LOGIC PROGRAMMING 1994:19, 20:1--679 1 An Abductive Approach to Disjunctive Logic Programming of abductive reasonÂ ing where default assumptions are treated as abductive hypotheses. While the semantics programs may be used to reason abductively has rarely been investigated. At the center of the question
Cabalar, Pedro
. An This research was partially supported by Spanish MEC project TIN2009-14562-C05-04, Xunta program INCITE 2011Under consideration for publication in Theory and Practice of Logic Programming 1 Causal Graph Justifications of Logic Programs Pedro Cabalar, Jorge Fandinno Department of Computer Science University
Effects of Trait Behavioral Approach and Inhibition Sensitivity on Behavioral Aggression
Gravens, Laura Christine
2012-07-16T23:59:59.000Z
of the requirements for the degree of MASTER OF SCIENCE Approved by: Chair of Committee, Eddie Harmon-Jones Committee Members, Brandon Schmeichel Jeff Ackerman Head of Department, Ludy Benjamin May 2011 Major Subject: Psychology iii ABSTRACT... Effects of Trait Behavioral Approach and Inhibition Sensitivity on Behavioral Aggression. (May 2011) Laura Christine Gravens, B.S., Texas A&M University Chair of Advisory Committee: Dr. Eddie Harmon-Jones Behavioral approach sensitivity (BAS) has...
Oak Ridge K-25 Site Technology Logic Diagram. Volume 2, Technology Logic Diagrams
Fellows, R.L. [ed.
1993-02-26T23:59:59.000Z
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.
Neubauer, J.; Wood, E.
2013-05-01T23:59:59.000Z
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.
Transformations of Logic Programs on Infinite Lists
Pettorossi, Alberto; Senni, Valerio; 10.1017/S1471068410000177
2010-01-01T23:59:59.000Z
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.
SS-shifted architecture Run roadfinder with default bank
SS-shifted architecture Run roadfinder with default bank Run roadfinder with ss-shifted bank track fitter DONE DONE #12;SCT-first architecture Run full chain in SCT-only configuration Road
1/2-SS shifted architecture Anton Kapliy
1/2-SS shifted architecture Anton Kapliy July 7 2009 #12;Strategy Pre-fill found ss- shifted roads results from old simulation Much cleaner and easier to run Plug-in architecture via hit
Shifting Interest Regimes of the Working Classes in Latin America
Berins Collier, Ruth; Handlin, Samuel P.
2005-01-01T23:59:59.000Z
Handlin IIR Working Paper Shifting Interest Regimes of the2000), “Working-Class Power, Capitalist-Class Interest, andShifting Interest Regimes of the Working Classes in Latin
Pendulum Shifts, Context, Error, and Personal Accountability
Harold Blackman; Oren Hester
2011-09-01T23:59:59.000Z
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.
Resonance-shifting luminescent solar concentrators
Giebink, Noel Christopher; Wiederrecht, Gary P; Wasielewski, Michael R
2014-09-23T23:59:59.000Z
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 onYou are now leaving Energy.gov You are now leaving Energy.gov You are8COaBulkTransmissionSitingProcess.pdfGetec AG ContractingGreenOrder Jump to: navigation, search Name:GreenShift
Adaptive optics simulation performance improvements using reconfigurable logic
Alastair Basden
2006-11-09T23:59:59.000Z
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.
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
Climate change-induced shifts in fire for Mediterranean ecosystems
Moritz, Max A.
RESEARCH PAPER Climate change-induced shifts in fire for Mediterranean ecosystems Enric Batllori1 Climate change, climate uncertainty, fire-climate relationship, fire shifts, Mediterranean biome Mediterranean biome and identify potential shifts in fire activity under an ensemble of global climate
The Role of Abduction in Logic Pro Department of Computer Science,
Koehn, Philipp
The Role of Abduction in Logic ProÂ gramming A.C. Kakas Department of Computer Science, University work on the extension of Logic ProÂ gramming to perform Abductive Reasoning (Abductive Logic Programming). It updates the earlier paper ``Abductive Logic Programming'' [88]. We outline the general
TWO THEORIES FOR COMPUTING THE LOGICAL FORM OF MASS EXPRESSIONS Francis Jeffry Pelletier
There are various difficulties in accomodating the traditional logical expressions into larger expressions
Every logic between K 3 and S5 3 is undecidable and nonfinitely axiomatizable
Hirsch, Robin
Every logic between K 3 and S5 3 is undecidable and nonfinitely axiomatizable R. Hirsch, I between K 3 and S5 3 is undecidable. We also show that each of these logics is nonfinitely axiomatizable validates the logic. 1 Introduction and results Let L be any 3modal logic with K 3 ` L ` S5 3
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-01T23:59:59.000Z
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.
Upadhyaya, K.
2013-01-01T23:59:59.000Z
AGRESSIVELY PASSIVE DESIGNING WITH CFD ESL-KT-13-12-48 CATEE 2013: Clean Air Through Energy Efficiency Conference, San Antonio, Texas Dec. 16-18 ESL-KT-13-12-48 CATEE 2013: Clean Air Through Energy Efficiency Conference, San Antonio, Texas Dec. 16...-18 Can passive ventilation work in a hot humid climate ESL-KT-13-12-48 CATEE 2013: Clean Air Through Energy Efficiency Conference, San Antonio, Texas Dec. 16-18 ESL-KT-13-12-48 CATEE 2013: Clean Air Through Energy Efficiency Conference, San Antonio...
A Decidable Timeout based Extension of Propositional Linear Temporal Logic
Misra, Janardan
2010-01-01T23:59:59.000Z
We develop a timeout based extension of propositional linear temporal logic (which we call TLTL) to specify timing properties of timeout based models of real time systems. TLTL formulas explicitly refer to a running global clock together with static timing variables as well as a dynamic variable abstracting the timeout behavior. We extend LTL with the capability to express timeout constraints. From the expressiveness view point, TLTL is not comparable with important known clock based real-time logics including TPTL, XCTL, and MTL, i.e., TLTL can specify certain properties, which cannot be specified in these logics (also vice-versa). We define a corresponding timeout tableau for satisfiability checking of the TLTL formulas. Also a model checking algorithm over timeout Kripke structure is presented. Further we prove that the validity checking for such an extended logic remains PSPACE-complete even in the presence of timeout constraints and infinite state models. Under discrete time semantics, with bounded timeo...
The Logical Approach to Stack Typing Amal Ahmed David Walker
Ahmed, Amal
. In fact, we have already seen such migration: Grossman et al.'s Cyclone [10] uses Tofte and Talpin's [37 contribution is a logic for reasoning about ad- jacency and separation of memory blocks as well as aliasing
Circuits for high-performance low-power VLSI logic
Ma, Albert
2006-01-01T23:59:59.000Z
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 ...
Formalizing Multimedia Interpretation based on Abduction over Description Logic Aboxes
Moeller, Ralf
Formalizing Multimedia Interpretation based on Abduction over Description Logic Aboxes Sofia be formally derived using abduction over domain knowledge represented in an ontology. The approach uses rules, and formalizes the multimedia interpretation process using a combined abduction and deduction
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
Using Temporal Logic for Dynamic Reconfigurations of Components
Boyer, Edmond
Using Temporal Logic for Dynamic Reconfigurations of Components Julien Dormoy1 , Olga Kouchnarenko1, published in "FACS 2010, 7th Int. Ws. on Formal Aspects of Component Software, Portugal (2010)" #12;More
Using Temporal Logic for Dynamic Reconfigurations of Components
Paris-Sud XI, UniversitÃ© de
Using Temporal Logic for Dynamic Reconfigurations of Components Julien Dormoy1 , Olga Kouchnarenko1, published in "7th International Workshop on Formal Aspects of Component Software - FACS'2010 (2010)" #12
A Transformation System for Lazy Functional Logic Programs?
Vidal, GermÃ¡n
over to the transformation process and the transformed programs. We illus- trate the power A Transformation System for Lazy Functional Logic Programs? Mar. gmoreno@info-ab.uclm.es Abstract. Needed narrowing is a complete operational principle
Pattern-Based Constraint Satisfaction and Logic Puzzles
Paris-Sud XI, UniversitÃ© de
by Denis Berthier: Le Savoir et l'Ordinateur, Editions L'Harmattan, Paris, November 2002. MÃ©ditations sur le RÃ©el et le Virtuel, Editions L'Harmattan, Paris, May 2004. The Hidden Logic of Sudoku (First
A Logic for Strategic Reasoning Wiebe van der Hoek
Woolridge, Mike
]. For example, the statement "if Napoleon won in 1812 then we all would speak French" is counterfactual, since it involves a sup- position ("Napoleon won in 1812") that is in fact false. Classical logic is of no use when
A Logic for Strategic Reasoning Wiebe van der Hoek
Woolridge, Mike
]. For example, the statement ``if Napoleon won in 1812 then we all would speak French'' is counterfactual, since it involves a sup position (``Napoleon won in 1812'') that is in fact false. Classical logic is of no use
Design of Programmable Interconnect for Sublithographic Programmable Logic Arrays
DeHon, André
in diameter and switching elements which fit into the space of a single such wire crossing (e.g. [10, 29, monolithic PLA cannot exploit the structure in most logic functions. Since exploiting this structure is nec
Logic verification using recursive learning, ATPG and transformations
Paul, Debjyoti
1996-01-01T23:59:59.000Z
17 Example Circuits for Verification Showing an Existing Condi- tional Don't Care Condition. 33 18 Justification of the Conditional Don't Care Condition in the Ex- ample Circuits. FIGURE Page Transformation Using Conditional Don't Care Condition... of the Implementation Verification phase, sometimes it is termed Design Verification as in [17j. In this case the specification and design are both at logic level. Logic circuits can be combinational or sequential. If the circuits being compared are combinational, i...
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
Phase-shifting point diffraction interferometer
Medecki, Hector (Berkeley, CA)
1998-01-01T23:59:59.000Z
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.
Phase-shifting point diffraction interferometer
Medecki, H.
1998-11-10T23:59:59.000Z
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.
Red Shift in a Laboraory Environment
Yuriy A. Yatsunenko; Julian A. Budagov
2011-03-04T23:59:59.000Z
A hypotheses of energy loss for polarization of e-e+ vacuum by a photon passing interstellar space is considered. An excitation and relaxation of vacuum can't run with speed of light due to very small but finite fraction of e-e+ pair mass that creates a retardment in recuperation of deposited energy back to photon. This "forgotten" by many photons energy is finally splashed out in real space as a Relic Radiation. An assumption that such energy loss is proportional to a photon energy conforms to Hubble low of Red Shift and experimental data treated as accelerated expansion of Universe. A possibility of an observation of this type energy loss is considered at high-energy accelerators where energy deposition may reach up hundreds MeV in second.
Rates for Color Shifted Microlensing Events
Ari Buchalter; Marc Kamionkowski; R. Michael Rich
1995-11-08T23:59:59.000Z
If the objects responsible for gravitational microlensing (ML) of Galactic-bulge stars are faint dwarfs, then blended light from the lens will distort the shape of the ML light curve and shift the color of the observed star during the event. The resolution in current surveys is not accurate enough to observe this effect, but it should be detected with frequent and precise followup observations. We calculate the expected rates for ML events where the shape distortions will be observable by such followup observations, assuming that the lenses are ordinary main-sequence stars in a bar and in the disk. We study the dependence of the rates for color-shifted (CS) events on the frequency of followup observations and on the precision of the photometry for a variety of waveband pairings. We find that for hourly observations in $B$ and $K$ with typical photometric errors of 0.01 mag, 28\\% of the events where a main-sequence bulge star is lensed, and 7\\% of the events where the source is a bulge giant, will give rise to a measurable CS at the 95\\% confidence level. For observations in $V$ and $I$, the fractions become 18\\% and 5\\%, respectively, but may be increased to 40\\% and 13\\% by improved photometric accuracy and increased sampling frequency. We outline how the mass, distance, and transverse speed of the lens can be obtained, giving examples of typical errors. We discuss how CS events can be distinguished from events where the source is blended with a binary companion.
Turing machines based on unsharp quantum logic
Yun Shang; Xian Lu; Ruqian Lu
2012-10-02T23:59:59.000Z
In this paper, we consider Turing machines based on unsharp quantum logic. For a lattice-ordered quantum multiple-valued (MV) algebra E, we introduce E-valued non-deterministic Turing machines (ENTMs) and E-valued deterministic Turing machines (EDTMs). We discuss different E-valued recursively enumerable languages from width-first and depth-first recognition. We find that width-first recognition is equal to or less than depth-first recognition in general. The equivalence requires an underlying E value lattice to degenerate into an MV algebra. We also study variants of ENTMs. ENTMs with a classical initial state and ENTMs with a classical final state have the same power as ENTMs with quantum initial and final states. In particular, the latter can be simulated by ENTMs with classical transitions under a certain condition. Using these findings, we prove that ENTMs are not equivalent to EDTMs and that ENTMs are more powerful than EDTMs. This is a notable difference from the classical Turing machines.
Electrostatic shape-shifting ion optics
Dahl, David A.; Scott, Jill R.; Appelhans, Anthony D.
2006-05-02T23:59:59.000Z
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.
Advanced Water-Gas Shift Membrane Reactor
Sean Emerson; Thomas Vanderspurt; Susanne Opalka; Rakesh Radhakrishnan; Rhonda Willigan
2009-01-07T23:59:59.000Z
The overall objectives for this project were: (1) to identify a suitable PdCu tri-metallic alloy membrane with high stability and commercially relevant hydrogen permeation in the presence of trace amounts of carbon monoxide and sulfur; and (2) to identify and synthesize a water gas shift catalyst with a high operating life that is sulfur and chlorine tolerant at low concentrations of these impurities. This work successfully achieved the first project objective to identify a suitable PdCu tri-metallic alloy membrane composition, Pd{sub 0.47}Cu{sub 0.52}G5{sub 0.01}, that was selected based on atomistic and thermodynamic modeling alone. The second objective was partially successful in that catalysts were identified and evaluated that can withstand sulfur in high concentrations and at high pressures, but a long operating life was not achieved at the end of the project. From the limited durability testing it appears that the best catalyst, Pt-Re/Ce{sub 0.333}Zr{sub 0.333}E4{sub 0.333}O{sub 2}, is unable to maintain a long operating life at space velocities of 200,000 h{sup -1}. The reasons for the low durability do not appear to be related to the high concentrations of H{sub 2}S, but rather due to the high operating pressure and the influence the pressure has on the WGS reaction at this space velocity.
Nature of Coulomb Shifts of Nuclear Scattering Resonances
Takibayev, N.Zh. [Kazakh National Pedagogical University, Almaty (Kazakhstan)
2005-07-01T23:59:59.000Z
Relations determining the shift of energies and widths of scattering resonances are obtained within the method of evolution in the coupling constant. These relations generalize the well-known relations for the shift of levels in a discrete spectrum. The problem of determining the Coulomb shifts of low-energy resonances manifesting themselves in the cross section for the scattering of some light nuclei is solved. Examples that are of importance for nuclear astrophysics and examples of problems that are associated with the production of chemical elements are considered. The character of Coulomb shifts is studied within simple nuclear models. Respective numerical estimates are given, which agree satisfactorily with experimental data.
On the Coulomb shifts of nuclear resonances at low energies
Takibayev, N. [Center of Basic and Ecological Research, 99-35 Abaya Ave, 480072 Almaty (Kazakhstan)
2005-05-06T23:59:59.000Z
The relationship between the shift of a resonance and the interacion potential is obtained in the frame of coupling constant evolution method. Analysis of the Coulomb shifts of resonance energies and widths has been carried out for nuclear cluster systems at low energies. The nature of these shifts is investigated in the examples of p, {alpha} and p,6Li scatterings. For simplicity a model using separable potentials describing two-body nuclear scattering resonances. The results of the calculation are in accordance with experimental data. In the case of the two {alpha}-particles system the relationship shows that the Coulomb shift of {alpha}, {alpha}-resonance remains small.
The shift-invariant discrete wavelet transform and application to ...
2005-03-29T23:59:59.000Z
field of automotive sound quality engineering, and no math- ..... 6, as a time history and as a shift- ..... MacCluer from the Industrial Mathematics Program at.
Doppler shifts in the coma of Comet P/Halley
Herbig, G.H. (Hawaii Univ., Honolulu (USA))
1990-04-01T23:59:59.000Z
The relative radial velocities across 70-100 arcsecs of the coma of Comet P/Halley were measured on four days in 1985-1986 on coude CCD spectrograms in order to search for detectable Doppler shifts. The measurements show a trend of positive velocity with respect to projected distance from the nucleus. The shifts are most clearly observed at r = 1.1 AU, where the relative velocity at 10000 km amounted to 3-4 km/s. The Doppler shifts represent an integration through the whole coma. It is suggested that a proper model of the comet is needed to convert the shifts into true outflow velocities. 14 refs.
Steam Plant Operator (2nd Shift) | Princeton Plasma Physics Lab
Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)
Steam Plant Operator (2nd Shift) Department: Facilities Supervisor(s): Willam Gervasi Staff: L&S 5 Requisition Number: 1500061 Obtain the necessary skills and theoretical knowledge...
Low delay and area efficient soft error correction in arbitration logic
Sugawara, Yutaka
2013-09-10T23:59:59.000Z
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.
Trees over Infinite Structures and Path Logics with Synchronization
Spelten, Alex; Winter, Sarah; 10.4204/EPTCS.73.5
2011-01-01T23:59:59.000Z
We provide decidability and undecidability results on the model-checking problem for infinite tree structures. These tree structures are built from sequences of elements of infinite relational structures. More precisely, we deal with the tree iteration of a relational structure M in the sense of Shelah-Stupp. In contrast to classical results where model-checking is shown decidable for MSO-logic, we show decidability of the tree model-checking problem for logics that allow only path quantifiers and chain quantifiers (where chains are subsets of paths), as they appear in branching time logics; however, at the same time the tree is enriched by the equal-level relation (which holds between vertices u, v if they are on the same tree level). We separate cleanly the tree logic from the logic used for expressing properties of the underlying structure M. We illustrate the scope of the decidability results by showing that two slight extensions of the framework lead to undecidability. In particular, this applies to the ...
Hobor, Aquinas
A Specification Logic for Termination Reasoning Ton-Chanh Le, Cristian Gherghina, Aquinas Hobor a logical framework for specifying and proving asser- tions about program termination. Although termination. Here we propose to integrate termination requirements directly into our specification logic
Chapter 17 Eye-head Gaze shifts Oxford Handbook on Eye Movements
Corneil, Brian D.
1 Chapter 17 Eye-head Gaze shifts Oxford Handbook on Eye Movements "The Neural Basis of Gaze Shifts" 1. Kinematics of eye-head gaze shifts a. Terminology for describing eye-head gaze shifts b. Variability in eye and head motion during gaze shifts c. Gaze shifts in complex environments d. Bottom
Translating Answer-Set Programs into Bit-Vector Logic
Nguyen, Mai; Niemelä, Ilkka
2011-01-01T23:59:59.000Z
Answer set programming (ASP) is a paradigm for declarative problem solving where problems are first formalized as rule sets, i.e., answer-set programs, in a uniform way and then solved by computing answer sets for programs. The satisfiability modulo theories (SMT) framework follows a similar modelling philosophy but the syntax is based on extensions of propositional logic rather than rules. Quite recently, a translation from answer-set programs into difference logic was provided---enabling the use of particular SMT solvers for the computation of answer sets. In this paper, the translation is revised for another SMT fragment, namely that based on fixed-width bit-vector theories. Thus, even further SMT solvers can be harnessed for the task of computing answer sets. The results of a preliminary experimental comparison are also reported. They suggest a level of performance which is similar to that achieved via difference logic.
Logic-Based Decision Support for Strategic Environmental Assessment
Gavanelli, Marco; Milano, Michela; Cagnoli, Paolo; 10.1017/S1471068410000335
2010-01-01T23:59:59.000Z
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...
FRACTAL TILES ASSOCIATED WITH SHIFT RADIX SYSTEMS ERIE BERTH
FRACTAL TILES ASSOCIATED WITH SHIFT RADIX SYSTEMS VAL â?? ERIE BERTH â?? E, ANNE SIEGEL, WOLFGANG to fractal shapes, such as the classical Rauzy fractal and the twin dragon. These fractals turned out a collection of fractal tiles with shift radix systems. We show that for certain classes of parameters r
Control of the Lamb shift by a driving field
Yang, Shuai; Zheng, Hang; Hong, Ran; Zhu, Shi-Yao; Zubairy, M. Suhail
2010-01-01T23:59:59.000Z
A unitary transformation approach is used to study the energy level shift of the atom coupled to both a vacuum electromagnetic field and a driving laser. The Lamb shift of the energy levels is shown to depend on the Rabi frequency and the detuning...
Generalized harmonic spatial coordinates and hyperbolic shift conditions
Miguel Alcubierre; Alejandro Corichi; José A. González; Darío Núñez; Bernd Reimann; Marcelo Salgado
2005-10-24T23:59:59.000Z
We propose a generalization of the condition for harmonic spatial coordinates analogous to the generalization of the harmonic time slices introduced by Bona et al., and closely related to dynamic shift conditions recently proposed by Lindblom and Scheel, and Bona and Palenzuela. These generalized harmonic spatial coordinates imply a condition for the shift vector that has the form of an evolution equation for the shift components. We find that in order to decouple the slicing condition from the evolution equation for the shift it is necessary to use a rescaled shift vector. The initial form of the generalized harmonic shift condition is not spatially covariant, but we propose a simple way to make it fully covariant so that it can be used in coordinate systems other than Cartesian. We also analyze the effect of the shift condition proposed here on the hyperbolicity of the evolution equations of general relativity in 1+1 dimensions and 3+1 spherical symmetry, and study the possible development of blow-ups. Finally, we perform a series of numerical experiments to illustrate the behavior of this shift condition.
Testability of non-autonomous two dimensional iterative logic array
Nagumo, Hideo
1991-01-01T23:59:59.000Z
' SCIENCE August III91 Major Subject: Electrical Engineering TESTABILITY OF NON-AUTONOMOUS T'A'0 DIMENSIONAL ITERATIVE LOGIC ARRAY A Thesis by HIDEO NAGUMO Approved as to style and content by: . . ed~ I(aran L. watson (Chair of Committee) Mi Lu... (Member) William G. Bliss (Member) Donald K. Friesen (Member) Jo Howze (Head of Department) August 1991 ABSTRACT Testability of i%on-Autonomous Two-Dimensional Iterative Logic Array. (August 1991) Hideo iX'agumo, B. S. , Shinshu University...
Weighted Logics for Nested Words and Algebraic Formal Power Series
Mathissen, Christian
2010-01-01T23:59:59.000Z
Nested words, a model for recursive programs proposed by Alur and Madhusudan, have recently gained much interest. In this paper we introduce quantitative extensions and study nested word series which assign to nested words elements of a semiring. We show that regular nested word series coincide with series definable in weighted logics as introduced by Droste and Gastin. For this we establish a connection between nested words and the free bisemigroup. Applying our result, we obtain characterizations of algebraic formal power series in terms of weighted logics. This generalizes results of Lautemann, Schwentick and Therien on context-free languages.
Using Fuzzy Logic for Automatic Analysis of Astronomical Pipelines
Lior Shamir; Robert J. Nemiroff
2005-06-27T23:59:59.000Z
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
A Logic on Subobjects and Recognizability H. J. Sander Bruggink and Barbara Konig
Boyer, Edmond
A Logic on Subobjects and Recognizability H. J. Sander Bruggink and Barbara KÂ¨onig UniversitÂ¨at Duisburg-Essen, Germany {sander.bruggink,barbara koenig}@uni-due.de Abstract. We introduce a simple logic
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
Bounded-Variable Fragments of Hybrid Logics Thomas Schwentick and Volker Weber
Schwentick, Thomas
Bounded-Variable Fragments of Hybrid Logics Thomas Schwentick and Volker Weber Fachbereich Informatik, UniversitÂ¨at Dortmund, Germany {thomas.schwentick,volker.weber}@udo.edu Abstract. Hybrid logics
John Dewey's theory of inquiry: an interpretation of a classical American approach to logic
Deters, Troy Nicholas
2006-08-16T23:59:59.000Z
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...
An architecture for intelligent sensors and fuzzy inputs for fuzzy logic controllers
Gillespie, Charles Wayne
1993-01-01T23:59:59.000Z
Many papers have shown that fuzzy logic can be successfully applied to problems that are nonlinear in nature. Specifically in the area of control, many fuzzy logic controllers (FLCS) have been shown to be excellent means of control, most notably...
Design and simulation for the fabrication of integrated semiconductor optical logic gates
Markina, Aleksandra, 1977-
2006-01-01T23:59:59.000Z
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 ...
Design of an Automatic Landing System for the Meridian UAV using Fuzzy Logic
Royer, David Andrew
2010-04-22T23:59:59.000Z
antennas attached below the wings. Fuzzy logic is determined the ideal application for an automatic landing controller based on its ability to control uncertain and nonlinear systems. Using fuzzy logic, a longitudinal automatic landing controller...
Neubauer, J.; Wood, E.
2013-01-01T23:59:59.000Z
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-01T23:59:59.000Z
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.
Omitting uncountable types, and the strength of $[0,1]$-valued logics
Caicedo, Xavier
2012-01-01T23:59:59.000Z
We study $[0,1]$-valued logics that are closed under the {\\L}ukasiewicz-Pavelka connectives; our primary examples are the the continuous logic framework of Ben Yaacov and Usvyatsov \\cite{Ben-Yaacov-Usvyatsov:2010} and the {\\L}ukasziewicz-Pavelka logic itself. The main result of the paper is a characterization of these logics in terms of a model-theoretic property, namely, an extension of the omitting types theorem to uncountable languages.
PIECEWISE LINERIZATION OF LOGIC FUNCTIONS* The work was supported by BSF under Grant 2002259
Karpovsky, Mark
]. BDDs are a standard part of many CAD systems in logic design, signal processing, and other areas where
Detection and removal of functional redundancy in multi-level logic circuits
Dorsey, David Michael
2013-02-22T23:59:59.000Z
circuit. This research will focus on finding non-traditional methods for minimizing multi-level logic circuits....
Logic-Based Outer-Approximation Algorithm for Solving Discrete-Continuous Dynamic
Grossmann, Ignacio E.
In this work we present an extension of the Logic Outer-Approximation algorithm for deal- ing with disjunctive.e. the control actions) may involve logic decisions that can be modeled as disjunctions [16], [17] giving riseLogic-Based Outer-Approximation Algorithm for Solving Discrete-Continuous Dynamic Optimization
Planar and Braided ProofNets for Multiplicative Linear Logic with Mix
Bellin, Gianluigi
in his thesis [8]. There are both logical and geometrical reasons to consider the rule of Mix ` \\GammaPlanar and Braided ProofÂNets for Multiplicative Linear Logic with Mix G. Bellin \\Lambda A of the data. Braided proofÂ nets are proofÂnets for multiplicative linear logic with Mix embedded in R 3
Abductive Analysis of Modular Logic ROBERTO GIACOBAZZI, Dipartimento di Informatica, Universit`a
Giacobazzi, Roberto
Abductive Analysis of Modular Logic Programs ROBERTO GIACOBAZZI, Dipartimento di Informatica a practical method for abductive analysis of modular logic programs. This is obtained by reversing knowledge this is the first application of abductive reasoning in dataflow analysis of logic programs
Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting
Lin, Fangzhen
Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting, Canada T6G 2H1 Abstract We propose a new definition of abduction in logic programming, and contrast Abduction in logic programming In general, given a background theory T , and an observation q to explain
A semantics for the Kakas-Mancarella procedure for abductive logic
Toni, Francesca
A semantics for the Kakas-Mancarella procedure for abductive logic programming Francesca Toni-Mancarella proof procedure for abductive logic programming with respect to an argumentation- theoretic semantics proof procedures and se- mantics for abductive logic programming. Keywords: Abduction, Argumentation. 1
A semantics for positive abductive logic programs with implicative integrity constraints
Toni, Francesca
A semantics for positive abductive logic programs with implicative integrity constraints Paolo@imperial.ac.uk Abstract We propose a novel semantics for positive abductive logic programs with implicative integrity suited to deal with several applications of abductive logic pro- gramming. Moreover, we prove that
On Logics with Two Variables Erich Gradel \\Lambda Martin Otto y
Otto, Martin
description logics used in artificial intelligence. Although the additional features are usually not first, reasoning about knowledge, artificial intelligence etc. Indeed, propositional modal logics to logics that lift some of the prominent mechanisms of extension from the modal framework to the framework
A String Diagram Calculus for Predicate Logic and C. S. Peirce's System Beta
Brady, Geraldine
A String Diagram Calculus for Predicate Logic and C. S. Peirce's System Beta Geraldine Brady, called Beta, is reformulated here in modern terms, using developments in cate- gorical logic with Peirce's system Beta, is shown to be sound and complete with respect to #12;rst-order logic. 1991 Math
Charge Recycling Sense Amplifier Based Logic: Securing Low Power Security IC's against
Charge Recycling Sense Amplifier Based Logic: Securing Low Power Security IC's against Differential Charge Recycling Sense Amplifier Based Logic is presented. This logic is derived from Sense Amplifier and confidenti- ality. For these battery-powered devices much focus is on lower power design. We have analyzed
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
A Deep Inference System for the Modal Logic S5 Phiniki Stouppa
Jäger, Gerhard
A Deep Inference System for the Modal Logic S5 Phiniki Stouppa March 1, 2006 Abstract We present a cut-admissible system for the modal logic S5 in a for- malism that makes explicit and intensive use are in exact correspondence to the modal axioms. Keywords modal logic S5, proof theory, deep inference
Deontic Logic in Computer Science ESSLI 2008 Leon van der Torre & Jrg Hansen 4 August 2008
van der Torre, Leon
Carmo (eds): Deontic Logic, Agency and Normative Systems. Springer: Berlin, 1996. EON '98: Paul McNamara, Henry Prakken (eds.): Norms, Logics and Information Systems. IOS Press: Amsterdam 1999. EON 2000: Fundamenta Informaticae, DEON special edition vol. 48 (2,3), 2001 and Nordic Journal of Philosophical Logic
Fundamenta Informaticae submission 118 1 Towards a behavioral algebraic theory of logical valuations
Lisboa, Universidade Técnica de
of logical valuations Carlos Caleiro SQIG-Instituto de Telecomunicac¸~oes and Dept. Mathematics, IST, TU the applicability of the traditional methods of algebraic logic to a wider range of logical systems, possibly version of algebraic valuation semantics was proposed in order to fill in this gap. Herein, we define
Logic and the set theory Lecture 20: The set theory (NS)
Choi, Suhyoung
Logic and the set theory Lecture 20: The set theory (NS) S. Choi Department of Mathematical Science KAIST, Daejeon, South Korea Fall semester, 2012 S. Choi (KAIST) Logic and set theory November 20, 2012 1 / 14 #12;Introduction About this lecture Further set theory S. Choi (KAIST) Logic and set theory
Belief Revision through Forgetting Conditionals in Conditional Probabilistic Logic Programs
Liu, Weiru
of probabilistic belief revising, most research focuses on revising a single probabilistic distribution [5, 1, 8, 4Belief Revision through Forgetting Conditionals in Conditional Probabilistic Logic Programs Anbu Yue 1 and Weiru Liu 1 Abstract. In this paper, we present a revision strategy of revis- ing
On the Logic of Iterated Non-prioritised Richard Booth
Booth, Richard
, and of iterated revision [3, 5, 7, 8, 17, 21], i.e., the study of the behaviour of an agent's beliefs underOn the Logic of Iterated Non-prioritised Revision Richard Booth Department of Computer Science. We look at iterated non-prioritised belief revision, using as a starting point a model of non
Oak Ridge National Laboratory Technology Logic Diagram. Executive Summary
Not Available
1993-06-30T23:59:59.000Z
This executive summary contains a description of the logic diagram format; some examples from the diagram (Vol. 2) and associated technology evaluation data sheets (Vol. 3); a complete (albeit condensed) listing of the RA, D&D, and WM problems at ORNL; and a complete listing of the technology rankings for all the areas covered by the diagram.
A Logic of Emotions for Intelligent Agents Bas R. Steunebrink
Dastani, Mehdi
A Logic of Emotions for Intelligent Agents Bas R. Steunebrink Department of ICS Utrecht University Utrecht, The Netherlands bass@cs.uu.nl Mehdi Dastani Department of ICS Utrecht University Utrecht, The Netherlands mehdi@cs.uu.nl John-Jules Ch. Meyer Department of ICS Utrecht University Utrecht, The Netherlands
Semantic Web Verification: Verifying Reasoning in the Logic ALC
Alonso, JosÃ© A.
of systems for semantic interoperability in critical systems, the trust problem lifts to another: the trust Computacional Dpto. de Ciencias de la ComputaciÃ³n e Inteligencia Artificial Universidad de Sevilla Sevilla, 27 reasoning services in the logic ALC , formalized in the PVS system. Contents 1 Introduction 2 2 Overview
The Role of Fuzzy Logic Control in Evolutionary Robotics
Hoffmann, Frank
- jective, soft computing employs a variety of methodologies, fuzzy logic, neural networks, probabilistic applications of genetic-fuzzy systems in detail, adapting a wall-following behavior of a mobile robot and incomplete perceptual information and imprecise actuators. Fuzzy systems employ a mode of approximate
Weak Order Equivalence for Logic Programs with Preferences
Schaub, Torsten
Weak Order Equivalence for Logic Programs with Preferences Kathrin Konczak Institut fÂ¨ur Informatik, notions of equivalence for Answer Set Programming have been stud- ied intensively and were shown to be beneficial for modular programming and automated optimization. In [9], the novel notion of strong equivalence
Implementing Weighted Abduction in Markov Logic James Blythe
Anderson, Richard
Implementing Weighted Abduction in Markov Logic James Blythe USC ISI blythe@isi.edu Jerry R. Hobbs@cs.utexas.edu Abstract Abduction is a method for finding the best explanation for observations. Arguably the most advanced approach to abduction, especially for natural language processing, is weighted abduction, which
Distributed Temporal Logic for the Analysis of Security Protocol Models
Basin, David
, showing that it is sufficient to consider models in which the intruder completely controls the networkDistributed Temporal Logic for the Analysis of Security Protocol Models David Basin Department to reason about and relate different security-protocol models. This includes reasoning about model
The Description Logic ALCN HR+ Extended with Concrete Domains
Moeller, Ralf
The Description Logic ALCN HR+ Extended with Concrete Domains: A Practically Motivated Approach, role hierarchies, transitively closed roles, generalized concept inclusions, and concrete domains. As in other languages based on concrete domains (e.g. ALC(D)) a so-called ex- istential predicate restriction
The Description Logic ALCNHR + Extended with Concrete Domains
Haarslev, Volker
The Description Logic ALCNHR + Extended with Concrete Domains: A Practically Motivated Approach restrictions, role hierarchies, transitively closed roles, generalized concept inclusions, and concrete domains. As in other languages based on concrete domains (e.g. ALC(D)) a soÂcalled exÂ istential predicate restriction
NExpTime-complete Description Logics with Concrete Domains
Baader, Franz
NExpTime-complete Description Logics with Concrete Domains Carsten Lutz LuFG Theoretical Computer Science RWTH Aachen, Germany lutz@cs.rwth-aachen.de Abstract. Concrete domains are an extension \\concrete properties" of objects such as sizes, weights, and durations. It is known that reasoning with ALC
Rules + Strategies for Transforming Lazy Functional Logic Programs
Vidal, GermÃ¡n
narrowing, the optimal and complete operational principle for mod- ern declarative languages which integrate the power of the system by taking on in our setting two well-known transformation strategies (compositionRules + Strategies for Transforming Lazy Functional Logic Programs MarÂ´ia Alpuente a Moreno
Algorithm and intelligent tutoring system design for ladder logic programming
Cheng, Yuan-Teng
2009-05-15T23:59:59.000Z
knowledge. The problem here is how to design a web-based system that is intelligent and adaptive enough to teach the students domain knowledge in Programmable Logic Controller (PLC). In my research, I proposed a system architecture which combines the pre...
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
A Complete Axiomatization of Differential Game Logic for Hybrid Games
15213 This report is an updated version superseding the earlier report CMU-CS-12-105 [Pla12b from hybrid systems. Finally, dGL is proved to be strictly more expressive than the corresponding logic of hybrid systems. #12;#12;Andr´e Platzer1 Introduction Hybrid systems [NK92, ACH+ 95, Hen96, BBM98, DN00
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 in it, sufficiently high to make our attitude towards it one of belief. Foley goes on to suggest
Online Horizon Selection in Receding Horizon Temporal Logic Planning
Murray, Richard M.
- ative, short horizon solutions, using the currently observed state to compute a control strategy synthesis for temporal logic, but have thus far been limited by pursuing a single sequence of short horizon problems to the current goal. We propose a receding horizon algorithm for reactive synthesis that au
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
1 Resolution 1.1 Resolution in propositional logic
Charatonik, Witold
is satisfiable if there exists a valuation such that ^() = T for all F; otherwise we say that F consequence of F if all valuations satisfying F also satisfy . Observation 3. A formula is a logical the soundness theorem for resolution method (If there exists a resolution proof of inconsistency of a set
Semantic Operators and Fixed-Point Theory in Logic Programming
Hitzler, Pascal
valuations to (sets of) valuations in the con- text of the semantics of logic programming lan- guages- junction with order theory, to establish methods by which one can #12;nd the #12;xed points of the op an operator F which maps valuations to (sets of) valuations and to consider its #12;xed points. The latter may
dam logic: qualitative reasoning about benthic macroinvertebrate responses
Tullos, Desiree
dam logic: qualitative reasoning about benthic macroinvertebrate responses to dam removal desiree reliability of biotic and abiotic indicators (e.g. responsiveness to dam removal, detectability, feasibility relationships "there appears to be a wide range of ecological responses to dam removal. It is therefore
SALT---Structured Assertion Language for Temporal Logic
Leucker, Martin
SALT---Structured Assertion Language for Temporal Logic Andreas Bauer, Martin Leucker,leucker,streit}@informatik.tumuenchen.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
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
Towards automatic verification of ladder logic Bohumir Zoubek
Oxford, University of
Birmingham, B15 2TT United Kingdom Email: mzk@cs.bham.ac.uk Abstract-- Control system programs are usually techniques of automatic verification to a control program written in ladder logic. A model is constructed procedures for control programs. I. INTRODUCTION Control systems are used in many applications of process
Rewriting Logic as a Unifying Framework for Petri Nets
Meseguer, JosÃ©
Rewriting Logic as a Unifying Framework for Petri Nets Mark-Oliver Stehr, Jos#19;e Meseguer as a unifying framework for a wide range of Petri nets models. We treat in detail place/transition nets that \\Petri nets are monoids" suggested by Meseguer and Montanari we de#12;ne a rewriting semantics that maps
Coordination of Excitation and Governing Control Based on Fuzzy Logic
its security limit. The issue of power system stability is becoming more crucial. The excitation, Transient stability, Fuzzy logic, Excitation and governing control. 1. Introduction Power system stability, Tsinghua University, China Abstract: In deregulated power systems, competition could push the system near
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
Representing a Robotic Domain Using Temporal Description Logics
Franconi, Enrico
Representing a Robotic Domain Using Temporal Description Logics Alessandro Artale artale@irst.itc effects; effects may not directly follow the action but more complex temporal relations may hold describes a collection of properties of the world holding at a certain time. Actions are represented through
Complexity and Expressive Power of Logic Programming EVGENY DANTSIN
Dantsin, Evgeny
, IL, USA THOMAS EITER, GEORG GOTTLOB Vienna University of Technology, Austria AND ANDREI VORONKOV with function symbols. Next to classical results on plain logic programming (pure Horn clause programs), more of Computer Science and Telecommunica- tions, 430 South Michigan Ave, Chicago, IL 60605, USA; email: edantsin
Buffer Minimization in Pass Transistor Logic Advanced Technology Group
Zhou, Hai
function cells and four inverters with various drive capabilities. The approach in [2] also utilizesBuffer Minimization in Pass Transistor Logic Hai Zhou Advanced Technology Group Synopsys, Inc are inverters, where phase assignment need to be done with buffer insertion. Exper iments are done on MCNC
Carbon Nanotube Transistor Arrays for Multistage Complementary Logic and
Ural, Ant
and resistors.5 Several issues need to be addressed in order to impart complexity and advanced functionality, Qian Wang, Ant Ural, Yiming Li, and Hongjie Dai* Department of Chemistry and Laboratory for AdVanced into field effect transistors (FETs)1 and intratube p-n junctions.3,4 Inverters, the simplest form of logic
A Novel Hardware Logic Encryption Technique for thwarting Illegal Overproduction
Boyer, Edmond
A Novel Hardware Logic Encryption Technique for thwarting Illegal Overproduction and Hardware. The different types of threats include mask theft, illegal overproduction, as well as the insertion of malicious of the manufactured ICs. One way to protect the ICs from mask theft and illegal overproduction is to encrypt
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
Lamb shift enhancement and detection in strongly driven superconducting circuits
Vera Gramich; Simone Gasparinetti; Paolo Solinas; Joachim Ankerhold
2014-05-06T23:59:59.000Z
It is shown that strong driving of a quantum system substantially enhances the Lamb shift induced by broadband reservoirs which are typical for solid-state devices. By varying drive parameters the impact of environmental vacuum fluctuations with continuous spectral distribution onto system observables can be tuned in a distinctive way. This provides experimentally feasible measurement schemes for the Lamb shift in superconducting circuits based on Cooper pair boxes, where it can be detected either in shifted dressed transition frequencies or in pumped charge currents.
Detection of a small shift in a broad distribution
Bernd A. Berg
2014-09-05T23:59:59.000Z
Statistical methods for the extraction of a small shift in broad data distributions are examined by means of Monte Carlo simulations. This work was originally motivated by the CERN neutrino beam to Gran Sasso (CNGS) experiment for which the OPERA detector collaboration reported a time shift in a broad distribution with an accuracy of $\\pm 7.8\\,$ns, while the fluctuation of the average time turns with $\\pm 23.8\\,$ns out to be much larger. Although the physical result of a big shift has been withdrawn, statistical methods that make an identification in a broad distribution with such a small error possible remain of interest.
NONE
1994-09-01T23:59:59.000Z
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.
Pratt, Vaughan
In Proceedings of IEEE Logic in Computer Science, 2003 Proof Nets for UnitÂfree Multiplicative GLABBEEK Stanford University rvg@cs.stanford.edu A cornerstone of the theory of proof nets for unit this key feature: a host of cutÂfree monomial proof nets can correspond to the same cutÂfree proof. Thus
Pratt, Vaughan
In Proceedings of IEEE Logic in Computer Science, 2003 Proof Nets for Unit-free Multiplicative GLABBEEK Stanford University rvg@cs.stanford.edu A cornerstone of the theory of proof nets for unit this key feature: a host of cut-free monomial proof nets can correspond to the same cut-free proof. Thus
Consistent blind protein structure generation from NMR chemical shift data
Baker, David
Consistent blind protein structure generation from NMR chemical shift data Yang Shen*, Oliver Lange been successfully applied in a blind manner to nine protein targets with molecular masses up to 15.4 k
Pervasive poleward shifts among North American bird species
Peterson, A. Townsend; Martí nez-Meyer, Enrique
2009-01-01T23:59:59.000Z
Climate change is expected to influence species’ geographic distributions in the form of poleward and upward range expansion combined with extirpations from the equatorial and downslope sides of the distribution, but such shifts observed to date...
Communicating 21st century statecraft: Evaluating the paradigm shift argument
Chinn, Jacquelyn Nicole
2011-10-21T23:59:59.000Z
This project examines how social media is being used by individuals within the State Department engaged in public diplomacy and how the use of these technologies may or may not represent a paradigm shift in diplomatic operation. Assessments...
Pace of shifts in climate regions increases with global temperature
Mahlstein, Irina
Human-induced climate change causes significant changes in local climates, which in turn lead to changes in regional climate zones. Large shifts in the world distribution of Köppen–Geiger climate classifications by the end ...
Evaluating Emergency Medicine Faculty at End-of-Shift
Kovach, Regina A; Griffen, David L; Francis, Mark L
2010-01-01T23:59:59.000Z
Evaluating Emergency Medicine Faculty at End-of-Shift Sternclinical teaching in medicine. J Med Educ.198;56:181-6.residents in an emergency medicine program: a new evaluation
Adaptive control of hydraulic shift actuation in an automatic transmission
Thornton, Sarah Marie
2013-01-01T23:59:59.000Z
A low-order dynamic model of a clutch for hydraulic control in an automatic transmission is developed by separating dynamics of the shift into four regions based on clutch piston position. The first three regions of the ...
Application and protection considerations of large phase shifting transformers
Sen, P.K. (Colorado Univ., Denver, CO (USA). Dept. of Electrical and Computer Engineering); Craig, B.R. (Black and Veatch Engineers/Architects, Denver, CO (US))
1989-01-01T23:59:59.000Z
A phase shifting transformer is used to control the real power flow in a transmission system where loop flow causes problems. The cost of this type of transformer may be several million dollars. Due to complexity of the design of these units, the protective relaying requires special attention. This paper discusses the theory of operation, modelling and construction of phase shifting transformers. Fundamentals of protection scheme design for this special equipment are discussed.
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-01T23:59:59.000Z
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.
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
Changbiao Wang
2012-10-24T23:59:59.000Z
It is shown without making use of Lorentz transformation that there exists a phenomenon of relativistic zero-frequency shift in Doppler effect for a plane wave in free space, observed in two inertial frames of relative motion, and the zero shift takes place at a maximum aberration of light. When it is applied to analysis of a moving point light source, two unconventional physical implications result: (1) a light source, when it is approaching (moving closer to) the observer, may cause a red shift; (2) a zero-frequency-shift observation does not necessarily mean that the light source is not moving closer, and in contrast, the light source may be moving closer to the observer at a high speed. This fundamental result of special relativity may provide an alternative way to experimentally examine the principle of relativity, and might have a significant application in astrophysics.
Ladislav J. Kohout
2003-10-12T23:59:59.000Z
The present paper extends generalized morphisms of relations into the realm of Monoidal Fuzzy Logics by first proving and then using relational inequalities over pseudo-associative BK-products (compositions) of relations in these logics. In 1977 Bandler and Kohout introduced generalized homomorphism, proteromorphism, amphimorphism, forward and backward compatibility of relations, and non-associative and pseudo-associative products (compositions) of relations into crisp (non-fuzzy Boolean) theory of relations. This was generalized later by Kohout to relations based on fuzzy Basic Logic systems (BL) of H\\'ajek and also for relational systems based on left-continuous t-norms. The present paper is based on monoidal logics, hence it subsumes as special cases the theories of generalized morphisms (etc.) based on the following systems of logics: BL systems (which include the well known Goedel, product logic systems; Lukasiewicz logic and its extension to MV-algebras related to quantum logics), intuitionistic logics and linear logics.
PdZnAl Catalysts for the Reactions of Water-Gas-Shift, Methanol...
Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)
PdZnAl Catalysts for the Reactions of Water-Gas-Shift, Methanol Steam Reforming, and Reverse-Water-Gas-Shift. PdZnAl Catalysts for the Reactions of Water-Gas-Shift, Methanol Steam...
Oak Ridge K-25 Site Technology Logic Diagram
Fellows, R.L. (ed.)
1993-02-26T23:59:59.000Z
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.
Oak Ridge K-25 Site Technology Logic Diagram
Fellows, R.L. (ed.)
1993-02-26T23:59:59.000Z
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.
Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics
Lutz, Carsten
2011-01-01T23:59:59.000Z
We study uniform interpolation and forgetting in the description logic ALC. Our main results are model-theoretic characterizations of uniform inter- polants and their existence in terms of bisimula- tions, tight complexity bounds for deciding the existence of uniform interpolants, an approach to computing interpolants when they exist, and tight bounds on their size. We use a mix of model- theoretic and automata-theoretic methods that, as a by-product, also provides characterizations of and decision procedures for conservative extensions.
Drug repositioning and indication discovery using description logics
Croset, Samuel
2014-10-07T23:59:59.000Z
behind the repurposing. Understanding the logic backing the 21 findings is paramount in order to build successful predictive methods later on. 1.2.1 Sildenafil: repositioning from clinical side-effects The National Health Service (NHS) defines angina as a... breast cancer preventive properties. This drug is an example of smart and continuous development, expanding from one indication to another. The fundamental reasons behind the repositioning are grounded on early-stage experimental evidence and not due to a...
New Polynomial Classes for Logic-Based Abduction
Zanuttini, B
2011-01-01T23:59:59.000Z
We address the problem of propositional logic-based abduction, i.e., the problem of searching for a best explanation for a given propositional observation according to a given propositional knowledge base. We give a general algorithm, based on the notion of projection; then we study restrictions over the representations of the knowledge base and of the query, and find new polynomial classes of abduction problems.
1.1 (predicate logic) 1.1 ( (term))
Minamide, Yasuhiko
2002 1 1.1 (predicate logic) 1.1 ( (term)) Â· c Â· x Â· f(t1, . . ., tn) (f n ) 1.2 ( (formula)) Â· p(t1, . . ., tn) (p n ) ( (atomic formula)) Â· Â¬P (negation) Â· P Q , (disjunction), P Q , (conjunction) Â· x.P , x.P 1.3 ( (interpretation)) M = (D, I) Â· D: Â· I(a) D Â· I(f) D Ã? . . . Ã? D D (f , n ) Â· I
Oak Ridge K-25 Site Technology Logic Diagram
Fellows, R.L. (ed.)
1993-02-26T23:59:59.000Z
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 (ER) and waste management (WN) problems at the Oak Ridge K-25 Site. The TLD technique identifies the research necessary to develop these technologies to a state that allows for technology transfer and application to waste management, remediation, 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 volume 3 B provides the Technology Evaluation Data Sheets (TEDS) for ER/WM activities (Remedial Action Robotics and Automation, Waste Management) that are referenced by a TEDS code number in Vol. 2 of the TLD. Each of these sheets represents a single logic trace across the TLD. These sheets contain more detail than each technology in Vol. 2. The TEDS are arranged alphanumerically by the TEDS code number in the upper right corner of each data sheet. Volume 3 can be used in two ways: (1) technologies that are identified from Vol. 2 can be referenced directly in Vol. 3 by using the TEDS codes, and (2) technologies and general technology areas (alternatives) can be located in the index in the front of this volume.
Knutson, Kristine Marie
2014-05-31T23:59:59.000Z
Guided by equity theory and the distributive justice perspective, this study examined the explanatory role of positive communication behaviors (i.e., collaborative communication and non-aggressive communication) when looking ...
Resonance frequency shift of strongly heated micro-cantilevers
Sandoval, Felipe Aguilar; Bertin, Éric; Bellon, Ludovic
2015-01-01T23:59:59.000Z
In optical detection setups to measure the deflection of micro-cantilevers, part of the sensing light is absorbed, heating the mechanical probe. We present experimental evidences of a frequency shift of the resonant modes of a cantilever when the light power of the optical measurement set-up is increased. This frequency shift is a signature of the temperature rise, and presents a dependence on the mode number. An analytical model is derived to take into account the temperature profile along the cantilever, it shows that the frequency shifts are given by an average of the profile weighted by the local curvature for each resonant mode. We apply this framework to measurements in vacuum and demonstrate that huge temperatures can be reached with moderate light intensities: a thousand {\\textdegree}C with little more than 10 mW. We finally present some insight into the physical phenomena when the cantilever is in air instead of vacuum.
Nature of the Frequency Shift of Hydrogen Valence Vibrations
Zhyganiuk, I V
2015-01-01T23:59:59.000Z
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.
Precision Measurement of Transition Matrix Elements via Light Shift Cancellation
C. D. Herold; V. D. Vaidya; X. Li; S. L. Rolston; J. V. Porto; M. S. Safronova
2012-08-21T23:59:59.000Z
We present a method for accurate determination of atomic transition matrix elements at the 10^{-3} level. Measurements of the ac Stark (light) shift around "magic-zero" wavelengths, where the light shift vanishes, provide precise constraints on the matrix elements. We make the first measurement of the 5s-6p matrix elements in rubidium by measuring the light shift around the 421 nm and 423 nm zeros with a sequence of standing wave pulses. In conjunction with existing theoretical and experimental data, we find 0.3236(9) e a_0 and 0.5230(8) e a_0 for the 5s-6p_{1/2} and 5s-6p_{3/2} elements, respectively, an order of magnitude more accurate than the best theoretical values. This technique can provide needed, accurate matrix elements for many atoms, including those used in atomic clocks, tests of fundamental symmetries, and quantum information.
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 [Department Radiation, Radionuclides and Reactors, Faculty of Applied Sciences, Delft University of Technology, Mekelweg 15, 2629 JB Delft (Netherlands); STFC, ISIS, Rutherford Appleton Laboratory, Chilton, Oxfordshire, OX11 0QX (United Kingdom)
2010-01-08T23:59:59.000Z
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.
Quantum engineering of atomic phase-shifts in optical clocks
T. Zanon-Willette; S. Almonacil; E. de Clercq; A. D. Ludlow; E. Arimondo
2014-11-14T23:59:59.000Z
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.
Cappers, Peter; Satchwell, Andrew; Goldman, Charles; Schlegel, Jeff
2010-08-06T23:59:59.000Z
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.
System for computer controlled shifting of an automatic transmission
Patil, Prabhakar B. (Detroit, MI)
1989-01-01T23:59:59.000Z
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.
Method and apparatus for executing a shift in a hybrid transmission
Gupta, Pinaki; Kaminsky, Lawrence A; Demirovic, Besim
2013-09-03T23:59:59.000Z
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.
Lindstr\\"om theorems for fragments of first-order logic
van Benthem, Johan; Väänänen, Jouko
2009-01-01T23:59:59.000Z
Lindstr\\"om theorems characterize logics in terms of model-theoretic conditions such as Compactness and the L\\"owenheim-Skolem property. Most existing characterizations of this kind concern extensions of first-order logic. But on the other hand, many logics relevant to computer science are fragments or extensions of fragments of first-order logic, e.g., k-variable logics and various modal logics. Finding Lindstr\\"om theorems for these languages can be challenging, as most known techniques rely on coding arguments that seem to require the full expressive power of first-order logic. In this paper, we provide Lindstr\\"om theorems for several fragments of first-order logic, including the k-variable fragments for k>2, Tarski's relation algebra, graded modal logic, and the binary guarded fragment. We use two different proof techniques. One is a modification of the original Lindstr\\"om proof. The other involves the modal concepts of bisimulation, tree unraveling, and finite depth. Our results also imply semantic pre...
FO(FD): Extending classical logic with rule-based fixpoint definitions
Ping, Hou; Denecker, Marc; 10.1017/S1471068410000293
2010-01-01T23:59:59.000Z
We introduce fixpoint definitions, a rule-based reformulation of fixpoint constructs. The logic FO(FD), an extension of classical logic with fixpoint definitions, is defined. We illustrate the relation between FO(FD) and FO(ID), which is developed as an integration of two knowledge representation paradigms. The satisfiability problem for FO(FD) is investigated by first reducing FO(FD) to difference logic and then using solvers for difference logic. These reductions are evaluated in the computation of models for FO(FD) theories representing fairness conditions and we provide potential applications of FO(FD).
Mancarella, P; Sadri, F; Toni, F; Endriss, U
2009-01-01T23:59:59.000Z
We present the CIFF proof procedure for abductive logic programming with constraints, and we prove its correctness. CIFF is an extension of the IFF proof procedure for abductive logic programming, relaxing the original restrictions over variable quantification (allowedness conditions) and incorporating a constraint solver to deal with numerical constraints as in constraint logic programming. Finally, we describe the CIFF system, comparing it with state of the art abductive systems and answer set solvers and showing how to use it to program some applications. (To appear in Theory and Practice of Logic Programming - TPLP).
Bacher-Gresock, Bethaney; Schwarzer, Julianne Siegel
2009-01-01T23:59:59.000Z
2006. Eco-Logical: An Ecosystem Approach to Developinghabitat and essential ecosystems. There are a variety ofdo very little to promote ecosystem sustainability. Concern
The Availability of Logical Operation Induced by Dichotomous Noise for a Nonlinear Bistable System
Yong Xu; Xiaoqin Jin; Huiqing Zhang; Tingting Yang
2013-09-04T23:59:59.000Z
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.
Hydrogen Raman shifts in carbon nanotubes from molecular dynamics simulation
Brenner, Donald W.
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
Surface alloying of immiscible metals induced by surface state shift
Che, Jingguang
, and topography; Silver; Gold; Copper; Tungsten; Molybdenum 1. Introduction Surface alloying has been a subjectSurface alloying of immiscible metals induced by surface state shift X.K. Shu, P. Jiang, J.G. Che) surface to form the substitutional surface alloys, despite the fact that they do not like to form alloy
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 With the green light from co-founder and CEO Larry Page to expand, the team from Google Energy, a recently created subsidiary, sat down to discuss the company's renewable energy investment strategy.1 Google Energy
Jrgen Alheit A BRIEF OVERVIEW OF THE REGIME SHIFT
shifts in the mean. Several approaches can be distinguished: 1. Parametric methods, such as the classical-order statistics, such as the variance and power spectrum (Tables 2 and 3). A separate group of methods includes., 2003). Strong theoretical basis. Robust to the assumption of normality and equality of variances. Data
SHIFTING MODES? TRANSPORTATION AND URBAN DEVELOPMENT PATTERNS IN
Kammen, Daniel M.
& saving energy in transport via mode shifts? Prospects for the future #12;I - Factors affecting travel% 100% #12;Trends in VMT 1970-2010 0 500000 1000000 1500000 2000000 2500000 3000000 3500000 3 billion miles a mo Flattening out last few years: recession, prices, aging population, ....???? Transit
Genetic shift in photoperiodic response correlated with global warming
Cochran-Stafira, D. Liane
Genetic shift in photoperiodic response correlated with global warming William E. Bradshaw observed in insects, birds, amphibians, and plants associated with global warm- ing during the latter half- tent with an adaptive evolutionary response to recent global warming. The latter half of the 20th
Definite Descriptions, Focus Shift, and a Theory of Discourse Interpretation
Poesio, Massimo
Definite Descriptions, Focus Shift, and a Theory of Discourse Interpretation Massimo Poesio Centre of situations and their hierarchical organization. 1 Ingredients of a Theory of Definite Description InterÂ pretation A theory of definite description (DD) interpretation must build on a general theory of discourse
Which beta-shifts have a largest invariant measure? Vasso Anagnostopoulou & Oliver Jenkinson
Jenkinson, Oliver
Which beta-shifts have a largest invariant measure? Vasso Anagnostopoulou & Oliver Jenkinson Abstract. For a given beta-shift, the lexicographic order induces a partial order (known as first beta-shifts for which this partial order has a largest element. These beta-shifts are all of finite
Terwilliger, K M
1957-01-01T23:59:59.000Z
Suppression of radio frequency knock out in stacked beams by phase shifting the betatron oscillations
Parallel decomposition of the logical link control protocol
Bajpai, Dhruv Haribanshnath
1991-01-01T23:59:59.000Z
INTRODUCTION II PROTOCOLS AND FINITE STATE MACHINES A. PROTOCOLS B. FINITE STATE MACHINES III LOGICAL LINK CONTROL PROTOCOL 1V LLC STATE TABLE DESCRIPTION A. LLC STATES V THE PS I ARCHITECTURE VI RESULTS A. LINK INITIALIZATION SUBMACHINES . . B... expressions that govern the transition are given below Bin I (A) SET ABME+ SET ABME (Ts=Vc=O, Vi=0) + SET ABME (Ts=Vc&, Vi =RIp). (B) DEACTIVATE LS. (G) ENTER LCL Busy + EXIT LCL Busy + LPDU Invalid + SEND XID + SET ADM+ Ti Expired+ Tl Expired+ TEST LINK...
Fuzzy logic approach in determining the range of electric vehicle
Singh, H.; Bawa, H.S.; Barada, S.; Bryant, B.; Anneberg, L. [Wayne State Univ., Detroit, MI (United States). Dept. of Electrical and Computer Engineering
1994-12-31T23:59:59.000Z
Some efforts are underway in the automobile industry to determine the distance which an electric car will be able to traverse based on some typical battery conditions. A software package DIANE for modelling battery performance in electric vehicles has recently been developed by Marr, Walsh and Symons (1990). The objective of this paper is to introduce fuzzy logic approach in applying correction factor to the range determined by DIANE. The overall algorithm has been implemented for 8 different cars and 5 different batteries. 5 refs.
242-A Control System device logic software documentation. Revision 2
Berger, J.F.
1995-05-19T23:59:59.000Z
A Distributive Process Control system was purchased by Project B-534. This computer-based control system, called the Monitor and Control System (MCS), was installed in the 242-A Evaporator located in the 200 East Area. The purpose of the MCS is to monitor and control the Evaporator and Monitor a number of alarms and other signals from various Tank Farm facilities. Applications software for the MCS was developed by the Waste Treatment System Engineering Group of Westinghouse. This document describes the Device Logic for this system.
Oak Ridge K-25 Site Technology Logic Diagram
Fellows, R.L. (ed.)
1993-02-26T23:59:59.000Z
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.
Walsh-synthesized noise-filtering quantum logic
H. Ball; M. J. Biercuk
2014-10-07T23:59:59.000Z
We study a novel class of open-loop control protocols constructed to perform arbitrary nontrivial single-qubit logic operations robust against time-dependent non-Markovian noise. Amplitude and phase modulation protocols are crafted leveraging insights from functional synthesis and the basis set of Walsh functions. We employ the experimentally validated generalized filter-transfer function formalism in order to find optimized control protocols for target operations in SU(2) by defining a cost function for the filter-transfer function to be minimized through the applied modulation. Our work details the various techniques by which we define and then optimize the filter-synthesis process in the Walsh basis, including the definition of specific analytic design rules which serve to efficiently constrain the available synthesis space. This approach yields modulated-gate constructions consisting of chains of discrete pulse-segments of arbitrary form, whose modulation envelopes possess intrinsic compatibility with digital logic and clocking. We derive novel families of Walsh-modulated noise filters designed to suppress dephasing and coherent amplitude-damping noise, and describe how well-known sequences derived in NMR also fall within the Walsh-synthesis framework. Finally, our work considers the effects of realistic experimental constraints such as limited modulation bandwidth on achievable filter performance.
Logical Error Rate Scaling of the Toric Code
Fern H. E. Watson; Sean D. Barrett
2014-09-26T23:59:59.000Z
To date, a great deal of attention has focused on characterizing the performance of quantum error correcting codes via their thresholds, the maximum correctable physical error rate for a given noise model and decoding strategy. Practical quantum computers will necessarily operate below these thresholds meaning that other performance indicators become important. In this work we consider the scaling of the logical error rate of the toric code and demonstrate how, in turn, this may be used to calculate a key performance indicator. We use a perfect matching decoding algorithm to find the scaling of the logical error rate and find two distinct operating regimes. The first regime admits a universal scaling analysis due to a mapping to a statistical physics model. The second regime characterizes the behavior in the limit of small physical error rate and can be understood by counting the error configurations leading to the failure of the decoder. We present a conjecture for the ranges of validity of these two regimes and use them to quantify the overhead -- the total number of physical qubits required to perform error correction.
LMA/ITP. Logic Machine Architecture for UNIX
Lusk, E.L.; Overbeek, R.A. [Argonne National Lab., IL (United States)
1992-03-02T23:59:59.000Z
LMA (Logic Machine Architecture) is a set of software tools for the construction of automated reasoning systems. It is a layered architecture for the creation of inference engines. Layer 1 of the architecture supports the functions required to maintain a database of logical formulas. Layer 2 includes the functions required to construct clause-based reasoning systems, such as ITP. LMA includes most resolution inference mechanisms, paramodulation, demodulation, subsumption, weighting, and a variety of other features. This release is identified by the authors as version 2.0 of LMA. It was developed with the explicit goal of avoiding restrictions on items such as literals/clause, variables/clause, etc. ITP, an example interactive theorem prover implemented using the LMA tools, is in itself adequate for many research and educational purposes. ITP, in LMA terminology, is considered a Layer 3 program. ITP is a clause-based reasoning system supporting a wide variety of techniques which have proven valuable over the years in a long-running automated deduction research project. In addition, it is designed to present a convenient, interactive interface to its user. Two DEC VAX11 editions of LMA, ITP are available. One is written for use with DEC VAX VMS systems, and the other edition, edition B, is for use with DEC VAX Berkeley UNIX systems.
Belief Revision of Logic Programs under Answer Set Semantics James Delgrande
Delgrande, James P.
Belief Revision of Logic Programs under Answer Set Semantics James Delgrande School of Computing Science Simon Fraser University Burnaby, B.C. Canada V5A 1S6 Torsten Schaub Institut fÂ¨ur Informatik Abstract We address the problem of belief revision in (nonmonotonic) logic programming under answer set
Workshop on Linear Logic Geometry of Interaction, Traced Monoidal Categories and Implicit Complexity
Banbara, Mutsunori
on Linear Logic Geometry of Interaction, Traced Monoidal Categories and Implicit Complexity of Interaction for Polarized Linear Logic We present a Geometry of Interaction (GoI) model for the multiplicative & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & & Date: 7th November 2011 11th November 2011 Venue: Room 110, Faculty of Science Building No.3, Kyoto
Artificial Intelligence 58 (1992) 3-20 3 The logic of
Mackworth, Alan K.
Artificial Intelligence 58 (1992) 3-20 3 Elsevier ARTINT 948 The logic of satisfaction constraint, Canada V6T 1W5 Abstract Mackworth, A.K., The logic of constraint satisfaction, Artificial Intelligence 58 Artificial Intelligence and related areas. The finite CSP (FCSP) framework is presented here as a restricted
Flow resistance for microfluidic logic operations Tor Vestad and David W. M. Marra)
Munakata, Toshinori
Flow resistance for microfluidic logic operations Tor Vestad and David W. M. Marra) Chemical for the actuation of both one- and two-input microfluidic "logical gates". By taking advantage of system of Physics. [DOI: 10.1063/1.1764592] As microfluidic processes are scaled down to smaller and smaller length
Trigger-Wave Propagation in Arbitrary Metrics in Asynchronous Cellular Logic Arrays
Dudek, Piotr
Trigger-Wave Propagation in Arbitrary Metrics in Asynchronous Cellular Logic Arrays Przemyslaw image processing tasks using trigger-wave propagation in a medium with a hardware-controlled metric. The principles of wave propagation in cellular four-connected logic arrays emulating different distance measure
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
Complexity of Abduction in the EL Family of Lightweight Description Logics
Baader, Franz
Complexity of Abduction in the EL Family of Lightweight Description Logics Meghyn Bienvenu IRIT-based abduction has been exten- sively studied for the case in which the background knowl- edge is represented by a propositional theory, but very little is known about abduction with respect to description logic knowledge bases
Universit a degli Studi di Bologna Using Abductive Logic Agents for
Torroni, Paolo
Universit#18;a degli Studi di Bologna DEIS Using Abductive Logic Agents for Legal Justi#12;cation A Abductive Logic Agents for Legal Justi#12;cation A. Ciampolini P. Torroni DEIS, Universit#18;a di Bologna. In this paper we present a novel approach for legal justi#12;cation based on an abductive multi-agent system
Abductive Inference using Array-Based Logic Jeppe Revall Frisvad1
Abductive Inference using Array-Based Logic Jeppe Revall Frisvad1 Peter Falster1 Gert L. MÃ¸ller2@arraytechnology.com Abstract The notion of abduction has found its usage within a wide variety of AI fields. Computing abduc- tractability we present a new approach to logic- based abduction; through the geometrical view of data employed
A Tractable Approach to ABox Abduction over Description Logic Ontologies Jianfeng Du
Wang, Kewen
A Tractable Approach to ABox Abduction over Description Logic Ontologies Jianfeng Du Guangdong abduction is an important reasoning mechanism for description logic ontologies. It computes all mini- mal of ABox abduction, called the query abduction problem, where an observation is a Boolean conjunc- tive
Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting
Wu, Dekai
Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting #3, Canada T6G 2E8 Abstract A long outstanding problem for abduction in logic programming has been on how minimality might be defined. Without minimality, an abductive procedure is often reÂ quired to generate
An Optimal Fuzzy Logic Power Sharing Strategy for Parallel Hybrid Electric Vehicles
Brest, Université de
An Optimal Fuzzy Logic Power Sharing Strategy for Parallel Hybrid Electric Vehicles F. Khoucha1 presents a fuzzy logic controller for a Parallel Hybrid Electric Vehicle (PHEV). The PHEV required driving economy, and emissions. Index Terms--Parallel Hybrid Electric Vehicle (PHEV), Internal Combustion Engine
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
Incorporating business logics into RFID-enabled applications Xiaohui Zhao a,
Liu, Chengfei
resources into reusable models for efficient transaction management. Once such business logics modelling and business transaction automation a b s t r a c t Radio Frequency Identification (RFID logics to RFID edge systems. A comprehensive framework is proposed to model business rules in an event
A Self-Aligned InGaAs HEMT Architecture for Logic Applications
Waldron, Niamh
In this paper, we present a novel self-aligned process for future III-V logic FETs. Using this process, we have demonstrated enhancement-mode 90-nm-gate-length InGaAs HEMTs with excellent logic figures of merit. We have ...
A Logical Semantics for DepthFirst Prolog with Ground Negation
Andrews, Jamie
only from valuation functions (multivalued logic interpretations in the style of Fitting and Kunen in the prooftheoretic descriptions of [And90, And91] and was developed further in [And92]. The general method, logical valuation function, and then to characterize wider classes of queries and programs with the use
Energy Efficient Hybrid Wakeup Logic Michael Huang, Jose Renau*, and Josep Torrellas*
Torrellas, Josep
Energy Efficient Hybrid Wakeup Logic Michael Huang, Jose Renau*, and Josep Torrellas* University of Rochester, University of Illinois at Urbana-Champaign* #12;ISLPED'02 - Energy Efficient Hybrid Wakeup Logic tree is narrow (small fan-out) Comparisons reduced to 1% #12;ISLPED'02 - Energy Efficient Hybrid Wakeup
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
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
BOOLEAN ALGEBRA Boolean algebra, or the algebra of logic, was devised by the English mathematician
Fitelson, Branden
BOOLEAN ALGEBRA Boolean algebra, or the algebra of logic, was devised by the English mathematician George Boole (1815-64), and embodies the first successful application of algebraic methods to logic. Boole seems initially to have conceived of each of the basic symbols of his algebraic system as standing
Integrated Computer-Aided Engineering 9 (2002) 363372 363 Fusion of neural networks with fuzzy logic
Cho, Sung-Bae
in statis- tics, management sciences, and pattern recognition [1, 33]. A general result from the previous with fuzzy logic and genetic algorithm Sung-Bae Cho Department of Computer Science, Yonsei University, 134 softcomputing techniques. The first method based on fuzzy logic nonlinearly combines objective evidences
Fuzzy Rule Reduction and Tuning of Fuzzy Logic Controllers for a HVAC System
Granada, Universidad de
Fuzzy Rule Reduction and Tuning of Fuzzy Logic Controllers for a HVAC System R. AlcalÂ´a, J. Alcal, Ventilating and Air Conditioning (HVAC) Systems are equip- ments usually implemented for maintaining satisfactory comfort conditions in build- ings. The design of Fuzzy Logic Controllers (FLCs) for HVAC Systems
Direct Reed-Muller Transform of Digital Logic Netlists Mitchell A. Thornton and Jennifer Dworak
Thornton, Mitchell
-output relation of a linear system is a mature idea and is heavily used in electrical circuit analysis that enables frequency domain analysis of digital logic circuits through the use of the Reed-Muller transform applied directly upon a logic circuit netlist. The technique is based on formulating a linear algebraic
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
Formalizing properties of rst order terms in the Boyer-Moore logic ?
Reina, José Luis Ruiz
Formalizing properties of #12;rst order terms in the Boyer-Moore logic ? Jos#19;e-Luis Ruiz are formalized using Boyer-Moore logic and carried out mechanically with the Boyer-Moore theorem prover. Keywords: Automated Deduction, Boyer-Moore Theorem Prover, First Order Terms, Subsumption, Uni#12;cation, Anti-uni#12
Approximate logic circuits for low overhead, non-intrusive concurrent error detection
Mohanram, Kartik
Approximate logic circuits for low overhead, non-intrusive concurrent error detection Mihir R for the synthesis of approximate logic circuits. A low overhead, non-intrusive solution for concurrent error as proposed in this paper. A low overhead, non-intrusive solution for CED based on ap- proximate
THE PROSPECTS FOR MATHEMATICAL LOGIC IN THE TWENTY-FIRST CENTURY
Shore, Richard A.
THE PROSPECTS FOR MATHEMATICAL LOGIC IN THE TWENTY-FIRST CENTURY SAMUEL R. BUSS, ALEXANDER S theory in section 2, S. Buss discusses proof theory and computer science logic in section 3, A. Pillay and inviting us to participate. S. Buss Â§2. Recursion Theory. By Richard A. Shore. When I was asked
THE PROSPECTS FOR MATHEMATICAL LOGIC IN THE TWENTY-FIRST CENTURY
Shore, Richard A.
THE PROSPECTS FOR MATHEMATICAL LOGIC IN THE TWENTY-FIRST CENTURY SAMUEL R. BUSS, ALEXANDER S. Shore discusses recursion theory in section 2, S. Buss discusses proof theory and computer science logic of the panel topics and inviting us to participate. S. Buss x2. Recursion Theory. By Richard A. Shore. When I
Process Mining and Verification of Properties: An Approach based on Temporal Logic
van der Aalst, Wil
, temporal logic, business process management, workflow management, data mining, Petri nets. 1 IntroductionProcess Mining and Verification of Properties: An Approach based on Temporal Logic W.M.P. van der flexible, both the need for, and the complexity of monitoring increases. Our earlier work on process mining
1 N. Logic, E. Kyriakides, G. T. Heydt, "Lp State Estimators for Power Systems," N. Logic, E. Kyriakides, G. T. Heydt, "Lp state estimators for power systems," Journal of Electric Power Components and Systems, accepted for publication, 2002. #12;2 Lp State Estimators for Power Systems N. Logic E
Three dimensional imaging detector employing wavelength-shifting optical fibers
Worstell, William A. (Framingham, MA)
1997-01-01T23:59:59.000Z
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.
Three dimensional imaging detector employing wavelength-shifting optical fibers
Worstell, W.A.
1997-02-04T23:59:59.000Z
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.
The muonic hydrogen Lamb shift and the proton radius
Clara Peset
2014-11-14T23:59:59.000Z
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.
Time-shift attack in practical quantum cryptosystems
Bing Qi; Chi-Hang Fred Fung; Hoi-Kwong Lo; Xiongfeng Ma
2006-05-11T23:59:59.000Z
Recently, a new type of attack, which exploits the efficiency mismatch of two single photon detectors (SPD) in a quantum key distribution (QKD) system, has been proposed. In this paper, we propose another "time-shift" attack that exploits the same imperfection. In our attack, Eve shifts the arrival time of either the signal pulse or the synchronization pulse or both between Alice and Bob. In particular, in a QKD system where Bob employs time-multiplexing technique to detect both bit "0" and bit "1" with the same SPD, Eve, in principle, could acquire full information on the final key without introducing any error. Finally, we discuss some counter measures against our and earlier attacks.
Spatial-heterodyne interferometry for transmission (SHIFT) measurements
Bingham, Philip R.; Hanson, Gregory R.; Tobin, Ken W.
2006-10-10T23:59:59.000Z
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.
Phase-shifting point diffraction interferometer grating designs
Naulleau, Patrick (Oakland, CA); Goldberg, Kenneth Alan (Berkeley, CA); Tejnil, Edita (San Carlos, CA)
2001-01-01T23:59:59.000Z
In a phase-shifting point diffraction interferometer, by sending the zeroth-order diffraction to the reference pinhole of the mask and the first-order diffraction to the test beam window of the mask, the test and reference beam intensities can be balanced and the fringe contrast improved. Additionally, using a duty cycle of the diffraction grating other than 50%, the fringe contrast can also be improved.
Hybrid powertrain system including smooth shifting automated transmission
Beaty, Kevin D.; Nellums, Richard A.
2006-10-24T23:59:59.000Z
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.
Doppler effect and frequency-shift in optics
S C Tiwari
2006-05-29T23:59:59.000Z
A critical review of frequency-shift phenomena a la Doppler effect is presented. The importance of Fermi's theory of 1932 is pointed out, and it is argued that there exists a gap in our understanding of this phenomena at a fundamental level. Alternative mechanism in terms of photon number oscillations is suggested for polarization changing experiments. The physical reality of single photon is revisited, and a possible experimental scheme to test the alternative mechanism is suggested.
Self-induced ac Stark shift in lasers
Gil, L.; Lippi, G. L. [Universite de Nice Sophia Antipolis, Institut Non Lineaire de Nice, and CNRS, UMR 6618 1361 Route des Lucioles, F-06560 Valbonne (France)
2011-04-15T23:59:59.000Z
The ac Stark effect is a well-known, well-established effect associated with the displacement of the atomic energy levels in the presence of an electromagnetic (e.m.) field. As the origin of the e.m. field is irrelevant, a self-induced ac Stark effect should be present in a laser. However, not only has this effect never been reported but it is not included in any laser model. Here, we show that a self-induced ac Stark shift does exist in the theoretical description of a two-level laser, provided that the reduced equations are derived not from the rotating-wave approximation, but from the full density matrix formulation. Interesting fundamental consequences are discussed and quantitative estimates of the self-induced frequency shift resulting from the laser field's ac Stark shift are obtained for a variety of lasers. We find that the effect is generally small but (at least in some cases) measurable and that the transfer of laser amplitude noise into frequency noise may play a role in future, ultrahigh-precision metrological applications.
Isotope shifts at 1. 28. mu. m in Pb
Reeves, J.M.; Fortson, E.N. (Department of Physics, FM-15, University of Washington, Seattle, WA (USA))
1991-08-01T23:59:59.000Z
The isotopic shift of the 6{ital p}{sup 2} {ital P}{sub 0}{r arrow}6{ital p}{sup 2} {sup 3}{ital P}{sub 1} (1.28 {mu}m) magnetic-dipole transition in Pb, which had been previously estimated incorrectly in the literature, has been measured, together with the magnetic hyperfine constant of the {sup 3}{ital P}{sub 1} level in {sup 207}Pb. The shifts of the {sup 206}Pb and {sup 207}Pb lines from the {sup 208}Pb position are {delta}(206--208)=220.4(15) MHz and {delta}(207--208)=138.0(17) MHz, and the hyperfine constant {ital A}(6{ital p}{sup 2} {ital P}{sub 1})={minus}2388.2(45) MHz. Inclusion of the shifts in calculated optical rotation line shapes removes long-standing discrepancies between theory and experiment, which have limited the precision of parity-nonconservation measurements in Pb.
The Logical Inconsistency of the Old Quantum Theory of Black Body Radiation Author(s): John Norton
radiation was manifestly logically in- consistent. It required the energies of electric resonatorsThe Logical Inconsistency of the Old Quantum Theory of Black Body Radiation Author(s): John Norton September, 1987 THE LOGICAL INCONSISTENCY OF THE OLD QUANTUM THEORY OF BLACK BODY RADIATION* JOHN NORTONt
Controlling of grid connected photovoltaic lighting system with fuzzy logic
Saglam, Safak; Ekren, Nazmi; Erdal, Hasan [Technical Education Faculty, Marmara University, Istanbul 34722 (Turkey)
2010-02-15T23:59:59.000Z
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)
Phase shift of a weak coherent beam induced by a single atom
Syed Abdullah Aljunid; Meng Khoon Tey; Brenda Chng; Timothy Liew; Gleb Maslennikov; Valerio Scarani; Christian Kurtsiefer
2009-05-22T23:59:59.000Z
We report on a direct measurement of a phase shift on a weak coherent beam by a single Rb-87 atom in a Mach-Zehnder interferometer. A maximum phase shift of about 1 degree is observed experimentally.
Mosser, Rockann Elizabeth
2011-10-21T23:59:59.000Z
that the enzymes are in the quaternary shifted position prior to PEP binding. Therefore the quaternary shift of BsPFK primarily perturbs ligand binding but does not directly contribute to heterotropic allosteric inhibition....
Analysis of a duo-selecting membrane reactor for the water-gas shift
Hardy, AliciA Jillian Jackson, 1978-
2004-01-01T23:59:59.000Z
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 ...
Coherent control of the Goos-Hanchen shift
Ziauddin, Qamar S.; Qamar, Sajid; Zubairy, M. Suhail
2010-01-01T23:59:59.000Z
remains positive. The corresponding group index of the cavity is positive in both cases. DOI: 10.1103/PhysRevA.81.023821 PACS number(s): 42.25.Bs, 42.50.Gy I. INTRODUCTION In 1947, Goos and Ha?nchen [1] experimentally observed evidence...,t is the phase associated with the reflection r(ky, ?p) or transmission t(ky, ?p) coefficients (with reflection and transmission coefficients being complex quantities). As a result the lateral or GH shift in the reflected and transmitted probe light beams can...
Plasma Frequency Shift Due to a Slowly Rotating Compact Star
Babur M. Mirza; Hamid Saleem
2005-05-10T23:59:59.000Z
We investigate the effects of a slowly rotating compact gravitational source on electron oscillations in a homogeneous electrically neutral plasma in the absence of an external electric or magnetic field. Neglecting the random thermal motion of the electrons we assume the gravitoelectromagnetic approximation to the general theory of relativity for the gravitational field. It is shown that there is a shift in the plasma frequency and hence in the dielectric constant of the plasma due to the gravitomagnetic force. We also give estimates for the difference in the frequency of radially transmitted electromagnetic signals for typical compact star candidates.
Hand held phase-shifting diffraction Moire interferometer
Deason, V.A.; Ward, M.B.
1994-09-20T23:59:59.000Z
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.
RedShift Systems 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 onYou are now leaving Energy.gov You are now leaving Energy.gov YouKizildere IRaghuraji Agro Industries Pvt Ltd Jump to: navigation, searchRay County,OpenCounty, Texas:Red RiverRedShift
Encoding Phases using Commutativity and Non-commutativity in a Logical Framework
Amblard, Maxime
2011-01-01T23:59:59.000Z
This article presents an extension of Minimalist Categorial Gram- mars (MCG) to encode Chomsky's phases. These grammars are based on Par- tially Commutative Logic (PCL) and encode properties of Minimalist Grammars (MG) of Stabler. The first implementation of MCG were using both non- commutative properties (to respect the linear word order in an utterance) and commutative ones (to model features of different constituents). Here, we pro- pose to adding Chomsky's phases with the non-commutative tensor product of the logic. Then we could give account of the PIC just by using logical prop- erties of the framework.
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-01T23:59:59.000Z
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.
Tracking in Presence of Total Occlusion and Size Variation using Mean Shift and Kalman Filter
Paris-Sud XI, Université de
Tracking in Presence of Total Occlusion and Size Variation using Mean Shift and Kalman Filter Oscar using mean shift and the Kalman filter, which was added to the traditional algorithm as a predictor when mean shift Kalman filter algorithm improves the tracking performance of the classical algorithms
Van Driel, Henry M.
Ultrafast shift and injection currents observed in wurtzite semiconductors via emitted terahertz; published online 18 November 2005 Shift and injection currents are generated in the wurtzite semiconductors in the wurtzite structure. The largest shift currents are generated along the optical axis for light polarized
164 J. Neurosurg. / Volume 106 / January, 2007 RAIN shift during neurosurgery can significantly
Chaudhary, Vipin
brain shift was predicted for two additional head orientations. Two patient-specific FE models were. Substantial intraoperative brain shift has been well documented in recent literature. Cortical displacement have reported that a very extensive range of brain surface shift (050 mm) can occur throughout surgery
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
Dunkl shift operators and Bannai-Ito polynomials
Tsujimoto, Satoshi; Zhedanov, Alexei
2011-01-01T23:59:59.000Z
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...
A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking
Tomita, Takashi; Yonezaki, Naoki; 10.4204/EPTCS.73.9
2011-01-01T23:59:59.000Z
Probabilistic Computation Tree Logic (PCTL) and Continuous Stochastic Logic (CSL) are often used to describe specifications of probabilistic properties for discrete time and continuous time, respectively. In PCTL and CSL, the possibility of executions satisfying some temporal properties can be quantitatively represented by the probabilistic extension of the path quantifiers in their basic Computation Tree Logic (CTL), however, path formulae of them are expressed via the same operators in CTL. For this reason, both of them cannot represent formulae with quantitative temporal properties, such as those of the form "some properties hold to more than 80% of time points (in a certain bounded interval) on the path." In this paper, we introduce a new temporal operator which expressed the notion of frequency of events, and define probabilistic frequency temporal logic (PFTL) based on CTL\\star. As a result, we can easily represent the temporal properties of behavior in probabilistic systems. However, it is difficult to...
An efficient logic fault diagnosis framework based on effect-cause approach
Wu, Lei
2009-05-15T23:59:59.000Z
in This dissertation follows the style and format of IEEE Transactions on Very Large Scale Integration (VLSI) Systems. 2 malfunctioning chips, usually through analysis of the logic behavior of failing circuits. Physical failure analysis cannot be effectively...
Abductive Analysis of Modular Logic ROBERTO GIACOBAZZI, Dipartimento di Informatica, Universit`a
Giacobazzi, Roberto
___________________________________________________________________________ Abductive a practical method for abductive analysis of modular logic program* *s. This is obtained by reversing k* *nowledge this is the first application of abductive reasoning in dataflow analysis of lo* *gic
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
Cooperative self-localization in a multi-robot-no-landmark scenario using fuzzy logic
Sinha, Dhirendra Kumar
2005-02-17T23:59:59.000Z
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 ...
Joshi, Praveen Sudhakar
1999-01-01T23:59:59.000Z
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...
Logic of belief and the content of God: Hans Frei’s theological grammar
Henderson, Frances Munro
2011-07-01T23:59:59.000Z
This thesis offers a systematic engagement with the theological hermeneutics of Hans Frei. The two key conceptual categories are “the logic of belief” and “the content of God”. The former refers to the grammatical ...
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 ...
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
Decidability of FirstOrder Logic Queries To appear in ICDT 99
Dong, Guozhu
/or the world wide web. Much of this recent research has been on fundamental problems such as con tainment, implication of dependencies and reasoning in de scription logics. Key words: satisfiability, decidability
Applications of single-photon two-qubit quantum logic to the quantum information science
Kim, Taehyun
2008-01-01T23:59:59.000Z
In this thesis, I describe demonstration of various quantum information processing tasks using single-photon two-qubit (SPTQ) quantum logic. As an initial state of those tasks, I used various entangled photon pairs, and I ...
Fuzzy Logic Analysis of Kinase Pathway Crosstalk in TNF/EGF/Insulin-Induced Signaling
Aldridge, Bree B.
When modeling cell signaling networks, a balance must be struck between mechanistic detail and ease of interpretation. In this paper we apply a fuzzy logic framework to the analysis of a large, systematic dataset describing ...
The Logical and Epistemological Foundations of Sociology in the Philosophy of F.S.C Northrop
Escobar, Francisco
1979-01-01T23:59:59.000Z
Filmer S. C. Northrop was born in 1883* Studied at Beloit, Yale and the University of London Imperial College of Science and Technology. He was professor of Law and Philosophy at Yale. Published The Logic of the Sciences ...
Sohi, Guri S.
the proposed design through a detailed evaluation of load value profiling. Our implementation quickly), January 19-24, 2001 Abstract Aggressive program optimization requires accurate profile information, but such accuracy requires many samples to be collected. We explore a novel profiling architecture that reduces
A Smart Logic for Conference Room Terminal Box of Single Duct VAV System
Yu, Y.; Xu, K.; Cho, Y.; Liu, M.
2007-01-01T23:59:59.000Z
A SMART LOGIC FOR CONFERENCE ROOM TERMINAL BOX OF SINGLE DUCT VAV SYSTEM Yuebin Yu Ke Xu YoungHum Cho Mingsheng Liu Graduate Student Graduate Student Graduate Student Professor of Architectural... in the conference room. The detailed calculation example for the parameters and the energy saving performance analysis based on air modeling are given in the other paper (Yuebin Yu, et al. 2007). The main principles of the operation logic are stated as follows...
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-10T23:59:59.000Z
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.
Oak Ridge National Laboratory Technology Logic Diagram. Indexes
Not Available
1993-09-01T23:59:59.000Z
The Decontamination and Decommissioning (D&D) Index provides a comprehensive list of site problems, problem area/constituents, remedial technologies, and regulatory terms discussed in the D&D sections of the Oak Ridge National Laboratory Technology Logic Diagram. All entries provide specific page numbers, or cross-reference entries that provide specific page numbers, in the D&D volumes (Vol. 1, Pt. A; Vol. 2, Pt. A; and appropriate parts of Vol. 3). The Oak Ridge National Laboratory Technology (TLD) was developed to provide a decision-support tool that relates environmental restoration (ER) and waste management (WM) problems at Oak Ridge National Laboratory (ORNL) to potential technologies that can remediate these problems. The TLD identifies the research, development, demonstration, testing, and evaluation needed to develop these technologies to a state that allows technology transfer and application to decontamination and decommissioning (D&D), remedial action (RA) and 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 finding an optimum mix of technologies that will provide a socially acceptable balance between cost and risk.
An evidential path logic for multi-relational networks
Rodriguez, Marko A [Los Alamos National Laboratory; Geldart, Joe [UNIV OF DURHAM
2008-01-01T23:59:59.000Z
Multi-relational networks are used extensively to structure knowledge. Perhaps the most popular instance, due to the widespread adoption of the Semantic Web, is the Resource Description Framework (RDF). One of the primary purposes of a knowledge network is to reason; that is, to alter the topology of the network according to an algorithm that uses the existing topological structure as its input. There exist many such reasoning algorithms. With respect to the Semantic Web, the bivalent, axiomatic reasoners of the RDF Schema (RDFS) and the Web Ontology Language (OWL) are the most prevalent. However, nothing prevents other forms of reasoning from existing in the Semantic Web. This article presents a non-bivalent, non-axiomatic, evidential logic and reasoner that is an algebraic ring over a multi-relational network and two binary operations that can be composed to perform various forms of inference. Given its multi-relational grounding, it is possible to use the presented evidential framework as another method for structuring knowledge and reasoning in the Semantic Web. The benefits of this framework are that it works with arbitrary, partial, and contradictory knowledge while, at the same time, supporting a tractable approximate reasoning process.
About the logic of the prime number distribution
Harry K. Hahn
2008-01-28T23:59:59.000Z
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.
Improving ac motor efficiency with fuzzy logic energy optimizer
Spiegel, R.J.; Chappell, P.J.; Cleland, J.G.
1994-08-01T23:59:59.000Z
The paper discusses EPA's research program to develop fuzzy-logic-based energy optimizers for alternating-current (AC) induction motors driven by Adjustable Speed Drives (ASDs). The technical goals of the program are to increase the efficiency of ASD/motor combinations (especially when operating at off-rated torque/speed conditions), develop a generic controller for energy optimization that can be applied to a wide range of motors and ASDs regardless of size and application, and develop a controller for energy optimization that can eliminate the requirement for tachometer or encoder feedback, and still maintain the stability and response of closed-loop control. Electric motors use over 60% of the electrical power generated in the U.S. The U.S. population of approximately 1 billion motors use over 1700 billion kWh per year. Over 140 million new motors are sold each year. A review of the U.S. motor population reveals that 90% of the motors are less than 1 hp (fractional motors) in size, but use less than 10% of the electricity consumed by motors. More that 80% of the electricity used by motors is consumed by less than 1% of the motor population (motors greater than 20 hp). Thus, it is clear that large energy savings from improvement in motor efficiency could be achieved from a relatively small motor population.
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-01T23:59:59.000Z
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.
Shifted-elementary-mode representation for partially coherent vectorial fields
Tervo, Jani; Vahimaa, Pasi; Wyrowski, Frank
2010-01-01T23:59:59.000Z
A representation of partially spatially coherent and partially polarized stationary electromagnetic fields is given in terms of mutually uncorrelated, transversely shifted, fully coherent and polarized elementary electric-field modes. This representation allows one to propagate non-paraxial partially coherent vector fields using techniques for spatially fully coherent fields, which are numerically far more efficient than methods for propagating correlation functions. A procedure is given to determine the elementary modes from the radiant intensity and the far-zone polarization properties of the entire field. The method is applied to quasihomogeneous fields with rotationally symmetric cosine-modulated radiant intensity distributions. This is an adequate model for fields emitted by, e.g., many light-emitting diodes.
DAYLIGHTING IN CAMBRIDGE LIBRARIES: SHIFTING FOCUS OVER TIME
Ayona Datta
This paper aims to explore the various transformations of Cambridge libraries over the ages focusing mainly on the changing role of daylighting in library design. The libraries have been categorised chronologically into four different groups: Medieval libraries, libraries between 16 th cent and Reformation, libraries between Reformation and 19 th cent and modern libraries. The study shows that with the shift from the rules of classicism in medieval libraries to individual styles in modern libraries, the architect has opened up enormous possibilities for design innovations in daylighting. Unlike other environmental services the elements of daylighting are undoubtedly the most visual and expressive. The particular challenge of modern library design is to manipulate natural light for reading and book storage while avoiding reflections on the VDU. It is still a field not fully explored and it remains to be seen how daylighting design can successfully meet all the needs of a modern library. 1.
Security of Power Packet Dispatching Using Differential Chaos Shift Keying
Yanzi Zhou; Ryo Takahashi; Takashi Hikihara
2015-02-19T23:59:59.000Z
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.
Dielectric waveguide gas-filled stark shift modulator
Hutchinson, Donald P.; Richards, Roger K.
2003-07-22T23:59:59.000Z
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.
Computational Assignment of Chemical Shifts for Protein Residues
Bratholm, Lars A
2013-01-01T23:59:59.000Z
Fast and accurate protein structure prediction is one of the major challenges in structural biology, biotechnology and molecular biomedicine. These fields require 3D protein structures for rational design of proteins with improved or novel properties. X-ray crystallography is the most common approach even with its low success rate, but lately NMR based approaches have gained popularity. The general approach involves a set of distance restraints used to guide a structure prediction, but simple NMR triple-resonance experiments often provide enough structural information to predict the structure of small proteins. Previous protein folding simulations that have utilised experimental data have weighted the experimental data and physical force field terms more or less arbitrarily, and the method is thus not generally applicable to new proteins. Furthermore a complete and near error-free assignment of chemical shifts obtained by the NMR experiments is needed, due to the static, or deterministic, assignment. In this ...
Proposal for all-graphene monolithic logic circuits Jiahao Kang, Deblina Sarkar, Yasin Khatami Jiahao Kang, Deblina Sarkar, Yasin Khatami, and Kaustav Banerjeea) Department of Electrical and Computer
Cappers, Peter; Goldman, Charles
2009-08-03T23:59:59.000Z
Achieving significant reductions in retail electric sales is becoming a priority for policymakers in many states and is echoed at the federal level with the introduction of legislation to establish a national energy efficiency resource standard. Yet, as the National Action Plan on Energy Efficiency (NAPEE) pointed out, many utilities continue to shy away from seriously expanding their energy efficiency program offerings because they claim there is insufficient profit motivation, or even a financial disincentive, when compared to supply-side investments. In response to an information request from the Kansas Corporation Commission staff, we conducted a financial analysis to assess the utility business case in Kansas for pursuing more aggressive energy efficiency that complies with recent state legislation. Kansas' utilities are vertically integrated and don't face retail competition. With historically low retail rates and modest experience with energy efficiency, the achievement of rapid and substantial sales reductions from energy efficiency will require a viable utility business model. Using a conglomerate of the three largest utilities in Kansas, we quantitatively illustrate the tradeoff between ratepayer and shareholder interests when a 1percent reduction in incremental sales is achieved through energy efficiency both with and without the impact of future carbon regulation. We then assess if the utility can be compensated in a manner that produces a sufficient business case but leaves an adequate amount of net resource benefits for ratepayers at a cost that is not overly burdensome. Finally, we show how several common shareholder incentive mechanisms would be designed to achieve this balance.
Hoogsteen, Ilse J., E-mail: i.hoogsteen@rther.umcn.nl [Department of Radiation Oncology, Radboud University Nijmegen Medical Centre, Nijmegen (Netherlands); Marres, Henri A.M.; Hoogen, Franciscus J.A. van den [Department of Otorhinolaryngology/Head-Neck Surgery, Radboud University Nijmegen Medical Centre, Nijmegen (Netherlands); Rijken, Paul F.J.W.; Lok, Jasper; Bussink, Johan; Kaanders, Johannes H.A.M. [Department of Radiation Oncology, Radboud University Nijmegen Medical Centre, Nijmegen (Netherlands)
2012-11-01T23:59:59.000Z
Purpose: Overexpression of epidermal growth factor receptor (EGFR) and tumor hypoxia have been shown to correlate with worse outcome in several types of cancer including head-and-neck squamous cell carcinoma. Little is known about the combination and possible interactions between the two phenomena. Methods and Materials: In this study, 45 cases of histologically confirmed squamous cell carcinomas of the head and neck were analyzed. All patients received intravenous infusions of the exogenous hypoxia marker pimonidazole prior to biopsy. Presence of EGFR, pimonidazole binding, and colocalization between EGFR and tumor hypoxia were examined using immunohistochemistry. Results: Of all biopsies examined, respectively, 91% and 60% demonstrated EGFR- and pimonidazole-positive areas. A weak but significant association was found between the hypoxic fractions of pimonidazole (HFpimo) and EGFR fractions (F-EGFR) and between F-EGFR and relative vascular area. Various degrees of colocalization between hypoxia and EGFR were found, increasing with distance from the vasculature. A high fraction of EGFR was correlated with better disease-free and metastasis-free survival, whereas a high degree of colocalization correlated with poor outcome. Conclusions: Colocalization of hypoxia and EGFR was demonstrated in head-and-neck squamous cell carcinomas, predominantly at longer distances from vessels. A large amount of colocalization was associated with poor outcome, which points to a survival advantage of hypoxic cells that are also able to express EGFR. This subpopulation of tumor cells might be indicative of tumor aggressiveness and be partly responsible for treatment resistance.
Droplet Formation via Solvent Shifting in a Microfluidic Device
Hajian, Ramin
2014-01-01T23:59:59.000Z
Solvent shifting is a process in which a non-solvent is added to a solvent/solute mixture and extracts the solvent. The solvent and the non-solvent are miscible. Because of solution supersaturation a portion of the solute transforms to droplets. In this paper, based on this process, we present an investigation on droplet formation and their radial motion in a microfluidic device in which a jet is injected in a co-flowing liquid stream. Thanks to the laminar flow, the microfluidic setup enables studying diffusion mass transfer in radial direction and obtaining well-defined concentration distributions. Such profiles together with Ternary Phase Diagram (TPD) give detailed information about the conditions for droplet formation condition as well as their radial migration in the channel. The ternary system is composed of ethanol (solvent), de-ionized water (non-solvent) and divinyle benzene (solute). We employ analytical/numerical solutions of the diffusion equation to obtain concentration profiles of the component...
Triggers and maintenance of multiple shifts in the state of a natural community
Rassweiler, Andrew; Schmitt, Russell J.; Holbrook, Sally J.
2010-01-01T23:59:59.000Z
PAPER Triggers and maintenance of multiple shifts in theseparately on the causes and maintenance of state change canpotentially explaining the maintenance of the new state.
Defect Mass in Gravitational Field and Red Shift of Atomic and Nuclear Radiation Spectra
Kh. M. Beshtoev
2000-04-19T23:59:59.000Z
It is shown, that radiation spectrum of atoms (or nuclei) in the gravitational field has a red shift since the effective mass of radiating electrons (or nucleons) changes in this field. This red shift is equal to the red shift of radiation spectrum in the gravitational field measured in existence experiments. The same shift must arise when the photon (or $ \\gamma $ quantum) is passing through the gravitational field if it participates in gravitational interactions (photon has no rest mass). The absence of the double effect in the experiments, probably, means that photons (or $ \\gamma $ quanta) are passing through the gravitational field without interactions.
Islam, Sexuality, and the Internet: A Historical Reflection of the Shifting Sexual Self in Turkey
Tzankova, Veronika; Schiphorst, Thecla
2009-01-01T23:59:59.000Z
sociocultural sexual self in Turkey. Electronic and onlinegeographic boundaries. In Turkey, electronic new media hasappearance of new media in Turkey and the shifts in emerging
Joerg Jaeckel; Andreas Ringwald
2007-06-05T23:59:59.000Z
We present a scheme to extend the sensitivity of axion-photon regeneration experiments towards larger masses with the help of properly chosen and placed phase shift plates.
A SPANNING TREE INVARIANT FOR MARKOV SHIFTS DOUGLAS LIND AND SELIM TUNCEL
Lind, Douglas A.
A SPANNING TREE INVARIANT FOR MARKOV SHIFTS DOUGLAS LIND AND SELIM DOUGLAS LIND AND SELIM TUNCEL Fig. 1. A typical tree at r, and a graph
Guide to good practices for control of on-shift training
NONE
1998-12-01T23:59:59.000Z
This Guide to Good Practices is written to enhance understanding of, and provide direction for, Control of On-Shift Training, Chapter 5 of Department of Energy (DOE) Order 5480.19, Conduct of Operations Requirements for DOE Facilities. The practices in this guide should be considered when planning or reviewing on-shift training programs. ``Control of On-Shift Training`` is an element of an effective Conduct of Operations program. The complexity and array of activities performed in DOE facilities dictate the necessary for a coordinated on-shift training program to meet the continuous demand for skilled, well-trained personnel to promote safe and efficient operations.
Local-field corrections to surface and interface core-level shifts in insulators
Rotenberg, E. (Department of Physics, University of California, Berkeley, California 94720 (United States)); Olmstead, M.A. (Department of Physics, University of Washington, FM-15, Seattle, Washington 98195 (United States))
1992-11-15T23:59:59.000Z
We present a model for the extra-atomic contributions to core-level shifts in insulating thin films on polarizable substrates. The final-state shift is calculated from the screening-dependent local fields at a photoemitting atom and shown to be comparable to the initial-state Madelung potential shift in polar crystals. For Xe(111) films, our model completely accounts for experimental results. For NaCl(100) and CaF{sub 2}(111) surfaces, we present predictions of surface core-level shifts for simple bulk terminations. We discuss corrections which can be incorporated into our model.
Schneider, Robert James
2011-01-01T23:59:59.000Z
and G.F. Ulfarsson. “Curbing Automobile Use for Sustainablebe able to shift routine automobile travel to pedestrian andChanges in Respondent Automobile Mode Shares Under Different
Problems parameterized by treewidth tractable in single exponential time: a logical approach
Pilipczuk, Micha?
2011-01-01T23:59:59.000Z
We introduce a variant of modal logic, dubbed EXISTENTIAL COUNTING MODAL LOGIC (ECML), which captures a vast majority of problems known to be tractable in single exponential time when parameterized by treewidth. It appears that all these results can be subsumed by the theorem that model checking of ECML admits an algorithm with such complexity. We extend ECML by adding connectivity requirements and, using the Cut&Count technique introduced by Cygan et al. [4], prove that problems expressible in the extension are also tractable in single exponential time when parameterized by treewidth; however, using randomization. The need for navigationality of the introduced logic is justified by a negative result that two expository problems involving non-acyclic conditions, C_l VERTEX DELETION and GIRTH>l VERTEX DELETION for l>=5, do not admit such a robust algorithm unless Exponential Time Hypothesis fails.
V Guruprasad
2000-05-04T23:59:59.000Z
Formalising the logical dependence of physical quantities on material referents of scale, I show that both Hubble's law and the cosmological constant are in fact exactly replicable by a spatial contraction of referents locally on earth, and that the Pioneer anomaly is irrefutable indication that this is the case. The formalism literally embodies Feynman's ``hot-plate'' model, predictably yielding a logical derivation of the relativity postulates, and importantly, suffices to demonstrate the inherent logical consistency of general relativity and quantum mechanics, whose foundations I have shown separately to be fundamentally computational. I further show that the spatial contraction of our referents also accounts for considerable planetary and geological data inexplicable in the standard model, and predicts that the Hubble flow appears differently or is altogether absent from platforms in deep space, depending on the local physics.
Clock Controller For Ac Self-Timing Analysis Of Logic System
Lo, Tinchee (Fishkill, NY); Flanagan, John D. (Rhinebeck, NY)
2004-05-18T23:59:59.000Z
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.
UV-Shifted Durable Silver Coating for Astronomical Mirrors
Thomas, N.L.; Wolfe, J.
2000-06-01T23:59:59.000Z
Silver has the highest reflectance of all of the metals, but it tarnishes in the presence of sulfides, chlorides, and oxides in the atmosphere. Also, the silver reflectance is very low at wavelengths below 400 nm making aluminum more desirable mirror coating for the UV region. They have found a way to prevent silver tarnishing by sandwiching the silver layer between two thin layers of NiCrN{sub x}, and to extend the metal's high reflectance down to 200 nm by depositing the (thin) Ag layer on top of Al. Thus, the uv is transmitted through the thin Ag layer below 400 nm wavelength, and is reflected from the Al layer underneath. This UV-shifted durable coating provides a valuable alternative to the aluminum coating for telescope mirror coatings where high throughput and durability are important considerations. The throughput for a telescope with, say, six reflections from silver coatings is (0.97){sup 6} = 83% compared to (0.92){sup 6} = 60% for aluminum coatings, or 28% less. The use of silver coatings allows more photons to be collected by primary mirror. Aluminum also has a reflectance dip at 850 nm caused by inter-band transitions which is eliminated by placing the thin Ag layer on top. This paper describes a non-tarnishing silver coating having high reflectance down into the UV region. The average specular reflectance is 70%-97% in the near-UV, 95%-99% in the visible region, and {ge} 99% in the infrared region covering the total wavelength range 200 nm to 10,000 nm. Figure 1 compares the reflectance of the UVHR-LLNL silver coating to bare silver and aluminum over-coated with magnesium fluoride over the wavelength range 300 nm to 2000 nm.
Hybrid shearing and phase-shifting point diffraction interferometer
Goldberg, Kenneth Alan; Naulleau, Patrick P.
2003-06-03T23:59:59.000Z
A new interferometry configuration combines the strengths of two existing interferometry methods, improving the quality and extending the dynamic range of both. On the same patterned mask, placed near the image-plane of an optical system under test, patterns for phase-shifting point diffraction interferometry and lateral shearing interferometry coexist. The former giving verifiable high accuracy for the measurement of nearly diffraction-limited optical systems. The latter enabling the measurement of optical systems with more than one wave of aberration in the system wavefront. The interferometry configuration is a hybrid shearing and point diffraction interferometer system for testing an optical element that is positioned along an optical path including: a source of electromagnetic energy in the optical path; a first beam splitter that is secured to a device that includes means for maneuvering the first beam splitter in a first position wherein the first beam splitter is in the optical path dividing light from the source into a reference beam and a test beam and in a second position wherein the first beam splitter is outside the optical path: a hybrid mask which includes a first section that defines a test window and at least one reference pinhole and a second section that defines a second beam splitter wherein the hybrid mask is secured to a device that includes means for maneuvering either the first section or the second section into the optical path positioned in an image plane that is created by the optical element, with the proviso that the first section of the hybrid mask is positioned in the optical path when first beam splitter is positioned in the optical path; and a detector positioned after the hybrid mask along the optical path.
Logical operations with single x-ray photons via dynamically-controlled nuclear resonances
Jonas Gunst; Christoph H. Keitel; Adriana Pálffy
2015-06-01T23:59:59.000Z
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.
A fuzzy logic based motion controller for a multi-degree-of-freedom robot arm
Pate, Billy Blakley
1993-01-01T23:59:59.000Z
A FUZZY LOGIC BASED MOTION CONTROLLER FOR A MULTI-DEGREE-OF-FREEDOM ROBOT ARM by BILLY BLAKLEY PATE Submitted to the Office of Graduate Studies of Texas A & M University in partial fulfillment of the requirements for the degree of MASTER... OF SCIENCE December 1993 Major Subject: Mechanical Engineering A FUZZY LOGIC BASED MOTION CONTROLLER FOR A MULTI-DEGREE-OF-FREEDOM ROBOT ARM A Thesis by BILLY BLAKLEY PATE Submitted to Texas A&M University in partial fulfillment of the requireinents...
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.
The Implementation of a FirstOrder Logic AGM Belief Revision System Simon Dixon and Wayne Wobcke
Dixon, Simon
The Implementation of a FirstÂOrder Logic AGM Belief Revision System Simon Dixon and Wayne WobckeÂmail: simon@cs.su.oz.au, wobcke@cs.su.oz.au Abstract Belief revision is increasingly being seen as central belief revision system. The system is based on classical firstÂ order logic, and for any finitely
Heydari, Payam
Abstract - A current-mode logic (CML) buffer is based on a simple differential circuit. This paper-ended circuit. Recall that in multi-gigahertz frequency range, the short on-chip wires act as coupled will severely limit the maximum operating frequency of the circuit [1] [2]. CMOS current-mode logic buffers were
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
California at Santa Cruz, University of
with the ease with which they can incrementally build up a game's rule system through a series of experimental designers to the formal logic used by automated reasoning tools in AI. A key challenge in designing of the games that logical models created with our engine intend to represent. Building on the event calculus
A New Model for Timing Jitter Caused by Device Noise in Current-Mode Logic Frequency Dividers
Oklobdzija, Vojin G.
A New Model for Timing Jitter Caused by Device Noise in Current-Mode Logic Frequency Dividers Marko for predicting timing jitter caused by device noise in current-mode logic (CML) frequency dividers is presented. Device noise transformation into jitter is modeled as a linear time-varying (LTV) process, as opposed