Results 71 to 80 of about 1,321,976 (196)

On binary decision hypertree (hyperdiagram) [PDF]

AUT Journal of Mathematics and Computing
In computer science, a binary decision diagram is a data structure that is used to represent a Boolean function and to consider a compressed representation of relations.
Mohammad Hamidi, Marzieh Rahmati
doaj   +1 more source

Identification of logical reasoning system by network operator method

RUDN Journal of Engineering Research, 2010
The problem of logical control synthesis is considered. It is necessary to construct a logical function on the basis of truth table. The method of network operator was used to solve the problem.
A I Diveev, E A Sofronova
doaj  

BANI ISRAIL SEBAGAI KUNCI UNTUK MEMAHAMI ERA POST-MODERN

Jurnal Sosiologi Agama, 2019
Artikel ini mengusulkan penyelidikan tentang sifat Bani Israil sebagai cara memahami perilaku orang modern di era Paska Kebenaran. Meskipun sejarawan memiliki banyak keraguan mengenai siapa sebenarnya Bani Israil yang berulang kali disebutkan dalam Al ...
Andriani Andriani
doaj   +1 more source

As-built design specification for MISMAP [PDF]

The MISMAP program, which is part of the CLASFYT package, is described. The program is designed to compare classification values with ground truth values for a segment and produce a comparison map and summary ...
Brown, P. M., Cheng, D. E., Tompkins, M. A.   +2 more
core   +1 more source

High speed CMOS/SOS standard cell notebook [PDF]

The NASA/MSFC high speed CMOS/SOS standard cell family, designed to be compatible with the PR2D (Place, Route in 2-Dimensions) automatic layout program, is described.

core   +1 more source

Metric Localization using Google Street View

, 2015
Accurate metrical localization is one of the central challenges in mobile robotics. Many existing methods aim at localizing after building a map with the robot.
Agarwal, Pratik, Burgard, Wolfram, Spinello, Luciano   +2 more
core   +1 more source

Bounds in weak truth-table reducibility.

Notre Dame Journal of Formal Logic, 1991
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +3 more sources

PP is closed under truth-table reductions

[1991] Proceedings of the Sixth Annual Structure in Complexity Theory Conference, 1996
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Fortnow, Lance, Reingold, Nick
openaire   +1 more source

Quantum Gates to Implement the Reversible Logic Circuits

Ibn Al-Haitham Journal for Pure and Applied Sciences, 2017
  Quantum gates which are represented by unitary matrices have potentials to implement the reversible logic circuits. M and M+ gates are two well-known quantum gates which are used to synthesize the reversible logic circuits.
Ali H. Khidhir
doaj  

Design of a 4-Bit magnitude comparator using SIMULINK

Arid Zone Journal of Engineering, Technology and Environment, 2013
In this paper, the design of a 4-bit magnitude comparator using Simulink is presented. An overview of a magnitude comparator is carried out in the first section, in terms of its application in engineering.
P. Y. Dibal
doaj