Two results by Schützenberger (1965) and by McNaughton and Papert (1971) lead to a precise description of the expressive power of first order logic on words interpreted as ordered colored structures. In this paper, we study the expressive power of existential formulas and of Boolean combinations of existential formulas in a logic enriched by modular numerical predicates. We first give a combina...

The Gray and McNaughton (2000) theory draws on a wide range of animal data to hypothesize that the emotions of fear and anxiety are separable. The authors tested their hypothesis in two studies. The first study examined associations between scores on questionnaire measures of fear, anxiety, and neuroticism; correlational analysis revealed that fear and anxiety are not interchangeable constructs...

Reinforcement sensitivity theory (RST) stipulates that individuals have a behavioral activation system (BAS) guiding approach (rewarding) behaviors (Gray, 1971, 1981), and behavioral inhibition system (BIS) guiding conflict resolution between approach and avoidance (punishment) behaviors (Gray & McNaughton, 2000). Posttraumatic stress disorder (PTSD) severity overall relates to both BIS (e.g., ...

The class of Church-Rosser congruential languages has been introduced by McNaughton, Narendran, and Otto in 1988. A language L is Church-Rosser congruential (belongs to CRCL), if there is a finite, confluent, and length-reducing semi-Thue system S such that L is a finite union of congruence classes modulo S. To date, it is still open whether every regular language is in CRCL. In this paper, we ...

cognitive (Mathews & MacLeod, 2005), behavioral genetic (Middeldorp et al., 2005), specifi c genetic (Leonardo & Hen, 2006), psychophysiological (McNaughton & Corr, 2004), and neurochemical levels (Heim & Nemeroff , 2001). Th is chapter reviews the research on comorbid anxiety disorders and depression, while raising some methodological and clinical issues relevant to future research. Prior to e...

The pattern of spikes recorded from place cells in the rodent hippocampus is strongly modulated by both the spatial location in the environment and the theta rhythm. The phases of the spikes in the theta cycle advance during movement through the place field. Recently intracellular recordings from hippocampal neurons (Harvey, Collman, Dombeck, & Tank, 2009 ) showed an increase in the amplitude o...

Regular-expression derivatives are an old, but elegant, technique for compiling regular expressions to deterministic finite-state machines. It easily supports extending the regular-expression operators with boolean operations, such as intersection and complement. Unfortunately, this technique has been lost in the sands of time and few computer scientists are aware of it. In this paper, we reexa...

in this study, yield-water and profit function was used to obtain water demand function in agriculture sector. the results showed that the ratio of actual to potential evapotranspiration had positive, significant effecton the ratio of actual to potential yield for wheat and barley. also, square ratio of actual to potential evapotranspiration had negative, significant relationship. after estimat...

In-situ airborne measurements of trace gases, aerosol size distributions, chemistry and optical properties were conducted over Mexico and the Eastern North Pacific during MILAGRO and INTEX-B. Heterogeneous reactions between secondary aerosol precursor gases and mineral dust lead to sequestration of sulfur, nitrogen and chlorine in the supermicrometer particulate size range. Simultaneous measure...