Results 121 to 130 of about 123,701 (142)
Self Fourier shell correlation: properties and application to cryo-ET. [PDF]
Commun BiolVerbeke EJ +3 more
europepmc +1 more source
Equivalent Transformation of the Reasoning Model in Production Zeroth-Order Logic
2020 International Conference on Information Technology and Nanotechnology (ITNT), 2020 Reasoning models play an important role in artificial intelligence. One of such models is logic-based production systems. These systems are based on rules, or productions, of the form "if A is true then B is true" where A, B are the elements of logic of a particular order.
Sergey Makhortov, Ilya Ivanov
semanticscholar +4 more sources
Zeroth and higher-order logic with content addressable memories
International Electron Devices Meeting, 2023 Giacomo Pedretti +12 more
openalex +2 more sources
Some of the next articles are maybe not open access.
Fast FPGA-Based Multiobject Feature Extraction
IEEE transactions on circuits and systems for video technology (Print), 2013This paper describes a high-frame-rate (HFR) vision system that can extract locations and features of multiple objects in an image at 2000 f/s for 512 × 512 images by implementing a cell-based multiobject feature extraction algorithm as hardware logic on
Qingyi Gu, T. Takaki, I. Ishii
semanticscholar +1 more source
Bipolar Sets and YinYang Bipolar Dynamic Logic ( BDL )
, 2016In this chapter an equilibrium-based set-theoretic approach to mathematical abstraction and axiomatization is presented for resolving the LAFIP paradox (Ch. 1) and for enabling logically definable causality (Ch. 2).
semanticscholar +1 more source
The Effect of Spatial Variations in Voltage and Temperature in Emitter Coupled Logic Systems
IEEE Transactions on Electronic Computers, 1966A set of equations is developed which predicts the effect of both spatial and temporal variations in power supply voltage and temperature. An example is given of how the equations can be used to determine the resistance ratios and power supply voltages ...
H. Josephs
semanticscholar +1 more source
, 1998
A Boolean algebra is an abstract collection of “truth values” that obey the usual rules of logic. To understand this, we first need to say some things about logic.
Asher M. Kach
semanticscholar +1 more source
A Boolean algebra is an abstract collection of “truth values” that obey the usual rules of logic. To understand this, we first need to say some things about logic.
Asher M. Kach
semanticscholar +1 more source
Tailoring focused optical vortices by using spiral forked plates.
Optics Letters, 2019We propose and experimentally demonstrate a single optical element, termed as spiral forked plates (SFPs), to simultaneously generate two tightly focused optical vortices (OVs).
Yonghao Liang +3 more
semanticscholar +1 more source
Zeroth-order optimization with orthogonal random directions
Mathematical programming, 2021We propose and analyze a randomized zeroth-order optimization method based on approximating the exact gradient by finite differences computed in a set of orthogonal random directions that changes with each iteration.
David Kozak +4 more
semanticscholar +1 more source
A NOTE ON CHOICE PRINCIPLES IN SECOND-ORDER LOGIC
The Review of Symbolic Logic, 2020Zermelo’s Theorem that the axiom of choice is equivalent to the principle that every set can be well-ordered goes through in third-order logic, but in second-order logic we run into expressivity issues.
Benjamin Siskind, P. Mancosu, S. Shapiro
semanticscholar +1 more source