Calibrated, cost-sensitive, explainable ensemble learning for customer churn prediction in retail banking: a leakage-safe pipeline and single-dataset case study. [PDF]
Front Artif IntellKarim F +7 more
europepmc +1 more source
Availability of drone mission with binary decision diagram based on uncertain data. [PDF]
Sci RepZaitseva E +4 more
europepmc +1 more source
Binary Decision Diagrams for First Order Predicate Logic
, 2008 We present an extension of Binary Decision Diagrams (BDDs) such that they can be used for predicate logic. We present a sound and complete proof search method which we apply to a number of examples.
Jan Friso Groote
core
From prior knowledge to data-informed models: a review of Boolean network inference. [PDF]
Brief BioinformKlemmer P +3 more
europepmc +1 more source
Two-dimensional data storage using a DNA molecular register. [PDF]
Front Bioeng BiotechnolLi S +6 more
europepmc +1 more source
Using Ordered Binary-Decision Diagrams for Compressing Images and Image Sequences
, 1995 The Ordered Binary-Decision Diagram (OBDD) has been used to reduce the amount of space and computation required for verifying digital circuits by removing redundant copies of subfunctions.
Mike Starkey, Randy Bryant, Y Bryant
core
Pearl's causality for integrating ecological datasets: A case study on <i>Myricaria germanica</i> in northern Italy. [PDF]
Appl Plant SciWeitkämper K +5 more
europepmc +1 more source
A dataset for aqueous surfactant phase behavior as a function of temperature and composition. [PDF]
Sci DataRummel F +6 more
europepmc +1 more source
Integrating Consensus-Based Group Decision Making into the Graph Model for Conflict Resolution in Complex Conflict Environments. [PDF]
Entropy (Basel)Zhang H, Lu X, Wang F.
europepmc +1 more source
Explainable machine learning for incipient anomaly detection in compact molten salt heat exchanger with overlapping feature distributions. [PDF]
Sci RepPrantikos K +4 more
europepmc +1 more source