Results 31 to 40 of about 357,721 (279)
SDDs are Exponentially More Succinct than OBDDs
, 2016 Introduced by Darwiche (2011), sentential decision diagrams (SDDs) are essentially as tractable as ordered binary decision diagrams (OBDDs), but tend to be more succinct in practice.
Bova, Simone
core +1 more source
Symbolic BDD and ADD Algorithms for Energy Games [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Energy games, which model quantitative consumption of a limited resource, e.g., time or energy, play a central role in quantitative models for reactive systems.
Shahar Maoz +2 more
doaj +1 more source
Constraint-based Sequential Pattern Mining with Decision Diagrams
, 2018 Constrained sequential pattern mining aims at identifying frequent patterns on a sequential database of items while observing constraints defined over the item attributes.
Cire, Andre A. +2 more
core +1 more source
Electronics Letters, 1996 Complex decision diagrams to represent integer-valued functions in the form of complex Hadamard transforms and spectra are introduced. With the distinctive and unique properties of the transform, the novel complex decision diagrams could be further simplified by reduction rules and a half-spectra theorem that will lead to a more compact representation.
B.J. Falkowski, S. Rahardja
openaire +1 more source
Dictionary Encoding Based on Tagged Sentential Decision Diagrams
AlgorithmsEncoding a dictionary into another representation means that all the words can be stored in the dictionary in a more efficient way. In this way, we can complete common operations in dictionaries, such as (1) searching for a word in the dictionary, (2 ...
Deyuan Zhong +2 more
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Purpose Patient activation—encompassing knowledge, confidence, and skills in managing individual's health—is a cornerstone of person‐centered care. However, its significance among childhood, adolescent, and young adult cancer survivors (CAYACS) remains unexplored. This article examines the application of the 13‐item Patient Activation Measure (
Charlotte Demoor‐Goldschmidt +12 more
wiley +1 more source
Visualizing the Bayesian 2-test case: The effect of tree diagrams on medical decision making. [PDF]
PLoS ONE, 2018 In medicine, diagnoses based on medical test results are probabilistic by nature. Unfortunately, cognitive illusions regarding the statistical meaning of test results are well documented among patients, medical students, and even physicians.
Karin Binder +3 more
doaj +1 more source
Chain Reduction for Binary and Zero-Suppressed Decision Diagrams
, 2017 Chain reduction enables reduced ordered binary decision diagrams (BDDs) and zero-suppressed binary decision diagrams (ZDDs) to each take advantage of the others' ability to symbolically represent Boolean functions in compact form.
Bryant +5 more
core +1 more source
Discrete Optimization with Decision Diagrams [PDF]
INFORMS Journal on Computing, 2016 We propose a general branch-and-bound algorithm for discrete optimization in which binary decision diagrams (BDDs) play the role of the traditional linear programming relaxation. In particular, relaxed BDD representations of the problem provide bounds and guidance for branching, and restricted BDDs supply a primal heuristic.
Bergman, David +3 more
openaire +2 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Chemotherapy‐induced peripheral neuropathy remains a major complication in pediatric cancer, with disrupted somatosensory and nociceptive processing being a key aspect. This review synthesizes empirical studies on alterations in somatosensory and nociceptive processing in children and adolescents with cancer.
Julia Schweiger +4 more
wiley +1 more source