Results 61 to 70 of about 145,870 (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
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
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
Boolean derivatives and computation of cellular automata
, 2000 The derivatives of a Boolean function are defined up to any order. The Taylor and MacLaurin expansions of a Boolean function are thus obtained. The last corresponds to the ring sum expansion (RSE) of a Boolean function, and is a more compact form than ...
Bagnoli, Franco
core +1 more source
PD‐1 Inhibits CD4+ TRM‐Mediated cDC1 Mobilization via Suppressing JAML in Human NSCLC
Advanced Science, EarlyView.CD4+ tissue‐resident memory T cells (TRMs) in non‐small cell lung cancer recruit conventional type 1 dendritic cells via XCL1‐XCR1 signaling, orchestrating antitumor immunity. The costimulatory molecule JAML is essential for this process. PD‐1 blockade restores JAML expression and cDC1 mobilization, while JAML agonists synergize with anti‐PD‐1 therapy,
Zheyu Shao +16 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
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
Non-Boolean Hidden Variables model reproduces Quantum Mechanics' predictions for Bell's experiment
, 2020 A hidden variables model complying with the simplest form of Local Realism is presented, which reproduces Quantum Mechanics' predictions for an even ideally perfect Bell's experiment.
Hnilo, Alejandro
core
QuickCSG: Fast Arbitrary Boolean Combinations of N Solids [PDF]
, 2017 QuickCSG computes the result for general N-polyhedron boolean expressions without an intermediate tree of solids. We propose a vertex-centric view of the problem, which simplifies the identification of final geometric contributions, and facilitates its ...
Douze, Matthijs +2 more
core +2 more sources
On the Origins of Toughness in Corymbia calophylla (Marri Tree) Nuts
Advanced Science, EarlyView.We uncover the natural toughening mechanisms of the marri nut, including fiber pullout, crack deflection, and a viscoelastic matrix, which enable exceptional energy absorption and ductility comparable to Teflon, with an elastic modulus similar to acrylic.
Wegood M. Awad +7 more
wiley +1 more source