Results 21 to 30 of about 3,773,797 (206)

Masking of Internal Nodes Faults Based on Applying of Incompletely Specified Boolean Functions [PDF]

Известия Саратовского университета. Новая серия: Математика. Механика. Информатика, 2020
Combinational circuits (combinational parts of sequential circuits) are considered. Masking of internal nodes faults with applying sub-circuit, inputs of which are connected to the circuit inputs and outputs — to the circuit proper internal nodes, is ...
Matrosova, Angela Yu., Provkin, Victor A., Andreeva, Valentina V.   +2 more
doaj   +1 more source

Optimization of Binary Decision Diagrams by Single-Grid Cellular Genetic Algorithm

Mathematics
This paper presents a new approach based on cellular genetic algorithms for the problem of optimizing the variable ordering of binary decision diagrams.
Iulian Furdu, Cosmin Tomozei, Bogdan Pătruț   +2 more
doaj   +1 more source

Optimal Maintenance Management of Offshore Wind Farms

Energies, 2016
Nowadays offshore wind energy is the renewable energy source with the highest growth. Offshore wind farms are composed of large and complex wind turbines, requiring a high level of reliability, availability, maintainability and safety (RAMS).
Alberto Pliego Marugán, Fausto Pedro García Márquez, Jesús María Pinar Pérez   +2 more
doaj   +1 more source

Minimization of binary decision diagrams for systems of completely defined Boolean functions using Shannon expansions and algebraic representations of cofactors

Informatika, 2021
In the systems of digital VLSI design (Very Large Integrated Circuits), the BDD (Binary Decision Diagram) is used for VLSI verification, as well as for technologically independent optimization as the first stage in the synthesis of logic circuits in ...
P. N. Bibilo, V. I. Romanov
doaj   +1 more source

TeDDy: Templated decision diagram library

SoftwareX
Discrete functions are an integral part of numerous areas of research in mathematics and computer science. Efficient processing of such functions in a computer requires an appropriate representation.
Michal Mrena, Miroslav Kvassay, Elena Zaitseva   +2 more
doaj   +1 more source

SAT-Based Learning of Compact Binary Decision Diagrams for Classification [PDF]

, 2023
Decision trees are a popular classification model in machine learning due to their interpretability and performance. However, the number of splits in decision trees grow exponentially with their depth which can incur a higher computational cost, increase
Shati, Pouya, McIlraith, Sheila, Cohen, Eldan   +2 more
core   +1 more source

A Recursive Framework for Evaluating Moments Using Zero-Suppressed Binary Decision Diagrams

IEEE Access
The zero-suppressed binary decision diagram (ZDD) is a compact data structure widely used for the efficient representation of families of sparse subsets.
Brian Godwin Lim, Renzo Roel Tan, Jun Kawahara, Shin-Ichi Minato, Kazushi Ikeda   +4 more
doaj   +1 more source

Design and Evaluation of a Specialized Computer Architecture for Manipulating Binary Decision Diagrams [PDF]

, 2000
Binary Decision Diagrams (BDDs) are an extremely important data structure used in many logic design, synthesis and verification applications. Symbolic problem representations make BDDs a feasible data structure for use on many problems that have discrete
Hatt, Robert K
core   +1 more source

Association Between Individualized Education for Kidney Replacement Therapy Modality Selection and Peritoneal Dialysis Initiation: A Cross‐Sectional Study

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Introduction Peritoneal dialysis (PD) is an established home‐based kidney replacement therapy (KRT), but its uptake remains low in Japan. We evaluated whether individualized education in a dedicated outpatient clinic was associated with the initiation of PD.
Yasuko Ito, Ryuichi Yoshimura, Takaki Yamauchi, Yuta Funakoshi, Hirotaka Sonoda, Seiji Kobayashi, Hiroyuki Terawaki, Takafumi Ito   +7 more
wiley   +1 more source

Functional comparison of EncB and EncC cargo proteins in iron storage within the Myxococcus xanthus encapsulin

FEBS Letters, EarlyView.
Encapsulins are protein nanocompartments that play an important role in iron storage. In the Myxococcus xanthus encapsulin system, two cargo proteins called EncB and EncC contribute to iron mineralization. Here, we show that EncB and EncC generate iron‐containing minerals with distinct chemical compositions, suggesting that the composition of stored ...
Harry B. McDowell, Thomas Walther, Egbert Hoiczyk   +2 more
wiley   +1 more source