Famous puzzles of great mathematicians

CERN Document Server

Petković, Miodrag S

2009-01-01

This entertaining book presents a collection of 180 famous mathematical puzzles and intriguing elementary problems that great mathematicians have posed, discussed, and/or solved. The selected problems do not require advanced mathematics, making this book accessible to a variety of readers. Mathematical recreations offer a rich playground for both amateur and professional mathematicians. Believing that creative stimuli and aesthetic considerations are closely related, great mathematicians from ancient times to the present have always taken an interest in puzzles and diversions. The goal of this

Three Modes of Hydrogeophysical Investigation: Puzzles, Mysteries, and Conundrums

Science.gov (United States)

Ferre, P. A.

2011-12-01

In an article in the New Yorker in 2007, Malcolm Gladwell discussed the distinction that national security expert Gregory Treverton has made between puzzles and mysteries. Specifically, puzzles are problems that we understand and that will eventually be solved when we amass enough information. (Think crossword puzzles.) Mysteries are problems for which we have the necessary information, but it is often overwhelmed by irrelevant or misleading input. To solve a mystery, we require improved analysis. (Think find-a-word.) Gladwell goes on to explain that, in the national security realm, the Cold War was a puzzle while the current national security condition is a mystery. I will discuss the past, current, and future trajectories of hydrogeophysics in terms of puzzles and mysteries. I will also add a third class of problem: conundrums - those for which we lack sufficient information about their structure to know how to solve them. A conundrum is a mystery with an unexpected twist. I hope to make the case that the future growth of hydrogeophysics lies in our ability to address this more challenging and more interesting class of problem.

Logic of management of strategic problems of the enterprise

Directory of Open Access Journals (Sweden)

Ivahnenko Aleksandr Vladimirovich

2014-12-01

Full Text Available Problems of management by firm in the conditions of changes are considered, types of strategic problems, logic of constructions of system of strategic management are allocated. Principles of formation of strategy of firm and a strategy choice in conditions not full definiteness are defined.

Current puzzles in nuclear physics

International Nuclear Information System (INIS)

1985-01-01

A meeting on ''Current puzzles in nuclear physics'' was held at Research Center for Nuclear Physics, Osaka University, on June 27 - 28, 1984. The meeting put emphasis on several puzzles which have not been solved for a long time in nuclear physics, and also on the puzzles. This collective report is composed of following eleven papers presented at the meeting. Almost all the papers are witten in English : (1) M1, GT excitations and configuration mixing (in Japanese). (2) Hadronic excitation of pionic states. (3) Microscopic analyses of 28 Si(α,α') 28 Si scattering and single particle strength in A = 29 nuclei. (4) Few-body physics and its incentives to nuclear physics. (5) Is it necessary to introduce three body interactions ? (in Japanese). (6) Puzzles in the neutron-deuteron elastic scattering. (7) Puzzles in NN, NΔ, πN and Nanti N interactions. (8) Problems in Hadron-Nucleus interaction. (9) Unified approach to the meson- and quark- theory of nuclear forces and currents. (10) Pion photoproduction in two Chiral bag models. (11) The dynamic bag model : The electromagnetic properties of nucleon. (Aoki, K.)

Puzzling Mechanisms

Science.gov (United States)

van Deventer, M. Oskar

2009-01-01

The basis of a good mechanical puzzle is often a puzzling mechanism. This article will introduce some new puzzling mechanisms, like two knots that engage like gears, a chain whose links can be interchanged, and flat gears that do not come apart. It illustrates how puzzling mechanisms can be transformed into real mechanical puzzles, e.g., by…

Plausible inference: A multi-valued logic for problem solving

Science.gov (United States)

Friedman, L.

1979-01-01

A new logic is developed which permits continuously variable strength of belief in the truth of assertions. Four inference rules result, with formal logic as a limiting case. Quantification of belief is defined. Propagation of belief to linked assertions results from dependency-based techniques of truth maintenance so that local consistency is achieved or contradiction discovered in problem solving. Rules for combining, confirming, or disconfirming beliefs are given, and several heuristics are suggested that apply to revising already formed beliefs in the light of new evidence. The strength of belief that results in such revisions based on conflicting evidence are a highly subjective phenomenon. Certain quantification rules appear to reflect an orderliness in the subjectivity. Several examples of reasoning by plausible inference are given, including a legal example and one from robot learning. Propagation of belief takes place in directions forbidden in formal logic and this results in conclusions becoming possible for a given set of assertions that are not reachable by formal logic.

Fuzzy logic application for extruders replacement problem

Directory of Open Access Journals (Sweden)

Edison Conde Perez dos Santos

2017-03-01

Full Text Available In a scenario of uncertainty and imprecision, before taking the replacement analysis, a manager needs to consider the uncertain reality of a problem. In this scenario, the fuzzy logic makes an excellent option. Therefore, it is necessary to make a decision based on the fuzzy model. This study is based on the comparison of two methodologies used in the problem of asset replacement. The study, thus, was based on a comparison between two extruders for polypropylene yarn bibliopegy, comparing mainly the costs involved in maintaining the equipment.

PSQP: Puzzle Solving by Quadratic Programming.

Science.gov (United States)

Andalo, Fernanda A; Taubin, Gabriel; Goldenstein, Siome

2017-02-01

In this article we present the first effective method based on global optimization for the reconstruction of image puzzles comprising rectangle pieces-Puzzle Solving by Quadratic Programming (PSQP). The proposed novel mathematical formulation reduces the problem to the maximization of a constrained quadratic function, which is solved via a gradient ascent approach. The proposed method is deterministic and can deal with arbitrary identical rectangular pieces. We provide experimental results showing its effectiveness when compared to state-of-the-art approaches. Although the method was developed to solve image puzzles, we also show how to apply it to the reconstruction of simulated strip-shredded documents, broadening its applicability.

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

Temporal-logic analysis of microglial phenotypic conversion with exposure to amyloid-β.

Science.gov (United States)

Anastasio, Thomas J

2015-02-01

Alzheimer Disease (AD) remains a leading killer with no adequate treatment. Ongoing research increasingly implicates the brain's immune system as a critical contributor to AD pathogenesis, but the complexity of the immune contribution poses a barrier to understanding. Here I use temporal logic to analyze a computational specification of the immune component of AD. Temporal logic is an extension of logic to propositions expressed in terms of time. It has traditionally been used to analyze computational specifications of complex engineered systems but applications to complex biological systems are now appearing. The inflammatory component of AD involves the responses of microglia to the peptide amyloid-β (Aβ), which is an inflammatory stimulus and a likely causative AD agent. Temporal-logic analysis of the model provides explanations for the puzzling findings that Aβ induces an anti-inflammatory and well as a pro-inflammatory response, and that Aβ is phagocytized by microglia in young but not in old animals. To potentially explain the first puzzle, the model suggests that interferon-γ acts as an "autocrine bridge" over which an Aβ-induced increase in pro-inflammatory cytokines leads to an increase in anti-inflammatory mediators also. To potentially explain the second puzzle, the model identifies a potential instability in signaling via insulin-like growth factor 1 that could explain the failure of old microglia to phagocytize Aβ. The model predicts that augmentation of insulin-like growth factor 1 signaling, and activation of protein kinase C in particular, could move old microglia from a neurotoxic back toward a more neuroprotective and phagocytic phenotype.

Do Puzzle Pieces and Autism Puzzle Piece Logos Evoke Negative Associations?

Science.gov (United States)

Gernsbacher, Morton Ann; Raimond, Adam R.; Stevenson, Jennifer L.; Boston, Jilana S.; Harp, Bev

2018-01-01

Puzzle pieces have become ubiquitous symbols for autism. However, puzzle-piece imagery stirs debate between those who support and those who object to its use because they believe puzzle-piece imagery evokes negative associations. Our study empirically investigated whether puzzle pieces evoke negative associations in the general public.…

USING CLOUD COMPUTING IN SOLVING THE PROBLEMS OF LOGIC

Directory of Open Access Journals (Sweden)

Pavlo V. Mykytenko

2017-02-01

Full Text Available The article provides an overview of the most popular cloud services, in particular those which have their complete office suites, the basic functional characteristics and highlights the advantages and disadvantages of cloud services in the educational process. It was made a comparative analysis of the spreadsheets that are in office suites such cloud services like Zoho Office Suite, Microsoft Office 365 and Google Docs. On the basis of the research and the findings it was suggested the best cloud services for use in the educational process. The possibility of using spreadsheets in the study of logic, from creating formulas that implement logical operations, the creation of means of automation of problem solving process was considered.

The Simple Past Puzzle. A Study of Some Aspects of the Syntax and Semantics of Tense

Directory of Open Access Journals (Sweden)

Nino Gulli

2014-05-01

Full Text Available In this paper, I claim that the so-called present perfect puzzle is, in reality, a puzzle about the simple past. It is the latter, I argue, that shows a puzzling behavior, given that it can be used not only in definite contexts but also in seemingly indefinite ones. I employ the notions of time frame and specifiability to show how the obvious distinction between the two tenses in terms of temporal logic can be accounted for. I also propose that the past morpheme -ed be considered a kind of verb determiner which selects a temporal XP as a complement. Such complement can be (and usually is expressed either in the sentence or in the larger discourse; however, it can also remain implicit, or covert.

The B→πK puzzle and supersymmetry

International Nuclear Information System (INIS)

Imbeault, Maxime; Baek, Seungwon; London, David

2008-01-01

At present, there are discrepancies between the measurements of several observables in B→πK decays and the predictions of the Standard Model (the 'B→πK puzzle'). Although the effect is not yet statistically significant-it is at the level of ≥3σ-it does hint at the presence of new physics. In this Letter, we explore whether supersymmetry (SUSY) can explain the B→πK puzzle. In particular, we consider the SUSY model of Grossman, Neubert and Kagan (GNK). We find that it is extremely unlikely that GNK explains the B→πK data. We also find a similar conclusion in many other models of SUSY. And there are serious criticisms of the two SUSY models that do reproduce the B→πK data. If the B→πK puzzle remains, it could pose a problem for SUSY models

New Sliding Puzzle with Neighbors Swap Motion

OpenAIRE

Prihardono, Ariyanto; Kawagoe, Kenichi

2015-01-01

The sliding puzzles (15-puzzle, 8-puzzle, 5-puzzle) are known to have 2 kind of puz-zle: solvable puzzle and unsolvable puzzle. In this thesis, we make a new puzzle with only 1 kind of it, solvable puzzle. This new puzzle is made by adopting sliding puzzle with several additional rules from M13 puzzle; the puzzle that is formed form The Mathieu group M13. This puzzle has a movement that called a neighbors swap motion, a rule of movement that enables every neighboring points to swap. This extr...

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.

Making Peer-Assisted Content Distribution Robust to Collusion Using Bandwidth Puzzles

Science.gov (United States)

Reiter, Michael K.; Sekar, Vyas; Spensky, Chad; Zhang, Zhenghao

Many peer-assisted content-distribution systems reward a peer based on the amount of data that this peer serves to others. However, validating that a peer did so is, to our knowledge, an open problem; e.g., a group of colluding attackers can earn rewards by claiming to have served content to one another, when they have not. We propose a puzzle mechanism to make contribution-aware peer-assisted content distribution robust to such collusion. Our construction ties solving the puzzle to possession of specific content and, by issuing puzzle challenges simultaneously to all parties claiming to have that content, our mechanism prevents one content-holder from solving many others' puzzles. We prove (in the random oracle model) the security of our scheme, describe our integration of bandwidth puzzles into a media streaming system, and demonstrate the resulting attack resilience via simulations.

CROSSWORD PUZZLE INCREASE ATTENTION OF CHILDREN WITH ADHD

Directory of Open Access Journals (Sweden)

Ah. Yusuf

2017-07-01

Full Text Available Introduction: Attention deficit is one of three main problems of children with Attention Deficit Hyperactivity Disorder (ADHD. Children experience difficulty of paying attention and concentrating to one or more things or objects. As a results these children cannot perform the task well. Crossword puzzle is one of games that may increase attention and concentration. The aim of this study was to analyze the effect of crossword puzzle to increase attention of children with ADHD. Method: Pre-experimental design was employed in this study. The population was ADHD students in Cakra Autisme Therapy. Seven students were recruited by means of purposive sampling. The independent variable was crossword puzzle and the dependent variable was the increase of attention. Data were collected using observation sheet and analyzed using Wilcoxon Signed Rank Test with level of significance of α≤ 0.05. Result: Result showed that crossword puzzle could increase attention. Respondent’s attention improved from less to good attention, particularly in playing activities (p=0.014. Analysis: This finding suggests that there was differences of attention between pre and post-test. It can be concluded that crossword puzzle can increase attention of the students with ADHD. Discussion: It is recommended for teachers and parents of ADHD children to give them crossword puzzle game everyday at school or at home. Further studies should involve larger sample size and employs another game not only to increase attention, but also reduce hyperactivity and impulsivity of ADHD child.

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

Decodoku: Quantum error rorrection as a simple puzzle game

Science.gov (United States)

Wootton, James

To build quantum computers, we need to detect and manage any noise that occurs. This will be done using quantum error correction. At the hardware level, QEC is a multipartite system that stores information non-locally. Certain measurements are made which do not disturb the stored information, but which do allow signatures of errors to be detected. Then there is a software problem. How to take these measurement outcomes and determine: a) The errors that caused them, and (b) how to remove their effects. For qubit error correction, the algorithms required to do this are well known. For qudits, however, current methods are far from optimal. We consider the error correction problem of qubit surface codes. At the most basic level, this is a problem that can be expressed in terms of a grid of numbers. Using this fact, we take the inherent problem at the heart of quantum error correction, remove it from its quantum context, and presented in terms of simple grid based puzzle games. We have developed three versions of these puzzle games, focussing on different aspects of the required algorithms. These have been presented and iOS and Android apps, allowing the public to try their hand at developing good algorithms to solve the puzzles. For more information, see www.decodoku.com. Funding from the NCCR QSIT.

Puzzle-based versus traditional lecture: comparing the effects of pedagogy on academic performance in an undergraduate human anatomy and physiology II lab.

Science.gov (United States)

Stetzik, Lucas; Deeter, Anthony; Parker, Jamie; Yukech, Christine

2015-06-23

A traditional lecture-based pedagogy conveys information and content while lacking sufficient development of critical thinking skills and problem solving. A puzzle-based pedagogy creates a broader contextual framework, and fosters critical thinking as well as logical reasoning skills that can then be used to improve a student's performance on content specific assessments. This paper describes a pedagogical comparison of traditional lecture-based teaching and puzzle-based teaching in a Human Anatomy and Physiology II Lab. Using a single subject/cross-over design half of the students from seven sections of the course were taught using one type of pedagogy for the first half of the semester, and then taught with a different pedagogy for the second half of the semester. The other half of the students were taught the same material but with the order of the pedagogies reversed. Students' performance on quizzes and exams specific to the course, and in-class assignments specific to this study were assessed for: learning outcomes (the ability to form the correct conclusion or recall specific information), and authentic academic performance as described by (Am J Educ 104:280-312, 1996). Our findings suggest a significant improvement in students' performance on standard course specific assessments using a puzzle-based pedagogy versus a traditional lecture-based teaching style. Quiz and test scores for students improved by 2.1 and 0.4% respectively in the puzzle-based pedagogy, versus the traditional lecture-based teaching. Additionally, the assessments of authentic academic performance may only effectively measure a broader conceptual understanding in a limited set of contexts, and not in the context of a Human Anatomy and Physiology II Lab. In conclusion, a puzzle-based pedagogy, when compared to traditional lecture-based teaching, can effectively enhance the performance of students on standard course specific assessments, even when the assessments only test a limited

Solving a binary puzzle

NARCIS (Netherlands)

Utomo, P.H.; Makarim, R.H.

2017-01-01

A Binary puzzle is a Sudoku-like puzzle with values in each cell taken from the set {0,1} {0,1}. Let n≥4 be an even integer, a solved binary puzzle is an n×n binary array that satisfies the following conditions: (1) no three consecutive ones and no three consecutive zeros in each row and each

Solving jigsaw puzzles using image features

DEFF Research Database (Denmark)

Nielsen, Ture R.; Drewsen, Peter; Hansen, Klaus

2008-01-01

In this article, we describe a method for automatic solving of the jigsaw puzzle problem based on using image features instead of the shape of the pieces. The image features are used for obtaining an accurate measure for edge similarity to be used in a new edge matching algorithm. The algorithm i...

Supersymmetry, the flavour puzzle and rare B decays

International Nuclear Information System (INIS)

Straub, David Michael

2010-01-01

The gauge hierarchy problem and the flavour puzzle belong to the most pressing open questions in the Standard Model of particle physics. Supersymmetry is arguably the most popular framework of physics beyond the Standard Model and provides an elegant solution to the gauge hierarchy problem; however, it aggravates the flavour puzzle. In the first part of this thesis, I discuss several approaches to address the flavour puzzle in the minimal supersymmetric extension of the Standard Model and experimental tests thereof: supersymmetric grand unified theories with a unification of Yukawa couplings at high energies, theories with minimal flavour violation and additional sources of CP violation and theories with gauge mediation of supersymmetry breaking and a large ratio of Higgs vacuum expectation values. In the second part of the thesis, I discuss the phenomenology of two rare B meson decay modes which are promising probes of physics beyond the Standard Model: The exclusive B → K * l + l - decay, whose angular decay distribution will be studied at LHC and gives access to a large number of observables and the b→sνanti ν decays, which are in the focus of planned high-luminosity Super B factories. I discuss the predictions for these observables in the Standard Model and their sensitivity to New Physics. (orig.)

Using fuzzy logic for automatic control: Case study of a problem of cereals samples classification

Directory of Open Access Journals (Sweden)

Lakhoua Najeh Mohamed

2009-01-01

Full Text Available The aim of this paper is to present the use of fuzzy logic for automatic control of industrial systems particularly the way to approach a problem of classification. We present a case study of a grading system of cereals that allows us to determine the price of transactions of cereals in Tunisia. Our contribution in this work consists in proposing not only an application of the fuzzy logic on the grading system of cereals but also a methodology enabling the proposing of a new grading system based on the concept of 'Grade' while using the fuzzy logic techniques. .

Optimization methods for logical inference

CERN Document Server

Chandru, Vijay

2011-01-01

Merging logic and mathematics in deductive inference-an innovative, cutting-edge approach. Optimization methods for logical inference? Absolutely, say Vijay Chandru and John Hooker, two major contributors to this rapidly expanding field. And even though ""solving logical inference problems with optimization methods may seem a bit like eating sauerkraut with chopsticks. . . it is the mathematical structure of a problem that determines whether an optimization model can help solve it, not the context in which the problem occurs."" Presenting powerful, proven optimization techniques for logic in

From near to eternity: Spin-glass planting, tiling puzzles, and constraint-satisfaction problems

Science.gov (United States)

Hamze, Firas; Jacob, Darryl C.; Ochoa, Andrew J.; Perera, Dilina; Wang, Wenlong; Katzgraber, Helmut G.

2018-04-01

We present a methodology for generating Ising Hamiltonians of tunable complexity and with a priori known ground states based on a decomposition of the model graph into edge-disjoint subgraphs. The idea is illustrated with a spin-glass model defined on a cubic lattice, where subproblems, whose couplers are restricted to the two values {-1 ,+1 } , are specified on unit cubes and are parametrized by their local degeneracy. The construction is shown to be equivalent to a type of three-dimensional constraint-satisfaction problem known as the tiling puzzle. By varying the proportions of subproblem types, the Hamiltonian can span a dramatic range of typical computational complexity, from fairly easy to many orders of magnitude more difficult than prototypical bimodal and Gaussian spin glasses in three space dimensions. We corroborate this behavior via experiments with different algorithms and discuss generalizations and extensions to different types of graphs.

Investigation of physics thought experiments’ effects on students’ logical problem solving skills

Directory of Open Access Journals (Sweden)

Ince Elif

2016-01-01

Full Text Available The purpose of this study, investigation of physics thought experiments’ effects on students’ logical problem-solving skills in collaborative groups. In this context, it was requested to undergraduate students who have taken General Physics I and General Physics II to develop thought experiments in order to solve daily life problems. At the next stage, students’ thought experiments were classified according to common issues in cooperative groups and were asked to try to solve the problems by using thought experiments’ process from each group. As a result of this study; students’ thought experiments related to daily life were developed and problem solving processes have been presented in detail.

Idea Puzzle

OpenAIRE

Parente, C.; Ferro, L.

2016-01-01

WOS:000387124100017 (Nº de Acesso Web of Science) The Idea Puzzle is a software application created in 2007. It is a support tool to assist PhD students and researchers in the process of designing research projects through a focus on three central dimensions of research that are collectively represented by a triangle. Each side of the Idea Puzzle triangle corresponds to one of the three dimensions that every empirical research project should ideally include: ontology (data), epistemology (...

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.

A Hybrid Method for Modeling and Solving Supply Chain Optimization Problems with Soft and Logical Constraints

Directory of Open Access Journals (Sweden)

Paweł Sitek

2016-01-01

Full Text Available This paper presents a hybrid method for modeling and solving supply chain optimization problems with soft, hard, and logical constraints. Ability to implement soft and logical constraints is a very important functionality for supply chain optimization models. Such constraints are particularly useful for modeling problems resulting from commercial agreements, contracts, competition, technology, safety, and environmental conditions. Two programming and solving environments, mathematical programming (MP and constraint logic programming (CLP, were combined in the hybrid method. This integration, hybridization, and the adequate multidimensional transformation of the problem (as a presolving method helped to substantially reduce the search space of combinatorial models for supply chain optimization problems. The operation research MP and declarative CLP, where constraints are modeled in different ways and different solving procedures are implemented, were linked together to use the strengths of both. This approach is particularly important for the decision and combinatorial optimization models with the objective function and constraints, there are many decision variables, and these are summed (common in manufacturing, supply chain management, project management, and logistic problems. The ECLiPSe system with Eplex library was proposed to implement a hybrid method. Additionally, the proposed hybrid transformed model is compared with the MILP-Mixed Integer Linear Programming model on the same data instances. For illustrative models, its use allowed finding optimal solutions eight to one hundred times faster and reducing the size of the combinatorial problem to a significant extent.

Supersymmetry, the flavour puzzle and rare B decays

Energy Technology Data Exchange (ETDEWEB)

Straub, David Michael

2010-07-14

The gauge hierarchy problem and the flavour puzzle belong to the most pressing open questions in the Standard Model of particle physics. Supersymmetry is arguably the most popular framework of physics beyond the Standard Model and provides an elegant solution to the gauge hierarchy problem; however, it aggravates the flavour puzzle. In the first part of this thesis, I discuss several approaches to address the flavour puzzle in the minimal supersymmetric extension of the Standard Model and experimental tests thereof: supersymmetric grand unified theories with a unification of Yukawa couplings at high energies, theories with minimal flavour violation and additional sources of CP violation and theories with gauge mediation of supersymmetry breaking and a large ratio of Higgs vacuum expectation values. In the second part of the thesis, I discuss the phenomenology of two rare B meson decay modes which are promising probes of physics beyond the Standard Model: The exclusive B {yields} K{sup *}l{sup +}l{sup -} decay, whose angular decay distribution will be studied at LHC and gives access to a large number of observables and the b{yields}s{nu}anti {nu} decays, which are in the focus of planned high-luminosity Super B factories. I discuss the predictions for these observables in the Standard Model and their sensitivity to New Physics. (orig.)

A Hierarchical Interface Design of a Puzzle Game for Elementary Education

OpenAIRE

Eun-Young Park; Young-Ho Park

2010-01-01

A basic instinct of humans for perfect completion usually drives us happy. Basically, humans purchase a certain complete match for scattered facts. The satisfaction of completing the scattered pieces gives us great pleasure. Thus many people put in their time and effort in the puzzle, and they gain strong satisfaction. The paper solves the importance of the general effects of a puzzle in building the edu-game design. Legacy online education has following problems. First, educational effects b...

Food puzzles for cats: Feeding for physical and emotional wellbeing.

Science.gov (United States)

Dantas, Leticia Ms; Delgado, Mikel M; Johnson, Ingrid; Buffington, Ca Tony

2016-09-01

Many pet cats are kept indoors for a variety of reasons (eg, safety, health, avoidance of wildlife predation) in conditions that are perhaps the least natural to them. Indoor housing has been associated with health issues, such as chronic lower urinary tract signs, and development of problem behaviors, which can cause weakening of the human-animal bond and lead to euthanasia of the cat. Environmental enrichment may mitigate the effects of these problems and one approach is to take advantage of cats' natural instinct to work for their food. In this article we aim to equip veterinary professionals with the tools to assist clients in the use of food puzzles for their cats as a way to support feline physical health and emotional wellbeing. We outline different types of food puzzles, and explain how to introduce them to cats and how to troubleshoot challenges with their use. The effect of food puzzles on cats is a relatively new area of study, so as well as reviewing the existing empirical evidence, we provide case studies from our veterinary and behavioral practices showing health and behavioral benefits resulting from their use. © The Author(s) 2016.

Logic feels so good-I like it! Evidence for intuitive detection of logicality in syllogistic reasoning.

Science.gov (United States)

Morsanyi, Kinga; Handley, Simon J

2012-05-01

When people evaluate syllogisms, their judgments of validity are often biased by the believability of the conclusions of the problems. Thus, it has been suggested that syllogistic reasoning performance is based on an interplay between a conscious and effortful evaluation of logicality and an intuitive appreciation of the believability of the conclusions (e.g., Evans, Newstead, Allen, & Pollard, 1994). However, logic effects in syllogistic reasoning emerge even when participants are unlikely to carry out a full logical analysis of the problems (e.g., Shynkaruk & Thompson, 2006). There is also evidence that people can implicitly detect the conflict between their beliefs and the validity of the problems, even if they are unable to consciously produce a logical response (e.g., De Neys, Moyens, & Vansteenwegen, 2010). In 4 experiments we demonstrate that people intuitively detect the logicality of syllogisms, and this effect emerges independently of participants' conscious mindset and their cognitive capacity. This logic effect is also unrelated to the superficial structure of the problems. Additionally, we provide evidence that the logicality of the syllogisms is detected through slight changes in participants' affective states. In fact, subliminal affective priming had an effect on participants' subjective evaluations of the problems. Finally, when participants misattributed their emotional reactions to background music, this significantly reduced the logic effect. (c) 2012 APA, all rights reserved.

Bivalence, Classical Logic and the Problem of Contingent Statements

African Journals Online (AJOL)

... the core of logic; Furthermore, there may be no conflict between the principle of bivalence and other systems of logic that are not strictly bivalent, if their justification does not rely on a rejection of the principle of bivalence. Keywords: Bivalence, Contingent statements, Classical logic, Non-contradiction, Necessity, Ontology ...

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.

A Resolution Prover for Coalition Logic

OpenAIRE

Nalon, Cláudia; Zhang, Lan; Dixon, Clare; Hustadt, Ullrich

2014-01-01

We present a prototype tool for automated reasoning for Coalition Logic, a non-normal modal logic that can be used for reasoning about cooperative agency. The theorem prover CLProver is based on recent work on a resolution-based calculus for Coalition Logic that operates on coalition problems, a normal form for Coalition Logic. We provide an overview of coalition problems and of the resolution-based calculus for Coalition Logic. We then give details of the implementation of CLProver and prese...

Edge-Matching Problems with Rotations

DEFF Research Database (Denmark)

Ebbesen, Martin; Fischer, Paul; Witt, Carsten

2011-01-01

Edge-matching problems, also called puzzles, are abstractions of placement problems with neighborhood conditions. Pieces with colored edges have to be placed on a board such that adjacent edges have the same color. The problem has gained interest recently with the (now terminated) Eternity II...... puzzle, and new complexity results. In this paper we consider a number of settings which differ in size of the puzzles and the manipulations allowed on the pieces. We investigate the effect of allowing rotations of the pieces on the complexity of the problem, an aspect that is only marginally treated so...

Introduction to fuzzy logic using Matlab

CERN Document Server

Sivanandam, SN; Deepa, S N

2006-01-01

Fuzzy Logic, at present is a hot topic, among academicians as well various programmers. This book is provided to give a broad, in-depth overview of the field of Fuzzy Logic. The basic principles of Fuzzy Logic are discussed in detail with various solved examples. The different approaches and solutions to the problems given in the book are well balanced and pertinent to the Fuzzy Logic research projects. The applications of Fuzzy Logic are also dealt to make the readers understand the concept of Fuzzy Logic. The solutions to the problems are programmed using MATLAB 6.0 and the simulated results are given. The MATLAB Fuzzy Logic toolbox is provided for easy reference.

Neural bases for basic processes in heuristic problem solving: Take solving Sudoku puzzles as an example.

Science.gov (United States)

Qin, Yulin; Xiang, Jie; Wang, Rifeng; Zhou, Haiyan; Li, Kuncheng; Zhong, Ning

2012-12-01

Newell and Simon postulated that the basic steps in human problem-solving involve iteratively applying operators to transform the state of the problem to eventually achieve a goal. To check the neural basis of this framework, the present study focused on the basic processes in human heuristic problem-solving that the participants identified the current problem state and then recalled and applied the corresponding heuristic rules to change the problem state. A new paradigm, solving simplified Sudoku puzzles, was developed for an event-related functional magnetic resonance imaging (fMRI) study in problem solving. Regions of interest (ROIs), including the left prefrontal cortex, the bilateral posterior parietal cortex, the anterior cingulated cortex, the bilateral caudate nuclei, the bilateral fusiform, as well as the bilateral frontal eye fields, were found to be involved in the task. To obtain convergent evidence, in addition to traditional statistical analysis, we used the multivariate voxel classification method to check the accuracy of the predictions for the condition of the task from the blood oxygen level dependent (BOLD) response of the ROIs, using a new classifier developed in this study for fMRI data. To reveal the roles that the ROIs play in problem solving, we developed an ACT-R computational model of the information-processing processes in human problem solving, and tried to predict the BOLD response of the ROIs from the task. Advances in human problem-solving research after Newell and Simon are then briefly discussed. © 2012 The Institute of Psychology, Chinese Academy of Sciences and Blackwell Publishing Asia Pty Ltd.

Pedagogy Corner: The Architect's Puzzle

Science.gov (United States)

Lovitt, Charles

2017-01-01

Some years back, the author found the following problem in a spatial puzzle book: how many ways can you put four blocks together, face to face (with no vertical rotation symmetry)? He gave each student just four blocks and they collectively tried combinations to eventually agree on the answer of 15. He used to think it was a halfway decent task,…

A Resolution Prover for Coalition Logic

Directory of Open Access Journals (Sweden)

Cláudia Nalon

2014-04-01

Full Text Available We present a prototype tool for automated reasoning for Coalition Logic, a non-normal modal logic that can be used for reasoning about cooperative agency. The theorem prover CLProver is based on recent work on a resolution-based calculus for Coalition Logic that operates on coalition problems, a normal form for Coalition Logic. We provide an overview of coalition problems and of the resolution-based calculus for Coalition Logic. We then give details of the implementation of CLProver and present the results for a comparison with an existing tableau-based solver.

The PPP Puzzle

DEFF Research Database (Denmark)

Juselius, Katarina

The persistent movements away from long-run benchmark values in real exchange rates, dubbed the PPP puzzle, observed in many real exchange rates during periods of currency float have been subject to much empirical research without resolving the puzzle. The paper demonstrates how the cointegrated...... VAR approach by grouping together components of similar persistence can be used to uncover structures in the data that ultimately may help to explain theoretically the forces underlying such puzzling movements. The charaterization of the data into components which are empirically I(0), I(1), and I(2......) is shown to be a powerful organizing principle allowing us to structure the data in long-run, medium-run, and short-run behavior. Its main advantage is the ability to associate persistent movements away from fundamental benchmark values in one variable/relation with similar persistent movements somewhere...

Basic Functional Analysis Puzzles of Spectral Flow

DEFF Research Database (Denmark)

Booss-Bavnbek, Bernhelm

2011-01-01

We explain an array of basic functional analysis puzzles on the way to general spectral flow formulae and indicate a direction of future topological research for dealing with these puzzles.......We explain an array of basic functional analysis puzzles on the way to general spectral flow formulae and indicate a direction of future topological research for dealing with these puzzles....

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.

Layered Fixed Point Logic

DEFF Research Database (Denmark)

Filipiuk, Piotr; Nielson, Flemming; Nielson, Hanne Riis

2012-01-01

We present a logic for the specification of static analysis problems that goes beyond the logics traditionally used. Its most prominent feature is the direct support for both inductive computations of behaviors as well as co-inductive specifications of properties. Two main theoretical contributions...... are a Moore Family result and a parametrized worst case time complexity result. We show that the logic and the associated solver can be used for rapid prototyping of analyses and illustrate a wide variety of applications within Static Analysis, Constraint Satisfaction Problems and Model Checking. In all cases...

Mathematical logic as a mean of solving the problems of power supply for buildings and constructions

Science.gov (United States)

Pryadko, Igor; Nozdrina, Ekaterina; Boltaevsky, Andrey

2017-10-01

The article analyzes the questions of application of mathematical logic in engineering design associated with machinery and construction. The aim of the work is to study the logical working-out of Russian electrical engineer V.I. Shestakov. These elaborations are considered in connection with the problem of analysis and synthesis of relay contact circuits of the degenerate (A) class which the scientist solved. The article proposes to use Shestakov’s elaborations for optimization of buildings and constructions of modern high-tech. In the second part of the article the events are actualized in association with the development of problems of application of mathematical logic in the analysis and synthesis of electric circuits, relay and bridging. The arguments in favor of the priority of the authorship of the elaborations of Russian electrical engineer V. I. Shestakov, K. Shannon - one of the founders of computer science, and Japanese engineer A. Nakashima are discussed. The issue of contradiction between V. I. Shestakov and representatives of the school of M. A. Gavrilov is touched on.

The Anatomy Puzzle Book.

Science.gov (United States)

Jacob, Willis H.; Carter, Robert, III

This document features review questions, crossword puzzles, and word search puzzles on human anatomy. Topics include: (1) Anatomical Terminology; (2) The Skeletal System and Joints; (3) The Muscular System; (4) The Nervous System; (5) The Eye and Ear; (6) The Circulatory System and Blood; (7) The Respiratory System; (8) The Urinary System; (9) The…

Crossword Puzzles as a Learning Tool for Vocabulary Development

Science.gov (United States)

Orawiwatnakul, Wiwat

2013-01-01

Introduction: Since vocabulary is a key basis on which reading achievement depends, various vocabulary acquisition techniques have become pivotal. Among the many teaching approaches, traditional or otherwise, the use of crossword puzzles seems to offer potential and a solution for the problem of learning vocabulary. Method: This study was…

Tangrams: Puzzles of Art

Science.gov (United States)

Fee, Brenda

2009-01-01

Challenging one's brain is the beginning of making great art. Tangrams are a great way to keep students thinking about their latest art project long after leaving the classroom. A tangram is a Chinese puzzle. The earliest known reference to tangrams appears in a Chinese book dated 1813, but the puzzles existed long before that date. The puzzle…

Logic Programming: PROLOG.

Science.gov (United States)

Lopez, Antonio M., Jr.

1989-01-01

Provides background material on logic programing and presents PROLOG as a high-level artificial intelligence programing language that borrows its basic constructs from logic. Suggests the language is one which will help the educator to achieve various goals, particularly the promotion of problem solving ability. (MVL)

High-mass twins & resolution of the reconfinement, masquerade and hyperon puzzles of compact star interiors

International Nuclear Information System (INIS)

Blaschke, David; Alvarez-Castillo, David E.

2016-01-01

We aim at contributing to the resolution of three of the fundamental puzzles related to the still unsolved problem of the structure of the dense core of compact stars (CS): (i) the hyperon puzzle: how to reconcile pulsar masses of 2 M ⊙ with the hyperon softening of the equation of state (EoS); (ii) the masquerade problem: modern EoS for cold, high density hadronic and quark matter are almost identical; and (iii) the reconfinement puzzle: what to do when after a deconfinement transition the hadronic EoS becomes favorable again? We show that taking into account the compositeness of baryons (by excluded volume and/or quark Pauli blocking) on the hadronic side and confining and stiffening effects on the quark matter side results in an early phase transition to quark matter with sufficient stiffening at high densities which removes all three present-day puzzles of CS interiors. Moreover, in this new class of EoS for hybrid CS falls the interesting case of a strong first order phase transition which results in the observable high mass twin star phenomenon, an astrophysical observation of a critical endpoint in the QCD phase diagram

A study of fuzzy logic ensemble system performance on face recognition problem

Science.gov (United States)

Polyakova, A.; Lipinskiy, L.

2017-02-01

Some problems are difficult to solve by using a single intelligent information technology (IIT). The ensemble of the various data mining (DM) techniques is a set of models which are able to solve the problem by itself, but the combination of which allows increasing the efficiency of the system as a whole. Using the IIT ensembles can improve the reliability and efficiency of the final decision, since it emphasizes on the diversity of its components. The new method of the intellectual informational technology ensemble design is considered in this paper. It is based on the fuzzy logic and is designed to solve the classification and regression problems. The ensemble consists of several data mining algorithms: artificial neural network, support vector machine and decision trees. These algorithms and their ensemble have been tested by solving the face recognition problems. Principal components analysis (PCA) is used for feature selection.

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.

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

Combining Paraconsistent Logic with Argumentation

NARCIS (Netherlands)

Grooters, Diana; Prakken, Hendrik

2014-01-01

One tradition in the logical study of argumentation is to allow for arguments that combine strict and defeasible inference rules, and to derive the strict inference rules from a logic at least as strong as classical logic. An unsolved problem in this tradition is how the trivialising effect of the

First-Order Hybrid Logic

DEFF Research Database (Denmark)

Braüner, Torben

2011-01-01

Hybrid logic is an extension of modal logic which allows us to refer explicitly to points of the model in the syntax of formulas. It is easy to justify interest in hybrid logic on applied grounds, with the usefulness of the additional expressive power. For example, when reasoning about time one...... 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....... For example, it becomes far simpler to formulate proof-systems for hybrid logic, and completeness results can be proved of a generality that is simply not available in modal logic. That is, hybridization is a systematic way of remedying a number of known deficiencies of modal logic. First-order hybrid logic...

Puzzles of large scale structure and gravitation

International Nuclear Information System (INIS)

Sidharth, B.G.

2006-01-01

We consider the puzzle of cosmic voids bounded by two-dimensional structures of galactic clusters as also a puzzle pointed out by Weinberg: How can the mass of a typical elementary particle depend on a cosmic parameter like the Hubble constant? An answer to the first puzzle is proposed in terms of 'Scaled' Quantum Mechanical like behaviour which appears at large scales. The second puzzle can be answered by showing that the gravitational mass of an elementary particle has a Machian character (see Ahmed N. Cantorian small worked, Mach's principle and the universal mass network. Chaos, Solitons and Fractals 2004;21(4))

Sleep for Kids: Games and Puzzles

Science.gov (United States)

... and puzzles can help you learn more about sleep! Learn about sleep with this fun crossword puzzle! Test your memory and learn how to get better sleep! Find the hidden sleep words! Avoid things that ...

Right frontal gamma and beta band enhancement while solving a spatial puzzle with insight.

Science.gov (United States)

Rosen, A; Reiner, M

2017-12-01

Solving a problem with an "a-ha" effect is known as insight. Unlike incremental problem solving, insight is sudden and unique, and the question about its distinct brain activity, intrigues many researchers. In this study, electroencephalogram signals were recorded from 12 right handed, human participants before (baseline) and while they solved a spatial puzzle known as the '10 coin puzzle' that could be solved incrementally or by insight. Participants responded as soon as they reached a solution and reported whether the process was incremental or by sudden insight. EEG activity was recorded from 19 scalp locations. We found significant differences between insight and incremental solvers in the Gamma and Beta 2 bands in frontal areas (F8) and in the alpha band in right temporal areas (T6). The right-frontal gamma indicates a process of restructuring which leads to an insight solution, in spatial problems, further suggesting a universal role of gamma in restructuring. These results further suggest that solving a spatial puzzle via insight requires exclusive brain areas and neurological-cognitive processes which may be important for meta-cognitive components of insight solutions, including attention and monitoring of the solution. Copyright © 2016 Elsevier B.V. All rights reserved.

Implementation of fuzzy logic control algorithm in embedded ...

African Journals Online (AJOL)

Fuzzy logic control algorithm solves problems that are difficult to address with traditional control techniques. This paper describes an implementation of fuzzy logic control algorithm using inexpensive hardware as well as how to use fuzzy logic to tackle a specific control problem without any special software tools. As a case ...

Four lives a celebration of Raymond Smullyan

CERN Document Server

Rosenhouse, Jason

2014-01-01

This ""best of"" collection of works by Raymond Smullyan features excerpts from his published writings, including logic puzzles, explorations of mathematical logic and paradoxes, retrograde analysis chess problems, jokes and anecdotes, and meditations on the philosophy of religion. In addition, numerous personal tributes salute this celebrated professor, author, and logic scholar who is also a magician and musician.

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.

Logic problems and solutions for memory signal of SEC pump in FQNP

International Nuclear Information System (INIS)

Lu Yanfei; Dang Xiaoqiang; Zhou Li; Ye Aiai

2014-01-01

In the Fuqing nuclear power plant, as a nuclear safety function system, the essential service water system is set two trains, and there are two pumps in each train. These pumps can be switched automatically according to the operation conditions. The signal which performs the automatic switch function called memory signal. This paper introduces the definition and role of the memory signal firstly, and then analyzes the logic of the two mutual backup SEC pumps, and the implementation method based on DCS platform. Finally, this paper presents the problems of memory signal during the commissioning and operation. Meanwhile, this paper proposes solutions to solve these problems, and analyzes the risk of the solutions, as well the significance for later units. (authors)

Phthalate Puzzle

Indian Academy of Sciences (India)

Abstract. The most common plasticizer, phthalates, are facing stricterregulations due to their omnipresence and possible effects onhuman health, and environment. But high cost, lack of applicationrange, and unknown long-term effects of non-phthalatealternatives make the scenario puzzling.

KEEFEKTIFAN MODEL PEMBELAJARAN WORD SQUARE BERBANTU MEDIA PUZZLE PADA MATA PELAJARAN IPS SD

Directory of Open Access Journals (Sweden)

IBNATUL IZZATI

2018-01-01

Full Text Available Abstract                The problems of this research was: how the effectiveness of Word Square learning model supported by Puzzle media to improve learning outcome of Social subject of third grade at Public Elementary School of Wonopringgo 01 (SDN 01 Wonopringgo? The type of this research was True Experiment Design with type of pretest-posttest control group design one kind of treatment. The samples were taken from students of the third grade of A SDN 01 Wonopringgo in the academic year 2016/2017. The data in this study was obtained through tests and documentation. Experimental research on the third grade of A which was given Word Square learning model supported by Puzzle media and the third grade of B was not given Word Square learning model supported by Puzzle media. Posttest results showed that the percentage of posttest grade of the experimental class was 95% of students expressed thoroughly, while the control class is 70%, and based on t test one-party analysis obtained ttest > ttable = 3,100816112> 1.72. Thus, it could be concluded that the learning with Word Square model supported by Puzzle media was effective against student learning outcomes in Social subjects (IPS the third grade at SDN 01 Wonopringgo Pekalongan. Keywords : effectiveness, word square, puzzle

Musings on the puzzle piece.

Science.gov (United States)

Goin-Kochel, Robin P

2016-02-01

Following is a brief musing on Roy Grinker's discussion of what the puzzle piece symbolizes for autism during his presentation at the 2015 International Meeting for Autism Research. In his words, "The puzzle piece is ubiquitous." It likely holds a different meaning for each of us, and this is how one autism researcher sees it. © The Author(s) 2015.

Imaginary Cubes and Their Puzzles

Directory of Open Access Journals (Sweden)

Hideki Tsuiki

2012-05-01

Full Text Available Imaginary cubes are three dimensional objects which have square silhouette projections in three orthogonal ways just as a cube has. In this paper, we study imaginary cubes and present assembly puzzles based on them. We show that there are 16 equivalence classes of minimal convex imaginary cubes, among whose representatives are a hexagonal bipyramid imaginary cube and a triangular antiprism imaginary cube. Our main puzzle is to put three of the former and six of the latter pieces into a cube-box with an edge length of twice the size of the original cube. Solutions of this puzzle are based on remarkable properties of these two imaginary cubes, in particular, the possibility of tiling 3D Euclidean space.

On Attributes, Roles, and Dependencies in Description Logics and the Ackermann Case of the Decision Problem

DEFF Research Database (Denmark)

Toman, David; Weddel, Grant Edwin

2001-01-01

We present a decision procedure for the logical implication problem of a boolean complete DL dialect that includes attributes roles inverse roles and a new concept constructor that is capable of expressing a variety of equality and order generating dependencies The procedure underlies a mapping o...

Application of temporal LNC logic in artificial intelligence

Science.gov (United States)

Adamek, Marek; Mulawka, Jan

2016-09-01

This paper presents the temporal logic inference engine developed in our university. It is an attempt to demonstrate implementation and practical application of temporal logic LNC developed in Cardinal Stefan Wyszynski University in Warsaw.1 The paper describes the fundamentals of LNC logic, architecture and implementation of inference engine. The practical application is shown by providing the solution for popular in Artificial Intelligence problem of Missionaries and Cannibals in terms of LNC logic. Both problem formulation and inference engine are described in details.

Popular lectures on mathematical logic

CERN Document Server

Wang, Hao

2014-01-01

A noted logician and philosopher addresses various forms of mathematical logic, discussing both theoretical underpinnings and practical applications. Author Hao Wang surveys the central concepts and theories of the discipline in a historical and developmental context, and then focuses on the four principal domains of contemporary mathematical logic: set theory, model theory, recursion theory and constructivism, and proof theory.Topics include the place of problems in the development of theories of logic and logic's relation to computer science. Specific attention is given to Gödel's incomplete

Hadronic decay puzzle in charmonium physics

International Nuclear Information System (INIS)

Gu Yifan

1996-01-01

Recent experimental results obtained at Beijing Electron-proton Collider sensitivity level the crisply defined nature of the hadronic decay puzzle in charmonium physics. Discovery of new anomalous decay modes breaks with the previously established pattern of the puzzle, and poses new challenges for its theoretical understanding

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

Logically automorphically equivalent knowledge bases

OpenAIRE

Aladova, Elena; Plotkin, Tatjana

2017-01-01

Knowledge bases theory provide an important example of the field where applications of universal algebra and algebraic logic look very natural, and their interaction with practical problems arising in computer science might be very productive. In this paper we study the equivalence problem for knowledge bases. Our interest is to find out how the informational equivalence is related to the logical description of knowledge. Studying various equivalences of knowledge bases allows us to compare d...

Geoscience Data Puzzles: Developing Students' Ability to Make Meaning from Data

Science.gov (United States)

Kastens, K. A.; Turrin, M.

2010-12-01

One of the most fundamental aspects of geoscience expertise is the ability to extract insights from observational earth data. Where an expert might see trends, patterns, processes, and candidate causal relationships, a novice could look at the same data representation and see dots, wiggles and blotches of color. The problem is compounded when the student was not personally involved in collecting the data or samples and thus has no experiential knowledge of the Earth setting that the data represent. In other words, the problem is especially severe when students tap into the vast archives of professionally-collected data that the geoscience community has worked so hard to make available for instructional use over the internet. Moreover, most high school and middle school teachers did not themselves learn Earth Science through analyzing data, and they may lack skills and/or confidence needed to scaffold students through the process of learning to interpret realistically-complex data sets. We have developed “Geoscience Data Puzzles” with the paired goals of (a) helping students learn about the earth from data, and (b) helping teachers learn to teach with data. Geoscience Data Puzzles are data-using activities that purposefully present a low barrier-to-entry for teachers and a high ratio of insight-to-effort for students. Each Puzzle uses authentic geoscience data, but the data are carefully pre-selected in order to illuminate a fundamental Earth process within tractable snippets of data. Every Puzzle offers "Aha" moments, when the connection between data and process comes clear in a rewarding burst of insight. Every Puzzle is accompanied by a Pedagogical Content Knowledge (PCK) guide, which explicates the chain of reasoning by which the puzzle-solver can use the evidence provided by the data to construct scientific claims. Four types of reasoning are stressed: spatial reasoning, in which students make inferences from observations about location, orientation, shape

Threshold Concepts in the Development of Problem-Solving Skills

Science.gov (United States)

Wismath, Shelly; Orr, Doug; MacKay, Bruce

2015-01-01

Problem-solving skills are often identified as a key component of 21st century education. This study collected data from students enrolled in a university-level Liberal Education science course called "Problems and Puzzles," which introduced students to the theory and practice of problem solving via puzzles. Based on classroom…

A History of Probabilistic Inductive Logic Programming

Directory of Open Access Journals (Sweden)

Fabrizio eRiguzzi

2014-09-01

Full Text Available The field of Probabilistic Logic Programming (PLP has seen significant advances in the last 20 years, with many proposals for languages that combine probability with logic programming. Since the start, the problem of learning probabilistic logic programs has been the focus of much attention. Learning these programs represents a whole subfield of Inductive Logic Programming (ILP. In Probabilistic ILP (PILP two problems are considered: learning the parameters of a program given the structure (the rules and learning both the structure and the parameters. Usually structure learning systems use parameter learning as a subroutine. In this article we present an overview of PILP and discuss the main results.

PENERAPAN JIGSAW PUZZLE COMPETITION DALAM PEMBELAJARAN KONTEKSTUAL UNTUK MENINGKATKAN MINAT DAN HASIL BELAJAR FISIKA SISWA SMP

Directory of Open Access Journals (Sweden)

D. Yulianti

2012-01-01

Full Text Available Untuk mengatasi kurangnya minat dan hasil belajar fisika siswa dilakukan penelitian melalui kegiatan pembelajaran fisikakontekstual berbantuan jigsaw puzzle competititon. Subjek penelitian ini adalah siswa kelas VII H SMP Negeri 18 Semarang.Penelitian ini telah dilakukan pembelajaran dengan pendekatan kontekstual berbantuan jigsaw puzzle competition. Hasilpenelitian menunjukkan bahwa pembelajaran kontekstual berbantuan jigsaw puzzle competition mampu meningkatan minat danhasil belajar siswa kelas VII H SMPNegeri 18 Semarang tahun pelajaran 2008/2009 secara signifikan. Agar lebih efektif sebaiknyadikembangkan pembelajaran kontekstual dengan metode lain agar diperoleh peningkatan minat dan hasil belajar Model ini perludiaplikasikan dalam pembelajaran fisika untuk materi yang lain. To overcome the problem of lack of students' interest as well as their achievements a Jigsaw Puzzle Competition in physicscontextual learning process was done. The students from VIIHclass of Junior High School 18 Semarang academic year 2008/2009were chosen as the subjects. The result of this research shows that contextual teaching and learning using Jigsaw PuzzleCompetition approach was not only increase the students' interest but also improve their achievements. In order to get moreeffective result, it is necessary to develop contextual teaching and learning by combining them with other method. Because of thegreat benefit of this model, it is necessary to apply this model to other physics learning concepts.Keywords: Jigsaw Puzzle Competition, contextual, interest;

Magnonic logic circuits

International Nuclear Information System (INIS)

Khitun, Alexander; Bao Mingqiang; Wang, Kang L

2010-01-01

We describe and analyse possible approaches to magnonic logic circuits and basic elements required for circuit construction. A distinctive feature of the magnonic circuitry is that information is transmitted by spin waves propagating in the magnetic waveguides without the use of electric current. The latter makes it possible to exploit spin wave phenomena for more efficient data transfer and enhanced logic functionality. We describe possible schemes for general computing and special task data processing. The functional throughput of the magnonic logic gates is estimated and compared with the conventional transistor-based approach. Magnonic logic circuits allow scaling down to the deep submicrometre range and THz frequency operation. The scaling is in favour of the magnonic circuits offering a significant functional advantage over the traditional approach. The disadvantages and problems of the spin wave devices are also discussed.

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.

The Magnets Puzzle is NP-Complete

DEFF Research Database (Denmark)

Kölker, Jonas

2012-01-01

In a Magnets puzzle, one must pack magnets in a box subjet to polarity and numeric constraints. We show that solvability of Magnets instances is NP-complete.......In a Magnets puzzle, one must pack magnets in a box subjet to polarity and numeric constraints. We show that solvability of Magnets instances is NP-complete....

Blood Type Puzzle.

Science.gov (United States)

Kelly, Janet

1997-01-01

Presents a blood type puzzle that provides a visual, hands-on mechanism by which students can examine blood group reactions. Offers students an opportunity to construct their own knowledge about blood types. (JRH)

Early puzzle play: a predictor of preschoolers' spatial transformation skill.

Science.gov (United States)

Levine, Susan C; Ratliff, Kristin R; Huttenlocher, Janellen; Cannon, Joanna

2012-03-01

Individual differences in spatial skill emerge prior to kindergarten entry. However, little is known about the early experiences that may contribute to these differences. The current study examined the relation between children's early puzzle play and their spatial skill. Children and parents (n = 53) were observed at home for 90 min every 4 months (6 times) between 2 and 4 years of age (26 to 46 months). When children were 4 years 6 months old, they completed a spatial task involving mental transformations of 2-dimensional shapes. Children who were observed playing with puzzles performed better on this task than those who did not, controlling for parent education, income, and overall parent word types. Moreover, among those children who played with puzzles, frequency of puzzle play predicted performance on the spatial transformation task. Although the frequency of puzzle play did not differ for boys and girls, the quality of puzzle play (a composite of puzzle difficulty, parent engagement, and parent spatial language) was higher for boys than for girls. In addition, variation in puzzle play quality predicted performance on the spatial transformation task for girls but not for boys. Implications of these findings as well as future directions for research on the role of puzzle play in the development of spatial skill are discussed. PsycINFO Database Record (c) 2012 APA, all rights reserved.

Early Puzzle Play: A predictor of preschoolers’ spatial transformation skill

Science.gov (United States)

Levine, S.C.; Ratliff, K.R.; Huttenlocher, J.; Cannon, J.

2011-01-01

Individual differences in spatial skill emerge prior to kindergarten entry. However, little is known about the early experiences that may contribute to these differences. The current study examines the relation between children’s early puzzle play and their spatial skill. Children and parents (n = 53) were observed at home for 90 minutes every four months (six times) between 2 and 4 years of age (26 to 46 months). When children were 4 years 6 months old, they completed a spatial task involving mental transformations of 2D shapes. Children who were observed playing with puzzles performed better on this task than those who did not, controlling for parent education, income, and overall parent word types. Moreover, among those children who played with puzzles, frequency of puzzle play predicted performance on the spatial transformation task. Although the frequency of puzzle play did not differ for boys and girls, the quality of puzzle play (a composite of puzzle difficulty, parent engagement, and parent spatial language) was higher for boys than girls. In addition, variation in puzzle play quality predicted performance on the spatial transformation task for girls but not boys. Implications of these findings as well as future directions for research on the role of the role of puzzle play in the development of spatial skill are discussed. PMID:22040312

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

Design and experimentation of BSFQ logic devices

International Nuclear Information System (INIS)

Hosoki, T.; Kodaka, H.; Kitagawa, M.; Okabe, Y.

1999-01-01

Rapid single flux quantum (RSFQ) logic needs synchronous pulses for each gate, so the clock-wiring problem is more serious when designing larger scale circuits with this logic. So we have proposed a new SFQ logic which follows Boolean algebra perfectly by using set and reset pulses. With this logic, the level information of current input is transmitted with these pulses generated by level-to-pulse converters, and each gate calculates logic using its phase level made by these pulses. Therefore, our logic needs no clock in each gate. We called this logic 'Boolean SFQ (BSFQ) logic'. In this paper, we report design and experimentation for an AND gate with inverting input based on BSFQ logic. The experimental results for OR and XOR gates are also reported. (author)

Proposal for the Formalization of Dialectical Logic

Directory of Open Access Journals (Sweden)

José Luis Usó-Doménech

2016-12-01

Full Text Available Classical logic is typically concerned with abstract analysis. The problem for a synthetic logic is to transcend and unify available data to reconstruct the object as a totality. Three rules are proposed to pass from classic logic to synthetic logic. We present the category logic of qualitative opposition using examples from various sciences. This logic has been defined to include the neuter as part of qualitative opposition. The application of these rules to qualitative opposition, and, in particular, its neuter, demonstrated that a synthetic logic allows the truth of some contradictions. This synthetic logic is dialectical with a multi-valued logic, which gives every proposition a truth value in the interval [0,1] that is the square of the modulus of a complex number. In this dialectical logic, contradictions of the neuter of an opposition may be true.

Puzzle of magnetic moments of Ni clusters revisited using quantum Monte Carlo method.

Science.gov (United States)

Lee, Hung-Wen; Chang, Chun-Ming; Hsing, Cheng-Rong

2017-02-28

The puzzle of the magnetic moments of small nickel clusters arises from the discrepancy between values predicted using density functional theory (DFT) and experimental measurements. Traditional DFT approaches underestimate the magnetic moments of nickel clusters. Two fundamental problems are associated with this puzzle, namely, calculating the exchange-correlation interaction accurately and determining the global minimum structures of the clusters. Theoretically, the two problems can be solved using quantum Monte Carlo (QMC) calculations and the ab initio random structure searching (AIRSS) method correspondingly. Therefore, we combined the fixed-moment AIRSS and QMC methods to investigate the magnetic properties of Ni n (n = 5-9) clusters. The spin moments of the diffusion Monte Carlo (DMC) ground states are higher than those of the Perdew-Burke-Ernzerhof ground states and, in the case of Ni 8-9 , two new ground-state structures have been discovered using the DMC calculations. The predicted results are closer to the experimental findings, unlike the results predicted in previous standard DFT studies.

Difficult Sudoku Puzzles Created by Replica Exchange Monte Carlo Method

OpenAIRE

Watanabe, Hiroshi

2013-01-01

An algorithm to create difficult Sudoku puzzles is proposed. An Ising spin-glass like Hamiltonian describing difficulty of puzzles is defined, and difficult puzzles are created by minimizing the energy of the Hamiltonian. We adopt the replica exchange Monte Carlo method with simultaneous temperature adjustments to search lower energy states efficiently, and we succeed in creating a puzzle which is the world hardest ever created in our definition, to our best knowledge. (Added on Mar. 11, the ...

Refraining from terror: the puzzle of non violence in Western Sahara

Directory of Open Access Journals (Sweden)

Matthew Porges

2018-02-01

Full Text Available In Western Sahara, the former Spanish colony occupied by Morocco since 1975, virtually no violent resistance has been mounted by the indigenous Sahrawi people since the end of the 1975-1991 war between Morocco and the pro-independence Polisario Front. This absence of violence is puzzling in the light of several factors: the widespread public support for independence; the social and economic disparities between Moroccan and Sahrawi inhabitants of the territory; and Morocco’s brutal repression of Sahrawi culture, resistance, and expressions of proindependence feeling. This article examines the logic of violence (and its absence and of resistance, and draws lessons from Western Sahara. As well as advancing theoretical development, the article makes a methodological contribution to the study of resistance, and improves our understanding of the Western Sahara conflict through fieldwork, including around 60 interviews with Sahrawi activists conducted in the summer of 2014.

Temporal logic motion planning

CSIR Research Space (South Africa)

Seotsanyana, M

2010-01-01

Full Text Available In this paper, a critical review on temporal logic motion planning is presented. The review paper aims to address the following problems: (a) In a realistic situation, the motion planning problem is carried out in real-time, in a dynamic, uncertain...

Constraint Logic Programming approach to protein structure prediction

Directory of Open Access Journals (Sweden)

Fogolari Federico

2004-11-01

Full Text Available Abstract Background The protein structure prediction problem is one of the most challenging problems in biological sciences. Many approaches have been proposed using database information and/or simplified protein models. The protein structure prediction problem can be cast in the form of an optimization problem. Notwithstanding its importance, the problem has very seldom been tackled by Constraint Logic Programming, a declarative programming paradigm suitable for solving combinatorial optimization problems. Results Constraint Logic Programming techniques have been applied to the protein structure prediction problem on the face-centered cube lattice model. Molecular dynamics techniques, endowed with the notion of constraint, have been also exploited. Even using a very simplified model, Constraint Logic Programming on the face-centered cube lattice model allowed us to obtain acceptable results for a few small proteins. As a test implementation their (known secondary structure and the presence of disulfide bridges are used as constraints. Simplified structures obtained in this way have been converted to all atom models with plausible structure. Results have been compared with a similar approach using a well-established technique as molecular dynamics. Conclusions The results obtained on small proteins show that Constraint Logic Programming techniques can be employed for studying protein simplified models, which can be converted into realistic all atom models. The advantage of Constraint Logic Programming over other, much more explored, methodologies, resides in the rapid software prototyping, in the easy way of encoding heuristics, and in exploiting all the advances made in this research area, e.g. in constraint propagation and its use for pruning the huge search space.

Constraint Logic Programming approach to protein structure prediction.

Science.gov (United States)

Dal Palù, Alessandro; Dovier, Agostino; Fogolari, Federico

2004-11-30

The protein structure prediction problem is one of the most challenging problems in biological sciences. Many approaches have been proposed using database information and/or simplified protein models. The protein structure prediction problem can be cast in the form of an optimization problem. Notwithstanding its importance, the problem has very seldom been tackled by Constraint Logic Programming, a declarative programming paradigm suitable for solving combinatorial optimization problems. Constraint Logic Programming techniques have been applied to the protein structure prediction problem on the face-centered cube lattice model. Molecular dynamics techniques, endowed with the notion of constraint, have been also exploited. Even using a very simplified model, Constraint Logic Programming on the face-centered cube lattice model allowed us to obtain acceptable results for a few small proteins. As a test implementation their (known) secondary structure and the presence of disulfide bridges are used as constraints. Simplified structures obtained in this way have been converted to all atom models with plausible structure. Results have been compared with a similar approach using a well-established technique as molecular dynamics. The results obtained on small proteins show that Constraint Logic Programming techniques can be employed for studying protein simplified models, which can be converted into realistic all atom models. The advantage of Constraint Logic Programming over other, much more explored, methodologies, resides in the rapid software prototyping, in the easy way of encoding heuristics, and in exploiting all the advances made in this research area, e.g. in constraint propagation and its use for pruning the huge search space.

Fuzzy logic

CERN Document Server

Smets, P

1995-01-01

We start by describing the nature of imperfect data, and giving an overview of the various models that have been proposed. Fuzzy sets theory is shown to be an extension of classical set theory, and as such has a proeminent role or modelling imperfect data. The mathematic of fuzzy sets theory is detailled, in particular the role of the triangular norms. The use of fuzzy sets theory in fuzzy logic and possibility theory,the nature of the generalized modus ponens and of the implication operator for approximate reasoning are analysed. The use of fuzzy logic is detailled for application oriented towards process control and database problems.

A review on application of neural networks and fuzzy logic to solve hydrothermal scheduling problem

International Nuclear Information System (INIS)

Haroon, S.; Malik, T.N.; Zafar, S.

2014-01-01

Electrical power system is highly complicated having hydro and thermal mix with large number of machines. To reduce power production cost, hydro and thermal resources are mixed. Hydrothermal scheduling is the optimal coordination of hydro and thermal plants to meet the system load demand at minimum possible operational cost while satisfying the system constraints. Hydrothermal scheduling is dynamic, large scale, non-linear and non-convex optimization problem. The classical techniques have failed in solving such problem. Artificial Intelligence Tools based techniques are used now a day to solve this complex optimization problem because of their no requirements on the nature of the problem. The aim of this research paper is to provide a comprehensive survey of literature related to both Artificial Neural Network (ANN) and Fuzzy Logic (FL) as effective optimization algorithms for the hydrothermal scheduling problem. The outcomes along with the merits and demerits of individual techniques are also discussed. (author)

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

Energy Technology Data Exchange (ETDEWEB)

NONE

1994-09-01

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

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

International Nuclear Information System (INIS)

1994-09-01

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

Development of a fuzzy logic method to build objective functions in optimization problems: application to BWR fuel lattice design

International Nuclear Information System (INIS)

Martin-del-Campo, C.; Francois, J.L.; Barragan, A.M.; Palomera, M.A.

2005-01-01

In this paper we develop a methodology based on the use of the Fuzzy Logic technique to build multi-objective functions to be used in optimization processes applied to in-core nuclear fuel management. As an example, we selected the problem of determining optimal radial fuel enrichment and gadolinia distributions in a typical 'Boiling Water Reactor (BWR)' fuel lattice. The methodology is based on the use of the mathematical capability of Fuzzy Logic to model nonlinear functions of arbitrary complexity. The utility of Fuzzy Logic is to map an input space into an output space, and the primary mechanism for doing this is a list of if-then statements called rules. The rules refer to variables and adjectives that describe those variables and, the Fuzzy Logic technique interprets the values in the input vectors and, based on the set of rules assigns values to the output vector. The methodology was developed for the radial optimization of a BWR lattice where the optimization algorithm employed is Tabu Search. The global objective is to find the optimal distribution of enrichments and burnable poison concentrations in a 10*10 BWR lattice. In order to do that, a fuzzy control inference system was developed using the Fuzzy Logic Toolbox of Matlab and it has been linked to the Tabu Search optimization process. Results show that Tabu Search combined with Fuzzy Logic performs very well, obtaining lattices with optimal fuel utilization. (authors)

Reasoning by cases in Default Logic

NARCIS (Netherlands)

Roos, N.; Roos, Nico

1998-01-01

Reiter's Default Logic is one of the most popular formalisms for describing default reasoning. One important defect of Default Logic is, however, the inability to reason by cases. Over the years, several solutions for this problem have been proposed. All these proposals deal with deriving new

Evaluation of the three-nucleon analyzing power puzzle

International Nuclear Information System (INIS)

Tornow, W.; Witala, H.

1998-01-01

The current status of the three-nucleon analyzing power puzzle is reviewed. Applying tight constraints on the allowed deviations between calculated predictions and accepted values for relevant nucleon-nucleon observables reveals that energy independent correction factors applied to the 3 P j nucleon-nucleon interactions can not solve the puzzle. Furthermore, using the same constraints, charge-independence breaking in the 3 P j nucleon-nucleon interactions can be ruled out as a possible tool to improve the agreement between three-nucleon calculations and data. The study of the energy dependence of the three-nucleon analyzing power puzzle gives clear evidence that the 3 P j nucleon-nucleon interaction obtained from phase-shift analyses and used in potential models are correct above about 25 MeV, i.e., the 3 P j nucleon-nucleon interactions have to be modified only at lower energies in order to solve the three-nucleon analyzing power puzzle, unless new three-nucleon forces can be found that account for the three-nucleon analyzing power puzzle without destroying the beautiful agreement between rigorous three-nucleon calculations and a large body of accurate three-nucleon data. (orig.)

Evaluation of the three-nucleon analyzing power puzzle

Energy Technology Data Exchange (ETDEWEB)

Tornow, W. [Duke Univ., Durham, NC (United States). Dept. of Physics]|[Triangle Univ. Nuclear Lab., Durham, NC (United States); Witala, H. [Uniwersytet Jagiellonski, Cracow (Poland). Inst. Fizyki

1998-07-20

The current status of the three-nucleon analyzing power puzzle is reviewed. Applying tight constraints on the allowed deviations between calculated predictions and accepted values for relevant nucleon-nucleon observables reveals that energy independent correction factors applied to the {sup 3}P{sub j} nucleon-nucleon interactions can not solve the puzzle. Furthermore, using the same constraints, charge-independence breaking in the {sup 3}P{sub j} nucleon-nucleon interactions can be ruled out as a possible tool to improve the agreement between three-nucleon calculations and data. The study of the energy dependence of the three-nucleon analyzing power puzzle gives clear evidence that the {sup 3}P{sub j} nucleon-nucleon interaction obtained from phase-shift analyses and used in potential models are correct above about 25 MeV, i.e., the {sup 3}P{sub j} nucleon-nucleon interactions have to be modified only at lower energies in order to solve the three-nucleon analyzing power puzzle, unless new three-nucleon forces can be found that account for the three-nucleon analyzing power puzzle without destroying the beautiful agreement between rigorous three-nucleon calculations and a large body of accurate three-nucleon data. (orig.) 18 refs.

A Resolution of the Purchasing Power Parity Puzzle

DEFF Research Database (Denmark)

Frydman, Roman; Goldberg, Michael D.; Johansen, Søren

Asset prices undergo long swings that revolve around benchmark levels. In currency markets, fluctuations involve real exchange rates that are highly persistent and that move in near-parallel fashion with nominal rates. The inability to explain these two regularities with one model has been called...... the "Purchasing Power Parity puzzle". In this paper, we trace the puzzle to exchange rate modelers' use of the "Rational Expectations Hypothesis". We show that once imperfect knowledge is recognized, a monetary model is able to account for the puzzle, as well as other salient features of the data, including...

A Logic-Based Psychotherapy Approach to Treating Patients Which Focuses on Faultless Logical Functioning: A Case Study Method

Directory of Open Access Journals (Sweden)

Fernando Almeida

2017-12-01

Full Text Available Many clinical patients present to mental health clinics with depressive symptoms, anxiety, psychosomatic complaints, and sleeping problems. These symptoms which originated may originate from marital problems, conflictual interpersonal relationships, problems in securing work, and housing issues, among many others. These issues might interfere which underlie the difficulties that with the ability of the patients face in maintaining faultless logical reasoning (FLR and faultless logical functioning (FLF. FLR implies to assess correctly premises, rules, and conclusions. And FLF implies assessing not only FLR, but also the circumstances, life experience, personality, events that validate a conclusion. Almost always, the symptomatology is accompanied by intense emotional changes. Clinical experience shows that a logic-based psychotherapy (LBP approach is not practiced, and that therapists’ resort to psychopharmacotherapy or other types of psychotherapeutic approaches that are not focused on logical reasoning and, especially, logical functioning. Because of this, patients do not learn to overcome their reasoning and functioning errors. The aim of this work was to investigate how LBP works to improve the patients’ ability to think and function in a faultless logical way. This work describes the case studies of three patients. For this purpose we described the treatment of three patients. With this psychotherapeutic approach, patients gain knowledge that can then be applied not only to the issues that led them to the consultation, but also to other problems they have experienced, thus creating a learning experience and helping to prevent such patients from becoming involved in similar problematic situations. This highlights that LBP is a way of treating symptoms that interfere on some level with daily functioning. This psychotherapeutic approach is relevant for improving patients’ quality of life, and it fills a gap in the literature by describing

The Puzzle of a Marble in a Spinning Pipe

Science.gov (United States)

2015-05-01

MAY 2015 2. REPORT TYPE 3. DATES COVERED 00-00-2015 to 00-00-2015 4. TITLE AND SUBTITLE The Puzzle of a Marble in a Spinning Pipe 5a. CONTRACT...Approved for public release; distribution unlimited 13. SUPPLEMENTARY NOTES 14. ABSTRACT What trajectory does a marble follow if it is held...298 (Rev. 8-98) Prescribed by ANSI Std Z39-18 Physics Education 50 (3) 279 1. Problem statement A marble is placed one-third of the length along a

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

Logic functions and equations examples and exercises

CERN Document Server

Steinbach, Bernd

2009-01-01

With a free, downloadable software package available to help solve the exercises, this book focuses on practical and relevant problems that arise in the field of binary logics, with its two main applications - digital circuit design, and propositional logics.

Modal Logics with Counting

Science.gov (United States)

Areces, Carlos; Hoffmann, Guillaume; Denis, Alexandre

We present a modal language that includes explicit operators to count the number of elements that a model might include in the extension of a formula, and we discuss how this logic has been previously investigated under different guises. We show that the language is related to graded modalities and to hybrid logics. We illustrate a possible application of the language to the treatment of plural objects and queries in natural language. We investigate the expressive power of this logic via bisimulations, discuss the complexity of its satisfiability problem, define a new reasoning task that retrieves the cardinality bound of the extension of a given input formula, and provide an algorithm to solve it.

Idiosyncratic Volatility Puzzle

DEFF Research Database (Denmark)

Aslanidis, Nektarios; Christiansen, Charlotte; Lambertides, Neophytos

from a large pool of macroeconomic and Önancial variables. Cleaning for macro-Önance e§ects reverses the puzzling negative relation between returns and idiosyncratic volatility documented previously. Portfolio analysis shows that the e§ects from macro-Önance factors are economically strong...

CLASSICS Generality in Artificial Intelligence

Indian Academy of Sciences (India)

IAS Admin

formulating axioms and applying logic to solve AI problems. ... small modification to the program, especially if machine-language programs are used and ..... Thus, we encounter Socratic puzzles over what the concepts mean in complete ...

Threshold Concepts in the Development of Problem-solving Skills

OpenAIRE

Shelly Wismath; Doug Orr; Bruce MacKay

2015-01-01

Problem-solving skills are often identified as a key component of 21st century education. This study collected data from students enrolled in a university-level Liberal Education science course called Problems and Puzzles, which introduced students to the theory and practice of problem solving via puzzles. Based on classroom observation and other qualitative data collected over three semesters, we have identified three significant changes in student behaviour at specific points in the course....

Fuzzy logic control of nuclear power plant

International Nuclear Information System (INIS)

Yao Liangzhong; Guo Renjun; Ma Changwen

1996-01-01

The main advantage of the fuzzy logic control is that the method does not require a detailed mathematical model of the object to be controlled. In this paper, the shortcomings and limitations of the model-based method in nuclear power plant control were presented, the theory of the fuzzy logic control was briefly introduced, and the applications of the fuzzy logic control technology in nuclear power plant controls were surveyed. Finally, the problems to be solved by using the fuzzy logic control in nuclear power plants were discussed

An Analysis of Closed-end Fund Puzzle for Emerging Capital Markets

Directory of Open Access Journals (Sweden)

Victor Dragota

2008-10-01

Full Text Available This paper analyzes the closed-end fund puzzle for an emerging capital market, respectively the Romanian one. Comparatively to more developed markets, as long as small markets are often very illiquid, it has to be used some specific valuation techniques in order to estimate the market values for closed-end funds. Also, one problem is this estimation can be made only in some (punctual moments.

A Brief History of Fuzzy Logic

Directory of Open Access Journals (Sweden)

Angel Garrido

2012-04-01

Full Text Available

The problems of uncertainty, imprecision and vagueness have been discussed for many years. These problems have been major topics in philosophical circles with much debate, in particular, about the nature of vagueness and the ability of traditional Boolean logic to cope with concepts and perceptions that are imprecise or vague. The Fuzzy Logic (which is usually translated into Castilian by “Lógica Borrosa”, or “Lógica Difusa”, but also by “Lógica Heurística” can be considered a bypass-valued logics (Multi-valued Logic, MVL, its acronym in English. It is founded on, and is closely related to-Fuzzy Sets Theory, and successfully applied on Fuzzy Systems. You might think that fuzzy logic is quite recent and what has worked for a short time, but its origins date back at least to the Greek philosophers and especially Plato (428-347 B.C.. It even seems plausible
to trace their origins in China and India. Because it seems that they were the first to consider that all things need not be of a certain type or quit, but there are a stopover between. That is, be the pioneers in considering that there may be varying degrees of truth and falsehood. In case of colors, for example, between white and black there is a whole infinite scale: the shades of gray. Some recent theorems show that in principle fuzzy logic can be used to model any continuous system, be it based
in AI, or physics, or biology, or economics, etc. Investigators in many fields may find that fuzzy, commonsense models are more useful, and many more accurate than are standard mathematical ones. We analyze here the history and development of this problem: Fuzziness, or “Borrosidad” (in Castilian, essential to work with Uncertainty.

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

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

A resolution of the inclusive flavor-breaking τ |Vus| puzzle

Science.gov (United States)

Hudspith, Renwick J.; Lewis, Randy; Maltman, Kim; Zanotti, James

2018-06-01

We revisit the puzzle of |Vus | values obtained from the conventional implementation of hadronic-τ- decay-based flavor-breaking finite-energy sum rules lying > 3 σ below the expectations of three-family unitarity. Significant unphysical dependences of |Vus | on the choice of weight, w, and upper limit, s0, of the experimental spectral integrals entering the analysis are confirmed, and a breakdown of assumptions made in estimating higher dimension, D > 4, OPE contributions identified as the main source of these problems. A combination of continuum and lattice results is shown to suggest a new implementation of the flavor-breaking sum rule approach in which not only |Vus |, but also D > 4 effective condensates, are fit to data. Lattice results are also used to clarify how to reliably treat the slowly converging D = 2 OPE series. The new sum rule implementation is shown to cure the problems of the unphysical w- and s0-dependence of |Vus | and to produce results ∼0.0020 higher than those of the conventional implementation employing the same data. With B-factory input, and using, in addition, dispersively constrained results for the Kπ branching fractions, we find |Vus | = 0.2231(27)exp(4)th, in excellent agreement with the result from Kℓ3, and compatible within errors with the expectations of three-family unitarity, thus resolving the long-standing inclusive τ |Vus | puzzle.

Incomplete Puzzle

Science.gov (United States)

2006-01-01

15 April 2006 This Mars Global Surveyor (MGS) Mars Orbiter Camera (MOC) image shows a mid-summer view of a portion of the south polar residual cap of Mars. The large, relatively flat-lying, puzzle-like pieces in this scene are mesas composed largely of solid carbon dioxide. Location near: 85.5oS, 76.8oW Image width: 3 km (1.9 mi) Illumination from: upper left Season: Southern Summer

Real exchange rate persistence and the excess return puzzle

DEFF Research Database (Denmark)

Juselius, Katarina; Assenmacher, Katrin

2017-01-01

The PPP puzzle refers to the wide swings of nominal exchange rates around their long-run equilibrium values whereas the excess return puzzle represents the persistent deviation of the domestic-foreign interest rate differential from the expected change in the nominal exchange rate. Using the I(2......) cointegrated VAR model, much of the excess return puzzle disappears when an uncertainty premium in the foreign exchange market, proxied by the persistent PPP gap, is introduced. Self-reinforcing feedback mechanisms seem to cause the persistence in the Swiss-US parity conditions. These results support imperfect...

A Puzzle Used to Teach the Cardiac Cycle

Science.gov (United States)

Marcondes, Fernanda K.; Moura, Maria J. C. S.; Sanches, Andrea; Costa, Rafaela; Oliveira de Lima, Patricia; Groppo, Francisco Carlos; Amaral, Maria E. C.; Zeni, Paula; Gaviao, Kelly Cristina; Montrezor, Luís H.

2015-01-01

The aim of the present article is to describe a puzzle developed for use in teaching cardiac physiology classes. The puzzle presents figures of phases of the cardiac cycle and a table with five columns: phases of cardiac cycle, atrial state, ventricular state, state of atrioventricular valves, and pulmonary and aortic valves. Chips are provided…

Tiny bubbles challenge giant turbines: Three Gorges puzzle.

Science.gov (United States)

Li, Shengcai

2015-10-06

Since the birth of the first prototype of the modern reaction turbine, cavitation as conjectured by Euler in 1754 always presents as a challenge. Following his theory, the evolution of modern reaction (Francis and Kaplan) turbines has been completed by adding the final piece of the element 'draft-tube' that enables turbines to explore water energy at efficiencies of almost 100%. However, during the last two and a half centuries, with increasing unit capacity and specific speed, the problem of cavitation has been manifested and complicated by the draft-tube surges rather than being solved. Particularly, during the last 20 years, the fierce competition in the international market for extremely large turbines with compact design has encouraged the development of giant Francis turbines of 700-1000 MW. The first group (24 units) of such giant turbines of 700 MW each was installed in the Three Gorges project. Immediately after commission, a strange erosion phenomenon appeared on the guide vane of the machines that has puzzled professionals. From a multi-disciplinary analysis, this Three Gorges puzzle could reflect an unknown type of cavitation inception presumably triggered by turbulence production from the boundary-layer streak transitional process. It thus presents a fresh challenge not only to this old turbine industry, but also to the fundamental sciences.

The Entrepreneurial Earnings Puzzle

DEFF Research Database (Denmark)

Chen, Jing; Åstebro, Thomas

2014-01-01

A review of recent evidence on relative earnings from entrepreneurship versus wage work presents a puzzle: why do individuals become entrepreneurs when entrepreneurs on average apparently earn less than employees? After considering several potential explanations, we empirically analyze one: income...

Using logic models in a community-based agricultural injury prevention project.

Science.gov (United States)

Helitzer, Deborah; Willging, Cathleen; Hathorn, Gary; Benally, Jeannie

2009-01-01

The National Institute for Occupational Safety and Health has long promoted the logic model as a useful tool in an evaluator's portfolio. Because a logic model supports a systematic approach to designing interventions, it is equally useful for program planners. Undertaken with community stakeholders, a logic model process articulates the underlying foundations of a particular programmatic effort and enhances program design and evaluation. Most often presented as sequenced diagrams or flow charts, logic models demonstrate relationships among the following components: statement of a problem, various causal and mitigating factors related to that problem, available resources to address the problem, theoretical foundations of the selected intervention, intervention goals and planned activities, and anticipated short- and long-term outcomes. This article describes a case example of how a logic model process was used to help community stakeholders on the Navajo Nation conceive, design, implement, and evaluate agricultural injury prevention projects.

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

Energy Technology Data Exchange (ETDEWEB)

Fellows, R.L. [ed.

1993-02-26

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

Decoding Codewords: Statistical Analysis of a Newspaper Puzzle

Science.gov (United States)

Meacock, Susan; Meacock, Geoff

2012-01-01

In recent years English newspapers have started featuring a number of puzzles other than the ubiquitous crossword. Many of the puzzles are of Japanese origin such as Sudoku, Kakuro or Hidato. However, one recent one is very English and is called variously Cross-code, Alphapuzzle or some other name. In this article, it will be known as Codeword.…

Genome puzzle master (GPM): an integrated pipeline for building and editing pseudomolecules from fragmented sequences.

Science.gov (United States)

Zhang, Jianwei; Kudrna, Dave; Mu, Ting; Li, Weiming; Copetti, Dario; Yu, Yeisoo; Goicoechea, Jose Luis; Lei, Yang; Wing, Rod A

2016-10-15

Next generation sequencing technologies have revolutionized our ability to rapidly and affordably generate vast quantities of sequence data. Once generated, raw sequences are assembled into contigs or scaffolds. However, these assemblies are mostly fragmented and inaccurate at the whole genome scale, largely due to the inability to integrate additional informative datasets (e.g. physical, optical and genetic maps). To address this problem, we developed a semi-automated software tool-Genome Puzzle Master (GPM)-that enables the integration of additional genomic signposts to edit and build 'new-gen-assemblies' that result in high-quality 'annotation-ready' pseudomolecules. With GPM, loaded datasets can be connected to each other via their logical relationships which accomplishes tasks to 'group,' 'merge,' 'order and orient' sequences in a draft assembly. Manual editing can also be performed with a user-friendly graphical interface. Final pseudomolecules reflect a user's total data package and are available for long-term project management. GPM is a web-based pipeline and an important part of a Laboratory Information Management System (LIMS) which can be easily deployed on local servers for any genome research laboratory. The GPM (with LIMS) package is available at https://github.com/Jianwei-Zhang/LIMS CONTACTS: jzhang@mail.hzau.edu.cn or rwing@mail.arizona.eduSupplementary information: Supplementary data are available at Bioinformatics online. © The Author 2016. Published by Oxford University Press.

Implementation of fault-tolerant quantum logic gates via optimal control

International Nuclear Information System (INIS)

Nigmatullin, R; Schirmer, S G

2009-01-01

The implementation of fault-tolerant quantum gates on encoded logic qubits is considered. It is shown that transversal implementation of logic gates based on simple geometric control ideas is problematic for realistic physical systems suffering from imperfections such as qubit inhomogeneity or uncontrollable interactions between qubits. However, this problem can be overcome by formulating the task as an optimal control problem and designing efficient algorithms to solve it. In particular, we can find solutions that implement all of the elementary logic gates in a fixed amount of time with limited control resources for the five-qubit stabilizer code. Most importantly, logic gates that are extremely difficult to implement using conventional techniques even for ideal systems, such as the T-gate for the five-qubit stabilizer code, do not appear to pose a problem for optimal control.

Constrained mathematics evaluation in probabilistic logic analysis

Energy Technology Data Exchange (ETDEWEB)

Arlin Cooper, J

1998-06-01

A challenging problem in mathematically processing uncertain operands is that constraints inherent in the problem definition can require computations that are difficult to implement. Examples of possible constraints are that the sum of the probabilities of partitioned possible outcomes must be one, and repeated appearances of the same variable must all have the identical value. The latter, called the 'repeated variable problem', will be addressed in this paper in order to show how interval-based probabilistic evaluation of Boolean logic expressions, such as those describing the outcomes of fault trees and event trees, can be facilitated in a way that can be readily implemented in software. We will illustrate techniques that can be used to transform complex constrained problems into trivial problems in most tree logic expressions, and into tractable problems in most other cases.

Research on Judgment Aggregation Based on Logic

Directory of Open Access Journals (Sweden)

Li Dai

2014-05-01

Full Text Available Preference aggregation and judgment aggregation are two basic research models of group decision making. And preference aggregation has been deeply studied in social choice theory. However, researches of social choice theory gradually focus on judgment aggregation which appears recently. Judgment aggregation focuses on how to aggregate many consistent logical formulas into one, from the perspective of logic. We try to start with judgment aggregation model based on logic and then explore different solutions to problem of judgment aggregation.

A Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability Problems

Directory of Open Access Journals (Sweden)

Qingshan Chen

2017-01-01

Full Text Available Clause learning is the key component of modern SAT solvers, while conflict analysis based on the implication graph is the mainstream technology to generate the learnt clauses. Whenever a clause in the clause database is falsified by the current variable assignments, the SAT solver will try to analyze the reason by using different cuts (i.e., the Unique Implication Points on the implication graph. Those schemes reflect only the conflict on the current search subspace, does not reflect the inherent conflict directly involved in the rest space. In this paper, we propose a new advanced clause learning algorithm based on the conflict analysis and the logical deduction, which reconstructs a linear logical deduction by analyzing the relationship of different decision variables between the backjumping level and the current decision level. The logical deduction result is then added into the clause database as a newly learnt clause. The resulting implementation in Minisat improves the state-of-the-art performance in SAT solving.

Parametric Linear Dynamic Logic

Directory of Open Access Journals (Sweden)

Peter Faymonville

2014-08-01

Full Text Available We introduce Parametric Linear Dynamic Logic (PLDL, which extends Linear Dynamic Logic (LDL by temporal operators equipped with parameters that bound their scope. LDL was proposed as an extension of Linear Temporal Logic (LTL that is able to express all ω-regular specifications while still maintaining many of LTL's desirable properties like an intuitive syntax and a translation into non-deterministic Büchi automata of exponential size. But LDL lacks capabilities to express timing constraints. By adding parameterized operators to LDL, we obtain a logic that is able to express all ω-regular properties and that subsumes parameterized extensions of LTL like Parametric LTL and PROMPT-LTL. Our main technical contribution is a translation of PLDL formulas into non-deterministic Büchi word automata of exponential size via alternating automata. This yields a PSPACE model checking algorithm and a realizability algorithm with doubly-exponential running time. Furthermore, we give tight upper and lower bounds on optimal parameter values for both problems. These results show that PLDL model checking and realizability are not harder than LTL model checking and realizability.

Current puzzles and future possibilities

International Nuclear Information System (INIS)

Nagamiya, S.

1982-02-01

Four current puzzles and several future experimental possibilities in high-energy nuclear collision research are discussed. These puzzles are (1) entropy, (2) hydrodynamic flow, (3) anomalon, and (4) particle emission at backward angles in proton-nucleus collisions. The last one seems not to be directly related to the subject of the present school. But it is, because particle emission into the region far beyond the nucleon-nucleon kinematical limit is an interesting subject common for both proton-nucleus and nucleus-nucleus collisions, and the basic mechanism involved is strongly related in these two cases. Future experimental possibilities are described which include: (1) possibilities of studying multibaryonic excited states, (2) applications of neutron-rich isotopes, and (3) other needed experimental tasks. 72 references

Modified and fuzzified general problem solver for the 'monkey and banana' problem, 1

International Nuclear Information System (INIS)

Sano, Norihide; Takahashi, Ryoichi.

1991-01-01

The master-and-slave control system should be extensively implemented for the in-service inspection of operating nuclear power stations or the decommission of retired plants. The performance of this system depends on the intelligent slave. In this paper the degree of intelligence is approximated by the given amount of prior knowledge or suggestions. This paper aims at improving the general problem solver (GPS) by incorporating the learning process in order to solve the puzzle of the 'monkey and banana'. The monkey in this puzzle may be a reasonable alternative to represent the intelligent slave. Also, this paper deals with fuzzified problem solving since the master's command is not always crisp to the slave. (author)

Threshold Concepts in the Development of Problem-solving Skills

Directory of Open Access Journals (Sweden)

Shelly Wismath

2015-03-01

Full Text Available Problem-solving skills are often identified as a key component of 21st century education. This study collected data from students enrolled in a university-level Liberal Education science course called Problems and Puzzles, which introduced students to the theory and practice of problem solving via puzzles. Based on classroom observation and other qualitative data collected over three semesters, we have identified three significant changes in student behaviour at specific points in the course. These changes can be posited to reveal three underlying threshold concepts in the evolution and establishment of students’ problem-solving skills.

Engineering Courses on Computational Thinking Through Solving Problems in Artificial Intelligence

Directory of Open Access Journals (Sweden)

Piyanuch Silapachote

2017-09-01

Full Text Available Computational thinking sits at the core of every engineering and computing related discipline. It has increasingly emerged as its own subject in all levels of education. It is a powerful cornerstone for cognitive development, creative problem solving, algorithmic thinking and designs, and programming. How to effectively teach computational thinking skills poses real challenges and creates opportunities. Targeting entering computer science and engineering undergraduates, we resourcefully integrate elements from artificial intelligence (AI into introductory computing courses. In addition to comprehension of the essence of computational thinking, practical exercises in AI enable inspirations of collaborative problem solving beyond abstraction, logical reasoning, critical and analytical thinking. Problems in machine intelligence systems intrinsically connect students to algorithmic oriented computing and essential mathematical foundations. Beyond knowledge representation, AI fosters a gentle introduction to data structures and algorithms. Focused on engaging mental tool, a computer is never a necessity. Neither coding nor programming is ever required. Instead, students enjoy constructivist classrooms designed to always be active, flexible, and highly dynamic. Learning to learn and reflecting on cognitive experiences, they rigorously construct knowledge from collectively solving exciting puzzles, competing in strategic games, and participating in intellectual discussions.

Graphical approach for multiple values logic minimization

Science.gov (United States)

Awwal, Abdul Ahad S.; Iftekharuddin, Khan M.

1999-03-01

Multiple valued logic (MVL) is sought for designing high complexity, highly compact, parallel digital circuits. However, the practical realization of an MVL-based system is dependent on optimization of cost, which directly affects the optical setup. We propose a minimization technique for MVL logic optimization based on graphical visualization, such as a Karnaugh map. The proposed method is utilized to solve signed-digit binary and trinary logic minimization problems. The usefulness of the minimization technique is demonstrated for the optical implementation of MVL circuits.

Crossword Puzzles as Learning Tools in Introductory Soil Science

Science.gov (United States)

Barbarick, K. A.

2010-01-01

Students in introductory courses generally respond favorably to novel approaches to learning. To this end, I developed and used three crossword puzzles in spring and fall 2009 semesters in Introductory Soil Science Laboratory at Colorado State University. The first hypothesis was that crossword puzzles would improve introductory soil science…

The Neutrosophic Logic View to Schrodinger's Cat Paradox, Revisited

Directory of Open Access Journals (Sweden)

Florentin Smarandache

2008-07-01

Full Text Available The present article discusses Neutrosophic logic view to Schrodinger's cat paradox. We argue that this paradox involves some degree of indeterminacy (unknown which Neutrosophic logic can take into consideration, whereas other methods including Fuzzy logic cannot. To make this proposition clear, we revisit our previous paper by offering an illustration using modified coin tossing problem, known as Parrondo's game.

A Modal Logic for the Decision-Theoretic Projection Problem

CSIR Research Space (South Africa)

Rens, GB

2015-01-01

Full Text Available The authors present a decidable logic in which queries can be posed about (i) the degree of belief in a propositional sentence after an arbitrary finite number of actions and observations and (ii) the utility of a finite sequence of actions after a...

Improving Object-Oriented Methods by using Fuzzy Logic

NARCIS (Netherlands)

Marcelloni, Francesco; Aksit, Mehmet

2000-01-01

Object-oriented methods create software artifacts through the application of a large number or rules. Rules are typically formulated in two-valued logic. There are a number of problems on how rules are defined and applied in current methods. First, two-valued logic can capture completely neither

Oak Ridge National Laboratory Technology Logic Diagram

International Nuclear Information System (INIS)

1993-09-01

The Oak Ridge National Laboratory Technology Logic Diagram (TLD) was developed to provide a decision support tool that relates environmental restoration (ER) and waste management (WM) problems at Oak Ridge National Laboratory (ORNL) to potential technologies that can remediate these problems. The TLD identifies the research, development, demonstration testing, and evaluation needed to develop these technologies to a state that allows technology transfer and application to decontamination and decommissioning (D ampersand D), remedial action (RA), and WM activities. The TLD consists of three fundamentally separate volumes: Vol. 1, Technology Evaluation; Vol. 2, Technology Logic Diagram and Vol. 3, Technology EvaLuation Data Sheets. Part A of Vols. 1 and 2 focuses on RA. Part B of Vols. 1 and 2 focuses on the D ampersand D of contaminated facilities. Part C of Vols. 1 and 2 focuses on WM. Each part of Vol. 1 contains an overview of the TM, an explanation of the problems facing the volume-specific program, a review of identified technologies, and rankings of technologies applicable to the site. Volume 2 (Pts. A. B. and C) contains the logic linkages among EM goals, environmental problems, and the various technologies that have the potential to solve these problems. Volume 3 (Pts. A. B, and C) contains the TLD data sheets. This volume provides the technology evaluation data sheets (TEDS) for ER/WM activities (D ampersand D, RA and WM) that are referenced by a TEDS code number in Vol. 2 of the TLD. Each of these sheets represents a single logic trace across the TLD. These sheets contain more detail than is given for the technologies in Vol. 2

Solving the Ternary Quantum-Dot Cellular Automata Logic Gate Problem by Means of Adiabatic Switching

Science.gov (United States)

Pecar, Primoz; Mraz, Miha; Zimic, Nikolaj; Janez, Miha; Lebar Bajec, Iztok

2008-06-01

Quantum-dot cellular automata (QCA) are one of the most promising alternative platforms of the future. Recent years have witnessed the development of basic logic structures as well as more complex processing structures, however most in the realm of binary logic. On the grounds that future platforms should not disregard the advantages of multi-valued logic, Lebar Bajec et al. were the first to show that quantum-dot cellular automata can be used for the implementation of ternary logic as well. In their study the ternary AND and OR logic functions proved to be the most troublesome primitive to implement. This research presents a revised solution that is based on adiabatic switching.

Puzzles in B physics

Indian Academy of Sciences (India)

Home; Journals; Pramana – Journal of Physics; Volume 67; Issue 5. Puzzles in physics. Hsiang-Nan Li ... Author Affiliations. Hsiang-Nan Li1 2. Institute of Physics, Academia Sinica, Taipei, Taiwan 115, Republic of China; Department of Physics, National Cheng-Kung University, Tainan, Taiwan 701, Republic of China ...

La Francophonie. Puzzle Corner.

Science.gov (United States)

Andrews, Ian A.

2000-01-01

Discusses the organization La Francophonie, which is an international community of people who speak French and convene to address issues. Presents a crossword puzzle that introduces readers to some of the nations involved in La Francophonie. Provides the across and down clues, a word list, and answer key. (CMK)

Model Checking Temporal Logic Formulas Using Sticker Automata

Science.gov (United States)

Feng, Changwei; Wu, Huanmei

2017-01-01

As an important complex problem, the temporal logic model checking problem is still far from being fully resolved under the circumstance of DNA computing, especially Computation Tree Logic (CTL), Interval Temporal Logic (ITL), and Projection Temporal Logic (PTL), because there is still a lack of approaches for DNA model checking. To address this challenge, a model checking method is proposed for checking the basic formulas in the above three temporal logic types with DNA molecules. First, one-type single-stranded DNA molecules are employed to encode the Finite State Automaton (FSA) model of the given basic formula so that a sticker automaton is obtained. On the other hand, other single-stranded DNA molecules are employed to encode the given system model so that the input strings of the sticker automaton are obtained. Next, a series of biochemical reactions are conducted between the above two types of single-stranded DNA molecules. It can then be decided whether the system satisfies the formula or not. As a result, we have developed a DNA-based approach for checking all the basic formulas of CTL, ITL, and PTL. The simulated results demonstrate the effectiveness of the new method. PMID:29119114

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.

Fuzzy logic applications to control engineering

Science.gov (United States)

Langari, Reza

1993-12-01

This paper presents the results of a project presently under way at Texas A&M which focuses on the use of fuzzy logic in integrated control of manufacturing systems. The specific problems investigated here include diagnosis of critical tool wear in machining of metals via a neuro-fuzzy algorithm, as well as compensation of friction in mechanical positioning systems via an adaptive fuzzy logic algorithm. The results indicate that fuzzy logic in conjunction with conventional algorithmic based approaches or neural nets can prove useful in dealing with the intricacies of control/monitoring of manufacturing systems and can potentially play an active role in multi-modal integrated control systems of the future.

Puzzling through General Chemistry: A Light-Hearted Approach to Engaging Students with Chemistry Content

Science.gov (United States)

Boyd, Susan L.

2007-01-01

Several puzzles are designed to be used by chemistry students as learning tools and teach them basic chemical concepts. The topics of the puzzles are based on the chapters from Chemistry, The Central Science used in general chemistry course and the puzzles are in various forms like crosswords, word searches, number searches, puzzles based on…

The Clock Is Ticking: Library Orientation as Puzzle Room

Science.gov (United States)

Reade, Tripp

2017-01-01

Tripp Reade is the school librarian at Cardinal Gibbons High School in Raleigh, North Carolina. This article describes how he redesigned his school's library orientation program after learning about escape rooms and a variant known as puzzle rooms. Puzzle rooms present players with a set of challenges to solve; they require "teamwork,…

Oak Ridge National Laboratory Technology Logic Diagram. Volume 2, Technology Logic Diagram: Part B, Remedial Action

Energy Technology Data Exchange (ETDEWEB)

1993-09-01

The Oak Ridge National Laboratory Technology Logic Diagram (TLD) was developed to provide a decision support tool that relates environmental restoration (ER) and waste management (WM) problems at Oak Ridge National Laboratory (ORNL) to potential technologies that can remediate these problems. The TLD identifies the research, development, demonstration, testing, and evaluation needed to develop these technologies to a state that allows technology transfer and application to decontamination and decommissioning (D&D), remedial action (RA), and WM activities. The TLD consists of three fundamentally separate volumes: Vol. 1 (Technology Evaluation), Vol. 2 (Technology Logic Diagram), and Vol. 3 (Technology Evaluation Data Sheets). Part A of Vols. 1. and 2 focuses on D&D. Part B of Vols. 1 and 2 focuses on the RA of contaminated facilities. Part C of Vols. 1 and 2 focuses on WM. Each part of Vol. 1 contains an overview of the TLD, an explanation of the program-specific responsibilities, a review of identified technologies, and the rankings of remedial technologies. Volume 2 (Pts. A, B, and C) contains the logic linkages among EM goals, environmental problems, and the various technologies that have the potential to solve these problems. Volume 3 (Pts. A, B, and C) contains the TLD data sheets. Remedial action is the focus of Vol. 2, Pt. B, which has been divided into the three necessary subelements of the RA: characterization, RA, and robotics and automation. Each of these sections address general ORNL problems, which are then broken down by problem area/constituents and linked to potential remedial technologies. The diagrams also contain summary information about a technology`s status, its science and technology needs, and its implementation needs.

Fuzzy logic in management

CERN Document Server

Carlsson, Christer; Fullér, Robert

2004-01-01

Fuzzy Logic in Management demonstrates that difficult problems and changes in the management environment can be more easily handled by bringing fuzzy logic into the practice of management. This explicit theme is developed through the book as follows: Chapter 1, "Management and Intelligent Support Technologies", is a short survey of management leadership and what can be gained from support technologies. Chapter 2, "Fuzzy Sets and Fuzzy Logic", provides a short introduction to fuzzy sets, fuzzy relations, the extension principle, fuzzy implications and linguistic variables. Chapter 3, "Group Decision Support Systems", deals with group decision making, and discusses methods for supporting the consensus reaching processes. Chapter 4, "Fuzzy Real Options for Strategic Planning", summarizes research where the fuzzy real options theory was implemented as a series of models. These models were thoroughly tested on a number of real life investments, and validated in 2001. Chapter 5, "Soft Computing Methods for Reducing...

Puzzle-Based Learning in Engineering Mathematics: Students' Attitudes

Science.gov (United States)

Klymchuk, Sergiy

2017-01-01

The article reports on the results of two case studies on the impact of the regular use of puzzles as a pedagogical strategy in the teaching and learning of engineering mathematics. The intention of using puzzles is to engage students' emotions, creativity and curiosity and also to enhance their generic thinking skills and lateral thinking…

On IBM's Millennial Puzzle

Indian Academy of Sciences (India)

Home; Journals; Resonance – Journal of Science Education; Volume 5; Issue 10. On IBM's Millennial Puzzle. A Sarangarajan. Classroom Volume 5 Issue 10 October 2000 pp 81-89. Fulltext. Click here to view fulltext PDF. Permanent link: https://www.ias.ac.in/article/fulltext/reso/005/10/0081-0089. Author Affiliations.

Robust Sex Differences in Jigsaw Puzzle Solving-Are Boys Really Better in Most Visuospatial Tasks?

Science.gov (United States)

Kocijan, Vid; Horvat, Marina; Majdic, Gregor

2017-01-01

Sex differences are consistently reported in different visuospatial tasks with men usually performing better in mental rotation tests while women are better on tests for memory of object locations. In the present study, we investigated sex differences in solving jigsaw puzzles in children. In total 22 boys and 24 girls were tested using custom build tablet application representing a jigsaw puzzle consisting of 25 pieces and featuring three different pictures. Girls outperformed boys in solving jigsaw puzzles regardless of the picture. Girls were faster than boys in solving the puzzle, made less incorrect moves with the pieces of the puzzle, and spent less time moving the pieces around the tablet. It appears that the strategy of solving the jigsaw puzzle was the main factor affecting differences in success, as girls tend to solve the puzzle more systematically while boys performed more trial and error attempts, thus having more incorrect moves with the puzzle pieces. Results of this study suggest a very robust sex difference in solving the jigsaw puzzle with girls outperforming boys by a large margin.

Robust Sex Differences in Jigsaw Puzzle Solving—Are Boys Really Better in Most Visuospatial Tasks?

Science.gov (United States)

Kocijan, Vid; Horvat, Marina; Majdic, Gregor

2017-01-01

Sex differences are consistently reported in different visuospatial tasks with men usually performing better in mental rotation tests while women are better on tests for memory of object locations. In the present study, we investigated sex differences in solving jigsaw puzzles in children. In total 22 boys and 24 girls were tested using custom build tablet application representing a jigsaw puzzle consisting of 25 pieces and featuring three different pictures. Girls outperformed boys in solving jigsaw puzzles regardless of the picture. Girls were faster than boys in solving the puzzle, made less incorrect moves with the pieces of the puzzle, and spent less time moving the pieces around the tablet. It appears that the strategy of solving the jigsaw puzzle was the main factor affecting differences in success, as girls tend to solve the puzzle more systematically while boys performed more trial and error attempts, thus having more incorrect moves with the puzzle pieces. Results of this study suggest a very robust sex difference in solving the jigsaw puzzle with girls outperforming boys by a large margin. PMID:29109682

What do we learn from the ρ-π puzzle

International Nuclear Information System (INIS)

Li Xueqian

2010-01-01

The experimental observation indicates that the branching ratio of ψ' →ρπ is very small while the ρ-π channel is a main one in J/ψ decays. To understand the puzzle, various interpretations have been proposed. Meanwhile according to the hadronic helicity selection rule, this decay mode should be suppressed. Numerical calculations are needed to determine how it is suppressed.We calculate the branching ratios of J/ψ→ρπ and ππ in the framework of QCD. The results show that the branching ratios are proportional to [(m u +m d )/(M J/ψ )] 2 for the ρπ mode and [(m u -m d )/(m J/ψ )] 2 for the ππ mode which is isospin violated. The theoretical prediction of the ratio of J/ψ → ρπ is smaller than data, but not too small to invoke a completely new mechanism. Thus the puzzle is still standing even though we learn much knowledge towards the puzzle and this will help to finally interpret the puzzle and then gain a deeper insight to the heavy quarkonia. (author)

Quantum top secret. The solution of the quantum puzzle. Metamorphosis of a picture of world

International Nuclear Information System (INIS)

Wingert, M.

2008-01-01

Many physicists believe that because of unexplained causes, which must anyway be concerned with the quantum puzzle and the mysterious consciousness, it would be no more possible to understand the real structure of the reality - this subtle smiling of the nature, which irritates the physicists since 100 years and the disturbed the theoretical physics so much that they threw the towel. Since nature is considered as absurd, strange, and crazy - and quantum theory as very complicated. But in reality the basic experiments are of a touching simplicity, which seems only completely unintelligible in the picture of world of mechanics. For these experiments show that the concept of body of mechanics and the body conceptions of the thinking cannot at all match the structure of nature. If this is objectively taken notice of without doubting on the existence of a reality, the experiments show the real, unveiled face of the nature. Light and matter must then consist of fields, which can themselves divide by non-mechanical way, so with wholeness, comparable only with cell division and branching processes in biology. Either it is completely crazy - or the only logic interpretation, which hitherto only no physicist risked to think. For these experiments disprove the atom and elementary-particle hypothesis, the picture of world of mechanics, and also the quantum-mechanical interpretation - and indeed uniquely. This knowledge could break the Gordian knot, solve the quantum puzzle, and also give away the secret of the thinking spirit

Symbolic logic and mechanical theorem proving

CERN Document Server

Chang, Chin-Liang

1969-01-01

This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4-9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis.

Lepton mixing and the ''solar neutrino puzzle''

International Nuclear Information System (INIS)

Bilenky, S.M.; Pontecorvo, B.

1977-01-01

The results of the well known solar neutrino experiment of Davis et al. are discussed, in which the Cl-Ar method is used. The result of the experiment, a too small neutrino signal (the so-called ''solar neutrino puzzle'), has been tentatively accounted for in a number of quite exotic explanations. It appears that the explanation in terms of lepton mixing and neutrino sterility is quite attractive from the point of view of present day elementary particle physics and is much more natural than the other explanations of the ''puzzle''

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.

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

International trade network: fractal properties and globalization puzzle.

Science.gov (United States)

Karpiarz, Mariusz; Fronczak, Piotr; Fronczak, Agata

2014-12-12

Globalization is one of the central concepts of our age. The common perception of the process is that, due to declining communication and transport costs, distance becomes less and less important. However, the distance coefficient in the gravity model of trade, which grows in time, indicates that the role of distance increases rather than decreases. This, in essence, captures the notion of the globalization puzzle. Here, we show that the fractality of the international trade system (ITS) provides a simple solution for the puzzle. We argue that the distance coefficient corresponds to the fractal dimension of ITS. We provide two independent methods, the box counting method and spatial choice model, which confirm this statement. Our results allow us to conclude that the previous approaches to solving the puzzle misinterpreted the meaning of the distance coefficient in the gravity model of trade.

Distress risk and leverage puzzles: Evidence from Taiwan

Directory of Open Access Journals (Sweden)

Kung-Cheng Ho

2016-05-01

Full Text Available Financial distress has been invoked in the asset pricing literature to explain the anomalous patterns in the cross-section of stock returns. The risk of financial distress can be measured using indexes. George and Hwang (2010 suggest that leverage can explain the distress risk puzzle and that firms with high costs choose low leverage to reduce distress intensities and earn high returns. This study investigates whether this relationship exists in the Taiwan market. When examined separately, distress intensity is found to be negatively related to stock returns, but leverage is found to not be significantly related to stock returns. The results are the same when distress intensity and leverage are examined simultaneously. After assessing the robustness by using O-scores, distress risk puzzle is found to exist in the Taiwan market, but the leverage puzzle is not

Changes in food intake and abnormal behavior using a puzzle feeder in newly acquired sub-adult rhesus monkeys (Macaca mulatta): a short term study.

Science.gov (United States)

Lee, Jae-Il; Lee, Chi-Woo; Kwon, Hyouk-Sang; Kim, Young-Tae; Park, Chung-Gyu; Kim, Sang-Joon; Kang, Byeong-Cheol

2008-10-01

The majority of newly acquired nonhuman primates encounter serious problems adapting themselves to new environments or facilities. In particular, loss of appetite and abnormal behavior can occur in response to environmental stresses. These adaptation abnormalities can ultimately have an affect on the animal's growth and well-being. In this study, we evaluated the affects of a puzzle feeder on the food intake and abnormal behavior of newly acquired rhesus monkeys for a short period. The puzzle feeder was applied to 47- to 58-month-old animals that had never previously encountered one. We found that there was no difference in the change of food intake between the bucket condition and the puzzle feeder condition. In contrast, the time spent for consumption of food was three times longer in the puzzle feeder condition than in the bucket condition. Two monkeys initially exhibited stereotypic behavior. One showed a decreasing, and the other an increasing pattern of abnormal behavior after introduction of the puzzle feeder. In conclusion, this result suggests that over a short period, the puzzle feeder can only affect the time for food consumption since it failed to affect the food intake and did not consistently influence stereotypic behaviors in newly acquired rhesus monkeys.

Stateless Puzzles for Real Time Online Fraud Preemption

OpenAIRE

Rahman, Mizanur; Recabarren, Ruben; Carbunar, Bogdan; Lee, Dongwon

2017-01-01

The profitability of fraud in online systems such as app markets and social networks marks the failure of existing defense mechanisms. In this paper, we propose FraudSys, a real-time fraud preemption approach that imposes Bitcoin-inspired computational puzzles on the devices that post online system activities, such as reviews and likes. We introduce and leverage several novel concepts that include (i) stateless, verifiable computational puzzles, that impose minimal performance overhead, but e...

The orthopositronium lifetime puzzle and its final solution

International Nuclear Information System (INIS)

Liu Feng; Wu Jianda; Zhan Liang; Ye Bangjiao

2004-01-01

The ortho-positronium (o-Ps), which consists of an electron and positron, is a pure lepton bound system. The o-Ps lifetime can be calculated accurately by quantum electrodynamics, but there is a long-standing discrepancy between the theoretical calculations and the experimental results. Theoretical and experimental physicists have worked hard for a long time to solve the problem, and recently finally solved this lifetime puzzle. The authors briefly outline the discrepancy between the theoretical calculations of the o-Ps annihilation decay rate and some of the experimental measurements, as well as recent developments of experimental techniques, and its final solution. In particular, the final results of the Tokyo and michigan groups are discussed

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

Testing a novel account of the dissociation between self-reported memory problems and memory performance in chemotherapy-treated breast cancer survivors.

Science.gov (United States)

Paquet, Lise; Verma, Shailendra; Collins, Barbara; Chinneck, Anne; Bedard, Marc; Song, Xinni

2018-01-01

A puzzling observation pertaining to the impact of breast cancer on memory is the frequently reported dissociation between breast cancer survivors' self-reported memory problems and memory performance. We evaluated the hypothesis that the dissociation is related to the fact that the objective memory measures previously used assessed retrospective memory (RM) and did not tap prospective memory (PM), a domain about which survivors are complaining. In a case-healthy-control (N = 80) cross-sectional study, the Memory for Intention Screening Test was used to assess PM and the Wechsler Logical Memory Test was used to evaluate RM. Self-reported problems were assessed with the Prospective and Retrospective Memory Questionnaire. Measures of depression (Center for Epidemiologic Studies Depression Scale) and fatigue (Functional Assessment of Cancer Therapy: Fatigue) were also administered. Both groups reported more PM than RM problems (P memory problems than controls (all P memory problems. Although unrelated to performance, memory complaints should not be dismissed, as they are closely associated with depression and fatigue and reveal an important facet of the cancer experience. Copyright © 2017 John Wiley & Sons, Ltd.

Oracle WebLogic Server 12c advanced administration cookbook

CERN Document Server

Iwazaki, Dalton

2013-01-01

Using real life problems and simple solutions this book will make any issue seem small. WebLogic Server books can be a bit dry but Dalton keeps the tone light and ensures no matter how complex the problem you always feel like you have someone right there with you helping you along.This book is ideal for those who know the basics of WebLogic but want to dive deeper and get to grips with more advanced topics. So if you are a datacenter operator, system administrator or even a Java developer this book could be exactly what you are looking for to take you one step further with Oracle WebLogic Serv

Studying the proton 'radius' puzzle with μp elastic scattering

International Nuclear Information System (INIS)

Gilman, R.

2013-01-01

The disagreement between the proton radius determined from muonic hydrogen and from electronic measurements is called the proton radius puzzle. The resolution of the puzzle remains unclear and appears to require new experimental results. An experiment to measure muon-proton elastic scattering is presented here

Programmable Array Logic Design

International Nuclear Information System (INIS)

Demon Handoyo; Djen Djen Djainal

2007-01-01

Good digital circuit design that part of a complex system, often becoming a separate problem. To produce finishing design according to wanted performance is often given on to considerations which each other confuse, hence thereby analyse optimization become important in this case. To realization is made design logic program, the first are determined global diagram block, then are decided contents of these block diagram, and then determined its interconnection in the form of logic expression, continued with election of component. These steps are done to be obtained the design with low price, easy in its interconnection, minimal volume, low power and certainty god work. (author)

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

Relay Protection and Automation Systems Based on Programmable Logic Integrated Circuits

International Nuclear Information System (INIS)

Lashin, A. V.; Kozyrev, A. V.

2015-01-01

One of the most promising forms of developing the apparatus part of relay protection and automation devices is considered. The advantages of choosing programmable logic integrated circuits to obtain adaptive technological algorithms in power system protection and control systems are pointed out. The technical difficulties in the problems which today stand in the way of using relay protection and automation systems are indicated and a new technology for solving these problems is presented. Particular attention is devoted to the possibility of reconfiguring the logic of these devices, using programmable logic integrated circuits

The Effect of Monetary Policy on Exchange Rates : How to Solve the Puzzles

NARCIS (Netherlands)

Kumah, F.Y.

1996-01-01

Recent empirical research on the effects of monetary policy shocks on exchange rate fluctuations have encountered the exchange rate puzzle and th e forward discount bias puzzle.The exchange rate puzzle is the tendency of the domestic currency (of non-US G-7 countries) to depreciate against the US

Jauch-Piron states on concrete quantum logics

Science.gov (United States)

Müller, V.

1993-03-01

We exhibit an example of a concrete (=set-representable) quantum logic which is not a Boolean algebra such that every state on it is Jauch-Piron. This gives a negative answer to a problem raised by Navara and Pták. Further we show that such an example does not exist in the class of complete (i.e., closed under arbitrary disjoint unions) concrete logics.

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

K-maps: a vehicle to an optimal solution in combinational logic ...

African Journals Online (AJOL)

K-maps: a vehicle to an optimal solution in combinational logic design problems using digital multiplexers. ... Abstract. Application of Karnaugh maps (K-Maps) for the design of combinational logic circuits and sequential logic circuits is a subject that has been widely discussed. However, the use of K-Maps in the design of ...

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

On the Formal-Logical Analysis of the Foundations of Mathematics Applied to Problems in Physics

Science.gov (United States)

Kalanov, Temur Z.

2016-03-01

Analysis of the foundations of mathematics applied to problems in physics was proposed. The unity of formal logic and of rational dialectics is methodological basis of the analysis. It is shown that critical analysis of the concept of mathematical quantity - central concept of mathematics - leads to the following conclusion: (1) The concept of ``mathematical quantity'' is the result of the following mental operations: (a) abstraction of the ``quantitative determinacy of physical quantity'' from the ``physical quantity'' at that the ``quantitative determinacy of physical quantity'' is an independent object of thought; (b) abstraction of the ``amount (i.e., abstract number)'' from the ``quantitative determinacy of physical quantity'' at that the ``amount (i.e., abstract number)'' is an independent object of thought. In this case, unnamed, abstract numbers are the only sign of the ``mathematical quantity''. This sign is not an essential sign of the material objects. (2) The concept of mathematical quantity is meaningless, erroneous, and inadmissible concept in science because it represents the following formal-logical and dialectical-materialistic error: negation of the existence of the essential sign of the concept (i.e., negation of the existence of the essence of the concept) and negation of the existence of measure of material object.

THE EQUITY PREMIUM PUZZLE AND EMOTIONAL ASSET PRICING

OpenAIRE

MARC GÜRTLER; NORA HARTMANN

2007-01-01

"Since the equity premium as well as the risk-free rate puzzle question the concepts central to financial and economic modeling, we apply behavioral decision theory to asset pricing in view of solving these puzzles. U.S. stock market data for the period 1960-2003 and German stock market data for the period 1977-2003 show that emotional investors who act in accordance to Bell's (1985) disappointment theory -a special case of prospect theory- and additionally administer mental accounts demand a...

The π+-emission puzzle in 4ΛHe decay

International Nuclear Information System (INIS)

Gibson, B.F.; Timmermans, R.G.E.

1998-01-01

We re-examine the puzzling π + emission from the weak decay of 4 Λ He and propose an explanation in terms of a three-body decay of the virtual Σ + . Such a resolution of the π + decay puzzle is consistent with the calculated Σ + probability in light Λ hypernuclei as well as the experimentally observed π + energy spectrum and s-wave angular distribution. (orig.)

METODE BERMAIN PUZZLE BERPENGARUH PADA PERKEMBANGAN MOTORIK HALUS ANAK USIA PRASEKOLAH

Directory of Open Access Journals (Sweden)

Lilis Maghfuroh

2018-03-01

Full Text Available Pre-school is a period to increase fine motor development of children. This research aims to determine the increasing of fine motor development using the puzzle for preschoolers. his research is using one-group pre-post test design without control and procedures for statistical analysis through Wilcoxon Sign Rank Test with a confidence level of 95% and α: 5%. The subjects of this study were 40 children. The results of the analysis showed that there was effect of the intervention method by playing puzzle through the development of fine motor skills at pre-school children in mind that the value of Z sign p = 0.001 where significant value of p <0.05. Puzzle play method can improve child language development. The results of this research can be used as the basic for doing the puzzles therapy in children because it can improve fine motor skills development of children. Masa prasekolah merupakan masa peningkatan perkembangan motorik halus. Motorik halus adalah gerakan yang dilakukan oleh sekelompok otot-otot kecil seperti jari-jemari. Pada survey awal hampir sebagian anak mengalami perkembangan motorik suspek. Penelitian ini untuk mengetahui pengaruh metode puzzle terhadap perkembangan motorik halus anak pra sekolah. Penelitian ini menggunakan one-group pra-post test design tanpa control dan analisis statistik menggunakan Uji Wilcoxon Sign Rank Test dengan tingkat  kepercayaan 95% dan α : 5%. Populasi penelitian 50 anak dan sample 40 anak dengan tehnik Simple Random Sampling. Setelah data terkumpul dengan menggunakan DDST selanjutnya dianalisa. Hasil penelitian ini menunjukkan ada pengaruh metode bermain puzzle terhadap perkembangan motorik halus diketahui p sign = 0,001 dimana nilai signifikan p < 0,05. Hasil penelitian ini dapat dijadikan dasar untuk melakukan terapi puzzle pada anak untuk meningkatkan perkembangan motorik halus anak.

Association of Crossword Puzzle Participation with Memory Decline in Persons Who Develop Dementia

Science.gov (United States)

Pillai, Jagan A.; Hall, Charles B.; Dickson, Dennis W.; Buschke, Herman; Lipton, Richard B.; Verghese, Joe

2013-01-01

Participation in cognitively stimulating leisure activities such as crossword puzzles may delay onset of the memory decline in the preclinical stages of dementia, possibly via its effect on improving cognitive reserve. We followed 488 initially cognitively intact community residing individuals with clinical and cognitive assessments every 12–18 months in the Bronx Aging Study. We assessed the influence of crossword puzzle participation on the onset of accelerated memory decline as measured by the Buschke Selective Reminding Test in 101 individuals who developed incident dementia using a change point model. Crossword puzzle participation at baseline delayed onset of accelerated memory decline by 2.54 years. Inclusion of education or participation in other cognitively stimulating activities did not significantly add to the fit of the model beyond the effect of puzzles. Our findings show that late life crossword puzzle participation, independent of education, was associated with delayed onset of memory decline in persons who developed dementia. Given the wide availability and accessibility of crossword puzzles, their role in preventing cognitive decline should be validated in future clinical trials. PMID:22040899

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 puzzle of the 6Li quadrupole moment: steps toward the solution

International Nuclear Information System (INIS)

Blokhintsev, L.D.; Kukulin, V.I.; Pomerantsev, V.N.

2005-01-01

The problem of origin of the ground-state 6 Li quadrupole deformation has been investigated with account of the three-deuteron component of this nucleus wave function. two long-standing puzzles related to the tensor interaction in 6 Li are known. The first one lies in the anomalously small value of the 6 Li quadrupole moment which, being negative, is in absolute magnitude smaller by the factor of 5 than that of 6 Li. The second puzzle consists in the anomalous behavior of the tensor analyzing power T 2q in scattering of polarized 6 Li nuclei from various targets. It is shown that the large (in absolute magnitude) negative contribution to the 6 Li quadrupole moment resulting from the three-deuteron configuration cancels almost completely the direct positive contribution due to the folding αd-potential. As a result, the total quadrupole moment turns out to be close to zero and highly sensitive to fine details of the tensor NN interaction and of the 4 He wave function [ru

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.

Nature's Greatest Puzzles

International Nuclear Information System (INIS)

Quigg, Chris

2005-01-01

It is a pleasure to be part of the SLAC Summer Institute again, not simply because it is one of the great traditions in our field, but because this is a moment of great promise for particle physics. I look forward to exploring many opportunities with you over the course of our two weeks together. My first task in talking about Nature's Greatest Puzzles, the title of this year's Summer Institute, is to deconstruct the premise a little bit

Logical provenance in data-oriented workflows?

KAUST Repository

Ikeda, R.

2013-04-01

We consider the problem of defining, generating, and tracing provenance in data-oriented workflows, in which input data sets are processed by a graph of transformations to produce output results. We first give a new general definition of provenance for general transformations, introducing the notions of correctness, precision, and minimality. We then determine when properties such as correctness and minimality carry over from the individual transformations\\' provenance to the workflow provenance. We describe a simple logical-provenance specification language consisting of attribute mappings and filters. We provide an algorithm for provenance tracing in workflows where logical provenance for each transformation is specified using our language. We consider logical provenance in the relational setting, observing that for a class of Select-Project-Join (SPJ) transformations, logical provenance specifications encode minimal provenance. We have built a prototype system supporting the features and algorithms presented in the paper, and we report a few preliminary experimental results. © 2013 IEEE.

The puzzle box as a simple and efficient behavioral test for exploring impairments of general cognition and executive functions in mouse models of schizophrenia.

Science.gov (United States)

Ben Abdallah, Nada M-B; Fuss, Johannes; Trusel, Massimo; Galsworthy, Michael J; Bobsin, Kristin; Colacicco, Giovanni; Deacon, Robert M J; Riva, Marco A; Kellendonk, Christoph; Sprengel, Rolf; Lipp, Hans-Peter; Gass, Peter

2011-01-01

Deficits in executive functions are key features of schizophrenia. Rodent behavioral paradigms used so far to find animal correlates of such deficits require extensive effort and time. The puzzle box is a problem-solving test in which mice are required to complete escape tasks of increasing difficulty within a limited amount of time. Previous data have indicated that it is a quick but highly reliable test of higher-order cognitive functioning. We evaluated the use of the puzzle box to explore executive functioning in five different mouse models of schizophrenia: mice with prefrontal cortex and hippocampus lesions, mice treated sub-chronically with the NMDA-receptor antagonist MK-801, mice constitutively lacking the GluA1 subunit of AMPA-receptors, and mice over-expressing dopamine D2 receptors in the striatum. All mice displayed altered executive functions in the puzzle box, although the nature and extent of the deficits varied between the different models. Deficits were strongest in hippocampus-lesioned and GluA1 knockout mice, while more subtle deficits but specific to problem solving were found in the medial prefrontal-lesioned mice, MK-801-treated mice, and in mice with striatal overexpression of D2 receptors. Data from this study demonstrate the utility of the puzzle box as an effective screening tool for executive functions in general and for schizophrenia mouse models in particular. Published by Elsevier Inc.

Cles: Etes-vous bon detective?; Enigmes grammaticales; Problemes policiers; Kidnapping (Keys: Are You a Good Detective?; Grammatical Puzzles; Detective Mysteries; Kidnapping).

Science.gov (United States)

Debyser, Francis; And Others

1984-01-01

Four sets of French classroom activities are presented: a mystery whose clues include two postcard messages; three puzzles with grammar-related clues; a mystery contained in three comic strip frames; and the solving of a kidnapping mystery. (MSE)

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

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.

Construction-Paper Puzzle Masterpieces

Science.gov (United States)

Vance, Shelly

2010-01-01

Creating an appreciation of art history in her junior-high students has always been one of the author's greatest challenges as an art teacher. In this article, the author describes how her eighth-grade students re-created a famous work of art--piece by piece, like a puzzle or a stained-glass window--out of construction paper. (Contains 1 resource.)

The Ay puzzle and the nuclear force

International Nuclear Information System (INIS)

Hueber, D.

1999-01-01

The nucleon-deuteron analyzing power A y in elastic nucleon-deuteron scattering poses a longstanding puzzle. At energies E lab below approximately 30 MeV, A y cannot be described by any realistic NN force. The inclusion of existing three-nucleon forces does not improve the situation. Because of recent questions about the 3 P J NN phases, we examine whether reasonable changes in the NN force can resolve the puzzle. In order to do this, we investigate the effect on the 3 P J waves produced by changes in different parts of the potential (viz., the central force, tensor force, etc.), as well as on the 2-body observables and on A y . We find that it is not possible with reasonable changes in the NN potential to increase the 3-body A y , and at the same time to keep the 2-body observables unchanged. We therefore conclude that the A y puzzle is likely to be solved by new three-nucleon forces, such as those of spin-orbit type, which have not yet been taken into account. Refs. 7, tab. 1 (author)

The Ay puzzle and the nuclear force

International Nuclear Information System (INIS)

Hueber, D.; Friar, J.L.

1998-01-01

The nucleon-deuteron analyzing power A y in elastic nucleon-deuteron scattering poses a longstanding puzzle. At energies E lab below approximately 30 MeV A y cannot be described by any realistic nucleon-nucleon (NN) force. The inclusion of existing three-nucleon forces does not improve the situation. Because of recent questions about the 3 P J NN phases, we examine whether reasonable changes in the NN force can resolve the puzzle. In order to do this we investigate the effect on the 3 P J waves produced by changes in different parts of the potential (viz., the central force, tensor force, etc.), as well as on the two-body observables and on A y . We find that it is not possible with reasonable changes in the NN potential to increase the three-body A y and at the same time to keep the two-body observables unchanged. We therefore conclude that the A y puzzle is likely to be solved by new three-nucleon forces, such as those of the spin-orbit type, which have not yet been taken into account. copyright 1998 The American Physical Society

An Alternative Evaluation: Online Puzzle as a Course-End Activity

Science.gov (United States)

Genç, Zülfü; Aydemir, Emrah

2015-01-01

Purpose: The purpose of this study is to determine whether the use of online puzzles in the instructional process has an effect on student achievement and learning retention. This study examined students ' perception and experiences on use of puzzle as an alternative evaluation tool. To achieve this aim, the following hypotheses were tested: using…

Phonotactics in inductive logic programming

NARCIS (Netherlands)

Nerbonne, J.; Konstantopoulos, S.; Klopotek, M.A.; Wierzchon, S.T.; Trojanowski, K.

2004-01-01

We examine the results of applying inductive logic programming (ILP) to a relatively simple linguistic task, that of recognizing monosyllables in one language. ILP is suited to linguistic problems given linguists' preference for formulating their theories in discrete rules, and because of ILP's

Cut elimination in multifocused linear logic

DEFF Research Database (Denmark)

Guenot, Nicolas; Brock-Nannestad, Taus

2015-01-01

We study cut elimination for a multifocused variant of full linear logic in the sequent calculus. The multifocused normal form of proofs yields problems that do not appear in a standard focused system, related to the constraints in grouping rule instances in focusing phases. We show that cut...... elimination can be performed in a sensible way even though the proof requires some specific lemmas to deal with multifocusing phases, and discuss the difficulties arising with cut elimination when considering normal forms of proofs in linear logic....

Computability, complexity, logic

CERN Document Server

Börger, Egon

1989-01-01

The theme of this book is formed by a pair of concepts: the concept of formal language as carrier of the precise expression of meaning, facts and problems, and the concept of algorithm or calculus, i.e. a formally operating procedure for the solution of precisely described questions and problems. The book is a unified introduction to the modern theory of these concepts, to the way in which they developed first in mathematical logic and computability theory and later in automata theory, and to the theory of formal languages and complexity theory. Apart from considering the fundamental themes an

Indoor signal attenuation assessment via fuzzy logic

Directory of Open Access Journals (Sweden)

Alexandre de Assis Mota

2011-09-01

Full Text Available This work focuses on the analysis of signal´s attenuation in indoor environments using a fuzzy logic approach based on the Shadowing Signal Propagation Model (SSPM. The SSPM allows the characterization of the attenuation caused by the environment through the ? parameter present in this model. In addition to this, the Fuzzy Logic provides a form of approximate reasoning that allows the treatment of problems with incomplete, vague and imprecise information. Also, it offers a simple way to obtain a possible solution for a problem using the heuristic knowledge about a particular situation. The results show that the methodology produced satisfactory results, close to the ones yielded by experimental methods.

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

Addressing the strong CP problem with quark mass ratios

Energy Technology Data Exchange (ETDEWEB)

Diaz-Cruz, J.L.; Saldana-Salazar, U.J. [Benemerita Univ. Autonoma de Puebla (Mexico). Facultad de Ciencias Fisico-Matematicas; Hollik, W.G. [Deutsches Elektronen-Synchrotron (DESY), Hamburg (Germany)

2016-05-15

The strong CP problem is one of many puzzles in the theoretical description of elementary particles physics that still lacks an explanation. Solutions to that problem usually comprise new symmetries or fields or both. The main problem seems to be how to achieve small CP in the strong interactions despite large CP violation in weak interactions. Observation of CP violation is exclusively through the Higgs-Yukawa interactions. In this letter, we show that with minimal assumptions on the structure of mass (Yukawa) matrices the strong CP problem does not exist in the Standard Model and no extension to solve this is needed. However, to solve the flavor puzzle, models based on minimal SU(3) flavor groups leading to the proposed flavor matrices are favored.

Addressing the strong CP problem with quark mass ratios

International Nuclear Information System (INIS)

Diaz-Cruz, J.L.; Saldana-Salazar, U.J.

2016-05-01

The strong CP problem is one of many puzzles in the theoretical description of elementary particles physics that still lacks an explanation. Solutions to that problem usually comprise new symmetries or fields or both. The main problem seems to be how to achieve small CP in the strong interactions despite large CP violation in weak interactions. Observation of CP violation is exclusively through the Higgs-Yukawa interactions. In this letter, we show that with minimal assumptions on the structure of mass (Yukawa) matrices the strong CP problem does not exist in the Standard Model and no extension to solve this is needed. However, to solve the flavor puzzle, models based on minimal SU(3) flavor groups leading to the proposed flavor matrices are favored.

Probabilistic Logic and Probabilistic Networks

NARCIS (Netherlands)

Haenni, R.; Romeijn, J.-W.; Wheeler, G.; Williamson, J.

2009-01-01

While in principle probabilistic logics might be applied to solve a range of problems, in practice they are rarely applied at present. This is perhaps because they seem disparate, complicated, and computationally intractable. However, we shall argue in this programmatic paper that several approaches

NICHD Research Networks Help Piece Together the Puzzle of Polycystic Ovary Syndrome

Science.gov (United States)

... Print NICHD research networks help piece together the puzzle of polycystic ovary syndrome Many people think that ... more like putting together a thousand-piece jigsaw puzzle. Except that you can’t check the cover ...

On Non-Parallelizable Deterministic Client Puzzle Scheme with Batch Verification Modes

NARCIS (Netherlands)

Tang, Qiang; Jeckmans, Arjan

A (computational) client puzzle scheme enables a client to prove to a server that a certain amount of computing resources (CPU cycles and/or Memory look-ups) has been dedicated to solve a puzzle. Researchers have identified a number of potential applications, such as constructing timed cryptography,

Parametric Analysis of Flexible Logic Control Model

Directory of Open Access Journals (Sweden)

Lihua Fu

2013-01-01

Full Text Available Based on deep analysis about the essential relation between two input variables of normal two-dimensional fuzzy controller, we used universal combinatorial operation model to describe the logic relationship and gave a flexible logic control method to realize the effective control for complex system. In practical control application, how to determine the general correlation coefficient of flexible logic control model is a problem for further studies. First, the conventional universal combinatorial operation model has been limited in the interval [0,1]. Consequently, this paper studies a kind of universal combinatorial operation model based on the interval [a,b]. And some important theorems are given and proved, which provide a foundation for the flexible logic control method. For dealing reasonably with the complex relations of every factor in complex system, a kind of universal combinatorial operation model with unequal weights is put forward. Then, this paper has carried out the parametric analysis of flexible logic control model. And some research results have been given, which have important directive to determine the values of the general correlation coefficients in practical control application.

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

Implementation of a Fuzzy Logic Speed Controller for a Permanent ...

African Journals Online (AJOL)

In this paper DC motor control models were mathematically extracted and implemented using fuzzy logic speed controller. All control systems suffer from problems related to undesirable overshoot, longer settling times and vibrations while going from one state to another. To overcome the maximum overshoot, fuzzy logic ...

Box-Cox transformation for resolving Peelle's Pertinent Puzzle in curve fitting

International Nuclear Information System (INIS)

Oh, Soo-Youl

2003-01-01

Incorporating the Box-Cox transformation into a least-squares method is presented as one of resolutions of an anomaly known as Peelle's Pertinent Puzzle. The transformation is a strategy to make non-normal distribution data resemble normal data. A procedure is proposed: transform the measured raw data with an optimized Box-Cox transformation parameter, fit the transformed data using a usual curve fitting method, then inverse-transform the fitted results to final estimates. The generalized least-squares method utilized in GMA is adopted as the curve fitting tool for the test of proposed procedure. In the procedure, covariance matrices are correspondingly transformed and inverse-transformed with the aid of error propagation law. In addition to a sensible answer to the Peelle's problem itself, the procedure resulted in reasonable estimates of 6 Li(n,t) cross sections in several to 800 keV energy region. Meanwhile, comparisons of the present procedure with that of Chiba and Smith show that both procedures yield estimates so close each other for the sample evaluation on 6 Li(n,t) above as well as for the Peelle's problem. Two procedures, however, are conceptually very different and further discussions would be needed for a consensus on this issue of resolving the Puzzle. It is also pointed out that the transformation is applicable not only to a least-squares method but also to other parameter estimation method such as a usual Bayesian approach formulated with an assumption of normality of the probability density function. (author)

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.

Lepton mixing and the 'solar neutrino puzzle'

International Nuclear Information System (INIS)

Bilenky, S.M.; Pontecorvo, B.

1977-01-01

The results of the well-known solar neutrino experiments in which the Cl-Ar method was employed are discussed; the results of this experiment gave a too-small neutrino signal and were referred to as the 'solar neutrino puzzle'. A number of explanations have been offered to account for the results, but it is stated that the explanation in terms of lepton mixing and neutrino sterility is attractive in terms of present day elementary particle physics and much more natural than the other explanations offered. Headings are as follows: neutrino oscillations and lepton charge, oscillations and solar neutrino experiments, lepton mixing according to old and present ideas, neutrino oscillations and the 'solar neutrino puzzle'. (U.K.)

Flaxion: a minimal extension to solve puzzles in the standard model

Energy Technology Data Exchange (ETDEWEB)

Ema, Yohei [Department of Physics,The University of Tokyo, Tokyo 133-0033 (Japan); Hamaguchi, Koichi; Moroi, Takeo; Nakayama, Kazunori [Department of Physics,The University of Tokyo, Tokyo 133-0033 (Japan); Kavli Institute for the Physics and Mathematics of the Universe (Kavli IPMU),University of Tokyo, Kashiwa 277-8583 (Japan)

2017-01-23

We propose a minimal extension of the standard model which includes only one additional complex scalar field, flavon, with flavor-dependent global U(1) symmetry. It not only explains the hierarchical flavor structure in the quark and lepton sector (including neutrino sector), but also solves the strong CP problem by identifying the CP-odd component of the flavon as the QCD axion, which we call flaxion. Furthermore, the flaxion model solves the cosmological puzzles in the standard model, i.e., origin of dark matter, baryon asymmetry of the universe, and inflation. We show that the radial component of the flavon can play the role of inflaton without isocurvature nor domain wall problems. The dark matter abundance can be explained by the flaxion coherent oscillation, while the baryon asymmetry of the universe is generated through leptogenesis.

Reprogrammable logic in memristive crossbar for in-memory computing

Science.gov (United States)

Cheng, Long; Zhang, Mei-Yun; Li, Yi; Zhou, Ya-Xiong; Wang, Zhuo-Rui; Hu, Si-Yu; Long, Shi-Bing; Liu, Ming; Miao, Xiang-Shui

2017-12-01

Memristive stateful logic has emerged as a promising next-generation in-memory computing paradigm to address escalating computing-performance pressures in traditional von Neumann architecture. Here, we present a nonvolatile reprogrammable logic method that can process data between different rows and columns in a memristive crossbar array based on material implication (IMP) logic. Arbitrary Boolean logic can be executed with a reprogrammable cell containing four memristors in a crossbar array. In the fabricated Ti/HfO2/W memristive array, some fundamental functions, such as universal NAND logic and data transfer, were experimentally implemented. Moreover, using eight memristors in a 2  ×  4 array, a one-bit full adder was theoretically designed and verified by simulation to exhibit the feasibility of our method to accomplish complex computing tasks. In addition, some critical logic-related performances were further discussed, such as the flexibility of data processing, cascading problem and bit error rate. Such a method could be a step forward in developing IMP-based memristive nonvolatile logic for large-scale in-memory computing architecture.

The impact of memory load and perceptual cues on puzzle learning by 24-month olds.

Science.gov (United States)

Barr, Rachel; Moser, Alecia; Rusnak, Sylvia; Zimmermann, Laura; Dickerson, Kelly; Lee, Herietta; Gerhardstein, Peter

2016-11-01

Early childhood is characterized by memory capacity limitations and rapid perceptual and motor development [Rovee-Collier (1996). Infant Behavior & Development, 19, 385-400]. The present study examined 2-year olds' reproduction of a sliding action to complete an abstract fish puzzle under different levels of memory load and perceptual feature support. Experimental groups were compared to baseline controls to assess spontaneous rates of production of the target actions; baseline production was low across all experiments. Memory load was manipulated in Exp. 1 by adding pieces to the puzzle, increasing sequence length from 2 to 3 items, and to 3 items plus a distractor. Although memory load did not influence how toddlers learned to manipulate the puzzle pieces, it did influence toddlers' achievement of the goal-constructing the fish. Overall, girls were better at constructing the puzzle than boys. In Exp. 2, the perceptual features of the puzzle were altered by changing shape boundaries to create a two-piece horizontally cut puzzle (displaying bilateral symmetry), and by adding a semantically supportive context to the vertically cut puzzle (iconic). Toddlers were able to achieve the goal of building the fish equally well across the 2-item puzzle types (bilateral symmetry, vertical, iconic), but how they learned to manipulate the puzzle pieces varied as a function of the perceptual features. Here, as in Exp. 1, girls showed a different pattern of performance from the boys. This study demonstrates that changes in memory capacity and perceptual processing influence both goal-directed imitation learning and motoric performance. © 2016 Wiley Periodicals, Inc.

a fuzzy logic approach to non-linearity problem of load frequency

African Journals Online (AJOL)

user

2016-07-03

Jul 3, 2016 ... reduction in settling time, percent overshoot and steady state error. Keywords: fuzzy logic ... power system to regain a state of operating equilibrium given ... power system depends basically on the active (real) power balance ...

Meaning and proscription in formal logic variations on the propositional logic of William T. Parry

CERN Document Server

Ferguson, Thomas Macaulay

2017-01-01

This book aids in the rehabilitation of the wrongfully deprecated work of William Parry, and is the only full-length investigation into Parry-type propositional logics. A central tenet of the monograph is that the sheer diversity of the contexts in which the mereological analogy emerges – its effervescence with respect to fields ranging from metaphysics to computer programming – provides compelling evidence that the study of logics of analytic implication can be instrumental in identifying connections between topics that would otherwise remain hidden. More concretely, the book identifies and discusses a host of cases in which analytic implication can play an important role in revealing distinct problems to be facets of a larger, cross-disciplinary problem. It introduces an element of constancy and cohesion that has previously been absent in a regrettably fractured field, shoring up those who are sympathetic to the worth of mereological analogy. Moreover, it generates new interest in the field by illustrat...

Complete proof systems for weighted modal logic

DEFF Research Database (Denmark)

Larsen, Kim G.; Mardare, Radu

2014-01-01

(WML) is a multi-modal logic that expresses qualitative and quantitative properties of WTSs. While WML has been studied in various contexts and for various application domains, no proof system has been developed for it. In this paper we solve this open problem and propose both weak-complete and strong......The weighted transition systems (WTS) considered in this paper are transition systems having both states and transitions labeled with real numbers: the state labels denote quantitative resources, while the transition labels denote costs of transitions in terms of resources. Weighted Modal Logic....... This work emphasizes a series of similarities between WML and the probabilistic/stochastic modal logics for Markov processes and Harsanyi type spaces, such as the use of particular infinitary rules to guarantee the strong-completeness....

Architectonics of Deleuze’s Logic of sense

Directory of Open Access Journals (Sweden)

Jakub Tercz

2012-01-01

Full Text Available The article presents a specific proposal of reading the Logic of Sense,which – referring to the philosophy of Kant – I call architectural. Architecturalreading consists in the simultaneous analysis of philosophical theory and the formalstructure of the work. Although this technique may be referred to a number ofclassic works, Logic’s case appears to be unique, as suggested by the author when henames each of the 34 chapters ‘series’ as a pivotal concept for the theory. ThereforeLogic is deliberately self-reflexive, which means that the structure of chapters andparagraphs, the nature of philosophical concepts, and even the difficulty in readingare justified by contents. Finally, it appears that Logic is constructed as a puzzlewaiting to be solved in accordance with subjective questions and problems of thereader. I intentionally do not present any particular proposal of reading, I merelytry to provide a ‘strategy’. In this sens, the article is a prolegomena to the properreading of the Logic of Sense.

Oak Ridge National Laboratory Technology Logic Diagram

International Nuclear Information System (INIS)

1993-09-01

The Oak Ridge National Laboratory Technology Logic Diagram (TLD) was developed to provide a decision-support tool that relates environmental restoration (ER) and waste management (WM) problems at Oak Ridge National Laboratory (ORNL) to potential technologies that can remediate these problems. The TLD identifies the research, development, demonstration, testing, and evaluation needed to develop these technologies to a state that allows technology transfer and application to decontamination and decommissioning (D ampersand D), remedial action (RA), and WM activities. The TLD consists of three fundamentally separate volumes: Vol. 1 (Technology Evaluation), Vol. 2 (Technology Logic Diagram), and Vol. 3 (Technology Evaluation Data Sheets). Part A of Vols. 1 and 2 focuses on D ampersand D. Part B of Vols. 1 and 2 focuses on RA of contaminated facilities. Part C of Vols. 1 and 2 focuses on WM. Each part of Vol. 1 contains an overview of the TLD, an explanation of the program-specific responsibilities, a review of identified technologies, and the ranking os remedial technologies. Volume 2 (Pts. A, B, and C) contains the logic linkages among EM goals, environmental problems, and the various technologies that have the potential to solve these problems. Volume 3 (Pts. A, B, and C) contains the TLD data sheets. The focus of Vol. 1, Pt. B, is RA, and it has been divided into six chapters. The first chapter is an introduction, which defines problems specific to the ER Program for ORNL. Chapter 2 provides a general overview of the TLD. Chapters 3 through 5 are organized into necessary subelement categories: RA, characterization, and robotics and automation. The final chapter contains regulatory compliance information concerning RA

New data and an old puzzle

DEFF Research Database (Denmark)

Lee, S Hong; Byrne, Enda M; Hultman, Christina M

2015-01-01

BACKGROUND: A long-standing epidemiological puzzle is the reduced rate of rheumatoid arthritis (RA) in those with schizophrenia (SZ) and vice versa. Traditional epidemiological approaches to determine if this negative association is underpinned by genetic factors would test for reduced rates of one...

A formalized design process for bacterial consortia that perform logic computing.

Directory of Open Access Journals (Sweden)

Weiyue Ji

Full Text Available The concept of microbial consortia is of great attractiveness in synthetic biology. Despite of all its benefits, however, there are still problems remaining for large-scaled multicellular gene circuits, for example, how to reliably design and distribute the circuits in microbial consortia with limited number of well-behaved genetic modules and wiring quorum-sensing molecules. To manage such problem, here we propose a formalized design process: (i determine the basic logic units (AND, OR and NOT gates based on mathematical and biological considerations; (ii establish rules to search and distribute simplest logic design; (iii assemble assigned basic logic units in each logic operating cell; and (iv fine-tune the circuiting interface between logic operators. We in silico analyzed gene circuits with inputs ranging from two to four, comparing our method with the pre-existing ones. Results showed that this formalized design process is more feasible concerning numbers of cells required. Furthermore, as a proof of principle, an Escherichia coli consortium that performs XOR function, a typical complex computing operation, was designed. The construction and characterization of logic operators is independent of "wiring" and provides predictive information for fine-tuning. This formalized design process provides guidance for the design of microbial consortia that perform distributed biological computation.

Boolean Logic Tree of Label-Free Dual-Signal Electrochemical Aptasensor System for Biosensing, Three-State Logic Computation, and Keypad Lock Security Operation.

Science.gov (United States)

Lu, Jiao Yang; Zhang, Xin Xing; Huang, Wei Tao; Zhu, Qiu Yan; Ding, Xue Zhi; Xia, Li Qiu; Luo, Hong Qun; Li, Nian Bing

2017-09-19

The most serious and yet unsolved problems of molecular logic computing consist in how to connect molecular events in complex systems into a usable device with specific functions and how to selectively control branchy logic processes from the cascading logic systems. This report demonstrates that a Boolean logic tree is utilized to organize and connect "plug and play" chemical events DNA, nanomaterials, organic dye, biomolecule, and denaturant for developing the dual-signal electrochemical evolution aptasensor system with good resettability for amplification detection of thrombin, controllable and selectable three-state logic computation, and keypad lock security operation. The aptasensor system combines the merits of DNA-functionalized nanoamplification architecture and simple dual-signal electroactive dye brilliant cresyl blue for sensitive and selective detection of thrombin with a wide linear response range of 0.02-100 nM and a detection limit of 1.92 pM. By using these aforementioned chemical events as inputs and the differential pulse voltammetry current changes at different voltages as dual outputs, a resettable three-input biomolecular keypad lock based on sequential logic is established. Moreover, the first example of controllable and selectable three-state molecular logic computation with active-high and active-low logic functions can be implemented and allows the output ports to assume a high impediment or nothing (Z) state in addition to the 0 and 1 logic levels, effectively controlling subsequent branchy logic computation processes. Our approach is helpful in developing the advanced controllable and selectable logic computing and sensing system in large-scale integration circuits for application in biomedical engineering, intelligent sensing, and control.

Europe vs. the U.S. A New Look at the Syndicated Loan Pricing Puzzle

OpenAIRE

Burietz, Aurore; Oosterlinck, Kim; Szafarz, Ariane

2017-01-01

According to the syndicated loan pricing puzzle (Carey and Nini, Journal of Finance, 2007) interest rates charged to corporate borrowers are lower in Europe than in the U.S. Our investigation suggests that controlling for region-specific credit ratings makes the Europe-U.S. gap insignificant, and solves the puzzle. We speculate that the puzzle originates from the lack of uniformity of accounting standards.

Fuzzy Logic and Intelligent Technologies in Nuclear Science

International Nuclear Information System (INIS)

Da Ruan

1998-01-01

FLINS is the acronym for Fuzzy Logic and Intelligent Technologies in Nuclear Science. The main task for FLINS is to solve intricate problems pertaining to the nuclear environment by using modern technologies as additional tools and to bridge the gap between novel technologies and the industrial nuclear world. In 1997, major efforts went to the specific prototyping of Fuzzy Logic Control of SCK-CEN's BR1 research Reactor. Progress and achievements are reported

Logic programming and metadata specifications

Science.gov (United States)

Lopez, Antonio M., Jr.; Saacks, Marguerite E.

1992-01-01

Artificial intelligence (AI) ideas and techniques are critical to the development of intelligent information systems that will be used to collect, manipulate, and retrieve the vast amounts of space data produced by 'Missions to Planet Earth.' Natural language processing, inference, and expert systems are at the core of this space application of AI. This paper presents logic programming as an AI tool that can support inference (the ability to draw conclusions from a set of complicated and interrelated facts). It reports on the use of logic programming in the study of metadata specifications for a small problem domain of airborne sensors, and the dataset characteristics and pointers that are needed for data access.

Computational logic with square rings of nanomagnets

Science.gov (United States)

Arava, Hanu; Derlet, Peter M.; Vijayakumar, Jaianth; Cui, Jizhai; Bingham, Nicholas S.; Kleibert, Armin; Heyderman, Laura J.

2018-06-01

Nanomagnets are a promising low-power alternative to traditional computing. However, the successful implementation of nanomagnets in logic gates has been hindered so far by a lack of reliability. Here, we present a novel design with dipolar-coupled nanomagnets arranged on a square lattice to (i) support transfer of information and (ii) perform logic operations. We introduce a thermal protocol, using thermally active nanomagnets as a means to perform computation. Within this scheme, the nanomagnets are initialized by a global magnetic field and thermally relax on raising the temperature with a resistive heater. We demonstrate error-free transfer of information in chains of up to 19 square rings and we show a high level of reliability with successful gate operations of ∼94% across more than 2000 logic gates. Finally, we present a functionally complete prototype NAND/NOR logic gate that could be implemented for advanced logic operations. Here we support our experiments with simulations of the thermally averaged output and determine the optimal gate parameters. Our approach provides a new pathway to a long standing problem concerning reliability in the use of nanomagnets for computation.

Logical reformulation of quantum mechanics. I. Foundations

International Nuclear Information System (INIS)

Omnes, R.

1988-01-01

The basic rules of quantum mechanics are reformulated. They deal primarily with individual systems and do not assume that every ket may represent a physical state. The customary kinematic and dynamic rules then allow to construct consistent Boolean logics describing the history of a system, following essentially Griffiths' proposal. Logical implication is defined within these logics, the multiplicity of which reflects the complementary principle. Only one interpretive rule of quantum mechanics is necessary in such a framework. It states that these logics provide bona fide foundations for the description of a quantum system and for reasoning about it. One attempts to build up classical physics, including classical logic, on these quantum foundations. The resulting theory of measurement needs not to state a priori that the eigenvalues of an observable have to be the results of individual measurements nor to assume wave packet reduction. Both these properties can be obtained as consequences of the basic rules. One also needs not to postulate that every observable is measurable, even in principle. A proposition calculus is obtained, allowing in principle the replacement of the discussion of problems concerned with the practical interpretation of experiments by due calculations

Puzzle Imaging: Using Large-Scale Dimensionality Reduction Algorithms for Localization.

Science.gov (United States)

Glaser, Joshua I; Zamft, Bradley M; Church, George M; Kording, Konrad P

2015-01-01

Current high-resolution imaging techniques require an intact sample that preserves spatial relationships. We here present a novel approach, "puzzle imaging," that allows imaging a spatially scrambled sample. This technique takes many spatially disordered samples, and then pieces them back together using local properties embedded within the sample. We show that puzzle imaging can efficiently produce high-resolution images using dimensionality reduction algorithms. We demonstrate the theoretical capabilities of puzzle imaging in three biological scenarios, showing that (1) relatively precise 3-dimensional brain imaging is possible; (2) the physical structure of a neural network can often be recovered based only on the neural connectivity matrix; and (3) a chemical map could be reproduced using bacteria with chemosensitive DNA and conjugative transfer. The ability to reconstruct scrambled images promises to enable imaging based on DNA sequencing of homogenized tissue samples.

Puzzles in studies of quantum chaos

International Nuclear Information System (INIS)

Xu Gongou

1994-01-01

Puzzles in studies of quantum chaos are discussed. From the view of global properties of quantum states, it is clarified that quantum chaos originates from the break-down of invariant properties of quantum canonical transformations. There exist precise correspondences between quantum and classical chaos

The Closed-End Funds Puzzle: A Survey Review

Directory of Open Access Journals (Sweden)

Marta Charrón

2009-09-01

Full Text Available The main objective of this paper is to explore the most salient research aimed at explaining the closed-end fund puzzle from both the traditional and behavioral finance perspectives. It provides a better understanding of closed-end fund behavior and motivates further research of closed-end funds, market efficiency, asset pricing and the traditional and behavioral finance paradigms. So far, none of the possible explanations from either traditional finance or behavioral finance have been able to fully account for the occurrence of the puzzle. It continues to be an important issue in the long standing debate between traditional finance and behavioral finance.

Puzzle based teaching versus traditional instruction in electrocardiogram interpretation for medical students--a pilot study.

Science.gov (United States)

Rubinstein, Jack; Dhoble, Abhijeet; Ferenchick, Gary

2009-01-13

Most medical professionals are expected to possess basic electrocardiogram (EKG) interpretation skills. But, published data suggests that residents' and physicians' EKG interpretation skills are suboptimal. Learning styles differ among medical students; individualization of teaching methods has been shown to be viable and may result in improved learning. Puzzles have been shown to facilitate learning in a relaxed environment. The objective of this study was to assess efficacy of teaching puzzle in EKG interpretation skills among medical students. This is a reader blinded crossover trial. Third year medical students from College of Human Medicine, Michigan State University participated in this study. Two groups (n = 9) received two traditional EKG interpretation skills lectures followed by a standardized exam and two extra sessions with the teaching puzzle and a different exam. Two other groups (n = 6) received identical courses and exams with the puzzle session first followed by the traditional teaching. EKG interpretation scores on final test were used as main outcome measure. The average score after only traditional teaching was 4.07 +/- 2.08 while after only the puzzle session was 4.04 +/- 2.36 (p = 0.97). The average improvement after the traditional session was followed up with a puzzle session was 2.53 +/- 1.94 while the average improvement after the puzzle session was followed with the traditional session was 2.08 +/- 1.73 (p = 0.67). The final EKG exam score for this cohort (n = 15) was 84.1 compared to 86.6 (p = 0.22) for a comparable sample of medical students (n = 15) at a different campus. Teaching EKG interpretation with puzzles is comparable to traditional teaching and may be particularly useful for certain subgroups of students. Puzzle session are more interactive and relaxing, and warrant further investigations on larger scale.

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.

JIGSAW PUZZLE IMPROVE FINE MOTOR ABILITIES OF UPPER EXTREMITIES IN POST-STROKE ISCHEMIC CLIENTS

Directory of Open Access Journals (Sweden)

Kusnanto Kusnanto

2017-06-01

Full Text Available Introduction: Ischemic stroke is a disease caused by focal cerebral ischemia, where is a decline in blood flow that needed for neuronal metabolism, leading to neurologic deficit include motor deficit such as fine motor skills impairment. Therapy of fine motor skills disorders is to improve motor function, prevent contractures and complications. These study aimed to identify the effect of playing Jigsaw Puzzle on muscle strength, extensive motion, and upper extremity fine motor skills in patients with ischemic stroke at Dr. Moewardi Hospital, Surakarta. Methods: Experimental Quasi pre-posttest one group control. The number of samples were 34 respondents selected using purposive sampling technique. The samples were divided into intervention and control groups. The intervention group was 17 respondents who were given standard treatment hospital and played Jigsaw Puzzle 2 times a day for six days. Control group is one respondent given by hospital standard therapy without given additional Jigsaw Puzzle game. Evaluation of these research is done on the first and seventh day for those groups. Result: The results showed that muscle strength, the range of joint motion and fine motor skills of upper extremities increased (p = 0.001 significantly after being given the Jigsaw Puzzle games. These means playing Jigsaw Puzzle increase muscle strength, the range of joint motion and upper extremity fine motor skill of ischemic stroke patients. Discussion and conclusion: Jigsaw puzzle game administration as additional rehabilitation therapy in upper extremity fine motor to minimize the occurrence of contractures and motor disorders in patients with ischemic stroke. Jigsaw puzzle game therapy capable of creating repetitive motion as a key of neurological rehabilitation in Ischemic Stroke. This study recommends using jigsaw puzzle game as one of intervention in the nursing care of Ischemic Stroke patients.

A critical study of fuzzy logic as a scientific method in social sciences ...

African Journals Online (AJOL)

The logic of the social sciences, from its inception, has been certain and classic. By advent of Fuzzy logic, gradually making use of it was common because of frequent capabilities and applications that in resolving problems of this science was been attributed to it. Changing of logic in a science or epistemic system has many ...

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.

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

Puzzles in modern biology. I. Male sterility, failure reveals design [version 1; referees: 2 approved

Directory of Open Access Journals (Sweden)

Steven A. Frank

2016-09-01

Full Text Available Many human males produce dysfunctional sperm. Various plants frequently abort pollen. Hybrid matings often produce sterile males. Widespread male sterility is puzzling. Natural selection prunes reproductive failure. Puzzling failure implies something that we do not understand about how organisms are designed. Solving the puzzle reveals the hidden processes of design.

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.

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.

A puzzling aspect of the effect of advance notice on unemployment

DEFF Research Database (Denmark)

Addision, John; Blackburn, McKinley L.

1995-01-01

Displaced male workers with generous periods of advance notice tend to move directly into reemployment faster than their non-notified counterparts but once unemployed tend to escape from unemployment much more slowly. We examine three potential explanations for this puzzle associated with unemplo......Displaced male workers with generous periods of advance notice tend to move directly into reemployment faster than their non-notified counterparts but once unemployed tend to escape from unemployment much more slowly. We examine three potential explanations for this puzzle associated...... with unemployment insurance, the endogeneity of notice, and differential search intensity. Of these alternatives, the evidence suggests that it is the additional but less productive search time during the notice interval that creates the appearance of a puzzle....

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

The infinity puzzle

CERN Document Server

Close, Frank

2011-01-01

We are living in a Golden Age of Physics. Forty or so years ago, three brilliant, yet little-known scientists - an American, a Dutchman, and an Englishman - made breakthroughs which later inspired the construction of the Large Hadron Collider at CERN in Geneva: a 27 kilometer-long machine which has already costs ten billion dollars, taken twenty years to build, and now promises to reveal how the universe itself came to be. The Infinity Puzzle is the inside story of those forty years of research, breakthrough, and endeavour. Peter Higgs, Gerard 't Hooft and James Bjorken, were the three scienti

Fuzzy logic and intelligent technologies in nuclear science

International Nuclear Information System (INIS)

Ruan, D.

1998-01-01

The research project on Fuzzy Logic and Intelligent technologies (FLINS) aims to bridge the gap between novel technologies and the nuclear industry. It aims to initiate research and development programs for solving intricate problems pertaining to the nuclear environment by using modern technologies as additional tool. The major achievements for 1997 include the application of the fuzzy-logic to the BR-1 reactor, the elaboration of a Fuzzy-control model as well as contributions to several workshops and publications

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.

Historical analysis of the logic and rhetoric: problems on the procedural using of entimems

Directory of Open Access Journals (Sweden)

Alexandre Freire Pimentel

2017-06-01

Full Text Available Through the historical and bibliographical method, this article aims to present a critical appraisal of the logic and rhetoric evolution, specifically how the enthymemes are currently used to support judicial decisions. The paper intends to prove that the decision-making precedes the writing process and it is not necessarily guided by a formal logic reasoning but, especially, through an ideological motivation, and also that the wording can be done based on enthymemes.

Bullet-Block Science Video Puzzle

Science.gov (United States)

Shakur, Asif

2015-01-01

A science video blog, which has gone viral, shows a wooden block shot by a vertically aimed rifle. The video shows that the block hit dead center goes exactly as high as the one shot off-center. (Fig. 1). The puzzle is that the block shot off-center carries rotational kinetic energy in addition to the gravitational potential energy. This leads a…

Reachability modules for the description logic SRIQ

CSIR Research Space (South Africa)

Nortje, R

2013-12-01

Full Text Available In this paper we investigate module extraction for the Description Logic SRIQ. We formulate modules in terms of the reachability problem for directed hypergraphs. Using inseperability relations, we investigate the module-theoretic properties...

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

Post optimization paradigm in maximum 3-satisfiability logic programming

Science.gov (United States)

Mansor, Mohd. Asyraf; Sathasivam, Saratha; Kasihmuddin, Mohd Shareduwan Mohd

2017-08-01

Maximum 3-Satisfiability (MAX-3SAT) is a counterpart of the Boolean satisfiability problem that can be treated as a constraint optimization problem. It deals with a conundrum of searching the maximum number of satisfied clauses in a particular 3-SAT formula. This paper presents the implementation of enhanced Hopfield network in hastening the Maximum 3-Satisfiability (MAX-3SAT) logic programming. Four post optimization techniques are investigated, including the Elliot symmetric activation function, Gaussian activation function, Wavelet activation function and Hyperbolic tangent activation function. The performances of these post optimization techniques in accelerating MAX-3SAT logic programming will be discussed in terms of the ratio of maximum satisfied clauses, Hamming distance and the computation time. Dev-C++ was used as the platform for training, testing and validating our proposed techniques. The results depict the Hyperbolic tangent activation function and Elliot symmetric activation function can be used in doing MAX-3SAT logic programming.

The Puzzle of the Scandinavian Welfare State and Social Trust

DEFF Research Database (Denmark)

Svendsen, Gunnar Lind Haase; Svendsen, Gert Tinggaard

2015-01-01

The Scandinavian welfare model is a puzzle to economists: It works economically, even though free-riding should prevail with its explosive cocktail of high taxation and high social benefits. One overlooked solution to the puzzle could be the unique stock of social trust present in Scandinavia. Here......, the four Scandinavian countries (Norway, Denmark, Sweden, and Finland) form the top three with scores above 60 percent social trust on a ranking that covers 94 countries from all over the world....

Area–Oriented Technology Mapping for LUT–Based Logic Blocks

Directory of Open Access Journals (Sweden)

Kubica Marcin

2017-03-01

Full Text Available One of the main aspects of logic synthesis dedicated to FPGA is the problem of technology mapping, which is directly associated with the logic decomposition technique. This paper focuses on using configurable properties of CLBs in the process of logic decomposition and technology mapping. A novel theory and a set of efficient techniques for logic decomposition based on a BDD are proposed. The paper shows that logic optimization can be efficiently carried out by using multiple decomposition. The essence of the proposed synthesis method is multiple cutting of a BDD. A new diagram form called an SMTBDD is proposed. Moreover, techniques that allow finding the best technology mapping oriented to configurability of CLBs are presented. In the experimental section, the presented method (MultiDec is compared with academic and commercial tools. The experimental results show that the proposed technology mapping strategy leads to good results in terms of the number of CLBs.

Crossword Puzzle Makes It Fun: Introduce Green Manufacturing in Wood Technology Courses

Science.gov (United States)

Iley, John L.; Hague, Doug

2012-01-01

Sustainable, or "green," manufacturing and its practices are becoming more and more a part of today's industry, including wood product manufacturing. This article provides introductory information on green manufacturing in wood technology and a crossword puzzle based on green manufacturing terms. The authors use the puzzle at the college level to…

What Puzzles Teachers in Rio de janeiro, and What Keeps Them Going?

Science.gov (United States)

Lyra, Isolina; Fish, Solange; Braga, Walewska Gomes

2003-01-01

Focuses on the key mechanism of "puzzling" in Exploratory Practice (EP), a form of practitioner research, and the critical issue of sustainability in the context of volunteer teacher development work in Rio de Janeiro, Brazil. Investigated puzzles (concerns) of language teachers and grouped them into six categories; motivation, anxiety,…

Penyelesaian Masalah 8-Puzzle dengan Algoritma Steepest-Ascent Hill Climbing

Directory of Open Access Journals (Sweden)

David Abraham

2016-03-01

Full Text Available 8 puzzle merupakan salah satu implementasi dari Artificial Intelegence. Dalam proses penyelesaiannya banyak terdapat algoritma-algoritma pencarian yang dapat diterapkan. Solusi 8 puzzle akan lebih cepat diperoleh jika digunakan prinsip array dengan variasi algoritma Steepest-Ascent Hill Climbing (Hill Climbing dengan memilih kemiringan yang paling tajam / curam dengan parameter heuristik posisi yang benar dan heuristik jarak serta dikombinasikan dengan LogList sebagai penyimpanan state state yang pernah dilalui untuk menanggulangi permasalah pada algoritma hill climbing itu sendiri dan terhindar dari looping state yang pernah dilalui. Metode-metode yang termasuk ke dalam teknik pencarian yang berdasarkan pada fungsi heuristik salah satu diantaranya adalah Hill Climbing, Best First Search, A* (A Bintang. Loglist merupakan tempat penyimpanan setiap kunjungan dari state-state puzzle yang telah dilakukan untuk menghindari looping atau pengulangan terhadap state yang pernah dilalui. Untuk menanggulangi permasalahan pada SteepestAscent Hill Climbing.

A Resolution of the Purchasing Power Parity Puzzle: Imperfect Knowledge and Long Swings

DEFF Research Database (Denmark)

Frydman, Roman; Goldberg, Michael D.; Johansen, Søren

2009-01-01

Asset prices undergo long swings that revolve around benchmark levels. In currency markets, fluctuations involve real exchange rates that are highly persistent and that move in near-parallel fashion with nominal rates. The inability to explain these two regularities with one model has been called...... the "purchasing power parity puzzle." In this paper, we trace the puzzle to exchange rate modelers' use of the "Rational Expectations Hypothesis." We show that once imperfect knowledge is recognized, a monetary model is able to account for the puzzle, as well as other salient features of the data, including...

Peelle's pertinent puzzle: Way of solution

International Nuclear Information System (INIS)

Pronyaev, V.G.

2003-01-01

The effect of evident bias of evaluated data below the majority of experimental data observed in general least-squares model fitting of these data is called as Peelle's Pertinent Puzzle (PPP). Since the transformation of the central values is trivial, the solution by transformation of covariance matrices is deducted

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

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.

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

An Empirical Evaluation of Puzzle-Based Learning as an Interest Approach for Teaching Introductory Computer Science

Science.gov (United States)

Merrick, K. E.

2010-01-01

This correspondence describes an adaptation of puzzle-based learning to teaching an introductory computer programming course. Students from two offerings of the course--with and without the puzzle-based learning--were surveyed over a two-year period. Empirical results show that the synthesis of puzzle-based learning concepts with existing course…

An overview of heavy quark energy loss puzzle at RHIC

International Nuclear Information System (INIS)

Djordjevic, Magdalena

2006-01-01

We give a theoretical overview of the heavy quark tomography puzzle posed by recent non-photonic single electron data from central Au+Au collisions at √s = 200A GeV. We show that radiative energy loss mechanisms alone are not able to explain large single electron suppression data, as long as realistic parameter values are assumed. We argue that a combined collisional and radiative pQCD approach can solve a substantial part of the non-photonic single electron puzzle

Dissolving the Puzzle of Resultant Moral Luck.

Science.gov (United States)

Levy, Neil

The puzzle of resultant moral luck arises when we are disposed to think that an agent who caused a harm deserves to be blamed more than an otherwise identical agent who did not. One popular (but controversial) perspective on resultant moral luck explains our dispositions to produce different judgments with regard to the agents who feature in these cases as a product not of what they genuinely deserve but of our epistemic situation. On this account, there is no genuine resultant moral luck; there is only luck in what evidence becomes available to observers. In this paper, I develop an evolutionary account of our inclination to take the results of actions as evidence for the mental states of agents, thereby explaining why the resulting intuitions are recalcitrant to correction. The account explains why the puzzle of resultant moral luck arises: because our disposition to take the harms agents cause as evidence of their mental states can produce intuitions which conflict with those that arise when we examine agents' mental states without reference to the results of their actions. The account also helps to solve the puzzle of resultant moral luck, by providing a strong reason to ignore the intuitions caused by our disposition to regard actual harms as evidence of mental states. Since these intuitions arise using an unreliable proxy for agents' mental states, they ought to be trumped by more reliable evidence.

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

Spectral inversion of an indefinite Sturm-Liouville problem due to Richardson

International Nuclear Information System (INIS)

Shanley, Paul E

2009-01-01

We study an indefinite Sturm-Liouville problem due to Richardson whose complicated eigenvalue dependence on a parameter has been a puzzle for decades. In atomic physics a process exists that inverts the usual Schroedinger situation of an energy eigenvalue depending on a coupling parameter into the so-called Sturmian problem where the coupling parameter becomes the eigenvalue which then depends on the energy. We observe that the Richardson equation is of the Sturmian type. This means that the Richardson and its related Schroedinger eigenvalue functions are inverses of each other and that the Richardson spectrum is therefore no longer a puzzle

Jigsaw Puzzles As Cognitive Enrichment (PACE) - the effect of solving jigsaw puzzles on global visuospatial cognition in adults 50 years of age and older: study protocol for a randomized controlled trial.

Science.gov (United States)

Fissler, Patrick; Küster, Olivia C; Loy, Laura S; Laptinskaya, Daria; Rosenfelder, Martin J; von Arnim, Christine A F; Kolassa, Iris-Tatjana

2017-09-06

Neurocognitive disorders are an important societal challenge and the need for early prevention is increasingly recognized. Meta-analyses show beneficial effects of cognitive activities on cognition. However, high financial costs, low intrinsic motivation, logistic challenges of group-based activities, or the need to operate digital devices prevent their widespread application in clinical practice. Solving jigsaw puzzles is a cognitive activity without these hindering characteristics, but cognitive effects have not been investigated yet. With this study, we aim to evaluate the effect of solving jigsaw puzzles on visuospatial cognition, daily functioning, and psychological outcomes. The pre-posttest, assessor-blinded study will include 100 cognitively healthy adults 50 years of age or older, who will be randomly assigned to a jigsaw puzzle group or a cognitive health counseling group. Within the 5-week intervention period, participants in the jigsaw puzzle group will engage in 30 days of solving jigsaw puzzles for at least 1 h per day and additionally receive cognitive health counseling. The cognitive health counseling group will receive the same counseling intervention but no jigsaw puzzles. The primary outcome, global visuospatial cognition, will depict the average of the z-standardized performance scores in visuospatial tests of perception, constructional praxis, mental rotation, processing speed, flexibility, working memory, reasoning, and episodic memory. As secondary outcomes, we will assess the eight cognitive abilities, objective and subjective visuospatial daily functioning, psychological well-being, general self-efficacy, and perceived stress. The primary data analysis will be based on mixed-effects models in an intention-to-treat approach. Solving jigsaw puzzles is a low-cost, intrinsically motivating, cognitive leisure activity, which can be executed alone or with others and without the need to operate a digital device. In the case of positive results

Puzzlemote: Videojuego controlado con el mando de la WII para niños de 6 a 10 años

Directory of Open Access Journals (Sweden)

Marcelo Daniel Torres Vinueza

2014-03-01

Full Text Available Introduction: Educational video games help to create meaningful learning situations for discovery, which may bring problem-solving skills and decision making. This research presents the design, implementation and evaluation of a game-based educational software called "Puzzlemote" aimed at children from 6-10 years. Method: It was used the Hypermedia Design Methodology Object Oriented (OOHDM to create a fun and interactive environment, and Artificial Intelligence (AI that promotes logical thinking and complex problem solving. The algorithm used is based on reasoning techniques that implemented forward and backward features to scramble the puzzle so set it in order, which differs this approach from similar others, where it is common to use the A* algorithm . For its implementation it was employed the Wii Remote (Wiimote controls, bearing in mind that the user could have a richer experience with the software connected to this device during the game time. Results: The results show that this program improves the understanding and the logical reasoning demanded to problem solving, especially the puzzle known as n- puzzle, for children who were in the primary stage of education. Conclusions: It was found that the combination of reasoning techniques using the computer graph helps to disassemble and assemble the puzzle when valid moves were made, memorizing the initial movements and rebuilding these movements by reversing a linked list. As future work is proposed to develop this game for mobile devices and 3D platform gaming consoles such as Play Station, Nintendo and X -Box. It is also planned to go beyond with this kind of application, providing an approach for elderly people due to the memory training which could prevent the development of Alzheimer's Syndrome.

The Role of Logical Analysisof Natural Language in Formulating Empirical Problems

Czech Academy of Sciences Publication Activity Database

Materna, Pavel

2012-01-01

Roč. 4, 2-3 (2012), s. 131-146 ISSN 1829-0930. [Theoretical and Practical Issues of Transforming Society Development. Yerevan, 16.04.2012-17.04.2012] R&D Projects: GA ČR(CZ) GAP401/10/0792 Institutional support: RVO:67985955 Keywords : LANL * logical semantics * Frege * hyperintensionalism Subject RIV: AA - Philosophy ; Religion

Proof and Proving: Logic, Impasses, and the Relationship to Problem Solving

Science.gov (United States)

Savic, Milos

2012-01-01

Becoming a skillful prover is critical for success in advanced undergraduate and graduate mathematics courses. In this dissertation, I report my investigations of proof and the proving process in three separate studies. In the first study, I examined the amount of logic used in student-constructed proofs to help in the design of…

Effect of a puzzle on the process of students' learning about cardiac physiology.

Science.gov (United States)

Cardozo, Lais Tono; Miranda, Aline Soares; Moura, Maria José Costa Sampaio; Marcondes, Fernanda Klein

2016-09-01

The aim of the present study was to evaluate the effects of using a puzzle to learn about cardiac physiology. Students were divided into control and game groups. In class 1, the control group had a 2-h theoretical class about cardiac physiology, including a detailed description of the phases of the cardiac cycle, whereas the game group had a 50-min theoretical class without the description of the cardiac cycle. In class 2, the control group did an assessment exercise before an activity with the cardiac puzzle and the game group answered questions after the above-mentioned activity. While solving the puzzle, the students had to describe the cardiac cycle by relating the concepts of heart morphology and physiology. To evaluate short-term learning, the number of wrong answers and grades in the assessment exercise were compared between the control and game groups. To evaluate medium-term learning, we compared the grades obtained by students of the control and game groups in questions about cardiac physiology that formed part of the academic exam. In the assessment exercise, the game group presented a lower number of errors and higher score compared with the control group. In the academic exam, applied after both groups had used the puzzle, there was no difference in the scores obtained by the control and game groups in questions about cardiac physiology. These results showed a positive effect of the puzzle on students' learning about cardiac physiology compared with those not using the puzzle. Copyright © 2016 The American Physiological Society.

Puzzle based teaching versus traditional instruction in electrocardiogram interpretation for medical students – a pilot study

Science.gov (United States)

Rubinstein, Jack; Dhoble, Abhijeet; Ferenchick, Gary

2009-01-01

Background Most medical professionals are expected to possess basic electrocardiogram (EKG) interpretation skills. But, published data suggests that residents' and physicians' EKG interpretation skills are suboptimal. Learning styles differ among medical students; individualization of teaching methods has been shown to be viable and may result in improved learning. Puzzles have been shown to facilitate learning in a relaxed environment. The objective of this study was to assess efficacy of teaching puzzle in EKG interpretation skills among medical students. Methods This is a reader blinded crossover trial. Third year medical students from College of Human Medicine, Michigan State University participated in this study. Two groups (n = 9) received two traditional EKG interpretation skills lectures followed by a standardized exam and two extra sessions with the teaching puzzle and a different exam. Two other groups (n = 6) received identical courses and exams with the puzzle session first followed by the traditional teaching. EKG interpretation scores on final test were used as main outcome measure. Results The average score after only traditional teaching was 4.07 ± 2.08 while after only the puzzle session was 4.04 ± 2.36 (p = 0.97). The average improvement after the traditional session was followed up with a puzzle session was 2.53 ± 1.94 while the average improvement after the puzzle session was followed with the traditional session was 2.08 ± 1.73 (p = 0.67). The final EKG exam score for this cohort (n = 15) was 84.1 compared to 86.6 (p = 0.22) for a comparable sample of medical students (n = 15) at a different campus. Conclusion Teaching EKG interpretation with puzzles is comparable to traditional teaching and may be particularly useful for certain subgroups of students. Puzzle session are more interactive and relaxing, and warrant further investigations on larger scale. PMID:19144134

Puzzle based teaching versus traditional instruction in electrocardiogram interpretation for medical students – a pilot study

Directory of Open Access Journals (Sweden)

Dhoble Abhijeet

2009-01-01

Full Text Available Abstract Background Most medical professionals are expected to possess basic electrocardiogram (EKG interpretation skills. But, published data suggests that residents' and physicians' EKG interpretation skills are suboptimal. Learning styles differ among medical students; individualization of teaching methods has been shown to be viable and may result in improved learning. Puzzles have been shown to facilitate learning in a relaxed environment. The objective of this study was to assess efficacy of teaching puzzle in EKG interpretation skills among medical students. Methods This is a reader blinded crossover trial. Third year medical students from College of Human Medicine, Michigan State University participated in this study. Two groups (n = 9 received two traditional EKG interpretation skills lectures followed by a standardized exam and two extra sessions with the teaching puzzle and a different exam. Two other groups (n = 6 received identical courses and exams with the puzzle session first followed by the traditional teaching. EKG interpretation scores on final test were used as main outcome measure. Results The average score after only traditional teaching was 4.07 ± 2.08 while after only the puzzle session was 4.04 ± 2.36 (p = 0.97. The average improvement after the traditional session was followed up with a puzzle session was 2.53 ± 1.94 while the average improvement after the puzzle session was followed with the traditional session was 2.08 ± 1.73 (p = 0.67. The final EKG exam score for this cohort (n = 15 was 84.1 compared to 86.6 (p = 0.22 for a comparable sample of medical students (n = 15 at a different campus. Conclusion Teaching EKG interpretation with puzzles is comparable to traditional teaching and may be particularly useful for certain subgroups of students. Puzzle session are more interactive and relaxing, and warrant further investigations on larger scale.

Inference rule and problem solving

Energy Technology Data Exchange (ETDEWEB)

Goto, S

1982-04-01

Intelligent information processing signifies an opportunity of having man's intellectual activity executed on the computer, in which inference, in place of ordinary calculation, is used as the basic operational mechanism for such an information processing. Many inference rules are derived from syllogisms in formal logic. The problem of programming this inference function is referred to as a problem solving. Although logically inference and problem-solving are in close relation, the calculation ability of current computers is on a low level for inferring. For clarifying the relation between inference and computers, nonmonotonic logic has been considered. The paper deals with the above topics. 16 references.

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

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.

Design of synthetic biological logic circuits based on evolutionary algorithm.

Science.gov (United States)

Chuang, Chia-Hua; Lin, Chun-Liang; Chang, Yen-Chang; Jennawasin, Tanagorn; Chen, Po-Kuei

2013-08-01

The construction of an artificial biological logic circuit using systematic strategy is recognised as one of the most important topics for the development of synthetic biology. In this study, a real-structured genetic algorithm (RSGA), which combines general advantages of the traditional real genetic algorithm with those of the structured genetic algorithm, is proposed to deal with the biological logic circuit design problem. A general model with the cis-regulatory input function and appropriate promoter activity functions is proposed to synthesise a wide variety of fundamental logic gates such as NOT, Buffer, AND, OR, NAND, NOR and XOR. The results obtained can be extended to synthesise advanced combinational and sequential logic circuits by topologically distinct connections. The resulting optimal design of these logic gates and circuits are established via the RSGA. The in silico computer-based modelling technology has been verified showing its great advantages in the purpose.

A generalization of the Pasadena puzzle

NARCIS (Netherlands)

Peterson, M.B.

2013-01-01

By generalizing the Pasadena puzzle introduced by Nover and Hájek (2004) we show that the sum total of value produced by an act can be made to converge to any real number by applying the Riemann rearrangement theorem, even if the scenario faced by the decision maker is non-probabilistic and fully

PuzzleArt Therapy: Connecting the Pieces in Search of Answers

Directory of Open Access Journals (Sweden)

Jennifer Fortuna

2016-10-01

Full Text Available Alli Berman, a New York based artist, provided the cover art for the Fall 2016 issue of The Open Journal of Occupational Therapy (OJOT. “Sunlight Underwater” is a 12 piece PuzzleArt painting made from acrylic on American maple that measures 22x30. The PuzzleArt concept began as a simple exercise that evolved into a therapeutic modality. When a sudden stroke impacted Berman’s well-being and quality of life, it was art that helped her to make connections during recovery.

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

ProofJudge: Automated Proof Judging Tool for Learning Mathematical Logic

DEFF Research Database (Denmark)

Villadsen, Jørgen

2015-01-01

Today we have software in many artefacts, from medical devices to cars and airplanes, and the software must not only be efficient and intelligent but also reliable and secure. Tests can show the presence of bugs but cannot guarantee their absence. A machine-checked proof using mathematical logic...... pen and paper because no adequate tool was available. The learning problem is how to make abstract concepts of logic as concrete as possible. ProofJudge is a computer system and teaching approach for teaching mathematical logic and automated reasoning which augments the e-learning tool NaDeA (Natural...

ProofJudge: Automated Proof Judging Tool for Learning Mathematical Logic

DEFF Research Database (Denmark)

Villadsen, Jørgen

2016-01-01

Today we have software in many artefacts, from medical devices to cars and airplanes, and the software must not only be efficient and intelligent but also reliable and secure. Tests can show the presence of bugs but cannot guarantee their absence. A machine-checked proof using mathematical logic...... using pen and paper because no adequate tool was available. The learning problem is how to make abstract concepts of logic as concrete as possible. ProofJudge is a computer system and teaching approach for teaching mathematical logic and automated reasoning which augments the e-learning tool Na...

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.

Free-style puzzle flap: the concept of recycling a perforator flap.

Science.gov (United States)

Feng, Kuan-Ming; Hsieh, Ching-Hua; Jeng, Seng-Feng

2013-02-01

Theoretically, a flap can be supplied by any perforator based on the angiosome theory. In this study, the technique of free-style perforator flap dissection was used to harvest a pedicled or free skin flap from a previous free flap for a second difficult reconstruction. The authors call this a free-style puzzle flap. For the past 3 years, the authors treated 13 patients in whom 12 pedicled free-style puzzle flaps were harvested from previous redundant free flaps and recycled to reconstruct soft-tissue defects at various anatomical locations. One free-style free puzzle flap was harvested from a previous anterolateral thigh flap for buccal cancer to reconstruct a foot defect. Total flap survival was attained in 12 of 13 flaps. One transferred flap failed completely. This patient had received postoperative radiotherapy after the initial cancer ablation and free anterolateral thigh flap reconstruction. Another free flap was used to close and reconstruct the wound. All the donor sites could be closed primarily. The free-style puzzle flap, harvested from a previous redundant free flap and used as a perforator flap to reconstruct a new defect, has proven to be versatile and reliable. When indicated, it is an alternative donor site for further reconstruction of soft-tissue defects.

A fascinating country in the world of computing your guide to automated reasoning

CERN Document Server

Wos, Larry

1999-01-01

This book shows you - through examples and puzzles and intriguing questions - how to make your computer reason logically. To help you, the book includes a CD-ROM with OTTER, the world's most powerful general-purpose reasoning program. The automation of reasoning has advanced markedly in the past few decades, and this book discusses some of the remarkable successes that automated reasoning programs have had in tackling challenging problems in mathematics, logic, program verification, and circuit design. Because the intended audience includes students and teachers, the book provides many exercis

Family caregivers of palliative cancer patients at home: the puzzle of pain management.

Science.gov (United States)

Mehta, Anita; Cohen, S Robin; Carnevale, Franco A; Ezer, Hélène; Ducharme, Francine

2010-01-01

The purpose of this grounded theory study was to understand the processes used by family caregivers to manage the pain of cancer patients at home. A total of 24 family caregivers participated. They were recruited using purposeful then theoretical sampling. The data sources were taped, transcribed (semi-structured) interviews and field notes. Data analysis was based on Strauss and Corbin's (1998) requirements for open, axial, and selective coding. The result was an explanatory model titled "the puzzle of pain management," which includes four main processes: "drawing on past experiences"; "strategizing a game plan"; "striving to respond to pain"; and "gauging the best fit," a decision-making process that joins the puzzle pieces. Understanding how family caregivers assemble their puzzle pieces can help health care professionals make decisions related to the care plans they create for pain control and help them to recognize the importance of providing information as part of resolving the puzzle of pain management.

The 20th anniversary of the three-nucleon analyzing power puzzle - a personal recollection

International Nuclear Information System (INIS)

Tornow, W. . Author

2008-01-01

The history of the three-nucleon analyzing power puzzle is described by an experimentalist who has been collaborating with few-body theoreticians in trying to unravel the physics of this long-standing phenomenon. Although surprising effects have been discovered along the way, the puzzle is still unexplained. Hopefully, some of the long-range three-nucleon force terms predicted by chiral effective field theory in N 3 LO will eventually solve the puzzle. Presented at the 20th Few-Body Conference, Pisa, Italy, 10-14 September 2007. (author)

Neutron star news and puzzles

International Nuclear Information System (INIS)

Prakash, Madappa

2014-01-01

Gerry Brown has had the most influence on my career in Physics, and my life after graduate studies. This article gives a brief account of some of the many ways in which Gerry shaped my research. Focus is placed on the significant strides on neutron star research made by the group at Stony Brook, which Gerry built from scratch. Selected puzzles about neutron stars that remain to be solved are noted

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.

3D satellite puzzles for young and old kids

Science.gov (United States)

Biondi, Riccardo; Galoforo, Germana

2017-04-01

The Italian Space Agency (ASI) is active in outreach willing to increase the interest of young generations and general public toward the space activities. ASI proposes educational programmes for supporting and encouraging the development of European society based on knowledge, inspiring and motivating the young generations. One of the initiatives promoted by ASI on this regards is the 3D satellite puzzles. The idea was born in 2007 from the will to conceive an educational product for promoting and explaining to students the small all-Italian mission AGILE (Astrorivelatore Gamma ad Immagini ultra Leggero) thought as a tool for students aged 8-13. Working with this slot of students is very productive in terms of the imprints left on the kids, in fact it is useful to produce things they can use, touch and play with, with an active approach instead of a passive one. Therefore it was decided to produce something that kids could build and use at home with their parents or friends, or all together at school with teachers and mates. Other puzzles followed AGILE, one about the COSMO-SkyMED satellites about Earth Observation and also a broader one of the International Space Station. During these 10 years the puzzles were mostly used as outreach tools for school children, but they surprisingly received a great success also within older generations. So far the 3D puzzles have been printed in more than 10 thousand copies and distributed for free to students of hundreds of schools in Italy, and to the general public through science associations, planetaria and museums. Recently they have been used also during special events such as the international Geoscience Communication School (as best practice outreach tool), the EXPO 2015 and the European Researcheŕs Night at the Parlamentarium in Brussels 2016. While the students are building the puzzles, the tutor explains them the different components that they are assembling, what the importance of the satellite is and how it works

A Puzzle Guide to Gödel

Indian Academy of Sciences (India)

Home; Journals; Resonance – Journal of Science Education; Volume 6; Issue 7. Forever Undecided: A Puzzle Guide to Gödel. R Ramanujam. Book Review Volume 6 Issue 7 July 2001 pp 97-98. Fulltext. Click here to view fulltext PDF. Permanent link: https://www.ias.ac.in/article/fulltext/reso/006/07/0097-0098 ...

The Forward-Bias Puzzle: A Solution Based on Covered Interest Parity

OpenAIRE

Pippenger, John

2009-01-01

The forward-bias puzzle is probably the most important puzzle in international macroeconomics. After more than 20 years, there is no accepted solution. My solution is based on covered interest parity (CIP). CIP implies: (1) Forward rates are not rational expectations of future spot rates. Those expectations depend on future spot rates and interest rate differentials. (2) The forward bias is the result of a specification error, replacing future forward exchange rates with current forward ...

UTP and Temporal Logic Model Checking

Science.gov (United States)

Anderson, Hugh; Ciobanu, Gabriel; Freitas, Leo

In this paper we give an additional perspective to the formal verification of programs through temporal logic model checking, which uses Hoare and He Unifying Theories of Programming (UTP). Our perspective emphasizes the use of UTP designs, an alphabetised relational calculus expressed as a pre/post condition pair of relations, to verify state or temporal assertions about programs. The temporal model checking relation is derived from a satisfaction relation between the model and its properties. The contribution of this paper is that it shows a UTP perspective to temporal logic model checking. The approach includes the notion of efficiency found in traditional model checkers, which reduced a state explosion problem through the use of efficient data structures

Oak Ridge K-25 Site Technology Logic Diagram

Energy Technology Data Exchange (ETDEWEB)

Fellows, R.L. (ed.)

1993-02-26

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

A dynamic-epistemic hybrid logic for intentions and information changes in strategic games

NARCIS (Netherlands)

Roy, O.

2009-01-01

In this paper I present a dynamic-epistemic hybrid logic for reasoning about information and intention changes in situations of strategic interaction. I provide a complete axiomatization for this logic, and then use it to study intentions-based transformations of decision problems.

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 bottom-up approach to the strong CP problem

Science.gov (United States)

Diaz-Cruz, J. L.; Hollik, W. G.; Saldana-Salazar, U. J.

2018-05-01

The strong CP problem is one of many puzzles in the theoretical description of elementary particle physics that still lacks an explanation. While top-down solutions to that problem usually comprise new symmetries or fields or both, we want to present a rather bottom-up perspective. The main problem seems to be how to achieve small CP violation in the strong interactions despite the large CP violation in weak interactions. In this paper, we show that with minimal assumptions on the structure of mass (Yukawa) matrices, they do not contribute to the strong CP problem and thus we can provide a pathway to a solution of the strong CP problem within the structures of the Standard Model and no extension at the electroweak scale is needed. However, to address the flavor puzzle, models based on minimal SU(3) flavor groups leading to the proposed flavor matrices are favored. Though we refrain from an explicit UV completion of the Standard Model, we provide a simple requirement for such models not to show a strong CP problem by construction.

The Meissner effect puzzle and the quantum force in superconductor

International Nuclear Information System (INIS)

Nikulov, A.V.

2012-01-01

The puzzle of the acceleration of the mobile charge carriers and the ions in the superconductor in direction opposite to the electromagnetic force revealed formerly in the Meissner effect is considered in the case of the transition of a narrow ring from normal to superconducting state. It is elucidated that the azimuthal quantum force was deduced eleven years ago from the experimental evidence of this acceleration but it cannot solve this puzzle. This quantum force explains other paradoxical phenomena connected with reiterated switching of the ring between normal and superconducting states.

Pedagogy of the logic model: teaching undergraduates to work together to change their communities.

Science.gov (United States)

Zimmerman, Lindsey; Kamal, Zohra; Kim, Hannah

2013-01-01

Undergraduate community psychology courses can empower students to address challenging problems in their local communities. Creating a logic model is an experiential way to learn course concepts by "doing." Throughout the semester, students work with peers to define a problem, develop an intervention, and plan an evaluation focused on an issue of concern to them. This report provides an overview of how to organize a community psychology course around the creation of a logic model in order for students to develop this applied skill. Two undergraduate student authors report on their experience with the logic model assignment, describing the community problem they chose to address, what they learned from the assignment, what they found challenging, and what they are doing now in their communities based on what they learned.

Isotope puzzle in sputtering

International Nuclear Information System (INIS)

Zheng Liping

1998-01-01

Mechanisms affecting multicomponent material sputtering are complex. Isotope sputtering is the simplest in the multicomponent materials sputtering. Although only mass effect plays a dominant role in the isotope sputtering, there is still an isotope puzzle in sputtering by ion bombardment. The major arguments are as follows: (1) At the zero fluence, is the isotope enrichment ejection-angle-independent or ejection-angle-dependent? (2) Is the isotope angular effect the primary or the secondary sputter effect? (3) How to understand the action of momentum asymmetry in collision cascade on the isotope sputtering?

Intuitionistic fuzzy logics

CERN Document Server

T Atanassov, Krassimir

2017-01-01

The book offers a comprehensive survey of intuitionistic fuzzy logics. By reporting on both the author’s research and others’ findings, it provides readers with a complete overview of the field and highlights key issues and open problems, thus suggesting new research directions. Starting with an introduction to the basic elements of intuitionistic fuzzy propositional calculus, it then provides a guide to the use of intuitionistic fuzzy operators and quantifiers, and lastly presents state-of-the-art applications of intuitionistic fuzzy sets. The book is a valuable reference resource for graduate students and researchers alike.

Description logic rules

CERN Document Server

Krötzsch, M

2010-01-01

Ontological modelling today is applied in many areas of science and technology,including the Semantic Web. The W3C standard OWL defines one of the most important ontology languages based on the semantics of description logics. An alternative is to use rule languages in knowledge modelling, as proposed in the W3C's RIF standard. So far, it has often been unclear how to combine both technologies without sacrificing essential computational properties. This book explains this problem and presents new solutions that have recently been proposed. Extensive introductory chapters provide the necessary

A new quantum flux parametron logic gate with large input margin

International Nuclear Information System (INIS)

Hioe, W.; Hosoya, M.; Goto, E.

1991-01-01

This paper reports on the Quantum Flux Parametron (QFP) which is a flux transfer, flux activated Josephson logic device which realizes much lower power dissipation than other Josephson logic devices. Being a two-terminal device its correct operation may be affected by coupling to other QFPs. The problems include backcoupling from active QFPs through inactive QFPs (relay noise), coupling between QFPs activated at different times because of clock skew (homophase noise), and interaction between active QFPs (reaction hazard). Previous QFP circuits worked by wired-majority, which being a linear input logic, has low input margin. A new logic gate (D-gate) using a QFP to perform logic operations has been analyzed and tested by computer simulation. Relay noise, homophase noise and reaction hazard are substantially reduced. Moreover, the input have little interaction hence input margin is greatly improved

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

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…

Fuel Saving Strategy in Spark Ignition Engine Using Fuzzy Logic Engine Torque Control

OpenAIRE

Aris Triwiyatno; Sumardi

2012-01-01

In the case of injection gasoline engine, or better known as spark ignition engines, an effort to improve engine performance as well as to reduce fuel consumption is a fairly complex problem. Generally, engine performance improvement efforts will lead to increase in fuel consumption. However, this problem can be solved by implementing engine torque control based on intelligent regulation such as the fuzzy logic inference system. In this study, fuzzy logic engine torque regulation is used to c...

Examination of Children Decision Making Using Clues during the Logical Reasoning Process

Science.gov (United States)

Çelik, Meryem

2017-01-01

Logical reasoning is the process of thinking about a problem and finding the most effective solution. Children's decision-making skills are part of their cognitive development and are also indicative. The purpose of this study was to examine children's decision-making skills using clues in logical reasoning based on various variables. The study…

Emergent Leadership in Children's Cooperative Problem Solving Groups

Science.gov (United States)

Sun, Jingjng; Anderson, Richard C.; Perry, Michelle; Lin, Tzu-Jung

2017-01-01

Social skills involved in leadership were examined in a problem-solving activity in which 252 Chinese 5th-graders worked in small groups on a spatial-reasoning puzzle. Results showed that students who engaged in peer-managed small-group discussions of stories prior to problem solving produced significantly better solutions and initiated…

A solution to B→ππ puzzle and B→KK

International Nuclear Information System (INIS)

Baek, Seungwon

2008-01-01

The large ratio of color-suppressed tree amplitude to color-allowed one in B→ππ decays is difficult to understand within the Standard Model, which is known as the 'B→ππ puzzle'. The two tree diagrams contain the up- and charm-quark component of penguin amplitude, P uc , which cannot be separated by measuring B→ππ decays alone. We show that the measurements of the branching ratio and direct CP asymmetry of B + →K + K 0 -bar decay enable one to disentangle the P uc with two-fold ambiguity. One of the two degenerate solutions of the P uc can solve the B→ππ puzzle by giving |C/T|∼0.3 which is consistent with the expectation in the Standard Model. We also show that the two solutions can be discriminated by the measurement of the indirect CP asymmetry of B 0 →K 0 K 0 -bar. We point out that the corresponding puzzle in B→πK decays is not solved in this way

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.

Confluence of an extension of combinatory logic by Boolean constants

DEFF Research Database (Denmark)

Czajka, Łukasz

2017-01-01

We show confluence of a conditional term rewriting system CL-pc1, which is an extension of Combinatory Logic by Boolean constants. This solves problem 15 from the RTA list of open problems. The proof has been fully formalized in the Coq proof assistant....

Precedents, Patterns and Puzzles: Feminist Reflections on the First Women Lawyers

Directory of Open Access Journals (Sweden)

Mary Jane Mossman

2016-10-01

Full Text Available This paper initially examines the historical precedents established by some of the first women who entered the “gentleman’s profession” of law in different jurisdictions, as well as the biographical patterns that shaped some women’s ambitions to enter the legal professions. The paper then uses feminist methods and theories to interpret “puzzles that remain unsolved” about early women lawyers, focusing especially on two issues. One puzzle is the repeated claims on the part of many of these early women lawyers that they were “lawyers”, and not “women lawyers”, even as they experienced exclusionary practices and discrimination on the part of male lawyers and judges—a puzzle that suggests how professional culture required women lawyers to conform to existing patterns in order to succeed. A second puzzle relates to the public voices of early women lawyers, which tended to suppress disappointments, difficulties and discriminatory practices. In this context, feminist theories suggest a need to be attentive to the “silences” in women’s stories, including the stories of the lives of early women lawyers. Moreover, these insights may have continuing relevance for contemporary women lawyers because it is at least arguable that, while there have been changes in women’s experiences, there has been very little transformation in their work status in relation to men.

Contributions to Logical Database Design

Directory of Open Access Journals (Sweden)

Vitalie COTELEA

2012-01-01

Full Text Available This paper treats the problems arising at the stage of logical database design. It comprises a synthesis of the most common inference models of functional dependencies, deals with the problems of building covers for sets of functional dependencies, makes a synthesizes of normal forms, presents trends regarding normalization algorithms and provides a temporal complexity of those. In addition, it presents a summary of the most known keys’ search algorithms, deals with issues of analysis and testing of relational schemes. It also summarizes and compares the different features of recognition of acyclic database schemas.

Formative Assessment Probes: Mountaintop Fossil: A Puzzling Phenomenon

Science.gov (United States)

Keeley, Page

2015-01-01

This column focuses on promoting learning through assessment. This month's issue describes using formative assessment probes to uncover several ways of thinking about the puzzling discovery of a marine fossil on top of a mountain.

The DS86 neutron dosimetry enigma: Some missing pieces to the puzzle

International Nuclear Information System (INIS)

Gold, R.

1994-01-01

International programs have been conducted over the last four decades to quantify the exposure of atom bomb survivors from Hiroshima and Nagasaki. Unfortunately, the quest for accurate gamma-ray and neutron exposure doses of atom bomb survivors has proven illusive. Efforts in the most recent of these programs, designated as Dosimetry System 1986 (DS86), have revealed a serious and persistent discrepancy between neutron transport calculations and thermal neutron activation measurements at the Hiroshima site, which will be called the DS86 neutron dosimetry enigma. It is established that this enigma is a complex puzzle that precludes simple solutions. This conclusion is deduced through the identification of a number of missing pieces to the puzzle. Implications and conclusions that can be inferred from these missing puzzle pieces are advanced

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

Meta-Logical Reasoning in Higher-Order Logic

DEFF Research Database (Denmark)

Villadsen, Jørgen; Schlichtkrull, Anders; Hess, Andreas Viktor

The semantics of first-order logic (FOL) can be described in the meta-language of higher-order logic (HOL). Using HOL one can prove key properties of FOL such as soundness and completeness. Furthermore, one can prove sentences in FOL valid using the formalized FOL semantics. To aid...

The Effect of Scratch- and Lego Mindstorms Ev3-Based Programming Activities on Academic Achievement, Problem-Solving Skills and Logical-Mathematical Thinking Skills of Students

Science.gov (United States)

Korkmaz, Özgen

2016-01-01

The aim of this study was to investigate the effect of the Scratch and Lego Mindstorms Ev3 programming activities on academic achievement with respect to computer programming, and on the problem-solving and logical-mathematical thinking skills of students. This study was a semi-experimental, pretest-posttest study with two experimental groups and…

Oak Ridge K-25 Site Technology Logic Diagram

Energy Technology Data Exchange (ETDEWEB)

Fellows, R.L. (ed.)

1993-02-26

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

Interfacial depinning transitions in disordered media: revisiting an old puzzle

International Nuclear Information System (INIS)

Moglia, Belén; Albano, Ezequiel V; Villegas, Pablo; Muñoz, Miguel A

2014-01-01

Interfaces advancing through random media represent a number of different problems in physics, biology and other disciplines. Here, we study the pinning/depinning transition of the prototypical non-equilibrium interfacial model, i.e. the Kardar–Parisi–Zhang equation, advancing in a disordered medium. We will separately analyze the cases of positive and negative non-linearity coefficients, which are believed to exhibit qualitatively different behavior: the positive case shows a continuous transition that can be related to directed-percolation-depinning, while in the negative case there is a discontinuous transition and faceted interfaces appear. Some studies have argued from different perspectives that both cases share the same universal behavior. By using a number of computational and scaling techniques we will shed light on this puzzling situation and conclude that the two cases are intrinsically different. (paper)

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)

Novel power flow problem solutions method’s based on genetic algorithm optimization for banks capacitor compensation using an fuzzy logic rule bases for critical nodal detections

OpenAIRE

Abdelfatah, Nasri; Brahim, Gasbaoui

2011-01-01

The Reactive power flow’s is one of the most electrical distribution systems problem wich have great of interset of the electrical network researchers, it’s  cause’s active power transmission reduction, power losses decreasing, and  the drop voltage’s increase. In this research we described the efficiency of the FLC-GAO approach to solve the optimal power flow (OPF) combinatorial problem. The proposed approach employ tow algorithms, Fuzzy logic controller (FLC) algorithm for critical nodal de...

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…

Modal Inclusion Logic: Being Lax is Simpler than Being Strict

DEFF Research Database (Denmark)

Hella, Lauri; Kuusisto, Antti Johannes; Meier, Arne

2015-01-01

We investigate the computational complexity of the satisfiability problem of modal inclusion logic. We distinguish two variants of the problem: one for strict and another one for lax semantics. The complexity of the lax version turns out to be complete for EXPTIME, whereas with strict semantics...

On the Complexity of Model-Checking Branching and Alternating-Time Temporal Logics in One-Counter Systems

DEFF Research Database (Denmark)

Vester, Steen

2015-01-01

We study the complexity of the model-checking problem for the branching-time logic CTL ∗  and the alternating-time temporal logics ATL/ATL ∗  in one-counter processes and one-counter games respectively. The complexity is determined for all three logics when integer weights are input in unary (non...

A Comparison of Implications in Orthomodular Quantum Logic—Morphological Analysis of Quantum Logic

Directory of Open Access Journals (Sweden)

Mitsuhiko Fujio

2012-01-01

Full Text Available Morphological operators are generalized to lattices as adjunction pairs (Serra, 1984; Ronse, 1990; Heijmans and Ronse, 1990; Heijmans, 1994. In particular, morphology for set lattices is applied to analyze logics through Kripke semantics (Bloch, 2002; Fujio and Bloch, 2004; Fujio, 2006. For example, a pair of morphological operators as an adjunction gives rise to a temporalization of normal modal logic (Fujio and Bloch, 2004; Fujio, 2006. Also, constructions of models for intuitionistic logic or linear logics can be described in terms of morphological interior and/or closure operators (Fujio and Bloch, 2004. This shows that morphological analysis can be applied to various non-classical logics. On the other hand, quantum logics are algebraically formalized as orhomodular or modular ortho-complemented lattices (Birkhoff and von Neumann, 1936; Maeda, 1980; Chiara and Giuntini, 2002, and shown to allow Kripke semantics (Chiara and Giuntini, 2002. This suggests the possibility of morphological analysis for quantum logics. In this article, to show an efficiency of morphological analysis for quantum logic, we consider the implication problem in quantum logics (Chiara and Giuntini, 2002. We will give a comparison of the 5 polynomial implication connectives available in quantum logics.

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

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

Probabilistic Abductive Logic Programming in Constraint Handling Rules

DEFF Research Database (Denmark)

Christiansen, Henning

A class of Probabilistic Abductive Logic Programs (PALPs) is introduced and an implementation is developed in CHR for solving abductive problems, providing minimal explanations with their probabilities. Both all-explanations and most-probable-explanations versions are given. % Compared with other...

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

Influence of personality, age, sex, and estrous state on chimpanzee problem-solving success

DEFF Research Database (Denmark)

Hopper, Lydia M; Price, Sara A; Freeman, Hani D

2014-01-01

Despite the importance of individual problem solvers for group- and individual-level fitness, the correlates of individual problem-solving success are still an open topic of investigation. In addition to demographic factors, such as age or sex, certain personality dimensions have also been revealed...... as reliable correlates of problem-solving by animals. Such correlates, however, have been little-studied in chimpanzees. To empirically test the influence of age, sex, estrous state, and different personality factors on chimpanzee problem-solving, we individually tested 36 captive chimpanzees with two novel...... with the luteinizing hormone surge of a female's estrous cycle) and again when it was detumescent. Although we found no correlation between the chimpanzees' success with either puzzle and their age or sex, the chimpanzees' personality ratings did correlate with responses to the novel foraging puzzles. Specifically...

Piecing It Together: The Effect of Background Music on Children's Puzzle Assembly.

Science.gov (United States)

Koolidge, Louis; Holmes, Robyn M

2018-04-01

This study explored the effects of background music on cognitive (puzzle assembly) task performance in young children. Participants were 87 primarily European-American children (38 boys, 49 girls; mean age = 4.77 years) enrolled in early childhood classes in the northeastern United States. Children were given one minute to complete a 12-piece puzzle task in one of three background music conditions: music with lyrics, music without lyrics, and no music. The music selection was "You're Welcome" from the Disney movie "Moana." Results revealed that children who heard the music without lyrics completed more puzzle pieces than children in either the music with lyrics or no music condition. Background music without distracting lyrics may be beneficial and superior to background music with lyrics for young children's cognitive performance even when they are engaged independently in a nonverbal task.

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

Experimental status of the E/ι puzzle

International Nuclear Information System (INIS)

Lanaro, A.

1996-11-01

Despite the prolonged experimental effort devoted to the spectroscopy of the E/ι mesons, and the intense theoretical debate around this subject, many puzzling issues still prevent from a full understanding of the true scenario. The advent of new and more precise experimental measurements motivates a review on this topic

A logical and structural thinking development tool (LST to enhance fundamental problem-solving skills of learners of information technology

Directory of Open Access Journals (Sweden)

Annelie Jordaan

2005-05-01

Full Text Available The role of information technology in modern education has increased significantly over the past two decades [14]. The opportunity to develop an interactive software system with the aim of enhancing fundamental problem-solving skills of learners enrolled for the Computer Science, Information Technology and Mathematics programs at tertiary institutions is possible with object-oriented programming techniques and multi-dimensional graphic design. The definition of fundamental problem-solving skills includes cognitive functional skills such as logical thinking, conceptualism with prior knowledge, relationship forming and objective analysis. Experiments done for this research indicate that given the right educational tools, cognitive functional skills of learners can be stimulated, developed and enhanced. This, in turn, may lead to an increase in the graduation rates of learners enrolled for the Computer Science, Information Technology and Mathematics program and ultimately contribute to the reshaping of the educational experience.

Efficient dynamic optimization of logic programs

Science.gov (United States)

Laird, Phil

1992-01-01

A summary is given of the dynamic optimization approach to speed up learning for logic programs. The problem is to restructure a recursive program into an equivalent program whose expected performance is optimal for an unknown but fixed population of problem instances. We define the term 'optimal' relative to the source of input instances and sketch an algorithm that can come within a logarithmic factor of optimal with high probability. Finally, we show that finding high-utility unfolding operations (such as EBG) can be reduced to clause reordering.

GRAPHIC REALIZATION FOUNDATIONS OF LOGIC-SEMANTIC MODELING IN DIDACTICS

Directory of Open Access Journals (Sweden)

V. E. Steinberg

2017-01-01

Full Text Available Introduction. Nowadays, there are not a lot of works devoted to a graphic method of logic-semantic modeling of knowledge. Meanwhile, an interest towards this method increases due to the fact of essential increase of the content of visual component in information and educational sources. The present publication is the authors’ contribution into the solution of the problem of search of new forms and means convenient for visual and logic perception of a training material, its assimilation, operating by elements of knowledge and their transformations.The aim of the research is to justify graphical implementation of the method of logic-semantic modeling of knowledge, presented by a natural language (training language and to show the possibilities of application of figurative and conceptual models in student teaching.Methodology and research methods. The research methodology is based on the specified activity-regulatory, system-multi-dimensional and structural-invariant approach and the principle of multidimensionality. The methodology the graphic realization of the logic-semantic models in learning technologies is based on didactic design using computer training programs.Results and scientific novelty. Social and anthropological-cultural adaptation bases of the method of logical-semantic knowledge modeling to the problems of didactics are established and reasoned: coordinate-invariant matrix structure is presented as the basis of logical-semantic models of figurative and conceptual nature; the possibilities of using such models as multifunctional didactic regulators – support schemes, navigation in the content of the educational material, educational activities carried out by navigators, etc., are shown. The characteristics of new teaching tools as objects of semiotics and didactic of regulators are considered; their place and role in the structure of the external and internal training curricula learning activities are pointed out

Identifying Interacting Genetic Variations by Fish-Swarm Logic Regression

Science.gov (United States)

Yang, Aiyuan; Yan, Chunxia; Zhu, Feng; Zhao, Zhongmeng; Cao, Zhi

2013-01-01

Understanding associations between genotypes and complex traits is a fundamental problem in human genetics. A major open problem in mapping phenotypes is that of identifying a set of interacting genetic variants, which might contribute to complex traits. Logic regression (LR) is a powerful multivariant association tool. Several LR-based approaches have been successfully applied to different datasets. However, these approaches are not adequate with regard to accuracy and efficiency. In this paper, we propose a new LR-based approach, called fish-swarm logic regression (FSLR), which improves the logic regression process by incorporating swarm optimization. In our approach, a school of fish agents are conducted in parallel. Each fish agent holds a regression model, while the school searches for better models through various preset behaviors. A swarm algorithm improves the accuracy and the efficiency by speeding up the convergence and preventing it from dropping into local optimums. We apply our approach on a real screening dataset and a series of simulation scenarios. Compared to three existing LR-based approaches, our approach outperforms them by having lower type I and type II error rates, being able to identify more preset causal sites, and performing at faster speeds. PMID:23984382

Identifying Interacting Genetic Variations by Fish-Swarm Logic Regression

Directory of Open Access Journals (Sweden)

Xuanping Zhang

2013-01-01

Full Text Available Understanding associations between genotypes and complex traits is a fundamental problem in human genetics. A major open problem in mapping phenotypes is that of identifying a set of interacting genetic variants, which might contribute to complex traits. Logic regression (LR is a powerful multivariant association tool. Several LR-based approaches have been successfully applied to different datasets. However, these approaches are not adequate with regard to accuracy and efficiency. In this paper, we propose a new LR-based approach, called fish-swarm logic regression (FSLR, which improves the logic regression process by incorporating swarm optimization. In our approach, a school of fish agents are conducted in parallel. Each fish agent holds a regression model, while the school searches for better models through various preset behaviors. A swarm algorithm improves the accuracy and the efficiency by speeding up the convergence and preventing it from dropping into local optimums. We apply our approach on a real screening dataset and a series of simulation scenarios. Compared to three existing LR-based approaches, our approach outperforms them by having lower type I and type II error rates, being able to identify more preset causal sites, and performing at faster speeds.

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.

Nature's Greatest Puzzles

Energy Technology Data Exchange (ETDEWEB)

Quigg, Chris; /Fermilab

2005-02-01

It is a pleasure to be part of the SLAC Summer Institute again, not simply because it is one of the great traditions in our field, but because this is a moment of great promise for particle physics. I look forward to exploring many opportunities with you over the course of our two weeks together. My first task in talking about Nature's Greatest Puzzles, the title of this year's Summer Institute, is to deconstruct the premise a little bit.

Logic models as a tool for sexual violence prevention program development.

Science.gov (United States)

Hawkins, Stephanie R; Clinton-Sherrod, A Monique; Irvin, Neil; Hart, Laurie; Russell, Sarah Jane

2009-01-01

Sexual violence is a growing public health problem, and there is an urgent need to develop sexual violence prevention programs. Logic models have emerged as a vital tool in program development. The Centers for Disease Control and Prevention funded an empowerment evaluation designed to work with programs focused on the prevention of first-time male perpetration of sexual violence, and it included as one of its goals, the development of program logic models. Two case studies are presented that describe how significant positive changes can be made to programs as a result of their developing logic models that accurately describe desired outcomes. The first case study describes how the logic model development process made an organization aware of the importance of a program's environmental context for program success; the second case study demonstrates how developing a program logic model can elucidate gaps in organizational programming and suggest ways to close those gaps.

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

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

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

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

The Incomplete Glutathione Puzzle: Just Guessing at Numbers and Figures?

Science.gov (United States)

Deponte, Marcel

2017-11-20

Glutathione metabolism is comparable to a jigsaw puzzle with too many pieces. It is supposed to comprise (i) the reduction of disulfides, hydroperoxides, sulfenic acids, and nitrosothiols, (ii) the detoxification of aldehydes, xenobiotics, and heavy metals, and (iii) the synthesis of eicosanoids, steroids, and iron-sulfur clusters. In addition, glutathione affects oxidative protein folding and redox signaling. Here, I try to provide an overview on the relevance of glutathione-dependent pathways with an emphasis on quantitative data. Recent Advances: Intracellular redox measurements reveal that the cytosol, the nucleus, and mitochondria contain very little glutathione disulfide and that oxidative challenges are rapidly counterbalanced. Genetic approaches suggest that iron metabolism is the centerpiece of the glutathione puzzle in yeast. Furthermore, recent biochemical studies provide novel insights on glutathione transport processes and uncoupling mechanisms. Which parts of the glutathione puzzle are most relevant? Does this explain the high intracellular concentrations of reduced glutathione? How can iron-sulfur cluster biogenesis, oxidative protein folding, or redox signaling occur at high glutathione concentrations? Answers to these questions not only seem to depend on the organism, cell type, and subcellular compartment but also on different ideologies among researchers. A rational approach to compare the relevance of glutathione-dependent pathways is to combine genetic and quantitative kinetic data. However, there are still many missing pieces and too little is known about the compartment-specific repertoire and concentration of numerous metabolites, substrates, enzymes, and transporters as well as rate constants and enzyme kinetic patterns. Gathering this information might require the development of novel tools but is crucial to address potential kinetic competitions and to decipher uncoupling mechanisms to solve the glutathione puzzle. Antioxid. Redox Signal

Spam:One Puzzled Problem for E-Commerce

Institute of Scientific and Technical Information of China (English)

FU Qiansheng; YANG Jingmin

2004-01-01

E-commerce has advantages of low bargaining cost, full field service, and convenient. Its development forms and promotes the key factor of the global economic growth, and the security problem of e-commerce becomes more and more important thereupon. It is the subject of a great meaning to structure the safe, convenient e-commerce running environment. The task of anti-spam is a concrete content among them. This paper discusses the source and danger of spam, and the precautionary and radical cure measures of spam are put forwarded, and the technologies of the anti-spam are discussed especially.

The puzzle of the ultra-high energy cosmic rays

CERN Document Server

Tkachev, I I

2003-01-01

In early years the cosmic ray studies were ahead of accelerator research, starting from the discovery of positrons, through muons, to that of pions and strange particles. Today we are facing the situation that the puzzling saga of cosmic rays of the highest energies may again unfold in the discovery of new physics, now beyond the Standard Model; or it may bring to life an "extreme" astrophysics. After a short review of the Greisen-Zatsepin-Kuzmin puzzle, I discuss different models which were suggested for its resolution. Are there any hints pointing to the correct model? I argue that the small-scale clustering of arrival directions of cosmic rays gives a clue, and BL Lacs are the probable sources of the observed events. (58 refs).

Polyomino Problems to Confuse Computers

Science.gov (United States)

Coffin, Stewart

2009-01-01

Computers are very good at solving certain types combinatorial problems, such as fitting sets of polyomino pieces into square or rectangular trays of a given size. However, most puzzle-solving programs now in use assume orthogonal arrangements. When one departs from the usual square grid layout, complications arise. The author--using a computer,…

The Crossword Puzzle as a Teaching Tool.

Science.gov (United States)

Crossman, Edward K.

1983-01-01

In courses such as the history of psychology, it is necessary to learn a variety of relationships, events, and sequences, in addition to the task of having to pair certain key concepts with related names, e.g., phrenology--Hall. One tool useful in this type of learning is the crossword puzzle. (RM)

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.

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

PLQP & Company: Decidable Logics for Quantum Algorithms

Science.gov (United States)

Baltag, Alexandru; Bergfeld, Jort; Kishida, Kohei; Sack, Joshua; Smets, Sonja; Zhong, Shengyang

2014-10-01

We introduce a probabilistic modal (dynamic-epistemic) quantum logic PLQP for reasoning about quantum algorithms. We illustrate its expressivity by using it to encode the correctness of the well-known quantum search algorithm, as well as of a quantum protocol known to solve one of the paradigmatic tasks from classical distributed computing (the leader election problem). We also provide a general method (extending an idea employed in the decidability proof in Dunn et al. (J. Symb. Log. 70:353-359, 2005)) for proving the decidability of a range of quantum logics, interpreted on finite-dimensional Hilbert spaces. We give general conditions for the applicability of this method, and in particular we apply it to prove the decidability of PLQP.

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

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

Legume Logic & Green Manuring

OpenAIRE

Basavanagowda Nagabhushana, Nandeesh

2014-01-01

Brown plant hopper showed me the way into organic farming. In 2001, I started my practice with logic of legumes just to cut down the 45 percent expenses of my paddy on fertilizers, pesticides and herbicides. Later as I realized each and every plant carries it’s own nutrients, medicinal values and characters. Plants like millets, oil seeds, spices, di-cots, monocots and weeds all being used as a green manure. For all my agriculture problems and crop demands, I look for the answers only thro...

Logic-based aggregation methods for ranking student applicants

Directory of Open Access Journals (Sweden)

Milošević Pavle

2017-01-01

Full Text Available In this paper, we present logic-based aggregation models used for ranking student applicants and we compare them with a number of existing aggregation methods, each more complex than the previous one. The proposed models aim to include depen- dencies in the data using Logical aggregation (LA. LA is a aggregation method based on interpolative Boolean algebra (IBA, a consistent multi-valued realization of Boolean algebra. This technique is used for a Boolean consistent aggregation of attributes that are logically dependent. The comparison is performed in the case of student applicants for master programs at the University of Belgrade. We have shown that LA has some advantages over other presented aggregation methods. The software realization of all applied aggregation methods is also provided. This paper may be of interest not only for student ranking, but also for similar problems of ranking people e.g. employees, team members, etc.

Cognitive processes in solving variants of computer-based problems used in logic teaching

NARCIS (Netherlands)

Eysink, Tessa H.S.; Dijkstra, S.; Kuper, Jan

2001-01-01

The effect of two instructional variables, visualisation and manipulation of objects, in learning to use the logical connective, conditional, was investigated. Instructions for 66 first- year social science students were varied in the computer-based learning environment Tarski's World, designed for

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

Meson spectroscopy experiment at KEK - E/iota puzzle

International Nuclear Information System (INIS)

Tsuru, Tsuneaki

1985-01-01

Physics interests at the KEK (National Laboratory for High Energy Physics) are (1) search for exotic mesons such as glueballs (gg), meiktons (q anti q g) and multiquark states (q sup(2 - )q 2 ), (2) search for missing ordinary mesons (q anti q) and confirmation of unestablished mesons, and (3) new informations of quark contents of mesons, mixing angles of SU(3) singlet-octet and tests of conservations law. Special interest is in search for exotics such as glueballs and meiktons. (2) is a so-called meson spectroscopy experiment. This is important not only in itself but also in identifying newly discovered states as exotics because exotics have often same quantum numbers as ordinary mesons. Contents are the following: glueballs and E/iota puzzles, spectrometer system, experiments, performance of the spectrometer, physics outputs, E/iota puzzles and πI experiment, future plans. (Mori, K.)

On puzzles and non-puzzles in B→ππ,πK decays

International Nuclear Information System (INIS)

Fleischer, R.; Recksiegel, S.; Schwab, F.

2007-01-01

Recently, we have seen interesting progress in the exploration of CP violation in B d 0 →π + π - : the measurements of mixing-induced CP violation by the BaBar and Belle collaborations are now in good agreement with each other, whereas the picture of direct CP violation is still unclear. Using the branching ratio and direct CP asymmetry of B d 0 →π - K + , this situation can be clarified. We predict A CP dir (B d →π + π - )=-0.24±0.04, which favours the BaBar result, and we extract γ=(70.0 -4.3 +3.8 ) , which agrees with the unitarity triangle fits. Extending our analysis to other B→πK modes and B s 0 →K + K - with the help of the SU(3) flavour symmetry and plausible dynamical assumptions, we find that all observables with colour-suppressed electroweak penguin contributions are measured to be in excellent agreement with the standard model. As far as the ratios R c,n of the charged and neutral B→πK branching ratios are concerned, which are sizeably affected by electroweak penguin contributions, our standard-model predictions have almost unchanged central values but significantly reduced errors. Since the new data have moved quite a bit towards these results, the ''B→πK puzzle'' for the CP conserving quantities has been significantly reduced. However, the mixing-induced CP violation of B d 0 →π 0 K S does look puzzling; if confirmed by future measurements, this effect could be accommodated through a modified electroweak penguin sector with a large CP violating new-physics phase. Finally, we point out that the established difference between the direct CP asymmetries of B ± →π 0 K ± and B d →π -+ K ± appears to be generated by hadronic and not by new physics. (orig.)

A puzzle form of a non-verbal intelligence test gives significantly higher performance measures in children with severe intellectual disability.

Science.gov (United States)

Bello, Katrina D; Goharpey, Nahal; Crewther, Sheila G; Crewther, David P

2008-08-01

Assessment of 'potential intellectual ability' of children with severe intellectual disability (ID) is limited, as current tests designed for normal children do not maintain their interest. Thus a manual puzzle version of the Raven's Coloured Progressive Matrices (RCPM) was devised to appeal to the attentional and sensory preferences and language limitations of children with ID. It was hypothesized that performance on the book and manual puzzle forms would not differ for typically developing children but that children with ID would perform better on the puzzle form. The first study assessed the validity of this puzzle form of the RCPM for 76 typically developing children in a test-retest crossover design, with a 3 week interval between tests. A second study tested performance and completion rate for the puzzle form compared to the book form in a sample of 164 children with ID. In the first study, no significant difference was found between performance on the puzzle and book forms in typically developing children, irrespective of the order of completion. The second study demonstrated a significantly higher performance and completion rate for the puzzle form compared to the book form in the ID population. Similar performance on book and puzzle forms of the RCPM by typically developing children suggests that both forms measure the same construct. These findings suggest that the puzzle form does not require greater cognitive ability but demands sensory-motor attention and limits distraction in children with severe ID. Thus, we suggest the puzzle form of the RCPM is a more reliable measure of the non-verbal mentation of children with severe ID than the book form.

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.

Towards a security model for computational puzzle schemes

NARCIS (Netherlands)

Tang, Qiang; Jeckmans, Arjan

2011-01-01

In the literature, computational puzzle schemes have been considered as a useful tool for a number of applications, such as constructing timed cryptography, fighting junk emails, and protecting critical infrastructure from denial-of-service attacks. However, there is a lack of a general security

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

Mathematical History: Activities, Puzzles, Stories, and Games.

Science.gov (United States)

Mitchell, Merle

Based on the history of mathematics, these materials have been planned to enrich the teaching of mathematics in grades four, five, and six. Puzzles and games are based on stories about topics such as famous mathematicians, numerals of ancient peoples, and numerology. The sheets are arranged by grade level and are designed for easy duplication.…

The Limits of Logic-Based Inherent Safety of Social Robots

DEFF Research Database (Denmark)

Bentzen, Martin Mose

2017-01-01

Social robots can reason and act while taking into accountsocial and cultural structures, for instance by complying withsocial or ethical norms or values. As social robots are likely to becomemore common and advanced and thus likely to interact withhuman beings in increasingly complex situations......-based safety for ethical robots is shown. Afterwards,an empirical study is used to show that there is a clash betweendeontic reasoning and most formal deontic logics. I give anexample as to how this clash can cause problems in human-robot interaction.I conclude that deontic logics closer to natural...... languagereasoning are needed and that logic only should play a limited partin the overall safety architecture of a social robot, which should alsobe based on other principles of safe design....

(Mis)perception of sleep in insomnia: a puzzle and a resolution.

Science.gov (United States)

Harvey, Allison G; Tang, Nicole K Y

2012-01-01

Insomnia is prevalent, causing severe distress and impairment. This review focuses on illuminating the puzzling finding that many insomnia patients misperceive their sleep. They overestimate their sleep onset latency (SOL) and underestimate their total sleep time (TST), relative to objective measures. This tendency is ubiquitous (although not universal). Resolving this puzzle has clinical, theoretical, and public health importance. There are implications for assessment, definition, and treatment. Moreover, solving the puzzle creates an opportunity for real-world applications of theories from clinical, perceptual, and social psychology as well as neuroscience. Herein we evaluate 13 possible resolutions to the puzzle. Specifically, we consider the possible contribution, to misperception, of (1) features inherent to the context of sleep (e.g., darkness); (2) the definition of sleep onset, which may lack sensitivity for insomnia patients; (3) insomnia being an exaggerated sleep complaint; (4) psychological distress causing magnification; (5) a deficit in time estimation ability; (6) sleep being misperceived as wake; (7) worry and selective attention toward sleep-related threats; (8) a memory bias influenced by current symptoms and emotions, a confirmation bias/belief bias, or a recall bias linked to the intensity/recency of symptoms; (9) heightened physiological arousal; (10) elevated cortical arousal; (11) the presence of brief awakenings; (12) a fault in neuronal circuitry; and (13) there being 2 insomnia subtypes (one with and one without misperception). The best supported resolutions were misperception of sleep as wake, worry, and brief awakenings. A deficit in time estimation ability was not supported. We conclude by proposing several integrative solutions.

Spectroscopy of muonic atoms and the proton radius puzzle

Science.gov (United States)

Antognini, Aldo

2017-09-01

We have measured several 2 S -2 P transitions in muonic hydrogen (μp), muonic deuterium (μd) and muonic helium ions (μ3He, μ4He). From muonic hydrogen we extracted a proton charge radius 20 times more precise than obtained from electron-proton scattering and hydrogen high-precision laser spectroscopy but at a variance of 7 σ from these values. This discrepancy is nowadays referred to as the proton radius puzzle. New insight has been recently provided by the first determination of the deuteron charge radius from laser spectroscopy of μd. The status of the proton charge radius puzzle including the new insights obtained by μd spectroscopy will be discussed. Work supported by the Swiss National Science Foundation SNF-200021-165854 and the ERC CoG. #725039.

The Monotonicity Puzzle: An Experimental Investigation of Incentive Structures

Directory of Open Access Journals (Sweden)

Jeannette Brosig

2010-05-01

Full Text Available Non-monotone incentive structures, which - according to theory - are able to induce optimal behavior, are often regarded as empirically less relevant for labor relationships. We compare the performance of a theoretically optimal non-monotone contract with a monotone one under controlled laboratory conditions. Implementing some features relevant to real-world employment relationships, our paper demonstrates that, in fact, the frequency of income-maximizing decisions made by agents is higher under the monotone contract. Although this observed behavior does not change the superiority of the non-monotone contract for principals, they do not choose this contract type in a significant way. This is what we call the monotonicity puzzle. Detailed investigations of decisions provide a clue for solving the puzzle and a possible explanation for the popularity of monotone contracts.

Local supersymmetry and the problem of the mass scales

International Nuclear Information System (INIS)

Nilles, H.P.

1983-02-01

Spontaneously broken supergravity might help us to understand the puzzle of the mass scales in grand unified models. We describe the general mechanism and point out the remaining problems. Some new results on local supercolor are presented

Flexible programmable logic module

Science.gov (United States)

Robertson, Perry J.; Hutchinson, Robert L.; Pierson, Lyndon G.

2001-01-01

The circuit module of this invention is a VME board containing a plurality of programmable logic devices (PLDs), a controlled impedance clock tree, and interconnecting buses. The PLDs are arranged to permit systolic processing of a problem by offering wide data buses and a plurality of processing nodes. The board contains a clock reference and clock distribution tree that can drive each of the PLDs with two critically timed clock references. External clock references can be used to drive additional circuit modules all operating from the same synchronous clock reference.

Fuzzy logic controllers and chaotic natural convection loops

International Nuclear Information System (INIS)

Theler, German

2007-01-01

The study of natural circulation loops is a subject of special concern for the engineering design of advanced nuclear reactors, as natural convection provides an efficient and completely passive heat removal system. However, under certain circumstances thermal-fluid-dynamical instabilities may appear, threatening the reactor safety as a whole.On the other hand, fuzzy logic controllers provide an ideal framework to approach highly non-linear control problems. In the present work, we develop a software-based fuzzy logic controller and study its application to chaotic natural convection loops.We numerically analyse the linguistic control of the loop known as the Welander problem in such conditions that, if the controller were not present, the circulation flow would be non-periodic unstable.We also design a Taka gi-Sugeno fuzzy controller based on a fuzzy model of a natural convection loop with a toroidal geometry, in order to stabilize a Lorenz-chaotic behaviour.Finally, we show experimental results obtained in a rectangular natural circulation loop [es

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

Science.gov (United States)

Hamadneh, Nawaf; Sathasivam, Saratha; Choon, Ong Hong

2014-07-01

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

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

Energy Technology Data Exchange (ETDEWEB)

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

2014-07-10

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

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

International Nuclear Information System (INIS)

Hamadneh, Nawaf; Sathasivam, Saratha; Choon, Ong Hong

2014-01-01

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

Problems in the Science and Mathematics of 'The Logic of Scientific Discovery'

Directory of Open Access Journals (Sweden)

Alan B. Whiting

2012-11-01

Full Text Available Professor Sir Karl Popper (1902-1994 was one of the most influential philosophers of science of the twentieth century. However, in his most famous work 'The Logic of Scientific Discovery' he displays troubling misunderstandings of science and mathematics at a basic level. These call into question his conclusions concerning the philosophy of science. Quanta 2012; 1: 13–18.

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

Towards a solution of the puzzle posed by superconducting SrTiO3

Science.gov (United States)

Malik, G. P.

2015-09-01

Suitably doped SrTiO3 was found in 1964 to undergo a superconducting transition below 1 K with a dome-like Tc versus n (electron concentration) plot. The apex of the dome — a point of inflection — corresponds to the point (n≈9 ×1019cm-3, Tc≈0.30 K). On either side of it, Tc goes down to ≈0.1 K for the extreme values between which n was varied. A single value of Tc is thus observed for two different values of n. The puzzle for the theory has been to explain this result. Treating the problem in all its generality, we present here three equations: the μ1-incorporated BCS equation for Tc, the μ0-incorporated equation for the T = 0 gap Δ0, where μ1 and μ0 are the chemical potentials at T = Tc and T = 0 respectively, and an equation that relates the interaction parameters λ1 and λ0 at these temperatures. Because there are five unknowns in the problem, we tackle these equations via an approximation scheme that includes setting μ1 = μ0 and λ1 = λ0. The latter of these is factually a basic tenet of the BCS theory. Salient features of our findings are: (i) the solutions for Tc and Δ0 on the RHS (LHS) of the dome correspond to μ> kBθD(μ LHS the limits of the integrals in the equations need to be curtailed to obtain real solutions and (iii) the point μ = kBθD is a point of inflection in the Tc versus μ plot. Since the puzzle has remained unsolved for a long time, we also offer here a purely mathematical model for λ(μ) — sans physical justification — which leads to a Tc versus μ plot qualitatively in agreement with experiment.

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.

A practical introduction to fuzzy logic using LISP

CERN Document Server

Argüelles Mendez, Luis

2016-01-01

This book makes use of the LISP programming language to provide readers with the necessary background to understand and use fuzzy logic to solve simple to medium-complexity real-world problems. It introduces the basics of LISP required to use a Fuzzy LISP programming toolbox, which was specifically implemented by the author to “teach” the theory behind fuzzy logic and at the same time equip readers to use their newly-acquired knowledge to build fuzzy models of increasing complexity. The book fills an important gap in the literature, providing readers with a practice-oriented reference guide to fuzzy logic that offers more complexity than popular books yet is more accessible than other mathematical treatises on the topic. As such, students in first-year university courses with a basic tertiary mathematical background and no previous experience with programming should be able to easily follow the content. The book is intended for students and professionals in the fields of computer science and engineering, ...

The puzzle of neutron lifetime

International Nuclear Information System (INIS)

Paul, Stephan

2009-01-01

In this paper we review the role of the neutron lifetime and discuss the present status of measurements. In view of the large discrepancy observed by the two most precise individual measurements so far we describe the different techniques and point out the principle strengths and weaknesses. In particular we discuss the estimation of systematic uncertainties and its correlation to the statistical ones. In order to solve the present puzzle, many new experiments are either ongoing or being proposed. An overview on their possible contribution to this field will be given.

Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules

DEFF Research Database (Denmark)

Christiansen, Henning

2008-01-01

A class of Probabilistic Abductive Logic Programs (PALPs) is introduced and an implementation is developed in CHR for solving abductive problems, providing minimal explanations with their probabilities. Both all-explanations and most-probable-explanations versions are given. Compared with other...

Some connections for manuals of empirical logic to functional analysis

International Nuclear Information System (INIS)

Cook, T.A.

1981-01-01

In this informal presentation, the theory of manuals of operations is connected with some familiar concepts in functional analysis; namely, base normed and order unit normed spaces. The purpose of this discussion is to present several general open problems which display the interplay of empirical logic with functional analysis. These are mathematical problems with direct physical interpretation. (orig./HSI)

The neural correlates of belief-bias inhibition: the impact of logic training.

Science.gov (United States)

Luo, Junlong; Tang, Xiaochen; Zhang, Entao; Stupple, Edward J N

2014-12-01

Functional Magnetic Resonance Imaging (fMRI) was used to investigate the brain activity associated with response change in a belief bias paradigm before and after logic training. Participants completed two sets of belief biased reasoning tasks. In the first set they were instructed to respond based on their empirical beliefs, and in the second - following logic training - they were instructed to respond logically. The comparison between conflict problems in the second scan versus in the first scan revealed differing activation for the left inferior frontal gyrus, left middle frontal gyrus, cerebellum, and precuneus. The scan was time locked to the presentation of the minor premise, and thus demonstrated effects of belief-logic conflict on neural activation earlier in the time course than has previously been shown in fMRI. These data, moreover, indicated that logical training results in changes in brain activity associated with cognitive control processing. Copyright © 2014 Elsevier B.V. All rights reserved.

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.

Fuzzy logic controller for stabilization of biped robot gait

Directory of Open Access Journals (Sweden)

Ryadchikov I.V.

2018-01-01

Full Text Available The article centers round the problem of stabilization of biped robot gait through smoothing out the jumps of first and second order derivatives of a biped robot control vector using the fuzzy logic approach. The structure of a composite Takagi-Sugeno fuzzy logic controller developed by the authors is presented. The simulation study of a robot gait with climbing an obstacle is carried out and the results provided in the article showed that the developed controller performed significantly better than the analytical formula model in terms of smoothing out the derivatives of the control vector.

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

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

Upper estimates of complexity of algorithms for multi-peg Tower of Hanoi problem

Directory of Open Access Journals (Sweden)

Sergey Novikov

2007-06-01

Full Text Available There are proved upper explicit estimates of complexity of lgorithms: for multi-peg Tower of Hanoi problem with the limited number of disks, for Reve's puzzle and for $5$-peg Tower of Hanoi problem with the free number of disks.

Linear Temporal Logic-based Mission Planning

OpenAIRE

Anil Kumar; Rahul Kala

2016-01-01

In this paper, we describe the Linear Temporal Logic-based reactive motion planning. We address the problem of motion planning for mobile robots, wherein the goal specification of planning is given in complex environments. The desired task specification may consist of complex behaviors of the robot, including specifications for environment constraints, need of task optimality, obstacle avoidance, rescue specifications, surveillance specifications, safety specifications, etc. We use Linear Tem...

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

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

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

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.

From Flow Logic to static type systems for coordination languages

DEFF Research Database (Denmark)

De Nicola, Rocco; Gorla, Daniele; Hansen, Rene Rydhof

2010-01-01

checks; therefore, the correctness properties cannot be statically enforced. By contrast, static analysis approaches based on Flow Logic usually guarantee properties statically. In this paper, we show how the insights from the Flow Logic approach can be used to construct a type system for statically......Coordination languages are often used to describe open-ended systems. This makes it challenging to develop tools for guaranteeing the security of the coordinated systems and the correctness of their interaction. Successful approaches to this problem have been based on type systems with dynamic...

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

What cognitive strategies do orangutans (Pongo pygmaeus) use to solve a trial-unique puzzle-tube task incorporating multiple obstacles?

Science.gov (United States)

Tecwyn, Emma C; Thorpe, Susannah K S; Chappell, Jackie

2012-01-01

Apparently sophisticated behaviour during problem-solving is often the product of simple underlying mechanisms, such as associative learning or the use of procedural rules. These and other more parsimonious explanations need to be eliminated before higher-level cognitive processes such as causal reasoning or planning can be inferred. We presented three Bornean orangutans with 64 trial-unique configurations of a puzzle-tube to investigate whether they were able to consider multiple obstacles in two alternative paths, and subsequently choose the correct direction in which to move a reward in order to retrieve it. We were particularly interested in how subjects attempted to solve the task, namely which behavioural strategies they could have been using, as this is how we may begin to elucidate the cognitive mechanisms underpinning their choices. To explore this, we simulated performance outcomes across the 64 trials for various procedural rules and rule combinations that subjects may have been using based on the configuration of different obstacles. Two of the three subjects solved the task, suggesting that they were able to consider at least some of the obstacles in the puzzle-tube before executing action to retrieve the reward. This is impressive compared with the past performances of great apes on similar, arguably less complex tasks. Successful subjects may have been using a heuristic rule combination based on what they deemed to be the most relevant cue (the configuration of the puzzle-tube ends), which may be a cognitively economical strategy.

Logical Reasoning Abilities of Junior High School Students in the Province of Cotabato, Philippines

Directory of Open Access Journals (Sweden)

Paul John B. Ongcoy

2016-11-01

Full Text Available Reasoning abilities of the learners and its development was well-discussed in the world of education. The higher the ability of the person to reason abstractly, the higher the probability that a person will effectively function in the society. Thus, it is the main goal of the K-12 Curriculum of the Department of Education to improve the reasoning abilities and formal reasoning among students in the country. The higher the reasoning ability of a person, the more productive he is. The ability of logical reasoning has an essential function in the academic performance of students and their construction of the concepts. This study aimed to determine the logical reasoning abilities of 150 randomly selected junior high school students. Specifically, this study aimed to determine the logical reasoning abilities namely combinatorial reasoning, controlling variables, correlation reasoning, probabilistic reasoning and proportional reasoning among the grade 10 junior high school students and determine whether there is a significant difference in students’ logical reasoning abilities according to their gender. The respondents answered the Test of Logical Thinking (TOLT. Thirty respondents were interviewed to verify their answers. The findings of the study led to the following conclusions: most students correctly answered problems in probabilistic reasoning and least number of students correctly answered problems in proportional reasoning and combinatorial reasoning and, male and female respondents have equal performances in problems pertaining to combinatorial reasoning, controlling variables, correlational reasoning and probabilistic reasoning but female respondents are better in proportional reasoning than the male respondents.

When fast logic meets slow belief: Evidence for a parallel-processing model of belief bias.

Science.gov (United States)

Trippas, Dries; Thompson, Valerie A; Handley, Simon J

2017-05-01

Two experiments pitted the default-interventionist account of belief bias against a parallel-processing model. According to the former, belief bias occurs because a fast, belief-based evaluation of the conclusion pre-empts a working-memory demanding logical analysis. In contrast, according to the latter both belief-based and logic-based responding occur in parallel. Participants were given deductive reasoning problems of variable complexity and instructed to decide whether the conclusion was valid on half the trials or to decide whether the conclusion was believable on the other half. When belief and logic conflict, the default-interventionist view predicts that it should take less time to respond on the basis of belief than logic, and that the believability of a conclusion should interfere with judgments of validity, but not the reverse. The parallel-processing view predicts that beliefs should interfere with logic judgments only if the processing required to evaluate the logical structure exceeds that required to evaluate the knowledge necessary to make a belief-based judgment, and vice versa otherwise. Consistent with this latter view, for the simplest reasoning problems (modus ponens), judgments of belief resulted in lower accuracy than judgments of validity, and believability interfered more with judgments of validity than the converse. For problems of moderate complexity (modus tollens and single-model syllogisms), the interference was symmetrical, in that validity interfered with belief judgments to the same degree that believability interfered with validity judgments. For the most complex (three-term multiple-model syllogisms), conclusion believability interfered more with judgments of validity than vice versa, in spite of the significant interference from conclusion validity on judgments of belief.

Regulatory Anatomy: How "Safety Logics" Structure European Transplant Medicine.

Science.gov (United States)

Hoeyer, Klaus

2015-07-01

This article proposes the term "safety logics" to understand attempts within the European Union (EU) to harmonize member state legislation to ensure a safe and stable supply of human biological material for transplants and transfusions. With safety logics, I refer to assemblages of discourses, legal documents, technological devices, organizational structures, and work practices aimed at minimizing risk. I use this term to reorient the analytical attention with respect to safety regulation. Instead of evaluating whether safety is achieved, the point is to explore the types of "safety" produced through these logics as well as to consider the sometimes unintended consequences of such safety work. In fact, the EU rules have been giving rise to complaints from practitioners finding the directives problematic and inadequate. In this article, I explore the problems practitioners face and why they arise. In short, I expose the regulatory anatomy of the policy landscape.

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

A Comparative Study of Fuzzy Logic, Genetic Algorithm, and Gradient-Genetic Algorithm Optimization Methods for Solving the Unit Commitment Problem

Directory of Open Access Journals (Sweden)

Sahbi Marrouchi

2014-01-01

Full Text Available Due to the continuous increase of the population and the perpetual progress of industry, the energy management presents nowadays a relevant topic that concerns researchers in electrical engineering. Indeed, in order to establish a good exploitation of the electrical grid, it is necessary to solve technical and economic problems. This can only be done through the resolution of the Unit Commitment Problem. Unit Commitment Problem allows optimizing the combination of the production units’ states and determining their production planning, in order to satisfy the expected consumption with minimal cost during a specified period which varies usually from 24 hours to one week. However, each production unit has some constraints that make this problem complex, combinatorial, and nonlinear. This paper presents a comparative study between a strategy based on hybrid gradient-genetic algorithm method and two strategies based on metaheuristic methods, fuzzy logic, and genetic algorithm, in order to predict the combinations and the unit commitment scheduling of each production unit in one side and to minimize the total production cost in the other side. To test the performance of the optimization proposed strategies, strategies have been applied to the IEEE electrical network 14 busses and the obtained results are very promising.

A volta de Ulisses: anotações sobre a lógica de planos e compromissos Ulysses's return: notes on the logic of plans and commitments

Directory of Open Access Journals (Sweden)

Ana Maria Bianchi

2005-04-01

Full Text Available This paper criticizes the conventional theory of choice for being grounded on a minimal set of rationality axioms. We claim that this theory does not take due account of the fact that agents are driven by motives other than the pursuit of material self-interest. Our departure point is logic of commitments and planned action, which helps us to identify some puzzles in the conventional theory of choice. As a way out, we discuss the Kantian perspective and the notions of metapreference and metaranking. We then build a model of choice which points to the possibility of a systematic treatment of higher order preferences and incommensurable objectives.

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.

Box-Cox transformation for resolving the Peelle's Pertinent Puzzle in a curve fitting

International Nuclear Information System (INIS)

Oh, S. Y.; Seo, C. G.

2004-01-01

Incorporating the Box-Cox transformation into a curve fitting is presented as one of methods for resolving an anomaly known as the Peelle's Pertinent Puzzle in the nuclear data community. The Box-Cox transformation is a strategy to make non-normal distribution data resemble normal distribution data. The proposed method consists of the following steps: transform the raw data to be fitted with the optimized Box-Cox transformation parameter, fit the transformed data using a conventional curve fitting tool, the least-squares method in this study, then inverse-transform the fitted results to the final estimates. Covariance matrices are correspondingly transformed and inverse-transformed with the aid of the law of error propagation. In addition to a sensible answer to the Puzzle, the proposed method resulted in reasonable estimates for a test evaluation with pseudo-experimental 6 Li(n, t) cross sections in several to 800 keV energy region, while the GMA code resulted in systematic underestimates that characterize the Puzzle. Meanwhile, it is observed that the present method and the Chiba-Smith method yield almost the same estimates for the test evaluation on 6 Li(n, t). Conceptually, however, two methods are very different from each other and further discussions are needed for a consensus on the issue of how to resolve the Puzzle. (authors)

A possible explanation of the 'exchange rate disconnect puzzle': A common solution to three major macroeconomic puzzles?

OpenAIRE

Horioka, Charles Yuji; Ford, Nicholas

2016-01-01

Meese and Rogoff (1983) and subsequent studies find that economic fundamentals are apparently not able to explain exchange rate movements, but we argue that this so-called "Exchange Rate Disconnect Puzzle" arose because researchers such as Meese and Rogoff (1983) did not use the right fundamentals and because they did not allow for the forward-looking nature of exchange rate determination. Further, because they apparently were not aware that financial markets by themselves could not equalise ...

From Logic Programming Semantics to the Consistency of Syntactical Treatments of Knowledge and Belief

DEFF Research Database (Denmark)

Bolander, Thomas

2003-01-01

that we can keep the predicate approach if we make suitable restrictions to our set of epistemic axioms. Their results are proved by careful translations from corresponding modal formalisms. In the present paper we show that their results fit nicely into the framework of logic programming semantics......, in that we show their results to be corollaries of well-known results in this field. This does not only allow us to demonstrate a close connection between consistency problems in the syntactic treatment of propositional attitudes and problems in semantics for logic programs, but it also allows us......This paper concerns formal theories for reasoning about the knowledge and belief of agents. It has seemed attractive to researchers in artificial intelligence to formalise these propositional attitudes as predicates of first-order predicate logic. This allows the agents to express stronger...

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

A comparative study of the A* heuristic search algorithm used to solve efficiently a puzzle game

Science.gov (United States)

Iordan, A. E.

2018-01-01

The puzzle game presented in this paper consists in polyhedra (prisms, pyramids or pyramidal frustums) which can be moved using the free available spaces. The problem requires to be found the minimum number of movements in order the game reaches to a goal configuration starting from an initial configuration. Because the problem is enough complex, the principal difficulty in solving it is given by dimension of search space, that leads to necessity of a heuristic search. The improving of the search method consists into determination of a strong estimation by the heuristic function which will guide the search process to the most promising side of the search tree. The comparative study is realized among Manhattan heuristic and the Hamming heuristic using A* search algorithm implemented in Java. This paper also presents the necessary stages in object oriented development of a software used to solve efficiently this puzzle game. The modelling of the software is achieved through specific UML diagrams representing the phases of analysis, design and implementation, the system thus being described in a clear and practical manner. With the purpose to confirm the theoretical results which demonstrates that Manhattan heuristic is more efficient was used space complexity criterion. The space complexity was measured by the number of generated nodes from the search tree, by the number of the expanded nodes and by the effective branching factor. From the experimental results obtained by using the Manhattan heuristic, improvements were observed regarding space complexity of A* algorithm versus Hamming heuristic.

Looking for Oriental fundamentals Fuzzy Logic

Directory of Open Access Journals (Sweden)

Angel Garrido

2013-10-01

Full Text Available For quite some time we have been trying to trace the river of Non-ClassicalLogics, and especially, Fuzzy Logic, trying to find the sources of this today flowing quite mighty river. Following from Lotfi A. Zadeh, we have traced his inspiring, the Polish logician Jan Lukasiewicz, who in turn was inspired by Aristotle's Peri Hermeneias (De Interpretatione. Also, Lukasiewicz occupies a central position in the Lvov-Warsaw School, who founded Kazimierz Twardowski, a student of Franz Brentano, and this in turn disciple of Bernard Bolzano. The connection with Leibniz and Bolzano come through medieval scholastic thinkers, especially John Duns Scotus and William of Ockham and the problem of future contingents, they had collected from the Aristotelian tradition. But there was to trace the “eastern (oriental track, which leads to the ancient Chinese and Indian philosophy. Here we will treat it as a first and necessary approach.

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.

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.

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)

Improvements to Earthquake Location with a Fuzzy Logic Approach

Science.gov (United States)

Gökalp, Hüseyin

2018-01-01

In this study, improvements to the earthquake location method were investigated using a fuzzy logic approach proposed by Lin and Sanford (Bull Seismol Soc Am 91:82-93, 2001). The method has certain advantages compared to the inverse methods in terms of eliminating the uncertainties of arrival times and reading errors. In this study, adopting this approach, epicentral locations were determined based on the results of a fuzzy logic space concerning the uncertainties in the velocity models. To map the uncertainties in arrival times into the fuzzy logic space, a trapezoidal membership function was constructed by directly using the travel time difference between the two stations for the P- and S-arrival times instead of the P- and S-wave models to eliminate the need for obtaining information concerning the velocity structure of the study area. The results showed that this method worked most effectively when earthquakes occurred away from a network or when the arrival time data contained phase reading errors. In this study, to resolve the problems related to determining the epicentral locations of the events, a forward modeling method like the grid search technique was used by applying different logical operations (i.e., intersection, union, and their combination) with a fuzzy logic approach. The locations of the events were depended on results of fuzzy logic outputs in fuzzy logic space by searching in a gridded region. The process of location determination with the defuzzification of only the grid points with the membership value of 1 obtained by normalizing all the maximum fuzzy output values of the highest values resulted in more reliable epicentral locations for the earthquakes than the other approaches. In addition, throughout the process, the center-of-gravity method was used as a defuzzification operation.

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.

Cosmic logic: a computational model

International Nuclear Information System (INIS)

Vanchurin, Vitaly

2016-01-01

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

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

Learning structural bioinformatics and evolution with a snake puzzle

Directory of Open Access Journals (Sweden)

Gonzalo S. Nido

2016-12-01

Full Text Available We propose here a working unit for teaching basic concepts of structural bioinformatics and evolution through the example of a wooden snake puzzle, strikingly similar to toy models widely used in the literature of protein folding. In our experience, developed at a Master’s course at the Universidad Autónoma de Madrid (Spain, the concreteness of this example helps to overcome difficulties caused by the interdisciplinary nature of this field and its high level of abstraction, in particular for students coming from traditional disciplines. The puzzle will allow us discussing a simple algorithm for finding folded solutions, through which we will introduce the concept of the configuration space and the contact matrix representation. This is a central tool for comparing protein structures, for studying simple models of protein energetics, and even for a qualitative discussion of folding kinetics, through the concept of the Contact Order. It also allows a simple representation of misfolded conformations and their free energy. These concepts will motivate evolutionary questions, which we will address by simulating a structurally constrained model of protein evolution, again modelled on the snake puzzle. In this way, we can discuss the analogy between evolutionary concepts and statistical mechanics that facilitates the understanding of both concepts. The proposed examples and literature are accessible, and we provide supplementary material (see ‘Data Availability’ to reproduce the numerical experiments. We also suggest possible directions to expand the unit. We hope that this work will further stimulate the adoption of games in teaching practice.

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.

The height of Tennessee convicts: another piece of the "antebellum puzzle".

Science.gov (United States)

Sunder, Marco

2004-03-01

Average height of the free population in the United States born in the mid-1830s began to decline despite growing per capita incomes. Explanations for this "antebellum puzzle" revolve around a possibly deteriorating disease environment promoted by urban agglomeration and increases in the relative price of protein-rich foods. However, several groups were immune to the effect, including members of the middle class, whose income was high enough, and increased enough to overcome the adverse developments and maintain their nutritional status. Although at the opposite end of the social spectrum, the height of male slaves also increased, as it was in their owners' interest to raise their slaves' food allotments. The height of Tennessee convicts, analyzed in this article, also increased in the late-1830s, being the third exception to the "antebellum puzzle." Mid-19th century Tennessee was integrated into interstate commerce in cotton and tobacco and experienced considerable movement of people who would have brought with them diseases from elsewhere, hence, it would have been integrated into the US disease pool, and the fact that heights did not decline in the 1830s is therefore an indication that the antebellum puzzle cannot be explained exclusively by the spread of diseases. Yet, Tennessee's economy was quite different to that of the rest of the country. Although it did export live swine to the South, these exports did not increase during the antebellum decades. Hence, Tennessee remained self-sufficient in pork, and consumption of pork did not decline. Thus, the evidence presented here is consistent with the economic interpretation of the "antebellum puzzle": self-sufficiency in protein production protected even the members of the lower-classes of Tennessee from the negative externalities associated with the onset of industrialization.

A Grey Fuzzy Logic Approach for Cotton Fibre Selection

Science.gov (United States)

Chakraborty, Shankar; Das, Partha Protim; Kumar, Vidyapati

2017-06-01

It is a well known fact that the quality of ring spun yarn predominantly depends on various physical properties of cotton fibre. Any variation in these fibre properties may affect the strength and unevenness of the final yarn. Thus, so as to achieve the desired yarn quality and characteristics, it becomes imperative for the spinning industry personnel to identify the most suitable cotton fibre from a set of feasible alternatives in presence of several conflicting properties/attributes. This cotton fibre selection process can be modelled as a Multi-Criteria Decision Making (MCDM) problem. In this paper, a grey fuzzy logic-based approach is proposed for selection of the most apposite cotton fibre from 17 alternatives evaluated based on six important fibre properties. It is observed that the preference order of the top-ranked cotton fibres derived using the grey fuzzy logic approach closely matches with that attained by the past researchers which proves the application potentiality of this method in solving varying MCDM problems in textile industries.

Jigsaw puzzle metasurface for multiple functions: polarization conversion, anomalous reflection and diffusion.

Science.gov (United States)

Zhao, Yi; Cao, Xiangyu; Gao, Jun; Liu, Xiao; Li, Sijia

2016-05-16

We demonstrate a simple reconfigurable metasurface with multiple functions. Anisotropic tiles are investigated and manufactured as fundamental elements. Then, the tiles are combined in a certain sequence to construct a metasurface. Each of the tiles can be adjusted independently which is like a jigsaw puzzle and the whole metasurface can achieve diverse functions by different layouts. For demonstration purposes, we realize polarization conversion, anomalous reflection and diffusion by a jigsaw puzzle metasurface with 6 × 6 pieces of anisotropic tile. Simulated and measured results prove that our method offers a simple and effective strategy for metasurface design.

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

Quantum top secret. The solution of the quantum puzzle. Metamorphosis of a picture of world; Quantum top secret. Die Loesung des Quantenraetsels. Metamorphose eines Weltbildes

Energy Technology Data Exchange (ETDEWEB)

Wingert, M.

2008-07-01

Many physicists believe that because of unexplained causes, which must anyway be concerned with the quantum puzzle and the mysterious consciousness, it would be no more possible to understand the real structure of the reality - this subtle smiling of the nature, which irritates the physicists since 100 years and the disturbed the theoretical physics so much that they threw the towel. Since nature is considered as absurd, strange, and crazy - and quantum theory as very complicated. But in reality the basic experiments are of a touching simplicity, which seems only completely unintelligible in the picture of world of mechanics. For these experiments show that the concept of body of mechanics and the body conceptions of the thinking cannot at all match the structure of nature. If this is objectively taken notice of without doubting on the existence of a reality, the experiments show the real, unveiled face of the nature. Light and matter must then consist of fields, which can themselves divide by non-mechanical way, so with wholeness, comparable only with cell division and branching processes in biology. Either it is completely crazy - or the only logic interpretation, which hitherto only no physicist risked to think. For these experiments disprove the atom and elementary-particle hypothesis, the picture of world of mechanics, and also the quantum-mechanical interpretation - and indeed uniquely. This knowledge could break the Gordian knot, solve the quantum puzzle, and also give away the secret of the thinking spirit.

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.

Functional-logic simulation of IP-blocks dose functional failures

Directory of Open Access Journals (Sweden)

Vyacheslav M. Barbashov

2017-11-01

Full Text Available The technique of functional-logical simulation of System-on-Chip (SoC total dose radiation failures is presented based on fuzzy logic sets theory. An analysis of the capabilities of this approach for IP-blocks radiation behavior is carried out along with the analysis of operating modes under irradiation influence on IP-blocks radiation behavior. The following elements of this technique application for simulation of dose radiation failures of various types of IP-units are studied: logical elements, memory units and cells, processors. Examples of criterial membership functions and operability functions construction are given for these IP-units and for various critical parameters characterizing their failures. It is shown that when modeling total dose failures it is necessary to take into account the influence of the functional mode on the model parameters. The technique proposed allows improving the reliability of the SoC radiation hardness estimation, also for the purpose of solving the problems of information security of electronic devices.

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

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

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

Function of One Regular Separable Relation Set Decided for the Minimal Covering in Multiple Valued Logic

Directory of Open Access Journals (Sweden)

Liu Yu Zhen

2016-01-01

Full Text Available Multiple-valued logic is an important branch of the computer science and technology. Multiple-valued logic studies the theory, multiple-valued circuit & multiple-valued system, and the applications of multiple-valued logic included.In the theory of multiple-valued logic, one primary and important problem is the completeness of function sets, which can be solved depending on the decision for all the precomplete sets(also called maximal closed sets of K-valued function sets noted by PK*, and another is the decision for Sheffer function, which can be totally solved by picking out all of the minimal covering of the precomplete sets. In the function structure theory of multi-logic, decision on Sheffer function is an important role. It contains structure and decision of full multi-logic and partial multi-logic. Its decision is closely related to decision of completeness of function which can be done by deciding the minimal covering of full multi-logic and partial-logic. By theory of completeness of partial multi-logic, we prove that function of one regular separable relation is not minimal covering of PK* under the condition of m = 2, σ = e.

Asset pricing puzzles explained by incomplete Brownian equilibria

DEFF Research Database (Denmark)

Christensen, Peter Ove; Larsen, Kasper

We examine a class of Brownian based models which produce tractable incomplete equilibria. The models are based on finitely many investors with heterogeneous exponential utilities over intermediate consumption who receive partially unspanned income. The investors can trade continuously on a finit...... markets. Consequently, our model can simultaneously help explaining the risk-free rate and equity premium puzzles....

Risk assessment practice within primary mental health care: A logics perspective.

Science.gov (United States)

Flintoff, Adam; Speed, Ewen; McPherson, Susan

2018-04-01

From the 1980s onwards, discourses of risk have continued to grow, almost in ubiquity. Ideas and practices of risk and risk aversion have extended to UK mental health care where services are expected to assess and manage risks, and high-quality clinical assessment has been revised to incorporate risk assessment. This article problematises practices of risk assessment in mental health provision, focussing on the base-rate problem. It presents an analysis of audio recordings of risk assessments completed within a primary care mental health service. The analysis is informed by a critical logics approach which, using ideas from discourse theory as well as Lacanian psychoanalysis, involves developing a set of logics to describe, analyse and explain social phenomena. We characterise the assessments as functioning according to social logics of well-oiled administration and preservation, whereby bureaucratic processes are prioritised, contingency ironed out or ignored, and a need to manage potential risks to the service are the dominant operational frames. These logics are considered in terms of their beatific and horrific fantasmatic dimensions, whereby risk assessment is enacted as infallible (beatific) until clients become threats (horrific), creating a range of potential false negatives, false positives and so forth. These processes function to obscure or background problems with risk assessment, by generating practices that favour and offer protection to assessors, at the expense of those being assessed, thus presenting a challenge to the stated aim of risk assessment practice.

Fuzzy Logic and Arithmetical Hierarchy III

Czech Academy of Sciences Publication Activity Database

Hájek, Petr

2001-01-01

Roč. 68, č. 1 (2001), s. 129-142 ISSN 0039-3215 R&D Projects: GA AV ČR IAA1030004 Institutional research plan: AV0Z1030915 Keywords : fuzzy logic * basic fuzzy logic * Lukasiewicz logic * Godel logic * product logic * arithmetical hierarchy Subject RIV: BA - General Mathematics

Modern logic and quantum mechanics

International Nuclear Information System (INIS)

Garden, R.W.

1984-01-01

The book applies the methods of modern logic and probabilities to ''interpreting'' quantum mechanics. The subject is described and discussed under the chapter headings: classical and quantum mechanics, modern logic, the propositional logic of mechanics, states and measurement in mechanics, the traditional analysis of probabilities, the probabilities of mechanics and the model logic of predictions. (U.K.)

Semantic theory for logic programming

Energy Technology Data Exchange (ETDEWEB)

Brown, F M

1981-01-01

The author axiomatizes a number of meta theoretic concepts which have been used in logic programming, including: meaning, logical truth, nonentailment, assertion and erasure, thus showing that these concepts are logical in nature and need not be defined as they have previously been defined in terms of the operations of any particular interpreter for logic programs. 10 references.

Linear Temporal Logic-based Mission Planning

Directory of Open Access Journals (Sweden)

Anil Kumar

2016-06-01

Full Text Available In this paper, we describe the Linear Temporal Logic-based reactive motion planning. We address the problem of motion planning for mobile robots, wherein the goal specification of planning is given in complex environments. The desired task specification may consist of complex behaviors of the robot, including specifications for environment constraints, need of task optimality, obstacle avoidance, rescue specifications, surveillance specifications, safety specifications, etc. We use Linear Temporal Logic to give a representation for such complex task specification and constraints. The specifications are used by a verification engine to judge the feasibility and suitability of plans. The planner gives a motion strategy as output. Finally a controller is used to generate the desired trajectory to achieve such a goal. The approach is tested using simulations on the LTLMoP mission planning tool, operating over the Robot Operating System. Simulation results generated using high level planners and low level controllers work simultaneously for mission planning and controlling the physical behavior of the robot.

Neutrosophic Logic Applied to Decision Making

DEFF Research Database (Denmark)

Madsen, Henrik; Albeanu, Grigore; Burtschy, Bernard

2014-01-01

Decision making addresses the usage of various methods to select "the best", in some way, alternative strategy (from many available) when a problem is given for solving. The authors propose the usage of neutrosophic way of thinking, called also Smarandache's logic, to select a model by experts when...... degrees of trustability, ultrastability (falsehood), and indeterminacy are used to decide. The procedures deal with multi-attribute neutrosophic decision making and a case study on e-learning software objects is presented....

Logic and Learning

DEFF Research Database (Denmark)

Hendricks, Vincent Fella; Gierasimczuk, Nina; de Jong, Dick

2014-01-01

Learning and learnability have been long standing topics of interests within the linguistic, computational, and epistemological accounts of inductive in- ference. Johan van Benthem’s vision of the “dynamic turn” has not only brought renewed life to research agendas in logic as the study of inform......Learning and learnability have been long standing topics of interests within the linguistic, computational, and epistemological accounts of inductive in- ference. Johan van Benthem’s vision of the “dynamic turn” has not only brought renewed life to research agendas in logic as the study...... of information processing, but likewise helped bring logic and learning in close proximity. This proximity relation is examined with respect to learning and belief revision, updating and efficiency, and with respect to how learnability fits in the greater scheme of dynamic epistemic logic and scientific method....

Yet another possible explanation of the solar-neutrino puzzle

International Nuclear Information System (INIS)

Kolb, E.W.; Turner, M.S.; Walker, T.P.

1986-01-01

Mikheyev and Smirnov have shown that the interactions of neutrinos with matter can result in the conversion of electron neutrinos produced in the center of the sun to muon neutrinos. Bethe has exploited this and has pointed out that the solar-neutrino puzzle can be resolved if the mass difference squared of the two neutrinos is m 2 2 -m 2 1 approx.=6x10 -5 eV 2 , and the mixing angle satisfies sin THETAsub(v)>0.0065. We discuss a qualitatively different solution to the solar-neutrino puzzle which requires 1.0x10 -8 2 2 -m 2 1 )(sin 2 2THETAsub(v)/cos2THETAsub(v)) -8 eV 2 . Our solutions result in a much smaller flux of neutrinos from the p-p process than predicted by standard solar models, while Bethe's solution results in a flux of neutrinos from the p-p process that is about the same as standard solar models. (orig.)

May heavy neutrinos solve underground and cosmic-ray puzzles?

International Nuclear Information System (INIS)

Belotsky, K. M.; Fargion, D.; Khlopov, M. Yu.; Konoplich, R. V.

2008-01-01

Primordial heavy neutrinos of the fourth generation might explain different astrophysical puzzles. The simplest fourth-neutrino scenario is consistent with known fourth-neutrino physics, cosmic ray antimatter, cosmic gamma fluxes, and positive signals in underground detectors for a very narrow neutrino mass window (46–47 GeV). However, accounting for the constraint of underground experiment CDMS prohibits solution of cosmic-ray puzzles in this scenario. We have analyzed extended heavy-neutrino models related to the clumpiness of neutrino density, new interactions in heavy-neutrino annihilation, neutrino asymmetry, and neutrino decay. We found that, in these models, the cosmic-ray imprint may fit the positive underground signals in DAMA/Nal experiment in the entire mass range 46–70 GeV allowed from uncertainties of electroweak parameters, while satisfaction of the CDMS constraint reduces the mass range to around 50 GeV, where all data can come to consent in the framework of the considered hypothesis.

Status of particle physics solutions to the UHECR puzzle

International Nuclear Information System (INIS)

Kachelrieb, M.

2004-01-01

The status of solutions to the ultra-high energy cosmic ray (UHECR) puzzle that involve particle physics beyond the standard model is reviewed. Signatures and experimental constraints are discussed for most proposals such as the Z burst model and topological defects (both allowed only as sub-dominant contributions), supermassive dark matter (no positive evidence from its key signatures galactic anisotropy and photon dominance), strongly interacting neutrinos or new primaries (no viable models known), and violation of Lorentz invariance (viable). Lorentz invariance violation should be considered seriously as an explanation for the UHECR puzzle, if there is not a considerable fraction of photon primaries at the highest energies, correlations with sources at cosmological distance can be established, and the spectrum extends well beyond the GZK (Greisen-Zatsepin-Kuzmin) cutoff. If only the two first conditions are found to be true, and the UHECR spectrum is close to the one measured in the HiRes experiment, then bottom-up scenarios are a sufficient explanation for the data

May heavy neutrinos solve underground and cosmic-ray puzzles?

International Nuclear Information System (INIS)

Belotsky, K. M.; Fargion, D.; Khlopov, M. Yu.; Konoplich, R. V.

2008-01-01

Primordial heavy neutrinos of the fourth generation might explain different astrophysical puzzles. The simplest fourth-neutrino scenario is consistent with known fourth-neutrino physics, cosmic ray antimatter, cosmic gamma fluxes, and positive signals in underground detectors for a very narrow neutrino mass window (46-47 GeV). However, accounting for the constraint of underground experiment CDMS prohibits solution of cosmic-ray puzzles in this scenario. We have analyzed extended heavy-neutrino models related to the clumpiness of neutrino density, new interactions in heavy-neutrino annihilation, neutrino asymmetry, and neutrino decay. We found that, in these models, the cosmic-ray imprint may fit the positive underground signals in DAMA/Nal experiment in the entire mass range 46-70 GeV allowed from uncertainties of electroweak parameters, while satisfaction of the CDMS constraint reduces the mass range to around 50 GeV, where all data can come to consent in the framework of the considered hypothesis

Yet another possible explanation of the solar-neutrino puzzle

International Nuclear Information System (INIS)

Kolb, E.W.; Turner, M.S.; Walker, T.P.

1986-04-01

Mikheyev and Smirnov have shown that the interactions of neutrinos with matter can result in the conversion of electron neutrinos produced in the center of the sun to muon neutrinos. Bethe has exploited this and has pointed out that the solar-neutrino puzzle can be resolved if the mass difference squared of the two neutrinos is m 2 2 - m 1 2 approx. = 6 x 10 -5 eV 2 , and the mixing angle satisfies sin theta/sub v/ > 0.0065. We discuss a qualitatively different solution to the solar-neutrino puzzle which requires 1.0 x 10 -8 2 2 - m 1 2 ) (sin 2 2theta/sub v//cos 2theta/sub v/) -8 eV 2 . Our solutions result in a much smaller flux of neutrinos from the p - p process than predicted by standard solar models, while Bethe's solution results in a flux of neutrinos from the p - process that is about the same as standard solar models

The equationally-defined commutator a study in equational logic and algebra

CERN Document Server

Czelakowski, Janusz

2015-01-01

This monograph introduces and explores the notions of a commutator equation and the equationally-defined commutator from the perspective of abstract algebraic logic.  An account of the commutator operation associated with equational deductive systems is presented, with an emphasis placed on logical aspects of the commutator for equational systems determined by quasivarieties of algebras.  The author discusses the general properties of the equationally-defined commutator, various centralization relations for relative congruences, the additivity and correspondence properties of the equationally-defined commutator, and its behavior in finitely generated quasivarieties. Presenting new and original research not yet considered in the mathematical literature, The Equationally-Defined Commutator will be of interest to professional algebraists and logicians, as well as graduate students and other researchers interested in problems of modern algebraic logic.

Relativistic quantum logic

International Nuclear Information System (INIS)

Mittelstaedt, P.

1983-01-01

on the basis of the well-known quantum logic and quantum probability a formal language of relativistic quantum physics is developed. This language incorporates quantum logical as well as relativistic restrictions. It is shown that relativity imposes serious restrictions on the validity regions of propositions in space-time. By an additional postulate this relativistic quantum logic can be made consistent. The results of this paper are derived exclusively within the formal quantum language; they are, however, in accordance with well-known facts of relativistic quantum physics in Hilbert space. (author)

Implementing conventional logic unconventionally: photochromic molecular populations as registers and logic gates.

Science.gov (United States)

Chaplin, J C; Russell, N A; Krasnogor, N

2012-07-01

In this paper we detail experimental methods to implement registers, logic gates and logic circuits using populations of photochromic molecules exposed to sequences of light pulses. Photochromic molecules are molecules with two or more stable states that can be switched reversibly between states by illuminating with appropriate wavelengths of radiation. Registers are implemented by using the concentration of molecules in each state in a given sample to represent an integer value. The register's value can then be read using the intensity of a fluorescence signal from the sample. Logic gates have been implemented using a register with inputs in the form of light pulses to implement 1-input/1-output and 2-input/1-output logic gates. A proof of concept logic circuit is also demonstrated; coupled with the software workflow describe the transition from a circuit design to the corresponding sequence of light pulses. Copyright © 2012 Elsevier Ireland Ltd. All rights reserved.

An Easy & Fun Way to Teach about How Science "Works": Popularizing Haack's Crossword-Puzzle Analogy

Science.gov (United States)

Pavlova, Iglika V.; Lewis, Kayla C.

2013-01-01

Science is a complex process, and we must not teach our students overly simplified versions of "the" scientific method. We propose that students can uncover the complex realities of scientific thinking by exploring the similarities and differences between solving the familiar crossword puzzles and scientific "puzzles."…

How emotions affect logical reasoning:Evidence from experiments with mood-manipulated participants, spider phobics, and people with exam anxiety

Directory of Open Access Journals (Sweden)

Nadine eJung

2014-06-01

Full Text Available Recent experimental studies show that emotions can have a significant effect on the way we think, decide, and solve problems. This paper presents a series of four experiments on how emotions affect logical reasoning. In two experiments different groups of participants first had to pass a manipulated intelligence test. Their emotional state was altered by giving them feedback, that they performed excellent, poor or on average. Then they completed a set of logical inference problems (with if p, then q statements either in a Wason selection task paradigm or problems from the logical propositional calculus. Problem content also had either a positive, negative or neutral emotional value. Results showed a clear effect of emotions on reasoning performance. Participants in negative mood performed worse than participants in positive mood, but both groups were outperformed by the neutral mood reasoners. Problem content also had an effect on reasoning performance. In a second set of experiments, participants with exam or spider phobia solved logical problems with contents that were related to their anxiety disorder (spiders or exams. Spider phobic participants’ performance was lowered by the spider-content, while exam anxious participants were not affected by the exam-related problem content. Overall, unlike some previous studies, no evidence was found that performance is improved when emotion and content are congruent. These results have consequences for cognitive reasoning research and also for cognitively oriented psychotherapy and the treatment of disorders like depression and anxiety.

How emotions affect logical reasoning: evidence from experiments with mood-manipulated participants, spider phobics, and people with exam anxiety.

Science.gov (United States)