Results 121 to 130 of about 65,002 (306)
The application of graphical representations in estimation of probabilistic events
The communication of uncertain and certain information is essential for individual behaviour and decision making. But many subjects have difficulty in understanding uncertainty-related problems.
Mirian Agus +4 more
doaj +1 more source
Ordered Functional Decision Diagrams: A Functional Semantics For Binary Decision Diagrams
We introduce a novel framework, termed $λ$DD, that revisits Binary Decision Diagrams from a purely functional point of view. The framework allows to classify the already existing variants, including the most recent ones like Chain-DD and ESRBDD, as implementations of a special class of ordered models.
Thibault, Joan, Ghorbal, Khalil
openaire +2 more sources
Approximation of Quantum States Using Decision Diagrams
The computational power of quantum computers poses major challenges to new design tools since representing pure quantum states typically requires exponentially large memory.
Stefan Hillmich +7 more
core +1 more source
We have established a humanized orthotopic patient‐derived xenograft (Hu‐oPDX) mouse model of high‐grade serous ovarian cancer (HGSOC) that recapitulates human tumor–immune interactions. Using combined anti‐PD‐L1/anti‐CD73 immunotherapy, we demonstrate the model's improved biological relevance and enhanced translational value for preclinical ...
Luka Tandaric +10 more
wiley +1 more source
Encoding and rewriting of large set of terms is very useful in a number of domains, such as model checking and theorem proving. The challenge of encoding and normalizing several billions of terms requires efficient ways of representing and manipulating ...
Hostettler, Steve Patrick, Buchs, Didier
core
Pancreatic sensory neurons innervating healthy and PDAC tissue were retrogradely labeled and profiled by single‐cell RNA sequencing. Tumor‐associated innervation showed a dominant neurofilament‐positive subtype, altered mitochondrial gene signatures, and reduced non‐peptidergic neurons.
Elena Genova +14 more
wiley +1 more source
EMPLOYING COMPLEXITY ESTIMATES OF BINARY DECISION DIAGRAMS IN THE SYNTHESIS OF LOGICAL CIRCUITS
A formula is suggested to evaluate the area of a logical circuit that is built in a given library of logical elements according to the BDD (Binary Decision Diagram) representation of a system of Boolean functions. The experimental results of synthesis of
N. A. Avdeev, P. N. Bibilo
doaj
Compressing Binary Decision Diagrams
The paper introduces a new technique for compressing Binary Decision Diagrams in those cases where random access is not required. Using this technique, compression and decompression can be done in linear time in the size of the BDD and compression will in many cases reduce the size of the BDD to 1-2 bits per node.
Hansen, Esben Rune +2 more
openaire +2 more sources
Random 3-D young diagrams and representation theory
The topic of the thesis is related to statistical mechanics and probability theory from one side, and to the representation theory of ``big'' groups on the other side. A typical example of a ``big'' group is the union of unitary groups naturally embedded
Sub Stochastics and Decision Theory begr +3 more
core
Influence Diagrams as a Tool for Decision Support System Design
This article examines the application of a modeling technique called influence diagramming to decision support system (DSS) analysis. Influence diagrams allow the development of a model of the natural (at least from the perspective of the decision maker)
Peter O’Donnell, Rob Meredith
core +1 more source

