We propose a new algorithm, called linear sifting, for the optimization of decision diagrams that combines the ee-ciency of sifting and the power of linear transformations. We show that the new algorithm is applicable to large examples , and that in many cases it leads to substantially more compact diagrams when compared to simple variable reordering. We show in what sense linear transformation...

Instrumental variable (IV) methods are increasingly being used in comparative effectiveness research. Studies using these methods often compare 2 particular treatments, and the researchers perform their IV analyses conditional on patients’ receiving this subset of treatments (while ignoring the third option of “neither treatment”). The ensuing selection bias that occurs due to this restriction ...

Mixtures of truncated exponentials (MTE) potentials are an alternative to discretization for representing continuous chance variables in influence diagrams. Also, MTE potentials can be used to approximate utility functions. This paper introduces MTE influence diagrams, which can represent decision problems without restrictions on the relationships between continuous and discrete chance variable...

A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires first to model the system to be validated, then to formalize the properties to be satisfied, and finally to describe the behavior of the environment. This last point which we name as the proof context is often neglect...

The paper introduces a new type of compression for decision diagram data structures, such as BDDs, MDDs and AOMDDs. The compression takes advantage of repeated substructures within the decision diagram in order to lessen redundancy beyond what is possible using simple subfunction sharing. The resulting compressed data structure allows traversal of the original decision diagram with no significa...

Discrete Event Systems Specification (DEVS) formalism has been used in recent decades for modeling and simulation of discrete event systems as well as for some hybrid systems, since it has a sound semantics for modular hierarchical semantics and good simulation development environments. Nevertheless there are still deep gaps in understanding between the formalism and the practical modeling of l...

Inspired by AND/OR search spaces for graphical models recently introduced, we propose to augment Ordered Decision Diagrams with AND nodes, in order to capture function decomposition structure. This yields AND/OR multivalued decision diagram (AOMDD) which compiles a constraint network into a canonical form that supports polynomial time queries such as solution counting, solution enumeration or e...

In many domains and particularly in multiagent problems, the characterization of the information available to each agent about her environment impacts directly on the problem complexity. In this paper, we explore how influence diagrams can help in understanding precisely the impact of the structure of markovian multiagent models on their theoretical complexity. More precisely, we use two differ...

High-entropy (H-E) alloys, bulk metallic glasses (BMGs) and high-entropy BMGs (HE-BMGs) were statistically analyzed with the help of a database of ternary amorphous alloys. Thermodynamic quantities corresponding to heat of mixing and atomic size differences were calculated as a function of composition of the multicomponent alloys. Actual calculations were performed for configurational entropy (...

This review 1 is a futile attempt to cover developments in the eld of stellar radio astronomy (across the whole HR diagram) which have been innuenced by VLA observations. The VLA has completely revolutionized the eld; it can be argued that stellar radio astronomy would barely exist without the VLA. Diierent areas of physics and stellar astrophysics which can be addressed with VLA observations a...