1. Post Graduate Student, Department of Oral Pathology & Microbiology, Institute of Dental Sciences & Technology, Modinagar 2. Senior Lecturer, Department of Orthodontics, Institute of Dental Sciences & Technology, Modinagar 3. Senior Lecturer, Department of Oral Pathology & Microbiology, Eklavya Dental College & Hospital, Kotputli, Rajasthan 4. Senior Lecturer, Department of Prosthodontics, Ko...

We consider decision-making and game scenarios in which an agent is limited by his/her computational ability to foresee all the available moves towards the future – that is, we study scenarios with short sight. We focus on how short sight affects the logical properties of decision making in multi-agent settings. We start with single-agent sequential decision making (SSDM) processes, modeling th...

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