Abstract: This paper presents several orthogonal improvements to the state-of-the-art lookup table (LUT)-based field-programmable gate array (FPGA) technology mapping. The improvements target the ...

Municipal Solid Waste Generation (MSWG) presents a significant challenge for sustainable urban development, with waste production escalating at alarming rates worldwide. To address this issue, ...

The Karnaugh Map (KMap) Solver is a C++ application featuring a graphical interface for solving Karnaugh Maps. Users can interactively input values into a KMap grid and calculate corresponding ...

Abstract: We consider the problem of checking the generalized affine equivalence of two given Boolean functions. This problem arises in various computer-aided design (CAD) and cryptographic ...

Large-scale datasets are commonplace throughout many modern scientific disciplines, such as personalized medicine, biology, space research, or climate research. Oftentimes, the underlying fundamental ...

In this paper, we implement an automatic modeling method for narrow vein type ore bodies based on Boolean combination constraints. Different from the direct interpolation approach, we construct the ...

A k-submodular function is a generalization of a submodular function, where the input consists of k disjoint subsets, instead of a single subset, of the domain. Many machine learning problems, ...

Activities of many biological macromolecules involve large conformational transitions for which crystallography can specify atomic details of alternative end states, but the course of transitions is ...

Electronic Design Automation: design tools for embedded systems, hardware-software integration, digital circuit theory, synthesis and verification of digital systems. “Power Analysis for Embedded ...

Predicting the metabolic state of an organism after a gene knockout is a challenging task, because the regulatory system governs a series of transient metabolic changes that converge to a steady-state ...