Results 91 to 100 of about 3,622,400 (195)

Building free Binary Decision Diagrams using SAT solvers

, 2007
Free Binary Decision Diagrams (FBDDs) are a data structure for the representation of Boolean functions. In contrast to Ordered Binary Decision Diagrams (OBDDs) FBDDs allow different variable orderings along each path.
Görschwin Fey, Rolf Drechsler, Robert Wille   +2 more
core   +1 more source

Measuring evidence-based clinical guideline compliance in the paediatric intensive care unit

BMJ Open Quality
Background Evidence-based clinical care guidelines improve medical treatment by reducing error, improving outcomes and possibly lowering healthcare costs.
Dori-Ann Martin, Rebecca E Hay, Gary J Rutas, Shelina M Jamal, Simon J Parsons   +4 more
doaj   +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  

Functional Simulation using Binary Decision Diagrams

, 1997
In many verification techniques fast functional evaluation of a Boolean network is needed. We investigate the idea of using Binary Decision Diagrams (BDDs) for functional simulation.
Rolf Drechsler, Christoph Scholl, Bernd Becker   +2 more
core  

Characteristics of the binary decision diagrams of Boolean Bent Functions [PDF]

, 2009
Boolean bent functions have desirable cryptographic properties in that they have maximum nonlinearity, which hardens a cryptographic function against linear cryptanalysis attacks.
Schafer, Neil Brendan., Neil Brendan Schafer   +1 more
core  

Anytime Algorithms for ROBDD Symmetry Detection and Approximation [PDF]

Reduced Ordered Binary Decision Diagrams (ROBDDs) provide a dense and memory efficient representation of Boolean functions. When ROBDDs are applied in logic synthesis, the problem arises of detecting both classical and generalised symmetries.
Kettle, Neil
core  

Causal diagrams integrating counterfactuals and sufficient causes. [PDF]

Am J Epidemiol
Suzuki E, Yamamoto E.
europepmc   +1 more source

Domain-specific contexts promote model-based decision making for basketball players. [PDF]

Sci Rep
Yang L, Zhou C, Sang B.
europepmc   +1 more source

AI-Powered, Temperature-Resolved Centrifugal Microfluidics for Rapid 3D Phase-Diagram Generation of Biomolecular Condensates. [PDF]

Adv Sci (Weinh)
Li J, Li P, Zhang K, Guo Y, Chen P, Liu BF, Li Y.   +6 more
europepmc   +1 more source

Rough Set Data Representation Using Binary Decision Diagrams

, 2004
A new information system representation, which inherently represents indiscernibility is presented. The basic structure of this representation is a Binary Decision Diagram.
Alex Muir, G. Gediga, Ivo Düntsch, I. Düntsch, A. Muir, Günther Gediga   +5 more
core