IEEE Transactions on Quantum Engineering, 2021 Experimental demonstrations of quantum annealing with “native” implementation of Boolean logic Hamiltonians are reported. As a superconducting integrated circuit, a problem Hamiltonian whose set of ground states is consistent with a given ...
Daisuke Saida +6 more
doaj +1 more source
Apparent L-Falsity and Actual Logical Structures
Problemos, 2020 In 2012, Orenes and Johnson-Laird found interesting results from the cognitive point of view but problematic if analyzed under methods such as the semantic one of extension and intension presented by Carnap. The main difficulty in this way is that Orenes
Miguel López-Astorga
doaj +1 more source
Study on the Influence Path of Sustainable Development of Green Building in Tianjin [PDF]
E3S Web of Conferences, 2021 This paper uses the qualitative comparative analysis method to define the conditional variables and the outcome variables of the impact path of the sustainable development of green buildings in Tianjin.
Wang Yihong, Li Yaxuan
doaj +1 more source
Develop Parallel Arithmetic Operations for Binary Modified Signed-Digit System Using Two-Step Algorithm [PDF]
Al-Rafidain Journal of Computer Sciences and Mathematics, 2010 An optical computing system is expected to be a powerful information processing system that takes full advantage of optics, such as parallelism, high speed, and large information capacity.
Wijdan A. Al Karim
doaj +1 more source
Analysis of fundamental factors affecting the development of tourism entrepreneurship using qualitative comparative analysis of fuzzy set (Case study of Koohrang County) [PDF]
نشریه جغرافیا و برنامهریزی, 2021 Introduction The tourism industry, as one of the strategies for rural development, has many capabilities for innovation and entrepreneurship; on the other hand, the development of entrepreneurship in low-income communities is an acceptable strategy to ...
Hamid Nazari sarmazeh, Skandar Seidaiy
doaj +1 more source
Born once, die once: Life table relationships for fertility
Demographic Research, 2021 Background: Everyone dies, and only once. This basic truth underlies all formal mortality research.Similarly, everyone is born, and only once. This basic truth has not been fully exploitedto benefit formal fertility research.
Annette Baudisch, Jesús-Adrián Alvarez
doaj +1 more source
forall x: Calgary. An Introduction to Formal Logic [PDF]
, 2021 forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order ...
Button, Tim +4 more
core
Approaching MCSP from Above and Below: Hardness for a Conditional Variant and AC^0[p] [PDF]
, 2020 The Minimum Circuit Size Problem (MCSP) asks whether a given Boolean function has a circuit of at most a given size. MCSP has been studied for over a half-century and has deep connections throughout theoretical computer science including to cryptography,
Ilango, Rahul
core +1 more source
Relevance differently affects the truth, acceptability, and probability evaluations of “and”, “but”, “therefore”, and “if–then” [PDF]
, 2017 In this study we investigate the influence of reason-relation readings of indicative conditionals and ‘and’/‘but’/‘therefore’ sentences on various cognitive assessments. According to the Frege-Grice tradition, a dissociation is expected.
Kellen, David +3 more
core +1 more source
The Psychology of Uncertainty and Three-Valued Truth Tables
Frontiers in Psychology, 2018 Psychological research on people's understanding of natural language connectives has traditionally used truth table tasks, in which participants evaluate the truth or falsity of a compound sentence given the truth or falsity of its components in the ...
Jean Baratgin +4 more
doaj +1 more source