Programmable proteins designed with Boolean logic gates may improve targeted drug delivery precision and scalability, ...

Abstract: Recent developments in formal verification of arithmetic datapaths make efficient use of symbolic computer algebra algorithms. The circuit is modeled as an ideal in polynomial rings, and ...

Abstract: This article presents a method based on graph theory and Boolean algebra, to obtain dynamic zone selection for busbar protection applications. The solution is an offline software-based tool ...

Abstract: With the advent of new-generation depth sensors, the use of three-dimensional (3-D) data is becoming increasingly popular. As these sensors are commodity hardware and sold at low cost, a ...

THE first volume of this standard work, published in 1940 in a revised and rewritten form, covered the algebra prescribed chiefly for the intermediate examinations of the University of London. The ...

Abstract: This brief presents a pipelined floating-point Multiply–Accumulator (FPMAC) architecture designed to accelerate sparse linear algebra operations. By designing a lookup-table-based 5–3 ...

Abstract: The satisfiability (SAT) problem is an important problem of automated reasoning. In the past decades, many methods of SAT are proposed, such as method based on resolution, method based on ...

IN these 596 pages we have a treatise based on the “Algebra” of Prof. Radhakrishnan. The reason for this is that the latter book is known to be the result of a careful study of the best English ...