Results 51 to 60 of about 4,551,358 (284)
NEW EXPANSIONS OF BOOLEAN FUNCTIONS ON EXCLUSIVE OR OPERATION IN LOGICAL SYSTEMS DESIGN
Системный анализ и прикладная информатика, 2014 The Boolean function expansions and representation forms which are based on exclusive or operation are a key facility for design, test and diagnosis of digital systems and computer programs.
A. A. Prihozhy
doaj
A Construction Method of (2, 3) Visual Cryptography Scheme
IEEE Access, 2020 Visual cryptography scheme (VCS) shares a binary secret image into multiple shadows, stacking qualified set of shadows will decode the secret image without computer resources.
Peng Li +3 more
doaj +1 more source
Completeness for the coalgebraic cover modality [PDF]
Logical Methods in Computer Science, 2012 We study the finitary version of the coalgebraic logic introduced by L. Moss. The syntax of this logic, which is introduced uniformly with respect to a coalgebraic type functor, required to preserve weak pullbacks, extends that of classical propositional
Clemens Kupke +2 more
doaj +1 more source
Index sets and Boolean operations [PDF]
Proceedings of the American Mathematical Society, 1982 Hay’s thesis asserts that every naturally defined class of sets of natural numbers contains an index set which is 1 1 -complete for that class and that every index set is 1 1 -complete for some naturally defined class. We formalize "naturally defined" as "effective Boolean" and establish the thesis as a Metatheorem.
openaire +1 more source
His‐MMDM: Multi‐Domain and Multi‐Omics Translation of Histopathological Images with Diffusion Models
Advanced Science, EarlyView.His‐MMDM is a diffusion model‐based framework for scalable multi‐domain and multi‐omics translation of histopathological images, enabling tasks from virtual staining, cross‐tumor knowledge transfer, and omics‐guided image editing. ABSTRACT Generative AI (GenAI) has advanced computational pathology through various image translation models.
Zhongxiao Li +13 more
wiley +1 more source
Jixie chuandong, 2016 Based on the Boolean subtraction operation and curve fitting technology,a digital modeling method for variable ratio rack is put forward. This method,to a certain extent,makes up for the disadvantages that the Boolean subtraction operation modeling ...
Zhang Siyu, Xu Jun, Niu Ziru, Wang Wei
doaj
Conditional Expression Fault Classification and Repair Method of Aviation Control Software
Xibei Gongye Daxue Xuebao, 2020 Aviation control software has become the core control decision-making unit of the aviation system. The Boolean conditional expressions are the main parts of the branch and loop control logic of aviation control software.
doaj +1 more source
Dynamic Decoration of DNA Scaffolds for High‐Resolution Cancer Cell Subtyping
Advanced Science, EarlyView.This study presents a dual‐mode imaging platform that utilizes self‐assembly and disassembly of DNA scaffolds for high‐resolution cancer cell detection. The structural rigidity of DNA scaffolds effectively prevents cellular internalization for over 300 min.
Xiaolin Hu +15 more
wiley +1 more source
Terahertz binary computing in a coupled toroidal metasurface
Scientific ReportsThe applications of terahertz metamaterials are being actively explored in recent times for applications in high-speed communication devices, miniature photonic circuits, and bio-chemical devices because of their wide advantages.
Angana Bhattacharya +5 more
doaj +1 more source
A Bottom‐Up Design Framework for Multifunctional Lattice Metamaterials
Advanced Science, EarlyView.This study introduces a generative AI framework for designing multifunctional lattice metamaterials. The method combines 3D Gaussian voxel generation with deep learning, enabling greater design freedom and structural performance. The optimized lattice metamaterials achieve enhanced energy absorption by 40–200% compared to conventional structures and ...
Zongxin Hu +13 more
wiley +1 more source