Results 71 to 80 of about 3,261,962 (390)
Encoding Markov Logic Networks in Possibilistic Logic [PDF]
, 2015 Markov logic uses weighted formulas to compactly encode a probability distribution over possible worlds. Despite the use of logical formulas, Markov logic networks (MLNs) can be difficult to interpret, due to the often counter-intuitive meaning of their ...
Davis, Jesse +2 more
core +1 more source
Down Girl: The Logic of Misogyny
The Philosophical Quarterly, 2020 Down Girl: The Logic of Misogyny. By Manne Kate. (Oxford: Oxford University Press, 2017. Pp. 368. Price £20.99.)
M. Simion
semanticscholar +1 more source
Enhanced Electrochemical Properties of Biobased Activated Carbon for Supercapacitors
Advanced Engineering Materials, EarlyView.Biobased activated carbons with diverse properties (pore size distribution, electrical conductivity, capacitance) for supercapacitors applications are synthesized and tested, using renewable biomass as versatile raw materials with disparate inherent heteroatom and molecular building blocks.
Shengfei Zhou +4 more
wiley +1 more source
Analog Performance and its Variability in Sub-10 nm Fin-Width FinFETs: a Detailed Analysis
IEEE Journal of the Electron Devices Society, 2019 This paper discusses in detail the effects of Sub-10nm fin-width (Wfin) on the analog performance and variability of FinFETs. It is observed through detailed measurements that the transconductance degrades and output conductance improves with the ...
Mandar S. Bhoir +6 more
doaj +1 more source
Logic Column 18: Alternative Logics: A Book Review [PDF]
arXiv, 2007 This article discusses two books on the topic of alternative logics in science: "Deviant Logic", by Susan Haack, and "Alternative Logics: Do Sciences Need Them?", edited by Paul Weingartner.
arxiv
Empirical logic of finite automata: microstatements versus macrostatements
, 1995 We compare the two approaches to the empirical logic of automata. The first, called partition logic (logic of microstatements), refers to experiments on individual automata.
A. A. Grib +12 more
core +1 more source
A Machine-Oriented Logic Based on the Resolution Principle
JACM, 1965 :tb.~tract. Theorem-proving on the computer, using procedures based on the fund~mental theorem of Herbrand concerning the first-order predicate etdeulus, is examined with ~ view towards improving the efticieney and widening the range of practical ...
J. A. Robinson
semanticscholar +1 more source
Logical Nihilism and the Logic of ‘prem’
Logic and Logical Philosophy, 2020 As the final component of a chain of reasoning intended to take us all the way to logical nihilism, Russell (2018) presents the atomic sentence ‘prem’ which is supposed to be true when featuring as premise in an argument and false when featuring as conclusion in an argument. Such a sentence requires a non-reflexive logic and an endnote by Russell (2018)
openaire +4 more sources
Advanced Engineering Materials, EarlyView.The MaterialDigital initiative drives the digital transformation of material science by promoting findable, accessible, interoperable, and reusable principles and enhancing data interoperability. This article explores the role of scientific workflows, highlights challenges in their adoption, and introduces the Workflow Store as a key tool for sharing ...
Simon Bekemeier +37 more
wiley +1 more source
Means or end? On the Valuation of Logic Diagrams [PDF]
, 2016 From the beginning of the 16th century to the end of the 18th century, there were not less than ten philosophers who focused extensively on Venn’s ostensible analytical diagrams, as noted by modern historians of logic (Venn, Gardner, Baron, Coumet et al.)
Lemanski, Jens
core