Independence – the study of what is relevant to a given problem of reasoning – is an important AI topic. In this paper, we investigate several notions of conditional independence in propositional logic: Darwiche and Pearl’s conditional independence, and two more restricted forms of it, called strong conditional independence and perfect conditional independence. Many characterizations and proper...

The runsolver tool was designed for the 2005 edition of the pseudo-Boolean competition in order to solve the problem of correctly measuring the resources used by solvers, especially solvers with multiple processes. Since then, it has been improved in several directions and adopted by several other competitions or frameworks. This paper presents the inner working of this tool and the technical p...

An efficient finite volume approach has been used to develop a three dimensional Helmholtz acoustic solver for complex geometries. This acoustic solver was utilized to obtain characteristic mode shapes and frequencies of a baffled combustion chamber. An experimental setup, including stationary and moving sensors, has also been used to measure these quantities for the same model combustion chamb...

We present a hybrid computational method for simulating the dynamics of macromolecules in solution which couples a mesoscale solver for the fluctuating hydrodynamics (FH) equations with molecular dynamics to describe the macromolecule. The two models interact through a dissipative Stokesian term first introduced by Ahlrichs and Dunweg [J. Chem. Phys. 111, 8225 (1999)]. We show that our method c...

adjudication independence can be studied in two areas namely independency of judicial power and independency of judge. the first one is based on the separation of powers theory but judge independence means its freedom from parties and their attorneys and its independence in intern of judiciary power. this sense of independence has two objectives: 1) judge's freedom in applying the law to f...