Results 41 to 50 of about 65,002 (306)

Multi-core Decision Diagrams [PDF]

, 2018
Decision diagrams are fundamental data structures that revolutionized fields such as model checking, automated reasoning and decision processes. As performance gains in the current era mostly come from parallel processing, an ongoing challenge is to ...
Tom van Dijk, van de Pol, Jaco, Jaco van de Pol, van Dijk, Tom; id_orcid   +3 more
core   +1 more source

Parallelizing Quantum Simulation With Decision Diagrams

IEEE Transactions on Quantum Engineering
Since people became aware of the power of quantum phenomena in the domain of traditional computation, a great number of complex problems that were once considered intractable in the classical world have been tackled.
Shaowen Li, Yusuke Kimura, Hiroyuki Sato, Masahiro Fujita   +3 more
doaj   +1 more source

Dynamic minimization of bi-kronecker functional decision diagrams

, 2020
A recently proposed canonical representation called Bi-Kronecker Functional Decision Diagrams (BKFDDs) utilizes the classical decompositions (the Shannon and Davio decompositions) and their biconditional variants, and hence can be seen as a ...
Liangda Fang, Huang, X, Yuhui Deng, Che, H, Guan, Q, Su, K, Fang, L, Qingliang Chen, Chen, Q, Deng, Y, Kaile Su, Xuanxiang Huang, Quanlong Guan, Haipeng Che   +13 more
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, Or Pistiner, Jan Oliver Ringert   +2 more
doaj   +1 more source

Dictionary Encoding Based on Tagged Sentential Decision Diagrams

Algorithms
Encoding 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, Liangda Fang, Quanlong Guan   +2 more
doaj   +1 more source

Clinical and Biological Features of Response in Resistant Neuroblastoma to 131I‐Metaiodobenzylguanidine Radiotherapy in the Anti‐GD2 Immunotherapy Era

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background 131I‐metaiodobenzylguanidine (131I‐MIBG) radiotherapy is a key treatment for relapsed and refractory (R/R) neuroblastoma (NB). Patients with R/R disease treated in the modern era are increasingly exposed to anti‐GD2 immunotherapy, which exerts selective pressure and may modify both tumor cell state and microenvironment.
Benjamin J. Lerman, Katherine K. Matthay, Fabienne Hollinger, Catriona Black, Ann A. Lazar, Miguel Pampaloni, Steven G. DuBois, Kieuhoa T. Vo   +7 more
wiley   +1 more source

TeDDy: Templated decision diagram library

SoftwareX
Discrete functions are an integral part of numerous areas of research in mathematics and computer science. Efficient processing of such functions in a computer requires an appropriate representation.
Michal Mrena, Miroslav Kvassay, Elena Zaitseva   +2 more
doaj   +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, Stefan Krauss, Georg Bruckmaier, Jörg Marienhagen   +3 more
doaj   +1 more source

Decision making with decision event graphs [PDF]

, 2010
We introduce a new modelling representation, the Decision Event Graph (DEG), for asymmetric multistage decision problems. The DEG explicitly encodes conditional independences and has additional significant advantages over other representations of ...
Thwaites, Peter, Smith, J. Q., Cowell, Robert G.   +2 more
core  

Sylvan: Multi-core Decision Diagrams [PDF]

, 2015
Decision diagrams such as binary decision diagrams and multi-valued decision diagrams play an important role in various fields, including symbolic model checking.
Tom van Dijk, Jaco van de Pol, van Dijk, Tom, van de Pol, Jan Cornelis, van Dijk, Tom; id_orcid   +4 more
core   +1 more source