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...

In AspectJ-like languages, there are several different kinds of advice declarations, which are specified by using advice modifiers such as before and after returning. This makes semantics of advice complicated and also makes advice declarations less reusable since advice modifiers are not parameterized unlike pointcuts. We propose a simpler join point model and an experimental AOP language call...

word count: 200 Blood First Edition Paper, prepublished online December 7, 2006; DOI 10.1182/blood-2006-07-034785 Copyright © 2006 American Society of Hematology only. For personal use at PENN STATE UNIVERSITY on February 23, 2013. bloodjournal.hematologylibrary.org From