Results 101 to 110 of about 51,980 (308)
Autonomous X‐Ray Fluorescence Mapping for Nanoscale Chemical Speciation of Fine Particulate Matter
Advanced Intelligent Discovery, EarlyView.We present X‐AutoMap, an autonomous X‐ray fluorescence mapping framework that integrates real‐time analysis with rule‐based computer vision to selectively target chemically relevant regions. By avoiding background‐dominated areas, the method reduces acquisition time by fourfold while enabling accurate particle‐level speciation.
Carlos Deleon +3 more
wiley +1 more source
Advanced Intelligent Systems, EarlyView.This paper presents a lidar‐based sensor node design and a rule‐based state observer for edge‐based traffic participant tracking. Unlike other state‐of‐the‐art methods, this state observer enables real‐time, CPU‐only edge processing without relying on machine learning approaches.
Simon Schäfer +2 more
wiley +1 more source
Advanced Intelligent Systems, EarlyView.Four decades of retinal vessel segmentation research (1982–2025) are synthesized, spanning classical image processing, machine learning, and deep learning paradigms. A meta‐analysis of 428 studies establishes a unified taxonomy and highlights performance trends, generalization capabilities, and clinical relevance.
Avinash Bansal +6 more
wiley +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
Cascade of Boolean detector combinations
EURASIP Journal on Image and Video Processing, 2018 This paper considers a scenario when we have multiple pre-trained detectors for detecting an event and a small dataset for training a combined detection system.
Katariina Mahkonen +2 more
doaj +1 more source
, 2011 [[abstract]]Petri Nets is a modeling tools use to build and describe system, and it used to analyze difference states of events. However, when the system is bigger, the complexity of Petri Nets will be bigger.
Zhen-Dong Wu
core
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
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
Anytime Algorithms for ROBDD Symmetry Detection and Approximation [PDF]
Reduced Ordered Binary Decision Diagrams (ROBDDs) provide a dense and memory efficient representation of Boolean functions. When ROBDDs are applied in logic synthesis, the problem arises of detecting both classical and generalised symmetries.
Kettle, Neil
core
QBf-based boolean function bi-decomposition
, 2012 Boolean function bi-decomposition is ubiquitous in logic synthesis. It entails the decomposition of a Boolean function using two-input simple logic gates.
M. Janota +8 more
core +1 more source