Results 51 to 60 of about 1,321,976 (196)
Topological solution of bilateral switching networks [PDF]
, 1972 Topological method uses the eye as pattern detector to trace path of transmission on truth table. Pathway selection is continually supervised by logician, allowing him to seek planar iterative solution desirable for fabrication of monolithic circuits ...
Mazer, L.
core +1 more source
Relevance and Conditionals: A Synopsis of Open Pragmatic and Semantic Issues [PDF]
, 2020 Recently several papers have reported relevance effects on the cognitive assessments of indicative conditionals, which pose an explanatory challenge to the Suppositional Theory of conditionals advanced by David Over, which is influential in the ...
Skovgaard-Olsen, Niels
core
Cylindrical Algebraic Sub-Decompositions [PDF]
, 2014 Cylindrical algebraic decompositions (CADs) are a key tool in real algebraic geometry, used primarily for eliminating quantifiers over the reals and studying semi-algebraic sets.
Bradford, R. J. +3 more
core +4 more sources
Towards a Simpler Selection Process for Maintenance Strategies [PDF]
, 2013 Recent research at four large manufacturing sites in the North East of England showed that maintenance organisations were failing because they were locked in a cycle of quick fix and mend despite deploying extensive planned maintenance policies ...
MacIntyre, John +2 more
core +1 more source
Design of SRAM with CNFET based on ternary literal circuit
Dianzi Jishu Yingyong, 2018 Based on the analysis of the literal circuit and ternary memorizer, a ternary SRAM design method is proposed, which integrates with literal circuit and the CNFET.
Kang Yaopeng +3 more
doaj +1 more source
In-memory mechanical computing
Nature Communications, 2023 Mechanical computing requires matter to adapt behavior according to retained knowledge, often through integrated sensing, actuation, and control of deformation.
Tie Mei, Chang Qing Chen
doaj +1 more source
Numerical: Jurnal Matematika dan Pendidikan Matematika, 2017 This research aims to determine what kind of mistakes made PGMI students even semester of the academic year 2016/2017 in solving the problem of compound statement negation on mathematical logic and to know the alternative solution.
Mutia Mutia
doaj +1 more source
Geophysical Research LettersAerodynamic roughness length (z0) fundamentally affects land surface momentum loss and wind resource simulation, but ground truth data of z0 are sparse in space, causing z0 datasets used in atmospheric models are empirically estimated from land cover ...
Jiamin Wang +6 more
doaj +1 more source
Weak Truth Table Degrees of Structures [PDF]
Notre Dame Journal of Formal Logic, 2015 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +4 more sources
Truth as a Mathematical Object
Principia: An International Journal of Epistemology, 2010 In this paper we discuss in which sense truth is considered as a mathematical object in propositional logic. After clarifying how this concept is used in classical logic, through the notions of truth-table, truth-function and bivaluation, we examine some
Jean-Yves Béziau
doaj