Sage Journals: Discover world-class research

Retricted access

Research article

First published 2011-3

Combining different binary decision diagram techniques for solving models with multiple failure states

M Pock, O Malass'e, M Walter

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Open access

Research article

First published 2024-7

In the shadow of the tree: The diagrammatics of relatedness in genealogy,anthropology,and genetics as epistemic,cultural,and political practice

Marianne Sommer, Caroline Arni, Staffan Müller-Wille [...]

History of the Human Sciences

Retricted access

Research article

First published 1985-2

Statistical information systems design with NIAM

P.A. van der Poel

Statistical Journal of the IAOS

Retricted access

Research article

First published 2011-5

BDD-based Bounded Model Checking for Temporal Properties of 1-Safe Petri Nets

Artur Męski, Wojciech Penczek, Agata Półrola

Fundamenta Informaticae

Retricted access

Research article

First published 2014-9

A parameter-free approach for one-class classification using binary decision diagrams

Takuro Kutsuna, Akihiro Yamamoto

Intelligent Data Analysis: An International Journal

Retricted access

Research article

First published 2008-6

A ternary decision diagram method to calculate the component contributions to the failure of systems undergoing phased missions

J D Andrews

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Free access

Research article

First published 2007-7

Kinetic Coefficients for Mixed Adsorbate Fluids in Narrow Pores

Yu.K. Tovbin, A.B. Rabinovich, D.V. Yeremich

Adsorption Science & Technology

Retricted access

Research article

First published 2007-2

On the role of modeling causal independence for system model compilation with OBDDs

Gianluca Torta, Pietro Torasso

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2012-11-12

An OBDD approach to enforce confidentiality and visibility constraints in data publishing *

Valentina Ciriani, Sabrina De Capitani di Vimercati, Sara Foresti [...]

Journal of Computer Security

Retricted access

Research article

First published 2014-2

Integration of logic and probability in inductive and terminological reasoning

Elena Bellodi

Intelligenza Artificiale

Search results