The automated analysis of Feature Models (FMs) is becoming a well-established discipline. New analysis operations, tools and techniques are rapidly proliferating in this context. However, the lack of standard mechanisms to evaluate and compare the performance of different solutions is starting to hinder the progress of this community. To address this situation, we propose the creation of a benc...

where y and y are the first and second derivatives of signal y(t). Given a known input x(t), we would like to integrate this differential equation to find an expression of y(t) that is only in terms of t. Then we can see how to adjust our design parameters so that y(t) has a desirable shape (e.g., even with a bumpy x(t) road surface, the car seat y(t) stays in one place). So we need a convenien...

Using individual-level data for 35 countries, we investigate the microeconomic determinants of attitudes towards corruption. We consistently find women, employed, less wealthy, and older individuals to be more averse to corruption. We also provide evidence that social effects play an important role in determining individual attitudes towards corruption, as these are robustly and significantly a...

This book contains valuable information and commonsense ideas for anyone who is involved with the upbringing of children. It is clearly written and very readable. Dr. de Kok has the happy knack of being able to translate highly complicated psychological theories into everyday language. Here is a book written by an expert which the average parent can read easily without the "mumbo jumbo" of psyc...

this research is carried out to design and manufacturing of lathe vibration tool and their tests. firstly, one-dimensional vibration tool is designed and made of the bending vibration mode. one-dimensional vibration tool with half piezoelectric rings is considered to excite the bending mode of tool. structure of vibration tool is designed in abaqus software about 20 khz and then is made with re...

In this paper, the complete stability domain for LTI parameter-dependent systems is synthesized by extending existing results in the literature. This domain is calculated through a guardian map which involves the determinant of the Kronecker sum of a matrix with itself. The stability domain is synthesized for both single and multi-parameter dependent LTI systems. The single parameter case is ea...

Annotated corpora such as treebanks are important for the development of parsers, language applications as well as understanding of the language itself. Only very few languages possess these scarce resources. In this paper, we describe our efforts in syntactically annotating a small corpora (600 sentences) of Tamil language. Our annotation is similar to Prague Dependency Treebank (PDT) and cons...

Alice Crary has recently developed a radical reading of J. L. Austin’s philosophy of language. The central contention of Crary’s reading is that Austin gives convincing reasons to reject the idea that sentences have context-invariant literal meaning. While I am in sympathy with Crary about the continuing importance of Austin’s work, and I think Crary’s reading is deep and interesting, I do not ...