Results 111 to 120 of about 11,440 (300)
An Introduction to Binary Decision Diagrams
, 1996 This note is a short introduction to Binary Decision Diagrams (BDDs). It provides some background knowledge and describes the core algorithms.
Andersen, Henrik Reif +1 more
core
Advanced Engineering Materials, EarlyView.We develop a data‐driven method to derive the mathematical expressions of the Flory–Huggins interaction parameter χ for the swelling behavior of temperature–responsive hydrogels. Starting from initial assumptions of χ, our workflow combines Bayesian optimization, Flory–Rehner theory, and symbolic regression to generate candidate χ expressions.
Yawen Wang +2 more
wiley +1 more source
Restructuring of Arithmetic Circuits with Biconditional Binary Decision Diagrams [PDF]
Biconditional Binary Decision Diagrams (BBDDs) are a novel class of canonical binary decision diagrams where the branching condition, and its associated logic expansion is biconditional on two variables.
De Micheli, Giovanni +4 more
core
Genetic algorithm for binary and functional decision diagrams optimization
, 2018 Decision diagrams (DD) are a widely used data structure for discrete functions representation. The major problem in DD-based applications is the DD size minimization (reduction of the number of nodes), because their size is dependent on the ...
Stojkovic Suzana +2 more
core +3 more sources
NEW EXPANSIONS OF BOOLEAN FUNCTIONS ON EXCLUSIVE OR OPERATION IN LOGICAL SYSTEMS DESIGN
Системный анализ и прикладная информатика, 2014 The Boolean function expansions and representation forms which are based on exclusive or operation are a key facility for design, test and diagnosis of digital systems and computer programs.
A. A. Prihozhy
doaj
Degeneralization Algorithm for Generation of Büchi Automata Based on Contented Situation
Journal of Applied Mathematics, 2015 We present on-the-fly degeneralization algorithm used to transform generalized Büchi automata (GBA) into Büchi Automata (BA) different from the standard degeneralization algorithm.
Laixiang Shan +3 more
doaj +1 more source
Microstructure Evolution of a VMnFeCoNi High‐Entropy Alloy After Synthesis, Swaging, and Annealing
Advanced Engineering Materials, EarlyView.The synthesis and processing (rotary swaging and annealing) of the novel VMnFeCoNi alloy is investigated, alongside the estimation of the grain size effect on hardness. Analysis of a wide grain size range of recrystallized microstructures (12–210 µm) reveals a low annealing twin density.
Aditya Srinivasan Tirunilai +6 more
wiley +1 more source
, 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 +2 more sources
Fatigue Crack Initiation and Growth in Nanocrystalline Ni at Multiple Length‐Scales
Advanced Engineering Materials, EarlyView.Overview of miniaturized in situ SEM fatigue setup and resultant fatigue crack growth data for nanocrystalline Ni. The presented study focuses on the analysis of fatigue crack growth rate (FCGR) in focused ion beam‐notched microcantilevers prepared from nanocrystalline (NC) Ni as a model material.
Igor Moravcik +7 more
wiley +1 more source
Tailoring Functional Properties of Ti–Ni–Cu Shape Memory Alloy Thin Films for MEMS Actuators
Advanced Engineering Materials, EarlyView.A comprehensive study of critical parameters required to develop well‐performing Ti–Ni–Cu thin film shape memory alloy microactuators is provided. Materials science and device integration aspects are integrated by addressing structural and physical relationships using complementary characterization techniques as well as a practical fabrication solution
Elaheh Akbarnejad +6 more
wiley +1 more source