Results 81 to 90 of about 240,562 (189)

MINIMIZING THE MULTILEVEL REPRESENTATIONS OF SYSTEMS OF BOOLEAN FUNCTIONS BASED ON SHANNON DECOMPOSITION

Informatika, 2017
A locally optimal algorithm is proposed to form a permutation of variables, which are used to obtain successive Shannon decompositions of a system of disjunctive normal forms of completely specified Boolean functions.
P. N. Bibilo, Y. Y. Lankevich
doaj  

On decoding of multi-level MPSK modulation codes [PDF]

The decoding problem of multi-level block modulation codes is investigated. The hardware design of soft-decision Viterbi decoder for some short length 8-PSK block modulation codes is presented.
Gupta, Alok Kumar, Lin, Shu
core   +1 more source

Development of a BDD-based methodology to estimate importance measures in seismic probabilistic risk assessment

Nuclear Engineering and Technology
Probabilistic risk assessment (PRA) evaluates the core damage frequency (CDF) as the plant risk by considering failure events such as failure of structures, systems, and components (SSCs) and failure of operator's actions.
Seunghyun Jang, Min Kyu Kim
doaj   +1 more source

On the limitations of ROBDDs in deciding the evasiveness of Boolean functions [PDF]

Discrete Mathematics Letters
Jesús Aransay, Laureano Lambán, Julio Rubio   +2 more
doaj   +1 more source

Computerized Adaptive Testing to Balance Exposure Bias and Measurement Accuracy Using Zero-Suppressed Binary Decision Diagrams

IEEE Access
Computerized adaptive testing (CAT) presents a tradeoff dilemma involving item exposure bias and measurement accuracy. To resolve this dilemma, we propose a new two-step CAT mechanism to balance exposure bias and measurement accuracy.
Maomi Ueno, Kazuma Fuchimoto, Wakaba Kishida, Yoshimitsu Miyazawa   +3 more
doaj   +1 more source

Functional Decision Diagrams: A Unifying Data Structure For Binary Decision Diagrams

, 2019
Zero-suppressed binary Decision Diagram (ZDD) is a notable alternative data structure of Reduced Ordered Binary Decision Diagram (ROBDD) thatachieves a better size compression rate for Boolean functions that evaluate to zero almost everywhere.Deciding \textit{a priori} which variant is more suitable to represent a given Boolean function is as hard as ...
Thibault, Joan, Ghorbal, Khalil
openaire   +2 more sources

KOMPRESI CITRA BERWARNA DENGAN OBDD

Jurnal Informatika, 2005
Ordered Binary Decision Diagram (OBDD) has been used to reduce the amount of space and computing time required for verifying digital circuits. OBDD has also been used to compress grayscale images in form of Boolean function and modeled as a karnaugh-map.
Handoko Handoko, Donny KS. Donny KS., Victor G.U. Victor G.U.   +2 more
doaj  

Rough cubic intuitionistic fuzzy soft relation framework for risk identification and hospital selection in breast cancer treatment. [PDF]

Sci Rep
Bashir S, Shabir M, Bibi A, Gul R, Syam MI, Mazhar R, Saqib M, Asif K.   +7 more
europepmc   +1 more source

An interpretability heart disease prediction model based on stacking ensemble with SHAP. [PDF]

Front Mol Biosci
Chen Y, Chong L, Bao Z, Wang S, Wang Y, Feng Y.   +5 more
europepmc   +1 more source

Forecasting auditor's going concern opinion using with hybrid robust machine learning model. [PDF]

PLoS One
Ejder U, Yaşar A.
europepmc   +1 more source