Results 21 to 30 of about 50,577 (261)
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
Efficient pairing-free CP-ABE based on ordered binary decision diagram
Tongxin xuebao, 2019 To improve the computational efficiency of ABE,its access structure was optimized and a pairing-free CP-ABE scheme based on ordered binary decision diagram (OBDD) was proposed.Based on the elliptic curve cryptography,the complex bilinear pairing ...
Sheng DING, Jin CAO, Hui LI
doaj +2 more sources
Intelligent Loading and Unloading Algorithm for Signal Processing Tasks Based on OBDD [PDF]
Jisuanji gongcheng, 2019 In order to realize the fast dynamic loading,unloading and intelligent switching for application tasks in the signal processing platform,an intelligent loading and unloading algorithm based on Ordered Binary Decision Diagram (OBDD) is proposed.Based on ...
XIE Zongfu, GAO Bo, YUE Chunsheng
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 +2 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 +2 more sources
Information, 2018 Formal concept analysis (FCA) is largely applied in different areas. However, in some FCA applications the volume of information that needs to be processed can become unfeasible.
Phillip G. Santos +6 more
doaj +1 more source
COMPLEMENTARY PASS TRANSISTOR LOGIC SYNTHESIS WITH 123 DECISION DIAGRAM
Electrica, 2003 123 decision diagram is a very effective PTL synthesis tool based on binary decision diagram. It realizes a logic function using NMOS pass transistors with CMOS restoring buffers.
Mutlu AVCI, Tülay YILDIRIM
doaj +2 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Pediatric supportive care clinical trials often involve multiple clinically important outcomes, complicating trial interpretation. Hierarchical composite endpoints (HCEs) provide a framework to integrate key outcomes according to clinical importance.
Willem H. Collier +11 more
wiley +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Timely cancer diagnosis in children and adolescents is important to improving outcomes. We aimed to quantify time to diagnosis and assess variations by patient, demographic and system‐level factors. Procedure We conducted a population‐based study of individuals aged 0–19 years diagnosed with one of 12 cancers from 2010 to 2022 in ...
Callum Mullen +5 more
wiley +1 more source
Attribute-based encryption scheme against key abuse based on OBDD access structure from lattice
Tongxin xuebao, 2023 In order to solve the key security problem in attribute-based encryption, a ciphertext policy attribute-based encryption scheme against key abuse was proposed based on the ring learning with error over ring and the access structure of ordered binary ...
Yiliang HAN +3 more
doaj +2 more sources