Results 91 to 100 of about 3,939,918 (112)

Photocatalytic Reduction of Cr(VI) by MOF@Azo-COF Under Strongly Acidic Conditions. [PDF]

Int J Mol Sci
Gong X, Ren G, Zhou Q, Yi L, Wu Q, Hua Y, Pan Q.   +6 more
europepmc   +1 more source

A unified analysis of cell-type and trajectory-associated pathways in single-cell data using Phoenix

Halperin Y, Nachmani D, Rabani M.
europepmc   +1 more source

Ordered binary decision diagrams as knowledge-bases [PDF]

Artificial Intelligence, 2002
We consider the use of ordered binary decision diagrams (OBDDs) as a means of realizing knowledge-bases, and show that, from the view point of space requirement, the OBDD-based representation is more efficient and suitable in some cases, compared with ...
Takashi Horiyama
exaly   +2 more sources

An efficient query learning algorithm for ordered binary decision diagrams [PDF]

Information and Computation, 2005
In this paper, we propose a new algorithm that exactly learns ordered binary decision diagrams (OBDDs) with a given variable ordering via equivalence and membership queries.
Atsuyoshi Nakamura
exaly   +2 more sources

Ordered binary decision diagrams and the Shannon effect [PDF]

Discrete Applied Mathematics, 2004
We investigate the size and structure of ordered binary decision diagrams (OBDDs) for random Boolean functions. It was known that for most values of n, the expected OBDD size of a random Boolean function with n variables is equal to the worst-case size ...
Hans Jürgen Promel, Anand Srivastav
exaly   +2 more sources

Nondeterministic ordered binary decision diagrams with repeated tests and various modes of acceptance

Information Processing Letters, 2006
Ordered binary decision diagrams with repeated tests are considered both in complexity theory and in applications. Bollig et al. have proved in [B. Bollig, M. Sauerhoff, D. Sieling, I. Wegener, Hierarchy theorems of kOBDDs and kIBDDs, Theoret.
Stephan Waack
exaly   +2 more sources

Symbolic Boolean manipulation with ordered binary-decision diagrams

ACM Computing Surveys, 1992
Randal Bryant
exaly  

A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams

ACM Transactions on Computational Logic, 2019
Jim Newton, Didier Verna
exaly  

Forward and inverse transformations between Haar spectra and ordered binary decision diagrams of Boolean functions

IEEE Transactions on Computers, 1997
Chip Hong Chang, B J Falkowski
exaly  

Size and structure of random ordered binary decision diagrams

Lecture Notes in Computer Science, 2005
Hans Jürgen Promel, Anand Srivastav
exaly