Results 91 to 100 of about 14,682 (204)

Collision free region determination by modified polygonal\ud Boolean operations

, 2013
Cutting and packing problems are found in numerous industries such as garment, wood and shipbuilding. The collision free region concept is presented, as it represents all the translations possible for an item to be inserted into a container with already ...
Sato, André Kubagawa, Martins, Thiago de Castro, Tsuzuki, Marcos de Sales Guerra   +2 more
core   +1 more source

FPGA-Based Implementation of Genetically Tuned Fuzzy Logic Controller (GA-FLC)

Journal of Engineering and Sustainable Development, 2012
Fuzzy Logic controller (FLC) contains three operations; the fuzzification of the inputs, the knowledge base (data base and rule base), and the defuzzification of the output. In this paper our fuzzy controller contains two inputs and one output each have
Emad A. Hussein, Ammar G. Samir
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  

Parallel Random Access Machines without Boolean operations

, 1994
The class of problems solved within given time and processor bounds on a Parallel Random Access Machine (PRAM) varies with the instruction set. Previous research has classified the contributions of various instructions, such as multiplication, shifts ...
Trahan, Jerry L., Bhanukumar, Hosangadi
core  

GKR for Boolean Circuits with Sub-linear RAM Operations [PDF]

Succinct Non-Interactive Arguments of Knowledge (SNARKs) provide a powerful cryptographic framework enabling short, quickly verifiable proofs for computational statements. Existing SNARKs primarily target computations represented as arithmetic circuits.
Zhenfei Zhang, Tiancheng Xie, Yuncong Hu, Zhi Qiu, Yue Ying, Chongrong Li, Jiaheng Zhang   +6 more
core  

Robust mesh generation for electromagnetic models with geometric defects through node alignment and mesh boolean operations. [PDF]

Sci Rep
Gao ZH, Yu F, Cao J, Yang X, Xie JH, Guan ZQ.   +5 more
europepmc   +1 more source

Interplay Between Vertical and Horizontal Schemes of Computation: From Bayesian Inference to Quantum Logic via Gluing Boolean Algebras. [PDF]

Entropy (Basel)
Gunji YP, Nakamura K, Sasai K, Tani I, Kuroki M, Chiolerio A, Adamatzky A, Khrennikov A.   +7 more
europepmc   +1 more source

A Pseudo-Boolean Formulation for Graph Database Queries

Proceedings of the International Florida Artificial Intelligence Research Society Conference
Graph queries such as neighborhood exploration, friend-of-a-friend, and path finding are fundamental operations in graph databases. Traditionally, these queries are implemented using procedural traversal algorithms tightly coupled to the underlying ...
Gabriel Tiveron, Bruno César Ribas
doaj  

The key technologies of a computer-aided design system for removable partial denture frameworks. [PDF]

PLoS One
Ma G, Jiang X, Dai N, Wu Z, Ying S, Tian Z.   +5 more
europepmc   +1 more source

Subarray programmable terahertz metasurface for optical logic and high-order amplitude modulation. [PDF]

Light Sci Appl
Wang L, Gong S, Xia C, Liu D, Cong X, Zhu A, Zeng H, Lan F, Yang Z, Otsuji T, Zhang Y.   +10 more
europepmc   +1 more source