Results 41 to 50 of about 1,321,976 (196)
Truth table invariant cylindrical algebraic decomposition [PDF]
Journal of Symbolic Computation, 2016 When using cylindrical algebraic decomposition (CAD) to solve a problem with respect to a set of polynomials, it is likely not the signs of those polynomials that are of paramount importance but rather the truth values of certain quantifier free formulae involving them.
Bradford, Russell +4 more
openaire +3 more sources
Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition [PDF]
, 2014 Cylindrical algebraic decomposition (CAD) is a key tool for solving problems in real algebraic geometry and beyond. In recent years a new approach has been developed, where regular chains technology is used to first build a decomposition in complex space.
Bradford, Russell +3 more
core +4 more sources
Is the truth table task mistaken? [PDF]
Thinking & Reasoning, 2012 There is ample evidence that in classical truth table task experiments false antecedents are judged as “irrelevant”. Instead of interpreting this in support of a suppositional representation of conditionals, Schroyens (2010a, 2010b) attributes it to the induction problem: the impossibility of establishing the truth of a universal claim on the basis of ...
Sevenants, Aline +2 more
openaire +1 more source
On the Power of Probabilistic Polynomial Time: PNP[log] ⊆ PP [PDF]
, 1988 We show that every set in the ΘP2 level of the polynomial hierarchy -- that is, every set polynomial-time truth-table reducible to SAT -- is accepted by a probabilistic polynomialtime Turing machine: PNP[log ...
Hemachandra, Lane A., Wechsung, Gerd
core +2 more sources
Eigenlogic: a Quantum View for Multiple-Valued and Fuzzy Systems
, 2016 We propose a matrix model for two- and many-valued logic using families of observables in Hilbert space, the eigenvalues give the truth values of logical propositions where the atomic input proposition cases are represented by the respective eigenvectors.
D Aerts +10 more
core +4 more sources
The problem of artificial precision in theories of vagueness: a note on the role of maximal consistency [PDF]
, 2013 The problem of artificial precision is a major objection to any theory of vagueness based on real numbers as degrees of truth. Suppose you are willing to admit that, under sufficiently specified circumstances, a predication of "is red" receives a unique,
Marra, Vincenzo
core +2 more sources
101 Applications for a Binary Table and a Spreadsheet
Spreadsheets in Education, 2015 The purpose of this paper is to show how to create a binary table in Excel and to give applications of a varied nature using the binary table to generate data on which mathematical investigations can be based.
John E Baker, Steve Sugden
doaj
Nonuniform Reductions and NP-Completeness [PDF]
, 2018 Nonuniformity is a central concept in computational complexity with powerful connections to circuit complexity and randomness. Nonuniform reductions have been used to study the isomorphism conjecture for NP and completeness for larger complexity classes.
Hitchcock, John M., Shafei, Hadi
core +2 more sources
The Whole Truth about Partial Truth Tables
Open Journal of Philosophy, 2020 Partial truth tables have two salient virtues. First, like whole truth tables, they are algorithmic (i.e., effective). If you construct them correctly, you will get an answer to your question whether a particular argument is valid; whether a particular proposition is tautologous, self-contradictory, or contingent; or whether a particular set of ...
openaire +2 more sources
Birds Eye View Look-Up Table Estimation with Semantic Segmentation
Applied Sciences, 2021 In this work, a study was carried out to estimate a look-up table (LUT) that converts a camera image plane to a birds eye view (BEV) plane using a single camera.
Dongkyu Lee +2 more
doaj +1 more source