Formalization of the Resolution Calculus for First-Order Logic

DEFF Research Database (Denmark)

Schlichtkrull, Anders

2016-01-01

A formalization in Isabelle/HOL of the resolution calculus for first-order logic is presented. Its soundness and completeness are formally proven using the substitution lemma, semantic trees, Herbrand’s theorem, and the lifting lemma. In contrast to previous formalizations of resolution, it consi......A formalization in Isabelle/HOL of the resolution calculus for first-order logic is presented. Its soundness and completeness are formally proven using the substitution lemma, semantic trees, Herbrand’s theorem, and the lifting lemma. In contrast to previous formalizations of resolution...

Interactions, strings and isotopies in higher order anisotropic superspaces

CERN Document Server

Vacaru, Sergiu Ion

2001-01-01

The monograph summarizes the author's results on the geometry of anholonomic and locally anisotropic interactions, published in J. Math. Phys., Nucl. Phys. B, Ann. Phys. (NY), JHEP, Rep. Math. Phys., Int. J. Theor. Phys. and in some former Soviet Union and Romanian scientific journals. The main subjects are in the theory of field interactions, strings and diffusion processes on spaces, superspaces and isospaces with higher order anisotropy and inhomogeneity. The approach proceeds by developing the concept of higher order anisotropic (super)space which unifies the logical and manthematical aspects of modern Kaluza--Klein theories and generalized Lagrange and Finsler geometry and leads to modeling of physical processes on higher order fiber (super)bundles provided with nonlinear and distinguished connections and metric structures. This book can be also considered as a pedagogical survey on the mentioned subjects.

The Resolution Calculus for First-Order Logic

DEFF Research Database (Denmark)

Schlichtkrull, Anders

2016-01-01

This theory is a formalization of the resolution calculus for first-order logic. It is proven sound and complete. The soundness proof uses the substitution lemma, which shows a correspondence between substitutions and updates to an environment. The completeness proof uses semantic trees, i.e. trees...

Reasoning about Java programs in higher order logic using PVS and Isabelle

NARCIS (Netherlands)

Huisman, Marieke

2001-01-01

This thesis describes the first steps of a project aimed at formal verification of Java programs. The work presented here is part of a larger project called LOOP, for Logic of Object Oriented Programming. A semantics for Java is described in type theory and it is shown how this semantics forms the

The first order fuzzy predicate logic (I)

International Nuclear Information System (INIS)

Sheng, Y.M.

1986-01-01

Some analysis tools of fuzzy measures, Sugeno's integrals, etc. are introduced into the semantic of the first order predicate logic to explain the concept of fuzzy quantifiers. The truth value of a fuzzy quantification proposition is represented by Sugeno's integral. With this framework, several important notions of formation rules, fuzzy valutions and fuzzy validity are discussed

High-order noise filtering in nontrivial quantum logic gates.

Science.gov (United States)

Green, Todd; Uys, Hermann; Biercuk, Michael J

2012-07-13

Treating the effects of a time-dependent classical dephasing environment during quantum logic operations poses a theoretical challenge, as the application of noncommuting control operations gives rise to both dephasing and depolarization errors that must be accounted for in order to understand total average error rates. We develop a treatment based on effective Hamiltonian theory that allows us to efficiently model the effect of classical noise on nontrivial single-bit quantum logic operations composed of arbitrary control sequences. We present a general method to calculate the ensemble-averaged entanglement fidelity to arbitrary order in terms of noise filter functions, and provide explicit expressions to fourth order in the noise strength. In the weak noise limit we derive explicit filter functions for a broad class of piecewise-constant control sequences, and use them to study the performance of dynamically corrected gates, yielding good agreement with brute-force numerics.

A definability theorem for first order logic

NARCIS (Netherlands)

Butz, C.; Moerdijk, I.

1997-01-01

In this paper we will present a definability theorem for first order logic This theorem is very easy to state and its proof only uses elementary tools To explain the theorem let us first observe that if M is a model of a theory T in a language L then clearly any definable subset S M ie a subset S

A Concurrent Logical Relation

DEFF Research Database (Denmark)

Birkedal, Lars; Sieczkowski, Filip; Thamsborg, Jacob Junker

2012-01-01

We present a logical relation for showing the correctness of program transformations based on a new type-and-effect system for a concurrent extension of an ML-like language with higher-order functions, higher-order store and dynamic memory allocation. We show how to use our model to verify a number....... To the best of our knowledge, this is the first such result for a concurrent higher-order language with higher-order store and dynamic memory allocation....

Fuzzy forecasting based on two-factors second-order fuzzy-trend logical relationship groups and particle swarm optimization techniques.

Science.gov (United States)

Chen, Shyi-Ming; Manalu, Gandhi Maruli Tua; Pan, Jeng-Shyang; Liu, Hsiang-Chuan

2013-06-01

In this paper, we present a new method for fuzzy forecasting based on two-factors second-order fuzzy-trend logical relationship groups and particle swarm optimization (PSO) techniques. First, we fuzzify the historical training data of the main factor and the secondary factor, respectively, to form two-factors second-order fuzzy logical relationships. Then, we group the two-factors second-order fuzzy logical relationships into two-factors second-order fuzzy-trend logical relationship groups. Then, we obtain the optimal weighting vector for each fuzzy-trend logical relationship group by using PSO techniques to perform the forecasting. We also apply the proposed method to forecast the Taiwan Stock Exchange Capitalization Weighted Stock Index and the NTD/USD exchange rates. The experimental results show that the proposed method gets better forecasting performance than the existing methods.

Communication Strategies with Digital Logic: Collaborative Intelligence and Meritocratic Order

Directory of Open Access Journals (Sweden)

Andrea Hoare

2009-08-01

Full Text Available This paper is based on the research prior to my applying for the post of Assistant Professor in the Public Relations Department of the Social Communication School at the Universidad Central de Venezuela. Its aim is to contribute to the understanding of the digital logic implications in the contemporary organizations´ communications, and to collaborate, from an epistemic point of view, with its projected meaning in the communications area. In this sense, digital logic is defined as the dynamic organization resulting from user interaction, technology, practices, attitudes and values that develop at the same pace as the cyberspace. The main finding was that digital logic is a valuable model to characterize current communicational mutations, because it helps describe a scenario, where communicational bidirectionality prevails, and the network structure empowers the rebirth of self-protagonism. It is the self-organized feature from the digital platform, which encourages new organizing principles like collaborative intelligence and meritocratic order, centered on content relevance.

Quantum Probabilistic Dyadic Second-Order Logic

NARCIS (Netherlands)

Baltag, A.; Bergfeld, J.M.; Kishida, K.; Sack, J.; Smets, S.J.L.; Zhong, S.; Libkin, L.; Kohlenbach, U.; de Queiroz, R.

2013-01-01

We propose an expressive but decidable logic for reasoning about quantum systems. The logic is endowed with tensor operators to capture properties of composite systems, and with probabilistic predication formulas P  ≥ r (s), saying that a quantum system in state s will yield the answer ‘yes’ (i.e.

Coherent quantum logic

International Nuclear Information System (INIS)

Finkelstein, D.

1987-01-01

The von Neumann quantum logic lacks two basic symmetries of classical logic, that between sets and classes, and that between lower and higher order predicates. Similarly, the structural parallel between the set algebra and linear algebra of Grassmann and Peano was left incomplete by them in two respects. In this work a linear algebra is constructed that completes this correspondence and is interpreted as a new quantum logic that restores these invariances, and as a quantum set theory. It applies to experiments with coherent quantum phase relations between the quantum and the apparatus. The quantum set theory is applied to model a Lorentz-invariant quantum time-space complex

Practical Markov Logic Containing First-Order Quantifiers With Application to Identity Uncertainty

National Research Council Canada - National Science Library

Culotta, Aron; McCallum, Andrew

2005-01-01

.... In this paper, we present approximate inference and training methods that incrementally instantiate portions of the network as needed to enable first-order existential and universal quantifiers in Markov logic networks...

Duality Theory and Categorical Universal Logic: With Emphasis on Quantum Structures

Directory of Open Access Journals (Sweden)

Yoshihiro Maruyama

2014-12-01

Full Text Available Categorical Universal Logic is a theory of monad-relativised hyperdoctrines (or fibred universal algebras, which in particular encompasses categorical forms of both first-order and higher-order quantum logics as well as classical, intuitionistic, and diverse substructural logics. Here we show there are those dual adjunctions that have inherent hyperdoctrine structures in their predicate functor parts. We systematically investigate into the categorical logics of dual adjunctions by utilising Johnstone-Dimov-Tholen's duality-theoretic framework. Our set-theoretical duality-based hyperdoctrines for quantum logic have both universal and existential quantifiers (and higher-order structures, giving rise to a universe of Takeuti-Ozawa's quantum sets via the tripos-to-topos construction by Hyland-Johnstone-Pitts. The set-theoretical hyperdoctrinal models of quantum logic, as well as all quantum hyperdoctrines with cartesian base categories, turn out to give sound and complete semantics for Faggian-Sambin's first-order quantum sequent calculus over cartesian type theory; in addition, quantum hyperdoctrines with monoidal base categories are sound and complete for the calculus over linear type theory. We finally consider how to reconcile Birkhoff-von Neumann's quantum logic and Abramsky-Coecke's categorical quantum mechanics (which is modernised quantum logic as an antithesis to the traditional one via categorical universal logic.

Discursive "Policy Logics" of Mergers in US Higher Education: Strategy or Tragedy?

Science.gov (United States)

Stephenson, Sandria S.

2011-01-01

Mergers are part of the historical fabric of US higher education. However, the current economic recession and other policy issues have experts and academicians predicting an increase in higher education mergers in the USA. Consequently, this study analysed the discursive "policy logics" surrounding merger negotiations in US higher…

Preferential semantics for action specification in first-order modal action logic

NARCIS (Netherlands)

Broersen, Jan; Wieringa, Roelf J.

In this paper we investigate preferential semantics for declarative specifications in a First Order Modal Action Logic. We address some well known problems: the frame problem, the qualification problem and the ramification problem. We incorporate the assumptions that are inherent to both the frame

Systematic Verification of the Modal Logic Cube in Isabelle/HOL

Directory of Open Access Journals (Sweden)

Christoph Benzmüller

2015-07-01

Full Text Available We present an automated verification of the well-known modal logic cube in Isabelle/HOL, in which we prove the inclusion relations between the cube's logics using automated reasoning tools. Prior work addresses this problem but without restriction to the modal logic cube, and using encodings in first-order logic in combination with first-order automated theorem provers. In contrast, our solution is more elegant, transparent and effective. It employs an embedding of quantified modal logic in classical higher-order logic. Automated reasoning tools, such as Sledgehammer with LEO-II, Satallax and CVC4, Metis and Nitpick, are employed to achieve full automation. Though successful, the experiments also motivate some technical improvements in the Isabelle/HOL tool.

Dynamic Order Algebras as an Axiomatization of Modal and Tense Logics

Science.gov (United States)

Chajda, Ivan; Paseka, Jan

2015-12-01

The aim of the paper is to introduce and describe tense operators in every propositional logic which is axiomatized by means of an algebra whose underlying structure is a bounded poset or even a lattice. We introduce the operators G, H, P and F without regard what propositional connectives the logic includes. For this we use the axiomatization of universal quantifiers as a starting point and we modify these axioms for our reasons. At first, we show that the operators can be recognized as modal operators and we study the pairs ( P, G) as the so-called dynamic order pairs. Further, we get constructions of these operators in the corresponding algebra provided a time frame is given. Moreover, we solve the problem of finding a time frame in the case when the tense operators are given. In particular, any tense algebra is representable in its Dedekind-MacNeille completion. Our approach is fully general, we do not relay on the logic under consideration and hence it is applicable in all the up to now known cases.

Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings

DEFF Research Database (Denmark)

Bresolin, Davide; Della Monica, Dario; Goranko, Valentin

2010-01-01

. Still, decidability is the rule for the fragments of HS with only one modal operator, based on an Allen’s relation. In this paper, we show that the logic O of the Overlap relation, when interpreted over discrete linear orderings, is an exception. The proof is based on a reduction from the undecidable...

Trimming a hazard logic tree with a new model-order-reduction technique

Science.gov (United States)

Porter, Keith; Field, Edward; Milner, Kevin R

2017-01-01

The size of the logic tree within the Uniform California Earthquake Rupture Forecast Version 3, Time-Dependent (UCERF3-TD) model can challenge risk analyses of large portfolios. An insurer or catastrophe risk modeler concerned with losses to a California portfolio might have to evaluate a portfolio 57,600 times to estimate risk in light of the hazard possibility space. Which branches of the logic tree matter most, and which can one ignore? We employed two model-order-reduction techniques to simplify the model. We sought a subset of parameters that must vary, and the specific fixed values for the remaining parameters, to produce approximately the same loss distribution as the original model. The techniques are (1) a tornado-diagram approach we employed previously for UCERF2, and (2) an apparently novel probabilistic sensitivity approach that seems better suited to functions of nominal random variables. The new approach produces a reduced-order model with only 60 of the original 57,600 leaves. One can use the results to reduce computational effort in loss analyses by orders of magnitude.

Hybridity in the Higher Education of Ukraine: Global Logic or Local Idiosyncrasy?

Directory of Open Access Journals (Sweden)

Olga Gomilko

2016-10-01

Full Text Available Hybridity as a heuristic concept of the globalization and post-colonialism discourses is used for 1 understanding the logic of the modernization of the higher education of Ukraine (HEU, and 2 for making a meaningful diagnosis of those educational pathologies that restrain it. The educational pathologies are considered as the conditioned by post-coloniality and post-totalitarianism departure or deviation from the undertaking of the original missions of higher education (HE: “to educate, to train and to undertake research” (World Declaration on Higher Education for the Twenty-First Century: Vision and Action, 1998. Modernity as a philosophical concept and normative ideal that focus on increasing rational components in a human life is exploited for showing the ways of carrying out the missions of HE by adjusting particular patterns of rationality to the needs and wants of society. However, globalization puts modernity under challenges due to its bent toward de/or non-modern cultural practices. That’s why the logic of modernization in HEU acquires hybrid characteristics by fitting together different, multiple, opposing educational models and standards – post-colonial, post-totalitarian, modern, de/non-modern and global through the local acceptance. Therefore, the locality turns into a focal point of the modernization of HEU in a global context. The modernization of HEU reveals the ambivalent meaning of hybridity in its producing and destructive potential, i.e. as a global logic or a local idiosyncrasy.

Specifying and Verifying Organizational Security Properties in First-Order Logic

Science.gov (United States)

Brandt, Christoph; Otten, Jens; Kreitz, Christoph; Bibel, Wolfgang

In certain critical cases the data flow between business departments in banking organizations has to respect security policies known as Chinese Wall or Bell-La Padula. We show that these policies can be represented by formal requirements and constraints in first-order logic. By additionally providing a formal model for the flow of data between business departments we demonstrate how security policies can be applied to a concrete organizational setting and checked with a first-order theorem prover. Our approach can be applied without requiring a deep formal expertise and it therefore promises a high potential of usability in the business.

Logic programming extensions of Horn clause logic

Directory of Open Access Journals (Sweden)

Ron Sigal

1988-11-01

Full Text Available Logic programming is now firmly established as an alternative programming paradigm, distinct and arguably superior to the still dominant imperative style of, for instance, the Algol family of languages. The concept of a logic programming language is not precisely defined, but it is generally understood to be characterized buy: a declarative nature; foundation in some well understood logical system, e.g., first order logic.

A Pure Logic-Based Approach to Natural Reasoning

NARCIS (Netherlands)

Abzianidze, Lasha

2015-01-01

The paper presents a model for natural reasoning that combines theorem proving techniques with natural logic. The model is a tableau system for a higher-order logic the formulas of which resemble linguistic expressions. A textual entailment system LangPro, an implementation of the model, represents

Transforming equality logic to propositional logic

NARCIS (Netherlands)

Zantema, H.; Groote, J.F.

2003-01-01

Abstract We investigate and compare various ways of transforming equality formulas to propositional formulas, in order to be able to solve satisfiability in equality logic by means of satisfiability in propositional logic. We propose equality substitution as a new approach combining desirable

Higher-order (non-)modularity

DEFF Research Database (Denmark)

Appel, Claus; van Oostrom, Vincent; Simonsen, Jakob Grue

2010-01-01

We show that, contrary to the situation in first-order term rewriting, almost none of the usual properties of rewriting are modular for higher-order rewriting, irrespective of the higher-order rewriting format. We show that for the particular format of simply typed applicative term rewriting...... systems modularity of confluence, normalization, and termination can be recovered by imposing suitable linearity constraints....

Recognition of higher order patterns in proteins: immunologic kernels.

Directory of Open Access Journals (Sweden)

Robert D Bremel

Full Text Available By applying analysis of the principal components of amino acid physical properties we predicted cathepsin cleavage sites, MHC binding affinity, and probability of B-cell epitope binding of peptides in tetanus toxin and in ten diverse additional proteins. Cross-correlation of these metrics, for peptides of all possible amino acid index positions, each evaluated in the context of a ±25 amino acid flanking region, indicated that there is a strongly repetitive pattern of short peptides of approximately thirty amino acids each bounded by cathepsin cleavage sites and each comprising B-cell linear epitopes, MHC-I and MHC-II binding peptides. Such "immunologic kernel" peptides comprise all signals necessary for adaptive immunologic cognition, response and recall. The patterns described indicate a higher order spatial integration that forms a symbolic logic coordinating the adaptive immune system.

Logical labyrinths

CERN Document Server

Smullyan, Raymond

2008-01-01

This book features a unique approach to the teaching of mathematical logic by putting it in the context of the puzzles and paradoxes of common language and rational thought. It serves as a bridge from the author's puzzle books to his technical writing in the fascinating field of mathematical logic. Using the logic of lying and truth-telling, the author introduces the readers to informal reasoning preparing them for the formal study of symbolic logic, from propositional logic to first-order logic, a subject that has many important applications to philosophy, mathematics, and computer science. T

Certified higher-order recursive path ordering

NARCIS (Netherlands)

Koprowski, A.; Pfenning, F.

2006-01-01

The paper reports on a formalization of a proof of wellfoundedness of the higher-order recursive path ordering (HORPO) in the proof checker Coq. The development is axiom-free and fully constructive. Three substantive parts that could be used also in other developments are the formalizations of the

Introduction to mathematical logic

CERN Document Server

Mendelson, Elliott

2015-01-01

The new edition of this classic textbook, Introduction to Mathematical Logic, Sixth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of Gödel, Church, Kleene, Rosser, and Turing.The sixth edition incorporates recent work on Gödel's second incompleteness theorem as well as restoring an appendix on consistency proofs for first-order arithmetic. This appendix last appeared in the first edition. It is offered in th

Mathematical logic

CERN Document Server

Kleene, Stephen Cole

1967-01-01

Undergraduate students with no prior instruction in mathematical logic will benefit from this multi-part text. Part I offers an elementary but thorough overview of mathematical logic of 1st order. Part II introduces some of the newer ideas and the more profound results of logical research in the 20th century. 1967 edition.

A Framework for Incorporating General Domain Knowledge into Latent Dirichlet Allocation using First-Order Logic

Energy Technology Data Exchange (ETDEWEB)

Andrzejewski, D; Zhu, X; Craven, M; Recht, B

2011-01-18

Topic models have been used successfully for a variety of problems, often in the form of application-specific extensions of the basic Latent Dirichlet Allocation (LDA) model. Because deriving these new models in order to encode domain knowledge can be difficult and time-consuming, we propose the Fold-all model, which allows the user to specify general domain knowledge in First-Order Logic (FOL). However, combining topic modeling with FOL can result in inference problems beyond the capabilities of existing techniques. We have therefore developed a scalable inference technique using stochastic gradient descent which may also be useful to the Markov Logic Network (MLN) research community. Experiments demonstrate the expressive power of Fold-all, as well as the scalability of our proposed inference method.

Educational Software for First Order Logic Semantics in Introductory Logic Courses

Science.gov (United States)

Mauco, María Virginia; Ferrante, Enzo; Felice, Laura

2014-01-01

Basic courses on logic are common in most computer science curricula. Students often have difficulties in handling formalisms and getting familiar with them. Educational software helps to motivate and improve the teaching-learning processes. Therefore, incorporating these kinds of tools becomes important, because they contribute to gaining…

Classical Mathematical Logic The Semantic Foundations of Logic

CERN Document Server

Epstein, Richard L

2011-01-01

In Classical Mathematical Logic, Richard L. Epstein relates the systems of mathematical logic to their original motivations to formalize reasoning in mathematics. The book also shows how mathematical logic can be used to formalize particular systems of mathematics. It sets out the formalization not only of arithmetic, but also of group theory, field theory, and linear orderings. These lead to the formalization of the real numbers and Euclidean plane geometry. The scope and limitations of modern logic are made clear in these formalizations. The book provides detailed explanations of all proo

Higher Order Expectations in Asset Pricing

OpenAIRE

Philippe BACCHETTA; Eric VAN WINCOOP

2004-01-01

We examine formally Keynes' idea that higher order beliefs can drive a wedge between an asset price and its fundamental value based on expected future payoffs. Higher order expectations add an additional term to a standard asset pricing equation. We call this the higher order wedge, which depends on the difference between higher and first order expectations of future payoffs. We analyze the determinants of this wedge and its impact on the equilibrium price. In the context of a dynamic noisy r...

Testing First-Order Logic Axioms in AutoCert

Science.gov (United States)

Ahn, Ki Yung; Denney, Ewen

2009-01-01

AutoCert [2] is a formal verification tool for machine generated code in safety critical domains, such as aerospace control code generated from MathWorks Real-Time Workshop. AutoCert uses Automated Theorem Provers (ATPs) [5] based on First-Order Logic (FOL) to formally verify safety and functional correctness properties of the code. These ATPs try to build proofs based on user provided domain-specific axioms, which can be arbitrary First-Order Formulas (FOFs). These axioms are the most crucial part of the trusted base, since proofs can be submitted to a proof checker removing the need to trust the prover and AutoCert itself plays the part of checking the code generator. However, formulating axioms correctly (i.e. precisely as the user had really intended) is non-trivial in practice. The challenge of axiomatization arise from several dimensions. First, the domain knowledge has its own complexity. AutoCert has been used to verify mathematical requirements on navigation software that carries out various geometric coordinate transformations involving matrices and quaternions. Axiomatic theories for such constructs are complex enough that mistakes are not uncommon. Second, adjusting axioms for ATPs can add even more complexity. The axioms frequently need to be modified in order to have them in a form suitable for use with ATPs. Such modifications tend to obscure the axioms further. Thirdly, speculating validity of the axioms from the output of existing ATPs is very hard since theorem provers typically do not give any examples or counterexamples.

Logic and Ontology

Directory of Open Access Journals (Sweden)

Newton C. A. da Costa

2002-12-01

Full Text Available In view of the present state of development of non classical logic, especially of paraconsistent logic, a new stand regarding the relations between logic and ontology is defended In a parody of a dictum of Quine, my stand May be summarized as follows. To be is to be the value of a variable a specific language with a given underlying logic Yet my stand differs from Quine’s, because, among other reasons, I accept some first order heterodox logics as genuine alternatives to classical logic I also discuss some questions of non classical logic to substantiate my argument, and suggest that may position complements and extends some ideas advanced by L Apostel.

Abductive Logic Grammars

DEFF Research Database (Denmark)

Christiansen, Henning; Dahl, Veronica

2009-01-01

By extending logic grammars with constraint logic, we give them the ability to create knowledge bases that represent the meaning of an input string. Semantic information is thus defined through extra-grammatical means, and a sentence's meaning logically follows as a by-product of string rewriting....... We formalize these ideas, and exemplify them both within and outside first-order logic, and for both fixed and dynamic knowledge bases. Within the latter variety, we consider the usual left-to-right derivations that are traditional in logic grammars, but also -- in a significant departure from...

Problems Encountered in Teaching Logic in Faculties of Theology

Directory of Open Access Journals (Sweden)

Hülya ALTUNYA

2014-04-01

Full Text Available From the past until today logic has always been affiliated with religious education in institutes of higher learning. In the history of Islamic thought, education in logic has at times held an important place in the curriculum, while at other times it has only been represented symbolically. Throughout the history of thought, religious sciences have not only possessed a hierarchical structure based on classification, but have also been institutionalized in order to protect the accumulation of the knowledge that has been attained. As a result, in order to function as a vehicle in the structuring of this knowledge, logic has become what is known as an introductory science. Over time, as a vehicle of religious sciences and an introductory science, logic has become a productive method by which different academic disciplines can attain information. Thus, until today in religious sciences education, logic has been used as a method both in the higher religious education provided in faculties of theology and in the madrasas which continue this education. In this paper, the education of logic that is given in faculties of theology, including how much of the curriculum is devoted to this subject, the quality of instruction, the integration of this subject with other lessons, the interest of students in this subject and whether or not the necessary productivity in logic instruction is being attained will be examined. In addition, to what extent logic can make new contributions to new thought and comprehension techniques for solving the theological problems of today will be investigated. An additional research question asked here is the extent to which students enrolled in theology faculties in formal and informal education, the very people who will later act as instructors in religious sciences, are aware of the importance of being familiar and skilled in “correct reasoning techniques”.

Order-sorted Algebraic Specifications with Higher-order Functions

DEFF Research Database (Denmark)

Haxthausen, Anne Elisabeth

1995-01-01

This paper gives a proposal for how order-sorted algebraic specification languages can be extended with higher-order functions. The approach taken is a generalisation to the order-sorted case of an approach given by Mller, Tarlecki and Wirsing for the many-sorted case. The main idea in the proposal...

What are Institutional Logics

OpenAIRE

Berg Johansen, Christina; Bock Waldorff, Susanne

2015-01-01

This study presents new insights into the explanatory power of the institutional logics perspective. With outset in a discussion of seminal theory texts, we identify two fundamental topics that frame institutional logics: overarching institutional orders guided by institutional logics, as well as change and agency generated by friction between logics. We use these topics as basis for an analysis of selected empirical papers, with the aim of understanding how institutional logics contribute to...

Higher order perturbation theory applied to radiative transfer in non-plane-parallel media

International Nuclear Information System (INIS)

Box, M.A.; Polonsky, I.N.; Davis, A.B.

2003-01-01

Radiative transfer in non-plane-parallel media is a very challenging problem, which is currently the subject of concerted efforts to develop computational techniques which may be used to tackle different tasks. In this paper we develop the full formalism for another technique, based on radiative perturbation theory. With this approach, one starts with a plane-parallel 'base model', for which many solution techniques exist, and treat the horizontal variability as a perturbation. We show that under the most logical assumption as to the base model, the first-order perturbation term is zero for domain-average radiation quantities, so that it is necessary to go to higher order terms. This requires the computation of the Green's function. While this task is by no means simple, once the various pieces have been assembled they may be re-used for any number of perturbations--that is, any horizontal variations

What are Institutional Logics

DEFF Research Database (Denmark)

Berg Johansen, Christina; Waldorff, Susanne Boch

This study presents new insights into the explanatory power of the institutional logics perspective. With outset in a discussion of seminal theory texts, we identify two fundamental topics that frame institutional logics: overarching institutional orders guides by institutional logics, as well...... as change and agency generated by friction between logics. We use these topics as basis for an analysis of selected empirical papers, with the aim of understanding how institutional logics contribute to institutional theory at large, and which social matters institutional logics can and cannot explore...

Higher-Order Hierarchies

DEFF Research Database (Denmark)

Ernst, Erik

2003-01-01

This paper introduces the notion of higher-order inheritance hierarchies. They are useful because they provide well-known benefits of object-orientation at the level of entire hierarchies-benefits which are not available with current approaches. Three facets must be adressed: First, it must be po...

Normative Orders in the Coast Guard Response to  Melting Arctic Ice: Institutional Logics or Anchoring Concepts

OpenAIRE

Haider, Haider A

2017-01-01

Underlying institutional forms are normative orders which give meaning to rules, norms, practices and customs. It is only recently that scholars have seriously considered the role of normative orders in institutional dynamics. Two meta-theories of institutionalism offer competing visions of how these normative orders are invoked. The Institutional Logics Perspective calls normative orders “institutional logics” and suggest that they are invoked in a consistent stable fashion. The Pragmatist I...

Introduction to mathematical logic

CERN Document Server

Mendelson, Elliott

2009-01-01

The Propositional CalculusPropositional Connectives. Truth TablesTautologies Adequate Sets of Connectives An Axiom System for the Propositional Calculus Independence. Many-Valued LogicsOther AxiomatizationsFirst-Order Logic and Model TheoryQuantifiersFirst-Order Languages and Their Interpretations. Satisfiability and Truth. ModelsFirst-Order TheoriesProperties of First-Order Theories Additional Metatheorems and Derived Rules Rule C Completeness Theorems First-Order Theories with EqualityDefinitions of New Function Letters and Individual Constants Prenex Normal Forms Isomorphism of Interpretati

Classical higher-order processes

DEFF Research Database (Denmark)

Montesi, Fabrizio

2017-01-01

Classical Processes (CP) is a calculus where the proof theory of classical linear logic types processes à la Π-calculus, building on a Curry-Howard correspondence between session types and linear propositions. We contribute to this research line by extending CP with process mobility, inspired by ...

First-Order Hybrid Logic: Introduction and Survey

DEFF Research Database (Denmark)

Braüner, Torben

2014-01-01

often wants to build up a series of assertions about what happens at a particular instant, and standard modal formalisms do not allow this. What is less obvious is that the route hybrid logic takes to overcome this problem often actually improves the behaviour of the underlying modal formalism...

Reasoning About Higher-Order Relational Specifications

OpenAIRE

Wang , Yuting; Chaudhuri , Kaustuv; Gacek , Andrew; Nadathur , Gopalan

2013-01-01

International audience; The logic of hereditary Harrop formulas (HH) has proven useful for specifying a wide range of formal systems. This logic includes a form of hypothetical judgment that leads to dynamically changing sets of assumptions and that is key to encoding side conditions and contexts that occur frequently in structural operational semantics (SOS) style presentations. Specifications are often useful in reasoning about the systems they describe. The Abella theorem prover supports s...

Challenges in higher order mode Raman amplifiers

DEFF Research Database (Denmark)

Rottwitt, Karsten; Nielsen, Kristian; Friis, Søren Michael Mørk

2015-01-01

A higher order Raman amplifier model that take random mode coupling into account ispresented. Mode dependent gain and signal power fluctuations at the output of the higher order modeRaman amplifier are discussed......A higher order Raman amplifier model that take random mode coupling into account ispresented. Mode dependent gain and signal power fluctuations at the output of the higher order modeRaman amplifier are discussed...

HIGHER ORDER THINKING IN TEACHING GRAMMAR

Directory of Open Access Journals (Sweden)

Citra Dewi

2017-04-01

Full Text Available The aim of this paper discussed about how to enhance students’ higher order thinking that should be done by teacher in teaching grammar. Usually teaching grammar was boring and has the same way to learn like change the pattern of sentence into positive, negative and introgative while the students’ need more various way to develop their thinking. The outcome of students’ competence in grammar sometimes not sufficient enough when the students’ occured some test international standart like Test of English Foreign Language, International English Language Testing. Whereas in TOEFL test it needed higher order thinking answer, so teacher should develop students’ higher order thingking in daily teaching grammar in order to make the students’ enhance their thinking are higher. The method was used in this paper by using field study based on the experience of teaching grammar. It can be shown by students’ toefl score was less in stucture and written expression. The result of this paper was after teacher gave some treatments to enhance students’ higher order thinking in teaching grammar, the students’ toefl scores are sufficient enough as a part of stucture and written expression. It can concluded that it needed some strategies to enhancce students higher order thinking by teaching grammar it can make students’ higher toefl score. Teachers should be creative and inovative to teach the students’ started from giving the students’ question or test in teaching grammar.

Logic of likelihood

International Nuclear Information System (INIS)

Wall, M.J.W.

1992-01-01

The notion of open-quotes probabilityclose quotes is generalized to that of open-quotes likelihood,close quotes and a natural logical structure is shown to exist for any physical theory which predicts likelihoods. Two physically based axioms are given for this logical structure to form an orthomodular poset, with an order-determining set of states. The results strengthen the basis of the quantum logic approach to axiomatic quantum theory. 25 refs

Against Logical Form

Directory of Open Access Journals (Sweden)

P N Johnson-Laird

2010-10-01

Full Text Available An old view in logic going back to Aristotle is that an inference is valid in virtue of its logical form. Many psychologists have adopted the same point of view about human reasoning: the first step is to recover the logical form of an inference, and the second step is to apply rules of inference that match these forms in order to prove that the conclusion follows from the premises. The present paper argues against this idea. The logical form of an inference transcends the grammatical forms of the sentences used to express it, because logical form also depends on context. Context is not readily expressed in additional premises. And the recovery of logical form leads ineluctably to the need for infinitely many axioms to capture the logical properties of relations. An alternative theory is that reasoning depends on mental models, and this theory obviates the need to recover logical form.

One reason, several logics

Directory of Open Access Journals (Sweden)

Evandro Agazzi

2011-06-01

Full Text Available Humans have used arguments for defending or refuting statements long before the creation of logic as a specialized discipline. This can be interpreted as the fact that an intuitive notion of "logical consequence" or a psychic disposition to articulate reasoning according to this pattern is present in common sense, and logic simply aims at describing and codifying the features of this spontaneous capacity of human reason. It is well known, however, that several arguments easily accepted by common sense are actually "logical fallacies", and this indicates that logic is not just a descriptive, but also a prescriptive or normative enterprise, in which the notion of logical consequence is defined in a precise way and then certain rules are established in order to maintain the discourse in keeping with this notion. Yet in the justification of the correctness and adequacy of these rules commonsense reasoning must necessarily be used, and in such a way its foundational role is recognized. Moreover, it remains also true that several branches and forms of logic have been elaborated precisely in order to reflect the structural features of correct argument used in different fields of human reasoning and yet insufficiently mirrored by the most familiar logical formalisms.

Henkin and Hybrid Logic

DEFF Research Database (Denmark)

Blackburn, Patrick Rowan; Huertas, Antonia; Manzano, Maria

2014-01-01

Leon Henkin was not a modal logician, but there is a branch of modal logic that has been deeply influenced by his work. That branch is hybrid logic, a family of logics that extend orthodox modal logic with special proposition symbols (called nominals) that name worlds. This paper explains why...... Henkin’s techniques are so important in hybrid logic. We do so by proving a completeness result for a hybrid type theory called HTT, probably the strongest hybrid logic that has yet been explored. Our completeness result builds on earlier work with a system called BHTT, or basic hybrid type theory...... is due to the first-order perspective, which lies at the heart of Henin’s best known work and hybrid logic....

Higher-Order Program Generation

DEFF Research Database (Denmark)

Rhiger, Morten

for OCaml, a dialect of ML, that provides run-time code generation for OCaml programs. We apply these byte-code combinators in semantics-directed compilation for an imperative language and in run-time specialization using type-directed partial evaluation. Finally, we present an approach to compiling goal......This dissertation addresses the challenges of embedding programming languages, specializing generic programs to specific parameters, and generating specialized instances of programs directly as executable code. Our main tools are higher-order programming techniques and automatic program generation....... It is our thesis that they synergize well in the development of customizable software. Recent research on domain-specific languages propose to embed them into existing general-purpose languages. Typed higher-order languages have proven especially useful as meta languages because they provide a rich...

Sort logic and foundations of mathematics

NARCIS (Netherlands)

Väänänen, J.; Chong, C.; Feng, Q.; Slaman, T.A.; Woodin, W.H.

2014-01-01

I have argued elsewhere [8] that second order logic provides a foundation for mathematics much in the same way as set theory does, despite the fact that the former is second order and the latter first order, but second order logic is marred by reliance on ad hoc large domain assumptions. In this

Connections among quantum logics

International Nuclear Information System (INIS)

Lock, P.F.; Hardegree, G.M.

1985-01-01

In this paper, a theory of quantum logics is proposed which is general enough to enable us to reexamine a previous work on quantum logics in the context of this theory. It is then easy to assess the differences between the different systems studied. The quantum logical systems which are incorporated are divided into two groups which we call ''quantum propositional logics'' and ''quantum event logics''. The work of Kochen and Specker (partial Boolean algebras) is included and so is that of Greechie and Gudder (orthomodular partially ordered sets), Domotar (quantum mechanical systems), and Foulis and Randall (operational logics) in quantum propositional logics; and Abbott (semi-Boolean algebras) and Foulis and Randall (manuals) in quantum event logics, In this part of the paper, an axiom system for quantum propositional logics is developed and the above structures in the context of this system examined. (author)

Frontiers of higher order fuzzy sets

CERN Document Server

Tahayori, Hooman

2015-01-01

Frontiers of Higher Order Fuzzy Sets, strives to improve the theoretical aspects of general and Interval Type-2 fuzzy sets and provides a unified representation theorem for higher order fuzzy sets. Moreover, the book elaborates on the concept of gradual elements and their integration with the higher order fuzzy sets. This book also introduces new frameworks for information granulation based on general T2FSs, IT2FSs, Gradual elements, Shadowed sets and rough sets. In particular, the properties and characteristics of the new proposed frameworks are studied. Such new frameworks are shown to be more capable to be exploited in real applications. Higher order fuzzy sets that are the result of the integration of general T2FSs, IT2FSs, gradual elements, shadowed sets and rough sets will be shown to be suitable to be applied in the fields of bioinformatics, business, management, ambient intelligence, medicine, cloud computing and smart grids. Presents new variations of fuzzy set frameworks and new areas of applicabili...

Fuzzy Logic vs. Neutrosophic Logic: Operations Logic

Directory of Open Access Journals (Sweden)

Salah Bouzina

2016-12-01

Full Text Available The goal of this research is first to show how different, thorough, widespread and effective are the operations logic of the neutrosophic logic compared to the fuzzy logic’s operations logical. The second aim is to observe how a fully new logic, the neutrosophic logic, is established starting by changing the previous logical perspective fuzzy logic, and by changing that, we mean changing changing the truth values from the truth and falsity degrees membership in fuzzy logic, to the truth, falsity and indeterminacy degrees membership in neutrosophic logic; and thirdly, to observe that there is no limit to the logical discoveries - we only change the principle, then the system changes completely.

Higher order harmonics of reactor neutron equation

International Nuclear Information System (INIS)

Li Fu; Hu Yongming; Luo Zhengpei

1996-01-01

The flux mapping method using the higher order harmonics of the neutron equation is proposed. Based on the bi-orthogonality of the higher order harmonics, the process and formulas for higher order harmonics calculation are derived via the source iteration method with source correction. For the first time, not only any order harmonics for up-to-3-dimensional geometry are achieved, but also the preliminary verification to the capability for flux mapping have been carried out

XY model with higher-order exchange.

Science.gov (United States)

Žukovič, Milan; Kalagov, Georgii

2017-08-01

An XY model, generalized by inclusion of up to an infinite number of higher-order pairwise interactions with an exponentially decreasing strength, is studied by spin-wave theory and Monte Carlo simulations. At low temperatures the model displays a quasi-long-range-order phase characterized by an algebraically decaying correlation function with the exponent η=T/[2πJ(p,α)], nonlinearly dependent on the parameters p and α that control the number of the higher-order terms and the decay rate of their intensity, respectively. At higher temperatures the system shows a crossover from the continuous Berezinskii-Kosterlitz-Thouless to the first-order transition for the parameter values corresponding to a highly nonlinear shape of the potential well. The role of topological excitations (vortices) in changing the nature of the transition is discussed.

Higher-Order Minimal Functional Graphs

DEFF Research Database (Denmark)

Jones, Neil D; Rosendahl, Mads

1994-01-01

We present a minimal function graph semantics for a higher-order functional language with applicative evaluation order. The semantics captures the intermediate calls performed during the evaluation of a program. This information may be used in abstract interpretation as a basis for proving...

Higher-Order Generalized Invexity in Control Problems

Directory of Open Access Journals (Sweden)

S. K. Padhan

2011-01-01

Full Text Available We introduce a higher-order duality (Mangasarian type and Mond-Weir type for the control problem. Under the higher-order generalized invexity assumptions on the functions that compose the primal problems, higher-order duality results (weak duality, strong duality, and converse duality are derived for these pair of problems. Also, we establish few examples in support of our investigation.

Logic and structure

CERN Document Server

Dalen, Dirk

1983-01-01

A book which efficiently presents the basics of propositional and predicate logic, van Dalen’s popular textbook contains a complete treatment of elementary classical logic, using Gentzen’s Natural Deduction. Propositional and predicate logic are treated in separate chapters in a leisured but precise way. Chapter Three presents the basic facts of model theory, e.g. compactness, Skolem-Löwenheim, elementary equivalence, non-standard models, quantifier elimination, and Skolem functions. The discussion of classical logic is rounded off with a concise exposition of second-order logic. In view of the growing recognition of constructive methods and principles, one chapter is devoted to intuitionistic logic. Completeness is established for Kripke semantics. A number of specific constructive features, such as apartness and equality, the Gödel translation, the disjunction and existence property have been incorporated. The power and elegance of natural deduction is demonstrated best in the part of proof theory cal...

A beginner's guide to mathematical logic

CERN Document Server

Smullyan, Raymond M

2014-01-01

Combining stories of great philosophers, quotations, and riddles with the fundamentals of mathematical logic, this new textbook for first courses in mathematical logic was written by the subject's creative master. Raymond Smullyan offers clear, incremental presentations of difficult logic concepts with creative explanations and unique problems related to proofs, propositional logic and first-order logic, undecidability, recursion theory, and other topics.

Neural classifiers for learning higher-order correlations

International Nuclear Information System (INIS)

Gueler, M.

1999-01-01

Studies by various authors suggest that higher-order networks can be more powerful and biologically more plausible with respect to the more traditional multilayer networks. These architecture make explicit use of nonlinear interactions between input variables in the form of higher-order units or product units. If it is known a priori that the problem to be implemented possesses a given set of invariances like in the translation, rotation, and scale invariant recognition problems, those invariances can be encoded, thus eliminating all higher-order terms which are incompatible with the invariances. In general, however, it is a serious set-back that the complexity of learning increases exponentially with the size of inputs. This paper reviews higher-order networks and introduces an implicit representation in which learning complexity is mainly decided by the number of higher-order terms to be learned and increases only linearly with the input size

Neural Classifiers for Learning Higher-Order Correlations

Science.gov (United States)

Güler, Marifi

1999-01-01

Studies by various authors suggest that higher-order networks can be more powerful and are biologically more plausible with respect to the more traditional multilayer networks. These architectures make explicit use of nonlinear interactions between input variables in the form of higher-order units or product units. If it is known a priori that the problem to be implemented possesses a given set of invariances like in the translation, rotation, and scale invariant pattern recognition problems, those invariances can be encoded, thus eliminating all higher-order terms which are incompatible with the invariances. In general, however, it is a serious set-back that the complexity of learning increases exponentially with the size of inputs. This paper reviews higher-order networks and introduces an implicit representation in which learning complexity is mainly decided by the number of higher-order terms to be learned and increases only linearly with the input size.

Higher order antibunching in intermediate states

International Nuclear Information System (INIS)

Verma, Amit; Sharma, Navneet K.; Pathak, Anirban

2008-01-01

Since the introduction of binomial state as an intermediate state, different intermediate states have been proposed. Different nonclassical effects have also been reported in these intermediate states. But till now higher order antibunching is predicted in only one type of intermediate state, which is known as shadowed negative binomial state. Recently we have shown that the higher order antibunching is not a rare phenomenon [P. Gupta, P. Pandey, A. Pathak, J. Phys. B 39 (2006) 1137]. To establish our earlier claim further, here we have shown that the higher order antibunching can be seen in different intermediate states, such as binomial state, reciprocal binomial state, hypergeometric state, generalized binomial state, negative binomial state and photon added coherent state. We have studied the possibility of observing the higher order subpoissonian photon statistics in different limits of intermediate states. The effects of different control parameters on the depth of non classicality have also been studied in this connection and it has been shown that the depth of nonclassicality can be tuned by controlling various physical parameters

A Higher-Order Colon Translation

DEFF Research Database (Denmark)

Danvy, Olivier; Nielsen, Lasse Reichstein

2001-01-01

A lambda-encoding such as the CPS transformation gives rise to administrative redexes. In his seminal article ``Call-by-name, call-by-value and the lambda-calculus'', 25 years ago, Plotkin tackled administrative reductions using a so-called ``colon translation.'' 10 years ago, Danvy and Filinski...... integrated administrative reductions in the CPS transformation, making it operate in one pass. The technique applies to other lambda-encodings (e.g., variants of CPS), but we do not see it used in practice--instead, Plotkin's colon translation appears to be favored. Therefore, in an attempt to link both...... techniques, we recast Plotkin's proof of Indifference and Simulation to the higher-order specification of the one-pass CPS transformation. To this end, we extend his colon translation from first order to higher order...

Enabling optical metrology on small 5×5μm2 in-cell targets to support flexible sampling and higher order overlay and CD control for advanced logic devices nodes

Science.gov (United States)

Salerno, Antonio; de la Fuente, Isabel; Hsu, Zack; Tai, Alan; Chang, Hammer; McNamara, Elliott; Cramer, Hugo; Li, Daoping

2018-03-01

In next generation Logic devices, overlay control requirements shrink to sub 2.5nm level on-product overlay. Historically on-product overlay has been defined by the overlay capability of after-develop in-scribe targets. However, due to design and dimension, the after development metrology targets are not completely representative for the final overlay of the device. In addition, they are confined to the scribe-lane area, which limits the sampling possibilities. To address these two issues, metrology on structures matching the device structure and which can be sampled with high density across the device is required. Conventional after-etch CDSEM techniques on logic devices present difficulties in discerning the layers of interest, potential destructive charging effects and finally, they are limited by the long measurement times[1] [2] [3] . All together, limit the sampling densities and making CDSEM less attractive for control applications. Optical metrology can overcome most of these limitations. Such measurement, however, does require repetitive structures. This requirement is not fulfilled by logic devices, as the features vary in pitch and CD over the exposure field. The solution is to use small targets, with a maximum pad size of 5x5um2 , which can easily be placed in the logic cell area. These targets share the process and architecture of the device features of interest, but with a modified design that replicates as close as possible the device layout, allowing for in-device metrology for both CD and Overlay. This solution enables measuring closer to the actual product feature location and, not being limited to scribe-lanes, it opens the possibility of higher-density sampling schemes across the field. In summary, these targets become the facilitator of in-device metrology (IDM), that is, enabling the measurements both in-device Overlay and the CD parameters of interest and can deliver accurate, high-throughput, dense and after-etch measurements for Logic

HDL to verification logic translator

Science.gov (United States)

Gambles, J. W.; Windley, P. J.

1992-01-01

The increasingly higher number of transistors possible in VLSI circuits compounds the difficulty in insuring correct designs. As the number of possible test cases required to exhaustively simulate a circuit design explodes, a better method is required to confirm the absence of design faults. Formal verification methods provide a way to prove, using logic, that a circuit structure correctly implements its specification. Before verification is accepted by VLSI design engineers, the stand alone verification tools that are in use in the research community must be integrated with the CAD tools used by the designers. One problem facing the acceptance of formal verification into circuit design methodology is that the structural circuit descriptions used by the designers are not appropriate for verification work and those required for verification lack some of the features needed for design. We offer a solution to this dilemma: an automatic translation from the designers' HDL models into definitions for the higher-ordered logic (HOL) verification system. The translated definitions become the low level basis of circuit verification which in turn increases the designer's confidence in the correctness of higher level behavioral models.

Relational Parametricity and Separation Logic

DEFF Research Database (Denmark)

Birkedal, Lars; Yang, Hongseok

2008-01-01

Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new interpretation of the logic for a programming language with higher types. Our interpretation is based on Reynolds's relational...... parametricity, and it provides a formal connection between separation logic and data abstraction. Udgivelsesdato: 2008...

Higher-order force gradient symplectic algorithms

Science.gov (United States)

Chin, Siu A.; Kidwell, Donald W.

2000-12-01

We show that a recently discovered fourth order symplectic algorithm, which requires one evaluation of force gradient in addition to three evaluations of the force, when iterated to higher order, yielded algorithms that are far superior to similarly iterated higher order algorithms based on the standard Forest-Ruth algorithm. We gauge the accuracy of each algorithm by comparing the step-size independent error functions associated with energy conservation and the rotation of the Laplace-Runge-Lenz vector when solving a highly eccentric Kepler problem. For orders 6, 8, 10, and 12, the new algorithms are approximately a factor of 103, 104, 104, and 105 better.

Skinner-Rusk unified formalism for higher-order systems

Science.gov (United States)

Prieto-Martínez, Pedro Daniel; Román-Roy, Narciso

2012-07-01

The Lagrangian-Hamiltonian unified formalism of R. Skinner and R. Rusk was originally stated for autonomous dynamical systems in classical mechanics. It has been generalized for non-autonomous first-order mechanical systems, first-order and higher-order field theories, and higher-order autonomous systems. In this work we present a generalization of this formalism for higher-order non-autonomous mechanical systems.

Highland rural constellations. Territory occupation logics and models of order at the North of Traslasierra [Córdoba, Argentina

Directory of Open Access Journals (Sweden)

Fernando Diaz Terreno

2013-07-01

Full Text Available A set of intentioned readings made on an ancient Córdoba’s landscape reveal the occupation logics developed over centuries of territorial construction. These logics result from the combination of cultural ways of domination and exploitation of space, technical resources available and the natural landscape conditions imposed. From these processes, models of territorial order emerge as operational synthesis from the accumulation of human labor in the territory, gathering –in their own material structure– the key for future planning criteria. Just like constellation structures, order models express a form of spatial organization and some type of rurality specific from Northern Traslasierra. The aim is to arrive at a deep understanding of this postponed territory, show its cultural and natural resources and, through those, build a territorial narrative that places them back on the map of Córdoba’s regions.

Greek, Indian and Arabic logic

CERN Document Server

Gabbay, Dov M

2004-01-01

Greek, Indian and Arabic Logic marks the initial appearance of the multi-volume Handbook of the History of Logic. Additional volumes will be published when ready, rather than in strict chronological order. Soon to appear are The Rise of Modern Logic: From Leibniz to Frege. Also in preparation are Logic From Russell to Gödel, Logic and the Modalities in the Twentieth Century, and The Many-Valued and Non-Monotonic Turn in Logic. Further volumes will follow, including Mediaeval and Renaissance Logic and Logic: A History of its Central. In designing the Handbook of the History of Logic, the Editors have taken the view that the history of logic holds more than an antiquarian interest, and that a knowledge of logic's rich and sophisticated development is, in various respects, relevant to the research programmes of the present day. Ancient logic is no exception. The present volume attests to the distant origins of some of modern logic's most important features, such as can be found in the claim by the authors of t...

Higher-order curvature terms and extended inflation

International Nuclear Information System (INIS)

Wang Yun

1990-01-01

We consider higher-order curvature terms in context of the Brans-Dicke theory of gravity, and investigate the effects of these terms on extended inflationary theories. We find that the higher-order curvature terms tend to speed up inflation, although the original extended-inflation solutions are stable when these terms are small. Analytical solutions are found for two extreme cases: when the higher-order curvature terms are small, and when they dominate. A conformal transformation is employed in solving the latter case, and some of the subtleties in this technique are discussed. We note that percolation is less likely to occur when the higher-order curvature terms are present. An upper bound on α is expected if we are to avoid excessive and inadequate percolation of true-vacuum bubbles

Temporal logics and real time expert systems

NARCIS (Netherlands)

Blom, J.A.

1996-01-01

This paper introduces temporal logics. Due to the eternal compromise between expressive adequacy and reasoning efficiency that must decided upon in any application, full (first order logic or modal logic based) temporal logics are frequently not suitable. This is especially true in real time expert

Understanding Social Media Logic

Directory of Open Access Journals (Sweden)

José van Dijck

2013-08-01

Full Text Available Over the past decade, social media platforms have penetrated deeply into the mech­anics of everyday life, affecting people's informal interactions, as well as institutional structures and professional routines. Far from being neutral platforms for everyone, social media have changed the conditions and rules of social interaction. In this article, we examine the intricate dynamic between social media platforms, mass media, users, and social institutions by calling attention to social media logic—the norms, strategies, mechanisms, and economies—underpin­ning its dynamics. This logic will be considered in light of what has been identified as mass me­dia logic, which has helped spread the media's powerful discourse outside its institutional boundaries. Theorizing social media logic, we identify four grounding principles—programmabil­ity, popularity, connectivity, and datafication—and argue that these principles become increas­ingly entangled with mass media logic. The logic of social media, rooted in these grounding principles and strategies, is gradually invading all areas of public life. Besides print news and broadcasting, it also affects law and order, social activism, politics, and so forth. Therefore, its sustaining logic and widespread dissemination deserve to be scrutinized in detail in order to better understand its impact in various domains. Concentrating on the tactics and strategies at work in social media logic, we reassess the constellation of power relationships in which social practices unfold, raising questions such as: How does social media logic modify or enhance ex­isting mass media logic? And how is this new media logic exported beyond the boundaries of (social or mass media proper? The underlying principles, tactics, and strategies may be relat­ively simple to identify, but it is much harder to map the complex connections between plat­forms that distribute this logic: users that employ them, technologies that

Higher order mode optical fiber Raman amplifiers

DEFF Research Database (Denmark)

Rottwitt, Karsten; Friis, Søren Michael Mørk; Usuga Castaneda, Mario A.

2016-01-01

We review higher order mode Raman amplifiers and discuss recent theoretical as well as experimental results including system demonstrations.......We review higher order mode Raman amplifiers and discuss recent theoretical as well as experimental results including system demonstrations....

Nonlocal higher order evolution equations

KAUST Repository

Rossi, Julio D.

2010-06-01

In this article, we study the asymptotic behaviour of solutions to the nonlocal operator ut(x, t)1/4(-1)n-1 (J*Id -1)n (u(x, t)), x ∈ ℝN, which is the nonlocal analogous to the higher order local evolution equation vt(-1)n-1(Δ)nv. We prove that the solutions of the nonlocal problem converge to the solution of the higher order problem with the right-hand side given by powers of the Laplacian when the kernel J is rescaled in an appropriate way. Moreover, we prove that solutions to both equations have the same asymptotic decay rate as t goes to infinity. © 2010 Taylor & Francis.

Evaluating pharmacy leader development through the seven action logics.

Science.gov (United States)

Philip, Achsah; Desai, Avani; Nguyen, Phouc Anne; Birney, Patrick; Colavecchia, Anthony; Karralli, Rusol; Smith, Lindsey; Lorimer, Dirk; Burgess, Gwen; Munch, Kyle; Daniel, Nelvin; Lionetti, Jason; Garey, Kevin W

2016-01-15

Pharmacy leader development over time was analyzed using the seven action logics. As part of an ongoing leadership seminar series, students were required to select a visionary pharmacy leader and conduct a structured interview to evaluate pharmacy leaders' action logics. A standardized questionnaire comprising 13 questions was created by the class. Questions addressed leadership qualities during the leaders' early years, education years, and work years. Transcripts were then coded by two separate trained investigators based on the leader's stage of life to provide a score for each action logic individually over time. Kappa coefficient was used to evaluate interrater agreement. A total of 14 leaders were interviewed. All leaders were currently employed and had won national awards for their contributions to pharmacy practice. Overall, there was 82% agreement between the two evaluators' scores for the various characteristics. Action logics changed based on the leaders' life stage. Using aggregate data from all leader interviews, a progression from lower-order action logics (opportunist, diplomat, expert) to higher-order action logics (strategist, alchemist) was found. Ten leaders (71%) were diplomats during their early years. Six leaders (43%) were experts during their education years, and 4 (29%) were strategists or alchemists. During the third life stage analyzed (the work years), 6 leaders (43%) were strategists, and 2 were alchemists. During their work years, all leaders had a percentage of their answers coded as alchemist (range, 5-22%). Throughout their professional careers, pharmacy leaders continually develop skills through formal education and mentorship that follow action logics. Copyright © 2016 by the American Society of Health-System Pharmacists, Inc. All rights reserved.

Conceptualizing and Assessing Higher-Order Thinking in Reading

Science.gov (United States)

Afflerbach, Peter; Cho, Byeong-Young; Kim, Jong-Yun

2015-01-01

Students engage in higher-order thinking as they read complex texts and perform complex reading-related tasks. However, the most consequential assessments, high-stakes tests, are currently limited in providing information about students' higher-order thinking. In this article, we describe higher-order thinking in relation to reading. We provide a…

Application of Mass Lumped Higher Order Finite Elements

International Nuclear Information System (INIS)

J. Chen, H.R. Strauss, S.C. Jardin, W. Park, L.E. Sugiyama, G. Fu, J. Breslau

2005-01-01

There are many interesting phenomena in extended-MHD such as anisotropic transport, mhd, 2-fluid effects stellarator and hot particles. Any one of them challenges numerical analysts, and researchers are seeking for higher order methods, such as higher order finite difference, higher order finite elements and hp/spectral elements. It is true that these methods give more accurate solution than their linear counterparts. However, numerically they are prohibitively expensive. Here we give a successful solution of this conflict by applying mass lumped higher order finite elements. This type of elements not only keep second/third order accuracy but also scale closely to linear elements by doing mass lumping. This is especially true for second order lump elements. Full M3D and anisotropic transport models are studied

Observation Predicates in Flow Logic

DEFF Research Database (Denmark)

Nielson, Flemming; Nielson, Hanne Riis; Sun, Hongyan

2003-01-01

in such a way that the hard constraints are satisfi ed exactly when the observation predicates report no violations. The development is carried out in a large fragment of a first order logic with negation and also takes care of the transformations necessary in order to adhere to the stratification restrictions...... inherent in Alternation-free Least Fixed Point Logic and similar formalisms such as Datalog....

Higher-order techniques in computational electromagnetics

CERN Document Server

Graglia, Roberto D

2016-01-01

Higher-Order Techniques in Computational Electromagnetics explains 'high-order' techniques that can significantly improve the accuracy, computational cost, and reliability of computational techniques for high-frequency electromagnetics, such as antennas, microwave devices and radar scattering applications.

Higher order Lie-Baecklund symmetries of evolution equations

International Nuclear Information System (INIS)

Roy Chowdhury, A.; Roy Chowdhury, K.; Paul, S.

1983-10-01

We have considered in detail the analysis of higher order Lie-Baecklund symmetries for some representative nonlinear evolution equations. Until now all such symmetry analyses have been restricted only to the first order of the infinitesimal parameter. But the existence of Baecklund transformation (which can be shown to be an overall sum of higher order Lie-Baecklund symmetries) makes it necessary to search for such higher order Lie-Baecklund symmetries directly without taking recourse to the Baecklund transformation or inverse scattering technique. (author)

Higher Education and Ethical Value

Science.gov (United States)

Lee, Jeong-Kyu

2017-01-01

The purpose of this study is to explore the importance of ethical value in higher education as well as the relevance between ethical value and higher education. In order to examine the study logically, three research questions are addressed: First, what is value, ethical value, and Asiatic ethical value? Second, for whom and what is higher…

Reconfigurable Complementary Logic Circuits with Ambipolar Organic Transistors.

Science.gov (United States)

Yoo, Hocheon; Ghittorelli, Matteo; Smits, Edsger C P; Gelinck, Gerwin H; Lee, Han-Koo; Torricelli, Fabrizio; Kim, Jae-Joon

2016-10-20

Ambipolar organic electronics offer great potential for simple and low-cost fabrication of complementary logic circuits on large-area and mechanically flexible substrates. Ambipolar transistors are ideal candidates for the simple and low-cost development of complementary logic circuits since they can operate as n-type and p-type transistors. Nevertheless, the experimental demonstration of ambipolar organic complementary circuits is limited to inverters. The control of the transistor polarity is crucial for proper circuit operation. Novel gating techniques enable to control the transistor polarity but result in dramatically reduced performances. Here we show high-performance non-planar ambipolar organic transistors with electrical control of the polarity and orders of magnitude higher performances with respect to state-of-art split-gate ambipolar transistors. Electrically reconfigurable complementary logic gates based on ambipolar organic transistors are experimentally demonstrated, thus opening up new opportunities for ambipolar organic complementary electronics.

A Logical Characterisation of Static Equivalence

DEFF Research Database (Denmark)

Hüttel, Hans; Pedersen, Michael D.

2007-01-01

-order logic for frames with quantification over environment knowledge which, under certain general conditions, characterizes static equivalence and is amenable to construction of characteristic formulae. The logic can be used to reason about environment knowledge and can be adapted to a particular application...... by defining a suitable signature and associated equational theory. The logic can furthermore be extended with modalities to yield a modal logic for e.g. the Applied Pi calculus....

Analogy, higher order thinking, and education.

Science.gov (United States)

Richland, Lindsey Engle; Simms, Nina

2015-01-01

Analogical reasoning, the ability to understand phenomena as systems of structured relationships that can be aligned, compared, and mapped together, plays a fundamental role in the technology rich, increasingly globalized educational climate of the 21st century. Flexible, conceptual thinking is prioritized in this view of education, and schools are emphasizing 'higher order thinking', rather than memorization of a cannon of key topics. The lack of a cognitively grounded definition for higher order thinking, however, has led to a field of research and practice with little coherence across domains or connection to the large body of cognitive science research on thinking. We review literature on analogy and disciplinary higher order thinking to propose that relational reasoning can be productively considered the cognitive underpinning of higher order thinking. We highlight the utility of this framework for developing insights into practice through a review of mathematics, science, and history educational contexts. In these disciplines, analogy is essential to developing expert-like disciplinary knowledge in which concepts are understood to be systems of relationships that can be connected and flexibly manipulated. At the same time, analogies in education require explicit support to ensure that learners notice the relevance of relational thinking, have adequate processing resources available to mentally hold and manipulate relations, and are able to recognize both the similarities and differences when drawing analogies between systems of relationships. © 2015 John Wiley & Sons, Ltd.

Evidence logics with relational evidence

DEFF Research Database (Denmark)

Baltag, Alexandru; Occhipinti, Andrés

2017-01-01

We introduce a family of logics for reasoning about relational evidence: evidence that involves an ordering of states in terms of their relative plausibility. We provide sound and complete axiomatizations for the logics. We also present several evidential actions and prove soundness...

Teaching logic using a state-of-art proof assistant

Directory of Open Access Journals (Sweden)

Maxim Hendriks

2010-06-01

Full Text Available This article describes the system ProofWeb developed for teaching logic to undergraduate computer science students. The system is based on the higher order proof assistant Coq, and is made available to the students through an interactive web interface. Part of this system is a large database of logic problems. This database will also hold the solutions of the students. The students do not need to install anything to be able to use the system (not even a browser plug-in, and the teachers are able to centrally track progress of the students. The system makes the full power of Coq available to the students, but simultaneously presents the logic problems in a way that is customary in undergraduate logic courses. Both styles of presenting natural deduction proofs (Gentzen-style `tree view' and Fitch-style `box view' are supported. Part of the system is a parser that indicates whether the students used the automation of Coq to solve their problems or that they solved it themselves using only the inference rules of the logic. For these inference rules dedicated tactics for Coq have been developed. The system has already been used in type theory courses and logic undergraduate courses. The ProofWeb system can be tried at http://proofweb.cs.ru.nl/.

Electromagnetic cloaking in higher order spherical cloaks

Science.gov (United States)

Sidhwa, H. H.; Aiyar, R. P. R. C.; Kulkarni, S. V.

2017-06-01

The inception of transformation optics has led to the realisation of the invisibility devices for various applications, one of which is spherical cloaking. In this paper, a formulation for a higher-order spherical cloak has been proposed to reduce its physical thickness significantly by introducing a nonlinear relation between the original and transformed coordinate systems and it has been verified using the ray tracing approach. Analysis has been carried out to observe the anomalies in the variation of refractive index for higher order cloaks indicating the presence of poles in the relevant equations. Furthermore, a higher-order spherical cloak with predefined values of the material characteristics on its inner and outer surfaces has been designed for practical application.

Higher-order Jordan Osserman pseudo-Riemannian manifolds

International Nuclear Information System (INIS)

Gilkey, Peter B; Ivanova, Raina; Zhang Tan

2002-01-01

We study the higher-order Jacobi operator in pseudo-Riemannian geometry. We exhibit a family of manifolds so that this operator has constant Jordan normal form on the Grassmannian of subspaces of signature (r, s) for certain values of (r, s). These pseudo-Riemannian manifolds are new and non-trivial examples of higher-order Osserman manifolds

Higher-order Jordan Osserman pseudo-Riemannian manifolds

Energy Technology Data Exchange (ETDEWEB)

Gilkey, Peter B [Mathematics Department, University of Oregon, Eugene, OR 97403 (United States); Ivanova, Raina [Mathematics Department, University of Hawaii - Hilo, 200 W Kawili St, Hilo, HI 96720 (United States); Zhang Tan [Department of Mathematics and Statistics, Murray State University, Murray, KY 42071 (United States)

2002-09-07

We study the higher-order Jacobi operator in pseudo-Riemannian geometry. We exhibit a family of manifolds so that this operator has constant Jordan normal form on the Grassmannian of subspaces of signature (r, s) for certain values of (r, s). These pseudo-Riemannian manifolds are new and non-trivial examples of higher-order Osserman manifolds.

Commitment or Compliance? Institutional Logics of Work Environment Management

DEFF Research Database (Denmark)

Madsen, Christian Uhrenholdt; Hasle, Peter

2017-01-01

and where it differs from the traditional organizational approach to work environment management. In this paper, we use the ‘institutional logics’ perspective to propose heuristic ideal types of two institutional logics of work environment management: The logic of compliance as the ideal type...... of the ‘traditional’ approach to work environment management and the logic of commitment as the human resource informed approach. Through a side-by-side comparison of key characteristics, we analyze the two ideal types as instantiations of institutional orders on the societal level with the compliance logic being...... rooted in the orders of the state and the corporation, and the commitment logic as based on the orders of the corporation. The paper ends with a discussion on the how the two logics can influence concrete work environment practices and approaches to management in organizations....

Formalization of Many-Valued Logics

DEFF Research Database (Denmark)

Villadsen, Jørgen; Schlichtkrull, Anders

2017-01-01

Partiality is a key challenge for computational approaches to artificial intelligence in general and natural language in particular. Various extensions of classical two-valued logic to many-valued logics have been investigated in order to meet this challenge. We use the proof assistant Isabelle...... to formalize the syntax and semantics of many-valued logics with determinate as well as indeterminate truth values. The formalization allows for a concise presentation and makes automated verification possible....

MEMS Logic Using Mixed-Frequency Excitation

KAUST Repository

Ilyas, Saad

2017-06-22

We present multi-function microelectromechanical systems (MEMS) logic device that can perform the fundamental logic gate AND, OR, universal logic gates NAND, NOR, and a tristate logic gate using mixed-frequency excitation. The concept is based on exciting combination resonances due to the mixing of two or more input signals. The device vibrates at two steady states: a high state when the combination resonance is activated and a low state when no resonance is activated. These vibration states are assigned to logical value 1 or 0 to realize the logic gates. Using ac signals to drive the resonator and to execute the logic inputs unifies the input and output wave forms of the logic device, thereby opening the possibility for cascading among logic devices. We found that the energy consumption per cycle of the proposed logic resonator is higher than those of existing technologies. Hence, integration of such logic devices to build complex computational system needs to take into consideration lowering the total energy consumption. [2017-0041

Difference equations in massive higher order calculations

International Nuclear Information System (INIS)

Bierenbaum, I.; Bluemlein, J.; Klein, S.; Schneider, C.

2007-07-01

The calculation of massive 2-loop operator matrix elements, required for the higher order Wilson coefficients for heavy flavor production in deeply inelastic scattering, leads to new types of multiple infinite sums over harmonic sums and related functions, which depend on the Mellin parameter N. We report on the solution of these sums through higher order difference equations using the summation package Sigma. (orig.)

Higher-order harmonics of general limited diffraction Bessel beams

International Nuclear Information System (INIS)

Ding De-Sheng; Huang Jin-Huang

2016-01-01

In this paper, we extensively study the higher-order harmonic generation of the general limited diffraction m -th-order Bessel beam. The analysis is based on successive approximations of the Khokhlov–Zabolotskaya–Kuznetsov (KZK) equation. Asymptotic expansions are presented for higher-order harmonic Bessel beams in near and far fields. The validity of asymptotic approximation is also analyzed. The higher-order harmonic of the Bessel beam with the lowest zero-order is taken as a special example. (special topic)

A system at the cross-roads of functional and logic programming

NARCIS (Netherlands)

Kamareddine, F.

1992-01-01

The type-free ¿-calculus is powerful enough to contain all the polymorphic and higher-order nature of functional programming and furthermore types could be constructed inside it. However, mixing the type-free ¿-calculus with logic is not very straightforward (see Aczel [1] and Scott [15]). In this

Logic and discrete mathematics a concise introduction

CERN Document Server

Conradie, Willem

2015-01-01

A concise yet rigorous introduction to logic and discrete mathematics. This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has been tested and refined by the authors in university courses taught over more than a decade.  The chapters on logic - propositional and first-order - provide a robust toolkit for logical reasoning, emphasizing the conceptual understanding of the language and the semantics of classical logic as well as practical applications through the easy

The logical foundations of mathematics

CERN Document Server

Hatcher, William S

1981-01-01

The Logical Foundations of Mathematics offers a study of the foundations of mathematics, stressing comparisons between and critical analyses of the major non-constructive foundational systems. The position of constructivism within the spectrum of foundational philosophies is discussed, along with the exact relationship between topos theory and set theory.Comprised of eight chapters, this book begins with an introduction to first-order logic. In particular, two complete systems of axioms and rules for the first-order predicate calculus are given, one for efficiency in proving metatheorems, and

Hybrid logic on linear structures: expressivity and complexity

NARCIS (Netherlands)

Franceschet, M.; de Rijke, M.; Schlingoff, B.-H.

2003-01-01

We investigate expressivity and complexity of hybrid logics on linear structures. Hybrid logics are an enrichment of modal logics with certain first-order features which are algorithmically well behaved. Therefore, they are well suited for the specification of certain properties of computational

Commitment or Compliance?—Institutional logics of work environment management

DEFF Research Database (Denmark)

Madsen, Christian Uhrenholdt; Hasle, Peter

2017-01-01

and where it differs from the traditional organizational approach to work environment management. In this paper, we use the ‘institutional logics’ perspective to propose heuristic ideal types of two institutional logics of work environment management: The logic of compliance as the ideal type...... of the ‘traditional’ approach to work environment management and the logic of commitment as the human resource informed approach. Through a side-by-side comparison of key characteristics, we analyze the two ideal types as instantiations of institutional orders on the societal level with the compliance logic being...... rooted in the orders of the state and the corporation, and the commitment logic as based on the orders of the corporation. The paper ends with a discussion on the how the two logics can influence concrete work environment practices and approaches to management in organizations....

Higher-order harmonics of general limited diffraction Bessel beams

Science.gov (United States)

Ding, De-Sheng; Huang, Jin-Huang

2016-12-01

In this paper, we extensively study the higher-order harmonic generation of the general limited diffraction m-th-order Bessel beam. The analysis is based on successive approximations of the Khokhlov-Zabolotskaya-Kuznetsov (KZK) equation. Asymptotic expansions are presented for higher-order harmonic Bessel beams in near and far fields. The validity of asymptotic approximation is also analyzed. The higher-order harmonic of the Bessel beam with the lowest zero-order is taken as a special example. Project supported by the National Natural Science Foundation of China (Grant Nos. 11074038 and 11374051).

Developing Student Worksheet Based On Higher Order Thinking Skills on the Topic of Transistor Power Amplifier

Science.gov (United States)

Sardia Ratna Kusuma, Luckey; Rakhmawati, Lusia; Wiryanto

2018-04-01

The purpose of this study is to develop a student worksheet about the transistor power amplifier based on higher order thinking skills include critical, logical, reflective, metacognitive, and creative thinking, which could be useful for teachers in improving student learning outcomes. Research and Development (R & D) methodology was used in this study. The pilot study of the worksheet was carried out with class X AV 2 at SMK Negeri 5 Surabaya. The result showed satisfies aspect of validity with 81.76 %, and effectiveness (students learning outcomes is classically passed out with percentage of 82.4 % and the students gave positive responses to the student worksheet of each statement. It can be concluded that this worksheet categorized good and worthy to be used as a source of learning in the learning activities.

Higher order QCD corrections in small x physics

International Nuclear Information System (INIS)

Chachamis, G.

2006-11-01

We study higher order QCD corrections in small x Physics. The numerical implementation of the full NLO photon impact factor is the remaining necessary piece for the testing of the NLO BFKL resummation against data from physical processes, such as γ * γ * collisions. We perform the numerical integration over phase space for the virtual corrections to the NLO photon impact factor. This, along with the previously calculated real corrections, makes feasible in the near future first estimates for the γ*γ* total cross section, since the convolution of the full impact factor with the NLO BFKL gluon Green's function is now straightforward. The NLO corrections for the photon impact factor are sizeable and negative. In the second part of this thesis, we estimate higher order correction to the BK equation. We are mainly interested in whether partonic saturation delays or not in rapidity when going beyond the leading order. In our investigation, we use the so called 'rapidity veto' which forbid two emissions to be very close in rapidity, to 'switch on' higher order corrections to the BK equation. From analytic and numerical analysis, we conclude that indeed saturation does delay in rapidity when higher order corrections are taken into account. In the last part, we investigate higher order QCD corrections as additional corrections to the Electroweak (EW) sector. The question of whether BFKL corrections are of any importance in the Regge limit for the EW sector seems natural; although they arise in higher loop level, the accumulation of logarithms in energy s at high energies, cannot be dismissed without an investigation. We focus on the process γγ→ZZ. We calculate the pQCD corrections in the forward region at leading logarithmic (LL) BFKL accuracy, which are of the order of few percent at the TeV energy scale. (orig.)

Higher order QCD corrections in small x physics

Energy Technology Data Exchange (ETDEWEB)

Chachamis, G.

2006-11-15

We study higher order QCD corrections in small x Physics. The numerical implementation of the full NLO photon impact factor is the remaining necessary piece for the testing of the NLO BFKL resummation against data from physical processes, such as {gamma}{sup *}{gamma}{sup *} collisions. We perform the numerical integration over phase space for the virtual corrections to the NLO photon impact factor. This, along with the previously calculated real corrections, makes feasible in the near future first estimates for the {gamma}*{gamma}* total cross section, since the convolution of the full impact factor with the NLO BFKL gluon Green's function is now straightforward. The NLO corrections for the photon impact factor are sizeable and negative. In the second part of this thesis, we estimate higher order correction to the BK equation. We are mainly interested in whether partonic saturation delays or not in rapidity when going beyond the leading order. In our investigation, we use the so called 'rapidity veto' which forbid two emissions to be very close in rapidity, to 'switch on' higher order corrections to the BK equation. From analytic and numerical analysis, we conclude that indeed saturation does delay in rapidity when higher order corrections are taken into account. In the last part, we investigate higher order QCD corrections as additional corrections to the Electroweak (EW) sector. The question of whether BFKL corrections are of any importance in the Regge limit for the EW sector seems natural; although they arise in higher loop level, the accumulation of logarithms in energy s at high energies, cannot be dismissed without an investigation. We focus on the process {gamma}{gamma}{yields}ZZ. We calculate the pQCD corrections in the forward region at leading logarithmic (LL) BFKL accuracy, which are of the order of few percent at the TeV energy scale. (orig.)

Embedding Logics into Product Logic

Czech Academy of Sciences Publication Activity Database

Baaz, M.; Hájek, Petr; Krajíček, Jan; Švejda, David

1998-01-01

Roč. 61, č. 1 (1998), s. 35-47 ISSN 0039-3215 R&D Projects: GA AV ČR IAA1030601 Grant - others:COST(XE) Action 15 Keywords : fuzzy logic * Lukasiewicz logic * Gödel logic * product logic * computational complexity * arithmetical hierarchy Subject RIV: BA - General Mathematics

Nonlocal higher order evolution equations

KAUST Repository

Rossi, Julio D.; Schö nlieb, Carola-Bibiane

2010-01-01

In this article, we study the asymptotic behaviour of solutions to the nonlocal operator ut(x, t)1/4(-1)n-1 (J*Id -1)n (u(x, t)), x ∈ ℝN, which is the nonlocal analogous to the higher order local evolution equation vt(-1)n-1(Δ)nv. We prove

Unambiguous formalism for higher order Lagrangian field theories

International Nuclear Information System (INIS)

Campos, Cedric M; De Leon, Manuel; De Diego, David MartIn; Vankerschaver, Joris

2009-01-01

The aim of this paper is to propose an unambiguous intrinsic formalism for higher order field theories which avoids the arbitrariness in the generalization of the conventional description of field theories, and implies the existence of different Cartan forms and Legendre transformations. We propose a differential-geometric setting for the dynamics of a higher order field theory, based on the Skinner and Rusk formalism for mechanics. This approach incorporates aspects of both the Lagrangian and the Hamiltonian description, since the field equations are formulated using the Lagrangian on a higher order jet bundle and the canonical multisymplectic form on its affine dual. As both of these objects are uniquely defined, the Skinner-Rusk approach has the advantage that it does not suffer from the arbitrariness in conventional descriptions. The result is that we obtain a unique and global intrinsic version of the Euler-Lagrange equations for higher order field theories. Several examples illustrate our construction.

Some logical and syntactical observations concerning the the first-order dependent type system lambda-P

NARCIS (Netherlands)

Geuvers, J.H.; Barendsen, E.

1999-01-01

We look at two different ways of interpreting logic in the dependent type system ¿P. The first is by a direct formulas-as-types interpretation à la Howard where the logical derivation rules are mapped to derivation rules in the type system. The second is by viewing ¿P as a Logical Framework,

Generator of combined logical signals

International Nuclear Information System (INIS)

Laviron, Andre; Berard, Claude.

1982-01-01

The invention concerns a generator of combined logical signals to form combinations of two outputs at logical level 1 and N-2 outputs at logical level 0, among N generator outputs. This generator is characterized in that it includes a set of N means for storing combinations. Means enable the N storage means to be loaded with the logical levels corresponding to a pre-set starting combination, to control the operations for shifting the contents of the storage means and to control, by transfer facilities, the transfers of contents between these storage means. Controls enable the storage means to be actuated in order to obtain combinations of logical levels 1 and 0. The generation of combinations can be stopped after another pre-set combination. Application is for testing of safety circuits for nuclear power stations [fr

Truth and falsehood an inquiry into generalized logical values

CERN Document Server

Shramko, Yaroslav

2012-01-01

Here is a thoroughly elaborated logical theory of generalized truth-values, presenting the idea of a trilattice of truth values - a specific algebraic structure with information ordering and two distinct logical orderings, one for truth and another for falsity.

Conceptual and Metaphysical Origins and Relevance of Temporal Logic

DEFF Research Database (Denmark)

Jakobsen, David; Øhrstrøm, Peter

2016-01-01

Logic has sometimes been seen as an alternative to metaphysics and to speculation. In this paper it is argued that a different story should be told when it comes to temporal logic and tense-logic in particular. A.N. Prior’s first formulation of tense logic was mainly established in order to quali...

Permissive Subsorted Partial Logic in CASL

DEFF Research Database (Denmark)

Cerioli, Maura; Haxthausen, Anne Elisabeth; Krieg-Brückner, Bernd

1997-01-01

This paper presents a permissive subsorted partial logic used in the CoFI Algebraic Specification Language. In contrast to other order-sorted logics, subsorting is not modeled by set inclusions, but by injective embeddings allowing for more general models in which subtypes can have different data...

TOWARDS A PHILOSOPHICAL UNDERSTANDING OF THE LOGICS OF FORMAL INCONSISTENCY

Directory of Open Access Journals (Sweden)

WALTER CARNIELLI

2015-01-01

Full Text Available AbstractIn this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non-contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to philosophically justify paraconsistency there is no need to endorse dialetheism, the thesis that there are true contradictions. Furthermore, we show that mbC, a logic of formal inconsistency based on classical logic, may be enhanced in order to express the basic ideas of an intuitive interpretation of contradictions as conflicting evidence.

Development of RPS trip logic based on PLD technology

International Nuclear Information System (INIS)

Choi, Jong Gyun; Lee, Dong Young

2012-01-01

The majority of instrumentation and control (I and C) systems in today's nuclear power plants (NPPs) are based on analog technology. Thus, most existing I and C systems now face obsolescence problems. Existing NPPs have difficulty in repairing and replacing devices and boards during maintenance because manufacturers no longer produce the analog devices and boards used in the implemented I and C systems. Therefore, existing NPPs are replacing the obsolete analog I and C systems with advanced digital systems. New NPPs are also adopting digital I and C systems because the economic efficiencies and usability of the systems are higher than the analog I and C systems. Digital I and C systems are based on two technologies: a microprocessor based system in which software programs manage the required functions and a programmable logic device (PLD) based system in which programmable logic devices, such as field programmable gate arrays, manage the required functions. PLD based systems provide higher levels of performance compared with microprocessor based systems because PLD systems can process the data in parallel while microprocessor based systems process the data sequentially. In this research, a bistable trip logic in a reactor protection system (RPS) was developed using very high speed integrated circuits hardware description language (VHDL), which is a hardware description language used in electronic design to describe the behavior of the digital system. Functional verifications were also performed in order to verify that the bistable trip logic was designed correctly and satisfied the required specifications. For the functional verification, a random testing technique was adopted to generate test inputs for the bistable trip logic.

The Logical Basis of Evaluation Order and Pattern-Matching

Science.gov (United States)

2009-04-17

various people in the 1930s, particularly Wittgenstein (“It is what is regarded as the justification of an assertion that constitutes the sense of the...assertion” [ Wittgenstein , 1974, I,§40]), and Brouwer-Heyting-Kolmogorov in their interpretations of intuitionistic logic [Heyting, 1974, Kolmogorov, 1932...Technical Report CMU-CS-02-101, Department of Computer Science, Carnegie Mellon University, 2002. Revised May 2003. Ludwig Wittgenstein

A Denotational Semantics for Logic Programming

DEFF Research Database (Denmark)

Frandsen, Gudmund Skovbjerg

A fully abstract denotational semantics for logic programming has not been constructed yet. In this paper we present a denotational semantics that is almost fully abstract. We take the meaning of a logic program to be an element in a Plotkin power domain of substitutions. In this way our result...... shows that standard domain constructions suffice, when giving a semantics for logic programming. Using the well-known fixpoint semantics of logic programming we have to consider two different fixpoints in order to obtain information about both successful and failed computations. In contrast, our...... semantics is uniform in that the (single) meaning of a logic program contains information about both successful, failed and infinite computations. Finally, based on the full abstractness result, we argue that the detail level of substitutions is needed in any denotational semantics for logic programming....

Time-Discrete Higher-Order ALE Formulations: Stability

KAUST Repository

Bonito, Andrea; Kyza, Irene; Nochetto, Ricardo H.

2013-01-01

on the stability of the PDE but may influence that of a discrete scheme. We examine this critical issue for higher-order time stepping without space discretization. We propose time-discrete discontinuous Galerkin (dG) numerical schemes of any order for a time

The Meaning of Higher-Order Factors in Reflective-Measurement Models

Science.gov (United States)

Eid, Michael; Koch, Tobias

2014-01-01

Higher-order factor analysis is a widely used approach for analyzing the structure of a multidimensional test. Whenever first-order factors are correlated researchers are tempted to apply a higher-order factor model. But is this reasonable? What do the higher-order factors measure? What is their meaning? Willoughby, Holochwost, Blanton, and Blair…

Nil Bohr-sets and almost automorphy of higher order

CERN Document Server

Huang, Wen; Ye, Xiangdong

2016-01-01

Two closely related topics, higher order Bohr sets and higher order almost automorphy, are investigated in this paper. Both of them are related to nilsystems. In the first part, the problem which can be viewed as the higher order version of an old question concerning Bohr sets is studied: for any d\\in \\mathbb{N} does the collection of \\{n\\in \\mathbb{Z}: S\\cap (S-n)\\cap\\ldots\\cap (S-dn)\

Higher order cumulants in colorless partonic plasma

Energy Technology Data Exchange (ETDEWEB)

Cherif, S. [Sciences and Technologies Department, University of Ghardaia, Ghardaia, Algiers (Algeria); Laboratoire de Physique et de Mathématiques Appliquées (LPMA), ENS-Kouba (Bachir El-Ibrahimi), Algiers (Algeria); Ahmed, M. A. A. [Department of Physics, College of Science, Taibah University Al-Madinah Al-Mounawwarah KSA (Saudi Arabia); Department of Physics, Taiz University in Turba, Taiz (Yemen); Laboratoire de Physique et de Mathématiques Appliquées (LPMA), ENS-Kouba (Bachir El-Ibrahimi), Algiers (Algeria); Ladrem, M., E-mail: mladrem@yahoo.fr [Department of Physics, College of Science, Taibah University Al-Madinah Al-Mounawwarah KSA (Saudi Arabia); Laboratoire de Physique et de Mathématiques Appliquées (LPMA), ENS-Kouba (Bachir El-Ibrahimi), Algiers (Algeria)

2016-06-10

Any physical system considered to study the QCD deconfinement phase transition certainly has a finite volume, so the finite size effects are inevitably present. This renders the location of the phase transition and the determination of its order as an extremely difficult task, even in the simplest known cases. In order to identify and locate the colorless QCD deconfinement transition point in finite volume T{sub 0}(V), a new approach based on the finite-size cumulant expansion of the order parameter and the ℒ{sub m,n}-Method is used. We have shown that both cumulants of higher order and their ratios, associated to the thermodynamical fluctuations of the order parameter, in QCD deconfinement phase transition behave in a particular enough way revealing pronounced oscillations in the transition region. The sign structure and the oscillatory behavior of these in the vicinity of the deconfinement phase transition point might be a sensitive probe and may allow one to elucidate their relation to the QCD phase transition point. In the context of our model, we have shown that the finite volume transition point is always associated to the appearance of a particular point in whole higher order cumulants under consideration.

The dark side of Interval Temporal Logic: sharpening the undecidability border

DEFF Research Database (Denmark)

Bresolin, Davide; Monica, Dario Della; Goranko, Valentin

2011-01-01

on the class of models (in our case, the class of interval structures)in which it is interpreted. In this paper, we have identified several new minimal undecidable logics amongst the fragments of Halpern-Shoham logic HS, including the logic of the overlaps relation, over the classes of all and finite linear...... orders, as well as the logic of the meet and subinterval relations, over the class of dense linear orders. Together with previous undecid ability results, this work contributes to delineate the border of the dark side of interval temporal logics quite sharply....

On the expressiveness and decidability of higher-order process calculi

NARCIS (Netherlands)

Lanese, Ivan; Perez, Jorge A.; Sangiorgi, Davide; Schmitt, Alan

In higher-order process calculi, the values exchanged in communications may contain processes. A core calculus of higher-order concurrency is studied; it has only the operators necessary to express higher-order communications: input prefix, process output, and parallel composition. By exhibiting a

Multilevel Fast Multipole Method for Higher Order Discretizations

DEFF Research Database (Denmark)

Borries, Oscar Peter; Meincke, Peter; Jorgensen, Erik

2014-01-01

The multi-level fast multipole method (MLFMM) for a higher order (HO) discretization is demonstrated on high-frequency (HF) problems, illustrating for the first time how an efficient MLFMM for HO can be achieved even for very large groups. Applying several novel ideas, beneficial to both lower...... order and higher order discretizations, results from a low-memory, high-speed MLFMM implementation of a HO hierarchical discretization are shown. These results challenge the general view that the benefits of HO and HF-MLFMM cannot be combined....

The conditional in quantum logic

International Nuclear Information System (INIS)

Hardegree, G.M.

1976-01-01

In this article it is argued that orthodox quantum logic, which is represented by the lattice of projections on Hilbert space, does in fact admit an operation which possesses the essential properties of a material conditional. It is proposed that this connective can be interpreted as a Stalnaker (counter factual) conditional, where the nearness ordering among 'worlds' (in this case, QM pure states) derives in a natural way from the Hilbert space inner-product metric. It is a characteristic of the quantum logic conditional that the law of modus ponens is equivalent to the orthomodular law of conventional quantum logic. (B.R.H.)

Some Reflections on Logic and Transcendence

DEFF Research Database (Denmark)

Øhrstrøm, Peter

2010-01-01

It is sometimes argued that the very existence of a notion of validity of logical inference on which all rational persons should agree is an indication of the existence of something transcendent. It has also been argued that logic can be used in order to demonstrate the problematic status of natu...

Higher-order modulation instability in nonlinear fiber optics.

Science.gov (United States)

Erkintalo, Miro; Hammani, Kamal; Kibler, Bertrand; Finot, Christophe; Akhmediev, Nail; Dudley, John M; Genty, Goëry

2011-12-16

We report theoretical, numerical, and experimental studies of higher-order modulation instability in the focusing nonlinear Schrödinger equation. This higher-order instability arises from the nonlinear superposition of elementary instabilities, associated with initial single breather evolution followed by a regime of complex, yet deterministic, pulse splitting. We analytically describe the process using the Darboux transformation and compare with experiments in optical fiber. We show how a suitably low frequency modulation on a continuous wave field induces higher-order modulation instability splitting with the pulse characteristics at different phases of evolution related by a simple scaling relationship. We anticipate that similar processes are likely to be observed in many other systems including plasmas, Bose-Einstein condensates, and deep water waves. © 2011 American Physical Society

Higher-order rewriting and partial evaluation

DEFF Research Database (Denmark)

Danvy, Olivier; Rose, Kristoffer H.

1998-01-01

We demonstrate the usefulness of higher-order rewriting techniques for specializing programs, i.e., for partial evaluation. More precisely, we demonstrate how casting program specializers as combinatory reduction systems (CRSs) makes it possible to formalize the corresponding program...

Synthesis of models for order-sorted first-order theories using linear algebra and constraint solving

Directory of Open Access Journals (Sweden)

Salvador Lucas

2015-12-01

Full Text Available Recent developments in termination analysis for declarative programs emphasize the use of appropriate models for the logical theory representing the program at stake as a generic approach to prove termination of declarative programs. In this setting, Order-Sorted First-Order Logic provides a powerful framework to represent declarative programs. It also provides a target logic to obtain models for other logics via transformations. We investigate the automatic generation of numerical models for order-sorted first-order logics and its use in program analysis, in particular in termination analysis of declarative programs. We use convex domains to give domains to the different sorts of an order-sorted signature; we interpret the ranked symbols of sorted signatures by means of appropriately adapted convex matrix interpretations. Such numerical interpretations permit the use of existing algorithms and tools from linear algebra and arithmetic constraint solving to synthesize the models.

All-fiber Raman Probe using Higher Order Modes

DEFF Research Database (Denmark)

Larsen, Stine Højer Møller; Rishøj, Lars Søgaard; Rottwitt, Karsten

2013-01-01

We demonstrate the first all-fiber Raman probe utilizing higher order modes for the excitation. The spectrum of cyclohexane is measured using both the fundamental mode as well as in-fiber-generated Bessel-like modes.......We demonstrate the first all-fiber Raman probe utilizing higher order modes for the excitation. The spectrum of cyclohexane is measured using both the fundamental mode as well as in-fiber-generated Bessel-like modes....

Asymptotic Expansions for Higher-Order Scalar Difference Equations

Directory of Open Access Journals (Sweden)

Pituk Mihály

2007-01-01

Full Text Available We give an asymptotic expansion of the solutions of higher-order Poincaré difference equation in terms of the characteristic solutions of the limiting equation. As a consequence, we obtain an asymptotic description of the solutions approaching a hyperbolic equilibrium of a higher-order nonlinear difference equation with sufficiently smooth nonlinearity. The proof is based on the inversion formula for the z -transform and the residue theorem.

On the origin of higher braces and higher-order derivations

Czech Academy of Sciences Publication Activity Database

Markl, Martin

2015-01-01

Roč. 10, č. 3 (2015), s. 637-667 ISSN 2193-8407 Institutional support: RVO:67985840 Keywords : Koszul braces * Börjeseon braces * higher-order derivation Subject RIV: BA - General Mathematics Impact factor: 0.600, year: 2015 http://link.springer.com/article/10.1007/s40062-014-0079-2

Higher order correlations in computed particle distributions

International Nuclear Information System (INIS)

Hanerfeld, H.; Herrmannsfeldt, W.; Miller, R.H.

1989-03-01

The rms emittances calculated for beam distributions using computer simulations are frequently dominated by higher order aberrations. Thus there are substantial open areas in the phase space plots. It has long been observed that the rms emittance is not an invariant to beam manipulations. The usual emittance calculation removes the correlation between transverse displacement and transverse momentum. In this paper, we explore the possibility of defining higher order correlations that can be removed from the distribution to result in a lower limit to the realizable emittance. The intent is that by inserting the correct combinations of linear lenses at the proper position, the beam may recombine in a way that cancels the effects of some higher order forces. An example might be the non-linear transverse space charge forces which cause a beam to spread. If the beam is then refocused so that the same non-linear forces reverse the inward velocities, the resulting phase space distribution may reasonably approximate the original distribution. The approach to finding the location and strength of the proper lens to optimize the transported beam is based on work by Bruce Carlsten of Los Alamos National Laboratory. 11 refs., 4 figs

Perturbative theory of higher-order collision-enhanced wave mixing

International Nuclear Information System (INIS)

Trebino, R.; Rahn, L.A.

1989-01-01

This paper reports on collision-enhanced resonances which represent an interesting class of nonlinear- optical processes. They occur because collisional dephasing can rephase quantum-mechanical amplitudes that ordinarily cancel out exactly, thereby allowing otherwise unobservable wave-mixing resonances to be seen. This is an especially interesting phenomenon because these resonances are coherent effects that are induced by an incoherent process (collisional dephasing). First predicted in the late 1970s and eventually observed in 1981, these novel effects have now been seen in a wide variety of four-wave-mixing experiments, ranging from self-focusing to coherent anti-Stokes Raman spectroscopy. Recently, the authors have extended these observations to higher order, where the authors have shown both experimentally and theoretically the higher-order, collision-enhanced effects exist in nonlinear optics, appearing as subharmonics of two-photon resonances. Indeed, the authors have found that collision-enhanced processes are ideal systems for studying higher-order, nonlinear-optical effects because very high orders can be made to contribute with little or no saturation braodening. Experiments on sodium in a flame using six- and eight-wave-mixing geometries have revealed still higher-order effects (at least as high- order as χ (13) )

Temporal logics and real time expert systems.

Science.gov (United States)

Blom, J A

1996-10-01

This paper introduces temporal logics. Due to the eternal compromise between expressive adequacy and reasoning efficiency that must decided upon in any application, full (first order logic or modal logic based) temporal logics are frequently not suitable. This is especially true in real time expert systems, where a fixed (and usually small) response time must be guaranteed. One such expert system, Fagan's VM, is reviewed, and a delineation is given of how to formally describe and reason with time in medical protocols. It is shown that Petri net theory is a useful tool to check the correctness of formalised protocols.

Asymptotic Expansions for Higher-Order Scalar Difference Equations

Directory of Open Access Journals (Sweden)

Ravi P. Agarwal

2007-04-01

Full Text Available We give an asymptotic expansion of the solutions of higher-order Poincaré difference equation in terms of the characteristic solutions of the limiting equation. As a consequence, we obtain an asymptotic description of the solutions approaching a hyperbolic equilibrium of a higher-order nonlinear difference equation with sufficiently smooth nonlinearity. The proof is based on the inversion formula for the z -transform and the residue theorem.

Higher-Order Cyclostationarity Detection for Spectrum Sensing

Directory of Open Access Journals (Sweden)

Julien Renard

2010-01-01

Full Text Available Recent years have shown a growing interest in the concept of Cognitive Radios (CRs, able to access portions of the electromagnetic spectrum in an opportunistic operating way. Such systems require efficient detectors able to work in low Signal-to-Noise Ratio (SNR environments, with little or no information about the signals they are trying to detect. Energy detectors are widely used to perform such blind detection tasks, but quickly reach the so-called SNR wall below which detection becomes impossible Tandra (2005. Cyclostationarity detectors are an interesting alternative to energy detectors, as they exploit hidden periodicities present in man-made signals, but absent in noise. Such detectors use quadratic transformations of the signals to extract the hidden sine-waves. While most of the literature focuses on the second-order transformations of the signals, we investigate the potential of higher-order transformations of the signals. Using the theory of Higher-Order Cyclostationarity (HOCS, we derive a fourth-order detector that performs similarly to the second-order ones to detect linearly modulated signals, at SNR around 0 dB, which may be used if the signals of interest do not exhibit second-order cyclostationarity. More generally this paper reviews the relevant aspects of the cyclostationary and HOCS theory, and shows their potential for spectrum sensing.

CRS and Guarded Logics: a fruitful contact

NARCIS (Netherlands)

van Benthem, J.; Andréka, H.; Ferenczi, M.; Németi, I.

2013-01-01

Back and forth between algebra and model theory. Algebra and model theory are complementary stances in the history of logic, and their interaction continues to spawn new ideas, witness the interface of First-Order Logic and Cylindric Algebra. This chapter is about a more specialized contact: the

Higher-order tensors in diffusion imaging

NARCIS (Netherlands)

Schultz, T.; Fuster, A.; Ghosh, A.; Deriche, R.; Florack, L.M.J.; Lim, L.H.; Westin, C.-F.; Vilanova, A.; Burgeth, B.

2014-01-01

Diffusion imaging is a noninvasive tool for probing the microstructure of fibrous nerve and muscle tissue. Higher-order tensors provide a powerful mathematical language to model and analyze the large and complex data that is generated by its modern variants such as High Angular Resolution Diffusion

Special issue of Higher-Order and Symbolic Computation

DEFF Research Database (Denmark)

solicited from papers presented at ASIAPEPM 02, the 2002 SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation [1]. The four articles were subjected to the usual process of journal reviewing. "Cost-Augmented Partial Evaluation of Functional Logic Programs" extends previous......The present issue is dedicated to Partial Evaluation and Semantics-Based Program Manipulation. Its first two articles were solicited from papers presented at PEPM 02, the 2002 ACMSIGPLANWorkshop on Partial Evaluation and Semantics-Based Program Manipulation [2], and its last two articles were...... narrowing-driven techniques of partial evaluation for functional-logic programs by the inclusion of abstract computation costs into the partial-evaluation process. A preliminary version of this work was presented at PEPM 02. "Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization...

Anatomy Ontology Matching Using Markov Logic Networks

Directory of Open Access Journals (Sweden)

Chunhua Li

2016-01-01

Full Text Available The anatomy of model species is described in ontologies, which are used to standardize the annotations of experimental data, such as gene expression patterns. To compare such data between species, we need to establish relationships between ontologies describing different species. Ontology matching is a kind of solutions to find semantic correspondences between entities of different ontologies. Markov logic networks which unify probabilistic graphical model and first-order logic provide an excellent framework for ontology matching. We combine several different matching strategies through first-order logic formulas according to the structure of anatomy ontologies. Experiments on the adult mouse anatomy and the human anatomy have demonstrated the effectiveness of proposed approach in terms of the quality of result alignment.

Exact solutions to two higher order nonlinear Schroedinger equations

International Nuclear Information System (INIS)

Xu Liping; Zhang Jinliang

2007-01-01

Using the homogeneous balance principle and F-expansion method, the exact solutions to two higher order nonlinear Schroedinger equations which describe the propagation of femtosecond pulses in nonlinear fibres are obtained with the aid of a set of subsidiary higher order ordinary differential equations (sub-equations for short)

MANUAL LOGIC CONTROLLER (MLC)

OpenAIRE

Claude Ziad Bayeh

2015-01-01

The “Manual Logic Controller” also called MLC, is an electronic circuit invented and designed by the author in 2008, in order to replace the well known PLC (Programmable Logic Controller) in many applications for its advantages and its low cost of fabrication. The function of the MLC is somewhat similar to the well known PLC, but instead of doing it by inserting a written program into the PLC using a computer or specific software inside the PLC, it will be manually programmed in a manner to h...

Set theory and logic

CERN Document Server

Stoll, Robert R

1979-01-01

Set Theory and Logic is the result of a course of lectures for advanced undergraduates, developed at Oberlin College for the purpose of introducing students to the conceptual foundations of mathematics. Mathematics, specifically the real number system, is approached as a unity whose operations can be logically ordered through axioms. One of the most complex and essential of modern mathematical innovations, the theory of sets (crucial to quantum mechanics and other sciences), is introduced in a most careful concept manner, aiming for the maximum in clarity and stimulation for further study in

Strategies and logics of internationalization

Directory of Open Access Journals (Sweden)

Mahjouba Ben Salem

2013-07-01

Full Text Available The race between firms to acquire capacities worldwide has evolved in a chronological order which centered at first around products, then around position to move later on to skills and to focus currently on networks. Similarly, when observing the evolution of the different international development strategies, it was found out that they have started by the exportation and the setting up of production subsidiaries to move more recently to such strategies as mergers & acquisitions and international alliances. The present paper investigates the relationship between the internationalization strategies and logics and comes to the conclusion that, a particular logic is behind every choice made. Indeed, the present work was conducted within the Tunisian food enterprises and helped confirm this hypothesis as it was found out that the position logic is behind the choice of exportation and the creation of production subsidiaries while the choice of partnership is based on the logic of skills. The option for merger, on the other hand, is motivated by the networks logic.

Self-similarity of higher-order moving averages

Science.gov (United States)

Arianos, Sergio; Carbone, Anna; Türk, Christian

2011-10-01

In this work, higher-order moving average polynomials are defined by straightforward generalization of the standard moving average. The self-similarity of the polynomials is analyzed for fractional Brownian series and quantified in terms of the Hurst exponent H by using the detrending moving average method. We prove that the exponent H of the fractional Brownian series and of the detrending moving average variance asymptotically agree for the first-order polynomial. Such asymptotic values are compared with the results obtained by the simulations. The higher-order polynomials correspond to trend estimates at shorter time scales as the degree of the polynomial increases. Importantly, the increase of polynomial degree does not require to change the moving average window. Thus trends at different time scales can be obtained on data sets with the same size. These polynomials could be interesting for those applications relying on trend estimates over different time horizons (financial markets) or on filtering at different frequencies (image analysis).

Data Logic

DEFF Research Database (Denmark)

Nilsson, Jørgen Fischer

A Gentle introduction to logical languages, logical modeling, formal reasoning and computational logic for computer science and software engineering students......A Gentle introduction to logical languages, logical modeling, formal reasoning and computational logic for computer science and software engineering students...

Compiler-Directed Transformation for Higher-Order Stencils

Energy Technology Data Exchange (ETDEWEB)

Basu, Protonu [Univ. of Utah, Salt Lake City, UT (United States); Hall, Mary [Univ. of Utah, Salt Lake City, UT (United States); Williams, Samuel [Lawrence Berkeley National Lab. (LBNL), Berkeley, CA (United States); Straalen, Brian Van [Lawrence Berkeley National Lab. (LBNL), Berkeley, CA (United States); Oliker, Leonid [Lawrence Berkeley National Lab. (LBNL), Berkeley, CA (United States); Colella, Phillip [Lawrence Berkeley National Lab. (LBNL), Berkeley, CA (United States)

2015-07-20

As the cost of data movement increasingly dominates performance, developers of finite-volume and finite-difference solutions for partial differential equations (PDEs) are exploring novel higher-order stencils that increase numerical accuracy and computational intensity. This paper describes a new compiler reordering transformation applied to stencil operators that performs partial sums in buffers, and reuses the partial sums in computing multiple results. This optimization has multiple effect son improving stencil performance that are particularly important to higher-order stencils: exploits data reuse, reduces floating-point operations, and exposes efficient SIMD parallelism to backend compilers. We study the benefit of this optimization in the context of Geometric Multigrid (GMG), a widely used method to solvePDEs, using four different Jacobi smoothers built from 7-, 13-, 27-and 125-point stencils. We quantify performance, speedup, andnumerical accuracy, and use the Roofline model to qualify our results. Ultimately, we obtain over 4× speedup on the smoothers themselves and up to a 3× speedup on the multigrid solver. Finally, we demonstrate that high-order multigrid solvers have the potential of reducing total data movement and energy by several orders of magnitude.

Higher-Order Components for Grid Programming

CERN Document Server

Dünnweber, Jan

2009-01-01

Higher-Order Components were developed within the CoreGRID European Network of Excellence and have become an optional extension of the popular Globus middleware. This book provides the reader with hands-on experience, describing a collection of example applications from various fields of science and engineering, including biology and physics.

Higher order aberrations of the eye: Part one

Directory of Open Access Journals (Sweden)

Marsha Oberholzer

2016-06-01

Full Text Available This article is the first in a series of two articles that provide a comprehensive literature review of higher order aberrations (HOAs of the eye. The present article mainly explains the general principles of such HOAs as well as HOAs of importance, and the measuring apparatus used to measure HOAs of the eye. The second article in the series discusses factors contributing to variable results in measurements of HOAs of the eye. Keywords: Higher order aberrations; wavefront aberrations; aberrometer

Coinductive Logic Programming with Negation

Science.gov (United States)

Min, Richard; Gupta, Gopal

We introduce negation into coinductive logic programming (co-LP) via what we term Coinductive SLDNF (co-SLDNF) resolution. We present declarative and operational semantics of co-SLDNF resolution and present their equivalence under the restriction of rationality. Co-LP with co-SLDNF resolution provides a powerful, practical and efficient operational semantics for Fitting's Kripke-Kleene three-valued logic with restriction of rationality. Further, applications of co-SLDNF resolution are also discussed and illustrated where Co-SLDNF resolution allows one to develop elegant implementations of modal logics. Moreover it provides the capability of non-monotonic inference (e.g., predicate Answer Set Programming) that can be used to develop novel and effective first-order modal non-monotonic inference engines.

Lagrangian-Hamiltonian unified formalism for autonomous higher order dynamical systems

International Nuclear Information System (INIS)

Prieto-Martinez, Pedro Daniel; Roman-Roy, Narciso

2011-01-01

The Lagrangian-Hamiltonian unified formalism of Skinner and Rusk was originally stated for autonomous dynamical systems in classical mechanics. It has been generalized for non-autonomous first-order mechanical systems, as well as for first-order and higher order field theories. However, a complete generalization to higher order mechanical systems is yet to be described. In this work, after reviewing the natural geometrical setting and the Lagrangian and Hamiltonian formalisms for higher order autonomous mechanical systems, we develop a complete generalization of the Lagrangian-Hamiltonian unified formalism for these kinds of systems, and we use it to analyze some physical models from this new point of view. (paper)

Higher Order Lagrange Finite Elements In M3D

International Nuclear Information System (INIS)

Chen, J.; Strauss, H.R.; Jardin, S.C.; Park, W.; Sugiyama, L.E.; Fu, G.; Breslau, J.

2004-01-01

The M3D code has been using linear finite elements to represent multilevel MHD on 2-D poloidal planes. Triangular higher order elements, up to third order, are constructed here in order to provide M3D the capability to solve highly anisotropic transport problems. It is found that higher order elements are essential to resolve the thin transition layer characteristic of the anisotropic transport equation, particularly when the strong anisotropic direction is not aligned with one of the Cartesian coordinates. The transition layer is measured by the profile width, which is zero for infinite anisotropy. It is shown that only higher order schemes have the ability to make this layer converge towards zero when the anisotropy gets stronger and stronger. Two cases are considered. One has the strong transport direction partially aligned with one of the element edges, the other doesn't have any alignment. Both cases have the strong transport direction misaligned with the grid line by some angles

Logical Characterisation of Concept Transformations from Human into Machine relying on Predicate Logic

DEFF Research Database (Denmark)

Badie, Farshad

2016-01-01

Providing more human-like concept learning in machines has always been one of the most significant goals of machine learning paradigms and of human-machine interaction techniques. This article attempts to provide a logical specification of conceptual mappings from humans’ minds into machines......’ knowledge bases. I will focus on the representation of the mappings (transformations) relying on First-Order Predicate Logic. Additionally, the structure of concepts in the common ground between humans and machines will be analysed. It seems quite necessary to pay attention to the philosophy...

Extending Value Logic Thinking to Value Logic Portfolios

DEFF Research Database (Denmark)

Andersen, Poul Houman; Ritter, Thomas

2014-01-01

Based on value creation logic theory (Stabell & Fjeldstad, 1998), this paper suggests an extension of the original Stabell & Fjeldstad model by an additional fourth value logic, the value system logic. Furthermore, instead of only allowing one dominant value creation logic for a given firm...... or transaction, an understanding of firms and transactions as a portfolio of value logics (i.e. an interconnected coexistence of different value creation logics) is proposed. These additions to the original value creation logic theory imply interesting avenues for both, strategic decision making in firms...

An Algorithm for Higher Order Hopf Normal Forms

Directory of Open Access Journals (Sweden)

A.Y.T. Leung

1995-01-01

Full Text Available Normal form theory is important for studying the qualitative behavior of nonlinear oscillators. In some cases, higher order normal forms are required to understand the dynamic behavior near an equilibrium or a periodic orbit. However, the computation of high-order normal forms is usually quite complicated. This article provides an explicit formula for the normalization of nonlinear differential equations. The higher order normal form is given explicitly. Illustrative examples include a cubic system, a quadratic system and a Duffing–Van der Pol system. We use exact arithmetic and find that the undamped Duffing equation can be represented by an exact polynomial differential amplitude equation in a finite number of terms.

Special Issue of Higher-Order and Symbolic Computation

DEFF Research Database (Denmark)

2003-01-01

from a paper presented at ICFP'01, the 2001 International Conference on Functional Programming [2]. The three articles were subjected to the usual process of journal reviewing. "Non-standard semantics for program slicing" builds on Cousot's semantics hierarchy of transition systems and presents a new...... method for designing compositional semantics of programs in a way that enables reasoning about program transformations that may alter the termination behavior of a program. A preliminary version of this work was presented at PEPM'02. "Path Dependent Analysis of Logic Programs" presents a framework...... for designing context-sensitive abstract interpretations of logic programs. It introduces call strings of fixed length and the corresponding abstract domains. The resulting analysis approximates the context in which predicates are called. A preliminary version of this work was presented at PEPM'02. "Automatic...

Higher-Order Hybrid Gaussian Kernel in Meshsize Boosting Algorithm

African Journals Online (AJOL)

In this paper, we shall use higher-order hybrid Gaussian kernel in a meshsize boosting algorithm in kernel density estimation. Bias reduction is guaranteed in this scheme like other existing schemes but uses the higher-order hybrid Gaussian kernel instead of the regular fixed kernels. A numerical verification of this scheme ...

Facilitating the development of higher-order thinking skills (HOTS) of novice nursing postgraduates in Africa.

Science.gov (United States)

Roets, Lizeth; Maritz, Jeanette

2017-02-01

International research in nursing education has shown to be deficient regarding both the quality of research produced and the building of disciplinary capacity. The CHENMA (Collaboration for Higher Education of Nurses and Midwives in Africa) project aimed to strengthen nursing and midwifery expertise in Africa. Sixteen French-speaking students of the Democratic Republic of the Congo (DRC) enrolled for a master's degree in nursing midwifery at a South African university in 2008. Ten of the initial 16 students graduated with a master's degree in 2012. One student withdrew and five students completed a postgraduate diploma in midwifery. The objective of this paper is to explore the quality of the output of those master's degree students, namely their dissertation (with specific reference to the demonstration of HOTS). An exploratory, evaluative, single, descriptive case study was utilised. Realist, purposeful sampling was used. Six of the 10 completed final dissertations were evaluated as well as three reflective reports from the supervisor, translator and critical reader. The findings indicated that most dissertations fell below the expected standard, with a paucity of higher-order thinking and application skills. Language, and possibly cultural dynamics, seemed to be the largest barrier to learning and communication. The dissertations lacked conceptual skills, scientific writing skills, logical order of thought and congruency. Analysis of the dissertations revealed a limited ability of novice scholars to explore the nature of information and to interpret and manipulate the data in a novel way. Copyright © 2016 Elsevier Ltd. All rights reserved.

Fredkin gates for finite-valued reversible and conservative logics

International Nuclear Information System (INIS)

Cattaneo, G; Leporati, A; Leporini, R

2002-01-01

The basic principles and results of conservative logic introduced by Fredkin and Toffoli in 1982, on the basis of a seminal paper of Landauer, are extended to d-valued logics, with a special attention to three-valued logics. Different approaches to d-valued logics are examined in order to determine some possible universal sets of logic primitives. In particular, we consider the typical connectives of Lukasiewicz and Goedel logics, as well as Chang's MV-algebras. As a result, some possible three-valued and d-valued universal gates are described which realize a functionally complete set of fundamental connectives. Two no-go theorems are also proved

Automated logic conversion method for plant controller systems

International Nuclear Information System (INIS)

Wada, Yutaka; Kobayashi, Yasuhiro; Miyo, Tsunemasa; Okano, Masato.

1990-01-01

An automated method is proposed for logic conversion from functional description diagrams to detailed logic schematics by incorporating expertise knowledge in plant controller systems design. The method uses connection data of function elements in the functional description diagram as input, and synthesizes a detailed logic structure by adding elements to the given connection data incrementally, and to generate detailed logic schematics. In logic synthesis, for building up complex synthesis procedures by combining generally-described knowledge, knowledge is applied by groups. The search order of the groups is given by upper-level knowledge. Furthermore, the knowledge is expressed in terms of two classes of rules; one for generating a hypothesis of individual synthesis operations and the other for considering several hypotheses to determine the connection ordering of elements to be added. In the generation of detailed logic schematics, knowledge is used as rules for deriving various kinds of layout conditions on schematics, and rules for generating two-dimensional coordinates of layout objects. Rules in the latter class use layout conditions to predict intersections among layout objects without their coordinates being fixed. The effectiveness of the method with 150 rules was verified by its experimental application to some logic conversions in a real power plant design. Evaluation of the results showed them to be equivalent to those obtained by well qualified designers. (author)

Higher Order and Fractional Diffusive Equations

Directory of Open Access Journals (Sweden)

D. Assante

2015-07-01

Full Text Available We discuss the solution of various generalized forms of the Heat Equation, by means of different tools ranging from the use of Hermite-Kampé de Fériet polynomials of higher and fractional order to operational techniques. We show that these methods are useful to obtain either numerical or analytical solutions.

Co-constructive Logics for Proofs and Refutations

Directory of Open Access Journals (Sweden)

Trafford James

2015-01-01

Full Text Available This paper considers logics which are formally dual to intuitionistic logic in order to investigate a co-constructive logic for proofs and refutations. This is philosophically motivated by a set of problems regarding the nature of constructive truth, and its relation to falsity. It is well known both that intuitionism can not deal constructively with negative information, and that defining falsity by means of intuitionistic negation leads, under widely-held assumptions, to a justification of bivalence. For example, we do not want to equate falsity with the non-existence of a proof since this would render a statement such as “pi is transcendental” false prior to 1882. In addition, the intuitionist account of negation as shorthand for the derivation of absurdity is inadequate, particularly outside of purely mathematical contexts. To deal with these issues, I investigate the dual of intuitionistic logic, co-intuitionistic logic, as a logic of refutation, alongside intuitionistic logic of proofs. Direct proof and refutation are dual to each other, and are constructive, whilst there also exist syntactic, weak, negations within both logics. In this respect, the logic of refutation is weakly paraconsistent in the sense that it allows for statements for which, neither they, nor their negation, are refuted. I provide a proof theory for the co-constructive logic, a formal dualizing map between the logics, and a Kripke-style semantics. This is given an intuitive philosophical rendering in a re-interpretation of Kolmogorov's logic of problems.

Generating higher-order Lie algebras by expanding Maurer-Cartan forms

International Nuclear Information System (INIS)

Caroca, R.; Merino, N.; Salgado, P.; Perez, A.

2009-01-01

By means of a generalization of the Maurer-Cartan expansion method, we construct a procedure to obtain expanded higher-order Lie algebras. The expanded higher-order Maurer-Cartan equations for the case G=V 0 +V 1 are found. A dual formulation for the S-expansion multialgebra procedure is also considered. The expanded higher-order Maurer-Cartan equations are recovered from S-expansion formalism by choosing a special semigroup. This dual method could be useful in finding a generalization to the case of a generalized free differential algebra, which may be relevant for physical applications in, e.g., higher-spin gauge theories.

Modular specification and verification for higher-order languages with state

DEFF Research Database (Denmark)

Svendsen, Kasper

The overall topic of this thesis is modular reasoning for higher-order languages with state. The thesis consists of four mostly independent chapters that each deal with a different aspect of reasoning about higher-order languages with state. The unifying theme throughout all four chapters is higher....... The third chapter of the thesis is a case study of the C# joins library. What makes this library interesting as a case study is that it combines a lot of advanced features (higher-order code with effects, concurrency, recursion through the store, shared mutable state, and fine-grained synchronization...

Finding Higher Order Differentials of MISTY1

Science.gov (United States)

Tsunoo, Yukiyasu; Saito, Teruo; Kawabata, Takeshi; Nakagawa, Hirokatsu

MISTY1 is a 64-bit block cipher that has provable security against differential and linear cryptanalysis. MISTY1 is one of the algorithms selected in the European NESSIE project, and it is recommended for Japanese e-Government ciphers by the CRYPTREC project. In this paper, we report on 12th order differentials in 3-round MISTY1 with FL functions and 44th order differentials in 4-round MISTY1 with FL functions both previously unknown. We also report that both data complexity and computational complexity of higher order differential attacks on 6-round MISTY1 with FL functions and 7-round MISTY1 with FL functions using the 46th order differential can be reduced to as much as 1/22 of the previous values by using multiple 44th order differentials simultaneously.

Practical implementation of a higher order transverse leakage approximation

International Nuclear Information System (INIS)

Prinsloo, Rian H.; Tomašević

2011-01-01

Transverse integrated nodal diffusion methods currently represent the standard in full core neutronic simulation. The primary shortcoming in this approach, be it via the Analytic Nodal Method or Nodal Expansion Method, is the utilization of the quadratic transverse leakage approximation. This approach, although proven to work well for typical LWR problems, is not consistent with the formulation of nodal methods and can cause accuracy and convergence problems. In this work an improved, consistent quadratic leakage approximation is formulated, which derives from the class of higher order nodal methods developed some years ago. In this new approach, only information relevant to describing the transverse leak- age terms in the zero-order nodal equations are obtained from the higher order formalism. The method yields accuracy comparable to full higher order methods, but does not suffer from the same computational burden which these methods typically incur. (author)

Higher class groups of Eichler orders

International Nuclear Information System (INIS)

Guo Xuejun; Kuku, Aderemi

2003-11-01

In this paper, we prove that if A is a quaternion algebra and Λ an Eichler order in A, then the only p-torsion possible in even dimensional higher class groups Cl 2n (Λ) (n ≥ 1) are for those rational primes p which lie under prime ideals of O F at which Λ are not maximal. (author)

Three-valued logics in modal logic

NARCIS (Netherlands)

Kooi, Barteld; Tamminga, Allard

2013-01-01

Every truth-functional three-valued propositional logic can be conservatively translated into the modal logic S5. We prove this claim constructively in two steps. First, we define a Translation Manual that converts any propositional formula of any three-valued logic into a modal formula. Second, we

Maxima and Minima in Fuzzified Linear Orderings

Czech Academy of Sciences Publication Activity Database

Běhounek, Libor

2016-01-01

Roč. 289, 15 April (2016), s. 82-93 ISSN 0165-0114 R&D Projects: GA ČR GPP103/10/P234; GA MŠk ED1.1.00/02.0070 Grant - others:GA MŠk(CZ) EE2.3.30.0010 Institutional support: RVO:67985807 Keywords : fuzzy relations * similarity relations * fuzzy orderings * higher-order fuzzy logic Subject RIV: BA - General Mathematics Impact factor: 2.718, year: 2016

Higher-Order Integral Equation Methods in Computational Electromagnetics

DEFF Research Database (Denmark)

Jørgensen, Erik; Meincke, Peter

Higher-order integral equation methods have been investigated. The study has focused on improving the accuracy and efficiency of the Method of Moments (MoM) applied to electromagnetic problems. A new set of hierarchical Legendre basis functions of arbitrary order is developed. The new basis...

Time-Discrete Higher-Order ALE Formulations: Stability

KAUST Repository

Bonito, Andrea

2013-01-01

Arbitrary Lagrangian Eulerian (ALE) formulations deal with PDEs on deformable domains upon extending the domain velocity from the boundary into the bulk with the purpose of keeping mesh regularity. This arbitrary extension has no effect on the stability of the PDE but may influence that of a discrete scheme. We examine this critical issue for higher-order time stepping without space discretization. We propose time-discrete discontinuous Galerkin (dG) numerical schemes of any order for a time-dependent advection-diffusion-model problem in moving domains, and study their stability properties. The analysis hinges on the validity of the Reynold\\'s identity for dG. Exploiting the variational structure and assuming exact integration, we prove that our conservative and nonconservative dG schemes are equivalent and unconditionally stable. The same results remain true for piecewise polynomial ALE maps of any degree and suitable quadrature that guarantees the validity of the Reynold\\'s identity. This approach generalizes the so-called geometric conservation law to higher-order methods. We also prove that simpler Runge-Kutta-Radau methods of any order are conditionally stable, that is, subject to a mild ALE constraint on the time steps. Numerical experiments corroborate and complement our theoretical results. © 2013 Society for Industrial and Applied Mathematics.

Dependence logic theory and applications

CERN Document Server

Kontinen, Juha; Väänänen, Jouko; Vollmer, Heribert

2016-01-01

In this volume, different aspects of logics for dependence and independence are discussed, including both the logical and computational aspects of dependence logic, and also applications in a number of areas, such as statistics, social choice theory, databases, and computer security. The contributing authors represent leading experts in this relatively new field, each of whom was invited to write a chapter based on talks given at seminars held at the Schloss Dagstuhl Leibniz Center for Informatics in Wadern, Germany (in February 2013 and June 2015) and an Academy Colloquium at the Royal Netherlands Academy of Arts and Sciences (March 2014). Altogether, these chapters provide the most up-to-date look at this developing and highly interdisciplinary field and will be of interest to a broad group of logicians, mathematicians, statisticians, philosophers, and scientists. Topics covered include a comprehensive survey of many propositional, modal, and first-order variants of dependence logic; new results concerning ...

Towards a Formal Occurrence Logic based on Predicate Logic

DEFF Research Database (Denmark)

Badie, Farshad; Götzsche, Hans

2015-01-01

In this discussion we will concentrate on the main characteristics of an alternative kind of logic invented by Hans Götzsche: Occurrence Logic, which is not based on truth functionality. Our approach is based on temporal logic developed and elaborated by A. N. Prior. We will focus on characterising...... argumentation based on formal Occurrence Logic concerning events and occurrences, and illustrate the relations between Predicate Logic and Occurrence Logic. The relationships (and dependencies) is conducive to an approach that can analyse the occurrences of ”logical statements based on different logical...... principles” in different moments. We will also conclude that the elaborated Götzsche’s Occurrence Logic could be able to direct us to a truth-functional independent computer-based logic for analysing argumentation based on events and occurrences....

A Note on Omitting Types in Propositional Logic

Directory of Open Access Journals (Sweden)

Oren Kolman

2015-05-01

Full Text Available Analogues of the classical omitting types theorems of first-order logic are proved for propositional logic. For an infinite cardinal $\\kappa$, a sufficient criterion is given for the omission of $\\kappa$-many types in a propositional language with $\\kappa$ propositional variables.

The Higher Order Structure of Environmental Attitudes: A Cross-Cultural Examination

Directory of Open Access Journals (Sweden)

Taciano L. Milfont

2010-01-01

Full Text Available Past research has suggested that Preservation and Utilization are the two higher order dimensions forming the hierarchical structure of environmental attitudes. This means that these two higher order dimensions could group all kinds of perceptions or beliefs regarding the natural environment people have. A crosscultural study was conducted in Brazil, New Zealand, and South Africa to test this hierarchical structure of environmental attitudes. Results from single- and multi-group confirmatory factor analyses demonstrated that environmental attitudes are a multidimensional construct, and that their first-order factors associate to each other to form a vertical structure. However, the question whether the vertical structure comprise a single higher order factor or two higher order factors still remains unanswered. These results are discussed and directions for future research trying to demonstrate that Preservation and Utilization, taken as distinct second-order environmental attitudes factors, are more empirically meaningful than a single and generalised environmental attitudes higher order factor are presented.

Higher-order stochastic differential equations and the positive Wigner function

Science.gov (United States)

Drummond, P. D.

2017-12-01

General higher-order stochastic processes that correspond to any diffusion-type tensor of higher than second order are obtained. The relationship of multivariate higher-order stochastic differential equations with tensor decomposition theory and tensor rank is explained. Techniques for generating the requisite complex higher-order noise are proved to exist either using polar coordinates and γ distributions, or from products of Gaussian variates. This method is shown to allow the calculation of the dynamics of the Wigner function, after it is extended to a complex phase space. The results are illustrated physically through dynamical calculations of the positive Wigner distribution for three-mode parametric downconversion, widely used in quantum optics. The approach eliminates paradoxes arising from truncation of the higher derivative terms in Wigner function time evolution. Anomalous results of negative populations and vacuum scattering found in truncated Wigner quantum simulations in quantum optics and Bose-Einstein condensate dynamics are shown not to occur with this type of stochastic theory.

LOGICAL SEMANTICS OF MODULARIZATION

NARCIS (Netherlands)

DELAVALETTE, GRR

1992-01-01

An algebra of theories, signatures, renamings and the operations import and export is investigated. A normal form theorem for terms of this algebra is proved. Another algebraic approach and the relation with a fragment of second order logic are also considered.

Higher-order gravity in higher dimensions: geometrical origins of four-dimensional cosmology?

Energy Technology Data Exchange (ETDEWEB)

Troisi, Antonio [Universita degli Studi di Salerno, Dipartimento di Fisica ' ' E.R. Caianiello' ' , Salerno (Italy)

2017-03-15

Determining the cosmological field equations is still very much debated and led to a wide discussion around different theoretical proposals. A suitable conceptual scheme could be represented by gravity models that naturally generalize Einstein theory like higher-order gravity theories and higher-dimensional ones. Both of these two different approaches allow one to define, at the effective level, Einstein field equations equipped with source-like energy-momentum tensors of geometrical origin. In this paper, the possibility is discussed to develop a five-dimensional fourth-order gravity model whose lower-dimensional reduction could provide an interpretation of cosmological four-dimensional matter-energy components. We describe the basic concepts of the model, the complete field equations formalism and the 5-D to 4-D reduction procedure. Five-dimensional f(R) field equations turn out to be equivalent, on the four-dimensional hypersurfaces orthogonal to the extra coordinate, to an Einstein-like cosmological model with three matter-energy tensors related with higher derivative and higher-dimensional counter-terms. By considering the gravity model with f(R) = f{sub 0}R{sup n} the possibility is investigated to obtain five-dimensional power law solutions. The effective four-dimensional picture and the behaviour of the geometrically induced sources are finally outlined in correspondence to simple cases of such higher-dimensional solutions. (orig.)

A Tableau Prover for Natural Logic and Language

NARCIS (Netherlands)

Abzianidze, Lasha

2015-01-01

Modeling the entailment relation over sentences is one of the generic problems of natural language understanding. In order to account for this problem, we design a theorem prover for Natural Logic, a logic whose terms resemble natural language expressions. The prover is based on an analytic tableau

Higher-order chaotic oscillator using active bessel filter

DEFF Research Database (Denmark)

Lindberg, Erik; Mykolaitis, Gytis; Bumelien, Skaidra

2010-01-01

A higher-order oscillator, including a nonlinear unit and an 8th-order low-pass active Bessel filter is described. The Bessel unit plays the role of "three-in-one": a delay line, an amplifier and a filter. Results of hardware experiments and numerical simulation are presented. Depending...

Higher order multipoles and splines in plasma simulations

International Nuclear Information System (INIS)

Okuda, H.; Cheng, C.Z.

1978-01-01

The reduction of spatial grid effects in plasma simulations has been studied numerically using higher order multipole expansions and the spline method in one dimension. It is found that, while keeping the higher order moments such as quadrupole and octopole moments substantially reduces the grid effects, quadratic and cubic splines in general have better stability properties for numerical plasma simulations when the Debye length is much smaller than the grid size. In particular the spline method may be useful in three-dimensional simulations for plasma confinement where the grid size in the axial direction is much greater than the Debye length. (Auth.)

Higher-order multipoles and splines in plasma simulations

International Nuclear Information System (INIS)

Okuda, H.; Cheng, C.Z.

1977-12-01

Reduction of spatial grid effects in plasma simulations has been studied numerically using higher order multipole expansions and spline method in one dimension. It is found that, while keeping the higher order moments such as quadrupole and octopole moments substantially reduces the grid effects, quadratic and cubic splines in general have better stability properties for numerical plasma simulations when the Debye length is much smaller than the grid size. In particular, spline method may be useful in three dimensional simulations for plasma confinement where the grid size in the axial direction is much greater than the Debye length

Cylindric-like algebras and algebraic logic

CERN Document Server

Ferenczi, Miklós; Németi, István

2013-01-01

Algebraic logic is a subject in the interface between logic, algebra and geometry, it has strong connections with category theory and combinatorics. Tarski’s quest for finding structure in logic leads to cylindric-like algebras as studied in this book, they are among the main players in Tarskian algebraic logic. Cylindric algebra theory can be viewed in many ways:  as an algebraic form of definability theory, as a study of higher-dimensional relations, as an enrichment of Boolean Algebra theory, or, as logic in geometric form (“cylindric” in the name refers to geometric aspects). Cylindric-like algebras have a wide range of applications, in, e.g., natural language theory, data-base theory, stochastics, and even in relativity theory. The present volume, consisting of 18 survey papers, intends to give an overview of the main achievements and new research directions in the past 30 years, since the publication of the Henkin-Monk-Tarski monographs. It is dedicated to the memory of Leon Henkin.

Surmounting the Cartesian Cut Through Philosophy, Physics, Logic, Cybernetics, and Geometry: Self-reference, Torsion, the Klein Bottle, the Time Operator, Multivalued Logics and Quantum Mechanics

Science.gov (United States)

Rapoport, Diego L.

2011-01-01

In this transdisciplinary article which stems from philosophical considerations (that depart from phenomenology—after Merleau-Ponty, Heidegger and Rosen—and Hegelian dialectics), we develop a conception based on topological (the Moebius surface and the Klein bottle) and geometrical considerations (based on torsion and non-orientability of manifolds), and multivalued logics which we develop into a unified world conception that surmounts the Cartesian cut and Aristotelian logic. The role of torsion appears in a self-referential construction of space and time, which will be further related to the commutator of the True and False operators of matrix logic, still with a quantum superposed state related to a Moebius surface, and as the physical field at the basis of Spencer-Brown's primitive distinction in the protologic of the calculus of distinction. In this setting, paradox, self-reference, depth, time and space, higher-order non-dual logic, perception, spin and a time operator, the Klein bottle, hypernumbers due to Musès which include non-trivial square roots of ±1 and in particular non-trivial nilpotents, quantum field operators, the transformation of cognition to spin for two-state quantum systems, are found to be keenly interwoven in a world conception compatible with the philosophical approach taken for basis of this article. The Klein bottle is found not only to be the topological in-formation for self-reference and paradox whose logical counterpart in the calculus of indications are the paradoxical imaginary time waves, but also a classical-quantum transformer (Hadamard's gate in quantum computation) which is indispensable to be able to obtain a complete multivalued logical system, and still to generate the matrix extension of classical connective Boolean logic. We further find that the multivalued logic that stems from considering the paradoxical equation in the calculus of distinctions, and in particular, the imaginary solutions to this equation

Detection of epistatic effects with logic regression and a classical linear regression model.

Science.gov (United States)

Malina, Magdalena; Ickstadt, Katja; Schwender, Holger; Posch, Martin; Bogdan, Małgorzata

2014-02-01

To locate multiple interacting quantitative trait loci (QTL) influencing a trait of interest within experimental populations, usually methods as the Cockerham's model are applied. Within this framework, interactions are understood as the part of the joined effect of several genes which cannot be explained as the sum of their additive effects. However, if a change in the phenotype (as disease) is caused by Boolean combinations of genotypes of several QTLs, this Cockerham's approach is often not capable to identify them properly. To detect such interactions more efficiently, we propose a logic regression framework. Even though with the logic regression approach a larger number of models has to be considered (requiring more stringent multiple testing correction) the efficient representation of higher order logic interactions in logic regression models leads to a significant increase of power to detect such interactions as compared to a Cockerham's approach. The increase in power is demonstrated analytically for a simple two-way interaction model and illustrated in more complex settings with simulation study and real data analysis.

Intuitionistic hybrid logic

DEFF Research Database (Denmark)

Braüner, Torben

2011-01-01

Intuitionistic hybrid logic is hybrid modal logic over an intuitionistic logic basis instead of a classical logical basis. In this short paper we introduce intuitionistic hybrid logic and we give a survey of work in the area.......Intuitionistic hybrid logic is hybrid modal logic over an intuitionistic logic basis instead of a classical logical basis. In this short paper we introduce intuitionistic hybrid logic and we give a survey of work in the area....

Correspondence and canonicity in non-classical logic

NARCIS (Netherlands)

Sourabh, S.

2015-01-01

In this thesis we study correspondence and canonicity for non-classical logic using algebraic and order-topological methods. Correspondence theory is aimed at answering the question of how precisely modal, first-order, second-order languages interact and overlap in their shared semantic environment.

Quantum Enhanced Inference in Markov Logic Networks.

Science.gov (United States)

Wittek, Peter; Gogolin, Christian

2017-04-19

Markov logic networks (MLNs) reconcile two opposing schools in machine learning and artificial intelligence: causal networks, which account for uncertainty extremely well, and first-order logic, which allows for formal deduction. An MLN is essentially a first-order logic template to generate Markov networks. Inference in MLNs is probabilistic and it is often performed by approximate methods such as Markov chain Monte Carlo (MCMC) Gibbs sampling. An MLN has many regular, symmetric structures that can be exploited at both first-order level and in the generated Markov network. We analyze the graph structures that are produced by various lifting methods and investigate the extent to which quantum protocols can be used to speed up Gibbs sampling with state preparation and measurement schemes. We review different such approaches, discuss their advantages, theoretical limitations, and their appeal to implementations. We find that a straightforward application of a recent result yields exponential speedup compared to classical heuristics in approximate probabilistic inference, thereby demonstrating another example where advanced quantum resources can potentially prove useful in machine learning.

Quantum Enhanced Inference in Markov Logic Networks

Science.gov (United States)

Wittek, Peter; Gogolin, Christian

2017-04-01

Markov logic networks (MLNs) reconcile two opposing schools in machine learning and artificial intelligence: causal networks, which account for uncertainty extremely well, and first-order logic, which allows for formal deduction. An MLN is essentially a first-order logic template to generate Markov networks. Inference in MLNs is probabilistic and it is often performed by approximate methods such as Markov chain Monte Carlo (MCMC) Gibbs sampling. An MLN has many regular, symmetric structures that can be exploited at both first-order level and in the generated Markov network. We analyze the graph structures that are produced by various lifting methods and investigate the extent to which quantum protocols can be used to speed up Gibbs sampling with state preparation and measurement schemes. We review different such approaches, discuss their advantages, theoretical limitations, and their appeal to implementations. We find that a straightforward application of a recent result yields exponential speedup compared to classical heuristics in approximate probabilistic inference, thereby demonstrating another example where advanced quantum resources can potentially prove useful in machine learning.

Higher-order dynamical effects in Coulomb dissociation

International Nuclear Information System (INIS)

Esbensen, H.

1994-06-01

We study the effect of higher-order processes in Coulomb dissociation of 11 Li by numerically solving the three-dimensional time-dependent Schroedinger equation for the relative motion of a di-neutron and the 9 Li core. Comparisons are made to first-order perturbation theory and to measurements. The calculated Coulomb reacceleration effects improve the agreement with experiment, but some discrepancy remains. The effects are much smaller in the dissociation of 11 Be, and they decrease with increasing beam energy. (orig.)

Higher Order Mode Fibers

DEFF Research Database (Denmark)

Israelsen, Stine Møller

This PhD thesis considers higher order modes (HOMs) in optical fibers. That includes their excitation and characteristics. Within the last decades, HOMs have been applied both for space multiplexing in optical communications, group velocity dispersion management and sensing among others......-radial polarization as opposed to the linear polarization of the LP0X modes. The effect is investigated numerically in a double cladding fiber with an outer aircladding using a full vectorial modesolver. Experimentally, the bowtie modes are excited using a long period grating and their free space characteristics...... and polarization state are investigated. For this fiber, the onset of the bowtie effect is shown numerically to be LP011. The characteristics usually associated with Bessel-likes modes such as long diffraction free length and selfhealing are shown to be conserved despite the lack of azimuthal symmetry...

Towards the future of fuzzy logic

CERN Document Server

Trillas, Enric; Kacprzyk, Janusz

2015-01-01

This book provides readers with a snapshot of the state-of-the art in fuzzy logic. Throughout the chapters, key theories developed in the last fifty years as well as important applications to practical problems are presented and discussed from different perspectives, as the authors hail from different disciplines and therefore use fuzzy logic for different purposes.  The book aims at showing how fuzzy logic has evolved since the first theory formulation by Lotfi A. Zadeh in his seminal paper on Fuzzy Sets in 1965. Fuzzy theories and implementation grew at an impressive speed and achieved significant results, especially on the applicative side. The study of fuzzy logic and its practice spread all over the world, from Europe to Asia, America and Oceania. The editors believe that, thanks to the drive of young researchers, fuzzy logic will be able to face the challenging goals posed by computing with words. New frontiers of knowledge are waiting to be explored. In order to motivate young people to engage in the ...

The differential geometry of higher order jets and tangent bundles

International Nuclear Information System (INIS)

De Leon, M.; Rodrigues, P.R.

1985-01-01

This chapter is devoted to the study of basic geometrical notions required for the development of the main object of the text. Some facts about Jet theory are reviewed. A particular case of Jet manifolds is considered: the tangent bundle of higher order. It is shown that this jet bundle possesses in a canonical way a certain kind of geometric structure, the so called almost tangent structure of higher order, and which is a generalization of the almost tangent geometry of the tangent bundle. Another important fact examined is the extension of the notion of 'spray' to higher order tangent bundles. (Auth.)

Classical logic and logicism in human thought

OpenAIRE

Elqayam, Shira

2012-01-01

This chapter explores the role of classical logic as a theory of human reasoning. I distinguish between classical logic as a normative, computational and algorithmic system, and review its role is theories of human reasoning since the 1960s. The thesis I defend is that psychological theories have been moving further and further away from classical logic on all three levels. I examine some prominent example of logicist theories, which incorporate logic in their psychological account, includin...

Linear matrix differential equations of higher-order and applications

Directory of Open Access Journals (Sweden)

Mustapha Rachidi

2008-07-01

Full Text Available In this article, we study linear differential equations of higher-order whose coefficients are square matrices. The combinatorial method for computing the matrix powers and exponential is adopted. New formulas representing auxiliary results are obtained. This allows us to prove properties of a large class of linear matrix differential equations of higher-order, in particular results of Apostol and Kolodner are recovered. Also illustrative examples and applications are presented.

Physical constraints determine the logic of bacterial promoter architectures

Science.gov (United States)

Ezer, Daphne; Zabet, Nicolae Radu; Adryan, Boris

2014-01-01

Site-specific transcription factors (TFs) bind to their target sites on the DNA, where they regulate the rate at which genes are transcribed. Bacterial TFs undergo facilitated diffusion (a combination of 3D diffusion around and 1D random walk on the DNA) when searching for their target sites. Using computer simulations of this search process, we show that the organization of the binding sites, in conjunction with TF copy number and binding site affinity, plays an important role in determining not only the steady state of promoter occupancy, but also the order at which TFs bind. These effects can be captured by facilitated diffusion-based models, but not by standard thermodynamics. We show that the spacing of binding sites encodes complex logic, which can be derived from combinations of three basic building blocks: switches, barriers and clusters, whose response alone and in higher orders of organization we characterize in detail. Effective promoter organizations are commonly found in the E. coli genome and are highly conserved between strains. This will allow studies of gene regulation at a previously unprecedented level of detail, where our framework can create testable hypothesis of promoter logic. PMID:24476912

Enhancing Higher Order Thinking Skills In A Marine Biology Class Through Problem-Based Learning

Directory of Open Access Journals (Sweden)

Richard M. Magsino

2014-10-01

Full Text Available The purpose of this research was to examine students' perspectives of their learning in marine biology in the collaborative group context of Problem-based Learning (PBL. Students’ higher order thinking skills (HOTS using PBL involves the development of their logical thinking and reasoning abilities which stimulates their curiosity and associative thinking. This study aimed to investigate how critical thinking skills, particularly analysis, synthesis and evaluation were enhanced in a marine biology class through PBL. Qualitative research approach was used to examine student responses in a questionnaire involving 10 open-ended questions that target students’ HOTS on a problem presented in a marine biology class for BS Biology students. Using axial coding as a qualitative data analysis technique by which grounded theory can be performed, the study was able to determine how students manifest their higher reasoning abilities when confronted with a marine biology situation. Results show student responses yielding affirmative remarks on the 10 questions intended to know their level of analysis (e.g., analyzing, classifying, inferring, discriminating and relating or connecting, synthesis (e.g., synthesizing and collaborating, and evaluation (e.g., comparing, criticizing, and convincing of information from the presented marine biology problem. Consequently, students were able to effectively design experiments to address the presented issue through problem-based learning. Results of the study show that PBL is an efficient instructional strategy embedded within a conventional curriculum used to develop or enhance critical thinking in marine biology.

Hybrid Logical Analyses of the Ambient Calculus

DEFF Research Database (Denmark)

Bolander, Thomas; Hansen, René Rydhof

2007-01-01

In this paper, hybrid logic is used to formulate a rational reconstruction of a previously published control flow analysis for the mobile ambients calculus and we further show how a more precise flow-sensitive analysis, that takes the ordering of action sequences into account, can be formulated...... in a natural way. We show that hybrid logic is very well suited to express the semantic structure of the ambient calculus and how features of hybrid logic can be exploited to reduce the "administrative overhead" of the analysis specification and thus simplify it. Finally, we use HyLoTab, a fully automated...

Higher order corrections in quantum electrodynamics

International Nuclear Information System (INIS)

Rafael, E.

1977-01-01

Theoretical contributions to high-order corrections in purely leptonic systems, such as electrons and muons, muonium (μ + e - ) and positronium (e + e - ), are reviewed to establish the validity of quantum electrodynamics (QED). Two types of QED contributions to the anomalous magnetic moments are considered, from diagrams with one fermion type lines and those witn two fermion type lines. The contributions up to eighth order are compared to the data available with a different accuracy. Good agreement is stated within the experimental errors. The experimental accuracy of the muonium hyperfine structure and of the radiative corrections to the decay of positronium are compared to the one attainable in theoretical calculations. The need for a higher precision in both experimental data and theoretical calculations is stated

Errors of first-order probe correction for higher-order probes in spherical near-field antenna measurements

DEFF Research Database (Denmark)

Laitinen, Tommi; Nielsen, Jeppe Majlund; Pivnenko, Sergiy

2004-01-01

An investigation is performed to study the error of the far-field pattern determined from a spherical near-field antenna measurement in the case where a first-order (mu=+-1) probe correction scheme is applied to the near-field signal measured by a higher-order probe.......An investigation is performed to study the error of the far-field pattern determined from a spherical near-field antenna measurement in the case where a first-order (mu=+-1) probe correction scheme is applied to the near-field signal measured by a higher-order probe....

Logic-programming language enriches design processes

Energy Technology Data Exchange (ETDEWEB)

Kitson, B.; Ow-Wing, K.

1984-03-22

With the emergence of a set of high-level CAD tools for programmable logic devices, designers can translate logic into functional custom devices simply and efficiently. The core of the package is a blockstructured hardware description language called PLPL, for ''programmable-logic programming language.'' The cheif advantage of PLPL lies in its multiple input formats, which permit different design approaches for a variety of design problems. The higher the level of the approach, the closer PLPL will come to directly specifying the desired function. Intermediate steps in the design process can be eliminated, along with the errors that might have been generated during those steps.

Concrete quantum logics with covering properties

Science.gov (United States)

Müller, Vladimir; Pták, Pavel; Tkadlec, Josef

1992-05-01

Let L be a concrete (=set-representable) quantum logic. Let n be a natural number (or, more generally, a cardinal). We say that L admits intrinsic coverings of the order n, and write L∈ C n , if for any pair A, B∈L we can find a collection { C i ∶ i∈ I}, where card IJauch-Piron states). We then consider conditions on which a class of concrete logics reduce to Boolean algebras. We conclude with some open questions.

A Graph Calculus for Predicate Logic

Directory of Open Access Journals (Sweden)

Paulo A. S. Veloso

2013-03-01

Full Text Available We introduce a refutation graph calculus for classical first-order predicate logic, which is an extension of previous ones for binary relations. One reduces logical consequence to establishing that a constructed graph has empty extension, i. e. it represents bottom. Our calculus establishes that a graph has empty extension by converting it to a normal form, which is expanded to other graphs until we can recognize conflicting situations (equivalent to a formula and its negation.

MIMO processing based on higher-order Poincaré spheres

Science.gov (United States)

Fernandes, Gil M.; Muga, Nelson J.; Pinto, Armando N.

2017-08-01

A multi-input multi-output (MIMO) algorithm based on higher-order Poincaré spheres is demonstrated for space-division multiplexing (SDM) systems. The MIMO algorithm is modulation format agnostic, robust to frequency offset and does not require training sequences. In this approach, the space-multiplexed signal is decomposed in sets of two tributary signals, with each set represented in a higher-order Poincaré sphere. For any arbitrary complex modulation format, the samples of two tributaries can be represented in a given higher-order Poincaré sphere with a symmetry plane. The crosstalk along propagation changes the spatial orientation of this plane and, therefore, it can be compensated by computing and realigning the best fit plane. We show how the transmitted signal can be successfully recovered using this procedure for all possible combinations of tributaries. Moreover, we analyze the convergence speed for the MIMO technique considering several optical-to-noise ratios.

Program Verification with Monadic Second-Order Logic & Languages for Web Service Development

DEFF Research Database (Denmark)

Møller, Anders

applications, this implementation forms the basis of a verification technique for imperative programs that perform data-type operations using pointers. To achieve this, the basic logic is extended with layers of language abstractions. Also, a language for expressing data structures and operations along...

Jauch-Piron logics with finiteness conditions

International Nuclear Information System (INIS)

Rogalewicz, V.

1991-01-01

An event structure (so-called quantum logic) of a quantum mechanical system is commonly assumed to be an orthomodular poset L. A state of such a system is then interpreted as a probability measure on L. It turns out that the orthomodular posets which may potentially serve as logics must have reasonably rich spaces of states. Moreover, the following condition on the state space appears among the axioms of a quantum system: if Φ is a state on a logic L, and Φ(a) = Φ(b) = 1 for some a, b element-of L, then there is a c element-of L such that c ≤ a, c ≤ b, and Φ(c) = 1. Such a state is said to be a Jauch-Piron state. If all states on L fulfill this condition, then L is called a Jauch-Piron logic. The condition was originally introduced by Jauch (1968) and Piron (1976). The author investigates unital Jauch-Piron logics with finitely many blocks (maximal Boolean subalgebras). He shows that such a logic is always Boolean, i.e., it represents a purely classical system. In other words, and orthomodular poset must have infinitely many blocks in order to describe a (nonclassical) quantum system

Ward identities of higher order Virasoro algebra

International Nuclear Information System (INIS)

Zha Chaozeng; Dolate, S.

1994-11-01

The general formulations of primary fields versus quasi-primary ones in the context of high order Virasoro algebra (HOVA) and the corresponding Ward identity are explored. The primary fields of conformal spins up to 8 are given in terms of quasi-primary fields, and the general features of the higher order expressions are also discussed. It is observed that the local fields, either primary of quasi-primary, carry the same numbers of central charges, and not all the primary fields contribute to the anomalies in the Ward identities. (author). 6 refs

Fast quantum logic gates with trapped-ion qubits

Science.gov (United States)

Schäfer, V. M.; Ballance, C. J.; Thirumalai, K.; Stephenson, L. J.; Ballance, T. G.; Steane, A. M.; Lucas, D. M.

2018-03-01

Quantum bits (qubits) based on individual trapped atomic ions are a promising technology for building a quantum computer. The elementary operations necessary to do so have been achieved with the required precision for some error-correction schemes. However, the essential two-qubit logic gate that is used to generate quantum entanglement has hitherto always been performed in an adiabatic regime (in which the gate is slow compared with the characteristic motional frequencies of the ions in the trap), resulting in logic speeds of the order of 10 kilohertz. There have been numerous proposals of methods for performing gates faster than this natural ‘speed limit’ of the trap. Here we implement one such method, which uses amplitude-shaped laser pulses to drive the motion of the ions along trajectories designed so that the gate operation is insensitive to the optical phase of the pulses. This enables fast (megahertz-rate) quantum logic that is robust to fluctuations in the optical phase, which would otherwise be an important source of experimental error. We demonstrate entanglement generation for gate times as short as 480 nanoseconds—less than a single oscillation period of an ion in the trap and eight orders of magnitude shorter than the memory coherence time measured in similar calcium-43 hyperfine qubits. The power of the method is most evident at intermediate timescales, at which it yields a gate error more than ten times lower than can be attained using conventional techniques; for example, we achieve a 1.6-microsecond-duration gate with a fidelity of 99.8 per cent. Faster and higher-fidelity gates are possible at the cost of greater laser intensity. The method requires only a single amplitude-shaped pulse and one pair of beams derived from a continuous-wave laser. It offers the prospect of combining the unrivalled coherence properties, operation fidelities and optical connectivity of trapped-ion qubits with the submicrosecond logic speeds that are usually

Higher order perturbation theory - An example for discussion

International Nuclear Information System (INIS)

Lewins, J.D.; Parks, G.; Babb, A.L.

1986-01-01

Higher order perturbation theory is developed in the form of a Taylor series expansion to third order to calculate the thermal utilization of a nonuniform cell. The development takes advantage of the self-adjoint property of the diffusion operator to provide a simple development of this illustration of generalized perturbation theory employing scalar perturbation parameters. The results show how a designer might employ a second-order theory to quantify proposed design improvements, together with the limitations of second- and third-order theory. The chosen example has an exact optimization solution and thus provides a clear understanding of the role of perturbation theory at its various orders. Convergence and the computational advantages and disadvantages of the method are discussed

Application of Higher-Order Cumulant in Fault Diagnosis of Rolling Bearing

International Nuclear Information System (INIS)

Shen, Yongjun; Yang, Shaopu; Wang, Junfeng

2013-01-01

In this paper a new method of pattern recognition based on higher-order cumulant and envelope analysis is presented. The core of this new method is to construct analytical signals from the given signals and obtain the envelope signals firstly, then compute and compare the higher-order cumulants of the envelope signals. The higher-order cumulants could be used as a characteristic quantity to distinguish these given signals. As an example, this method is applied in fault diagnosis for 197726 rolling bearing of freight locomotive. The comparisons of the second-order, third-order and fourth-order cumulants of the envelope signals from different vibration signals of rolling bearing show this new method could discriminate the normal and two fault signals distinctly

Higher-order risk preferences in social settings.

Science.gov (United States)

Heinrich, Timo; Mayrhofer, Thomas

2018-01-01

We study prudence and temperance (next to risk aversion) in social settings. Previous experimental studies have shown that these higher-order risk preferences affect the choices of individuals deciding privately on lotteries that only affect their own payoff. Yet, many risky and financially relevant decisions are made in the social settings of households or organizations. We elicit higher-order risk preferences of individuals and systematically vary how an individual's decision is made (alone or while communicating with a partner) and who is affected by the decision (only the individual or the partner as well). In doing so, we can isolate the effects of other-regarding concerns and communication on choices. Our results reveal that the majority of choices are risk averse, prudent, and temperate across social settings. We also observe that individuals are influenced significantly by the preferences of a partner when they are able to communicate and choices are payoff-relevant for both of them.

Mathematics Teachers’ Interpretation of Higher-Order Thinking in Bloom’s Taxonomy

OpenAIRE

Tony Thompson

2008-01-01

This study investigated mathematics teachers’ interpretation of higher-order thinking in Bloom’s Taxonomy. Thirty-two high school mathematics teachers from the southeast U.S. were asked to (a) define lower- and higher-order thinking, (b) identify which thinking skills in Bloom’s Taxonomy represented lower- and higher-order thinking, and (c) create an Algebra I final exam item representative of each thinking skill. Results indicate that mathematics teachers have difficulty interpreting the thi...

Higher-Order Finite Element Solutions of Option Prices

DEFF Research Database (Denmark)

Raahauge, Peter

2004-01-01

Kinks and jumps in the payoff function of option contracts prevent an effectiveimplementation of higher-order numerical approximation methods. Moreover, thederivatives (the greeks) are not easily determined around such singularities, even withstandard lower-order methods. This paper suggests...... for prices as well as for first and second order derivatives(delta and gamma). Unlike similar studies, numerical approximation errors aremeasured both as weighted averages and in the supnorm over a state space includingtime-to-maturities down to a split second.KEYWORDS: Numerical option pricing, Transformed...

New data structures and algorithms for logic synthesis and verification

CERN Document Server

Amaru, Luca Gaetano

2017-01-01

This book introduces new logic primitives for electronic design automation tools. The author approaches fundamental EDA problems from a different, unconventional perspective, in order to demonstrate the key role of rethinking EDA solutions in overcoming technological limitations of present and future technologies. The author discusses techniques that improve the efficiency of logic representation, manipulation and optimization tasks by taking advantage of majority and biconditional logic primitives. Readers will be enabled to accelerate formal methods by studying core properties of logic circuits and developing new frameworks for logic reasoning engines. · Provides a comprehensive, theoretical study on majority and biconditional logic for logic synthesis; · Updates the current scenario in synthesis and verification – especially in light of emerging technologies; · Demonstrates applications to CMOS technology and emerging technologies.

The Cauchy problem for higher order abstract differential equations

CERN Document Server

Xiao, Ti-Jun

1998-01-01

This monograph is the first systematic exposition of the theory of the Cauchy problem for higher order abstract linear differential equations, which covers all the main aspects of the developed theory. The main results are complete with detailed proofs and established recently, containing the corresponding theorems for first and incomplete second order cases and therefore for operator semigroups and cosine functions. They will find applications in many fields. The special power of treating the higher order problems directly is demonstrated, as well as that of the vector-valued Laplace transforms in dealing with operator differential equations and operator families. The reader is expected to have a knowledge of complex and functional analysis.

Comparing higher order models for the EORTC QLQ-C30

DEFF Research Database (Denmark)

Gundy, Chad M; Fayers, Peter M; Grønvold, Mogens

2012-01-01

To investigate the statistical fit of alternative higher order models for summarizing the health-related quality of life profile generated by the EORTC QLQ-C30 questionnaire.......To investigate the statistical fit of alternative higher order models for summarizing the health-related quality of life profile generated by the EORTC QLQ-C30 questionnaire....

Scalar brane backgrounds in higher order curvature gravity

International Nuclear Information System (INIS)

Charmousis, Christos; Davis, Stephen C.; Dufaux, Jean-Francois

2003-01-01

We investigate maximally symmetric brane world solutions with a scalar field. Five-dimensional bulk gravity is described by a general lagrangian which yields field equations containing no higher than second order derivatives. This includes the Gauss-Bonnet combination for the graviton. Stability and gravitational properties of such solutions are considered, and we particularly emphasise the modifications induced by the higher order terms. In particular it is shown that higher curvature corrections to Einstein theory can give rise to instabilities in brane world solutions. A method for analytically obtaining the general solution for such actions is outlined. Generically, the requirement of a finite volume element together with the absence of a naked singularity in the bulk imposes fine-tuning of the brane tension. A model with a moduli scalar field is analysed in detail and we address questions of instability and non-singular self-tuning solutions. In particular, we discuss a case with a normalisable zero mode but infinite volume element. (author)

Logical Specification of the GLBA and HIPAA Privacy Laws

Science.gov (United States)

2010-04-29

carrier set S. States from S are ordered according to the total order <st (and its natural weakening ≤st). In this way, we may think of states as being...January 2008. [Bar08] Adam Barth. Design and Analysis of Privacy Policies. Phd thesis, Stanford University, 2008. [BCK03] Simon Byers, Lorrie F. Cranor, and... Blackburn . Representation, reasoning, and relational structures: A hybrid logic manifesto. Logic Journal of IGPL, 8(3):339–365, 2000. [BPS03] Michael

A Modal Logic for Termgraph Rewriting

OpenAIRE

Balbiani, Ph.; Echahed, R.; Herzig, A.

2010-01-01

We propose a modal logic tailored to describe graph transformations and discuss some of its properties. We focus on a particular class of graphs called termgraphs. They are first-order terms augmented with sharing and cycles. Termgraphs allow one to describe classical data-structures (possibly with pointers) such as doubly-linked lists, circular lists etc. We show how the proposed logic can faithfully describe (i) termgraphs as well as (ii) the application of a termgraph rewrite rule (i.e. ma...

Higher-order RANS turbulence models for separated flows

Data.gov (United States)

National Aeronautics and Space Administration — Higher-order Reynolds-averaged Navier-Stokes (RANS) models are developed to overcome the shortcomings of second-moment RANS models in predicting separated flows....

Higher order mode damping of a higher harmonic superconducting cavity for SSRF

International Nuclear Information System (INIS)

Yu Haibo; Liu Jianfei; Hou Hongtao; Ma Zhenyu; Feng Xiqiang; Mao Dongqing

2012-01-01

Adopting a higher harmonic cavity on a synchrotron radiation facility can increase the beam lifetime and suppress the beam instability. In this paper, we report the simulation and preliminary design on higher order modes (HOMs) damping of the designed and fabricated higher harmonic superconducting cavity for Shanghai Synchrotron Radiation Facility (SSRF). The requirements for the HOM damping are analyzed, and the length and location of the HOM damper are optimized by using the SEAFISH code. The results show that the design can provide heavy damping for harmful HOMs with decreased impedance, and the beam instability requirement of SSRF can be satisfied. By using the ABCI code, the loss factor is obtained and the HOM power is estimated. (authors)

The power of non-determinism in higher-order implicit complexity

DEFF Research Database (Denmark)

Kop, Cynthia Louisa Martina; Simonsen, Jakob Grue

2017-01-01

We investigate the power of non-determinism in purely functional programming languages with higher-order types. Specifically, we consider cons-free programs of varying data orders, equipped with explicit non-deterministic choice. Cons-freeness roughly means that data constructors cannot occur...... in function bodies and all manipulation of storage space thus has to happen indirectly using the call stack. While cons-free programs have previously been used by several authors to characterise complexity classes, the work on non-deterministic programs has almost exclusively considered programs of data order...... 0. Previous work has shown that adding explicit non-determinism to consfree programs taking data of order 0 does not increase expressivity; we prove that this—dramatically—is not the case for higher data orders: adding non-determinism to programs with data order at least 1 allows...

PRE-SERVICE MATHEMATICS TEACHERS’ CONCEPTION OF HIGHER-ORDER THINKING LEVEL IN BLOOM'S TAXONOMY

OpenAIRE

Damianus D Samo

2017-01-01

The purpose of this study is to explore pre-service mathematics teachers' conception of higher-order thinking in Bloom's Taxonomy, to explore pre-service mathematics teachers' ability in categorizing six cognitive levels of Bloom's Taxonomy as lower-order thinking and higher-order thinking, and pre-service mathematics teachers' ability in identifying some questionable items as lower-order and higher-order thinking. The higher-order thinking is the type of non-algorithm thinking which include ...

Wigner higher-order spectra: definition, properties, computation and application to transient signal analysis

OpenAIRE

Rodríguez Fonollosa, Javier; Nikias, Chrysostomos L.

1993-01-01

The Wigner higher order moment spectra (WHOS) are defined as extensions of the Wigner-Ville distribution (WD) to higher order moment spectra domains. A general class of time-frequency higher order moment spectra is also defined in terms of arbitrary higher order moments of the signal as generalizations of the Cohen’s general class of time-frequency representations. The properties of the general class of time-frequency higher order moment spectra can be related to the properties...

Higher-order Skyrme hair of black holes

Science.gov (United States)

Gudnason, Sven Bjarke; Nitta, Muneto

2018-05-01

Higher-order derivative terms are considered as replacement for the Skyrme term in an Einstein-Skyrme-like model in order to pinpoint which properties are necessary for a black hole to possess stable static scalar hair. We find two new models able to support stable black hole hair in the limit of the Skyrme term being turned off. They contain 8 and 12 derivatives, respectively, and are roughly the Skyrme-term squared and the so-called BPS-Skyrme-term squared. In the twelfth-order model we find that the lower branches, which are normally unstable, become stable in the limit where the Skyrme term is turned off. We check this claim with a linear stability analysis. Finally, we find for a certain range of the gravitational coupling and horizon radius, that the twelfth-order model contains 4 solutions as opposed to 2. More surprisingly, the lowest part of the would-be unstable branch turns out to be the stable one of the 4 solutions.

Higher order mode damping in Kaon factory RF cavities

International Nuclear Information System (INIS)

Enegren, T.; Poirier, R.; Griffin, J.; Walling, L.; Thiessen, H.A.; Smythe, W.R.

1989-05-01

Proposed designs for Kaon factory accelerators require that the rf cavities support beam currents on the order of several amperes. The beam current has Fourier components at all multiples of the rf frequency. Empty rf buckets produce additional components at all multiples of the revolution frequency. If a Fourier component of the beam coincides with the resonant frequency of a higher order mode of the cavity, which is inevitable if the cavity has a large frequency swing, significant excitation of this mode can occur. The induced voltage may then excite coupled bunch mode instabilities. Effective means are required to damp higher order modes without significantly affecting the fundamental mode. A mode damping scheme based on coupled transmission lines has been investigated and is report

A Verification Study on the Loop-Breaking Logic of FTREX

International Nuclear Information System (INIS)

Choi, Jong Soo

2008-01-01

The logical loop problem in fault tree analysis (FTA) has been solved by manually or automatically breaking their circular logics. The breaking of logical loops is one of uncertainty sources in fault tree analyses. A practical method which can verify fault tree analysis results was developed by Choi. The method has the capability to handle logical loop problems. It has been implemented in a FORTRAN program which is called VETA (Verification and Evaluation of fault Tree Analysis results) code. FTREX, a well-known fault tree quantifier developed by KAERI, has an automatic loop-breaking logic. In order to make certain of the correctness of the loop-breaking logic of FTREX, some typical trees with complex loops are developed and applied to this study. This paper presents some verification results of the loop-breaking logic tested by the VETA code

How Do Higher-Education Students Use Their Initial Understanding to Deal with Contextual Logic-Based Problems in Discrete Mathematics?

Science.gov (United States)

Lubis, Asrin; Nasution, Andrea Arifsyah

2017-01-01

Mathematical reasoning in logical context has now received much attention in the mathematics curriculum documents of many countries, including Indonesia. In Indonesia, students start formally learning about logic when they pursue to senior-high school. Before, they previously have many experiences to deal with logic, but the earlier assignments do…

Higher Order, Hybrid BEM/FEM Methods Applied to Antenna Modeling

Science.gov (United States)

Fink, P. W.; Wilton, D. R.; Dobbins, J. A.

2002-01-01

In this presentation, the authors address topics relevant to higher order modeling using hybrid BEM/FEM formulations. The first of these is the limitation on convergence rates imposed by geometric modeling errors in the analysis of scattering by a dielectric sphere. The second topic is the application of an Incomplete LU Threshold (ILUT) preconditioner to solve the linear system resulting from the BEM/FEM formulation. The final tOpic is the application of the higher order BEM/FEM formulation to antenna modeling problems. The authors have previously presented work on the benefits of higher order modeling. To achieve these benefits, special attention is required in the integration of singular and near-singular terms arising in the surface integral equation. Several methods for handling these terms have been presented. It is also well known that achieving he high rates of convergence afforded by higher order bases may als'o require the employment of higher order geometry models. A number of publications have described the use of quadratic elements to model curved surfaces. The authors have shown in an EFIE formulation, applied to scattering by a PEC .sphere, that quadratic order elements may be insufficient to prevent the domination of modeling errors. In fact, on a PEC sphere with radius r = 0.58 Lambda(sub 0), a quartic order geometry representation was required to obtain a convergence benefi.t from quadratic bases when compared to the convergence rate achieved with linear bases. Initial trials indicate that, for a dielectric sphere of the same radius, - requirements on the geometry model are not as severe as for the PEC sphere. The authors will present convergence results for higher order bases as a function of the geometry model order in the hybrid BEM/FEM formulation applied to dielectric spheres. It is well known that the system matrix resulting from the hybrid BEM/FEM formulation is ill -conditioned. For many real applications, a good preconditioner is required

Fuzzy logic of quasi-truth an algebraic treatment

CERN Document Server

Di Nola, Antonio; Turunen, Esko

2016-01-01

This book presents the first algebraic treatment of quasi-truth fuzzy logic and covers the algebraic foundations of many-valued logic. It offers a comprehensive account of basic techniques and reports on important results showing the pivotal role played by perfect many-valued algebras (MV-algebras). It is well known that the first-order predicate Łukasiewicz logic is not complete with respect to the canonical set of truth values. However, it is complete with respect to all linearly ordered MV –algebras. As there are no simple linearly ordered MV-algebras in this case, infinitesimal elements of an MV-algebra are allowed to be truth values. The book presents perfect algebras as an interesting subclass of local MV-algebras and provides readers with the necessary knowledge and tools for formalizing the fuzzy concept of quasi true and quasi false. All basic concepts are introduced in detail to promote a better understanding of the more complex ones. It is an advanced and inspiring reference-guide for graduate s...

Higher Order Thinking Skills among Secondary School Students in Science Learning

Science.gov (United States)

Saido, Gulistan Mohammed; Siraj, Saedah; Bin Nordin, Abu Bakar; Al Amedy, Omed Saadallah

2015-01-01

A central goal of science education is to help students to develop their higher order thinking skills to enable them to face the challenges of daily life. Enhancing students' higher order thinking skills is the main goal of the Kurdish Science Curriculum in the Iraqi-Kurdistan region. This study aimed at assessing 7th grade students' higher order…

Student's Perceived Level and Teachers' Teaching Strategies of Higher Order Thinking Skills: A Study on Higher Educational Institutions in Thailand

Science.gov (United States)

Shukla, Divya; Dungsungnoen, Aj Pattaradanai

2016-01-01

Higher order thinking skills (HOTS) has portrayed immense industry demand and the major goal of educational institution in imparting education is to inculcate higher order thinking skills. This compiles and mandate the institutions and instructor to develop the higher order thinking skills among students in order to prepare them for effective…

Logic as a Key to Interdisciplinary Integration for Students in the Mathematical Sciences

Directory of Open Access Journals (Sweden)

Thomas Marlowe

2017-08-01

Full Text Available We describe the creation and development of a course on mathematical logic and its extensions and limitations, in which coverage of technical material is interleaved with and related to discussion of relevant historical, linguistic, philosophical, and theological issues and of individuals of note. The new course, Logic, Limitations to Knowledge, and Christianity, presents an overview of topics in and related to logic, including development of formal logic and an axiomatic first-order logic. It explores the history of mathematics and logic in the Catholic Intellectual and wider Western Traditions, as well as the mutual interactions of mathematics, philosophy, language, and religion. It then considers extensions of first-order logic, and provable limits to knowledge: the three unsolvable problems of Euclidean geometry, and examples from Gödel, Turing, Arrow, quantum physics, and others. Epistemological issues will be emphasized throughout the course. The translation between natural language and expression in logical and reasoning formalisms is emphasized throughout. As a Core Curriculum course at Seton Hall University, fundamental questions such as "What is logic?" and "What are its limits?" will be considered within the framework of Christianity's broader view of the human person and human intelligence.

Logic for computer science foundations of automatic theorem proving

CERN Document Server

Gallier, Jean H

2015-01-01

This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and basics of automatic theorem proving. Topics include propositional logic and its resolution, first-order logic, Gentzen's cut elimination theorem and applications, and Gentzen's sharpened Hauptsatz and Herbrand's theorem. Additional subjects include resolution in fir

Foundations of mathematical logic

CERN Document Server

Curry, Haskell B

2010-01-01

Written by a pioneer of mathematical logic, this comprehensive graduate-level text explores the constructive theory of first-order predicate calculus. It covers formal methods, including algorithms and epitheory, and offers a brief treatment of Markov's approach to algorithms, explains elementary facts about lattices and similar algebraic systems, and more. 1963 edition.

Logical Entity Level Sentiment Analysis

DEFF Research Database (Denmark)

Petersen, Niklas Christoffer; Villadsen, Jørgen

2017-01-01

We present a formal logical approach using a combinatory categorial grammar for entity level sentiment analysis that utilizes machine learning techniques for efficient syntactical tagging and performs a deep structural analysis of the syntactical properties of texts in order to yield precise resu...

How logical reasoning mediates the relation between lexical quality and reading comprehension.

Science.gov (United States)

Segers, Eliane; Verhoeven, Ludo

The present study aimed to examine the role of logical reasoning in the relation between lexical quality and reading comprehension in 146 fourth grade Dutch children. We assessed their standardized reading comprehension measure, along with their decoding efficiency and vocabulary as measures of lexical quality, syllogistic reasoning as measure of (verbal) logical reasoning, and nonverbal reasoning as a control measure. Syllogistic reasoning was divided into a measure tapping basic, coherence inferencing skill using logical syllogisms, and a measure tapping elaborative inferencing skill using indeterminate syllogisms. Results showed that both types of syllogisms partly mediated the relation between lexical quality and reading comprehension, but also had a unique additional effect on reading comprehension. The indirect effect of lexical quality on reading comprehension via syllogisms was driven by vocabulary knowledge. It is concluded that measures of syllogistic reasoning account for higher-order thinking processes that are needed to make inferences in reading comprehension. The role of lexical quality appears to be pivotal in explaining the variation in reading comprehension both directly and indirectly via syllogistic reasoning.

Higher-order structure of Saccharomyces cerevisiae chromatin

International Nuclear Information System (INIS)

Lowary, P.T.; Widom, J.

1989-01-01

We have developed a method for partially purifying chromatin from Saccharomyces cerevisiae (baker's yeast) to a level suitable for studies of its higher-order folding. This has required the use of yeast strains that are free of the ubiquitous yeast killer virus. Results from dynamic light scattering, electron microscopy, and x-ray diffraction show that the yeast chromatin undergoes a cation-dependent folding into 30-nm filaments that resemble those characteristic of higher-cell chromatin; moreover, the packing of nucleosomes within the yeast 30-nm filaments is similar to that of higher cells. These results imply that yeast has a protein or protein domain that serves the role of the histone H 1 found in higher cells; physical and genetic studies of the yeast activity could help elucidate the structure and function of H 1. Images of the yeast 30-nm filaments can be used to test crossed-linker models for 30-nm filament structure

Higher-order force moments of active particles

Science.gov (United States)

Nasouri, Babak; Elfring, Gwynn J.

2018-04-01

Active particles moving through fluids generate disturbance flows due to their activity. For simplicity, the induced flow field is often modeled by the leading terms in a far-field approximation of the Stokes equations, whose coefficients are the force, torque, and stresslet (zeroth- and first-order force moments) of the active particle. This level of approximation is quite useful, but may also fail to predict more complex behaviors that are observed experimentally. In this study, to provide a better approximation, we evaluate the contribution of the second-order force moments to the flow field and, by reciprocal theorem, present explicit formulas for the stresslet dipole, rotlet dipole, and potential dipole for an arbitrarily shaped active particle. As examples of this method, we derive modified Faxén laws for active spherical particles and resolve higher-order moments for active rod-like particles.

Quantum probabilistic logic programming

Science.gov (United States)

Balu, Radhakrishnan

2015-05-01

We describe a quantum mechanics based logic programming language that supports Horn clauses, random variables, and covariance matrices to express and solve problems in probabilistic logic. The Horn clauses of the language wrap random variables, including infinite valued, to express probability distributions and statistical correlations, a powerful feature to capture relationship between distributions that are not independent. The expressive power of the language is based on a mechanism to implement statistical ensembles and to solve the underlying SAT instances using quantum mechanical machinery. We exploit the fact that classical random variables have quantum decompositions to build the Horn clauses. We establish the semantics of the language in a rigorous fashion by considering an existing probabilistic logic language called PRISM with classical probability measures defined on the Herbrand base and extending it to the quantum context. In the classical case H-interpretations form the sample space and probability measures defined on them lead to consistent definition of probabilities for well formed formulae. In the quantum counterpart, we define probability amplitudes on Hinterpretations facilitating the model generations and verifications via quantum mechanical superpositions and entanglements. We cast the well formed formulae of the language as quantum mechanical observables thus providing an elegant interpretation for their probabilities. We discuss several examples to combine statistical ensembles and predicates of first order logic to reason with situations involving uncertainty.

Analysis and Improvement of the Generic Higher-Order Masking Scheme of FSE 2012

OpenAIRE

Roy, Arnab; Venkatesh, Srinivas Vivek

2013-01-01

Masking is a well-known technique used to prevent block cipher implementations from side-channel attacks. Higher-order side channel attacks (e.g. higher-order DPA attack) on widely used block cipher like AES have motivated the design of efficient higher-order masking schemes. Indeed, it is known that as the masking order increases, the difficulty of side-channel attack increases exponentially. However, the main problem in higher-order masking is to design an efficient and secure technique for...

Fusion Control of Flexible Logic Control and Neural Network

Directory of Open Access Journals (Sweden)

Lihua Fu

2014-01-01

Full Text Available Based on the basic physical meaning of error E and error variety EC, this paper analyzes the logical relationship between them and uses Universal Combinatorial Operation Model in Universal Logic to describe it. Accordingly, a flexible logic control method is put forward to realize effective control on multivariable nonlinear system. In order to implement fusion control with artificial neural network, this paper proposes a new neuron model of Zero-level Universal Combinatorial Operation in Universal Logic. And the artificial neural network of flexible logic control model is implemented based on the proposed neuron model. Finally, stability control, anti-interference control of double inverted-pendulum system, and free walking of cart pendulum system on a level track are realized, showing experimentally the feasibility and validity of this method.

Recurrent activity in higher order, modality non-specific brain regions

DEFF Research Database (Denmark)

Lou, Hans Olav Christensen; Joensson, Morten; Biermann-Ruben, Katja

2011-01-01

It has been proposed that the workings of the brain are mainly intrinsically generated recurrent neuronal activity, with sensory inputs as modifiers of such activity in both sensory and higher order modality non-specific regions. This is supported by the demonstration of recurrent neuronal activity...... in the visual system as a response to visual stimulation. In contrast recurrent activity has never been demonstrated before in higher order modality non-specific regions. Using magneto-encephalography and Granger causality analysis, we tested in a paralimbic network the hypothesis that stimulation may enhance...... causal recurrent interaction between higher-order, modality non-specific regions. The network includes anterior cingulate/medial prefrontal and posterior cingulate/medial parietal cortices together with pulvinar thalami, a network known to be effective in autobiographic memory retrieval and self...

FUZZY LOGIC IN LEGAL EDUCATION

Directory of Open Access Journals (Sweden)

Z. Gonul BALKIR

2011-04-01

Full Text Available The necessity of examination of every case within its peculiar conditions in social sciences requires different approaches complying with the spirit and nature of social sciences. Multiple realities require different and various perceptual interpretations. In modern world and social sciences, interpretation of perception of valued and multi-valued have been started to be understood by the principles of fuzziness and fuzzy logic. Having the verbally expressible degrees of truthness such as true, very true, rather true, etc. fuzzy logic provides the opportunity for the interpretation of especially complex and rather vague set of information by flexibility or equivalence of the variables’ of fuzzy limitations. The methods and principles of fuzzy logic can be benefited in examination of the methodological problems of law, especially in the applications of filling the legal loopholes arising from the ambiguities and interpretation problems in order to understand the legal rules in a more comprehensible and applicable way and the efficiency of legal implications. On the other hand, fuzzy logic can be used as a technical legal method in legal education and especially in legal case studies and legal practice applications in order to provide the perception of law as a value and the more comprehensive and more quality perception and interpretation of value of justice, which is the core value of law. In the perception of what happened as it has happened in legal relationships and formations, the understanding of social reality and sociological legal rules with multi valued sense perspective and the their applications in accordance with the fuzzy logic’s methods could create more equivalent and just results. It can be useful for the young lawyers and law students as a facilitating legal method especially in the materialization of the perception and interpretation of multi valued and variables. Using methods and principles of fuzzy logic in legal

Design and demonstration of adiabatic quantum-flux-parametron logic circuits with superconductor magnetic shields

International Nuclear Information System (INIS)

Inoue, Kenta; Narama, Tatsuya; Yamanashi, Yuki; Yoshikawa, Nobuyuki; Takeuchi, Naoki

2015-01-01

Adiabatic quantum-flux-parametron (AQFP) logic is an energy-efficient superconductor logic with zero static power and very small dynamic power due to adiabatic switching operations. In order to build large-scale digital circuits, we built AQFP logic cells using superconductor magnetic shields, which are necessary in order to avoid unwanted magnetic couplings between the cells and excitation currents. In preliminary experimental tests, we confirmed that the unwanted coupling became negligibly small thanks to the superconductor shields. As a demonstration, we designed a four-to-one multiplexor and a 16-junction full adder using the shielded logic cells. In both circuits, we confirmed correct logic operations with wide operation margins of excitation currents. These results indicate that large-scale AQFP digital circuits can be realized using the shielded logic cells. (paper)

Visualization and processing of higher order descriptors for multi-valued data

CERN Document Server

Schultz, Thomas

2015-01-01

Modern imaging techniques and computational simulations yield complex multi-valued data that require higher-order mathematical descriptors. This book addresses topics of importance when dealing with such data, including frameworks for image processing, visualization, and statistical analysis of higher-order descriptors. It also provides examples of the successful use of higher-order descriptors in specific applications and a glimpse of the next generation of diffusion MRI. To do so, it combines contributions on new developments, current challenges in this area, and state-of-the-art surveys.   Compared to the increasing importance of higher-order descriptors in a range of applications, tools for analysis and processing are still relatively hard to come by. Even though application areas such as medical imaging, fluid dynamics, and structural mechanics are very different in nature they face many shared challenges. This book provides an interdisciplinary perspective on this topic with contributions from key rese...

Logical Characterisation of Ontology Construction using Fuzzy Description Logics

DEFF Research Database (Denmark)

Badie, Farshad; Götzsche, Hans

had the extension of ontologies with Fuzzy Logic capabilities which plan to make proper backgrounds for ontology driven reasoning and argumentation on vague and imprecise domains. This presentation conceptualises learning from fuzzy classes using the Inductive Logic Programming framework. Then......, employs Description Logics in characterising and analysing fuzzy statements. And finally, provides a conceptual framework describing fuzzy concept learning in ontologies using the Inductive Logic Programming....

Manipulating potential wells in Logical Stochastic Resonance to obtain XOR logic

International Nuclear Information System (INIS)

Storni, Remo; Ando, Hiroyasu; Aihara, Kazuyuki; Murali, K.; Sinha, Sudeshna

2012-01-01

Logical Stochastic Resonance (LSR) is the application of Stochastic Resonance to logic computation, namely the phenomenon where a nonlinear system driven by weak signals representing logic inputs, under optimal noise, can yield logic outputs. We extend the existing results, obtained in the context of bistable systems, to multi-stable dynamical systems, allowing us to obtain XOR logic, in addition to the AND (NAND) and OR (NOR) logic observed in earlier studies. This strategy widens the scope of LSR from the application point of view, as XOR forms the basis of ubiquitous bit-by-bit addition, and conceptually, showing the ability to yield non-monotonic input–output logic associations. -- Highlights: ► We generalize Logical Stochastic Resonance from bistable to multi-stable systems. ► We propose a tristable dynamical system formed of piecewise linear functions. ► The system can correctly reproduce XOR logic behavior using the LSR principle. ► The system yields different logic behavior without the need to change the dynamics.

Analysis of warping deformation modes using higher order ANCF beam element

Science.gov (United States)

Orzechowski, Grzegorz; Shabana, Ahmed A.

2016-02-01

Most classical beam theories assume that the beam cross section remains a rigid surface under an arbitrary loading condition. However, in the absolute nodal coordinate formulation (ANCF) continuum-based beams, this assumption can be relaxed allowing for capturing deformation modes that couple the cross-section deformation and beam bending, torsion, and/or elongation. The deformation modes captured by ANCF finite elements depend on the interpolating polynomials used. The most widely used spatial ANCF beam element employs linear approximation in the transverse direction, thereby restricting the cross section deformation and leading to locking problems. The objective of this investigation is to examine the behavior of a higher order ANCF beam element that includes quadratic interpolation in the transverse directions. This higher order element allows capturing warping and non-uniform stretching distribution. Furthermore, this higher order element allows for increasing the degree of continuity at the element interface. It is shown in this paper that the higher order ANCF beam element can be used effectively to capture warping and eliminate Poisson locking that characterizes lower order ANCF finite elements. It is also shown that increasing the degree of continuity requires a special attention in order to have acceptable results. Because higher order elements can be more computationally expensive than the lower order elements, the use of reduced integration for evaluating the stress forces and the use of explicit and implicit numerical integrations to solve the nonlinear dynamic equations of motion are investigated in this paper. It is shown that the use of some of these integration methods can be very effective in reducing the CPU time without adversely affecting the solution accuracy.

to the Question of IPv6-protocol Logical Characteristics Properties Using in order to Increase of the Security Level of the Russian Federation National Information Technology Infrastructure

Directory of Open Access Journals (Sweden)

Dmitry Anatolevich Melnikov

2014-02-01

Full Text Available This paper proposes a method of IPv6-protocol logical characteristics using in order to increase the security level of the Russian Federation national information technology infrastructure and the global information society.

Focused labeled proof systems for modal logic

OpenAIRE

Miller , Dale; Volpe , Marco

2015-01-01

International audience; Focused proofs are sequent calculus proofs that group inference rules into alternating positive and negative phases. These phases can then be used to define macro-level inference rules from Gentzen's original and tiny introduction and structural rules. We show here that the inference rules of labeled proof systems for modal logics can similarly be described as pairs of such phases within the LKF focused proof system for first-order classical logic. We consider the syst...

The geometry of higher-order Lagrange spaces applications to mechanics and physics

CERN Document Server

Miron, Radu

1997-01-01

This monograph is devoted to the problem of the geometrizing of Lagrangians which depend on higher-order accelerations It presents a construction of the geometry of the total space of the bundle of the accelerations of order k>=1 A geometrical study of the notion of the higher-order Lagrange space is conducted, and the old problem of prolongation of Riemannian spaces to k-osculator manifolds is solved Also, the geometrical ground for variational calculus on the integral of actions involving higher-order Lagrangians is dealt with Applications to higher-order analytical mechanics and theoretical physics are included as well Audience This volume will be of interest to scientists whose work involves differential geometry, mechanics of particles and systems, calculus of variation and optimal control, optimization, optics, electromagnetic theory, and biology

Higher-Order Spectrum in Understanding Nonlinearity in EEG Rhythms

Directory of Open Access Journals (Sweden)

Cauchy Pradhan

2012-01-01

Full Text Available The fundamental nature of the brain's electrical activities recorded as electroencephalogram (EEG remains unknown. Linear stochastic models and spectral estimates are the most common methods for the analysis of EEG because of their robustness, simplicity of interpretation, and apparent association with rhythmic behavioral patterns in nature. In this paper, we extend the use of higher-order spectrum in order to indicate the hidden characteristics of EEG signals that simply do not arise from random processes. The higher-order spectrum is an extension Fourier spectrum that uses higher moments for spectral estimates. This essentially nullifies all Gaussian random effects, therefore, can reveal non-Gaussian and nonlinear characteristics in the complex patterns of EEG time series. The paper demonstrates the distinguishing features of bispectral analysis for chaotic systems, filtered noises, and normal background EEG activity. The bispectrum analysis detects nonlinear interactions; however, it does not quantify the coupling strength. The squared bicoherence in the nonredundant region has been estimated to demonstrate nonlinear coupling. The bicoherence values are minimal for white Gaussian noises (WGNs and filtered noises. Higher bicoherence values in chaotic time series and normal background EEG activities are indicative of nonlinear coupling in these systems. The paper shows utility of bispectral methods as an analytical tool in understanding neural process underlying human EEG patterns.

Reliability concerns with logical constants in Xilinx FPGA designs

Energy Technology Data Exchange (ETDEWEB)

Quinn, Heather M [Los Alamos National Laboratory; Graham, Paul [Los Alamos National Laboratory; Morgan, Keith [Los Alamos National Laboratory; Ostler, Patrick [Los Alamos National Laboratory; Allen, Greg [JPL; Swift, Gary [XILINX; Tseng, Chen W [XILINX

2009-01-01

In Xilinx Field Programmable Gate Arrays logical constants, which ground unused inputs and provide constants for designs, are implemented in SEU-susceptible logic. In the past, these logical constants have been shown to cause the user circuit to output bad data and were not resetable through off-line rcconfiguration. In the more recent devices, logical constants are less problematic, though mitigation should still be considered for high reliability applications. In conclusion, we have presented a number of reliability concerns with logical constants in the Xilinx Virtex family. There are two main categories of logical constants: implicit and explicit logical constants. In all of the Virtex devices, the implicit logical constants are implemented using half latches, which in the most recent devices are several orders of magnitudes smaller than configuration bit cells. Explicit logical constants are implemented exclusively using constant LUTs in the Virtex-I and Virtex-II, and use a combination of constant LUTs and architectural posts to the ground plane in the Virtex-4. We have also presented mitigation methods and options for these devices. While SEUs in implicit and some types of explicit logical constants can cause data corrupt, the chance of failure from these components is now much smaller than it was in the Virtex-I device. Therefore, for many cases, mitigation might not be necessary, except under extremely high reliability situations.

Higher-order neural network software for distortion invariant object recognition

Science.gov (United States)

Reid, Max B.; Spirkovska, Lilly

1991-01-01

The state-of-the-art in pattern recognition for such applications as automatic target recognition and industrial robotic vision relies on digital image processing. We present a higher-order neural network model and software which performs the complete feature extraction-pattern classification paradigm required for automatic pattern recognition. Using a third-order neural network, we demonstrate complete, 100 percent accurate invariance to distortions of scale, position, and in-plate rotation. In a higher-order neural network, feature extraction is built into the network, and does not have to be learned. Only the relatively simple classification step must be learned. This is key to achieving very rapid training. The training set is much smaller than with standard neural network software because the higher-order network only has to be shown one view of each object to be learned, not every possible view. The software and graphical user interface run on any Sun workstation. Results of the use of the neural software in autonomous robotic vision systems are presented. Such a system could have extensive application in robotic manufacturing.

Covariant quantization of infinite spin particle models, and higher order gauge theories

International Nuclear Information System (INIS)

Edgren, Ludde; Marnelius, Robert

2006-01-01

Further properties of a recently proposed higher order infinite spin particle model are derived. Infinitely many classically equivalent but different Hamiltonian formulations are shown to exist. This leads to a condition of uniqueness in the quantization process. A consistent covariant quantization is shown to exist. Also a recently proposed supersymmetric version for half-odd integer spins is quantized. A general algorithm to derive gauge invariances of higher order Lagrangians is given and applied to the infinite spin particle model, and to a new higher order model for a spinning particle which is proposed here, as well as to a previously given higher order rigid particle model. The latter two models are also covariantly quantized

An Efficient Higher-Order Quasilinearization Method for Solving Nonlinear BVPs

Directory of Open Access Journals (Sweden)

Eman S. Alaidarous

2013-01-01

Full Text Available In this research paper, we present higher-order quasilinearization methods for the boundary value problems as well as coupled boundary value problems. The construction of higher-order convergent methods depends on a decomposition method which is different from Adomain decomposition method (Motsa and Sibanda, 2013. The reported method is very general and can be extended to desired order of convergence for highly nonlinear differential equations and also computationally superior to proposed iterative method based on Adomain decomposition because our proposed iterative scheme avoids the calculations of Adomain polynomials and achieves the same computational order of convergence as authors have claimed in Motsa and Sibanda, 2013. In order to check the validity and computational performance, the constructed iterative schemes are also successfully applied to bifurcation problems to calculate the values of critical parameters. The numerical performance is also tested for one-dimension Bratu and Frank-Kamenetzkii equations.

A Linear-Elasticity Solver for Higher-Order Space-Time Mesh Deformation

Science.gov (United States)

Diosady, Laslo T.; Murman, Scott M.

2018-01-01

A linear-elasticity approach is presented for the generation of meshes appropriate for a higher-order space-time discontinuous finite-element method. The equations of linear-elasticity are discretized using a higher-order, spatially-continuous, finite-element method. Given an initial finite-element mesh, and a specified boundary displacement, we solve for the mesh displacements to obtain a higher-order curvilinear mesh. Alternatively, for moving-domain problems we use the linear-elasticity approach to solve for a temporally discontinuous mesh velocity on each time-slab and recover a continuous mesh deformation by integrating the velocity. The applicability of this methodology is presented for several benchmark test cases.

Higher-order-mode damper as beam-position monitors; Higher-Order-Mode Daempfer als Stahllagemonitore

Energy Technology Data Exchange (ETDEWEB)

Peschke, C.

2006-03-15

In the framework of this thesis a beam-position monitor was developed, which can only because of the signals from the HOM dampers of a linear-accelerator structure determine the beam position with high accuracy. For the unique determination of the beam position in the plane a procedure was developed, which uses the amplitudes and the start-phase difference between a dipole mode and a higher monopole mode. In order tocheck the suitability of the present SBLC-HOM damper as beam position monitor three-dimensional numerical field calculations in the frequency and time range and measurements on the damper cell were performed. For the measurements without beam a beam simulator was constructed, which allows computer-driven measurements with variable depositions of the simulated beam with a resolution of 1.23 {mu}m. Because the complete 6 m long, 180-cell accelerator structure was not available for measurements and could also with the available computers not be three-dimensionally simulated simulated, a one-dimensional equivalent-circuit based model of the multi-cell was studied. The equivalent circuits with 879 concentrated components regards the detuning from cell to cell, the cell losses, the damper losses, and the beam excitation in dependence on the deposition. the measurements and simulations let a resolution of the ready beam-position monitor on the 180-cell in the order of magnitude of 1-10 {mu}m and a relative accuracy smaller 6.2% be expected.

Structural Logical Relations

DEFF Research Database (Denmark)

Schürmann, Carsten; Sarnat, Jeffrey

2008-01-01

Tait's method (a.k.a. proof by logical relations) is a powerful proof technique frequently used for showing foundational properties of languages based on typed lambda-calculi. Historically, these proofs have been extremely difficult to formalize in proof assistants with weak meta-logics......, such as Twelf, and yet they are often straightforward in proof assistants with stronger meta-logics. In this paper, we propose structural logical relations as a technique for conducting these proofs in systems with limited meta-logical strength by explicitly representing and reasoning about an auxiliary logic...

Higher-Order Hierarchical Legendre Basis Functions in Applications

DEFF Research Database (Denmark)

Kim, Oleksiy S.; Jørgensen, Erik; Meincke, Peter

2007-01-01

The higher-order hierarchical Legendre basis functions have been developed for effective solution of integral equations with the method of moments. They are derived from orthogonal Legendre polynomials modified to enforce normal continuity between neighboring mesh elements, while preserving a high...

A reconfigurable NAND/NOR genetic logic gate.

Science.gov (United States)

Goñi-Moreno, Angel; Amos, Martyn

2012-09-18

Engineering genetic Boolean logic circuits is a major research theme of synthetic biology. By altering or introducing connections between genetic components, novel regulatory networks are built in order to mimic the behaviour of electronic devices such as logic gates. While electronics is a highly standardized science, genetic logic is still in its infancy, with few agreed standards. In this paper we focus on the interpretation of logical values in terms of molecular concentrations. We describe the results of computational investigations of a novel circuit that is able to trigger specific differential responses depending on the input standard used. The circuit can therefore be dynamically reconfigured (without modification) to serve as both a NAND/NOR logic gate. This multi-functional behaviour is achieved by a) varying the meanings of inputs, and b) using branch predictions (as in computer science) to display a constrained output. A thorough computational study is performed, which provides valuable insights for the future laboratory validation. The simulations focus on both single-cell and population behaviours. The latter give particular insights into the spatial behaviour of our engineered cells on a surface with a non-homogeneous distribution of inputs. We present a dynamically-reconfigurable NAND/NOR genetic logic circuit that can be switched between modes of operation via a simple shift in input signal concentration. The circuit addresses important issues in genetic logic that will have significance for more complex synthetic biology applications.

Institutional Logics in Inter-institutional Temporary Organizations

DEFF Research Database (Denmark)

Pemsel, Sofia; Söderlund, Jonas

-cognitive, normative, and regulative – are unfolding and evolving in such contexts. The case study addresses the integration and disintegration of logics and normative orders in an ongoing process characterized by the co-mingling, co-existence, creation and resolutions of hybrid logics and creation of institutional...... exceptions throughout the life of the studied temporary organization. In that respect, this paper contributes with a more nuanced view on the evolution, dynamics, and co-existence of pressures from multiple institutional demands at the organizational level....

A fluorescent combinatorial logic gate with Na+, H+-enabled OR and H+-driven low-medium-high ternary logic functions.

Science.gov (United States)

Spiteri, Jasmine M A; Mallia, Carl J; Scerri, Glenn J; Magri, David C

2017-12-06

A novel fluorescent molecular logic gate with a 'fluorophore-spacer 1 -receptor 1 -spacer 2 -receptor 2 ' format is demonstrated in 1 : 1 (v/v) methanol/water. The molecule consists of an anthracene fluorophore, and tertiary alkyl amine and N-(2-methoxyphenyl)aza-15-crown-5 ether receptors. In the presence of threshold concentrations of H + and Na + , the molecule switches 'on' as an AND logic gate with a fluorescence quantum yield of 0.21 with proton and sodium binding constants of log β H+ = 9.0 and log β Na+ = 3.2, respectively. At higher proton levels, protonation also occurs at the anilinic nitrogen atom ether with a log β H+ = 4.2, which allows for Na + , H + -enabled OR (OR + AND circuit) and H + -driven ternary logic functions. The reported molecule is compared and contrasted to classic anthracene-based Na + and H + logic gates. We propose that such logic-based molecules could be useful tools for probing the vicinity of Na + , H + antiporters in biological systems.

BDI Logics

NARCIS (Netherlands)

Meyer, J.J.Ch.; Broersen, J.M.; Herzig, A.

2015-01-01

This paper presents an overview of so-called BDI logics, logics where the notion of Beliefs, Desires and Intentions play a central role. Starting out from the basic ideas about BDI by Bratman, we consider various formalizations in logic, such as the approach of Cohen and Levesque, slightly

Many-valued logics

CERN Document Server

Bolc, Leonard

1992-01-01

Many-valued logics were developed as an attempt to handle philosophical doubts about the "law of excluded middle" in classical logic. The first many-valued formal systems were developed by J. Lukasiewicz in Poland and E.Post in the U.S.A. in the 1920s, and since then the field has expanded dramatically as the applicability of the systems to other philosophical and semantic problems was recognized. Intuitionisticlogic, for example, arose from deep problems in the foundations of mathematics. Fuzzy logics, approximation logics, and probability logics all address questions that classical logic alone cannot answer. All these interpretations of many-valued calculi motivate specific formal systems thatallow detailed mathematical treatment. In this volume, the authors are concerned with finite-valued logics, and especially with three-valued logical calculi. Matrix constructions, axiomatizations of propositional and predicate calculi, syntax, semantic structures, and methodology are discussed. Separate chapters deal w...

Higher order BLG supersymmetry transformations from 10-dimensional super Yang Mills

Energy Technology Data Exchange (ETDEWEB)

Hall, John [Alumnus of Physics Department, Imperial College,South Kensington, London, SW7 2AZ (United Kingdom); Low, Andrew [Physics Department, Wimbledon High School,Mansel Road, London, SW19 4AB (United Kingdom)

2014-06-26

We study a Simple Route for constructing the higher order Bagger-Lambert-Gustavsson theory - both supersymmetry transformations and Lagrangian - starting from knowledge of only the 10-dimensional Super Yang Mills Fermion Supersymmetry transformation. We are able to uniquely determine the four-derivative order corrected supersymmetry transformations, to lowest non-trivial order in Fermions, for the most general three-algebra theory. For the special case of Euclidean three-algbera, we reproduce the result presented in arXiv:1207.1208, with significantly less labour. In addition, we apply our method to calculate the quadratic fermion terms in the higher order BLG fermion supersymmetry transformation.

Contribution of Warsaw Logicians to Computational Logic

Directory of Open Access Journals (Sweden)

Damian Niwiński

2016-06-01

Full Text Available The newly emerging branch of research of Computer Science received encouragement from the successors of the Warsaw mathematical school: Kuratowski, Mazur, Mostowski, Grzegorczyk, and Rasiowa. Rasiowa realized very early that the spectrum of computer programs should be incorporated into the realm of mathematical logic in order to make a rigorous treatment of program correctness. This gave rise to the concept of algorithmic logic developed since the 1970s by Rasiowa, Salwicki, Mirkowska, and their followers. Together with Pratt’s dynamic logic, algorithmic logic evolved into a mainstream branch of research: logic of programs. In the late 1980s, Warsaw logicians Tiuryn and Urzyczyn categorized various logics of programs, depending on the class of programs involved. Quite unexpectedly, they discovered that some persistent open questions about the expressive power of logics are equivalent to famous open problems in complexity theory. This, along with parallel discoveries by Harel, Immerman and Vardi, contributed to the creation of an important area of theoretical computer science: descriptive complexity. By that time, the modal μ-calculus was recognized as a sort of a universal logic of programs. The mid 1990s saw a landmark result by Walukiewicz, who showed completeness of a natural axiomatization for the μ-calculus proposed by Kozen. The difficult proof of this result, based on automata theory, opened a path to further investigations. Later, Bojanczyk opened a new chapter by introducing an unboundedness quantifier, which allowed for expressing some quantitative properties of programs. Yet another topic, linking the past with the future, is the subject of automata founded in the Fraenkel-Mostowski set theory. The studies on intuitionism found their continuation in the studies of Curry-Howard isomorphism. ukasiewicz’s landmark idea of many-valued logic found its continuation in various approaches to incompleteness and uncertainty.

Hamiltonian formulation of theory with higher order derivatives

International Nuclear Information System (INIS)

Gitman, D.M.; Lyakhovich, S.L.; Tyutin, I.V.

1983-01-01

A method of ''hamiltonization'' of a special theory with higher order derivatives is described. In a nonspecial case the result coincides with the known Ostrogradsky formulation. It is shown that in the nonspecial theory the lagrange equations of motion are reduced to the normal form

Quantum Logic as a Dynamic Logic

NARCIS (Netherlands)

Baltag, A.; Smets, S.

We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others (Among whom we may count or not E. W. Beth, depending on how we interpret some of his statements), our answer is a clear “no”.

Quantum logic as a dynamic logic

NARCIS (Netherlands)

Baltag, Alexandru; Smets, Sonja

We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others (Among whom we may count or not E. W. Beth, depending on how we interpret some of his statements), our answer is a clear "no".

Product Lukasiewicz Logic

Czech Academy of Sciences Publication Activity Database

Horčík, Rostislav; Cintula, Petr

2004-01-01

Roč. 43, - (2004), s. 477-503 ISSN 1432-0665 R&D Projects: GA AV ČR IAA1030004; GA ČR GA201/02/1540 Grant - others:GA CTU(CZ) project 0208613; net CEEPUS(SK) SK-042 Institutional research plan: CEZ:AV0Z1030915 Keywords : fuzzy logic * many-valued logic * Lukasiewicz logic * Lpi logic * Takeuti-Titani logic * MV-algebras * product MV-algebras Subject RIV: BA - General Mathematics Impact factor: 0.295, year: 2004

Parallel logic gates in synthetic gene networks induced by non-Gaussian noise.

Science.gov (United States)

Xu, Yong; Jin, Xiaoqin; Zhang, Huiqing

2013-11-01

The recent idea of logical stochastic resonance is verified in synthetic gene networks induced by non-Gaussian noise. We realize the switching between two kinds of logic gates under optimal moderate noise intensity by varying two different tunable parameters in a single gene network. Furthermore, in order to obtain more logic operations, thus providing additional information processing capacity, we obtain in a two-dimensional toggle switch model two complementary logic gates and realize the transformation between two logic gates via the methods of changing different parameters. These simulated results contribute to improve the computational power and functionality of the networks.

Higher order polynomial expansion nodal method for hexagonal core neutronics analysis

International Nuclear Information System (INIS)

Jin, Young Cho; Chang, Hyo Kim

1998-01-01

A higher-order polynomial expansion nodal(PEN) method is newly formulated as a means to improve the accuracy of the conventional PEN method solutions to multi-group diffusion equations in hexagonal core geometry. The new method is applied to solving various hexagonal core neutronics benchmark problems. The computational accuracy of the higher order PEN method is then compared with that of the conventional PEN method, the analytic function expansion nodal (AFEN) method, and the ANC-H method. It is demonstrated that the higher order PEN method improves the accuracy of the conventional PEN method and that it compares very well with the other nodal methods like the AFEN and ANC-H methods in accuracy

Coaxial higher-order mode damper employing a high-pass filter

International Nuclear Information System (INIS)

Kang, Y.W.; Jiang, X.

1997-01-01

Two different types of coaxial higher-order mode (HOM) dampers have been investigated for the Advanced Photon Source (APS) storage ring cavities: e-probe dampers and h-loop dampers. Realization of the h-loop dampers has been difficult because the loop antenna couples not only to the HOMs but also to the accelerating mode and results in loss of Q at the fundamental frequency. Previously, a first-order fundamental rejection filter was tested with unsatisfactory rejection characteristics. This problem can be overcome by using a higher-order high-pass filter between the loop and the matched load. Prototype dampers have been fabricated and tested in a storage ring single-cell cavity and the damping characteristic was analyzed

Superconductor fluxoid logic

International Nuclear Information System (INIS)

Andronov, A.A.; Kurin, V.V.; Levichev, M.Yu.; Ryndyk, D.A.; Vostokov, V.I.

1993-01-01

In recent years there has been much interest in superconductor logical devices. Our paper is devoted to the analysis of some new possibilities in this field. The main problems here are: minimization of time of logical operations and reducing of device scale. Josephson systems are quite appropriate for this purpose because of small size, short characteristic time and also small energy losses. Two different types of Josephson logic have been investigated during last years. The first type is based on hysteretic V-A characteristic of a single Josephson junction. Superconducting and resistive (with nonzero voltage) states are considered as logical zero and logical unit. The second one - rapid single flux quantum logic, has been developed recently and is based on SQUID-like bistability. Different logical states are the states with different number of magnetic flux quanta inside closed superconducting contour. Information is represented by voltage pulses with fixed ''area'' (∫ V(t)/dt). This pulses are generated when logical state of SQUID-like elementary cell changes. The fundamental role of magnetic flux quantization in this type of logic leads to the necessity of large enough self-inductance of superconductor contour and thus to limitations on minimal device dimensions. (orig.)

Advances in Modal Logic

DEFF Research Database (Denmark)

Modal logic is a subject with ancient roots in the western logical tradition. Up until the last few generations, it was pursued mainly as a branch of philosophy. But in recent years, the subject has taken new directions with connections to topics in computer science and mathematics. This volume...... is the proceedings of the conference of record in its fi eld, Advances in Modal Logic. Its contributions are state-of-the-art papers. The topics include decidability and complexity results for specifi c modal logics, proof theory of modal logic, logics for reasoning about time and space, provability logic, dynamic...... epistemic logic, and the logic of evidence....

Indeterministic Temporal Logic

Directory of Open Access Journals (Sweden)

Trzęsicki Kazimierz

2015-09-01

Full Text Available The questions od determinism, causality, and freedom have been the main philosophical problems debated since the beginning of temporal logic. The issue of the logical value of sentences about the future was stated by Aristotle in the famous tomorrow sea-battle passage. The question has inspired Łukasiewicz’s idea of many-valued logics and was a motive of A. N. Prior’s considerations about the logic of tenses. In the scheme of temporal logic there are different solutions to the problem. In the paper we consider indeterministic temporal logic based on the idea of temporal worlds and the relation of accessibility between them.

A finite deformation theory of higher-order gradient crystal plasticity

DEFF Research Database (Denmark)

Kuroda, Mitsutoshi; Tvergaard, Viggo

2008-01-01

crystal plasticity that is based on an assumption of the existence of higher-order stresses. Furthermore, a boundary-value problem for simple shear of a constrained thin strip is studied numerically, and some characteristic features of finite deformation are demonstrated through a comparison to a solution......For higher-order gradient crystal plasticity, a finite deformation formulation is presented. The theory does not deviate much from the conventional crystal plasticity theory. Only a back stress effect and additional differential equations for evolution of the geometrically necessary dislocation...

Fuzzy forecasting based on fuzzy-trend logical relationship groups.

Science.gov (United States)

Chen, Shyi-Ming; Wang, Nai-Yi

2010-10-01

In this paper, we present a new method to predict the Taiwan Stock Exchange Capitalization Weighted Stock Index (TAIEX) based on fuzzy-trend logical relationship groups (FTLRGs). The proposed method divides fuzzy logical relationships into FTLRGs based on the trend of adjacent fuzzy sets appearing in the antecedents of fuzzy logical relationships. First, we apply an automatic clustering algorithm to cluster the historical data into intervals of different lengths. Then, we define fuzzy sets based on these intervals of different lengths. Then, the historical data are fuzzified into fuzzy sets to derive fuzzy logical relationships. Then, we divide the fuzzy logical relationships into FTLRGs for forecasting the TAIEX. Moreover, we also apply the proposed method to forecast the enrollments and the inventory demand, respectively. The experimental results show that the proposed method gets higher average forecasting accuracy rates than the existing methods.

Classical Logic and Quantum Logic with Multiple and Common Lattice Models

Directory of Open Access Journals (Sweden)

Mladen Pavičić

2016-01-01

Full Text Available We consider a proper propositional quantum logic and show that it has multiple disjoint lattice models, only one of which is an orthomodular lattice (algebra underlying Hilbert (quantum space. We give an equivalent proof for the classical logic which turns out to have disjoint distributive and nondistributive ortholattices. In particular, we prove that both classical logic and quantum logic are sound and complete with respect to each of these lattices. We also show that there is one common nonorthomodular lattice that is a model of both quantum and classical logic. In technical terms, that enables us to run the same classical logic on both a digital (standard, two-subset, 0-1-bit computer and a nondigital (say, a six-subset computer (with appropriate chips and circuits. With quantum logic, the same six-element common lattice can serve us as a benchmark for an efficient evaluation of equations of bigger lattice models or theorems of the logic.

Mathematical logic foundations for information science

CERN Document Server

Li, Wei

2014-01-01

Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can also provide a foundation for the development of information science and technology. The first five chapters systematically present the core topics of classical mathematical logic, including the syntax and models of first-order languages, formal inference systems, computability and representability, and Gödel’s theorems. The last five chapters present extensions and developments of classical mathematical logic, particularly the concepts of version sequences of formal theories and their limits, the system of revision calculus, proschemes (formal descriptions of proof methods and strategies) and their properties, and the theory of inductive inference. All of these themes contribute to a formal theory of axiomatization and its application to the process of developing information technology and scientific theories. The book also describes the paradigm of three kinds...

A Description Logic Based Knowledge Representation Model for Concept Understanding

DEFF Research Database (Denmark)

Badie, Farshad

2017-01-01

This research employs Description Logics in order to focus on logical description and analysis of the phenomenon of ‘concept understanding’. The article will deal with a formal-semantic model for figuring out the underlying logical assumptions of ‘concept understanding’ in knowledge representation...... systems. In other words, it attempts to describe a theoretical model for concept understanding and to reflect the phenomenon of ‘concept understanding’ in terminological knowledge representation systems. Finally, it will design an ontology that schemes the structure of concept understanding based...

Ultra-compact Higher-Order-Mode Pass Filter in a Silicon Waveguide

DEFF Research Database (Denmark)

Guan, Xiaowei; Frandsen, Lars Hagedorn; Ding, Yunhong

2015-01-01

An 3.7 μm long higher-order-mode pass filter with an extinction ratio larger than 20 dB is demonstrated in a 1D corrugated silicon multimode waveguide......An 3.7 μm long higher-order-mode pass filter with an extinction ratio larger than 20 dB is demonstrated in a 1D corrugated silicon multimode waveguide...

Material Targets for Scaling All-Spin Logic

Science.gov (United States)

Manipatruni, Sasikanth; Nikonov, Dmitri E.; Young, Ian A.

2016-01-01

All-spin-logic devices are promising candidates to augment and complement beyond-CMOS integrated circuit computing due to nonvolatility, ultralow operating voltages, higher logical efficiency, and high density integration. However, the path to reach lower energy-delay product performance compared to CMOS transistors currently is not clear. We show that scaling and engineering the nanoscale magnetic materials and interfaces is the key to realizing spin-logic devices that can surpass the energy-delay performance of CMOS transistors. With validated stochastic nanomagnetic and vector spin-transport numerical models, we derive the target material and interface properties for the nanomagnets and channels. We identify promising directions for material engineering and discovery focusing on the systematic scaling of magnetic anisotropy (Hk ) and saturation magnetization (Ms ), the use of perpendicular magnetic anisotropy, and the interface spin-mixing conductance of the ferromagnet-spin-channel interface (Gmix ). We provide systematic targets for scaling a spin-logic energy-delay product toward 2 aJ ns, comprehending the stochastic noise for nanomagnets.

Analysis of Scattering by Inhomogeneous Dielectric Objects Using Higher-Order Hierarchical MoM

DEFF Research Database (Denmark)

Kim, Oleksiy S.; Jørgensen, Erik; Meincke, Peter

2003-01-01

An efficient technique for the analysis of electromagnetic scattering by arbitrary shaped inhomogeneous dielectric objects is presented. The technique is based on a higher-order method of moments (MoM) solution of the volume integral equation. This higher-order MoM solution comprises recently...... that the condition number of the resulting MoM matrix is reduced by several orders of magnitude in comparison to existing higher-order hierarchical basis functions and, consequently, an iterative solver can be applied even for high expansion orders. Numerical results demonstrate excellent agreement...

Propositional Logics of Dependence

NARCIS (Netherlands)

Yang, F.; Väänänen, J.

2016-01-01

In this paper, we study logics of dependence on the propositional level. We prove that several interesting propositional logics of dependence, including propositional dependence logic, propositional intuitionistic dependence logic as well as propositional inquisitive logic, are expressively complete

A simplified parsimonious higher order multivariate Markov chain model

Science.gov (United States)

Wang, Chao; Yang, Chuan-sheng

2017-09-01

In this paper, a simplified parsimonious higher-order multivariate Markov chain model (SPHOMMCM) is presented. Moreover, parameter estimation method of TPHOMMCM is give. Numerical experiments shows the effectiveness of TPHOMMCM.

Logic integer programming models for signaling networks.

Science.gov (United States)

Haus, Utz-Uwe; Niermann, Kathrin; Truemper, Klaus; Weismantel, Robert

2009-05-01

We propose a static and a dynamic approach to model biological signaling networks, and show how each can be used to answer relevant biological questions. For this, we use the two different mathematical tools of Propositional Logic and Integer Programming. The power of discrete mathematics for handling qualitative as well as quantitative data has so far not been exploited in molecular biology, which is mostly driven by experimental research, relying on first-order or statistical models. The arising logic statements and integer programs are analyzed and can be solved with standard software. For a restricted class of problems the logic models reduce to a polynomial-time solvable satisfiability algorithm. Additionally, a more dynamic model enables enumeration of possible time resolutions in poly-logarithmic time. Computational experiments are included.

Weighted Description Logics Preference Formulas for Multiattribute Negotiation

Science.gov (United States)

Ragone, Azzurra; di Noia, Tommaso; Donini, Francesco M.; di Sciascio, Eugenio; Wellman, Michael P.

We propose a framework to compute the utility of an agreement w.r.t a preference set in a negotiation process. In particular, we refer to preferences expressed as weighted formulas in a decidable fragment of First-order Logic and agreements expressed as a formula. We ground our framework in Description Logics (DL) endowed with disjunction, to be compliant with Semantic Web technologies. A logic based approach to preference representation allows, when a background knowledge base is exploited, to relax the often unrealistic assumption of additive independence among attributes. We provide suitable definitions of the problem and present algorithms to compute utility in our setting. We also validate our approach through an experimental evaluation.

Higher Order Differential Attack on 6-Round MISTY1

Science.gov (United States)

Tsunoo, Yukiyasu; Saito, Teruo; Nakashima, Hiroki; Shigeri, Maki

MISTY1 is a 64-bit block cipher that has provable security against differential and linear cryptanalysis. MISTY1 is one of the algorithms selected in the European NESSIE project, and it has been recommended for Japanese e-Government ciphers by the CRYPTREC project. This paper reports a previously unknown higher order differential characteristic of 4-round MISTY1 with the FL functions. It also shows that a higher order differential attack that utilizes this newly discovered characteristic is successful against 6-round MISTY1 with the FL functions. This attack can recover a partial subkey with a data complexity of 253.7 and a computational complexity of 264.4, which is better than any previous cryptanalysis of MISTY1.

Higher-order automatic differentiation of mathematical functions

Science.gov (United States)

Charpentier, Isabelle; Dal Cappello, Claude

2015-04-01

Functions of mathematical physics such as the Bessel functions, the Chebyshev polynomials, the Gauss hypergeometric function and so forth, have practical applications in many scientific domains. On the one hand, differentiation formulas provided in reference books apply to real or complex variables. These do not account for the chain rule. On the other hand, based on the chain rule, the automatic differentiation has become a natural tool in numerical modeling. Nevertheless automatic differentiation tools do not deal with the numerous mathematical functions. This paper describes formulas and provides codes for the higher-order automatic differentiation of mathematical functions. The first method is based on Faà di Bruno's formula that generalizes the chain rule. The second one makes use of the second order differential equation they satisfy. Both methods are exemplified with the aforementioned functions.

Computer-Mediated Assessment of Higher-Order Thinking Development

Science.gov (United States)

Tilchin, Oleg; Raiyn, Jamal

2015-01-01

Solving complicated problems in a contemporary knowledge-based society requires higher-order thinking (HOT). The most productive way to encourage development of HOT in students is through use of the Problem-based Learning (PBL) model. This model organizes learning by solving corresponding problems relative to study courses. Students are directed…

Neurodevelopmental outcomes of triplets or higher-order extremely low birth weight infants.

Science.gov (United States)

Wadhawan, Rajan; Oh, William; Vohr, Betty R; Wrage, Lisa; Das, Abhik; Bell, Edward F; Laptook, Abbot R; Shankaran, Seetha; Stoll, Barbara J; Walsh, Michele C; Higgins, Rosemary D

2011-03-01

Extremely low birth weight twins have a higher rate of death or neurodevelopmental impairment than singletons. Higher-order extremely low birth weight multiple births may have an even higher rate of death or neurodevelopmental impairment. Extremely low birth weight (birth weight 401-1000 g) multiple births born in participating centers of the Neonatal Research Network between 1996 and 2005 were assessed for death or neurodevelopmental impairment at 18 to 22 months' corrected age. Neurodevelopmental impairment was defined by the presence of 1 or more of the following: moderate to severe cerebral palsy; mental developmental index score or psychomotor developmental index score less than 70; severe bilateral deafness; or blindness. Infants who died within 12 hours of birth were excluded. Maternal and infant demographic and clinical variables were compared among singleton, twin, and triplet or higher-order infants. Logistic regression analysis was performed to establish the association between singletons, twins, and triplet or higher-order multiples and death or neurodevelopmental impairment, controlling for confounding variables that may affect death or neurodevelopmental impairment. Our cohort consisted of 8296 singleton, 2164 twin, and 521 triplet or higher-order infants. The risk of death or neurodevelopmental impairment was increased in triplets or higher-order multiples when compared with singletons (adjusted odds ratio: 1.7 [95% confidence interval: 1.29-2.24]), and there was a trend toward an increased risk when compared with twins (adjusted odds ratio: 1.27 [95% confidence: 0.95-1.71]). Triplet or higher-order births are associated with an increased risk of death or neurodevelopmental impairment at 18 to 22 months' corrected age when compared with extremely low birth weight singleton infants, and there was a trend toward an increased risk when compared with twins.

Analysis of Buried Dielectric Objects Using Higher-Order MoM for Volume Integral Equations

DEFF Research Database (Denmark)

Kim, Oleksiy S.; Meincke, Peter; Breinbjerg, Olav

2004-01-01

A higher-order method of moments (MoM) is applied to solve a volume integral equation for dielectric objects in layered media. In comparison to low-order methods, the higher-order MoM, which is based on higher-order hierarchical Legendre vector basis functions and curvilinear hexahedral elements,...

Magnon-based logic in a multi-terminal YIG/Pt nanostructure

Energy Technology Data Exchange (ETDEWEB)

Ganzhorn, Kathrin, E-mail: kathrin.ganzhorn@wmi.badw.de; Klingler, Stefan; Wimmer, Tobias [Walther-Meißner-Institut, Bayerische Akademie der Wissenschaften, 85748 Garching (Germany); Physik-Department, Technische Universität München, 85748 Garching (Germany); Geprägs, Stephan [Walther-Meißner-Institut, Bayerische Akademie der Wissenschaften, 85748 Garching (Germany); Gross, Rudolf; Huebl, Hans, E-mail: huebl@wmi.badw.de; Goennenwein, Sebastian T. B., E-mail: goennenwein@wmi.badw.de [Walther-Meißner-Institut, Bayerische Akademie der Wissenschaften, 85748 Garching (Germany); Physik-Department, Technische Universität München, 85748 Garching (Germany); Nanosystems Initiative Munich, 80799 Munich (Germany)

2016-07-11

Boolean logic is the foundation of modern digital information processing. Recently, there has been a growing interest in phenomena based on pure spin currents, which allows to move from charge to spin based logic gates. We study a proof-of-principle logic device based on the ferrimagnetic insulator Yttrium Iron Garnet, with Pt strips acting as injectors and detectors for non-equilibrium magnons. We experimentally observe incoherent superposition of magnons generated by different injectors. This allows to implement a fully functional majority gate, enabling multiple logic operations (AND and OR) in one and the same device. Clocking frequencies of the order of several GHz and straightforward down-scaling make our device promising for applications.

Applications of Logic Coverage Criteria and Logic Mutation to Software Testing

Science.gov (United States)

Kaminski, Garrett K.

2011-01-01

Logic is an important component of software. Thus, software logic testing has enjoyed significant research over a period of decades, with renewed interest in the last several years. One approach to detecting logic faults is to create and execute tests that satisfy logic coverage criteria. Another approach to detecting faults is to perform mutation…

A tridiagonal parsimonious higher order multivariate Markov chain model

Science.gov (United States)

Wang, Chao; Yang, Chuan-sheng

2017-09-01

In this paper, we present a tridiagonal parsimonious higher-order multivariate Markov chain model (TPHOMMCM). Moreover, estimation method of the parameters in TPHOMMCM is give. Numerical experiments illustrate the effectiveness of TPHOMMCM.

Lagrangian procedures for higher order field equations

International Nuclear Information System (INIS)

Bollini, C.G.

1987-01-01

A Lagrangian procedure for a pedagogical way is presented for the treatment of higher order field equations. The energy-momentum tensor and the conserved density current are built. In particular the case in which the derivatives appear only in the invariant D'Alembertian operator is discussed. Some examples are discussed. The fields are quantized and the corresponding Hamilonian which is shown not to be positive defructed. Rules are given to write the causal propagators. (author) [pt

Lagrangian procedures for higher order field equations

International Nuclear Information System (INIS)

Bollini, C.G.; Giambiagi, J.J.

1986-01-01

We present in a pedagogical way a Lagrangian procedure for the treatment of higher order field equations. We build the energy-momentum tensor and the conserved density current. In particular we discuss the case in which the derivatives appear only in the invariant D'Alembertian operator. We discuss some examples. We quantize the fields and construct the corresponding Hamiltonian which is shown not to be positive definite. We give the rules for the causal propagators. (Author) [pt

Enhancing Higher Order Thinking Skills through Clinical Simulation

Science.gov (United States)

Varutharaju, Elengovan; Ratnavadivel, Nagendralingan

2014-01-01

Purpose: The study aimed to explore, describe and analyse the design and implementation of clinical simulation as a pedagogical tool in bridging the deficiency of higher order thinking skills among para-medical students, and to make recommendations on incorporating clinical simulation as a pedagogical tool to enhance thinking skills and align the…

Logic in the curricula of Computer Science

Directory of Open Access Journals (Sweden)

Margareth Quindeless

2014-12-01

Full Text Available The aim of the programs in Computer Science is to educate and train students to understand the problems and build systems that solve them. This process involves applying a special reasoning to model interactions, capabilities, and limitations of the components involved. A good curriculum must involve the use of tools to assist in these tasks, and one that could be considered as a fundamental is the logic, because with it students develop the necessary reasoning. Besides, software developers analyze the behavior of the program during the designed, the depuration, and testing; hardware designers perform minimization and equivalence verification of circuits; designers of operating systems validate routing protocols, programing, and synchronization; and formal logic underlying all these activities. Therefore, a strong background in applied logic would help students to develop or potentiate their ability to reason about complex systems. Unfortunately, few curricula formed and properly trained in logic. Most includes only one or two courses of Discrete Mathematics, which in a few weeks covered truth tables and the propositional calculus, and nothing more. This is not enough, and higher level courses in which they are applied and many other logical concepts are needed. In addition, students will not see the importance of logic in their careers and need to modify the curriculum committees or adapt the curriculum to reverse this situation.

SHARP: A Spatially Higher-order, Relativistic Particle-in-cell Code

Energy Technology Data Exchange (ETDEWEB)

Shalaby, Mohamad; Broderick, Avery E. [Department of Physics and Astronomy, University of Waterloo, 200 University Avenue West, Waterloo, ON, N2L 3G1 (Canada); Chang, Philip [Department of Physics, University of Wisconsin-Milwaukee, 1900 E. Kenwood Boulevard, Milwaukee, WI 53211 (United States); Pfrommer, Christoph [Leibniz-Institut für Astrophysik Potsdam (AIP), An der Sternwarte 16, D-14482 Potsdam (Germany); Lamberts, Astrid [Theoretical Astrophysics, California Institute of Technology, Pasadena, CA 91125 (United States); Puchwein, Ewald, E-mail: mshalaby@live.ca [Institute of Astronomy and Kavli Institute for Cosmology, University of Cambridge, Madingley Road, Cambridge, CB3 0HA (United Kingdom)

2017-05-20

Numerical heating in particle-in-cell (PIC) codes currently precludes the accurate simulation of cold, relativistic plasma over long periods, severely limiting their applications in astrophysical environments. We present a spatially higher-order accurate relativistic PIC algorithm in one spatial dimension, which conserves charge and momentum exactly. We utilize the smoothness implied by the usage of higher-order interpolation functions to achieve a spatially higher-order accurate algorithm (up to the fifth order). We validate our algorithm against several test problems—thermal stability of stationary plasma, stability of linear plasma waves, and two-stream instability in the relativistic and non-relativistic regimes. Comparing our simulations to exact solutions of the dispersion relations, we demonstrate that SHARP can quantitatively reproduce important kinetic features of the linear regime. Our simulations have a superior ability to control energy non-conservation and avoid numerical heating in comparison to common second-order schemes. We provide a natural definition for convergence of a general PIC algorithm: the complement of physical modes captured by the simulation, i.e., those that lie above the Poisson noise, must grow commensurately with the resolution. This implies that it is necessary to simultaneously increase the number of particles per cell and decrease the cell size. We demonstrate that traditional ways for testing for convergence fail, leading to plateauing of the energy error. This new PIC code enables us to faithfully study the long-term evolution of plasma problems that require absolute control of the energy and momentum conservation.

Higher order aberrations in amblyopic children and their role in refractory amblyopia

Directory of Open Access Journals (Sweden)

Arnaldo Dias-Santos

2014-12-01

Full Text Available Objective: Some studies have hypothesized that an unfavourable higher order aberrometric profile could act as an amblyogenic mechanism and may be responsible for some amblyopic cases that are refractory to conventional treatment or cases of “idiopathic” amblyopia. This study compared the aberrometric profile in amblyopic children to that of children with normal visual development and compared the aberrometric profile in corrected amblyopic eyes and refractory amblyopic eyes with that of healthy eyes. Methods: Cross-sectional study with three groups of children – the CA group (22 eyes of 11 children with unilateral corrected amblyopia, the RA group (24 eyes of 13 children with unilateral refractory amblyopia and the C group (28 eyes of 14 children with normal visual development. Higher order aberrations were evaluated using an OPD-Scan III (NIDEK. Comparisons of the aberrometric profile were made between these groups as well as between the amblyopic and healthy eyes within the CA and RA groups. Results: Higher order aberrations with greater impact in visual quality were not significantly higher in the CA and RA groups when compared with the C group. Moreover, there were no statistically significant differences in the higher order aberrometric profile between the amblyopic and healthy eyes within the CA and RA groups. Conclusions: Contrary to lower order aberrations (e.g., myopia, hyperopia, primary astigmatism, higher order aberrations do not seem to be involved in the etiopathogenesis of amblyopia. Therefore, these are likely not the cause of most cases of refractory amblyopia.

Near integrability of kink lattice with higher order interactions

Science.gov (United States)

Jiang, Yun-Guo; Liu, Jia-Zhen; He, Song

2017-11-01

We make use of Manton’s analytical method to investigate the force between kinks and anti-kinks at large distances in 1+1 dimensional field theory. The related potential has infinite order corrections of exponential pattern, and the coefficients for each order are determined. These coefficients can also be obtained by solving the equation of the fluctuations around the vacuum. At the lowest order, the kink lattice represents the Toda lattice. With higher order correction terms, the kink lattice can represent one kind of generic Toda lattice. With only two sites, the kink lattice is classically integrable. If the number of sites of the lattice is larger than two, the kink lattice is not integrable but is a near integrable system. We make use of Flaschka’s variables to study the Lax pair of the kink lattice. These Flaschka’s variables have interesting algebraic relations and non-integrability can be manifested. We also discuss the higher Hamiltonians for the deformed open Toda lattice, which has a similar result to the ordinary deformed Toda. Supported by Shandong Provincial Natural Science Foundation (ZR2014AQ007), National Natural Science Foundation of China (11403015, U1531105), S. He is supported by Max-Planck fellowship in Germany and National Natural Science Foundation of China (11305235)

Stochastic coalgebraic logic

CERN Document Server

Doberkat, Ernst-Erich

2009-01-01

Combining coalgebraic reasoning, stochastic systems and logic, this volume presents the principles of coalgebraic logic from a categorical perspective. Modal logics are also discussed, including probabilistic interpretations and an analysis of Kripke models.

Developing Higher-Order Thinking Skills through WebQuests

Science.gov (United States)

Polly, Drew; Ausband, Leigh

2009-01-01

In this study, 32 teachers participated in a year-long professional development project related to technology integration in which they designed and implemented a WebQuest. This paper describes the extent to which higher-order thinking skills (HOTS) and levels of technology implementation (LoTI) occur in the WebQuests that participants designed.…

Higher-order geodesic deviations applied to the Kerr metric

CERN Document Server

Colistete, R J; Kerner, R

2002-01-01

Starting with an exact and simple geodesic, we generate approximate geodesics by summing up higher-order geodesic deviations within a general relativistic setting, without using Newtonian and post-Newtonian approximations. We apply this method to the problem of closed orbital motion of test particles in the Kerr metric spacetime. With a simple circular orbit in the equatorial plane taken as the initial geodesic, we obtain finite eccentricity orbits in the form of Taylor series with the eccentricity playing the role of a small parameter. The explicit expressions of these higher-order geodesic deviations are derived using successive systems of linear equations with constant coefficients, whose solutions are of harmonic oscillator type. This scheme gives best results when applied to orbits with low eccentricities, but with arbitrary possible values of (GM/Rc sup 2).

Simulation comparison of proportional integral derivative and fuzzy logic in controlling AC-DC buck boost converter

Science.gov (United States)

Faisal, A.; Hasan, S.; Suherman

2018-03-01

AC-DC converter is widely used in the commercial industry even for daily purposes. The AC-DC converter is used to convert AC voltage into DC. In order to obtain the desired output voltage, the converter usually has a controllable regulator. This paper discusses buck boost regulator with a power MOSFET as switching component which is adjusted based on the duty cycle of pulse width modulation (PWM). The main problems of the buck boost converter at start up are the high overshoot, the long peak time and rise time. This paper compares the effectiveness of two control techniques: proportional integral derivative (PID) and fuzzy logic control in controlling the buck boost converter through simulations. The results show that the PID is more sensitive to voltage change than fuzzy logic. However, PID generates higher overshoot, long peak time and rise time. On the other hand, fuzzy logic generates no overshoot and shorter rise time.

Towards an arithmetical logic the arithmetical foundations of logic

CERN Document Server

Gauthier, Yvon

2015-01-01

This book offers an original contribution to the foundations of logic and mathematics, and focuses on the internal logic of mathematical theories, from arithmetic or number theory to algebraic geometry. Arithmetical logic is the term used to refer to the internal logic of classical arithmetic, here called Fermat-Kronecker arithmetic, and combines Fermat’s method of infinite descent with Kronecker’s general arithmetic of homogeneous polynomials. The book also includes a treatment of theories in physics and mathematical physics to underscore the role of arithmetic from a constructivist viewpoint. The scope of the work intertwines historical, mathematical, logical and philosophical dimensions in a unified critical perspective; as such, it will appeal to a broad readership from mathematicians to logicians, to philosophers interested in foundational questions. Researchers and graduate students in the fields of philosophy and mathematics will benefit from the author’s critical approach to the foundations of l...

Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions

DEFF Research Database (Denmark)

Bresolin, Davide; Goranko, Valentin; Montanari, Angelo

2009-01-01

In this paper, we investigate the expressiveness of the variety of propositional interval neighborhood logics (PNL), we establish their decidability on linearly ordered domains and some important subclasses, and we prove the undecidability of a number of extensions of PNL with additional modalities...... over interval relations. All together, we show that PNL form a quite expressive and nearly maximal decidable fragment of Halpern–Shoham’s interval logic HS....

Analysis of higher order harmonics with holographic reflection gratings

Science.gov (United States)

Mas-Abellan, P.; Madrigal, R.; Fimia, A.

2017-05-01

Silver halide emulsions have been considered one of the most energetic sensitive materials for holographic applications. Nonlinear recording effects on holographic reflection gratings recorded on silver halide emulsions have been studied by different authors obtaining excellent experimental results. In this communication specifically we focused our investigation on the effects of refractive index modulation, trying to get high levels of overmodulation that will produce high order harmonics. We studied the influence of the overmodulation and its effects on the transmission spectra for a wide exposure range by use of 9 μm thickness films of ultrafine grain emulsion BB640, exposed to single collimated beams using a red He-Ne laser (wavelength 632.8 nm) with Denisyuk configuration obtaining a spatial frequency of 4990 l/mm recorded on the emulsion. The experimental results show that high overmodulation levels of refractive index produce second order harmonics with high diffraction efficiency (higher than 75%) and a narrow grating bandwidth (12.5 nm). Results also show that overmodulation produce diffraction spectra deformation of the second order harmonic, transforming the spectrum from sinusoidal to approximation of square shape due to very high overmodulation. Increasing the levels of overmodulation of refractive index, we have obtained higher order harmonics, obtaining third order harmonic with diffraction efficiency (up to 23%) and narrowing grating bandwidth (5 nm). This study is the first step to develop a new easy technique to obtain narrow spectral filters based on the use of high index modulation reflection gratings.

On the Mechanization of the Proof of Hessenberg's Theorem in Coherent Logic

NARCIS (Netherlands)

Bezem, M.; Hendriks, R.D.A.

2008-01-01

We propose to combine interactive proof construction with proof automation for a fragment of first-order logic called Coherent Logic (CL). CL allows enough existential quantification to make Skolemization unnecessary. Moreover, CL has a constructive proof system based on forward reasoning, which is

Higher-order thinking in foreign language learning

OpenAIRE

Bastos, Ascensão; Ramos, Altina

2017-01-01

A project is being conducted in English as a foreign language (EFL), involving eleventh graders in formal and non-formal learning contexts, in a Portuguese high school. The goal of this study is to examine the impact of cognitive tools and higher-order thinking processes on the learning of EFL and achievement of larger processes oriented to action, involving problem solving, decision-making and creation of new products. YouTube videos emerge as cognitive tools in the process. Final results sh...

Higher-order conditioning is impaired by hippocampal lesions.

Science.gov (United States)

Gilboa, Asaf; Sekeres, Melanie; Moscovitch, Morris; Winocur, Gordon

2014-09-22

Behavior in the real world is rarely motivated by primary conditioned stimuli that have been directly associated with potent unconditioned reinforcers. Instead, motivation and choice behavior are driven by complex chains of higher-order associations that are only indirectly linked to intrinsic reward and often exert their influence outside awareness. Second-order conditioning (SOC) [1] is a basic associative-learning mechanism whereby stimuli acquire motivational salience by proxy, in the absence of primary incentives [2, 3]. Memory-systems theories consider first-order conditioning (FOC) and SOC to be prime examples of hippocampal-independent nondeclarative memory [4, 5]. Accordingly, neurobiological models of SOC focus almost exclusively on nondeclarative neural systems that support motivational salience and reward value. Transfer of value from a conditioned stimulus to a neutral stimulus is thought to require the basolateral amygdala [6, 7] and the ventral striatum [2, 3], but not the hippocampus. We developed a new paradigm to measure appetitive SOC of tones in rats. Hippocampal lesions severely impaired both acquisition and expression of SOC despite normal FOC. Unlike controls, rats with hippocampal lesions could not discriminate between positive and negative secondary conditioned tones, although they exhibited general familiarity with previously presented tones compared with new tones. Importantly, normal rats' behavior, in contrast to that of hippocampal groups, also revealed different confidence levels as indexed by effort, a central characteristic of hippocampal relational memory. The results indicate, contrary to current systems models, that representations of intrinsic relationships between reward value, stimulus identity, and motivation require hippocampal mediation when these relationships are of a higher order. Copyright © 2014 Elsevier Ltd. All rights reserved.

Set–Reset latch logical operation induced by colored noise

International Nuclear Information System (INIS)

Wang, Nan; Song, Aiguo

2014-01-01

We examine the possibility of obtaining Set–Reset latch logical operation in a symmetric bistable system subjected to OU noise. Three major results are presented. First, we prove the Set–Reset latch logical operation can be obtained driven by OU noise. Second, while increasing the correlation time, the optimal noise band shifts to higher level and becomes wider. Meanwhile, peak performance degrades from 100% accuracy, but the system can still perform reliable logical operation. Third, at fixed noise intensity, the success probability evolves non-monotonically as correlation time increases. The study might provide development of the new paradigm of memory device.

Method of moments solution of volume integral equations using higher-order hierarchical Legendre basis functions

DEFF Research Database (Denmark)

Kim, Oleksiy S.; Jørgensen, Erik; Meincke, Peter

2004-01-01

An efficient higher-order method of moments (MoM) solution of volume integral equations is presented. The higher-order MoM solution is based on higher-order hierarchical Legendre basis functions and higher-order geometry modeling. An unstructured mesh composed of 8-node trilinear and/or curved 27...... of magnitude in comparison to existing higher-order hierarchical basis functions. Consequently, an iterative solver can be applied even for high expansion orders. Numerical results demonstrate excellent agreement with the analytical Mie series solution for a dielectric sphere as well as with results obtained...

Higher- and Lower-Order Factor Analyses of the Temperament in Middle Childhood Questionnaire

Science.gov (United States)

Kotelnikova, Yuliya; Olino, Thomas M.; Klein, Daniel N.; Mackrell, Sarah V.M.; Hayden, Elizabeth P.

2017-01-01

The Temperament in Middle Childhood Questionnaire (TMCQ; Simonds & Rothbart, 2004) is a widely used parent-report measure of temperament. However, neither its lower- nor higher-order structures have been tested via a bottom-up, empirically based approach. We conducted higher- and lower-order exploratory factor analyses (EFAs) of the TMCQ in a large (N = 654) sample of 9-year-olds. Item-level EFAs identified 92 items as suitable (i.e., with loadings ≥.40) for constructing lower-order factors, only half of which resembled a TMCQ scale posited by the measure’s authors. Higher-order EFAs of the lower-order factors showed that a three-factor structure (Impulsivity/Negative Affectivity, Negative Affectivity, and Openness/Assertiveness) was the only admissible solution. Overall, many TMCQ items did not load well onto a lower-order factor. In addition, only three factors, which did not show a clear resemblance to Rothbart’s four-factor model of temperament in middle childhood, were needed to account for the higher-order structure of the TMCQ. PMID:27002124

Paraconsistent Computational Logic

DEFF Research Database (Denmark)

Jensen, Andreas Schmidt; Villadsen, Jørgen

2012-01-01

In classical logic everything follows from inconsistency and this makes classical logic problematic in areas of computer science where contradictions seem unavoidable. We describe a many-valued paraconsistent logic, discuss the truth tables and include a small case study....

Towards the Implementation of First-Order Temporal Resolution:the Expanding Domain Case

OpenAIRE

Konev, B; Dixon, C; Degtyarev, A; Fisher, M; Hustadt, U

2003-01-01

First-order temporal logic is a concise and powerful notation, with many potential applications in both Computer Science and Artificial Intelligence. While the full logic is highly complex, recent work on monodic first-order temporal logics has identified important enumerable and even decidable fragments. In this paper, we develop a clausal resolution method for the monodic fragment of first-order temporal logic over expanding domains. We first define a normal form for monodic formulae and th...

PTL: A Propositional Typicality Logic

CSIR Research Space (South Africa)

Booth, R

2012-09-01

Full Text Available consequence relations first studied by Lehmann and col- leagues in the 90?s play a central role in nonmonotonic reasoning [13, 14]. This has been the case due to at least three main reasons. Firstly, they are based on semantic constructions that are elegant...) j ; 6j : ^ j PTL: A Propositional Typicality Logic 3 The semantics of (propositional) rational consequence is in terms of ranked models. These are partially ordered structures in which the ordering is modular. Definition 1. Given a set S...

Influence of higher order modes on angled-facet amplifiers

DEFF Research Database (Denmark)

Wang, Z.; Mikkelsen, B.; Stubkjær, Kristian

1991-01-01

The influence of the first-order mode on the residual reflectivity of angled-facet amplifiers is analyzed. For a 7 degrees angled-facet ridge waveguide amplifier with a single-layer antireflective (AR) coating, a gain ripple lower than 1-dB at 25-dB gain can be obtained independent...... of the polarization, even in the presence of a first-order mode with a 15-dB gain. The tolerances for the thickness and refractive index of the AR coating are reduced by a factor of three compared to operation in the fundamental mode only. The influence of the higher order mode can virtually be suppressed...

Making Sense of Value and Value Co-Creation in Service Logic

OpenAIRE

Grönroos, Christian; Voima, Päivi

2012-01-01

In order to further develop the logic of service, value creation, value co-creation and value have to be formally and rigorously defined, so that the nature, content and locus of value and the roles of service providers and customers in value creation can be unambiguously assessed. In the present article, following the underpinning logic of value-in-use, it is demonstrated that in order to achieve this, value creation is best defined as the customer’s creation of value-in-use. The analysis sh...

Higher order capacity statistics of multi-hop transmission systems over Rayleigh fading channels

KAUST Repository

Yilmaz, Ferkan

2012-03-01

In this paper, we present an exact analytical expression to evaluate the higher order statistics of the channel capacity for amplify and forward (AF) multihop transmission systems operating over Rayleigh fading channels. Furthermore, we present simple and efficient closed-form expression to the higher order moments of the channel capacity of dual hop transmission system with Rayleigh fading channels. In order to analyze the behavior of the higher order capacity statistics and investigate the usefulness of the mathematical analysis, some selected numerical and simulation results are presented. Our results are found to be in perfect agreement. © 2012 IEEE.

Generating superpositions of higher order bessel beams [Conference paper

CSIR Research Space (South Africa)

Vasilyeu, R

2009-10-01

Full Text Available An experimental setup to generate a superposition of higher-order Bessel beams by means of a spatial light modulator and ring aperture is presented. The experimentally produced fields are in good agreement with those calculated theoretically....

Protein scaffolds and higher-order complexes in synthetic biology

NARCIS (Netherlands)

den Hamer, A.; Rosier, B.J.H.M.; Brunsveld, L.; de Greef, T.F.A.; Ryadnov, M.; Brunsveld, L.; Suga, H.

2017-01-01

Interactions between proteins control molecular functions such as signalling or metabolic activity. Assembly of proteins via scaffold proteins or in higher-order complexes is a key regulatory mechanism. Understanding and functionally applying this concept requires the construction, study, and

Fuzzy logic based ELF magnetic field estimation in substations

International Nuclear Information System (INIS)

Kosalay, I.

2008-01-01

This paper examines estimation of the extremely low frequency magnetic fields (MF) in the power substation. First, the results of the previous relevant research studies and the MF measurements in a sample power substation are presented. Then, a fuzzy logic model based on the geometric definitions in order to estimate the MF distribution is explained. Visual software, which has a three-dimensional screening unit, based on the fuzzy logic technique, has been developed. (authors)

Dispositional logic

Science.gov (United States)

Le Balleur, J. C.

1988-01-01

The applicability of conventional mathematical analysis (based on the combination of two-valued logic and probability theory) to problems in which human judgment, perception, or emotions play significant roles is considered theoretically. It is shown that dispositional logic, a branch of fuzzy logic, has particular relevance to the common-sense reasoning typical of human decision-making. The concepts of dispositionality and usuality are defined analytically, and a dispositional conjunctive rule and dispositional modus ponens are derived.

Higher-order terms in the nuclear-energy-density functional

International Nuclear Information System (INIS)

Carlsson, B. G.; Borucki, M.; Dobaczewski, J.

2009-01-01

One of the current projects at the Department of Physics in the University of Jyvaeskylae is to explore more general forms of the Skyrme energy-density functional (EDF). The aim is to find new phenomenological terms which are sensitive to experimental data. In this context we have extended the Skyrme functional by including terms which contain higher orders of derivatives allowing for a better description of finite range effects. This was done by employing an expansion in derivatives in a spherical-tensor formalism [1] motivated by ideas of the density-matrix expansion. The resulting functionals have different number of free parameters depending on the order in derivatives and assumed symmetries, see Fig. 1. The usual Skyrme EDF is obtained as a second order expansion while we keep terms up to sixth order.(author)

Higher-order techniques for some problems of nonlinear control

Directory of Open Access Journals (Sweden)

Sarychev Andrey V.

2002-01-01

Full Text Available A natural first step when dealing with a nonlinear problem is an application of some version of linearization principle. This includes the well known linearization principles for controllability, observability and stability and also first-order optimality conditions such as Lagrange multipliers rule or Pontryagin's maximum principle. In many interesting and important problems of nonlinear control the linearization principle fails to provide a solution. In the present paper we provide some examples of how higher-order methods of differential geometric control theory can be used for the study nonlinear control systems in such cases. The presentation includes: nonlinear systems with impulsive and distribution-like inputs; second-order optimality conditions for bang–bang extremals of optimal control problems; methods of high-order averaging for studying stability and stabilization of time-variant control systems.

First-order and higher order sequence learning in specific language impairment.

Science.gov (United States)

Clark, Gillian M; Lum, Jarrad A G

2017-02-01

A core claim of the procedural deficit hypothesis of specific language impairment (SLI) is that the disorder is associated with poor implicit sequence learning. This study investigated whether implicit sequence learning problems in SLI are present for first-order conditional (FOC) and higher order conditional (HOC) sequences. Twenty-five children with SLI and 27 age-matched, nonlanguage-impaired children completed 2 serial reaction time tasks. On 1 version, the sequence to be implicitly learnt comprised a FOC sequence and on the other a HOC sequence. Results showed that the SLI group learned the HOC sequence (η p ² = .285, p = .005) but not the FOC sequence (η p ² = .099, p = .118). The control group learned both sequences (FOC η p ² = .497, HOC η p 2= .465, ps < .001). The SLI group's difficulty learning the FOC sequence is consistent with the procedural deficit hypothesis. However, the study provides new evidence that multiple mechanisms may underpin the learning of FOC and HOC sequences. (PsycINFO Database Record (c) 2017 APA, all rights reserved).

Metamathematics of fuzzy logic

CERN Document Server

Hájek, Petr

1998-01-01

This book presents a systematic treatment of deductive aspects and structures of fuzzy logic understood as many valued logic sui generis. Some important systems of real-valued propositional and predicate calculus are defined and investigated. The aim is to show that fuzzy logic as a logic of imprecise (vague) propositions does have well-developed formal foundations and that most things usually named `fuzzy inference' can be naturally understood as logical deduction.

Equational type logic

NARCIS (Netherlands)

Manca, V.; Salibra, A.; Scollo, Giuseppe

1990-01-01

Equational type logic is an extension of (conditional) equational logic, that enables one to deal in a single, unified framework with diverse phenomena such as partiality, type polymorphism and dependent types. In this logic, terms may denote types as well as elements, and atomic formulae are either

Institutional Logics in Action

DEFF Research Database (Denmark)

Lounsbury, Michael; Boxenbaum, Eva

2013-01-01

This double volume presents state-of-the-art research and thinking on the dynamics of actors and institutional logics. In the introduction, we briefly sketch the roots and branches of institutional logics scholarship before turning to the new buds of research on the topic of how actors engage...... institutional logics in the course of their organizational practice. We introduce an exciting line of new works on the meta-theoretical foundations of logics, institutional logic processes, and institutional complexity and organizational responses. Collectively, the papers in this volume advance the very...... prolific stream of research on institutional logics by deepening our insight into the active use of institutional logics in organizational action and interaction, including the institutional effects of such (inter)actions....

Higher-order resonant electronic recombination as a manifestation of configuration interaction

International Nuclear Information System (INIS)

Beilmann, C; Amaro, P; Tashenov, S; Bekker, H; Harman, Z; Crespo López-Urrutia, J R

2013-01-01

Theoretical and experimental investigations of higher-order electron–ion recombination resonances including inter-shell excitations are presented for L-shell ions of Kr with the aim of examining details of atomic structure calculations. The particular importance of electron–electron interaction and configuration mixing effects for these recombination processes enables their use for detailed tests of electron correlation effects. A test of the required level of considered mixing configurations is presented and further experiments involving higher-order recombination channels are motivated. (paper)

Higher order mode of a microstripline fed cylindrical dielectric resonator antenna

Energy Technology Data Exchange (ETDEWEB)

Kumar, A. V. Praveen, E-mail: praveen.kumar@pilani.bits-pilani.ac.in [Department of Electrical and Electronics Engineering, BITS Pilani, Pilani, Rajasthan-333 031 (India)

2016-03-09

A microstrip transmission line can be used to excite the broadside radiating mode of a cylindrical dielectric resonator antenna (CDRA). The same is found to excite considerably well a higher order mode (HOM) as well. However unlike the broadside mode, the higher order mode gives distorted radiation pattern which makes this mode less useful for practical applications. The cause of distortion in the HOM radiation and the dependence of HOM coupling on the microstrip feed line are explored using HFSS simulations.

Oscillation of solutions of some higher order linear differential equations

Directory of Open Access Journals (Sweden)

Hong-Yan Xu

2009-11-01

Full Text Available In this paper, we deal with the order of growth and the hyper order of solutions of higher order linear differential equations $$f^{(k}+B_{k-1}f^{(k-1}+\\cdots+B_1f'+B_0f=F$$ where $B_j(z (j=0,1,\\ldots,k-1$ and $F$ are entire functions or polynomials. Some results are obtained which improve and extend previous results given by Z.-X. Chen, J. Wang, T.-B. Cao and C.-H. Li.

Improved Multilevel Fast Multipole Method for Higher-Order discretizations

DEFF Research Database (Denmark)

Borries, Oscar Peter; Meincke, Peter; Jorgensen, Erik

2014-01-01

The Multilevel Fast Multipole Method (MLFMM) allows for a reduced computational complexity when solving electromagnetic scattering problems. Combining this with the reduced number of unknowns provided by Higher-Order discretizations has proven to be a difficult task, with the general conclusion b...

The Third Life of Quantum Logic: Quantum Logic Inspired by Quantum Computing

OpenAIRE

Dunn, J. Michael; Moss, Lawrence S.; Wang, Zhenghan

2013-01-01

We begin by discussing the history of quantum logic, dividing it into three eras or lives. The first life has to do with Birkhoff and von Neumann's algebraic approach in the 1930's. The second life has to do with attempt to understand quantum logic as logic that began in the late 1950's and blossomed in the 1970's. And the third life has to do with recent developments in quantum logic coming from its connections to quantum computation. We discuss our own work connecting quantum logic to quant...

Real Islamic Logic

NARCIS (Netherlands)

Bergstra, J.A.

2011-01-01

Four options for assigning a meaning to Islamic Logic are surveyed including a new proposal for an option named "Real Islamic Logic" (RIL). That approach to Islamic Logic should serve modern Islamic objectives in a way comparable to the functionality of Islamic Finance. The prospective role of RIL

Higher-order momentum distributions and locally affine LDDMM registration

DEFF Research Database (Denmark)

Sommer, Stefan Horst; Nielsen, Mads; Darkner, Sune

2013-01-01

description of affine transformations and subsequent compact description of non-translational movement in a globally nonrigid deformation. The resulting representation contains directly interpretable information from both mathematical and modeling perspectives. We develop the mathematical construction......To achieve sparse parametrizations that allow intuitive analysis, we aim to represent deformation with a basis containing interpretable elements, and we wish to use elements that have the description capacity to represent the deformation compactly. To accomplish this, we introduce in this paper...... higher-order momentum distributions in the large deformation diffeomorphic metric mapping (LDDMM) registration framework. While the zeroth-order moments previously used in LDDMM only describe local displacement, the first-order momenta that are proposed here represent a basis that allows local...

Gamow-Jordan vectors and non-reducible density operators from higher-order S-matrix poles

International Nuclear Information System (INIS)

Bohm, A.; Loewe, M.; Maxson, S.; Patuleanu, P.; Puentmann, C.; Gadella, M.

1997-01-01

In analogy to Gamow vectors that are obtained from first-order resonance poles of the S-matrix, one can also define higher-order Gamow vectors which are derived from higher-order poles of the S-matrix. An S-matrix pole of r-th order at z R =E R -iΓ/2 leads to r generalized eigenvectors of order k=0,1,hor-ellipsis,r-1, which are also Jordan vectors of degree (k+1) with generalized eigenvalue (E R -iΓ/2). The Gamow-Jordan vectors are elements of a generalized complex eigenvector expansion, whose form suggests the definition of a state operator (density matrix) for the microphysical decaying state of this higher-order pole. This microphysical state is a mixture of non-reducible components. In spite of the fact that the k-th order Gamow-Jordan vectors has the polynomial time-dependence which one always associates with higher-order poles, the microphysical state obeys a purely exponential decay law. copyright 1997 American Institute of Physics

The Role of Formative Feedback in Promoting Higher Order ...

African Journals Online (AJOL)

DrNneka

An International Multi-disciplinary Journal, Ethiopia. AFRREV ... make contribution to this research gap by proposing a theoretical feedback model that can promote higher order thinking skills in the classroom. The proposed ..... process; students provided with tasks that are novel, complex, creative, and non- algorithmic ...

A hierarchical generalization of the acoustic reciprocity theorem involving higher-order derivatives and interaction quantities.

Science.gov (United States)

Lin, Ju; Li, Jie; Li, Xiaolei; Wang, Ning

2016-10-01

An acoustic reciprocity theorem is generalized, for a smoothly varying perturbed medium, to a hierarchy of reciprocity theorems including higher-order derivatives of acoustic fields. The standard reciprocity theorem is the first member of the hierarchy. It is shown that the conservation of higher-order interaction quantities is related closely to higher-order derivative distributions of perturbed media. Then integral reciprocity theorems are obtained by applying Gauss's divergence theorem, which give explicit integral representations connecting higher-order interactions and higher-order derivative distributions of perturbed media. Some possible applications to an inverse problem are also discussed.

Higher-order phase transitions on financial markets

Science.gov (United States)

Kasprzak, A.; Kutner, R.; Perelló, J.; Masoliver, J.

2010-08-01

Statistical and thermodynamic properties of the anomalous multifractal structure of random interevent (or intertransaction) times were thoroughly studied by using the extended continuous-time random walk (CTRW) formalism of Montroll, Weiss, Scher, and Lax. Although this formalism is quite general (and can be applied to any interhuman communication with nontrivial priority), we consider it in the context of a financial market where heterogeneous agent activities can occur within a wide spectrum of time scales. As the main general consequence, we found (by additionally using the Saddle-Point Approximation) the scaling or power-dependent form of the partition function, Z(q'). It diverges for any negative scaling powers q' (which justifies the name anomalous) while for positive ones it shows the scaling with the general exponent τ(q'). This exponent is the nonanalytic (singular) or noninteger power of q', which is one of the pilar of higher-order phase transitions. In definition of the partition function we used the pausing-time distribution (PTD) as the central one, which takes the form of convolution (or superstatistics used, e.g. for describing turbulence as well as the financial market). Its integral kernel is given by the stretched exponential distribution (often used in disordered systems). This kernel extends both the exponential distribution assumed in the original version of the CTRW formalism (for description of the transient photocurrent measured in amorphous glassy material) as well as the Gaussian one sometimes used in this context (e.g. for diffusion of hydrogen in amorphous metals or for aging effects in glasses). Our most important finding is the third- and higher-order phase transitions, which can be roughly interpreted as transitions between the phase where high frequency trading is most visible and the phase defined by low frequency trading. The specific order of the phase transition directly depends upon the shape exponent α defining the stretched

Some relationships between logic programming and multiple-valued logic

International Nuclear Information System (INIS)

Rine, D.C.

1986-01-01

There have been suggestions in the artificial intelligence literature that investigations into relationships between logic programming and multiple-valued logic may be helpful. This paper presents some of these relationships through equivalent algebraic evaluations

Exact Solutions to Nonlinear Schroedinger Equation and Higher-Order Nonlinear Schroedinger Equation

International Nuclear Information System (INIS)

Ren Ji; Ruan Hangyu

2008-01-01

We study solutions of the nonlinear Schroedinger equation (NLSE) and higher-order nonlinear Schroedinger equation (HONLSE) with variable coefficients. By considering all the higher-order effect of HONLSE as a new dependent variable, the NLSE and HONLSE can be changed into one equation. Using the generalized Lie group reduction method (GLGRM), the abundant solutions of NLSE and HONLSE are obtained

On realization of nonlinear systems described by higher-order differential equations

NARCIS (Netherlands)

van der Schaft, Arjan

1987-01-01

We consider systems of smooth nonlinear differential and algebraic equations in which some of the variables are distinguished as “external variables.” The realization problem is to replace the higher-order implicit differential equations by first-order explicit differential equations and the

People Like Logical Truth: Testing the Intuitive Detection of Logical Value in Basic Propositions.

Directory of Open Access Journals (Sweden)

Hiroko Nakamura

Full Text Available Recent studies on logical reasoning have suggested that people are intuitively aware of the logical validity of syllogisms or that they intuitively detect conflict between heuristic responses and logical norms via slight changes in their feelings. According to logical intuition studies, logically valid or heuristic logic no-conflict reasoning is fluently processed and induces positive feelings without conscious awareness. One criticism states that such effects of logicality disappear when confounding factors such as the content of syllogisms are controlled. The present study used abstract propositions and tested whether people intuitively detect logical value. Experiment 1 presented four logical propositions (conjunctive, biconditional, conditional, and material implications regarding a target case and asked the participants to rate the extent to which they liked the statement. Experiment 2 tested the effects of matching bias, as well as intuitive logic, on the reasoners' feelings by manipulating whether the antecedent or consequent (or both of the conditional was affirmed or negated. The results showed that both logicality and matching bias affected the reasoners' feelings, and people preferred logically true targets over logically false ones for all forms of propositions. These results suggest that people intuitively detect what is true from what is false during abstract reasoning. Additionally, a Bayesian mixed model meta-analysis of conditionals indicated that people's intuitive interpretation of the conditional "if p then q" fits better with the conditional probability, q given p.

Constrained variational calculus for higher order classical field theories

Energy Technology Data Exchange (ETDEWEB)

Campos, Cedric M; De Leon, Manuel; De Diego, David MartIn, E-mail: cedricmc@icmat.e, E-mail: mdeleon@icmat.e, E-mail: david.martin@icmat.e [Instituto de Ciencias Matematicas, CSIC-UAM-UC3M-UCM, Serrano 123, 28006 Madrid (Spain)

2010-11-12

We develop an intrinsic geometrical setting for higher order constrained field theories. As a main tool we use an appropriate generalization of the classical Skinner-Rusk formalism. Some examples of applications are studied, in particular to the geometrical description of optimal control theory for partial differential equations.

Constrained variational calculus for higher order classical field theories

International Nuclear Information System (INIS)

Campos, Cedric M; De Leon, Manuel; De Diego, David MartIn

2010-01-01

We develop an intrinsic geometrical setting for higher order constrained field theories. As a main tool we use an appropriate generalization of the classical Skinner-Rusk formalism. Some examples of applications are studied, in particular to the geometrical description of optimal control theory for partial differential equations.

Decidable Fragments of a Higher Order Calculus with Locations

DEFF Research Database (Denmark)

Bundgaard, Mikkel; Godskesen, Jens Christian; Huttel, Hans

2009-01-01

Homer is a higher order process calculus with locations. In this paper we study Homer in the setting of the semantic finite control property, which is a finite reachability criterion that implies decidability of barbed bisimilarity. We show that strong and weak barbed bisimilarity are undecidable...

Modular Logic Programming for Web Data, Inheritance and Agents

Science.gov (United States)

Karali, Isambo

The Semantic Web provides a framework and a set of technologies enabling an effective machine processable information. However, most of the problems that are addressed in the Semantic Web were tackled by the artificial intelligence community, in the past. Within this period, Logic Programming emerged as a complete framework ranging from a sound formal theory, based on Horn clauses, to a declarative description language and an operational behavior that can be executed. Logic programming and its extensions have been already used in various approaches in the Semantic Web or the traditional Web context. In this work, we investigate the use of Modular Logic Programming, i.e. Logic Programming extended with modules, to address issues of the Semantic Web ranging from the ontology layer to reasoning and agents. These techniques provide a uniform framework ranging from the data layer to the higher layers of logic, avoiding the problem of incompatibilities of technologies related with different Semantic Web layers. What is more is that it can operate directly on top of existent World Wide Web sources.

Quantum Noether identities for non-local transformations in higher-order derivatives theories

International Nuclear Information System (INIS)

Li, Z.P.; Long, Z.W.

2003-01-01

Based on the phase-space generating functional of the Green function for a system with a regular/singular higher-order Lagrangian, the quantum canonical Noether identities (NIs) under a local and non-local transformation in phase space have been deduced, respectively. For a singular higher-order Lagrangian, one must use an effective canonical action I eff P in quantum canonical NIs instead of the classical I P in classical canonical NIs. The quantum NIs under a local and non-local transformation in configuration space for a gauge-invariant system with a higher-order Lagrangian have also been derived. The above results hold true whether or not the Jacobian of the transformation is equal to unity or not. It has been pointed out that in certain cases the quantum NIs may be converted to conservation laws at the quantum level. This algorithm to derive the quantum conservation laws is significantly different from the quantum first Noether theorem. The applications of our formulation to the Yang-Mills fields and non-Abelian Chern-Simons (CS) theories with higher-order derivatives are given, and the conserved quantities at the quantum level for local and non-local transformations are found, respectively. (orig.)

The role of formative feedback in promoting higher order thinking ...

African Journals Online (AJOL)

The role of formative feedback in promoting higher order thinking skills in ... activities, task characteristics, validating students' thinking, and providing feedback. ... Keywords: classroom environment, formative assessment, formative feedback, ...

YakYak: Parsing with Logical Side Constraints

DEFF Research Database (Denmark)

Hansen, Niels Damgaard; Klarlund, Nils; Schwartzbach, Michael Ignatieff

2000-01-01

Yak, which extends Yacc with first-order logic for specifying consteaints that are regular tree languages. Concise formulas about the parse tree replace explicit programming, and they are turned into canonical attribute grammars through tree automata calculations. YakYak is implemented as a proprocessor...

Algebraic Specifications, Higher-order Types and Set-theoretic Models

DEFF Research Database (Denmark)

Kirchner, Hélène; Mosses, Peter David

2001-01-01

, and power-sets. This paper presents a simple framework for algebraic specifications with higher-order types and set-theoretic models. It may be regarded as the basis for a Horn-clause approximation to the Z framework, and has the advantage of being amenable to prototyping and automated reasoning. Standard......In most algebraic  specification frameworks, the type system is restricted to sorts, subsorts, and first-order function types. This is in marked contrast to the so-called model-oriented frameworks, which provide higer-order types, interpreted set-theoretically as Cartesian products, function spaces...... set-theoretic models are considered, and conditions are given for the existence of initial reduct's of such models. Algebraic specifications for various set-theoretic concepts are considered....

Squeezing of higher order Hermite-Gauss modes

DEFF Research Database (Denmark)

Lassen, Mikael Østergaard

2008-01-01

The present paper gives an overview of the experimental generation of squeezing in higher order Hermite-Gaussian modes with an optical parametric ampli¯er (OPA). This work was awarded with The European Optical Society (EOS) price 2007. The purpose of the prize is to encourage a European dimension...... in research in pure and applied optics. The EOS prize is awarded based on the selection criteria of high professionalism, academic and technical quality. Following the EOS Prize rules, the conditions for eligibility are that the work was performed in Europe and that it is published under the auspices...

Concurrent weighted logic

DEFF Research Database (Denmark)

Xue, Bingtian; Larsen, Kim Guldstrand; Mardare, Radu Iulian

2015-01-01

We introduce Concurrent Weighted Logic (CWL), a multimodal logic for concurrent labeled weighted transition systems (LWSs). The synchronization of LWSs is described using dedicated functions that, in various concurrency paradigms, allow us to encode the compositionality of LWSs. To reflect these......-completeness results for this logic. To complete these proofs we involve advanced topological techniques from Model Theory....

Comparison Criteria for Nonlinear Functional Dynamic Equations of Higher Order

Directory of Open Access Journals (Sweden)

Taher S. Hassan

2016-01-01

Full Text Available We will consider the higher order functional dynamic equations with mixed nonlinearities of the form xnt+∑j=0Npjtϕγjxφjt=0, on an above-unbounded time scale T, where n≥2, xi(t≔ri(tϕαixi-1Δ(t,  i=1,…,n-1,   with  x0=x,  ϕβ(u≔uβsgn⁡u, and α[i,j]≔αi⋯αj. The function φi:T→T is a rd-continuous function such that limt→∞φi(t=∞ for j=0,1,…,N. The results extend and improve some known results in the literature on higher order nonlinear dynamic equations.

Higher-Order Structure in Bacterial VapBC Toxin-Antitoxin Complexes

DEFF Research Database (Denmark)

Bendtsen, Kirstine L; Brodersen, Ditlev E

2017-01-01

Toxin-antitoxin systems are widespread in the bacterial kingdom, including in pathogenic species, where they allow rapid adaptation to changing environmental conditions through selective inhibition of key cellular processes, such as DNA replication or protein translation. Under normal growth...... that allow auto-regulation of transcription by direct binding to promoter DNA. In this chapter, we review our current understanding of the structural characteristics of type II toxin-antitoxin complexes in bacterial cells, with a special emphasis on the staggering variety of higher-order architecture...... conditions, type II toxins are inhibited through tight protein-protein interaction with a cognate antitoxin protein. This toxin-antitoxin complex associates into a higher-order macromolecular structure, typically heterotetrameric or heterooctameric, exposing two DNA binding domains on the antitoxin...

Higher-order relativistic periastron advances and binary pulsars

International Nuclear Information System (INIS)

Damour, T.; Schafer, G.

1988-01-01

The contributions to the periastron advance of a system of two condensed bodies coming from relativistic dynamical effects of order higher than the usual first post-Newtonian (1PN) equations of motion are investigated. The structure of the solution of the orbital second post-Newtonian (2PN) equations of motion is given in a simple parametrized form. The contributions to the secular pariastron advance, and the period, of orbital 2PN effects are then explicitly worked out by using the Hamilton-Jacobi method. The spin-orbit contribution to the secular precession of the orbit in space is rederived in a streamlined way by making full use of Hamiltonian methods. These results are then applied to the theoretical interpretation of the observational data of pulsars in close eccentric binary systems. It is shown that the higher-order relativistic contributions are already of theoretical and astophysical significance for interpreting the high-precision measurement of the secular periastron advance of PSR 1913+16 achived by Taylor and coworkers. The case of extremely fast spinning (millisecond) binary pulsars is also discussed, and shown to offer an easier ground for getting new tests of general relativity, and/or, a direct measurement of the moment of inertia of a neutron star

Action Type Deontic Logic

DEFF Research Database (Denmark)

Bentzen, Martin Mose

2014-01-01

A new deontic logic, Action Type Deontic Logic, is presented. To motivate this logic, a number of benchmark cases are shown, representing inferences a deontic logic should validate. Some of the benchmark cases are singled out for further comments and some formal approaches to deontic reasoning...... are evaluated with respect to the benchmark cases. After that follows an informal introduction to the ideas behind the formal semantics, focussing on the distinction between action types and action tokens. Then the syntax and semantics of Action Type Deontic Logic is presented and it is shown to meet...

Historical and logical approach of the strategic planning impact evaluation for the Higher Politehcnical Institute of Guayaquil

Directory of Open Access Journals (Sweden)

Beatriz Rodríguez-Herkt

2016-10-01

Full Text Available In the article the logical historical behavior of the impact assessment of institutional development plan in the Bolivarian Polytechnic Institute in Guayaquil, Ecuador, preceded by the assessment of the most relevant models that have marked the course of history of this process is addressed, on the basis of the key indicators fundamental stages that this process has gone characterized. The historical and logical analysis of the impact assessment of strategic planning requires a raid needed in the different models associated with this process, so as to allow the orientation contextualize the options made in this investigation.

Defining Higher-Order Turbulent Moment Closures with an Artificial Neural Network and Random Forest

Science.gov (United States)

McGibbon, J.; Bretherton, C. S.

2017-12-01

Unresolved turbulent advection and clouds must be parameterized in atmospheric models. Modern higher-order closure schemes depend on analytic moment closure assumptions that diagnose higher-order moments in terms of lower-order ones. These are then tested against Large-Eddy Simulation (LES) higher-order moment relations. However, these relations may not be neatly analytic in nature. Rather than rely on an analytic higher-order moment closure, can we use machine learning on LES data itself to define a higher-order moment closure?We assess the ability of a deep artificial neural network (NN) and random forest (RF) to perform this task using a set of observationally-based LES runs from the MAGIC field campaign. By training on a subset of 12 simulations and testing on remaining simulations, we avoid over-fitting the training data.Performance of the NN and RF will be assessed and compared to the Analytic Double Gaussian 1 (ADG1) closure assumed by Cloudy Layers Unified By Binormals (CLUBB), a higher-order turbulence closure currently used in the Community Atmosphere Model (CAM). We will show that the RF outperforms the NN and the ADG1 closure for the MAGIC cases within this diagnostic framework. Progress and challenges in using a diagnostic machine learning closure within a prognostic cloud and turbulence parameterization will also be discussed.

Quantifiers for quantum logic

OpenAIRE

Heunen, Chris

2008-01-01

We consider categorical logic on the category of Hilbert spaces. More generally, in fact, any pre-Hilbert category suffices. We characterise closed subobjects, and prove that they form orthomodular lattices. This shows that quantum logic is just an incarnation of categorical logic, enabling us to establish an existential quantifier for quantum logic, and conclude that there cannot be a universal quantifier.

The music of morality and logic.

Science.gov (United States)

Mesz, Bruno; Rodriguez Zivic, Pablo H; Cecchi, Guillermo A; Sigman, Mariano; Trevisan, Marcos A

2015-01-01

Musical theory has built on the premise that musical structures can refer to something different from themselves (Nattiez and Abbate, 1990). The aim of this work is to statistically corroborate the intuitions of musical thinkers and practitioners starting at least with Plato, that music can express complex human concepts beyond merely "happy" and "sad" (Mattheson and Lenneberg, 1958). To do so, we ask whether musical improvisations can be used to classify the semantic category of the word that triggers them. We investigated two specific domains of semantics: morality and logic. While morality has been historically associated with music, logic concepts, which involve more abstract forms of thought, are more rarely associated with music. We examined musical improvisations inspired by positive and negative morality (e.g., good and evil) and logic concepts (true and false), analyzing the associations between these words and their musical representations in terms of acoustic and perceptual features. We found that music conveys information about valence (good and true vs. evil and false) with remarkable consistency across individuals. This information is carried by several musical dimensions which act in synergy to achieve very high classification accuracy. Positive concepts are represented by music with more ordered pitch structure and lower harmonic and sensorial dissonance than negative concepts. Music also conveys information indicating whether the word which triggered it belongs to the domains of logic or morality (true vs. good), principally through musical articulation. In summary, improvisations consistently map logic and morality information to specific musical dimensions, testifying the capacity of music to accurately convey semantic information in domains related to abstract forms of thought.

The music of morality and logic

Science.gov (United States)

Mesz, Bruno; Rodriguez Zivic, Pablo H.; Cecchi, Guillermo A.; Sigman, Mariano; Trevisan, Marcos A.

2015-01-01

Musical theory has built on the premise that musical structures can refer to something different from themselves (Nattiez and Abbate, 1990). The aim of this work is to statistically corroborate the intuitions of musical thinkers and practitioners starting at least with Plato, that music can express complex human concepts beyond merely “happy” and “sad” (Mattheson and Lenneberg, 1958). To do so, we ask whether musical improvisations can be used to classify the semantic category of the word that triggers them. We investigated two specific domains of semantics: morality and logic. While morality has been historically associated with music, logic concepts, which involve more abstract forms of thought, are more rarely associated with music. We examined musical improvisations inspired by positive and negative morality (e.g., good and evil) and logic concepts (true and false), analyzing the associations between these words and their musical representations in terms of acoustic and perceptual features. We found that music conveys information about valence (good and true vs. evil and false) with remarkable consistency across individuals. This information is carried by several musical dimensions which act in synergy to achieve very high classification accuracy. Positive concepts are represented by music with more ordered pitch structure and lower harmonic and sensorial dissonance than negative concepts. Music also conveys information indicating whether the word which triggered it belongs to the domains of logic or morality (true vs. good), principally through musical articulation. In summary, improvisations consistently map logic and morality information to specific musical dimensions, testifying the capacity of music to accurately convey semantic information in domains related to abstract forms of thought. PMID:26191020

The music of morality and logic

Directory of Open Access Journals (Sweden)

Bruno eMesz

2015-07-01

Full Text Available Musical theory has built on the premise that musical structures can refer to something different from themselves (1. The aim of this work is to statistically corroborate the intuitions of musical thinkers and practitioners from Plato to Boethius to the purveyors of the Baroque Doctrine of Affections that music can express complex human concepts beyond merely happy and sad (2. To do so, we ask whether musical improvisations can be used to classify the semantic category of the word that triggers them. We investigated two specific domains of semantics: morality and logic. While morality has been historically associated with music, logic concepts, which involve more abstract forms of thought, are more rarely associated with music. We examined musical improvisations inspired by positive and negative morality (e.g. good and evil and logic concepts (true and false, analyzing the associations between these words and their musical representations in terms of acoustic and perceptual features. We found that music conveys information about valence (good and true vs. evil and false with remarkable consistency across individuals. This information is carried by several musical dimensions which act in synergy to achieve very high classification accuracy. Positive concepts are represented by music with more ordered pitch structure and lower harmonic and sensorial dissonance than negative concepts. Music also conveys information indicating whether the word which triggered it belongs to the domains of logic or morality (true vs. good, principally through musical articulation. In summary, improvisations consistently map logic and morality information to specific musical dimensions, testifying the capacity of music to accurately convey semantic information in domains related to abstract forms of thought.

Hybrid Logical Analyses of the Ambient Calculus

DEFF Research Database (Denmark)

Bolander, Thomas; Hansen, René Rydhof

2007-01-01

In this paper, hybrid logic is used to formulate a rational reconstruction of a previously published control flow analysis for the mobile ambients calculus and we further show how a more precise flow-sensitive analysis, that takes the ordering of action sequences into account, can be formulated...

Higher-order blackhole solutions in N=2 supergravity and Calabi-Yau string backgrounds

NARCIS (Netherlands)

Behrndt, K.; Cardoso, G.L.; de Wit, B.Q.P.J.; Lüst, D.; Mohaupt, T.; Sabra, W.A.

1998-01-01

Based on special geometry, we consider corrections to N=2 extremal black-hole solutions and their entropies originating from higher-order derivative terms in N=2 supergravity. These corrections are described by a holomorphic function, and the higher-order black-hole solutions can be expressed in

Non-Poisson Dichotomous Noise: Higher-Order Correlation Functions and Aging

National Research Council Canada - National Science Library

Allegrini, Paolo; Grigolini, Paolo; Palatella, Luigi; West, Bruce J

2004-01-01

.... The transition of psi(tau) from the exponential to the nonexponential condition yields the breakdown of the usual factorization condition of higher-order correlation functions, as well as the birth of aging effects...

Visibility-Based Hypothesis Testing Using Higher-Order Optical Interference

Science.gov (United States)

Jachura, Michał; Jarzyna, Marcin; Lipka, Michał; Wasilewski, Wojciech; Banaszek, Konrad

2018-03-01

Many quantum information protocols rely on optical interference to compare data sets with efficiency or security unattainable by classical means. Standard implementations exploit first-order coherence between signals whose preparation requires a shared phase reference. Here, we analyze and experimentally demonstrate the binary discrimination of visibility hypotheses based on higher-order interference for optical signals with a random relative phase. This provides a robust protocol implementation primitive when a phase lock is unavailable or impractical. With the primitive cost quantified by the total detected optical energy, optimal operation is typically reached in the few-photon regime.

Inseparability inequalities for higher order moments for bipartite systems

International Nuclear Information System (INIS)

Agarwal, G S; Biswas, Asoka

2005-01-01

There are several examples of bipartite entangled states of continuous variables for which the existing criteria for entanglement using the inequalities involving the second-order moments are insufficient. We derive new inequalities involving higher order correlation, for testing entanglement in non-Gaussian states. In this context, we study an example of a non-Gaussian state, which is a bipartite entangled state of the form Ψ(x a , x b ) ∝ (αx a + βx b ) e -(x a 2 +x b 2 )/2 . Our results open up an avenue to search for new inequalities to test entanglement in non-Gaussian states

Synthesizing a novel genetic sequential logic circuit: a push-on push-off switch.

Science.gov (United States)

Lou, Chunbo; Liu, Xili; Ni, Ming; Huang, Yiqi; Huang, Qiushi; Huang, Longwen; Jiang, Lingli; Lu, Dan; Wang, Mingcong; Liu, Chang; Chen, Daizhuo; Chen, Chongyi; Chen, Xiaoyue; Yang, Le; Ma, Haisu; Chen, Jianguo; Ouyang, Qi

2010-01-01

Design and synthesis of basic functional circuits are the fundamental tasks of synthetic biologists. Before it is possible to engineer higher-order genetic networks that can perform complex functions, a toolkit of basic devices must be developed. Among those devices, sequential logic circuits are expected to be the foundation of the genetic information-processing systems. In this study, we report the design and construction of a genetic sequential logic circuit in Escherichia coli. It can generate different outputs in response to the same input signal on the basis of its internal state, and 'memorize' the output. The circuit is composed of two parts: (1) a bistable switch memory module and (2) a double-repressed promoter NOR gate module. The two modules were individually rationally designed, and they were coupled together by fine-tuning the interconnecting parts through directed evolution. After fine-tuning, the circuit could be repeatedly, alternatively triggered by the same input signal; it functions as a push-on push-off switch.

Higher order corrections to energy levels of muonic atoms

International Nuclear Information System (INIS)

Rinker, G.A. Jr.; Steffen, R.M.

1975-08-01

In order to facilitate the analysis of muonic x-ray spectra, the results of numerical computations of all higher order quantum electrodynamical corrections to the energy levels of muonic atoms are presented in tabular and graphical form. These corrections include the vacuum polarization corrections caused by emission and reabsorption of virtual electron pairs to all orders, including ''double-bubble'' and ''cracked-egg'' diagrams. An estimate of the Delbruecke scattering-type correction is presented. The Lamb-shift (second- and fourth-order vertex) corrections have been calculated including the correction for the anomalous magnetic moment of the muon. The relativistic nuclear motion (or recoil) correction as well as the correction caused by the screening of the atomic electrons is presented in graphs. For the sake of completeness a graph of the nuclear polarization as computed on the basis of Chen's approach has been included. All calculations were made with a two-parameter Fermi distribution of the nuclear charge density. 7 figures, 23 references

Impedance Eduction in Large Ducts Containing Higher-Order Modes and Grazing Flow

Science.gov (United States)

Watson, Willie R.; Jones, Michael G.

2017-01-01

Impedance eduction test data are acquired in ducts with small and large cross-sectional areas at the NASA Langley Research Center. An improved data acquisition system in the large duct has resulted in increased control of the acoustic energy in source modes and more accurate resolution of higher-order duct modes compared to previous tests. Two impedance eduction methods that take advantage of the improved data acquisition to educe the liner impedance in grazing flow are presented. One method measures the axial propagation constant of a dominant mode in the liner test section (by implementing the Kumarsean and Tufts algorithm) and educes the impedance from an exact analytical expression. The second method solves numerically the convected Helmholtz equation and minimizes an objective function to obtain the liner impedance. The two methods are tested first on data synthesized from an exact mode solution and then on measured data. Results show that when the methods are applied to data acquired in the larger duct with a dominant higher-order mode, the same impedance spectra are educed as that obtained in the small duct where only the plane wave mode propagates. This result holds for each higher-order mode in the large duct provided that the higher-order mode is sufficiently attenuated by the liner.

Logic delays of 5-μm resistor coupled Josephson logic

International Nuclear Information System (INIS)

Sone, J.; Yoshida, T.; Tahara, S.; Abe, H.

1982-01-01

Logic delays of resistor coupled Josephson logic (RCJL) have been investigated. An experimental circuit with a cascade chain of ten RCJL OR gates was fabricated using Pb-alloy Josephson IC technology with 5-μm minimum linewidth. Logic delay was measured to be as low as 10.8 ps with power dissipation of 11.7 μW. This demonstrates a switching operation faster than those reported for other Josephson gate designs. Comparison with computer-simulation results is also presented

Radiation tolerant combinational logic cell

Science.gov (United States)

Maki, Gary R. (Inventor); Gambles, Jody W. (Inventor); Whitaker, Sterling (Inventor)

2009-01-01

A system has a reduced sensitivity to Single Event Upset and/or Single Event Transient(s) compared to traditional logic devices. In a particular embodiment, the system includes an input, a logic block, a bias stage, a state machine, and an output. The logic block is coupled to the input. The logic block is for implementing a logic function, receiving a data set via the input, and generating a result f by applying the data set to the logic function. The bias stage is coupled to the logic block. The bias stage is for receiving the result from the logic block and presenting it to the state machine. The state machine is coupled to the bias stage. The state machine is for receiving, via the bias stage, the result generated by the logic block. The state machine is configured to retain a state value for the system. The state value is typically based on the result generated by the logic block. The output is coupled to the state machine. The output is for providing the value stored by the state machine. Some embodiments of the invention produce dual rail outputs Q and Q'. The logic block typically contains combinational logic and is similar, in size and transistor configuration, to a conventional CMOS combinational logic design. However, only a very small portion of the circuits of these embodiments, is sensitive to Single Event Upset and/or Single Event Transients.

Erotetic epistemic logic

Czech Academy of Sciences Publication Activity Database

Peliš, Michal

2017-01-01

Roč. 26, č. 3 (2017), s. 357-381 ISSN 1425-3305 R&D Projects: GA ČR(CZ) GC16-07954J Institutional support: RVO:67985955 Keywords : epistemic logic * erotetic implication * erotetic logic * logic of questions Subject RIV: AA - Philosophy ; Religion OBOR OECD: Philosophy, History and Philosophy of science and technology http://apcz.umk.pl/czasopisma/index.php/LLP/article/view/LLP.2017.007

The Football of Logic

Directory of Open Access Journals (Sweden)

Schang Fabien

2017-03-01

Full Text Available An analogy is made between two rather different domains, namely: logic, and football (or soccer. Starting from a comparative table between the two activities, an alternative explanation of logic is given in terms of players, ball, goal, and the like. Our main thesis is that, just as the task of logic is preserving truth from premises to the conclusion, footballers strive to keep the ball as far as possible until the opposite goal. Assuming this analogy may help think about logic in the same way as in dialogical logic, but it should also present truth-values in an alternative sense of speech-acts occurring in a dialogue. The relativity of truth-values is focused by this way, thereby leading to an additional way of logical pluralism.

The Logic of Practice in the Practice of Logics

DEFF Research Database (Denmark)

Raviola, Elena; Dubini, Paola

2016-01-01

of logics through a six months full-time ethnographic study at Il Sole-24 Ore, the largest Italian financial newspaper, between 2007 and 2008. An original conceptual framework is developed to analyse how the logic of journalism is enacted vis-à-vis that of advertising in a setting in which an old technology...... for news production – print newspaper – coexists with a new one – website – and thus encounters between new and old technological possibilities make workings of institutional logics particularly visible. The findings point out different mechanisms of institutional work dealing with actions that, made...

Higher order effects of pseudoparticles in QCD

International Nuclear Information System (INIS)

Hietarinta, J.; Palmer, W.F.

1977-01-01

Gauge invariant Green's functions of quark-antiquark bilinear densities in massless, two-color QCD are studied. Nonzero-energy fermion modes, pseudoparticle solutions with topological charge absolute value ν > 1, and n-point functions with n > 2. Some general properties of the O(Dirac constant) approximation are developed, enabling one to isolate and define the terms which contribute to a general n-point function. The higher effects it is found preserve the symmetry breakdown found earlier in the 2-point function (U(2) x U(2) → SU(2) x SU(2) x U(1)). It is shown that a previous 2-point function analysis is exact to order Dirac constant

Higher order modes of coupled optical fibres

International Nuclear Information System (INIS)

Alexeyev, C N; Yavorsky, M A; Boklag, N A

2010-01-01

The structure of hybrid higher order modes of two coupled weakly guiding identical optical fibres is studied. On the basis of perturbation theory with degeneracy for the vector wave equation expressions for modes with azimuthal angular number l ≥ 1 are obtained that allow for the spin–orbit interaction. The spectra of polarization corrections to the scalar propagation constants are calculated in a wide range of distances between the fibres. The limiting cases of widely and closely spaced fibres are studied. The obtained results can be used for studying the tunnelling of optical vortices in directional couplers and in matters concerned with information security

A fast-slow logic system

International Nuclear Information System (INIS)

Kawashima, Hideo.

1977-01-01

A fast-slow logic system has been made for use in multi-detector experiments in nuclear physics such as particle-gamma and particle-particle coincidence experiments. The system consists of a fast logic system and a slow logic system. The fast logic system has a function of fast coincidences and provides timing signals for the slow logic system. The slow logic system has a function of slow coincidences and a routing control of input analog signals to the ADCs. (auth.)

Logic for Physicists

Science.gov (United States)

Pereyra, Nicolas A.

2018-06-01

This book gives a rigorous yet 'physics-focused' introduction to mathematical logic that is geared towards natural science majors. We present the science major with a robust introduction to logic, focusing on the specific knowledge and skills that will unavoidably be needed in calculus topics and natural science topics in general (rather than taking a philosophical-math-fundamental oriented approach that is commonly found in mathematical logic textbooks).

Teaching Higher Order Thinking in the Introductory MIS Course: A Model-Directed Approach

Science.gov (United States)

Wang, Shouhong; Wang, Hai

2011-01-01

One vision of education evolution is to change the modes of thinking of students. Critical thinking, design thinking, and system thinking are higher order thinking paradigms that are specifically pertinent to business education. A model-directed approach to teaching and learning higher order thinking is proposed. An example of application of the…

Higher-order threshold resummation for semi-inclusive e+e- annihilation

International Nuclear Information System (INIS)

Moch, S.; Vogt, A.

2009-08-01

The complete soft-enhanced and virtual-gluon contributions are derived for the quark coefficient functions in semi-inclusive e + e - annihilation to the third order in massless perturbative QCD. These terms enable us to extend the soft-gluon resummation for the fragmentation functions by two orders to the next-to-next-to-next-to-leading logarithmic (N 3 LL) accuracy. The resummation exponent is found to be the same as for the structure functions in inclusive deep-inelastic scattering. This finding, together with known results on the higher-order quark form factor, facilitates the determination of all soft and virtual contributions of the fourth-order difference of the coefficient functions for these two processes. Unlike the previous (N 2 LL) order in the exponentiation, the numerical effect of the N 3 LL contributions turns out to be negligible at LEP energies. (orig.)

Microelectromechanical reprogrammable logic device

KAUST Repository

Hafiz, Md Abdullah Al; Kosuru, Lakshmoji; Younis, Mohammad I.

2016-01-01

on the electrothermal frequency modulation scheme of a single microelectromechanical resonator, capable of performing all the fundamental 2-bit logic functions as well as n-bit logic operations. Logic functions are performed by actively tuning the linear resonance

GOAL Agents Instantiate Intention Logic

OpenAIRE

Hindriks, Koen; van der Hoek, Wiebe

2008-01-01

It is commonly believed there is a big gap between agent logics and computational agent frameworks. In this paper, we show that this gap is not as big as believed by showing that GOAL agents instantiate Intention Logic of Cohen and Levesque. That is, we show that GOAL agent programs can be formally related to Intention Logic.We do so by proving that the GOAL Verification Logic can be embedded into Intention Logic. It follows that (a fragment of) Intention Logic can be used t...

Study on Fuzzy Adaptive Fractional Order PIλDμ Control for Maglev Guiding System

Science.gov (United States)

Hu, Qing; Hu, Yuwei

The mathematical model of the linear elevator maglev guiding system is analyzed in this paper. For the linear elevator needs strong stability and robustness to run, the integer order PID was expanded to the fractional order, in order to improve the steady state precision, rapidity and robustness of the system, enhance the accuracy of the parameter in fractional order PIλDμ controller, the fuzzy control is combined with the fractional order PIλDμ control, using the fuzzy logic achieves the parameters online adjustment. The simulations reveal that the system has faster response speed, higher tracking precision, and has stronger robustness to the disturbance.

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

Energy Technology Data Exchange (ETDEWEB)

Kish, Laszlo B. [Texas A and M University, Department of Electrical and Computer Engineering, College Station, TX 77843-3128 (United States)], E-mail: laszlo.kish@ece.tamu.edu

2009-03-02

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

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

International Nuclear Information System (INIS)

Kish, Laszlo B.

2009-01-01

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

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

Science.gov (United States)

Kish, Laszlo B.

2009-03-01

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

The Teaching of Biochemistry: An Innovative Course Sequence Based on the Logic of Chemistry

Science.gov (United States)

Jakubowski, Henry V.; Owen, Whyte G.

1998-06-01

An innovative course sequence for the teaching of biochemistry is offered, which more truly reflects the common philosophy found in biochemistry texts: that the foundation of biological phenomena can best be understood through the logic of chemistry. Topic order is chosen to develop an emerging understanding that is based on chemical principles. Preeminent biological questions serve as a framework for the course. Lipid and lipid-aggregate structures are introduced first, since it is more logical to discuss the intermolecular association of simple amphiphiles to form micelle and bilayer formations than to discuss the complexities of protein structure/folding. Protein, nucleic acid, and carbohydrate structures are studied next. Binding, a noncovalent process and the simplest expression of macromolecular function, follows. The physical (noncovalent) transport of solute molecules across a biological membrane is studied next, followed by the chemical transformation of substrates by enzymes. These are logical extensions of the expression of molecular function, first involving a simpler (physical transport) and second, a more complex (covalent transformation) process. The final sequence involves energy and signal transduction. This unique course sequence emerges naturally when chemical logic is used as an organizing paradigm for structuring a biochemistry course. Traditional order, which seems to reflect historic trends in research, or even an order derived from the central dogma of biology can not provide this logical framework.

Fractional order integration and fuzzy logic based filter for denoising of echocardiographic image.

Science.gov (United States)

Saadia, Ayesha; Rashdi, Adnan

2016-12-01

Ultrasound is widely used for imaging due to its cost effectiveness and safety feature. However, ultrasound images are inherently corrupted with speckle noise which severely affects the quality of these images and create difficulty for physicians in diagnosis. To get maximum benefit from ultrasound imaging, image denoising is an essential requirement. To perform image denoising, a two stage methodology using fuzzy weighted mean and fractional integration filter has been proposed in this research work. In stage-1, image pixels are processed by applying a 3 × 3 window around each pixel and fuzzy logic is used to assign weights to the pixels in each window, replacing central pixel of the window with weighted mean of all neighboring pixels present in the same window. Noise suppression is achieved by assigning weights to the pixels while preserving edges and other important features of an image. In stage-2, the resultant image is further improved by fractional order integration filter. Effectiveness of the proposed methodology has been analyzed for standard test images artificially corrupted with speckle noise and real ultrasound B-mode images. Results of the proposed technique have been compared with different state-of-the-art techniques including Lsmv, Wiener, Geometric filter, Bilateral, Non-local means, Wavelet, Perona et al., Total variation (TV), Global Adaptive Fractional Integral Algorithm (GAFIA) and Improved Fractional Order Differential (IFD) model. Comparison has been done on quantitative and qualitative basis. For quantitative analysis different metrics like Peak Signal to Noise Ratio (PSNR), Speckle Suppression Index (SSI), Structural Similarity (SSIM), Edge Preservation Index (β) and Correlation Coefficient (ρ) have been used. Simulations have been done using Matlab. Simulation results of artificially corrupted standard test images and two real Echocardiographic images reveal that the proposed method outperforms existing image denoising techniques

Reasoning about logical propositions and success in science

Science.gov (United States)

Piburn, Michael D.

1990-12-01

Students display a number of misconceptions when asked to reason about logical propositions. Rather than being random, these misconceptions are stereotypic, and relate to age, ability, and success in science. The grades in science achieved by tenth-grade general science students from two parochial single-sex schools in Australia correlated with their scores on the Propositional Logic Test. The students' ability level was consistently related to the pattern of errors they committed on that measure. Mean scores were lowest on a subtest of ability to use the biconditional and implication, higher on the disjunction, and highest on the conjunction. Success in science was predicted most strongly by the disjunction and biconditional subtests. Knowledge of the way in which a person reasons about logical propositions provides additional insights into the transformations information is subjected to as it is integrated into mental schemata.

Geometrical optics in general relativity: A study of the higher order corrections

International Nuclear Information System (INIS)

Anile, A.M.

1976-01-01

The higher order corrections to geometrical optics are studied in general relativity for an electromagnetic test wave. An explicit expression is found for the average energy--momentum tensor which takes into account the first-order corrections. Finally the first-order corrections to the well-known area-intensity law of geometrical optics are derived

Superconducting digital logic amplifier

International Nuclear Information System (INIS)

Przybysz, J.X.

1989-01-01

This paper describes a superconducting digital logic amplifier for interfacing between a Josephson junction logic circuit having output current and a higher voltage semiconductor circuit input. The amplifier comprising: an input terminal for connection to a; an output terminal for connection to a semiconductor circuit input; an input, lower critical current, Josephson junction having first and second terminals; a first series string of at least three lower critical current Josephson junctions. The first series string being connected to the first terminal of the input Josephson junction such that the first series string is in series with the input Josephson junction to provide a series combination. The input terminal being connected to the first terminal of the input Josephson junction, and with the critical current of the lower critical current Josephson junctions of the input Josephson junction and the first series Josephson junctions being less than the output current of the low voltage Josephson junction circuit; a second series string of at least four higher critical current Josephson junctions. The second string being connected in parallel with the series combination to provide parallel strings having an upper common connection and a lower common connection. The lower common connection being connected to the second terminal of the input Josephson junction and the upper common connection being connected to the output terminal; and a pulsed DC current source connected the parallel strings at the upper common connection. The DC current source having a current at least equal to the critical current of the higher critical current Josephson junctions

Contribution of higher order terms in the reductive perturbation theory, 2

International Nuclear Information System (INIS)

Ichikawa, Y.H.; Mitsuhashi, Teruo; Konno, Kimiaki.

1977-01-01

Contribution of higher order terms in the reductive perturbation theory has been investigated for nonlinear propagation of strongly dispersive ion plasma wave. The basic set of fluid equation is reduced to a coupled set of the nonlinear Schroedinger equation for the first order perturbed potential and a linear inhomogeneous equation for the second order perturbed potential. A steady state solution of the coupled set of equations has been solved analytically in the asymptotic limit of small wave number. (auth.)

Reprogrammable Logic Gate and Logic Circuit Based on Multistimuli-Responsive Raspberry-like Micromotors.

Science.gov (United States)

Zhang, Lina; Zhang, Hui; Liu, Mei; Dong, Bin

2016-06-22

In this paper, we report a polymer-based raspberry-like micromotor. Interestingly, the resulting micromotor exhibits multistimuli-responsive motion behavior. Its on-off-on motion can be regulated by the application of stimuli such as H2O2, near-infrared light, NH3, or their combinations. Because of the versatility in motion control, the current micromotor has great potential in the application field of logic gate and logic circuit. With use of different stimuli as the inputs and the micromotor motion as the output, reprogrammable OR and INHIBIT logic gates or logic circuit consisting of OR, NOT, and AND logic gates can be achieved.

Conference Trends in Logic XI

CERN Document Server

Wansing, Heinrich; Willkommen, Caroline; Recent Trends in Philosophical Logic

2014-01-01

This volume presents recent advances in philosophical logic with chapters focusing on non-classical logics, including paraconsistent logics, substructural logics, modal logics of agency and other modal logics. The authors cover themes such as the knowability paradox, tableaux and sequent calculi, natural deduction, definite descriptions, identity, truth, dialetheism, and possible worlds semantics.   The developments presented here focus on challenging problems in the specification of fundamental philosophical notions, as well as presenting new techniques and tools, thereby contributing to the development of the field. Each chapter contains a bibliography, to assist the reader in making connections in the specific areas covered. Thus this work provides both a starting point for further investigations into philosophical logic and an update on advances, techniques and applications in a dynamic field.   The chapters originate from papers presented during the Trends in Logic XI conference at the Ruhr University ...

Logic analysis and verification of n-input genetic logic circuits

DEFF Research Database (Denmark)

Baig, Hasan; Madsen, Jan

2017-01-01

. In this paper, we present an approach to analyze and verify the Boolean logic of a genetic circuit from the data obtained through stochastic analog circuit simulations. The usefulness of this analysis is demonstrated through different case studies illustrating how our approach can be used to verify the expected......Nature is using genetic logic circuits to regulate the fundamental processes of life. These genetic logic circuits are triggered by a combination of external signals, such as chemicals, proteins, light and temperature, to emit signals to control other gene expressions or metabolic pathways...... accordingly. As compared to electronic circuits, genetic circuits exhibit stochastic behavior and do not always behave as intended. Therefore, there is a growing interest in being able to analyze and verify the logical behavior of a genetic circuit model, prior to its physical implementation in a laboratory...

Prospects of luminescence based molecular scale logic gates and logic circuits

International Nuclear Information System (INIS)

Speiser, Shammai

2016-01-01

In recent years molecular electronics has emerged as a rapidly growing research field. The aim of this review is to introduce this subject as a whole with special emphasis on molecular scale potential devices and applications. As a particular example we will discuss all optical molecular scale logic gates and logic circuits based on molecular fluorescence and electronic excitation transfer processes. Charge and electronic energy transfers (ET and EET) are well-studied examples whereby different molecules can signal their state from one (the donor, D) to the other (the acceptor, A). We show how a half-adder logic circuit can be implemented on one molecule that can communicate its logic output as input to another half-adder molecule. This is achieved as an electronic energy transfer from a donor to an acceptor, thus implementing a molecular full adder. We discuss a specific pair, the rhodamine–azulene, for which there is considerable spectroscopic data, but the scheme is general enough to allow a wide choice of D and A pairs. We present results based on this pair, in which, for the first time, an all optical half-adder and full-adder logic circuits are implemented. - Highlights: • Molecular scale logic • Photoquenching • Full adder

Prospects of luminescence based molecular scale logic gates and logic circuits

Energy Technology Data Exchange (ETDEWEB)

Speiser, Shammai, E-mail: speiser@technion.ac.il

2016-01-15

In recent years molecular electronics has emerged as a rapidly growing research field. The aim of this review is to introduce this subject as a whole with special emphasis on molecular scale potential devices and applications. As a particular example we will discuss all optical molecular scale logic gates and logic circuits based on molecular fluorescence and electronic excitation transfer processes. Charge and electronic energy transfers (ET and EET) are well-studied examples whereby different molecules can signal their state from one (the donor, D) to the other (the acceptor, A). We show how a half-adder logic circuit can be implemented on one molecule that can communicate its logic output as input to another half-adder molecule. This is achieved as an electronic energy transfer from a donor to an acceptor, thus implementing a molecular full adder. We discuss a specific pair, the rhodamine–azulene, for which there is considerable spectroscopic data, but the scheme is general enough to allow a wide choice of D and A pairs. We present results based on this pair, in which, for the first time, an all optical half-adder and full-adder logic circuits are implemented. - Highlights: • Molecular scale logic • Photoquenching • Full adder.

Oscillation of certain higher-order neutral partial functional differential equations.

Science.gov (United States)

Li, Wei Nian; Sheng, Weihong

2016-01-01

In this paper, we study the oscillation of certain higher-order neutral partial functional differential equations with the Robin boundary conditions. Some oscillation criteria are established. Two examples are given to illustrate the main results in the end of this paper.

Numerical methods of higher order of accuracy for incompressible flows

Czech Academy of Sciences Publication Activity Database

Kozel, K.; Louda, Petr; Příhoda, Jaromír

2010-01-01

Roč. 80, č. 8 (2010), s. 1734-1745 ISSN 0378-4754 Institutional research plan: CEZ:AV0Z20760514 Keywords : higher order methods * upwind methods * backward-facing step Subject RIV: BK - Fluid Dynamics Impact factor: 0.812, year: 2010

Back-and-forth systems for fuzzy first-order models

Czech Academy of Sciences Publication Activity Database

Dellunde, P.; García-Cerdaña, A.; Noguera, Carles

(2018) ISSN 0165-0114 R&D Projects: GA ČR(CZ) GF15-34650L Institutional support: RVO:67985556 Keywords : Mathematical fuzzy logic * first-order fuzzy logics * non-classical logics Subject RIV: BA - General Mathematics Impact factor: 2.718, year: 2016 http://library.utia.cas.cz/separaty/2018/MTR/noguera-0486421.pdf

Application of linear logic to simulation

Science.gov (United States)

Clarke, Thomas L.

1998-08-01

Linear logic, since its introduction by Girard in 1987 has proven expressive and powerful. Linear logic has provided natural encodings of Turing machines, Petri nets and other computational models. Linear logic is also capable of naturally modeling resource dependent aspects of reasoning. The distinguishing characteristic of linear logic is that it accounts for resources; two instances of the same variable are considered differently from a single instance. Linear logic thus must obey a form of the linear superposition principle. A proportion can be reasoned with only once, unless a special operator is applied. Informally, linear logic distinguishes two kinds of conjunction, two kinds of disjunction, and also introduces a modal storage operator that explicitly indicates propositions that can be reused. This paper discuses the application of linear logic to simulation. A wide variety of logics have been developed; in addition to classical logic, there are fuzzy logics, affine logics, quantum logics, etc. All of these have found application in simulations of one sort or another. The special characteristics of linear logic and its benefits for simulation will be discussed. Of particular interest is a connection that can be made between linear logic and simulated dynamics by using the concept of Lie algebras and Lie groups. Lie groups provide the connection between the exponential modal storage operators of linear logic and the eigen functions of dynamic differential operators. Particularly suggestive are possible relations between complexity result for linear logic and non-computability results for dynamical systems.

Evidence for higher-order effects in L-shell ionization by proton impact

International Nuclear Information System (INIS)

Sarkadi, L.; Mukoyama, T.

1988-01-01

It is widely believed that higher order processes of ion-atom collisions are negligible in cases of light projectiles like proton. Recent refined experiments tried to prove that the existence of such effects were comperable with the experimental errors, and they showed the unexpected relative importance of the higher order processes. Thus a new coupled channel calculation was performed for proton-gold atom collision in the energy range of 0.15-3.0 MeV, including dynamical subshell coupling effects. The results show that the deviations from the first order cross sections reach 40% at low collision energy. This result made necessary to correct the calculations of L-shell X-ray production cross sections. (D.G.) 6 refs

Analysing Vote Counting Algorithms Via Logic - And its Application to the CADE Election Scheme

DEFF Research Database (Denmark)

Schürmann, Carsten; Beckert, Bernhard; Gore, Rejeev

2013-01-01

We present a method for using first-order logic to specify the semantics of preferences as used in common vote counting algorithms. We also present a corresponding system that uses Celf linear-logic programs to describe voting algorithms and which generates explicit examples when the algorithm de...

Quantum logics with existence property

International Nuclear Information System (INIS)

Schindler, C.

1991-01-01

A quantum logic (σ-orthocomplete orthomodular poset L with a convex, unital, and separating set Δ of states) is said to have the existence property if the expectation functionals on lin(Δ) associated with the bounded observables of L form a vector space. Classical quantum logics as well as the Hilbert space logics of traditional quantum mechanics have this property. The author shows that, if a quantum logic satisfies certain conditions in addition to having property E, then the number of its blocks (maximal classical subsystems) must either be one (classical logics) or uncountable (as in Hilbert space logics)

Transverse vibrations of shear-deformable beams using a general higher order theory

Science.gov (United States)

Kosmatka, J. B.

1993-01-01

A general higher order theory is developed to study the static and vibrational behavior of beam structures having an arbitrary cross section that utilizes both out-of-plane shear-dependent warping and in-plane (anticlastic) deformations. The equations of motion are derived via Hamilton's principle, where the full 3D constitutive relations are used. A simplified version of the general higher-order theory is also presented for beams having an arbitrary cross section that includes out-of-plane shear deformation but assumes that stresses within the cross section and in-plane deformations are negligible. This simplified model, which is accurate for long to moderately short wavelengths, offers substantial improvements over existing higher order theories that are limited to beams with thin rectangular cross sections. The current approach will be very useful in the study of thin-wall closed-cell beams such as airfoil-type sections where the magnitude of shear-related cross-sectional warping is significant.

Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths

DEFF Research Database (Denmark)

Bresolin, Davide; Goranko, Valentin; Montanari, Angelo

2009-01-01

Interval temporal logics are based on interval structures over linearly (or partially) ordered domains, where time intervals, rather than time instants, are the primitive ontological entities. In this paper we introduce and study Right Propositional Neighborhood Logic over natural numbers...... with integer constraints for interval lengths, which is a propositional interval temporal logic featuring a modality for the 'right neighborhood' relation between intervals and explicit integer constraints for interval lengths. We prove that it has the bounded model property with respect to ultimately periodic...

Practical Programming with Higher-Order Encodings and Dependent Types

DEFF Research Database (Denmark)

Poswolsky, Adam; Schürmann, Carsten

2008-01-01

, tedious, and error-prone. In this paper, we describe the underlying calculus of Delphin. Delphin is a fully implemented functional-programming language supporting reasoning over higher-order encodings and dependent types, while maintaining the benefits of HOAS. More specifically, just as representations...... for instantiation from those that will remain uninstantiated, utilizing a variation of Miller and Tiu’s ∇-quantifier [1]....

Symmetries, invariants and generating functions: higher-order statistics of biased tracers

Science.gov (United States)

Munshi, Dipak

2018-01-01

Gravitationally collapsed objects are known to be biased tracers of an underlying density contrast. Using symmetry arguments, generalised biasing schemes have recently been developed to relate the halo density contrast δh with the underlying density contrast δ, divergence of velocity θ and their higher-order derivatives. This is done by constructing invariants such as s, t, ψ,η. We show how the generating function formalism in Eulerian standard perturbation theory (SPT) can be used to show that many of the additional terms based on extended Galilean and Lifshitz symmetry actually do not make any contribution to the higher-order statistics of biased tracers. Other terms can also be drastically simplified allowing us to write the vertices associated with δh in terms of the vertices of δ and θ, the higher-order derivatives and the bias coefficients. We also compute the cumulant correlators (CCs) for two different tracer populations. These perturbative results are valid for tree-level contributions but at an arbitrary order. We also take into account the stochastic nature bias in our analysis. Extending previous results of a local polynomial model of bias, we express the one-point cumulants Script SN and their two-point counterparts, the CCs i.e. Script Cpq, of biased tracers in terms of that of their underlying density contrast counterparts. As a by-product of our calculation we also discuss the results using approximations based on Lagrangian perturbation theory (LPT).

A Rewriting Logic Approach to Type Inference

Science.gov (United States)

Ellison, Chucky; Şerbănuţă, Traian Florin; Roşu, Grigore

Meseguer and Roşu proposed rewriting logic semantics (RLS) as a programing language definitional framework that unifies operational and algebraic denotational semantics. RLS has already been used to define a series of didactic and real languages, but its benefits in connection with defining and reasoning about type systems have not been fully investigated. This paper shows how the same RLS style employed for giving formal definitions of languages can be used to define type systems. The same term-rewriting mechanism used to execute RLS language definitions can now be used to execute type systems, giving type checkers or type inferencers. The proposed approach is exemplified by defining the Hindley-Milner polymorphic type inferencer mathcal{W} as a rewrite logic theory and using this definition to obtain a type inferencer by executing it in a rewriting logic engine. The inferencer obtained this way compares favorably with other definitions or implementations of mathcal{W}. The performance of the executable definition is within an order of magnitude of that of highly optimized implementations of type inferencers, such as that of OCaml.

Modeling 3D PCMI using the Extended Finite Element Method with higher order elements

Energy Technology Data Exchange (ETDEWEB)

Jiang, W. [Idaho National Lab. (INL), Idaho Falls, ID (United States); Spencer, Benjamin W. [Idaho National Lab. (INL), Idaho Falls, ID (United States)

2017-03-31

This report documents the recent development to enable XFEM to work with higher order elements. It also demonstrates the application of higher order (quadratic) elements to both 2D and 3D models of PCMI problems, where discrete fractures in the fuel are represented using XFEM. The modeling results demonstrate the ability of the higher order XFEM to accurately capture the effects of a crack on the response in the vicinity of the intersecting surfaces of cracked fuel and cladding, as well as represent smooth responses in the regions away from the crack.

A higher-order tensor vessel tractography for segmentation of vascular structures.

Science.gov (United States)

Cetin, Suheyla; Unal, Gozde

2015-10-01

A new vascular structure segmentation method, which is based on a cylindrical flux-based higher order tensor (HOT), is presented. On a vessel structure, the HOT naturally models branching points, which create challenges for vessel segmentation algorithms. In a general linear HOT model embedded in 3D, one has to work with an even order tensor due to an enforced antipodal-symmetry on the unit sphere. However, in scenarios such as in a bifurcation, the antipodally-symmetric tensor embedded in 3D will not be useful. In order to overcome that limitation, we embed the tensor in 4D and obtain a structure that can model asymmetric junction scenarios. During construction of a higher order tensor (e.g. third or fourth order) in 4D, the orientation vectors lie on the unit 3-sphere, in contrast to the unit 2-sphere in 3D tensor modeling. This 4D tensor is exploited in a seed-based vessel segmentation algorithm, where the principal directions of the 4D HOT is obtained by decomposition, and used in a HOT tractography approach. We demonstrate quantitative validation of the proposed algorithm on both synthetic complex tubular structures as well as real cerebral vasculature in Magnetic Resonance Angiography (MRA) datasets and coronary arteries from Computed Tomography Angiography (CTA) volumes.

Flat Coalgebraic Fixed Point Logics

Science.gov (United States)

Schröder, Lutz; Venema, Yde

Fixed point logics are widely used in computer science, in particular in artificial intelligence and concurrency. The most expressive logics of this type are the μ-calculus and its relatives. However, popular fixed point logics tend to trade expressivity for simplicity and readability, and in fact often live within the single variable fragment of the μ-calculus. The family of such flat fixed point logics includes, e.g., CTL, the *-nesting-free fragment of PDL, and the logic of common knowledge. Here, we extend this notion to the generic semantic framework of coalgebraic logic, thus covering a wide range of logics beyond the standard μ-calculus including, e.g., flat fragments of the graded μ-calculus and the alternating-time μ-calculus (such as ATL), as well as probabilistic and monotone fixed point logics. Our main results are completeness of the Kozen-Park axiomatization and a timed-out tableaux method that matches ExpTime upper bounds inherited from the coalgebraic μ-calculus but avoids using automata.

Construction of special eye models for investigation of chromatic and higher-order aberrations of eyes.

Science.gov (United States)

Zhai, Yi; Wang, Yan; Wang, Zhaoqi; Liu, Yongji; Zhang, Lin; He, Yuanqing; Chang, Shengjiang

2014-01-01

An achromatic element eliminating only longitudinal chromatic aberration (LCA) while maintaining transverse chromatic aberration (TCA) is established for the eye model, which involves the angle formed by the visual and optical axis. To investigate the impacts of higher-order aberrations on vision, the actual data of higher-order aberrations of human eyes with three typical levels are introduced into the eye model along visual axis. Moreover, three kinds of individual eye models are established to investigate the impacts of higher-order aberrations, chromatic aberration (LCA+TCA), LCA and TCA on vision under the photopic condition, respectively. Results show that for most human eyes, the impact of chromatic aberration on vision is much stronger than that of higher-order aberrations, and the impact of LCA in chromatic aberration dominates. The impact of TCA is approximately equal to that of normal level higher-order aberrations and it can be ignored when LCA exists.

Collocated electrodynamic FDTD schemes using overlapping Yee grids and higher-order Hodge duals

Science.gov (United States)

Deimert, C.; Potter, M. E.; Okoniewski, M.

2016-12-01

The collocated Lebedev grid has previously been proposed as an alternative to the Yee grid for electromagnetic finite-difference time-domain (FDTD) simulations. While it performs better in anisotropic media, it performs poorly in isotropic media because it is equivalent to four overlapping, uncoupled Yee grids. We propose to couple the four Yee grids and fix the Lebedev method using discrete exterior calculus (DEC) with higher-order Hodge duals. We find that higher-order Hodge duals do improve the performance of the Lebedev grid, but they also improve the Yee grid by a similar amount. The effectiveness of coupling overlapping Yee grids with a higher-order Hodge dual is thus questionable. However, the theoretical foundations developed to derive these methods may be of interest in other problems.

ANOVA-HDMR structure of the higher order nodal diffusion solution

International Nuclear Information System (INIS)

Bokov, P. M.; Prinsloo, R. H.; Tomasevic, D. I.

2013-01-01

Nodal diffusion methods still represent a standard in global reactor calculations, but employ some ad-hoc approximations (such as the quadratic leakage approximation) which limit their accuracy in cases where reference quality solutions are sought. In this work we solve the nodal diffusion equations utilizing the so-called higher-order nodal methods to generate reference quality solutions and to decompose the obtained solutions via a technique known as High Dimensional Model Representation (HDMR). This representation and associated decomposition of the solution provides a new formulation of the transverse leakage term. The HDMR structure is investigated via the technique of Analysis of Variance (ANOVA), which indicates why the existing class of transversely-integrated nodal methods prove to be so successful. Furthermore, the analysis leads to a potential solution method for generating reference quality solutions at a much reduced calculational cost, by applying the ANOVA technique to the full higher order solution. (authors)

Amplifying genetic logic gates.

Science.gov (United States)

Bonnet, Jerome; Yin, Peter; Ortiz, Monica E; Subsoontorn, Pakpoom; Endy, Drew

2013-05-03

Organisms must process information encoded via developmental and environmental signals to survive and reproduce. Researchers have also engineered synthetic genetic logic to realize simpler, independent control of biological processes. We developed a three-terminal device architecture, termed the transcriptor, that uses bacteriophage serine integrases to control the flow of RNA polymerase along DNA. Integrase-mediated inversion or deletion of DNA encoding transcription terminators or a promoter modulates transcription rates. We realized permanent amplifying AND, NAND, OR, XOR, NOR, and XNOR gates actuated across common control signal ranges and sequential logic supporting autonomous cell-cell communication of DNA encoding distinct logic-gate states. The single-layer digital logic architecture developed here enables engineering of amplifying logic gates to control transcription rates within and across diverse organisms.

Time-discrete higher order ALE formulations: a priori error analysis

KAUST Repository

Bonito, Andrea

2013-03-16

We derive optimal a priori error estimates for discontinuous Galerkin (dG) time discrete schemes of any order applied to an advection-diffusion model defined on moving domains and written in the Arbitrary Lagrangian Eulerian (ALE) framework. Our estimates hold without any restrictions on the time steps for dG with exact integration or Reynolds\\' quadrature. They involve a mild restriction on the time steps for the practical Runge-Kutta-Radau methods of any order. The key ingredients are the stability results shown earlier in Bonito et al. (Time-discrete higher order ALE formulations: stability, 2013) along with a novel ALE projection. Numerical experiments illustrate and complement our theoretical results. © 2013 Springer-Verlag Berlin Heidelberg.

The Quantum Logical Challenge: Peter Mittelstaedt's Contributions to Logic and Philosophy of Science

Science.gov (United States)

Beltrametti, E.; Dalla Chiara, M. L.; Giuntini, R.

2017-12-01

Peter Mittelstaedt's contributions to quantum logic and to the foundational problems of quantum theory have significantly realized the most authentic spirit of the International Quantum Structures Association: an original research about hard technical problems, which are often "entangled" with the emergence of important changes in our general world-conceptions. During a time where both the logical and the physical community often showed a skeptical attitude towards Birkhoff and von Neumann's quantum logic, Mittelstaedt brought into light the deeply innovating features of a quantum logical thinking that allows us to overcome some strong and unrealistic assumptions of classical logical arguments. Later on his intense research on the unsharp approach to quantum theory and to the measurement problem stimulated the increasing interest for unsharp forms of quantum logic, creating a fruitful interaction between the work of quantum logicians and of many-valued logicians. Mittelstaedt's general views about quantum logic and quantum theory seem to be inspired by a conjecture that is today more and more confirmed: there is something universal in the quantum theoretic formalism that goes beyond the limits of microphysics, giving rise to interesting applications to a number of different fields.

Dependency Ordering of Atomic Observables

Science.gov (United States)

Cīrulis, Jānis

2015-12-01

The notion of atomic observable was introduced by S.Gudder for effect test spaces in 1997. In this paper an observable is a σ-homomorphism from the Borel algebra on a line to some logic. Roughly, an observable on a logic is atomic, if it is completely determined by its restriction to one-element subsets of its point spectrum. In particular, every discrete observable is atomic. We study some elementary properties of such observables, and discuss a possible notion of functional dependency between them. Algebraically, a dependency is a certain preorder relation on the set of all atomic observables, which induces an order relation on the set of all maximal orthogonal subsets of the logic. Several properties, as well as characteristics in terms of the underlying logic, of these relations are stated.

Querying Natural Logic Knowledge Bases

DEFF Research Database (Denmark)

Andreasen, Troels; Bulskov, Henrik; Jensen, Per Anker

2017-01-01

This paper describes the principles of a system applying natural logic as a knowledge base language. Natural logics are regimented fragments of natural language employing high level inference rules. We advocate the use of natural logic for knowledge bases dealing with querying of classes...... in ontologies and class-relationships such as are common in life-science descriptions. The paper adopts a version of natural logic with recursive restrictive clauses such as relative clauses and adnominal prepositional phrases. It includes passive as well as active voice sentences. We outline a prototype...... for partial translation of natural language into natural logic, featuring further querying and conceptual path finding in natural logic knowledge bases....

Higher-Order Statistical Correlations and Mutual Information Among Particles in a Quantum Well

Science.gov (United States)

Yépez, V. S.; Sagar, R. P.; Laguna, H. G.

2017-12-01

The influence of wave function symmetry on statistical correlation is studied for the case of three non-interacting spin-free quantum particles in a unidimensional box, in position and in momentum space. Higher-order statistical correlations occurring among the three particles in this quantum system is quantified via higher-order mutual information and compared to the correlation between pairs of variables in this model, and to the correlation in the two-particle system. The results for the higher-order mutual information show that there are states where the symmetric wave functions are more correlated than the antisymmetric ones with same quantum numbers. This holds in position as well as in momentum space. This behavior is opposite to that observed for the correlation between pairs of variables in this model, and the two-particle system, where the antisymmetric wave functions are in general more correlated. These results are also consistent with those observed in a system of three uncoupled oscillators. The use of higher-order mutual information as a correlation measure, is monitored and examined by considering a superposition of states or systems with two Slater determinants.

Higher-Order Statistical Correlations and Mutual Information Among Particles in a Quantum Well

International Nuclear Information System (INIS)

Yépez, V. S.; Sagar, R. P.; Laguna, H. G.

2017-01-01

The influence of wave function symmetry on statistical correlation is studied for the case of three non-interacting spin-free quantum particles in a unidimensional box, in position and in momentum space. Higher-order statistical correlations occurring among the three particles in this quantum system is quantified via higher-order mutual information and compared to the correlation between pairs of variables in this model, and to the correlation in the two-particle system. The results for the higher-order mutual information show that there are states where the symmetric wave functions are more correlated than the antisymmetric ones with same quantum numbers. This holds in position as well as in momentum space. This behavior is opposite to that observed for the correlation between pairs of variables in this model, and the two-particle system, where the antisymmetric wave functions are in general more correlated. These results are also consistent with those observed in a system of three uncoupled oscillators. The use of higher-order mutual information as a correlation measure, is monitored and examined by considering a superposition of states or systems with two Slater determinants. (author)

Questions and dependency in intuitionistic logic

NARCIS (Netherlands)

Ciardelli, Ivano; Iemhoff, Rosalie; Yang, Fan

2017-01-01

In recent years, the logic of questions and dependencies has been investigated in the closely related frameworks of inquisitive logic and dependence logic. These investigations have assumed classical logic as the background logic of statements, and added formulas expressing questions and

Logic Meeting

CERN Document Server

Tugué, Tosiyuki; Slaman, Theodore

1989-01-01

These proceedings include the papers presented at the logic meeting held at the Research Institute for Mathematical Sciences, Kyoto University, in the summer of 1987. The meeting mainly covered the current research in various areas of mathematical logic and its applications in Japan. Several lectures were also presented by logicians from other countries, who visited Japan in the summer of 1987.

Higher-order Brunnian structures and possible physical realizations

DEFF Research Database (Denmark)

A. Baas, Nils; V. Fedorov, D.; S. Jensen, A.

2014-01-01

We consider few-body bound state systems and provide precise definitions of Borromean and Brunnian systems. The initial concepts are more than a hundred years old and originated in mathematical knot-theory as purely geometric considerations. About thirty years ago they were generalized and applied...... to the binding of systems in nature. It now appears that recent generalization to higher order Brunnian structures may potentially be realized as laboratory made or naturally occurring systems. With the binding energy as measure, we discuss possibilities of physical realization in nuclei, cold atoms...

Integrable higher order deformations of Heisenberg supermagnetic model

International Nuclear Information System (INIS)

Guo Jiafeng; Yan Zhaowen; Wang Shikun; Wu Ke; Zhao Weizhong

2009-01-01

The Heisenberg supermagnet model is an integrable supersymmetric system and has a close relationship with the strong electron correlated Hubbard model. In this paper, we investigate the integrable higher order deformations of Heisenberg supermagnet models with two different constraints: (i) S 2 =3S-2I for S is an element of USPL(2/1)/S(U(2)xU(1)) and (ii) S 2 =S for S is an element of USPL(2/1)/S(L(1/1)xU(1)). In terms of the gauge transformation, their corresponding gauge equivalent counterparts are derived.

Theory of a higher-order Sturm-Liouville equation

CERN Document Server

Kozlov, Vladimir

1997-01-01

This book develops a detailed theory of a generalized Sturm-Liouville Equation, which includes conditions of solvability, classes of uniqueness, positivity properties of solutions and Green's functions, asymptotic properties of solutions at infinity. Of independent interest, the higher-order Sturm-Liouville equation also proved to have important applications to differential equations with operator coefficients and elliptic boundary value problems for domains with non-smooth boundaries. The book addresses graduate students and researchers in ordinary and partial differential equations, and is accessible with a standard undergraduate course in real analysis.

Programming real-time executives in higher order language

Science.gov (United States)

Foudriat, E. C.

1982-01-01

Methods by which real-time executive programs can be implemented in a higher order language are discussed, using HAL/S and Path Pascal languages as program examples. Techniques are presented by which noncyclic tasks can readily be incorporated into the executive system. Situations are shown where the executive system can fail to meet its task scheduling and yet be able to recover either by rephasing the clock or stacking the information for later processing. The concept of deadline processing is shown to enable more effective mixing of time and information synchronized systems.

Higher order Bose-Einstein correlations in identical particle production

International Nuclear Information System (INIS)

Biyajima, M.

1990-01-01

A diagram technique to calculate the higher order Bose-Einstein correlations is formulated. This technique is applied to derive explicit expressions for the n-pion correlation functions for n = 2, 3, 4, and 5, and numerical predictions are given. In a comparison with the AFS and NA23 data on two-pion and three-pion Bose-Einstein correlations good agreement is obtained. 21 refs., 5 figs. (Authors)

What is mathematical logic?

CERN Document Server

Crossley, J N; Brickhill, CJ; Stillwell, JC

2010-01-01

Although mathematical logic can be a formidably abstruse topic, even for mathematicians, this concise book presents the subject in a lively and approachable fashion. It deals with the very important ideas in modern mathematical logic without the detailed mathematical work required of those with a professional interest in logic.The book begins with a historical survey of the development of mathematical logic from two parallel streams: formal deduction, which originated with Aristotle, Euclid, and others; and mathematical analysis, which dates back to Archimedes in the same era. The streams beg

A Logic for Choreographies

DEFF Research Database (Denmark)

Lopez, Hugo Andres; Carbone, Marco; Hildebrandt, Thomas

2010-01-01

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