This paper investigates compositional verification with Propositional Projection Temporal Logic (PPTL). To this end, a sublogic Stutter-invariant PPTL (written as PPTLst) is first proposed. As a specification language, PPTLst helps designers get rid of irrelevant detail in compositional verification of a concurrent system since the projection construct of PPTLst allows designers to assert formu...

Various methods have been proposed to construct Latin hypercube designs with small correlations. Orthogonal arrays have been used to construct Latin hypercube designs with multidimensional stratification. To integrate these two ideas, we propose a method to construct Latin hypercube designs with both controlled correlations and multi-dimensional stratification. For numerical integration, the co...

Perceptual learning (PL) and perceptual expertise (PE) are two fields of visual training studies that investigate how practice improves visual performance. However, previous research suggests that PL can be acquired in a task-irrelevant manner while PE cannot and that PL is highly specific to the training objects and conditions while PE generalizes. These differences are difficult to interpret ...

Approximating the inference probability Pr X xjE e in any sense even for a single evidence node E is NP hard This result holds for belief networks that are allowed to contain extreme conditional probabilities that is conditional probabilities arbitrarily close to Nevertheless all previous approximation algorithms have failed to approximate e ciently many inferences even for belief networks with...

The Theory of Planned Behaviour (TPB) has received considerable attention in the literature. The present study is a quantitative integration and review of that research. From a database of 185 independent studies published up to the end of 1997, the TPB accounted for 27% and 39% of the variance in behaviour and intention, respectively. The perceived behavioural control (PBC) construct accounted...

Abstract Conventional wisdom has it that Marxian value theory, and labour values themselves, are logically inconsistent, theoretically shaky, empirically irrelevant. In this paper, we discuss recent research showing conclusion is not warranted. While past debates have definitively proved values, or employment multipliers, cannot be used to explain equilibrium prices, does mean a sound, oriented...

BACKGROUND The DSM-IV cluster C Axis II disorders include avoidant (AVPD), dependent (DEPD) and obsessive-compulsive (OCPD) personality disorders. We aimed to estimate the genetic and environmental influences on dimensional representations of these disorders and examine the validity of the cluster C construct by determining to what extent common familial factors influence the individual PDs. ...

The Theory of Planned Behaviour (TPB) has received considerable attention in the literature. The present study is a quantitative integration and review of that research. From a database of 185 independent studies published up to the end of 1997, the TPB accounted for 27% and 39% of the variance in behaviour and intention, respectively. The perceived behavioural control (PBC) construct accounted...

Two studies are described that attempt to determine if standard-scale-reduction techniques could yield a construct-valid diagnostic screen of pathology of separation-individuation for use in nonclinical university settings. In Study 1 (N = 210), a measure of pathology of separation-individuation (PATHSEP) was reduced successfully to a single, internally consistent factor, accounting for 36% of ...