T h i s paper presents a m e t h o d for a p p l y i n g s t a n d a r d i n fe renc ing mechan isms to a b roader class of sentences t h a n t h a t wh i ch was possi b le before. T h e logic of proposition surrogates al lows rep resen ta t ion of and reason ing w i t h a class of sentences ( the so ca l led opaque sentences) t h a t pose specia l d i f f icu l t ies fo r s tan d a r d logics....

Evolved traits such as intuitive skills have allowed individuals to quickly evaluate a suitable sexual Having determined that someone is attractive at first sight, an individual may become emotionally attached to that person and communicate their affection via a copulatory gaze, in which the individual gazes into the other person's eyes for many seconds (Fisher, 1992). In this opinion piece, I ...

This paper is organized as follows. In Section 2, we introduce some basic concepts. In Section 3, we explain two strategies for symmetry exploitation during search. In Section 4, we present the problem of B I B D generation. In Section 5, we formulate the B I B D generation as a CSP and give empirical results. In Section 6, we revise previous approaches to this topic. Section 7 contains conclus...

All of these papers share a concern with producing analyses of culture that are comprehensive and internally coherent. All agree with van der Leeuw that formalization can be used to achieve this. All assume that such analyses will be more than mere categorizations or remote analogies and will help expose the inner dynamics of culture. Though there is a common commitment to formalization as a ba...

Research has shown that single stuck-at fault (SSF) Ndetect test sets are effective for detecting defects not modeled by the SSF model. Experimental results showed N-detect coverage is a good metric for determining test quality. In this paper, we examine the test quality of pseudo-random Built-In-Self-Test (BIST) patterns by quantifying the relations between their N-detect coverage and test len...

Study sample No method of subject selection was stated other than that those included were registered asthmatics at the authors' practice, and that they were first prescribed FP in 1993 (FP group) or 1994 (control group). No power calculations were stated in the determination of the study sample size. Group sizes were: 21 (FP first prescribed in 1993) and 24 (FP first prescribed in 1994). The s...