In this paper a normal form, called Separated Normal Form (SNF), for temporal logic formulae is described. A simple propositional temporal logic, based on a discrete linear model structure, is introduced and a procedure for transforming an arbitrary formula of this logic into SNF is described. It is shown that the transformation process preserves satisfiability and ensures that any model of the...

The recent surge of interest in reasoning about probabilistic graphical models has led to the development of various techniques for probabilistic reasoning. Of these, techniques based on weighted model counting are particularly interesting since they can potentially leverage recent advances in unweighted model counting and in propositional satisfiability solving. In this paper, we present a new...

the aim of the present study was to clarify if old n-mri rat, a strain which is easily available in iran and cheap to maintain, is a suitable alternative to those previously reported. in this model, we compared three quantifiable parameters between old and young rats: biochemically, involving measurement of differences in the lipid profile. histologically, the differences of the thickness of th...

In this opinion piece, the authors critically consider transition to ‘emergency model’ of distance education (DE), forced by pandemic and associated restrictions our daily life, paying special attention its potential pitfalls. The argue in favour more careful approach DE design implementation over ‘one size fits all’ solution. data from previous meta-analyses field technology integration are br...

In this work, the plane-on-plane torsional fretting tribological behavior of polytetrafluoroethylene (PTFE) was studied. A model of a rigid, flat-ended punch acting on an elastic half-space was built according to the experimental conditions. The results indicate that the shape of T-θ curves was influenced by both the torsional angle and the normal load. The torsion friction torque and wear rate...

This paper describes a fault tolerant model for a functional language parallel machine. The model is transparent to the user and ensures successful execution of programs in the presence of hardware fadure. The model is based o n data replication. I t takes advantage of the properties of the functional languages. The recovery scheme can be cam‘ed out simultaneously o n all processors, and occurs...

The model theory of a first-order logic called N is introduced. N does not eliminate double negations, as classical logic does, but instead reduces fourfold negations. N is very close to classical logic: N has two truth values; implications are, in N like in classical logic, material; and negation distributes over compound formulas in N as it does in classical logic. Results suggest that the se...

The model theory of a first-order logic called N is introduced. N does not eliminate double negations, as classical logic does, but instead reduces fourfold negations. N is very close to classical logic: N has two truth values; implications are, in N like in classical logic, material; and negation distributes over compound formulas in N as it does in classical logic. Results suggest that the se...