We describe our development and use of DescriptiveEnvironment (DE). This is a program to aid researchers in Finite Model Theory and students of logic to automatically generate examples, counterexamples of conjectures, reductions between problems, and visualizations of structures and queries. DescriptiveEnvironment is available for free use under an ISC license at http://www.cs.umass.edu/∼immerm...

A meta-analysis was performed in an attempt to clarify the proposed relationship between religiosity and psychological adjustment. Specific focus was given to the issue of definition, namely, whether differences in researchers’ conceptualizations of religiosity and mental health could account for the various contradictory findings by psychologists of religion. Analysis of 34 studies conducted d...

Less than a decade after the founding of the American Pharmaceutical Association, the noted American physician Oliver Wendell Holmes, addressing the Massachusetts Medical Society in 1860, made his oft-quoted statement that " ...if the whole materia medica, as now used, could be sunk to the bottom of the sea, it would be all the better for mankind-and all the worse for the fishes. " 1 The pharma...

In t h i s paper we f o r m a l i z e d i f f e r e n t methods f o r d e s c r i b i n g c o n t r o l knowledge in p roduc t i on systems by the concept of p r o d u c t i o n system schemes. In t h i s framework these methods are compared from the v iewpo in t o f d e s c r i p t i o n a l comp lex i t y g i v i n g us some i n s i g h t by which means problems can be descr ibed in an easy a...

In this paper we propose two dynamic voltage scaling (DVS) policies for a GALS NoC, which is designed based on fully asynchronous switch architectures. The first one is a history-based DVS policy, which exploits the link utilization and adjusts the voltages of different parts of the router among a few voltage levels. The second one is a FIFO-adaptive DVS, which uses two FIFO threshold levels fo...