Results 101 to 110 of about 13,872 (307)
Algebraic Description and Simultaneous Linear Approximations of Addition in Snow 2.0. [PDF]
, 2008 In this paper we analyse the algebraic properties over the field GF(2) of the addition modulo 2pn. We look at implicit quadratic equations describing this operation, and at probabilistic conditional linear equations.
Nicolas T. Courtois +3 more
core +1 more source
In‐Memory Continuous‐Time SAT Solver Based on Bidirectional 11‐T SRAM Macro
Advanced Intelligent Systems, EarlyView.This article reported a continuous‐time (CT) Boolean satisfiability (SAT) problem solver using bidirectional 11T‐SRAM macro. The proposed system operates asynchronously using capacitor‐based gradient integration and maximizes the parallelism for SAT solving by in‐memory computing (IMC).
Dongseok Kwon +3 more
wiley +1 more source
A method for bi-decomposition of partial Boolean functions
Informatika, 2019 The problem of bi-decomposition of a Boolean function is to represent a given Boolean function in the form of a given logic algebra operation over two Boolean functions and so is reduced to specification of these functions.
Yu. V. Pottosin
doaj
An Interactive Concave Volume Clipping Method Based on GPU Ray Casting with Boolean Operation
, 2012 Volume clipping techniques can display inner structures and avoid difficulties in specifying an appropriate transfer function. We present an interactive concave volume clipping method by implementing both rendering and Boolean operation on GPU.
Yuan, Feiniu
core
Boolean-Like Algebras of Finite Dimension: From Boolean Products to Semiring Products [PDF]
We continue the investigation, initiated in Salibra et al. (Found Sci, 2020), of Boolean-like algebras of dimension n (nBAs), algebras having n constants e1,⋯,en, and an (n+1)-ary operation q (a “generalised if-then-else”) that induces a decomposition of
Ledda, Antonio +3 more
core +1 more source
SiOx‐Based Probabilistic Bits Enabling Invertible Logic Gate for Cryptographic Applications
Advanced Intelligent Systems, EarlyView.To enable lightweight hardware encryption and decryption, a Ti/SiOx/Ti threshold switching device is engineered to generate controllable stochastic oscillations. By tuning the input voltage, the device produces a programmable spike probability governed by intrinsic switching dynamics, enabling probabilistic bits that construct an invertible ...
Jihyun Kim, Hyeonsik Choi, Jiyong Woo
wiley +1 more source
Delineation of sites proper for artificial recharge using Rockworks software [PDF]
مهندسی منابع آب, 2017 The optimal utilization management is indispensable due to the limited groundwater resources and water resources high demand. The artificial recharge of aquifers is one of the most important approaches for this purpose, because of high performance and ...
Abdolrasoul Shafiey Dastjerdi +1 more
doaj
International Journal of Aerospace Engineering, 2018 A detailed study of a set of combined acceleration methods is presented with the objective of accelerating the solid rocket motor grain burnback simulation based on the level set method.
Ran Wei +3 more
doaj +1 more source
Configuring ZCS for continuous-valued single-step Boolean problems
, 2009 In this paper we investigate the performance and operation of a Learning Classifier System on problems with real-valued states and a Boolean action space.
Bull, Larry, Stone, Christopher
core
Racism and racial disparities in firearm violence: A scoping review
American Journal of Community Psychology, EarlyView.Abstract Firearm violence (i.e., interpersonal, police firearm violence) disproportionately affects racially minoritized communities. Researchers recently shifted their focus from race to racism to better understand the factors that contribute to racial disparities in firearm violence.
Daniel B. Lee +8 more
wiley +1 more source