Keywords: نمودار تصمیم گیری باینری; Formal concept analysis; Binary decision diagrams; High dimensionality; NextClosure; In-Close2;
مقالات ISI نمودار تصمیم گیری باینری (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: نمودار تصمیم گیری باینری; Optical circuits; Synthesis; Optimization; Binary decision diagrams;
Keywords: نمودار تصمیم گیری باینری; Knowledge compilation; Probabilistic inference; Weighted model counting; Bayesian networks; Binary decision diagrams;
Keywords: نمودار تصمیم گیری باینری; Reversible functions; Binary decision diagrams; Synthesis
Keywords: نمودار تصمیم گیری باینری; Binary decision diagrams; Error resilient data structures
Dynamic labelling of BDD and ZBDD for efficient non-coherent fault tree analysis
Keywords: نمودار تصمیم گیری باینری; Fault tree analysis; Binary Decision Diagrams; Cut-off techniques; Truncation error; Truncated BDD/ZBDD;
Fast mission reliability prediction for Unmanned Aerial Vehicles
Keywords: نمودار تصمیم گیری باینری; Phased mission; Binary Decision Diagrams; Unmanned Aerial Vehicles; Mission planning
A scalable privacy-preserving recommendation scheme via bisecting k-means clustering
Keywords: نمودار تصمیم گیری باینری; Accuracy; Binary decision diagrams; Clustering methods; Data preprocessing; Data privacy; Recommender systems
On the use of binary decision diagrams for solving problems on simple games
Keywords: نمودار تصمیم گیری باینری; Binary decision diagrams; Simple games; Key players; Desirability relation; Blocking coalition; Shift-minimal winning coalition;
Sequence Algebra, Sequence Decision Diagrams and Dynamic Fault Trees
Keywords: نمودار تصمیم گیری باینری; Dynamic Fault Trees; Sequence Algebra; Binary Decision Diagrams
Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes
Keywords: نمودار تصمیم گیری باینری; Model checking; Deadlock-freeness; Business process composition; Binary decision diagrams; WF-nets
Model based Binary Decision Diagrams for Complex Networks Reliability Optimization
Keywords: نمودار تصمیم گیری باینری; Reliability; Networks; Binary Decision Diagrams; Depth First Search
A reduction approach to improve the quantification of linked fault trees through binary decision diagrams
Keywords: نمودار تصمیم گیری باینری; Probabilistic safety assessment; Binary decision diagrams; Minimal cutsets; Fault trees; Dynamic event trees
Prediction of area and length complexity measures for binary decision diagrams
Keywords: نمودار تصمیم گیری باینری; Circuit complexity; Complexity prediction; Area complexity; Path length complexity; Binary decision diagrams; Machine learning; Neural network modeling
Hybrid approach for the assessment of PSA models by means of binary decision diagrams
Keywords: نمودار تصمیم گیری باینری; Probabilistic safety assessment; Binary decision diagrams; Event trees; Hybrid approach
An enhanced component connection method for conversion of fault trees to binary decision diagrams
Keywords: نمودار تصمیم گیری باینری; Fault tree analysis; Binary decision diagrams
Extended resolution simulates binary decision diagrams
Keywords: نمودار تصمیم گیری باینری; Extended resolution; Binary decision diagrams
Differential, criticality and Birnbaum importance measures: An application to basic event, groups and SSCs in event trees and binary decision diagrams
Keywords: نمودار تصمیم گیری باینری; Importance measures; Probabilistic risk assessment; Event trees; Binary decision diagrams
Efficient supervisory synthesis of large systems
Keywords: نمودار تصمیم گیری باینری; Discrete event systems; Reachability search; Supervisory control; Symbolic computation; Binary decision diagrams
Approximate estimation of system reliability via fault trees
Keywords: نمودار تصمیم گیری باینری; System reliability; Fault tree; Binary decision diagrams;
Can we trust PRA?
Keywords: نمودار تصمیم گیری باینری; Probabilistic risk assessment; Event-Trees; Minimal cutsets; Binary decision diagrams;
Bounds on the OBDD-size of integer multiplication via universal hashing
Keywords: نمودار تصمیم گیری باینری; OBDDs; Integer multiplication; Binary decision diagrams; Branching programs;
Explicit-Symbolic Modelling for Formal Verification
Keywords: نمودار تصمیم گیری باینری; model checking; explicit state; binary decision diagrams;