Results 41 to 50 of about 3,877,335 (299)
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 +2 more
doaj +1 more source
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
SoftwareXDiscrete 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 +2 more
doaj +1 more source
Lattice-Valued Binary Decision Diagrams [PDF]
, 2010 This work introduces a new data structure, called Lattice-Valued Binary Decision Diagrams (or LVBDD for short), for the compact representation and manipulation of functions of the form θ : 2P → L, where P is a finite set of Boolean propositions and L is a finite distributive lattice.
Geeraerts, Gilles +4 more
openaire +3 more sources
Optimizing Binary Decision Diagrams with MaxSAT for Classification
Proceedings of the AAAI Conference on Artificial Intelligence, 2022 The growing interest in explainable artificial intelligence(XAI) for critical decision making motivates the need for interpretable machine learning (ML) models. In fact, due to their structure (especially with small sizes), these models are inherently understandable by humans.
Hao Hu 0008 +2 more
openaire +3 more sources
A Recursive Framework for Evaluating Moments Using Zero-Suppressed Binary Decision Diagrams
IEEE AccessThe 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 +4 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 +2 more
core +1 more source
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 +2 more
wiley +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
FEBS Letters, EarlyView.Which brain hemisphere controls writing? This review synthesizes all five functional transcranial Doppler studies of writing (handwriting and typing) published to date in adults and children. Right‐handers show left‐hemispheric dominance for the linguistic component of writing (written word generation), whereas findings for left‐handers remain ...
Marietta Papadatou‐Pastou
wiley +1 more source