Results 111 to 120 of about 126,488 (157)

Correlating local structure and migration dynamics in Na/Li dual ion conductor Na₅YSi₄O₁₂. [PDF]

Proc Natl Acad Sci U S A
Lou C, Liu J, Sun X, Zhang W, Xu L, Luo H, Chen Y, Gao X, Kuang X, Fu J, Xu J, Su L, Ma J, Tang M.   +13 more
europepmc   +1 more source

Mosaic: in-memory computing and routing for small-world spike-based neuromorphic systems. [PDF]

Nat Commun
Dalgaty T, Moro F, Demirağ Y, De Pra A, Indiveri G, Vianello E, Payvand M.   +6 more
europepmc   +1 more source

Interplay of synaptic and backpropagating signals in neurogliaform dendrites

Griesius S, Richardson A, Mercier M, Kullmann DM.   +3 more
europepmc   +1 more source

More than one piece of the puzzle: considering non-clinical factors for personalisation in digital phenotyping

Leaning IE, Schlüter L, de Wijs I, Brandsen M, Roozen M, Jagesar R, Tjeerdsma S, Tyborowska A, Ikani N, Kas MJ, Beckmann CF, Ruhé HG, Marquand AF.   +12 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   +3 more sources

Zeroth and higher-order logic with content addressable memories

International Electron Devices Meeting, 2023
Giacomo Pedretti, Fabian Böhm, Mohammad Hizzani, Tanmoy Bhattacharya, Pascal Bruel, J. W. Moon, Sergey Serebryakov, Dmitri B. Strukov, John Paul Strachan, Jim Ignowski, Thomas Van Vaerenbergh, Raymond G. Beausoleil, Masoud Mohseni   +12 more
openalex   +2 more sources

Fast FPGA-Based Multiobject Feature Extraction

IEEE transactions on circuits and systems for video technology (Print), 2013
This 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

Tailoring focused optical vortices by using spiral forked plates.

Optics Letters, 2019
We 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, Enliang Wang, Hailiang Li, Changqing Xie   +3 more
semanticscholar   +1 more source

Zeroth-order optimization with orthogonal random directions

Mathematical programming, 2021
We 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, C. Molinari, L. Rosasco, L. Tenorio, S. Villa   +4 more
semanticscholar   +1 more source

The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions

Journal of Logic and Computation, 2021
A cyclic proof system is a proof system whose proof figure is a tree with cycles. The cut-elimination in a proof system is fundamental. It is conjectured that the cut-elimination in the cyclic proof system for first-order logic with inductive definitions
Yukihiro Oda, James Brotherston, M. Tatsuta   +2 more
semanticscholar   +1 more source