Results 41 to 50 of about 13,872 (307)
Soft Mechanical‐Electrical Logic Using Liquid Metal‐Filled 3D‐Printed Architectures
Advanced Engineering Materials, EarlyView.We present 3D‐printed soft mechanical–electrical logic elements that use liquid metal–filled silicone tubes actuated by thermoplastic polyurethane/polylactic acid (TPU/PLA) architectures to produce Boolean operations. Complementary normally open and normally closed unit cells perform repeatable binary transitions and can be combined into more complex ...
Christoph Lehmann +2 more
wiley +1 more source
Term-Level Reasoning in Support of Bit-blasting [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 GL is a verified tool for proving ACL2 theorems using Boolean methods such as BDD reasoning and satisfiability checking. In its typical operation, GL recursively traverses a term, computing a symbolic object representing the value of each subterm.
Sol Swords
doaj +1 more source
Efficient boolean operation on manifold mesh surfaces
, 2010 We present an efficient Boolean operation algorithm for mesh models. Compared with existing ones, the proposed has several distinct features that include: (1) the inside/outside classification for each triangle element is determined by both LDI (Layered ...
Chen, Ming +3 more
core +1 more source
On the maximal subgroup of the sandwich semigroup of generalized circulant Boolean matrices [PDF]
, 1984 summary:Let $n$ be a positive integer, and $C_{n} (r)$ the set of all $n\times n$ $r$-circulant matrices over the Boolean algebra $B=\lbrace 0,1\rbrace $, $G_{n}=\bigcup _{r=0}^{n-1}C_{n}(r)$. For any fixed $r$-circulant matrix $C$ ($C\ne 0$) in $G_{n}
Tan, Yijia +3 more
core +1 more source
Advanced Engineering Materials, EarlyView.A reconfigurable logic‐in‐memory cell composed of triple‐gated feedback field‐effect transistors implements multiple combinational logic functions within a single configuration. By utilizing program gates as dynamic input terminals, the proposed cell performs full adder, full subtractor, 2‐to‐1 multiplexer, and 4‐to‐2 encoder operations without ...
Minhyeok Seol +5 more
wiley +1 more source
On the Representation of Boolean Magmas and Boolean Semilattices
, 2021 A magma is an algebra with a binary operation ·, and a Boolean magma is a Boolean algebra with an additional binary operation · that distributes over all finite Boolean joins.
Jipsen, Peter +2 more
core
Advanced Functional Materials, EarlyView.Edible electronics needs integrated logic circuits for computation and control. This work presents a potentially edible printed chitosan‐gated transistor with a design optimized for integration in circuits. Its implementation in integrated logic gates and circuits operating at low voltage (0.7 V) is demonstrated, as well as the compatibility with an ...
Giulia Coco +8 more
wiley +1 more source
Zhejiang Daxue xuebao. Lixue ban, 2011 Let n be a positive integer, and Cn(r) be the set of all n× nr-circulant matrices over the Boolean algebra B ={0, 1}, . For any fixed r-circulant matrix C(C≠0) in Gn.
CHENJin-song(陈锦松) +1 more
doaj +1 more source
Journal of Forest Science, 2020 Over the past four decades, management plan based on the Boolean Ecological Capability model has caused major problems in the management of the Hyrcanian Forests. The aim of this study is to evaluate ecological capability of five proposed sites including
Ali Ghomi-Avili +4 more
doaj +1 more source
AN APPROACH TO IMPROVE THE RELIABILITY OF BOOLEAN OPERATION ON A PAIR OF POLYHEDRA
, 1990 It is essential and pressing to improve reliability of Boolean operations in geometric modelling systems. The Boolean operations in commercial systems now available are not reliable enough because of numerical calculation errors.
Sun, Jiaguang, Li, Xinyou, Tang, Zesheng
core +1 more source