Results 11 to 20 of about 3,800,996 (288)
Progression of the binary decision diagram conversion methods [PDF]
, 2003 The Binary Decision Diagram method has been formulated over the last decade. It is the latest methodology developed to overcome the deficiencies of the common fault tree analysis technique.
Lisa Jackson (1250010)
core +6 more sources
Molecular simulation of activity coefficients and the phase diagram of CH3OH-CO2 binary system [PDF]
, 2023 The interaction energies of five pairs of interactions: CH3OH-CH3OH, CH3OH-CO2, CO2-CO2, CH3OH-CH3CH2OH, and CH3CH2OH-CH3CH2OH were obtained using MP2, B3LYP, and B3LYP-D3 methods.
Lichang, Wang, Jianbo, Li
core +1 more source
Study of gold-based alloy phase diagrams [PDF]
, 1990 This thesis was submitted for the degree of Doctor of Philosophy and awarded by Brunel University.The partial constitutions of the Au-Ge-X and Au-Pb-X ternary alloys have been investigated, where X is a metallic element, selected from the sub-groups ...
Butt, M Taqi Zahid
core +7 more sources
Tools for binary decision diagram analysis [PDF]
, 1995 The Binary Decision Diagram (BDD) is a very useful representation in the design and verification of switching functions. This is due to to its compactness, where size is measured by the number of nodes. In the implementation of logic circuits, connection
Ang, Kwee Hua
core +2 more sources
Binary Decision Diagrams by Shared Rewriting [PDF]
, 2000 In this paper we propose a uniform description of basic BDD theory and algorithms by means of term rewriting. Since a BDD is a DAG instead of a tree we need a notion of shared rewriting and develop appropriate theory. A rewriting system is presented by which canonical forms can be obtained. Various reduction strategies give rise to different algorithms.
Pol, J. van de, Zantema, H.
openaire +5 more sources
Reasoning with ordered binary decision diagrams
Discrete Applied Mathematics, 2000 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Takashi Horiyama, Toshihide Ibaraki
openaire +2 more sources
Characterization of the conglomerate form of acetyl-dl-leucine by thermal analysis and solubility measurements [PDF]
, 2012 Starting from a mixture of enantiomers in solution, crystallization can generate different types of crystals. In order to determine which type of crystal is obtained in the case of acetylleucine, an active pharmaceutical ingredient (API), analytical ...
B. Biscans +9 more
core +1 more source
A Ciphertext-Policy Attribute-Based Encryption Based on an Ordered Binary Decision Diagram
IEEE Access, 2017 Ciphertext-policy attribute-based encryption (CP-ABE) is widely used in many cyber physical systems and the Internet of Things for guaranteeing information security.
Long Li +5 more
doaj +1 more source
Exploring Different Paradigms to Extract Proper Implications From High Dimensional Formal Contexts
IEEE Access, 2020 Formal Concept Analysis (FCA) is an applied mathematical technique for data analysis, in which the relations between objects and attributes are identified.
Julio C. V. Neves +5 more
doaj +1 more source
IET Computers & Digital Techniques, 2021 Memristors are two‐terminal nano‐electronic devices that make it possible to design non‐volatile memory and logic circuits with high integration density.
Anindita Chakraborty +5 more
doaj +1 more source